School of Computer Science

Departmental Seminar
Autumn Term 1999
Thursdays 4pm, Lecture Room 7

14th October
Dr Riccardo Poli, School of Computer Science, University of Birmingham Genetic Programming: Mechanisms, Applications, Challenges and Future

21 October
Dr Bent Thomsen, ICL, Bracknell Agents - from Theory to Products

28th October Dr Richard Black, Computing Science Department, Glasgow University ``The world needs a new operating system like a hole in the head''?

4th November Dr Alexander Holt Division of Informatics, University of Edinburgh Formal verification with natural language specifications: guidelines, experiments and lessons so far

11th November Professor Aaron Sloman, School of Computer Science, University of Birmingham Architecture-based conceptions of mind

18th November Dr Evaristus Mainsah, (Computer Aided Telephony Consultant, IBM UK Laboratories An introduction to computer telephony integration (CTI)

25th November
Prof. Alan Bundy, Artificial Intelligence, University of Edinburgh A Critique of Proof Planning

2 December
Prof. Gordon Blair, Computer Science, Lancaster University QoS in Middleware

9 December
Dr David Wakeling, School of Engineering and Computer Science, University of Exeter Compiling Lazy Functional Languages for Java Virtual Machine

16th December Jonty Harrison, Director of the Birmingham Electro-Acoustic Workshop (BEAST), Dept. of Music, University of Birmingham. 'Hear, hear! The art of listening in a visually-dominated world'

The seminars are on Thursday afternoons in Lecture Room 7, Aston Webb C, and are intended for general audience. If you wish to confirm that a particular seminar is taking place please contact Sammie Snow (email S.Snow@cs.bham.ac.uk, tel. 0121 414 4774). More information about seminars in the School can be found at URL http://www.cs.bham.ac.uk/system/notice_board.html. Tea and biscuits afterwards in the Coffee Room.

Last modified: 13 April 1999

Marta Kwiatkowska (mzk@cs.bham.ac.uk)
Back to School of Computer Science homepage

14th October	Dr Riccardo Poli, School of Computer Science, University of Birmingham	Genetic Programming: Mechanisms, Applications, Challenges and Future
21 October	Dr Bent Thomsen, ICL, Bracknell	Agents - from Theory to Products
28th October	Dr Richard Black, Computing Science Department, Glasgow University	``The world needs a new operating system like a hole in the head''?
4th November	Dr Alexander Holt Division of Informatics, University of Edinburgh	Formal verification with natural language specifications: guidelines, experiments and lessons so far
11th November	Professor Aaron Sloman, School of Computer Science, University of Birmingham	Architecture-based conceptions of mind
18th November	Dr Evaristus Mainsah, (Computer Aided Telephony Consultant, IBM UK Laboratories	An introduction to computer telephony integration (CTI)
25th November	Prof. Alan Bundy, Artificial Intelligence, University of Edinburgh	A Critique of Proof Planning
2 December	Prof. Gordon Blair, Computer Science, Lancaster University	QoS in Middleware
9 December	Dr David Wakeling, School of Engineering and Computer Science, University of Exeter	Compiling Lazy Functional Languages for Java Virtual Machine
16th December	Jonty Harrison, Director of the Birmingham Electro-Acoustic Workshop (BEAST), Dept. of Music, University of Birmingham.	'Hear, hear! The art of listening in a visually-dominated world'