Events

We try to have some in-person events to discuss ongoing work. We are also looking for companies interested in hosting our meetups.

PL @ LX Ε - Epsilon

Location: OutSystems - Linda-a-Velha Date: February 3, 2026, 14h Speakers: Hugo Lourenço; André Nascimento; Filipe Marques; Dina Borrego; Rodrigo Mesquita Program 14h00: Hugo Lourenço (OutSystems) - Undo and Redo in Concurrent Multifaceted Low-code Application Models 14h40: André Nascimento e Filipe Marques (IST) - How to find and exploit vulnerabilities in Node.js packages? 15h20: Dina Borrego (FCT-UNL) - Ensuring Convergence and...

PL @ LX Δ — Delta

Location: Faculdade de Ciências da Universidade de Lisboa Date: January 23, 2025 Speakers: Luís Caires; Ana Borges; Catarina Gamboa; André Santos Program Programming with CLASS — Luís Caires (IST) A logician’s look into temporal laws — Ana Borges (Formal Vindications) Adoption Barriers for Liquid Types — Catarina Gamboa (FCUL+CMU) Collaborative Code Editing with Continuous Integration — André Santos (ISCTE) Talk...

PL @ LX Γ — Gamma

**Location:** Instituto Superior Técnico **Date:** June 03, 2024 **Speakers:** Philip Wadler; Peter Thiemann; José Fragoso Santos; Vasco T. Vasconcelos ## Program * **Bullshit Bots** — *Philip Wadler* (U. Edinburgh) * **Law and Order for Typestate** — *Peter Thiemann* (U. Freiburg) * **Detecting and Confirming Injection Vulnerabilities in Node.js Applications** — *José Fragoso Santos* (IST) * **Concurrent programming with the sequential...

PL @ LX Β — Beta

Location: Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa Date: April 28, 2024 Speakers: Rodrigo Mesquita; Yoshiki Takashima Program Type-checking Linearity in Core: Semantic Linearity for a Lazy Optimising Compiler — Rodrigo Mesquita (Well-Typed, FCT-UNL) Testing and Verifying Rust’s Next Mile — Yoshiki Takashima (CMU) Talk Details Type-checking Linearity in Core: Semantic Linearity for a Lazy Optimising Compiler...

PL @ LX Α — Alpha

Location: Faculdade de Ciências da Universidade de Lisboa Date: January 10, 2024 Speakers: Guilherme Espada; Henrique Guerra Program Sound Interval-Based Synthesis for Probabilistic Programs — Guilherme Espada (FCUL) Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution — Henrique Guerra (IST+FCT-UNL) Talk Details Sound Interval-Based Synthesis for Probabilistic Programs Speakers: Guilherme Espada, Alcides Fonseca Abstract Probabilistic programming has become...