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/boo
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/boo
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/boo
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)