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>,
"ProofTheory.List@gmail.com" <ProofTheory.List@gmail.com>,
"types-announce@lists.seas.upenn.edu"
<types-announce@lists.seas.upenn.edu>,
"theory-logic@cs.cmu.edu" <theory-logic@cs.cmu.edu>,
"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.e
Subject: [LICS] LICS 2019 Registration and Website Mirror
Date: Fri, 5 Apr 2019 20:33:02 +0000 [thread overview]
Message-ID: <A64BC998-49EF-4AC6-B4AC-50786B684547@cs.ox.ac.uk> (raw)
CALL FOR PARTICIPATION
Thirty-Fourth Annual ACM/IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS)
Conference 24-27 June 2019, Vancouver
Workshops 22-23 June 2019
LICS 2019 Registration is open.
Registration page:
https://ungerboeck.its.sfu.ca/emc00/register.aspx?OrgCode=01&EvtID=132686&AppCode=REG&CC=119040326516
We also encourage participants to find accommodation in Vancouver as soon as possible.
Local info page (with accommodation suggestions):
https://www.sfu.ca/~lics2019/
The LICS server at siglog is temperamental at present. Apologies. While we're investigating, I've put a mirror at
http://www.cs.ox.ac.uk/people/samuel.staton/licstemp/lics19/
Accepted papers:
http://www.cs.ox.ac.uk/people/samuel.staton/licstemp/lics19/accepted.html
Original website:
https://lics.siglog.org/lics19/
Workshops:
LFMTP: Logical Frameworks and Metalanguages: Theory and Practice
LMW: Logic Mentoring Workshop
MoRe: Multi-objective reasoning in verification and synthesis
LearnAut: Learning and Automata
LOLA: Syntax and semantics of Low level Languages
WiL: Women in Logic
reply other threads:[~2019-04-05 20:33 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=A64BC998-49EF-4AC6-B4AC-50786B684547@cs.ox.ac.uk \
--to=sam.staton@cs.ox.ac.uk \
--cc=GAMES@lists.rwth-aachen.de \
--cc=ProofTheory.List@gmail.com \
--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=las-lics@lists.tu-berlin.de \
--cc=lfcs-interest@inf.ed.ac.uk \
--cc=linear@cs.stanford.e \
--cc=prog-lang@diku.dk \
--cc=theorem-provers@ai.mit.edu \
--cc=theory-logic@cs.cmu.edu \
--cc=types-announce@lists.seas.upenn.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).