| Date |
Time |
Speaker |
Talk Title |
| 2026-06-29 |
16:00 |
Daniele
|
CoC |
| 2026-06-15 |
12:00 |
Tianyi Zhang
|
Deployability-Centric Infrastructure-as-Code Generation: Fail, Learn, Refine, and Succeed through LLM-Empowered DevOps Simulation |
| 2026-05-29 |
10:30 |
Rishita Sarkar
|
Differential Testing in Quantum Circuit Simulators |
| 2026-05-29 |
10:30 |
Libby Boas
|
Addressing Key Challenges in Quantum Computing with AutoDisQ and Qsym (ASC Presentation) |
| 2026-05-25 |
10:30 |
Fabian Muehlboeck
|
Making Efficient Sound Gradual Typing Fit for Industry Adoption |
| 2026-04-22 |
14:00 |
Shangzhi Xu
|
Security in AI Agent Frameworks |
| 2026-04-20 |
11:30 |
Kunal Sareen
|
Reclaiming Energy: Quantifying the Energy Overheads of Garbage Collection on Mobile Devices |
| 2026-04-13 |
12:00 |
Sigfrido D. Ciletti
|
CoC - A Domain-Theoretic Approach to Approximations of Lower Semi-Computable Semi-Measures |
| 2026-03-02 |
14:00 |
Yi
|
CoC |
| 2026-03-02 |
12:00 |
Ryan Barry
|
MPhil Presentation: Proof Engineering for Linear Temporal Logic |
| 2026-02-23 |
12:00 |
Xander
|
Confirmation of Candidature: Proof verification for non-logicians |
| 2026-02-09 |
12:00 |
Yan
|
Fiducia: Building Secure-by-Construction Embedded Systems on seL4 |
| 2026-01-19 |
12:00 |
Christine Rizkallah
|
Facilitating Verified Software Development |