<div dir="ltr"><div><div class="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr">CALL FOR PAPERS</div><div dir="ltr">---------------</div><div dir="ltr"><br></div><div dir="ltr">13th International Conference on  Software Engineering and Formal Methods (SEFM 2015)</div><div dir="ltr"><br></div><div dir="ltr">York, UK</div><div dir="ltr">7-11 September 2015 </div><div dir="ltr"><br></div><div dir="ltr"><a href="http://www.cs.york.ac.uk/sefm2015/">http://www.cs.york.ac.uk/sefm2015/</a></div><div dir="ltr"><br></div><div dir="ltr">---------------</div><div dir="ltr">IMPORTANT DATES</div><div dir="ltr">---------------</div><div dir="ltr"><br></div><div dir="ltr">Abstract submission: 13 March 2015</div><div dir="ltr">Paper submission: 20 March 2015 </div><div dir="ltr">Notification: 15 May 2015 </div><div dir="ltr">Camera ready: 12 June 2015</div><div dir="ltr"><br></div><div dir="ltr">----------------------------------</div><div dir="ltr">DESCRIPTION AND TOPICS OF INTEREST</div><div dir="ltr">----------------------------------</div><div dir="ltr"><br></div><div dir="ltr">The conference will bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.</div><div dir="ltr"><br></div><div dir="ltr">Authors are invited to submit full research papers describing original research results, case studies and tools; and short new ideas/work-in-progress papers describing new approaches, techniques and/or tools that are not fully validated yet. </div><div dir="ltr"><br></div><div dir="ltr">The topics of interest include, but are not limited to, the following aspects of software engineering and formal methods:</div><div dir="ltr"><br></div><div dir="ltr">* Formal requirement analysis, modelling, specification and design</div><div dir="ltr">* Abstraction and refinement</div><div dir="ltr">* Formal methods for probabilistic verification and synthesis</div><div dir="ltr">* Programming languages, program analysis and type theory</div><div dir="ltr">* Formal methods for self-adaptive systems, service-oriented and cloud computing</div><div dir="ltr">* Formal aspects of security and mobility</div><div dir="ltr">* Model checking, theorem proving and decision procedures</div><div dir="ltr">* Formal methods for real-time, hybrid and embedded/cyber-physical systems</div><div dir="ltr">* Formal methods for safety-critical, fault-tolerant and secure systems</div><div dir="ltr">* Software architecture and coordination languages</div><div dir="ltr">* Software verification and validation</div><div dir="ltr">* Component, object and multi-agent systems</div><div dir="ltr">* Formal aspects of software evolution and maintenance</div><div dir="ltr">* Formal methods for testing, re-engineering and reuse</div><div dir="ltr">* Light-weight and scalable formal methods</div><div dir="ltr">* Tool integration</div><div dir="ltr">* Applications of formal methods, industrial case studies and technology transfer</div><div dir="ltr">* Education and formal methods</div><div dir="ltr">* Interactive systems and human error analysis</div><div dir="ltr">* Formal methods for HCI</div><div dir="ltr">* Formal analysis of human behaviour</div><div dir="ltr"><br></div><div dir="ltr">------------------</div><div dir="ltr">SUBMISSION DETAILS</div><div dir="ltr">------------------</div><div dir="ltr"><br></div><div dir="ltr">Submissions will be peer reviewed by at least three members of the program committee. They will be evaluated on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference.</div><div dir="ltr"><br></div><div dir="ltr">Papers should conform to the Springer LNCS style specified at</div><div dir="ltr"><br></div><div dir="ltr"><a href="http://www.springer.de/comp/lncs/authors.html">http://www.springer.de/comp/lncs/authors.html</a></div><div dir="ltr"><br></div><div dir="ltr">and should describe, in English, original work that has not been published or submitted for publication elsewhere. PDF versions of papers should be submitted electronically via EasyChair, using the link:</div><div dir="ltr"><br></div><div dir="ltr"><a href="https://easychair.org/conferences/?conf=sefm2015">https://easychair.org/conferences/?conf=sefm2015</a></div><div dir="ltr"><br></div><div dir="ltr">We solicit three categories of papers:</div><div dir="ltr"><br></div><div dir="ltr">* Research papers should describe fully developed work and should not exceed 15 pages. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available to reviewers. Case study papers should describe significant case studies and lessons learned. </div><div dir="ltr"><br></div><div dir="ltr">* Tool papers should describe an operational tool and its contributions. Tool papers should not exceed 15 pages. Please include the URL of the tool (if available).</div><div dir="ltr"><br></div><div dir="ltr">* New ideas/Work-in-Progress papers should describe new approaches, techniques and/or tools that are not fully validated yet. Papers in this category should not exceed 6 pages.</div><div dir="ltr"><br></div><div dir="ltr">The conference proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series.</div><div dir="ltr"><br></div><div dir="ltr">----------------</div><div dir="ltr">KEYNOTE SPEAKERS</div><div dir="ltr">----------------</div><div dir="ltr"><br></div><div dir="ltr">Peter O’Hearn - University College London and Facebook, United Kingdom</div><div dir="ltr">Cliff Jones - Newcastle University, United Kingdom</div><div dir="ltr">Edward A. Lee - University of California at Berkeley, United States</div><div dir="ltr"><br></div><div dir="ltr">------------</div><div dir="ltr">ORGANIZATION</div><div dir="ltr">------------</div><div dir="ltr"><br></div><div dir="ltr">General Chair</div><div dir="ltr">-------------</div><div dir="ltr">Jim Woodcock – University of York, United Kingdom</div><div dir="ltr"><br></div><div dir="ltr">Program Chairs</div><div dir="ltr">--------------</div><div dir="ltr">Radu Calinescu – University of York, United Kingdom</div><div dir="ltr">Bernhard Rumpe – RWTH Aachen University, Germany</div><div dir="ltr"><br></div><div dir="ltr">Program Committee</div><div dir="ltr">-----------------</div><div dir="ltr">Wolfgang Ahrendt – Chalmers University of Technology, Sweden</div><div dir="ltr">Bernhard K. Aichernig – Technical University of Graz, Austria</div><div dir="ltr">Dalal Alrajeh – Imperial College London, UK</div><div dir="ltr">Farhad Arbab – CWI and Leiden University, Netherlands</div><div dir="ltr">Luis Barbosa – Universidade do Minho, Portugal</div><div dir="ltr">Howard Barringer – The University of Manchester, UK</div><div dir="ltr">Christian Berger – University of Gothenburg, Sweden</div><div dir="ltr">Domenico Bianculli – University of Luxembourg, Luxembourg</div><div dir="ltr">Jonathan P. Bowen – Birmingham City University, UK</div><div dir="ltr">Mario Bravetti – University of Bologna, Italy</div><div dir="ltr">Yuriy Brun – University of Massachusetts, USA</div><div dir="ltr">Tevfik Bultan – University of California at Santa Barbara, USA</div><div dir="ltr">Benoit Combemale – University of Rennes 1, France</div><div dir="ltr">Hung Dang Van – Vietnam National University Hanoi, Vietnam</div><div dir="ltr">Francisco Durán – University of Málaga, Spain</div><div dir="ltr">George Eleftherakis – University of Sheffield International Faculty, City College, Greece</div><div dir="ltr">José Luiz Fiadeiro – Royal Holloway, University of London, UK</div><div dir="ltr">Mamoun Filali-Amine – IRIT, France</div><div dir="ltr">Robert France – Colorado State University, USA</div><div dir="ltr">Martin Fränzle – Carl von Ossietzky Universität Oldenburg, Germany</div><div dir="ltr">Marc Frappier – University of Sherbrooke, Canada</div><div dir="ltr">Hubert Garavel – INRIA Rhone-Alpes / VASY, France</div><div dir="ltr">Stefania Gnesi – ISTI-CNR, Italy</div><div dir="ltr">Klaus Havelund, JPL NASA, USA</div><div dir="ltr">Rob Hierons – Brunel University, UK</div><div dir="ltr">Mike Hinchey – Lero, Ireland</div><div dir="ltr">Falk Howar – Technical University of Clausthal, Germany</div><div dir="ltr">Michaela Huhn – Technische Universität Clausthal, Germany</div><div dir="ltr">Kenneth Johnson – Auckland University of Technology, New Zealand</div><div dir="ltr">Gabor Karsai – Vanderbilt University, USA</div><div dir="ltr">Joost-Pieter Katoen – RWTH Aachen University, Germany</div><div dir="ltr">Shinji Kikuchi – Fujitsu Laboratories, Japan</div><div dir="ltr">Alexander Knapp – Universität Augsburg, Germany</div><div dir="ltr">Martin Leucker – University of Lübeck, Germany</div><div dir="ltr">Antónia Lopes – University of Lisbon, Portugal</div><div dir="ltr">Shahar Maoz – Tel Aviv University, Israel</div><div dir="ltr">Mercedes Merayo – Universidad Complutense de Madrid, Spain</div><div dir="ltr">Stephan Merz – INRIA Nancy, France</div><div dir="ltr">Mizuhito Ogawa – Japan Advanced Institute of Science and Technology, Japan</div><div dir="ltr">Fernando Orejas – Polytechnic University of Catalonia, Spain</div><div dir="ltr">Gordon Pace – University of Malta, Malta</div><div dir="ltr">David Parker – University of Birmingham, UK</div><div dir="ltr">Corina Pasareanu – CMU/NASA Ames Research Center, USA</div><div dir="ltr">Anna Philippou – University of Cyprus, Cyprus</div><div dir="ltr">Sanjiva Prasad – Indian Institute of Technology Delhi, India</div><div dir="ltr">Jakob Rehof – University of Dortmund, Germany</div><div dir="ltr">Leila Ribeiro – Universidade Federal do Rio Grande do Sul, Brazil</div><div dir="ltr">Jan Oliver Ringert – Tel Aviv University, Israel</div><div dir="ltr">Gwen Salaün – Grenoble INP – INRIA – LIG, France</div><div dir="ltr">Augusto Sampaio, Federal University of Pernambuco, Brazil</div><div dir="ltr">Ina Schaefer – Technische Universität Braunschweig, Germany</div><div dir="ltr">Gerardo Schneider – Chalmers University of Gothenburg, Sweden</div><div dir="ltr">Marjan Sirjani – Reykjavik University, Iceland</div><div dir="ltr">Martin Steffen – University of Oslo, Norway</div><div dir="ltr">Jing Sun – The University of Auckland, New Zealand</div><div dir="ltr">Jun Sun – Singapore University of Technology and Design, Singapore</div><div dir="ltr">Giordano Tamburrelli – Università della Svizzera Italiana, Switzerland</div><div dir="ltr">Massimo Tivoli – University of L’Aquila, Italy</div><div dir="ltr">Danny Weyns – Linnaeus University, Sweden</div><div dir="ltr">Jianjun Zhao – Shanghai Jiao Tong University, China</div><div dir="ltr"><br></div><div dir="ltr">Steering Committee</div><div dir="ltr">------------------</div><div dir="ltr">Manfred Broy – Technische Universität Munich, Germany</div><div dir="ltr">Antonio Cerone – IMT Institute for Advanced Studies Lucca, Italy</div><div dir="ltr">Mike Hinchey – Lero -The Irish Software Engineering Research Centre, Ireland</div><div dir="ltr">Mathai Joseph – TRDDC, Pune, India</div><div dir="ltr">Paddy Krishnan - Oracle Labs, Brisbane, Australia</div><div dir="ltr">Zhiming Liu – Birmingham City University, UK</div><div dir="ltr">Gwen Salaün – Grenoble INP, Inria, LIG, France</div><div dir="ltr"><br></div><div dir="ltr">Workshop Chair</div><div dir="ltr">--------------</div><div dir="ltr">Domenico Bianculli – University of Luxembourg, Luxembourg</div><div dir="ltr"><br></div><div dir="ltr">Organising Committee</div><div dir="ltr">--------------------</div><div dir="ltr">Radu Calinescu – University of York, United Kingdom</div><div dir="ltr">Robert Eikermann – RWTH Aachen University, Germany</div><div dir="ltr">Simon Foster – University of York, United Kingdom</div><div dir="ltr">Simos Gerasimou – University of York, United Kingdom</div><div dir="ltr">Gwen Salaün – Grenoble INP, Inria, LIG, France</div><div dir="ltr">Seyyed Shah – University of York, United Kingdom</div></div></div></div></div>
</div>