<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" id="owaParaStyle"></style>
</head>
<body fpstyle="1" ocsi="0">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">
<p class="MsoNormal">CFP: WADT 2016 - 23rd International Workshop on Algebraic Development Techniques<o:p></o:p></p>
<p class="MsoNormal">Link: <a href="http://cs.swan.ac.uk/wadt16/">http://cs.swan.ac.uk/wadt16/</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">When Sep 21, 2016 - Sep 24, 2016<o:p></o:p></p>
<p class="MsoNormal">Where Gregynog, UK<o:p></o:p></p>
<p class="MsoNormal">Submission Deadline June 3, 2016<o:p></o:p></p>
<p class="MsoNormal">Notification June 17, 2016<o:p></o:p></p>
<p class="MsoNormal">Final Version Due July 1, 2016<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">AIMS AND SCOPE <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The algebraic approach to system specification encompasses many<o:p></o:p></p>
<p class="MsoNormal">aspects of the formal design of software systems. Originally born as<o:p></o:p></p>
<p class="MsoNormal">formal method for reasoning about abstract data types, it now covers<o:p></o:p></p>
<p class="MsoNormal">new specification frameworks and programming paradigms (such as<o:p></o:p></p>
<p class="MsoNormal">object-oriented, aspect-oriented, agent-oriented, logic and<o:p></o:p></p>
<p class="MsoNormal">higher-order functional programming) as well as a wide range of<o:p></o:p></p>
<p class="MsoNormal">application areas (including information systems, concurrent,<o:p></o:p></p>
<p class="MsoNormal">distributed and mobile systems). The workshop will provide an<o:p></o:p></p>
<p class="MsoNormal">opportunity to present recent and ongoing work, to meet colleagues,<o:p></o:p></p>
<p class="MsoNormal">and to discuss new ideas and future trends.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">TOPICS OF INTEREST <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Typical, but not exclusive topics of interest are: <o:p></o:p></p>
<p class="MsoNormal">- Foundations of algebraic specification <o:p></o:p></p>
<p class="MsoNormal">- Other approaches to formal specification, including process
<o:p></o:p></p>
<p class="MsoNormal"> calculi and models of concurrent, distributed and mobile computing
<o:p></o:p></p>
<p class="MsoNormal">- Specification languages, methods, and environments <o:p></o:p></p>
<p class="MsoNormal">- Semantics of conceptual modelling methods and techniques <o:p>
</o:p></p>
<p class="MsoNormal">- Model-driven development <o:p></o:p></p>
<p class="MsoNormal">- Graph transformations, term rewriting and proof systems <o:p>
</o:p></p>
<p class="MsoNormal">- Integration of formal specification techniques <o:p></o:p></p>
<p class="MsoNormal">- Formal testing and quality assurance, validation, and verification
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">INVITED SPEAKERS<o:p></o:p></p>
<p class="MsoNormal">- Alessio Lomuscio (London, UK)<o:p></o:p></p>
<p class="MsoNormal">- Till Mossakowski (Magdeburg, Germany)<o:p></o:p></p>
<p class="MsoNormal">- John Tucker (Swansea, UK)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">WORKSHOP FORMAT AND LOCATION<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The workshop will take place over four days, Wednesday to Saturday, at<o:p></o:p></p>
<p class="MsoNormal">Gregynog Hall in Wales, UK (<a href="http://www.gregynog.org">http://www.gregynog.org</a>). Participants<o:p></o:p></p>
<p class="MsoNormal">should arrive on Tuesday evening, the workshop will end on Saturday<o:p></o:p></p>
<p class="MsoNormal">with lunch.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Presentations will be selected on the basis of submitted abstracts.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">IMPORTANT DATES <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Submission deadline for abstracts: June 3, 2016 <o:p></o:p></p>
<p class="MsoNormal">Notification of acceptance: June 17, 2016 <o:p></o:p></p>
<p class="MsoNormal">Early registration: June 17, 2016 <o:p></o:p></p>
<p class="MsoNormal">Final abstract due: July 1, 2016<o:p></o:p></p>
<p class="MsoNormal">Workshop in Gregynog: September 21-24, 2016<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">SUBMISSIONS <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The scientific programme of the workshop will include presentations of<o:p></o:p></p>
<p class="MsoNormal">recent results and ongoing research. The presentations will be<o:p></o:p></p>
<p class="MsoNormal">selected by the Steering Committee on the basis of submitted abstracts<o:p></o:p></p>
<p class="MsoNormal">according to originality, significance and general interest. The<o:p></o:p></p>
<p class="MsoNormal">abstracts must be up to two pages long including references. If a<o:p></o:p></p>
<p class="MsoNormal">longer version of the contribution is available, it can be made<o:p></o:p></p>
<p class="MsoNormal">accessible on the web and referenced in the abstract.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The abstracts have to be submitted electronically via the EasyChair<o:p></o:p></p>
<p class="MsoNormal">system.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">PROCEEDINGS <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">After the workshop, authors will be invited to submit full papers for<o:p></o:p></p>
<p class="MsoNormal">the refereed proceedings. All submissions will be reviewed; selection<o:p></o:p></p>
<p class="MsoNormal">will be based on originality, soundness and significance of the<o:p></o:p></p>
<p class="MsoNormal">presented ideas and results. The proceedings will be published as a<o:p></o:p></p>
<p class="MsoNormal">volume of Lecture Notes in Computer Science (Springer).<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">SPONSORSHIP <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The workshop takes place under the auspices of IFIP WG 1.3. <o:p>
</o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">WADT STEERING COMMITTEE <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Andrea Corradini (Italy) <o:p></o:p></p>
<p class="MsoNormal">Jose Fiadeiro (UK) <o:p></o:p></p>
<p class="MsoNormal">Rolf Hennicker (Germany) <o:p></o:p></p>
<p class="MsoNormal">Hans-Jorg Kreowski (Germany) <o:p></o:p></p>
<p class="MsoNormal">Till Mossakowski (Germany) <o:p></o:p></p>
<p class="MsoNormal">Fernando Orejas (Spain) <o:p></o:p></p>
<p class="MsoNormal">Francesco Parisi-Presicce (Italy) <o:p></o:p></p>
<p class="MsoNormal">Markus Roggenbach (UK) [chair] <o:p></o:p></p>
<p class="MsoNormal">Grigore Rosu (United States) <o:p></o:p></p>
<p class="MsoNormal">Andrzej Tarlecki (Poland) <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">ORGANIZING COMMITTEE <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Phillip James (UK)<o:p></o:p></p>
<p class="MsoNormal">Markus Roggenbach (UK)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">CONTACT INFORMATION <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Email: <a href="mailto:M.Roggenbach@Swansea.ac.uk">M.Roggenbach@Swansea.ac.uk</a><o:p></o:p></p>
<p class="MsoNormal">Homepage: <a href="http://cs.swan.ac.uk/wadt16/">http://cs.swan.ac.uk/wadt16/</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>