From: Sam Staton <sam.staton@cs.ox.ac.uk>
To: "las-lics@lists.tu-berlin.de" <las-lics@lists.tu-berlin.de>,
"categories@mta.ca" <categories@mta.ca>,
"GAMES@lists.rwth-aachen.de" <GAMES@lists.rwth-aachen.de>,
"theorem-provers@ai.mit.edu" <theorem-provers@ai.mit.edu>,
"concurrency@listserver.tue.nl" <concurrency@listserver.tue.nl>,
"finite-model-theory@lists.rwth-aachen.de"
<finite-model-theory@lists.rwth-aachen.de>,
"asl@vassar.edu" <asl@vassar.edu>,
"agda@lists.chalmers.se" <agda@lists.chalmers.se>,
"appsem@lists.tcs.ifi.lmu.de" <appsem@lists.tcs.ifi.lmu.de>,
"lfcs-interest@inf.ed.ac.uk" <lfcs-interest@inf.ed.ac.uk>,
"cade@itu.dk" <cade@itu.dk>,
"prog-lang@diku.dk" <prog-lang@diku.dk>,
"linear@cs.stanford.edu" <linear@cs.stanford.edu>,
"dbworld@cs.wisc.edu" <dbworld@cs.wisc.edu>,
"DMANET@zpr.uni-koeln.de" <DMANET@zpr.uni-koeln.de>,
"fom@cs.nyu.edu" <fom@cs.nyu.edu>,
"homotopytypetheory@googlegroups.com" <homotopytype
Subject: [LICS] LICS 2020 Call for Participation
Date: Tue, 16 Jun 2020 18:40:00 +0000 [thread overview]
Message-ID: <8C566EAE-0622-4223-BA7F-7F4152F2E9ED@cs.ox.ac.uk> (raw)
CALL FOR PARTICIPATION
Thirty-Fifth Annual ACM/IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS)
co-located with ICALP
8–11 July 2020
preceded by workshops 6-7 July 2020
Registration (including free option):
https://lics2020.saarland-informatics-campus.de/lics-registration/
Preliminary schedule:
https://lics2020.saarland-informatics-campus.de/programme/
Accepted papers:
https://lics.siglog.org/lics20/accepted.php
Keynotes from
Mariangiola Dezani
Jerome Leroux
Andrew Yao
Tutorials from
Erich Grädel
Brigitte Pientka
Workshops:
AATG: Algorithmic Aspects of Temporal Graphs
INFINITY: Verification of Infinite-State SystemsLCC: Logic and Computational Complexity
LMW: Logic Mentoring Workshop
PRiML: Programming Research in Mainstream Languages
You are subscribed to the lics mailing list because you have signed up for it in the past.
Submissions to the newsletter:
Send an email to las-lics@lists.tu-berlin.de.
Unsubscribe:
To unsubscribe, please send an email to las-lics-request@lists.tu-berlin.de with
the keyword 'unsubscribe' in the message body (without ').
Subscribe:
To subscribe, please send an email to las-lics-request@lists.tu-berlin.de with
the keyword 'subscribe' in the message body (without ').
reply other threads:[~2020-06-16 18:40 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=8C566EAE-0622-4223-BA7F-7F4152F2E9ED@cs.ox.ac.uk \
--to=sam.staton@cs.ox.ac.uk \
--cc=DMANET@zpr.uni-koeln.de \
--cc=GAMES@lists.rwth-aachen.de \
--cc=agda@lists.chalmers.se \
--cc=appsem@lists.tcs.ifi.lmu.de \
--cc=asl@vassar.edu \
--cc=cade@itu.dk \
--cc=categories@mta.ca \
--cc=concurrency@listserver.tue.nl \
--cc=dbworld@cs.wisc.edu \
--cc=finite-model-theory@lists.rwth-aachen.de \
--cc=fom@cs.nyu.edu \
--cc=las-lics@lists.tu-berlin.de \
--cc=lfcs-interest@inf.ed.ac.uk \
--cc=linear@cs.stanford.edu \
--cc=prog-lang@diku.dk \
--cc=theorem-provers@ai.mit.edu \
/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).