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/ ]