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

[Andrei Popescu]

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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190128/3f45b6b3/attachment-0001.html>