TBD | Department of Computer Science and Technology

skip to content

Date:

Tuesday, 4 November, 2025 - 14:00 to 15:00

Speaker:

Or Meir (Sheffield)

Venue:

Computer Laboratory, William Gates Building, Room SS03

TBD

Seminar series:

Algorithms and Complexity Seminar

View on talks.cam

Calendar

Upcoming seminars

03Oct

On Solution Discovery via Reconfiguration

Sebastian Siebertz

Logic and Semantics Seminar
06Oct

Quantum Interactive Oracle Proofs

Baocheng Sun Weizman Institute

Foundation AI
07Oct

Compositional Verification of Cryptographic Proofs in Lean

Quang Dao (CMU)

lads2's list
07Oct

Monotone Circuit Complexity of Matching

Bruno Cavalar (Oxford)

Algorithms and Complexity Seminar
09Oct

The Road to Formalising 8-Dimensional Sphere Packing in Lean

Sidharth Hariharan, Carnegie Mellon University

Formalisation of mathematics with interactive theorem provers

View all seminars