[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] LICS 2013 - Call for Workshop Proposals
- To: ProofTheory.List@xxxxxxxxx, finite-model-theory@xxxxxxxxxxxxxxxxxxxx, GAMES@xxxxxxxxxxxxxxxxxxxx, appsem@xxxxxxxxxxxxxxxxxxxx, categories@xxxxxx, concurrency@xxxxxx, kgs@xxxxxxxxxxxxxxxxxx, lfcs-interest@xxxxxxxxxxxx, linear@xxxxxxxxxxxxxxx, logic-list@xxxxxxxxxxx, theory-a@xxxxxxxxxxxxxxxxxx, prog-lang@xxxxxxx, theorem-provers@xxxxxxxxxx, theory-logic@xxxxxxxxxx, agda@xxxxxxxxxxxxxxxxx, clp@xxxxxxxxxxxxxxx, dbworld@xxxxxxxxxxx, mizar-forum@xxxxxxxxxxxxxxxx, pvs@xxxxxxxxxxx, asl@xxxxxxxxxx, cade@xxxxxx, hol-info@xxxxxxxxxxxxxxxxxxxxx, ifip-wg1.6@xxxxxxxxxxxxxxxxxxxx, nominal-isabelle@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx, proofpower@xxxxxxxxxxxxx, rewriting@xxxxxxxxxxx, twelf-list@xxxxxx
- Subject: [PVS] LICS 2013 - Call for Workshop Proposals
- From: Andrzej Murawski <andrzej.murawski@xxxxxxxxxxxxxxx>
- Date: Fri, 5 Oct 2012 11:49:46 +0100
- List-archive: <http://lists.csl.sri.com/mailman/private/pvs>
- List-help: <mailto:email@example.com?subject=help>
- List-id: PVS <pvs.csl.sri.com>
- List-post: <mailto:firstname.lastname@example.org>
- List-subscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs>, <mailto:email@example.com?subject=subscribe>
- List-unsubscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs>, <mailto:firstname.lastname@example.org?subject=unsubscribe>
- Sender: pvs-bounces+archive=csl.sri.com@xxxxxxxxxxx
Call for Workshop Proposals
28th ACM/IEEE Symposium on Logic In Computer Science
The twenty-eighth ACM/IEEE Symposium on Logic In Computer Science
(LICS 2013) will be held in New Orleans, USA, 25--28 June 2013. It
will be colocated with MFPS (Mathematical Foundations of Programming
Semantics) and CSF (IEEE Computer Security Foundations). Possible
dates for workshops are Monday 24 June, Friday 28 June afternoon, and
Saturday 29 June.
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).
- Your preferred dates. This is important!
- Let us know if you would like your workshop to be a joint
workshop with CSF. In that case you should submit to both.
- Procedures for selecting participants and papers.
- Expected number of participants. This is important!
- Potential invited speakers.
- Plans for dissemination (for example, special issues of journals).
Proposals should be submitted via Easychair at
Submission deadline: November 26, 2012
Notification: December 20, 2012
Program of the workshops ready: April 30, 2013
Workshops: June 24, 2013 or June 28-29, 2013
LICS conference: June 25-28, 2013
The workshops selection committee consists of the LICS General Chair,
LICS Workshops Chair, LICS 2013 PC Chair and LICS 2013 Conference