scope
|
present talks
|
past talks
schedule
|
paper pool
| Date | Speaker | Title |
| Oct 1 | Aldrin Seychell | Synthesising Correct Concurrent Runtime Monitors (paper) |
| Oct 4 | Mandy Zammit | Formal Fault-Tolerance Proofs for Distributed Algorithms (abstract) |
| Oct 8 | Aimee Borda | Separation-Based Reasoning for Deterministic Message-Passing Concurrent Programs (abstract) |
| Oct 15 | Clare Cini | A Proof-Theoretic Study of Linear Temporal Logic Monitoring. (abstract) |
| Oct 22 | Joshua Ellul | Programming for Resource Constrained Systems (abstract) |
| Oct 23 | Nik Sultana | Interpreting Leo-II's proofs in Isabelle/HOL (paper) |
| Nov 5 | Neville Grech | Preemptive Typechecking (abstract) |
| Nov 12 | Jean Paul Ebejer | The quest of computer scientists to discover new drugs (abstract) |
| Nov 19 | Karl Fenech | Scheduling Task-Parallel Programs in a Multiprogram Workload (abstract) |
| Nov 26 | Andrea Mangion | Distributed Hashtables (abstract) |
| Dec 3 | Karl Fenech | Scheduling Task-Parallel Programs in a Multiprogram Workload (Continued) |
| Dec 10 | Cristian Colombo | Given an LTL formula and a network, what is the best way to distribute its monitoring over the network? (abstract)
|
| Dec 17 | --- | --- |
| Dec 25 | Winter Break | |
| Jan 1 | Winter Break |