[FM-India] Call for Workshop Proposal, ICFEM 2013
Madhavan Mukund
madhavan at cmi.ac.in
Sat Feb 23 19:52:35 IST 2013
From: jun sun <sunjun at sutd.edu.sg>
To: EAPLS at jiscmail.ac.uk, announcements at lists.artist-embedded.org,
events at fmeurope.org, acm-fse at lists.inf.unisi.ch, fmindia at cmi.ac.in,
coq-club at pauillac.inria.fr, pvs-announce at csl.sri.com,
cl-isabelle-users at lists.cam.ac.uk, procos at jiscmail.ac.uk,
om-announce at openmath.org, petrinet at informatik.uni-hamburg.de,
concurrency at listserver.tue.nl, THEORYNT at listserv.nodak.edu,
theorem-provers at ai.mit.edu, pvs at csl.sri.com, ecoop-info at ecoop.org,
fmics at inrialpes.fr, formal-methods at cs.uidaho.edu
Date: Sat, 23 Feb 2013 18:57:49 +0800
Subject:
CALL FOR Workshop/Tutorial Proposals
ICFEM 2013: 15th International Conference on Formal Engineering Methods
Oct 29 - Nov 1, 2013
Crowne Plaza Hotel, Queenstown, New Zealand
URL: http://www.cs.auckland.ac.nz/icfem2013/
Since 1997, ICFEM has provided a forum for those interested in the
application of formal engineering methods to computer systems. Researchers
and practitioners, from industry, academia, and government, are encouraged
to attend, and to help advance the state of the art. In 2013 the 15th
International Conference on Formal Engineering Methods (ICFEM 2011), which
is being sponsored and organised by The University of Auckland, will be
held at the Crowne Plaza Hotel hotel in Queenstown, New Zealand, from
October 29th to November 1, 2013. The first day, 29 October 2013, will be
dedicated to
workshops and tutorials and other satellite events.
The organizing committee of ICFEM 2013 therefore cordially invites
proposals for one-day workshops and one-day or half-day tutorials in any
area related to formal methods or software engineering, but particularly in
new or emerging fields of application of formal methods.
Submission of Proposals
Proposals for workshops/tutorial should contain
* a title and brief description of the topic and the history of the
workshop/tutorial, if applicable;
* the names and contact details of the potential organizers;
* a brief justification of the topic and estimated size of audience;
* a description of any special technical requirements.
Proposals should be sent to ICFEM2013 Workshops Chair, Liu Yang and Jun
Sun, at yangliu at ntu.edu.sg no later than
1 April 2013.
More information about the FMIndia
mailing list