![]() |
![]() |
Theoretical computer science seminar
Add to your list(s)
Send you e-mail reminders
Further detail
Seminar series in theoretical computer science 1 upcoming talk and 299 talks in the archive. Computer Science Seminar Series Formal Reasoning using Distributed Assertions
If you have a question about this list, please contact: George Kaye; Chris Barrett. If you have a question about a specific talk, click on that talk to find its organiser. |
Other listsFilling in the blank – I will be ….... in 2050’ Computer Science Lunch Time Talk Series MaterialWellOther talksQuantum Sensing in Space An introduction to τ-exceptional sequences TBA TBC Wave turbulence in the Schrödinger-Helmholtz equation Counting cycles in planar graphs |