[TYPES/announce] ESSLLI 2015: Final Call for Course and Workshop Proposals

for participants Programme Committee === Chair: Achim Jung (Birmingham) Language and Computation: Aurelie Herbelot (Cambridge) Stefan Müller (Berlin) Language and Logic: Edgar Onea (Göttingen) Galit Weidman-Sassoon (Bar-Ilan) Logic and Computation: Hubie

[TYPES/announce] ESSLLI 2015 --- First Call for Proposals

, monographs, proceedings, surveys) d. Practical information: Relevant preceding meetings and events, if applicable Potential external funding for participants Programme Committee === Chair: Achim Jung (Birmingham) Language and Computation: Aurelie Herbelot (Cambridge

[TYPES/announce] MFPS XXIX Preliminary Announcement

is Michael Mislove (Tulane). The Organizing Committee for MFPS includes Andrej Bauer (Slovenia), Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane), Joel Ouaknine (Oxford) and Prakash Panangaden (McGill). The Important Dates for MFPS XXIX

[TYPES/announce] BCTCS 2011: 2nd Call for Participation

. REGISTRATION The registration fee is GBP 290, which includes accommodation (nights of the 18th, 19th, and 20th) and one evening meal. Registration is via the Colloquium website. Registration closes on 4 APRIL 2011. ORGANISATION AND FURTHER INFORMATION The conference is being organised by Achim