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
| 07/10/2025 | Gerard Tabone | personal work Rubic 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 |