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/workshopvii/

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/Events/WorkshopSBL2018

Para maiores informações, favor entrar em contato através do email lsfa2018@lia.ufc.br