[LICS] LICS 2021 Online and Call for Workshops

[LICS] 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@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.



You are subscribed to the lics mailing list because you have signed up for it in the past.

Submissions to the newsletter:
Send an email to las-lics@lists.tu-berlin.de.

Unsubscribe:
To unsubscribe, please send an email to las-lics-request@lists.tu-berlin.de with
the keyword 'unsubscribe' in the message body (without ').

Subscribe:
To subscribe,  please send an email to las-lics-request@lists.tu-berlin.de with
the keyword 'subscribe' in the message body (without ').