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>,
"DMANET@zpr.uni-koeln.de" <DMANET@zpr.uni-koeln.de>,
"fom@cs.nyu.edu" <fom@cs.nyu.edu>,
"homotopytypetheory@googlegroups.com"
<homotopytypetheory@googlegroups.com>,
"rewriting@ens-l
Subject: [LICS] LICS 2021 Call for Participation
Date: Thu, 10 Jun 2021 05:20:02 +0000 [thread overview]
Message-ID: <861C8192-A701-4A6A-B422-963ECE62D80F@cs.ox.ac.uk> (raw)
CALL FOR PARTICIPATION
Thirty-Sixth Annual ACM/IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS)
co-located with ITP 2021
29 June – 2 July 2021
preceded by workshops 27-28 June 2021
Registration (from 30 euros):
http://easyconferences.eu/lics2021/registration/
Program, including links to all preprints and videos:
http://easyconferences.eu/lics2021/program/
List of accepted papers:
http://easyconferences.eu/lics2021/accepted-papers/
Workshops:
LMW: Logic Mentoring Workshop
Structure meets Power
TLLA: Trends in Linear Logic and Applications
WiL: Women in Logic
Keynotes from
Luca Aceto
Martin Grohe
Maurizio Lenzerini
Nadia Polikarpova
Ryan Williams
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:[~2021-06-10 5:20 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=861C8192-A701-4A6A-B422-963ECE62D80F@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=finite-model-theory@lists.rwth-aachen.de \
--cc=fom@cs.nyu.edu \
--cc=homotopytypetheory@googlegroups.com \
--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).