<div dir="ltr"><div>CALL FOR Workshop/Tutorial Proposals</div><div><br></div><div>ICFEM 2013: 15th International Conference on Formal Engineering Methods</div><div>Oct 29 - Nov 1, 2013</div><div>Crowne Plaza Hotel, Queenstown, New Zealand</div>
<div>URL: <a href="http://www.cs.auckland.ac.nz/icfem2013/">http://www.cs.auckland.ac.nz/icfem2013/</a></div><div><br></div><div>Since 1997, ICFEM has provided a forum for those interested in the</div><div>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</div>
<div>workshops and tutorials and other satellite events.</div><div><br></div><div>The organizing committee of ICFEM 2013 therefore cordially invites</div><div>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.</div>
<div><br></div><div><br></div><div>Submission of Proposals</div><div><br></div><div>Proposals for workshops/tutorial should contain</div><div>* a title and brief description of the topic and the history of the</div><div>workshop/tutorial, if applicable;</div>
<div>* the names and contact details of the potential organizers;</div><div>* a brief justification of the topic and estimated size of audience;</div><div>* a description of any special technical requirements.</div><div><br>
</div><div>Proposals should be sent to ICFEM2013 Workshops Chair, Liu Yang and Jun Sun, at <a href="mailto:yangliu@ntu.edu.sg">yangliu@ntu.edu.sg</a> no later than</div><div>1 April 2013.</div></div>