[isabelle] TABLEAUX, FroCoS, ITP - Call for Workshops and Tutorials
(with apologies for multiple postings)
TABLEAUX, FroCoS, ITP
CALL FOR WORKSHOPS AND TUTORIALS
Three of the main conferences on automated reasoning -- TABLEAUX, FroCoS, and
ITP - will be held in Brasilia, Brazil, between 25 and 29 September 2017.
Following the long tradition of those events, we invite researchers and
practitioners to submit proposals for co-located workshops and in-depth
tutorials on topics relating to automated theorem proving and its applications.
Workshops/tutorials can target the automated reasoning community in general,
focus on a particular theorem proving system, or highlight more specific
issues or recent developments.
Co-located events will take place between 23 and 24/25 September and will be
held on the same premises as the main conference. Conference facilities are
offered free of charge to the organisers. Workshop/tutorial-only attendees
will enjoy a significantly reduced registration fee.
Detailed organisational matters such as paper submission and review process,
or publication of proceedings, are up to the organisers of individual
workshops. All accepted workshops/tutorials will be expected to have their
program ready by 18 August 2017.
Proposals for workshops/tutorials should contain at least the following pieces
- name and contact details of the main organiser(s)
- (if applicable:) names of additional organisers
- title and organisational style of event (tutorial, public workshop,
project workshop, etc.)
- preferred length of workshop (between half day and two days)
- estimated number of attendees
- short (up to one page) description of topic
- (if applicable:) pointers to previous editions of the workshop, or to
Proposals are invited to be submitted by email to nalon at unb.br, no later than
9 December 2016. Selected events will be notified by 23 December 2016. The
workshop/tutorial selection committee consists of the TABLEAUX, FroCoS, and
ITP program chairs and the conference organisers.
This archive was generated by a fusion of
Pipermail (Mailman edition) and