Department Seminar Series
Unless otherwise stated, the following seminars will take place in
- room G12 (Ground floor, Ashton Building, location 422 on the campus map)
- on Tuesdays, 4 - 5pm.
If you would like to give a seminar, or to suggest a possible seminar speaker, please contact Martin Gairing.
Upcoming Seminars
| Date | Speaker | Title | Host |
|---|---|---|---|
|
14 Feb 2012 15:00 Ashton Lecture Theater |
Dr. Francesco Belardinelli
Department of Computing Imperial College London UK |
Verification of Data-aware Systems: Abstraction Techniques and Decidability Results | Davide Grossi |
| 21 Feb 2012 |
Prof. Bernhard von Stengel
Department of Mathematics London School of Economics UK |
Nash Codes for Noisy Channels | Rahul Savani |
| 28 Feb 2012 |
Prof. Rajeev Raman
Department of Computer Science University of Leicester UK |
Leszek Gasieniec | |
| 27 Mar 2012 |
Dr. Nathalie Bertrand
INRIA Rennes Bretagne-Atlantique France |
Sven Schewe | |
| 17 Apr 2012 |
Prof. Benedikt Loewe
Institute for Logic, Language and Computation University of Amsterdam NL |
Davide Grossi | |
| 01 May 2012 |
Dr. Philippe Schnoebelen
LSV, CNRS & ENS CACHAN Cedex France |
Sven Schewe |