LICS 2016 - Call for Workshop Proposals

[Sam Staton <sam.staton-6XCrzUfQPq310XsdtD+oqA@public.gmane.org>]

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Call for Workshop Proposals 
LICS 2016 
31st ACM/IEEE Symposium on Logic In Computer Science 

http://lics.rwth-aachen.de/lics16/ 

The thirty-first ACM/IEEE Symposium on Logic In Computer Science 
(LICS 2016) will be held in New York City, USA on July 5–8, 2016. It 
will be followed by IJCAI (International Joint Conference on 
Artificial Intelligence). The workshops will take place between the 
two conferences, on July 9–10, 2016. 

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). 
- The preferred date. 
- 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 submitted on the Easychair system: 

https://easychair.org/conferences/?conf=workshopslics2016 

Important Dates: 
  Submission deadline: December 4, 2015 
  Notification: December 18, 2015 
  Program of the workshops ready: April 29, 2016 
  Workshops: July 9–10, 2016 
  LICS conference: July 5–8, 2016. 

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