Personal tools
You are here: Home Events Forthcoming events

Forthcoming events

 
 
Start Date Location Description Title
May 01, 2018 04:00 PM IF 4.31/4.33 Event LFCS seminar: Alessandro Abate: Formal verification of complex systems: model-based and data-driven methods
May 08, 2018 04:00 PM IF 4.31/4.33 Event LFCS seminar: Varun Kanade
May 22, 2018 04:00 PM IF 4.31/4.33 Event LFCS seminar: Mihai Cucuringu
Jun 27, 2018 04:00 PM Lecture Theatre 4, Appleton Tower Speaker: Georg Gottlob, University of Oxford Event Swift Logic for Big Data and Knowledge Graphs
Document Actions