MIDLANDS GRADUATE SCHOOL
IN THE FOUNDATIONS OF COMPUTING SCIENCE
CHRISTMAS
SEMINARS
Tuesday 19.12.2006
14.00-17.30
Sir Henry Stephenson Building, SB-LT01
The University of Sheffield
http://www.dcs.shef.ac.uk/~georg/mgs_xmas06.html
EVERYONE WELCOME
-------------------------------------------------------------------------------
Programme:
14:00-15:00
TITLE TO BE ANNOUNCED
Colin Runciman (York)
15:00-15:30 Coffee
15:30-16:30
EPISTEMIC LOGICS FOR TIME AND SPACE BOUNDED REASONING
Natasha Alechina (Nottingham)
16:30-17:30
THE STAR AND BEYOND: ALGEBRAIC NOTIONS OF TERMINATION AND DIVERGENCE
Georg Struth (Sheffield)
17:30-20:00 Pub
------------------------------------------------------------------------------
For further information, including abstracts, venue, travel, please
consider http://www.dcs.shef.ac.uk/~georg/mgs_xmas06.html
|