LICS 2021 Online and Call for Workshops
It was recently decided that LICS 2021 will be held online. For this reason we’re making another call for workshop proposals: 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2021) 2nd 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 online on June 29-July 2, 2021. The workshops will be held online 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. - 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: - Workshop proposal submission deadline: February 28, 2020 - Notification: March 3, 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.
participants (1)
-
Sam Staton