4-7 Sep 2018
Birmingham, England
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.Ghica@cs.bham.ac.uk>
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam