[LICS] LICS 2019 Call for Workshop Proposals

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


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