|
|
|
-
LFCS seminar: Andreas Galanis: Inapproximability of the independent set polynomial in the complex plane
IF 4.31/4.33,
Apr 24, 2018
-
LFCS seminar: Alessandro Abate: Formal verification of complex systems: model-based and data-driven methods
IF 4.31/4.33,
May 01, 2018
-
LFCS seminar: Varun Kanade
IF 4.31/4.33,
May 08, 2018
-
LFCS seminar: Mihai Cucuringu
IF 4.31/4.33,
May 22, 2018
-
Swift Logic for Big Data and Knowledge Graphs
Lecture Theatre 4, Appleton Tower,
Jun 27, 2018
|
Congratulations to Ricardo Almeida on successfully passing his VIVA
