Mini Symposium
Cyrus Omar, Magnus Madsen, Tijs van der Storm, Casper Bach
Date: Wed, November 11, 2026
Time: 11:30
Room: Building 28 (Van Mourik Broekmanweg 6, Delft), room 2.W510 Hilbert
Note: This is a 2 hour symposium consisting of three talks. Lunch is provided.
Specific talk titles and abstracts to be determined.
Cyrus Omar
TBD
Magnus Madsen
TBD
Tijs van der Storm
TBD
Casper Bach
TBD
Previous:
| Formalizing Economics in Lean 4
Next: