*** Apologies for multiple copies, please redistribute ***
SECOND CALL FOR PAPERS
ITP 2017
8th International Conference on Interactive Theorem Proving
Brasilia, Brazil
*** Apologies for multiple copies, please redistribute ***
SECOND CALL FOR PAPERS
FroCoS 2017
11th International Symposium on Frontiers of Combining Systems
Brasilia, Brazil
orge Metcalfe Universität Bern
Angelo Montanari Università degli Studi di Udine
Barbara Morawska Technische Universität Dresden
Boris Motik University of Oxford
Leonardo de Moura Microsoft Research
Neil Murray SUNY at Albany
Cláudia N
, King's College London
Josef Urban, Czech T.U. Prague
CONTACT INFORMATION
Cesar Munoz
Mauricio Ayala-Rincon
itp2...@easychair.org
http://itp2017.cic.unb.br
--
Cláudia Nalon
Departmento de Ciência da Computação
Instituto de Ciências Exatas
Universidade de Brasí
*** DEADLINE EXTENSION ***
TABLEAUX 2017
26th International Conference on Automated Reasoning with
Analytic Tableaux and Related Methods
University of Brasilia, Brazil
September 25-28, 2017
azil
CONFERENCE CHAIR
Claudia Nalon, University of Brasilia, Brazil
PC CHAIRS
Claudia Nalon, University of Brasilia, Brazil
Renate Schmidt, The University of Manchester, UK
--
Cláudia Nalon
Departmento de Ciência da Computação
Instituto de Ciências Ex
alon, University of Brasilia, Brazil
Renate Schmidt, The University of Manchester, UK
--
Cláudia Nalon
Departmento de Ciência da Computação
Instituto de Ciências Exatas
Universidade de Brasília
http://www.cic.unb.br/~n
Mossakowski, Otto-von-Guericke-University Magdeburg
Cláudia Nalon, University of Brasília
Elaine Pimentel, Universidade Federal do Rio Grande do Norte
Silvio Ranise, Fondazione Bruno Kessler-Irst
Christophe Ringeissen, LORIA-INRIA
Uli Sattler, University of Manchester
Roberto Sebastiani