Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 25 - 29 September 2017
Location: Brasilia (Brazil)
Deadline: Friday 9 December 2016

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.

For more information, see http://tableaux2017.cic.unb.br/#cfw or contact .

Please note that this newsitem has been archived, and may contain outdated information or links.