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