LaPRaS@Imperial
Various strands of Programming Languages research depend on a common foundational core of formal theory. At LaPRaS we aim to teach one another the foundations of our work via bi-weekly tutorials on Logic And Program Reasoning, And Semantics. The topics are not restricted to those in the title.
Next meeting
- Title: Reducibility and Logical Relations
- Speaker: David Davies
- Location: Huxley 130
- Date: Thursday, 29th May
- Time: From 11:00 to 13:00
Previous meetings
-
Functional Data Structures in Monoidal Categories
by Zhixuan Yang, on the 13th of March, 2025
[slides] [code] -
Effect Handlers: A Logical Perspective
by Paulo de Vilhena, on the 27th of February, 2025
[slides] [code] -
Program Logics for "Free"
by Alyssa Renata, on the 13th of February, 2025
[slides] -
Category Theory for Imperial Students
by Nicolas Wu, on the 30th of January, 2025 -
How to Program a Quantum Computer? No, seriously, I would like to know
by Balazs Frei, on the 16th of January, 2025
[slides] -
Effect-Systems-Based Fuzzers for Programming Languages
by Jacob Yu, on the 12th of December, 2024
[slides] -
Active Automata Learning: Formal Methods for Efficient Model Inference
by Raquel Silva, on the 28th of November, 2024
[slides] -
Metaprogramming: Algebraic Separation of Static & Dynamic Properties
by Jamie Willis, on the 14th of November, 2024
[code]