RSS Meetup

The Different Shades of Infinite Session Types. Part 2: Hues of Grey

Transmissão através de Videoconferência
Logótipo do LASIGE

Por Diogo Poças (LASIGE, DI-FCUL).

Between a world of darkness (finite, inductive types), and a world of light (infinite, coinductive types), there are different shades of grey. We systematically study these shades by means of parameterised equational definitions. We identify four such hues: recursive, 1-counter, pushdown, and 2-counter; and show that they are all dissimilar by establishing correspondences with classes of automata. This allows us to obtain decidability and undecidability results for the problems of type formation, type equivalence and type duality under the different classes of types. [Joint work with Simon Gay and Vasco T. Vasconcelos]

Zoom

Cartaz do evento

14h30
LASIGE

Celebrating Pedro Duarte's 60th birthday.

Fotografia de campo agrícola e parque eólico

Submissão de iniciativas até 30 de agosto de 2022.

Fotografia de trator em campo agrícola

Submissão de iniciativas até 30 de agosto de 2022.

Fotografia representativa de agricultura sustentável

Submissão de iniciativas até 30 de agosto de 2022.

Fotografia de pessoa a pegar num Ouriço-do-mar

Seminário de Pós-Graduação no âmbito do Doutoramento em Biologia, por Inês Ventura.

As Jornadas Interinstitucionais de Inovação Pedagógica estão abertas a docentes do ensino superior com interesse no seu desenvolvimento profissional pedagógico.

Imagem ilustrativa do evento, acompanhada de diversas informações

Concerto solidário a favor da Associação Portuguesa Contra a Leucemia.

Logótipo da Comissão Europeia e iconografia associada ao Horizon Europe

1.ª edição do curso Horizon Europe, para candidaturas futuras a projetos colaborativos - manifestações de interesse até 05 de setembro de 2022.

Título do evento e iconografia relacionada com a ciência e a saúde

O workshop visa sensibilizar jovens, adultos e idosos para a importância do movimento induzido pela música na saúde e na qualidade de vida sustentável.

Banner do concurso (inclui fotografia apresentada numa anterior edição)

Candidaturas até 30 de setembro de 2022.

Imagem ilustrativa do curso, acompanhada de diversas informações

Um curso dirigido ao público geral e estudantes de arte ou ciência (a partir dos 16 anos), com interesse em desenho de observação, ilustração, e biologia, com ou sem experiência em desenho.

Cartaz do evento

Um evento repleto de atividades científicas, culturais e educativas, com jogos, demonstrações, palestras, entre muitas outras atividades. 

Programa a disponibilizar.