FroCoS 2021

13th International Symposium on Frontiers of Combining Systems

TABLEAUX 2021

30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Birmingham, UK, September 6-10, 2021

Websites: https://frocos2021.github.io, https://www.tableaux2021.org

Contact: frocos2021@easychair.org mailto:frocos2021@easychair.org , tableaux21@easychair.org mailto:tableaux21@easychair.org

Proposal submission deadline: 19 April 2021

FroCoS and TABLEAUX are two of the main conferences on the theory and application of logical systems. Their 2021 editions will be hosted by the University of Birmingham, UK, from 6 to 10 September 2021. 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.

TABLEAUX 2021 and FroCoS 2021 are intended to be hybrid conferences welcoming both physical and virtual participation. The organisers are closely monitoring the pandemic situation and may choose to make the conference virtual-only if it seems unreasonable to host any sort of physical event. A final decision will be taken before 14 June (12 weeks before the conference) to leave ample time for potential travel plans to be made.

If in-person participation is possible, colocated events should take place on 6 and 8 September 2021. 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 organisers of individual events. All accepted workshops and tutorials will be expected to have their program ready by *10 August 2021*.

Proposals are invited to be submitted by email to frocos2021@easychair.org mailto:frocos2021@easychair.org and tableaux21@easychair.org mailto:tableaux21@easychair.org , no later than *19 April 2021*. Selected events will be notified by *26 April 2021*. The workshop/tutorial selection committee consists of the FroCoS and TABLEAUX program chairs.

TUTORIALS

We expect tutorials to be delivered in hybrid mode, combining the use of pre-recorded lecture material and (online or face-to-face) synchronous sessions.

Proposals for tutorials should contain at least the following pieces of information:

* name and contact details of the main organiser(s)

* (if applicable) names of additional organisers

* title of the tutorial

* estimated number of attendees

* short description of topic (up to one page)

WORKSHOPS

Proposals for workshops should contain at least the following pieces of information:

* name and contact details of the main organiser(s)

* (if applicable) names of additional organisers

* title and organisational style of event (public workshop, project workshop, etc.)

* preferred workshop mode (hybrid, situation permitting, or fully online)

* 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