25 - 29 September 2017, Call for Workshops & Tutorials: TABLEAUX, FroCoS, ITP, Brasilia (Brazil)

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.

Proposals are invited to be submitted by email no later than 9 December 2016.