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.