| Date |
Time |
Speaker |
Talk Title |
| 2025-12-15 |
12:00 |
Jonathan Weinberger
|
Universes in simplicial type theory |
| 2025-11-03 |
12:00 |
Charlie Roberts
|
Creating languages for creativity |
| 2025-10-29 |
15:00 |
Arjun Sharma
|
Towards LTL-PeAR: Augmenting Binary Rewriting with Correspondence Assertions (ASC project presentation) |
| 2025-10-27 |
12:00 |
Myria Sarvay
|
Building an Infrastructure for pi-calculus with Distinctions |
| 2025-10-22 |
16:30 |
Weiyou Wang
|
On the Way Towards Justness (PhD Final Presentation) |
| 2025-10-20 |
12:00 |
Siyuan Zhou
|
The PCP Theorem |
| 2025-10-09 |
12:15 |
Sasha Pak
|
A Verified Thread-Safe Array in Rust (IWACO Practice Talk) |
| 2025-09-29 |
12:00 |
Sigfrido D. Ciletti
|
A zero-one law for modal logic S4 |
| 2025-09-19 |
15:00 |
Yasaswini Jyothi Gownivaripalli (ANU)
|
Confirmation of Candidature: Reconsidering Malloc |
| 2025-09-08 |
12:00 |
Zara Hassan
|
Final PhD Presentation: Reproducibility Debt in Scientific Software |
| 2025-09-01 |
12:00 |
Florrie Verity
|
Homotopy Type Theory: Models and Modalities |
| 2025-08-25 |
13:00 |
Sigfrido D. Ciletti
|
Solomonoff Induction from Foundations to Prediction |
| 2025-08-18 |
12:00 |
Tiange Liu
|
Open Bisimilarity for the π-calculus with Mismatch |
| 2025-08-04 |
12:00 |
Wenyu Zhao
|
High-throughput Low-latency Garbage Collection: From Abstraction to Production - PhD Final Presentation |
| 2025-07-28 |
12:00 |
Ranald Clouston
|
Semantical Analysis of Intuitionistic Modal Logics between CK and IK |
| 2025-07-21 |
12:00 |
Qiang Liu
|
Towards Full-Lifecycle Security Enforcement of Hypervisors |
| 2025-07-14 |
12:00 |
Zixian Cai
|
Optimizing Across the Stack: From Software to Near-Memory Acceleration (PhD Final Presentation) |
| 2025-07-07 |
12:00 |
Alex Potanin
|
Quantum Verification |
| 2025-06-30 |
12:00 |
Sigfrido D. Ciletti
|
Asymptotic Enumeration of Partially Ordered Sets |
| 2025-06-10 |
11:00 |
Sasha Pak
|
Confirmation of Candidature: View Types in Rust |
| 2025-04-14 |
12:00 |
Florrie Verity
|
PhD Final Presentation: Fibred models of crisp type theory and Kripke-Joyal forcing |
| 2025-03-24 |
12:00 |
Geoff Sutcliffe
|
The TPTP World - Infrastructure for Automated Reasoning |
| 2025-02-24 |
12:00 |
Jack Stodart
|
Confirmation of Candidature: Extending Automatic Software Verifiers with Interactive Proofs |
| 2025-02-10 |
12:00 |
Eric Hall
|
Confirmation of Candidature: Formal Verification of Convolutional Codes and Turbo Codes |