1. Dan R Ghica and Achim Jung (eds.).
    27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK

    119. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018.
    URL BibTeX

    @proceedings{DBLP:conf/csl/2018,
    	editor = "Dan R. Ghica and Achim Jung",
    	title = "27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018, September 4-7, 2018, Birmingham, {UK}",
    	series = "LIPIcs",
    	volume = 119,
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    	year = 2018,
    	url = "http://www.dagstuhl.de/dagpub/978-3-95977-088-0",
    	isbn = "978-3-95977-088-0",
    	timestamp = "Wed, 29 Aug 2018 13:11:08 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/csl/2018",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Dexter Kozen and Thomas Schwentick.
    The Ackermann Award 2018.
    In 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK. 2018, 1:1–1:5.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/csl/KozenS18,
    	author = "Dexter Kozen and Thomas Schwentick",
    	title = "The Ackermann Award 2018",
    	booktitle = "27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018, September 4-7, 2018, Birmingham, {UK}",
    	pages = "1:1--1:5",
    	year = 2018,
    	crossref = "DBLP:conf/csl/2018",
    	url = "https://doi.org/10.4230/LIPIcs.CSL.2018.1",
    	doi = "10.4230/LIPIcs.CSL.2018.1",
    	timestamp = "Wed, 29 Aug 2018 22:59:00 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/csl/KozenS18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }