Seu browser não suporta JavaScript!

EVENTOS: TABLEAUX 2017, ITP 2017 e FroCoS 2017

Brasília será a sede de 3 eventos conferências internacionais importantes na área de Ciência da Computação de 25 a 29 de Setembro. Os eventos são: 26th International Conference onAutomated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017), 8th International Conference on Interactive Theorem Proving  (ITP 2017) e 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017). 

Professores do Programa de Pós-Graduação em Informática fazem parte do comitês organizador e científico dos eventos. Para maior informações utilizar os links abaixo. 

 

26th International Conference onAutomated Reasoning with Analytic Tableaux
and Related Methods TABLEAUX 2017  Brasília, Setembro 25–28, 2017
http://tableaux2017.cic.unb.br
Chairs Comitê Científico: Renate A. Schmidt (U. Manchester), Cláudia Nalon (UnB)
Proceedings Springer LNAI vol. 10501
http://www.springer.com/br/book/9783319669014

8th International Conference on Interactive Theorem Proving  ITP 2017
http://itp2017.cic.unb.br     Brasília, Setembro 26-29, 2017
Chairs do Comitê Científico: Mauricio Ayala-Rincón (UnB), César A. Muñoz (NASA LaRC)
Proceedings Springer LNCS vol. 10499
http://www.springer.com/br/book/9783319661063

11th International Symposium on Frontiers of Combining Systems FroCoS 2017
http://frocos2017.cic.unb.br    Brasília, Setembro 27-29, 2017
Chairs do Comitê Científico:  Clare Dixon (U. Liverpool), Marcelo Finger (USP)
Proceedings Springer LNAI vol. 10483
http://www.springer.com/br/book/9783319661667

 

Adicionalmente, serão realizados diversos workshops e tutoriais, incluíndo:


12th Logical and Semantic Frameworks with Applications
http://lsfa2017.cic.unb.br  Brasília, Setembro 23-24, 2017
Chairs do Comitê Científico: Sandra Alves (U. de Porto), Renata Wassermann (USP)