Email Gateway (Aug 22 2022 at 18:59): Email Gateway (Aug 22 2022 at 18:59):From: Andrei Popescu <A.Popescu@mdx.ac.uk>
FroCoS 2019
The 12th International Symposium on Frontiers of Combining Systems
and
TABLEAUX 2019
The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
London, UK, September 3-6, 2019
Websites: https://www.frocos2019.org, https://www.tableaux2019.org
Contact: chair@frocos2019.org, chair@tableaux2019.org
Proposal submission deadline: 1 March 2019
FroCoS and TABLEAUX are two of the main conferences on the theory and application of logical systems. Their 2019 editions will be hosted by the Middlesex University in London, from 3 to 6 September 2019. In keeping with the tradition of the two events, we invite proposals for colocated workshops and tutorials on all topics related to logical reasoning: from theoretical aspects, to applications, to tools for interactive or automated reasoning. Workshops and tutorials can target the logical systems community in general, or alternatively focus on a particular system, recent theoretical development or application. Colocated events will take place on 2 and 3 September 2019 (before the start of the conference programs) and will be held on the same premises as the main conferences. Workshop/tutorial-only attendees will enjoy a significantly reduced registration fee. Detailed matters such as the paper submission and review process, or the publication of proceedings, are up to the organizers of individual events. All accepted workshops and tutorials will be expected to have their program ready by 10 August 2019.
Proposals for workshops and tutorials should contain at least the following pieces of information:
name and contact details of the main organizer(s)
(if applicable) names of additional organizers
title and organizational style of event (tutorial, public workshop, project workshop, etc.)
preferred length of workshop (between half day and two days)
estimated number of attendees
short description of topic (up to one page)
(if applicable) pointers to previous editions of the workshop, or to similar events
Proposals are invited to be submitted by email to chair@frocos2019.org and chair@tableaux2019.org, no later than 1 March 2019. Selected events will be notified by 9 March 2019. The workshop/tutorial selection committee consists of the FroCoS and TABLEAUX program chairs and the conference organizers.
Last updated: Apr 19 2024 at 04:17 UTC