* [LICS] LICS 2021 Call for Workshops
@ 2020-10-19 8:34 Sam Staton
0 siblings, 0 replies; only message in thread
From: Sam Staton @ 2020-10-19 8:34 UTC (permalink / raw)
To: las-lics, categories, GAMES, theorem-provers, concurrency,
finite-model-theory, asl, agda, appsem, lfcs-interest, cade,
prog-lang, linear, dbworld, DMANET, fom,
homotopytypetheory@googlegroups.com
36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2021)
Call for Workshop Proposals
http://easyconferences.eu/lics2021/
* The thirty-sixth Annual ACM/IEEE Symposium on Logic in Computer
Science (LICS'21) will be held in Rome, Italy, on June 29-July 2,
2021. The workshops will take place on June 27-28, 2021.
* Researchers and practitioners are invited to submit proposals for
workshops on topics relating logic - broadly construed - to computer
science or related fields. Typically, LICS workshops feature a
number of invited speakers and a number of contributed
presentations. LICS workshops do not usually produce formal
proceedings. However, in the past there have been special issues of
journals based in part on certain LICS workshops.
* Proposals should include:
- A short scientific summary and justification of the proposed
topic. This should include a discussion of the particular
benefits of the topic to the LICS community.
- The proposed duration, which is typically one day (two-day
workshops can be accommodated too).
- Expected number of participants, providing data on previous years
if the workshop has already been organised in the past.
- Procedures for selecting participants and papers.
- Potential invited speakers.
- A discussion of the proposed format, whether it should be
a physical meeting only, a virtual meeting only, or a combination
thereof, and whether you need special equipments or technologies.
- An agenda.
- Plans for dissemination (for example, special issues of journals).
Proposals should be sent to Frédéric Blanqui: frederic.blanqui@inria.fr
* IMPORTANT DATES:
- Submission deadline: December 6, 2020
- Notification: December 18, 2020
- Program of the workshops ready: May 27, 2021
- Workshops: June 27-28, 2021
- LICS conference: June 29-July 2, 2021
* The workshops selection committee consists of the LICS Workshops Chair,
the LICS General Chair, the LICS PC Chairs and the LICS Conference Chairs.
* COVID-19: the organisers are watching the evolution of the pandemic
very closely and will make a decision later on whether or not the
meeting can be held in-person in Rome or not.
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 ').
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2020-10-19 8:34 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-10-19 8:34 [LICS] LICS 2021 Call for Workshops Sam Staton
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).