[TYPES/announce] CSL 2018 - Final Call for Participation

[EACSL]

      Final Call for Participation
========================================
       Computer Science Logic 2018
        Birmingham, United Kingdom
              4–7 September

   <http://events.cs.bham.ac.uk/csl18/>
========================================


** The early bird registration period has been extended till 7 August **

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/>
A preliminary programme has also been published.

# 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 7 August)        £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 at cs.bham.ac.uk>