Colloquia and Seminars: The 2003/04 Series.



 

02.12.03 Colloquium. Achim Jung (Birmingham)
03.06.04 Algebraic Specification Seminar. Neal Harman
03.06.04 Algebraic Specification Seminar. Neal Harman (1)
04.11.03 Seminar. Phil Grant
04.11.03 Seminar. Phil Grant (1)
04.12.03 Colloquium. Ranko Lazic (Warwick)
05.02.04 Algebraic Specificiation Seminar. Neal Harman
05.09.03 Algebraic Specification Seminar. Markus Roggenbach
06.05.04 Algebraic Specification Seminar. Jan Bergstra (Amsterdam)
07.10.03 Colloquium. Magne Haveraaen (Bergen)
07.11.03 Algebraic Specification Seminar. John Tucker
07.11.03 Algebraic Specification Seminar. John Tucker (1)
07.11.03 Algebraic Specification Seminar. John Tucker (2)
09.03.04 Colloquium. Christoph Lueth (Bremen)
09.06.04 Colloquium. Peter Mosses (Aarhus)
09.06.04 Colloquium. Peter Mosses (Aarhus) (1)
09.12.03
09.12.03 Colloquium. Johan Glimming (Stockholm)
12.09.03 Algebraic Specification Seminar. Markus Roggenbach
12.9.03
13.05.04 Algebraic Specification Seminar. Markus Michelbrink
13.05.2004. Algebraic Specification Seminar. Markus Michelbrink
14.11.03 Algebraic Specification Serminar. Markus Roggenbach
17.02.2004 Colloquium. Paul Lewis (Southampton)
17.10.03 Algebraic Specification Semarin. Will Harwood (2)
17.10.03 Algebraic Specification Seminar. Will Harwood (1)
17.10.2003
17.10.2003 (1)
17.2.2004
18.11.03 Colloquium. Don Sannella (Edinburgh)
18.11.03 Colloquium. Don Sannella (Edingburgh) (1)
19.09.03 Colloquium. Arne Lindow (Bremen)
2.11.2003
2.11.2003 (1)
2.11.2003 (2)
2.11.2003 (3)
2.11.2003 (4)
2.12.2003
2.12.2003 (1)
20.05.04 Colloquium. Claudia Eckert (Darmstadt) (2)
20.05.04 Colloquium. Claudia Eckert (Darmstadt) (3)
20.5.2004
20.5.2004 (1)
20.7.2004 Colloquium. Till Mossakowski (Bremen)
20.7.2004 Colloquium. Till Mossakowski (Bremen) (2)
23.3.2004
26.09.03 Algebraic Specification Seminar. Yoshi Isobe (Tsukuba, Japan)  (2)
26.09.03 Algebraic Specification Seminar. Yoshi Isobe (Tsukuba, Japan) (2)
27.04.04 Seminar. Gareth Daniel
27.04.04 Seminar. Gareth Daniel (1)
27.05.04 Colloquium. Jan Peleska (Bremen)
28.11.03 Algebraic Specification Seminar. Markus Roggenbach
28.11.03 Colloquium. Holger Schlingloff (Berlin)
28.11.2003
29.04.04 Algebraic Specification Seminar. Markus Roggenbach
29.4.2004
29.4.3004
3.6.2004
30.10.03 Colloquium.Jiang-Lun Wu (Mathematics, Swansea)
30.10.03 Colloquium.Jiang-Lun Wu (Mathematics, Swansea) (1)
31.10.03 Algebraic Specification Seminar. John Tucker
4.11.2003
5.12.2003
5.12.2003 (1)
5.2.2004
5.9.2003
6.5.2004
6.5.2004 (1)
6.5.2004 (2)
6.5.2004 (3)
7.11.2003
7.11.2003 (1)
9.12.2003
After Talk Dinner
After Talk Dinner (1)
After Talk Dinner (10)
After Talk Dinner (2)
After Talk Dinner (3)
After Talk Dinner (4)
After Talk Dinner (5)
After Talk Dinner (6)
After Talk Dinner (7)
After Talk Dinner (8)
After Talk Dinner (9)
After talk discussion  - Holger and Yoshi
Andy M Gimblett
Andy M Gimblett (1)
Barry Blundell
Erwin
Faron G Moller
Faron G Moller (1)
Important Seminar Support
John V Tucker
John V Tucker (1)
John V Tucker (2)
John V Tucker (3)
Ken Johnson
Mark Jones
Markus Michelbrink
Markus Roggenbach
Markus Roggenbach (1)
Monika Seisenberger
Monika Seisenberger (1)
Roger Hindley
Uli Berger
Uli Berger (1)
Will Harwood
Will Harwood (1)