Home

PL @ LX is an informal community in Lisbon (and surrounding areas) who are interested in Programming Language Design and Implementation. Everyone is welcome, from students to industrial developers and academics. PL @ LX is an active, community-led series of technical meetups in Lisbon focusing on programming languages, tooling, verification, and practical engineering challenges.

Join the Community

Most activities are coordinated via the mailing list. Subscribe to get announcements and speaker calls-for-proposals.

Join the Mailing List See All Events

Upcoming & Recent Events

Below are our events (newest first). Click an event for full details including abstracts and speaker bios.

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...

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...

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...

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...

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...

Want to present?

We welcome practical, technical talks and lightning demonstrations. Contact the organisers via the mailing list or email any of the contacts in the footer.

Contacts