Departmental Seminar Series

Spring 2007

All Seminars are on Wednesdays at 2:00pm in CS103 unless otherwise indicated.

Select below for more details on individual seminars.

---

17 January, no seminar

24 January, Michael Hübner (University of Karlsruhe, Germany)
"Exploitation of Dynamic and Partial Reconfiguration for Adaptive Embedded Electronic Systems"
Visit hosted by Kester Clegg

31 January, Leonardo Freitas (University of York)
"Mondex - Verified Software Repository Grand Challenge"

7 February, Colin Runciman (University of York)
"Three Experiments in Metatesting"

14 February, Gerhard Weber (Technical University of Dresden)
"Personalizing Pedestrian Navigation"
Visit hosted by Helen Petrie

21 February, Stephen Emmott (Microsoft Research Europe)
"Towards 2020 Science"
Visit hosted by Susan Stepney.

28 February, Rogerio De Lemos (University of Kent)
"Architectural Fault Tolerance for Dependable Software"
Visit hosted by Ana Cavalcanti

6 March (Tuesday), 4:15, Alan Bundy (University of Edinburgh)
Distinguished Lecturer in Knowledge Representation and Reaoning
"Cooperating Reasoning Processes: More Than Just the Sum of Their Parts"
Broadcast on Access Grid from University of Leeds

7 March, Alan Bundy (University of Edinburgh)
Distinguished Lecturer in Knowledge Representation and Reaoning
"A Crisis in Mathematics?"
Visit hosted by Alan Frisch.

14 March, Jim Austin (University of York)
"How Does the Brain Compute?"

---

Seminar Organiser:

Alan Frisch
+44 1904 43 2745
alan.frisch@cs.york.ac.uk

---