
|
Logic & Semantics
|
Schedule
The best way to find us is to use the Corn Exchange street entrance, which is directly opposite the (cars') entrance to Lion Yard Car Park.
See "New Museums Site Overview" at
http://www.cl.cam.ac.uk/site-maps/site-maps.html
Just inside the entrance is a cream coloured University phone. My number is 34729 - call me and I'll let you in. If you can't find the entrance just use any public phone instead, and prefix my number with a 3.
- Speaker: Mike Spivey
- Host: Tony Hoare (thoare@microsoft.com)
- Date: 20th October (confirmed)
- Title: Embedding Prolog in Haskell
- Travel:
- Accommodation:
- Meal:
- Notes:
- Prospective (Tony contacting)
- I'd like to talk about Silvija's and my embedding of logic programming in functional programming.
- Speaker: Martin Hyland (M.Hyland@dpmms.cam.ac.uk)
- Host: "Thomas Forster" (T.Forster@dpmms.cam.ac.uk)
- Date: 27th October offered
- Title: Who wins infinite plays
- Travel:
- Accommodation:
- Meal:
- Notes:
- Happy to come to lunch but if it is easier not just say so
- Speaker: Randy Pollack (rap@dcs.ed.ac.uk)
- Host: Andrew Pitts (Andrew.Pitts@cl.cam.ac.uk)
- Date: 10th November (confirmed)
- Title:
- Travel: Stansted arrive 18:30 9 Nov depart 20:35 10 Nov 123GBP
- Accommodation:
- Meal:
- Notes:
- Andy not on 27 Oct, 24 Nov and 8 Dec
- took 17th too late - accepted 10th
- In the US from 25/10 through 06/11, reading email occasionally.
- Application for expense made 3/11/00
Graeme to notify of room booking night of 9/11/00
- Speaker: Kohei Honda(kohei@dcs.qmw.ac.uk)/Martin Berger(M.Berger@doc.ic.ac.uk)
- Host: Peter Sewell
- Date: 17th Novemerb (confirmed)
- Title: The 2 Phase Commit Protocol in an Extended pi Calculus
- Travel:
- Accommodation:
- Meal:
- Notes:
- Martin Berger's e-mail addresses are now as follows:
Martin Berger (martinb@dcs.qmw.ac.uk)
martin berger (monadic@gmx.net)
- Speaker: DonSyme/Andy Gordon
- Host: Mike Gordon
- Date: 24th November
- Title: Typing a Multi-Language Intermediate Code (confirmed)
- Travel:
- Accommodation:
- Meal:
- Notes:
- Don 10th Nov maybe
- Andy has agreed - date to be arranged
- All sorted
- Speaker: Oege de Moor (Oege.de.Moor@comlab.ox.ac.uk)
- Host: Tony Hoare (thoare@microsoft.com)
- Date: 1st December (confirmed)
- Title: Pointwise Relations
- Travel:
- Accommodation: Required - BOOK IT
- Meal: Dinner
- Notes:
- Speaker: "Jeffrey Ketland" (ketland@ketland.fsnet.co.uk)
- Host: "Thomas Forster" (T.Forster@dpmms.cam.ac.uk)
- Date: 2nd March (confirmed)
- Title: The Possibility of Physical Hypercomputation
- Travel: Drive (unconfirmed)
- Accommodation: Self-arranged at Trinity (unconfirmed)
- Meal:
- Notes:
- Notify Mark Hogarth (in philsophy here) "knows about hypercomputation"
- Will probably drive down
- Thomas away March 17-June
- Thomas not Friday 13th October
- Speaker: Uday Reddy (udr@cs.bham.ac.uk)
- Host: Alan Mycroft (Alan.Mycroft@cl.cam.ac.uk)
- Date:
- Title:
- Travel:
- Accommodation:
- Meal:
- Notes:
- Speaker: Ranko Lazic
- Host: Tony Hoare (thoare@microsoft.com)
- Date:
- Title:
- Travel:
- Accommodation:
- Meal:
- Notes:
- Prospective (Tony contacting)
- Speaker: Ian Benson
- Host:
- Date: 19th January (confirmed)
- Title: Practical Protocol Analysis for System Decomposition and Synthesis
- Travel:
- Accommodation:
- Meal:
- Notes:
- Speaker:
- Host:
- Date:
- Title:
- Travel:
- Accommodation:
- Meal:
- Notes: