Search
M. Verwaal
- +31 15 27 87898
- M.Verwaal@tudelft.nl
- 32.B-0-080
F.P. van Puffelen
- +31 15 27 83224
- F.P.vanPuffelen@tudelft.nl
- 08.01.West.130
J.M. van Kampen
- +31 15 27 84911
- J.M.vanKampen@tudelft.nl
- 30a.A1.240
P.M.A. Desmet
- +31 15 27 83375
- P.M.A.Desmet@tudelft.nl
- 32.C-3-230
Trustworthy and Distributed Automated Reasoning
J. Christopher Beck (University of Toronto) 25 September 2024, 12:45-14:15 | Echo-ARENA | Live-stream:…
/en/eemcs/the-faculty/departments/ewi/over-de-faculteit/afdelingen/intelligent-systems/events/cs-dsl/marijn-heule-1-1-1-1-1-1-1-1
M.D. Verweij
S. (Sabine) Maertens-Pruijsers
J.J.I.M. van Kan
- J.J.I.M.vanKan@tudelft.nl
- 36.HB 04.160
P.M.R.J.O. Dewilde
S. Hage
- +31 15 27 84265
- S.Hage@tudelft.nl
- 22.F 137