<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<p style="margin-top:0;margin-bottom:0"></p>
<div id="divtagdefaultwrapper" style="font-size: 12pt; color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, "EmojiFont", "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols;" dir="ltr">
<p style="margin-top:0;margin-bottom:0"></p>
<div>======================================================================<br>
FIRST CALL FOR PAPERS<br>
<br>
WADT 2018<br>
24th International Workshop on Algebraic Development Techniques<br>
http://wadt18.cs.rhul.ac.uk<br>
July 2–5, 2018, Royal Holloway University of London, Egham, UK<br>
======================================================================<br>
<br>
AIMS AND SCOPE<br>
<br>
The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms
(such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an
opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends.<br>
<br>
TOPICS OF INTEREST<br>
<br>
Typical, but not exclusive topics of interest are:<br>
– Foundations of algebraic specification<br>
– Other approaches to formal specification, including process calculi and models of concurrent, distributed, and cyber-physical systems<br>
– Specification languages, methods, and environments<br>
– Semantics of conceptual modelling methods and techniques<br>
– Model-driven development<br>
– Graph transformations, term rewriting, and proof systems<br>
– Integration of formal specification techniques<br>
– Formal testing and quality assurance, validation, and verification<br>
– Algebraic approaches to cognitive sciences, including computational creativity<br>
<br>
WORKSHOP FORMAT AND LOCATION<br>
<br>
The workshop will take place over four days, Monday to Thursday, at Royal Holloway University of London in Egham, UK (https://www.royalholloway.ac.uk).<br>
Presentations will be selected on the basis of submitted abstracts.<br>
<br>
INVITED SPEAKERS<br>
<br>
Artur d'Avila Garcez (City, University of London, UK)<br>
Rolf Hennicker (LMU Munich, Germany)<br>
<br>
IMPORTANT DATES<br>
<br>
Submission deadline for abstracts: April 27th, 2018<br>
Notification of acceptance: May 18th, 2018<br>
Early registration: June 1st, 2018<br>
Final abstract due: June 1st, 2018<br>
Workshop: July 2–5, 2018<br>
<br>
SUBMISSIONS<br>
<br>
The scientific programme of the workshop will include presentations of recent results or ongoing research as well as invited talks. The presentations will be selected by the Steering Committee on the basis of submitted abstracts according to originality, significance
and general interest. Abstracts must not exceed two pages including references; if a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract.<br>
<br>
Abstracts have to be submitted electronically via the EasyChair system at https://easychair.org/conferences/?conf=wadt18.<br>
<br>
PROCEEDINGS<br>
<br>
After the workshop, authors will be invited to submit full papers for the refereed proceedings. All submissions will be reviewed by the Programme Committee. Selection will be based on originality, soundness, and significance of the presented ideas and results.
The proceedings will be published as a volume of Lecture Notes in Computer Science (Springer).<br>
<br>
The deadline for submissions will be September 3, 2018, with notifications by October 29. Camera-ready versions will be required by November 11.<br>
<br>
SPONSORSHIP<br>
<br>
The workshop takes place under the auspices of IFIP WG 1.3.<br>
<br>
WADT STEERING COMMITTEE<br>
<br>
Andrea Corradini (Italy)<br>
José Fiadeiro (UK) [co-chair]<br>
Rolf Hennicker (Germany)<br>
Hans-Jörg Kreowski (Germany)<br>
Till Mossakowski (Germany)<br>
Fernando Orejas (Spain)<br>
Markus Roggenbach (UK)<br>
Grigore Roșu (United States)<br>
<br>
PROGRAMME COMMITEE<br>
<br>
Paolo Baldan (Italy)<br>
Andrea Corradini (Italy)<br>
Răzvan Diaconescu (Romania)<br>
José Fiadeiro (UK) [co-chair]<br>
Fabio Gadducci (Italy)<br>
Artur d'Avila Garcez (UK)<br>
Reiko Heckel (UK)<br>
Rolf Hennicker (Germany)<br>
Alexander Knapp (Germany)<br>
Barbara König (Germany)<br>
Antónia Lopes (Portugal)<br>
Narciso Marti-Oliet (Spain)<br>
Till Mossakowski (Germany)<br>
Fernando Orejas (Spain)<br>
Leila Ribeiro (Brazil)<br>
Markus Roggenbach (UK)<br>
Pierre-Yves Schobbens (Belgium)<br>
Lutz Schröder (Germany)<br>
Pawel Sobocinski (UK)<br>
Ionuț Țuțu (UK) [co-chair]<br>
Martin Wirsing (Germany)<br>
<br>
ORGANIZING COMMITTEE<br>
<br>
Claudia Chiriță (UK)<br>
José Fiadeiro (UK)<br>
Ionuț Țuțu (UK)<br>
<br>
CONTACT INFORMATION<br>
<br>
Email: wadt18@cs.rhul.ac.uk<br>
Homepage: http://wadt18.cs.rhul.ac.uk<br>
<br>
</div>
<p></p>
</div>
<p></p>
</div>
</body>
</html>