Entre os dias 24 e 28 de Setembro, o Departamento de Computação sediará uma série de eventos na área de lógica com a participação de vários convidados internacionais.
No dia 24 de Setembro, ocorrerá o VII Workshop do Grupo LogIA (http://www.lia.ufc.br/~logia/workshopvii/). Os professores Yiannis Moschovakis da UCLA e Univ. Athens, que estará visitando o departamento de computação, Yuri Gurevich da Univ. Michigan e Microsoft Senior Research (apresentação à distância) e Carlos Brito do grupo LogIA proferirão palestra sobre a noção de “algoritmo”, fundamental para a ciência da computação. O workshop do grupo LogIA ocorrerá no Auditório do Bloco 952.
Entre os dias 26 e 28 de Setembro, ocorrerá o evento Logical and Semantic Frameworks with Applications – LSFA 2018 (http://lia.ufc.br/~lsfa2018/), com apresentações de 4 palestrantes convidados internacionais e 15 trabalhos submetidos. O LSFA é um evento na área de lógica e teoria da computação e já se encontra em sua 13ª edição. O LSFA ocorrerá no Auditório do Bloco 910. Inscrição é necessária para participação no LSFA 2018.
No dia 28 de Setembro, ocorrerá o II Workshop da Sociedade Brasileira de Lógica (SBL – http://sbl.org.br/pmwiki.php/Events/WorkshopSBL2018). O Workshop da SBL é um painel da pesquisa na área de lógica no Brasil. Serão apresentados trabalhos de pesquisadores de diversas partes do Brasil. O Workshop da SBL ocorrerá no Auditório do Bloco 910.
Programação da semana:
Dia 24 de Setembro
——————
Workshop do Grupo LogIA
Palestrantes:
Yiannis Moschovakis (UCLA & Univ. Athens)
Yuri Gurevich (Univ. Michigan & Microsoft Senior Researcher
(retired)), por video conferência
Carlos Brito (UFC)
Confira a programação em http://www.lia.ufc.br/~logia/
Dias 26 a 28 de Setembro
————————
Logic and Semantic Frameworks with Applications
Palestrantes convidados:
Amy Felty (University of Ottawa)
Andreas Herzig (CNRS, IRIT, Université de Toulouse)
Alessandra Palmigiano (Delft University of Technology)
Yiannis Moschovakis (UCLA & Univ. Athens)
Confira a programação em http://lia.ufc.br/~lsfa2018/
Dia 28 de Setembro
——————
Workshop da Sociedade Brasileira de Lógica
Keynote Speakers:
Luis Carlos (PUC-RJ & UERJ)
Yiannis Moschovakis (UCLA & Univ. Athens)
Confira a programação em http://sbl.org.br/pmwiki.php/
Para maiores informações, favor entrar em contato através do email lsfa2018@lia.ufc.br