CIDEC ÜIK |
Estonian Winter Schools in Computer Science Eesti arvutiteaduse talvekoolid |
EWSCS 2004 EATTK 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.
http://www.cs.ioc.ee/yik/schools/win2004/
Modified Thursday, Jan 01, 1970 at 2:00 EET+0200 by monika(at)cs.ioc.ee