[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