It-Tlieta fit-Tlieta Seminar Series
A Maltese wordplay on 'tuesdays at three', this Computer Science seminar series explores themes in programming language semantics, logic, and verification. It is managed by the VELOCiTY Research Group. Feel free to get in touch with any of its members to either attend the talks or deliver one yourself.
Talks
| 26/05/2026 | James Buckle | personal work Attaining Fault Tolerance via a Substructural Type System |
|---|---|---|
| 19/05/2026 | Robert Scerri | personal work Implementing the Linear Lambda Calculus in Rust |
| 12/05/2026 | Caroline Cucciardi | personal work Behavioural Theories for Concurrent Actors |
| 05/05/2026 | Adriano d'Alessandro | invited talk From Feeling Secure to Verifying Security: Operationalising Trust in Post-Quantum Digital Signatures |
| 03/03/2026 | Bernd Finkbeiner | invited talk Hyperproperties as Design Principles: Information-Flow Guided Synthesis and Explainability in Distributed Systems |
| 03/02/2026 | Adrian Francalanza | personal work A Behavioural Semantics for Resource-Constrained Channel-Passing Programs |
| 20/01/2026 | Gianluca Zahra | personal work Using Liminal to build Digital Models for Semiconductor Manufacturing Shopfloors |
| 09/12/2025 | Radosław Rowicki | invited talk Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation |
| 07/10/2025 | Gerard Tabone | personal work Rubik's Cube Strategies in OCaml |
| 6/08/2025 | Jasmine Xuereb | paper discussion Mixing Metaphors: Actors as Channels and Channels as Actors |
| 24/06/2025 | Andrija Dinic | personal work (Practical) Runtime Verification of OCaml Programs Using Algebraic Effects |
| 6/05/2025 | Duncan Paul Attard | personal work mailboxEr: Early Detection of Communication Errors |
| 16/04/2025 | Giovanni Bernardi | invited talk Constructive characterisations of the MUST-preorder for asynchrony |
| 15/04/2025 | Mo Foughali | invited talk A Theory of (Linear-Time) Timed Monitors |
| 18/03/2025 | Gerard Tabone | paper discussion Propositions as Sessions |
| 11/03/2025 | Duncan Paul Attard Marietta Galea Juan Scerri |
paper discussion An Introduction to Algebraic Effects and Handlers Invited tutorial paper |
| 25/02/2025 | Marietta Galea | personal work Industrial Control Systems Security via Runtime Enforcement |
| 11/02/2025 | Jasmine Xuereb | personal work If At First You Don't Succeed: Extended Monitorability through Multiple Executions |