dinsdag 17 oktober 2023 14:30 - 15:30
Exploring Annotations for Deductive Verification
Voor meer informatie zie de Engelse website.
Meer events
do 19 sep 2024 12:30 - 13:30Promotie Ahmad Shaur | Investigations towards carbon dioxide electrolysis on gadolium-doped ceria in a solid oxide cell
do 19 sep 2024 13:00 - 17:15Artrose publieksdag
do 19 sep 2024 14:30 - 15:30Promotie Jean Paul Sebastian Piest | A Design Science Research Knowledge Base for Intelligence Amplification
do 19 sep 2024 16:30 - 17:30Promotie Giovanni Campuzano Arroyo | Autonomous Multimodal Last-Mile Delivery Systems
vr 20 sep 2024 10:30 - 11:30Promotie Ketki Srivastava | Everything, everywhere, all at once - Micro- and Nano-fabrication for sensitive, homogeneous and spatio-temporally-resolved raman and infrared spectroscopy sensors