Scott in Scotland

29th June 2010, Edinburgh, UK

Dana S. Scott, Emeritus Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University, is visiting Scotland in June-July 2010 as a SICSA Distinguished Visiting Fellow.

"Scott in Scotland" is an afternoon of invited talks on semantics of programming languages associated with Dana Scott's visit, held at the Informatics Forum, University of Edinburgh.

It is jointly sponsored by the SICSA Modelling and Abstraction and Complex Systems Engineering themes.

This event is full and registration has closed. Please contact Alex.Simpson@ed.ac.uk if you wish to be put on the reserve list in case space becomes available.

List of registered participants.


Programme

13.00-14.00 LFCS Lab Lunch (bring your own sandwiches)
 
14.00-14.30   Gordon Plotkin (University of Edinburgh)
  A Logic for Algebraic Effects   [slides (pdf)]
14.30-15.00   Neil Ghani (University of Strathclyde)
  All Inductive Types have Induction Principles   [slides (pdf)]
15.00-15.30   Murdoch James Gabbay (Heriot-Watt University)
  Kripke-style models in which logic and computation have equal standing   [slides (pdf)]
 
15.30-16.00 Coffee and snack
 
16.00-17.00   Dana Scott (Carnegie Mellon University, Emeritus)
  Semilattices, Domains, and Computability   [slides (pdf)]
 
17.00-19.00 Wine reception


Arrangements

The meeting takes place in the Informatics Forum (IF), 10 Crichton Street, Edinburgh, EH8 9AB.

Coffee and biscuits will be available in IF room 4.40 ("Mini-Forum 2") from 13.00, where participants are invited to attend LFCS Lab Lunch. Please bring your own lunch.

Talks are in room IF 4.31.

The coffee break and wine reception are in "Mini-Forum 2" and (weather permitting) adjacent roof garden.


Other seminars by Dana Scott, June-July 2010