The University of York Department of Computer Science

Seminar Series Autumn 1994

All Seminars are on Wednesdays at 2:15pm in X/D007 unless otherwise indicated.
Select below for more details on individual seminars (these are PostScript documents):

This schedule in PostScript

  • 19 Oct, Roberto Garigliano,
    The LOLITA system as an Example of Natural Language Engineering.
  • Fri 21 Oct, Colin Fidge, Adding Real Time to Formal Program Development
  • CANCELLED Tue 25 Oct, Robert Dewar, The GNAT compiler: A Technical Tour
  • 2 Nov, Richard Bornat, JAPE: Proof without tears
  • 9 Nov, Manus Henry, Sensor Validation
  • Fri 11 Nov, Paul Pritchard, How To Discard Useless Information
  • 16 Nov, Stephen Muggleton, Bayesian Inductive Logic Programming, V/119
  • 23 Nov, Mark Jones, Using Types to Parse Natural Language
  • 12:15, Thu 24 Nov, Wei Kwok-kee, The Query Cube:..., D/056
  • [3:15, Thu 24 Nov, Bret Michael Formal System Specification and Testing of Critical Real-Time Vehicle Control Software---organised by Jonathan Moffet.]

  • Back to index of seminar series
    Jeremy Jacob / +44 1904 43 2747 / <jeremy@cs.york.ac.uk>