[TYPES/announce] LICS 2021 Online and Call for Workshops

[Sam Staton]

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 at 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.