Re: [TYPES/announce] EPTCS, a new open access proceedings series

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Bravo on this initiative, Rob! Incidentally, since your per-page cost will be zero, conferences now have one more reason to choose a page limit that *excludes* the bibliography. It

[TYPES/announce] short notice: posts available in Birmingham

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, I just realized that this job opportunity hadn't been announced on this list. Sorry for the short notice, but you've still got almost three weeks to apply. We have a very

[TYPES/announce] MSFP 2012 call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please note the deadline for early registration, including discounted hotel bookings: *Sunday 29 January* === Fourth Workshop on MATHEMATICALLY STRUCTURED

[TYPES/announce] PhD opportunities in the Computer Science theory group at Birmingham

mathematics, intuitionistic type theory) Dan Ghica (Game semantics, heterogeneous computing, model checking) Achim Jung (Mathematical structures in the foundations of computing: logic, topology, order) Paul Levy (Denotational semantics, λ-calculus with effects, nondeterminism, category

[TYPES/announce] PhD opportunities in the Computer Science theory group at Birmingham

mathematics, intuitionistic type theory) Dan Ghica(game semantics, heterogeneous computing, model checking) Achim Jung (mathematical structures in the foundations of computing: logic, topology, order) Paul Levy (denotational semantics, lambda-calculus with effects

[TYPES/announce] CFP for MSFP 2014

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Fifth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 12 April 2014, in Grenoble, France. A satellite workshop of ETAPS 2014 http://www.cs.bham.ac.uk/~pbl/msfp2014/ The fifth

[TYPES/announce] PhD opportunities at the University of Birmingham

, interactive computation) Paul Levy (denotational semantics, lambda-calculus with effects, nondeterminism, category theory, game semantics) Uday Reddy(semantics of state, separation logic) Eike Ritter(security protocol verification) Hayo Thielecke (abstract machines

[TYPES/announce] Second call for papers for MSFP 2014

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Fifth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 12 April 2014, in Grenoble, France. A satellite workshop of ETAPS 2014 http://www.cs.bham.ac.uk/~pbl/msfp2014/ The fifth

[TYPES/announce] Deadline extension for MSFP 2014

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please note extended deadlines: abstract 31 December and submission 7 January. -- Fifth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 12 April 2014, in Grenoble, France. A

[TYPES/announce] PhD opportunities at the University of Birmingham

, order) Neel Krishnaswami (type theory, verification, substructural logic, interactive computation) Paul Levy (denotational semantics, lambda-calculus with effects, nondeterminism, category theory, game semantics) Uday Reddy(semantics of state, separation logic) Eike

[TYPES/announce] Fwd: Annual Peter Landin Semantics Seminar: On correspondences between programming languages and semantic notations, By Prof.Peter Mosses -- 8th December, 2014, 6pm, London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Begin forwarded message: From: Paul Boca paul.b...@googlemail.com Date: Mon, Sep 29, 2014 at 9:40 PM Subject: Annual Peter Landin Semantics Seminar: On correspondences between

[TYPES/announce] PhD opportunities at the University of Birmingham

are considering applying, please contact any of us. We will be very happy to discuss the opportunities available. Best regards, The Birmingham CS theory group, including:- Benedikt Ahrens Rajesh Chitnis Anupam Das Martín Escardó Eric Finster Dan Ghica Mirco Giacobbe Paul Levy Sonia

[TYPES/announce] Call for papers: Mathematical Foundations of Programming Semantics 2023

. - CONTACT: For any further information about MFPS 2023, please contact the co-chairs: Marie Kerjean (kerj...@lipn.fr<mailto:kerj...@lipn.fr>) and Paul Levy (p.b.l...@bham.ac.uk<mailto:p.b.l...@bham.ac.uk>).

[TYPES/announce] Midlands Graduate School in the Foundations of Computing Science 2023

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We are happy to announce that registration for the Midlands Graduate School, to take place on 2-6 April at the University of Birmingham, UK, is open: