"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.
|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)]|
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.
Three seminars on A Probabilistic Modal Set Theory at the Informatics Forum, University of Edinburgh.
A seminar Reflections on Geometry at the School of Philosophy, University of St. Andrews.
Invited talk at 2010 workshop on Automated Mathematical Theory Exploration, held at FLoC 2010.