[TYPES/announce] LICS 2021 Call for Workshops
Sam Staton
sam.staton at cs.ox.ac.uk
Mon Oct 19 04:34:36 EDT 2020
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 at 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.
More information about the Types-announce
mailing list