[FOM] LICS 2019 - Call for Workshop Proposals

[Frédéric Blanqui]

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