Search
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
P.G. Ditmar
- +31 15 27 82501
- P.G.Ditmar@tudelft.nl
- 23.HG 2.14
M.E. Secker
- +31 15 27 87164
- M.E.Secker@tudelft.nl
- 50.00.01.020
B.C. (Bram) van Prooijen
- +31 15 27 83365
- B.C.vanProoijen@tudelft.nl
- 23.HG 3.60