Prof. Hiroakira Ono - Japan Advanced Institute of Science and Technology

Versão para impressãoVersão para impressão

O Prof. Hiroakira Ono, destacado especialista na área de Lógicas Subestruturais, permanecerá no CLE de 8 a 18 de Abril de 2013. Além das atividades de pesquisa, oferecerá um TUTORIAL e dois SEMINÁRIOS: (1) "Substructural Logics: an introductory tutorial" Quinta-feira, 11 de abril, das 16h30 às 18h30; (2) "Translations in Substructural Logics" Sexta-feira, 12 de abril, das 14h às 16h. (3) "Algebraic cut-elimination" Segunda-feira, 15 de abril, das 14h às 16h.