FroCoS/TABLEAUX 2019 (London) joint call for workshops and tutorials -- extended deadline

Andreas HERZIG andreas.herzig at irit.fr
Mi Jan 30 23:20:02 CET 2019


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 at frocos2019.org, chair at 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 at frocos2019.org 
and chair at 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.





Mehr Informationen über die Mailingliste IFI-CI-Event