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