From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8733 Path: news.gmane.org!not-for-mail From: Sam Staton Newsgroups: gmane.science.mathematics.categories Subject: LICS 2016 - Call for Workshop Proposals Date: Wed, 11 Nov 2015 15:21:44 +0000 Message-ID: Reply-To: Sam Staton NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1447279611 15078 80.91.229.3 (11 Nov 2015 22:06:51 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 11 Nov 2015 22:06:51 +0000 (UTC) To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Wed Nov 11 23:06:39 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1ZwdXK-0003up-VQ for gsmc-categories@m.gmane.org; Wed, 11 Nov 2015 23:06:39 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:34424) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1ZwdVq-0001oo-Px; Wed, 11 Nov 2015 18:05:06 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1ZwdVr-0006Jc-N8 for categories-list@mlist.mta.ca; Wed, 11 Nov 2015 18:05:07 -0400 Accept-Language: en-GB, en-US Content-Language: en-GB Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8733 Archived-At: Call for Workshop Proposals =0A= LICS 2016 =0A= 31st ACM/IEEE Symposium on Logic In Computer Science =0A= =0A= http://lics.rwth-aachen.de/lics16/ =0A= =0A= The thirty-first ACM/IEEE Symposium on Logic In Computer Science =0A= (LICS 2016) will be held in New York City, USA on July 5=968, 2016. It =0A= will be followed by IJCAI (International Joint Conference on =0A= Artificial Intelligence). The workshops will take place between the =0A= two conferences, on July 9=9610, 2016. =0A= =0A= Researchers and practitioners are invited to submit proposals for =0A= workshops on topics relating logic =96 broadly construed =96 to computer = =0A= science or related fields. Typically, LICS workshops feature a number =0A= of invited speakers and a number of contributed presentations. LICS =0A= workshops do not usually produce formal proceedings. However, in the =0A= past there have been special issues of journals based in part on =0A= certain LICS workshops. =0A= =0A= Proposals should include: =0A= =0A= - A short scientific summary and justification of the proposed topic. =0A= This should include a discussion of the particular benefits of the =0A= topic to the LICS community. =0A= - A discussion of the proposed format and agenda. =0A= - The proposed duration, which is typically one day (two-day =0A= workshops can be accommodated too). =0A= - The preferred date. =0A= - Procedures for selecting participants and papers. =0A= - Expected number of participants. This is important for the room! =0A= - Potential invited speakers. =0A= - Plans for dissemination (for example, special issues of journals). =0A= =0A= Proposals should be submitted on the Easychair system: =0A= =0A= https://easychair.org/conferences/?conf=3Dworkshopslics2016 =0A= =0A= Important Dates: =0A= Submission deadline: December 4, 2015 =0A= Notification: December 18, 2015 =0A= Program of the workshops ready: April 29, 2016 =0A= Workshops: July 9=9610, 2016 =0A= LICS conference: July 5=968, 2016. =0A= =0A= The workshops selection committee consists of the LICS General Chair, =0A= LICS Workshops Chair, LICS 2016 PC Chair and LICS 2016 Conference =0A= Chair.= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]