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

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