25-29 Sep 2017
Brasilia, Brazil
TABLEAUX/FroCoS/ITP 25-29 SEPTEMBER 2017 BRASILIA BRASIL **Call for Posters** TABLEAUX/FroCoS/ITP 2017 will have a poster session, which is intended for descriptions of works in progress, student projects and relevant research being published elsewhere. Submissions should be in English, in the form of at most one page abstract, ENTCS format containing title and authors name with affiliation. The files should be sent directly to Elaine Pimentel (elaine.pimentel@gmail.com). The deadline for posters submission is June 15, 2017. The notification will be sent to authors June 30th. Proceedings of this session will not be published. Formatting instructions for posters will be made available soon. For more information please contact the local organizers: Elaine Pimentel (elaine.pimentel@gmail.com) Daniele Nantes (daniele.nantes@gmail.com) http://tableaux2017.cic.unb.br http://frocos2017.cic.unb.br http://itp2017.cic.unb.br -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam