[TYPES/announce] LICS 2019 Call for Workshop Proposals

[Sam Staton]

 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2019)
   Call for Workshop Proposals
   https://lics.siglog.org/lics19/

* The Thirty-Fourth Annual ACM/IEEE Symposium on Logic In Computer
   Science (LICS'19) will be held in Vancouver, Canada on June 24-27,
   2019. The workshops will take place on June 22-23, 2019.

* 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.
    -  A discussion of the proposed format and agenda.
    -  The proposed duration, which is typically one day (two-day
       workshops can be accommodated too).
    -  Procedures for selecting participants and papers.
    -  Expected number of participants. This is important for the room!
    -  Potential invited speakers.
    -  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:            November 15, 2018
   - Notification:                   December 1, 2018
   - Program of the workshops ready: May 19, 2019
   - Workshops:                      June 22-23, 2019
   - LICS conference:                June 24-27, 2019

* The workshops selection committee consists of the LICS General
   Chair, LICS Workshops Chair, LICS 2019 PC Chair and LICS 2019
   Conference Chairs.