CSL 2018 - Call for Participation

CSL 2018 - Call for Participation

[majordomo]

         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>






[For admin and other information see: http://www.mta.ca/~cat-dist/ ]