RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods.

Title: The Different Shades of Infinite Session Types. Part 2: Hues of Grey
Speaker: Diogo Poças (LASIGE, DI-FCUL)
When: Tuesday, March 9, 14h30
Where: https://videoconf-colibri.zoom.us/j/82972397677

Abstract:
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]

Bio:
Diogo Poças did his BSc and MSc in Applied Mathematics at Instituto Superior Técnico, Lisbon. He then moved to Canada where he completed his PhD in Mathematics at McMaster University, Hamilton ON, under the supervision of Prof. Jeffery Zucker. Afterwards he was a postdoctoral researcher at the Operations Research Group in the Technical University of Munich. Currently Diogo Poças is an Invited Assistant Professor at Faculdade de Ciências, Universidade de Lisboa, as well as an Integrated Member of the LASIGE research unit. Diogo’s research interests are in theoretical and applied computer science. He is working in the areas of algorithmic game theory, analog computing, and session types.