PL@LX meetings brings together researchers and engineers working in the fields of programming languages, verification and developer experience.
- 14h00: Luís Caires (IST): Programming with CLASS
- 14h40: Ana Borges (Formal Vindications): A logician’s look into temporal laws
- 15h20: Coffee Break
- 15h50: Catarina Gamboa (FCUL+CMU): Adoption Barriers for Liquid Types
- 16h30: André Santos (ISCTE): Collaborative Code Editing with Continuous Integration