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: To be announced...
- Speaker: To be announced...
- Location: To be announced...
- Date: To be announced...
Previous meetings
-
Reducibility and Logical Relations
by David Davies, on the 29th of March, 2025 -
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]