From: EACSL <eacsl@kahle.ch>
To: caml-list <caml-list@inria.fr>
Subject: [Caml-list] CSL 2018: Final Call for Papers
Date: Thu, 29 Mar 2018 12:29:55 +0200 [thread overview]
Message-ID: <d9a03474-4991-ed8d-7167-83565adc4f6c@kahle.ch> (raw)
Final Call for Papers
========================================
Computer Science Logic 2018
Birmingham, United Kingdom
4–7 September
<http://events.cs.bham.ac.uk/csl18/>
========================================
# Important Dates
* Abstract Submission: 7 April 2018 (AoE)
* Paper Submission: 14 April 2018 (AoE)
* Author Notification: 14 June 2018
# 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. It will be organised by the
School of Computer Science of the University of Birmingham.
# Proceedings
Proceedings will be published in the Leibniz International Proceedings
in Informatics (LIPIcs). After the conference, selected papers will be
invited to a special issue of the online open access journal Logical
Methods in Computer Science.
# Submission
Submission will be through EasyChair. Papers should be no more than 15
pages (excluding references) in LIPIcs style and may not be submitted
concurrently to another conference with refereed proceedings.
For further details please see
<https://easychair.org/cfp/CSL18>
# 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 Committee
* Christel Baier, TU Dresden
* Martin Berger, University of Sussex
* Lars Birkedal, Aarhus University
* Veronique Bruyere, University of Mons
* Agata Ciabattoni, TU Wien
* Ugo Dal Lago, University of Bologna
* Ross Duncan, University of Strathclyde
* Jamie Gabbay, Heriot-Watt University
* Marco Gaboardi, University at Buffalo, SUNY
* Dan R. Ghica, University of Birmingham (Co-chair)
* Russ Harmer, CNRS & ENS Lyon
* Achim Jung, University of Birmingham (Co-chair)
* Juha Kontinen, University of Helsinki
* Jean Krivine, Université Paris Diderot & IRIF
* Slawek Lasota, University of Warsaw
* Marina Lenisa, University of Udine
* Anca Muscholl, University of Bordeaux
* Wied Pakusa, RWTH Aachen University
* Daniela Petrisan, Université Paris Diderot
* Sebastian Siebertz, University of Warsaw
* Alexandra Silva, University College London
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
reply other threads:[~2018-03-29 10:30 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=d9a03474-4991-ed8d-7167-83565adc4f6c@kahle.ch \
--to=eacsl@kahle.ch \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).