-
An informal Computer Science Seminar series where interjections are not cut-off.
Contact Person: Adrian Francalanza
| Ruth Mizzi will talk about Runtime Monitoring of Concurrent Systems using polyLARVA on March 13th. |
|
| Martin Leucker, from the University of Lübeck, will give us a primer on Runtime Verification on March 20th. |
|
| Gordon Pace will talk about Interaction and Interference in Two-Party Contracts (using deontic logic) on March 28th. |
|
| Mark Micallef will talk about Symbolic Execution in Software Testing on April 17th. |
|
| Chris Colombo will talk about Axiomatic Semantics on April 24th. |
|
| Clare Cini will discuss and compare the papers Reasoning with Temporal Logic on Truncated Paths and The Top, Bottom approach for Trancated Paths taken from the paper pool on May 8th. |
|
|
Joseph Bonello will talk about CAP Theorem on May 15th. |
|
|
Aldrin Seychell will talk about his recent work on Monitoring For Safe-HML with recursion on May 22nd. |
|
|
Aimee Borda will talk about Sorting Networks on May 29th. |