[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Participation
========================================
Computer Science Logic 2018
Birmingham, United Kingdom
4–7 September
<http://events.cs.bham.ac.uk/csl18/>
========================================
The European Association for Computer Science Logic and the School of
Computer Science of the University of Birmingham kindly invite you to
take part in the 2018 edition of CSL.
The day after the conference, there will be a free workshop honouring
Achim Jung on occasion of his 60th birthday.
# The Conference
Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). It is an
interdisciplinary conference, spanning across both basic and application
oriented research in mathematical logic and computer science. CSL 2018
will be the 27th edition in the series.
## Invited Speakers
* Bob Coecke — University of Oxford
* Emmanuel Filiot — Université Libre de Bruxelles
* Catuscia Palamidessi — École Polytechnique
* Christine Tasson — Université Paris Diderot
* Szymon Toruńczyk — Uniwersytet Warszawksi
## Programme
Thirty-six contributions were selected for presentation at CSL 2018. A
full listing is available at
<http://events.cs.bham.ac.uk/csl18/acceptedpapers/>
# Achim Jung Fest — “An Intersection of Neighborhoods” (8 Sep)
For thirty years, Achim Jung has been at the forefront of research in
the fields of Programming Language Semantics, Topological Logic, and,
more broadly, the intersection of Computer Science, Logic, and Mathematics.
The day following CSL there will be a workshop in commemoration of his
career on occasion of his 60th birthday.
For more information, please see
<http://events.cs.bham.ac.uk/csl18/AJFest/>
## Invited Speakers
* Samson Abramsky — University of Oxford
* Thorsten Altenkirch — University of Nottingham
* Mai Gehrke — Université Côte d'Azur
* Michael Huth — Imperial College
* Ho Weng Kin — Nanyang Technological University
* Jimmie Lawson — Louisiana State University
* Michael Mislove — Tulane University
* Frank Pfenning — Carnegie Mellon University
* Alex Simpson — University of Ljubljana
# Registration
The fees for the conference and associated events are
------------------------------------------- -------
Early Bird Conference (Standard) £300
Early Bird Conference (Student) £240
Regular Conference (after 31 July) £350
Conference Dinner £48
Excursion
Black Country Living Museum £32
Achim Jung Fest *free*
------------------------------------------- -------
To register, please follow the link and information provided on the CSL
website
<http://events.cs.bham.ac.uk/csl18>
For any questions please contact Dan R. Ghica <d.r.gh...@cs.bham.ac.uk>
