CIDEC ÜIK |
Estonian Winter Schools in Computer Science Eesti arvutiteaduse talvekoolid |
EWSCS 2004 EATTK 2004 |

IX Eesti Arvutiteaduse Talvekool (EATTK)

February 29 - March 5, 2004

School of Computer Science

University of Birmingham

United Kingdom

The course will begin with a discussion of Marshall Stone's classical Representation Theorem for Boolean Algebras, and its significance for Topology and Logic. It will then work its way towards more general algebras and spaces as motivated by the properties of Observation Logic for Denotational Semantics (in the tradition of Smyth and Vickers). This will provide a basis for the sequent calculus MLS (a subset of Gentzen's system LK) which formalises Observation Logic particularly well. The fourth lecture will present some type constructions in MLS. These are put to use in some case studies which conclude the course.

S. Abramsky, A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, T. S. E. Maibaum,

*Handbook of Logic in Computer Science*, v. 3, ch. 7, Clarendon Press, 1994. (Corrected and expanded version.)M. A. Moshier, A. Jung. A logic for probabilities in semantics. In J. Bradfield, ed.,

*Proc. of 16th Int. Wksh. on Computer Science Logic, CSL 2002*,*Lecture Notes in Computer Science*, v. 2471, pp. 216-231, Springer-Verlag, 2002. (Preprint version.)M. Alvarez-Manilla, A. Jung, K. Keimel. The probabilistic powerdomain of stably compact spaces. Submitted to

*Theoretical Computer Science*.

- B. A. Davey and H. A. Priestley,
*Introduction to Lattices and Order*,2nd ed., Cambridge University Press, Cambridge, 2002. - S. J. Vickers,
*Topology via Logic*,*Cambridge Tracts in Theoretical Computer Science*, v. 5, Cambridge University Press, 1989. - A. Jung, M. Kegelmann, M. A. Moshier, Multi-lingual sequent
calculus and coherent space,
*Fundamenta Informaticae*, v. 37, pp. 369-412, 1999. - A. Jung and M. Kegelmann and M. A. Moshier, Stably compact
spaces and closed relations, in S. Brookes, M. Mislove, eds.,
*Proc. of 17th Conference on Mathematical Foundations of Programming Semantics, MFPS-XVII*,*Electronic Notes in Theoretical Computer Science*, vol. 45, 24 pp., Elsevier Science Publ., 2001. - M. A. Moshier, A. Jung.
*A Logic for Probabilities in Semantics*, J. Bradfield, ed.,*Proc. of 16th Int. Wksh. on Computer Science Logic, CSL 2002*,*Lecture Notes in Computer Science*, v. 2471, pp. 216-231, Springer-Verlag, 2002.

http://www.cs.ioc.ee/yik/schools/win2004/

Modified Thursday, Jan 01, 1970 at 2:00 EET+0200 by monika(at)cs.ioc.ee