Departmental Seminar Series
Autumn 2007
All Seminars are on Wednesdays at 2:00pm in CS103 unless otherwise indicated.
Select below for more details on individual seminars.
17 October, Hanne Gottliebsen (Queen Mary, University of London)
"Automated Support for Verification of Control Systems"
Visit hosted by Ana Cavalcanti
24 October, Barry O'Sullivan (University College Cork, Ireland)
"Robust Combinatorial Auctions"
Visit hosted by Alan Frisch
31 October, Diane J. Litman (Univ. of Pittsburgh, USA and Univ. of Edinburgh)
"Spoken Dialogue for Intelligent Tutoring Systems:
Opportunities and Challenges"
Visit hosted by Alan Frisch
7 November, Paul Cairns (University of York)
"Understanding User Interactions with Statistics"
14 November, Helen Petrie (Universiy of York)
" Accessibility and Usability of Websites:
Untangling the Conceptual Mess"
21 November, John Hamilton (QinetiQ)
"Good Software or Good Business?
How to Make (or Lose) a Million in Seven Easy Steps "
Slides from the talk.
Visit hosted by Gus Vigurs
28 November, Ranko Lazic (University of Warwick)
"Algorithms for Reasoning about Trees with Data"
Visit hosted by Ana Cavalcanti
5 December, Susan Stepney (University of York)
"The Grand Challenge in Non-Classical Computation:
The Story So Far"
Slides from the talk.
12 December, Detlef Plump and Greg Manning (University of York)
"The Graph Programming Language GP"
Seminar Organiser:
Alan Frisch
+44 1904 43 2745
alan.frisch@cs.york.ac.uk
Public