[Proof Complexity] Call for Tutorials and Workshops: FroCoS 2021 & TABLEAUX 2021. 6-10 September, 2021. Birmingham, UK.

[anupamdotdas at gmail.com]

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 at easychair.org <mailto:frocos2021 at easychair.org> ,
tableaux21 at easychair.org <mailto:tableaux21 at 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 at easychair.org
<mailto:frocos2021 at easychair.org>  and tableaux21 at easychair.org
<mailto:tableaux21 at 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