The RSS line will have its first yearly Meetup on Monday with a guest speaker from the Radboud University, Nijmegen, Tom Westerhout, and two presentations from LASIGE MSc students Bernardo Almeida and Telmo Santos.

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

Program:

Tom Westerhout (Radboud University, Nijmegen) — Zipper-based embedding of attribute grammars in Haskell

Bernardo Almeida — A Programming Language with Context-Free Session Types

Telmo Santos —Development of REST APIs with OpenAPI and CONFIDENT