[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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: [email protected]
* 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.
