<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class=""><br class="">
</div>
<div class="">
<div class="">===================================================================================</div>
<div class="">WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022</div>
<div class=""><br class="">
</div>
<div class="">** First call for papers ** </div>
<div class=""><br class="">
</div>
<div class=""><a href="http://wadt2022.web.ua.pt" class="">http://wadt2022.web.ua.pt</a></div>
<div class="">Aveiro, 28-30 June, 2022</div>
<div class=""><br class="">
</div>
<div class="">===================================================================================</div>
<div class=""><br class="">
</div>
<div class="">** Aims and Scope **</div>
<div class="">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. In 2020 WADT features additionally two special thematic tracks: one in *Algebra for timed and hybrid systems* and another in *Algebraic
approaches to quantum computation*. </div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">** Main track ** </div>
<div class="">Typical, but not exclusive topics of interest for the main track are:</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- Foundations of algebraic specification</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- Other approaches to formal specification, including process calculi and models of concurrent and distributed systems</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- Specification languages, methods, and environments</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- Semantics of conceptual modelling methods and techniques</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- Integration of formal specification techniques</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- Formal testing and quality assurance, validation, and verification</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">** Algebra for timed and hybrid systems **</div>
<div class="">Track Chair: Renato Neves (UM, PT)</div>
<div class=""><br class="">
</div>
<div class="">The track 'Algebra for timed and hybrid systems' seeks algebraic contributions towards a better understanding of timed and hybrid systems, including their design and verification. A non-exhaustive list of topics includes:</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- (co)algebraic syntax and semantics,</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- observational notions of equivalence,</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- equational reasoning and variants thereof,</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- distributed and/or concurrent computing;</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- modal and temporal logic,</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- (co)algebraic verification tools,</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- experience reports on the use of (co)algebraic tools.</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">** Algebraic approaches to quantum computation **</div>
<div class="">Track Chair: Rui Soares Barbosa (INL, PT)</div>
<div class=""><br class="">
</div>
<div class="">This track seeks contributions on algebraic methods in the context of quantum computing, broadly understood, ranging from foundations to applications and tools. A non-exhaustive list of topics includes:</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- foundational structures for quantum computing</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- quantum calculi and logics</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- quantum programming languages</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- algebraic and categorical semantics for quantum computing</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- algebraic approaches to verification of quantum programs</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- rewriting and automated reasoning with applications to quantum compilation and optimisation</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- tool support</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- application of quantum algebra to quantum computing and beyond</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">** Invited Speakers (to be completed)** </div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- José Meseguer University of Illinois at Urbana-Champaign, US</div>
<div class=""><span class="Apple-tab-span" style="white-space: pre;"></span>- Peter Selinger Dalhousie University, Canada</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">** Workshop format and location ** </div>
<div class=""><br class="">
</div>
<div class="">WADT'22 is planned to be realized in a family-owned guesthouse with panoramic views to lagoon Pateira de Fermentelos, 20 minutes from the centre of Aveiro. Information about accommodation will be available in <a href="http://wadt2022.web.ua.pt" class="">http://wadt2022.web.ua.pt</a>. </div>
<div class=""><br class="">
</div>
<div class="">Being planned as a physical, in-person event, due the COVID19 current situation, we will provide certain support for remote presence, both for speakers and for other participants who are unable or unwilling to come, depending on the pandemic situation.</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">** Submissions and Publications ** </div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Presentations will be selected on the basis of submitted abstracts. The abstracts must be up to two pages long including references. If a longer version of the contribution is available, it can be made accessible on the web and referenced in the
abstract. The abstracts have to be submitted electronically via the EasyChair link <a href="https://easychair.org/conferences/?conf=wadt2022" class="">https://easychair.org/conferences/?conf=wadt2022</a>.</div>
<div class=""><br class="">
</div>
<div class="">WADT 2022 is organised by IFIP WG 1.03. As an IFIP event, post-proceedings will be published by Springer in the LNCS series (requested). The deadline for the submission of full papers to be considered in this volume, to be announced during the
workshop, are expected to the end of September 2022.</div>
<div class=""><br class="">
</div>
<div class="">** Important dates ** </div>
<div class=""><br class="">
</div>
<div class="">April 1 Contributed Abstracts</div>
<div class="">April 17 Notifications about the contributed talks</div>
<div class="">TBA: full papers, for the post-proceeding volume</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">** Organisation ** </div>
<div class=""><br class="">
</div>
<div class="">* Steering Committee *</div>
<div class=""><br class="">
</div>
<div class="">Andrea Corradini (IT)</div>
<div class="">José Fiadeiro (UK)</div>
<div class="">Rolf Hennicker (GE)</div>
<div class="">Alexander Knapp (GE)</div>
<div class="">Hans-Jörg Kreowski (GE)</div>
<div class="">Till Mossakowski (GE)</div>
<div class="">Fernando Orejas (SP)</div>
<div class="">Leila Ribeiro (BR)</div>
<div class="">Markus Roggenbach (UK)</div>
<div class="">Grigore Roșu (US)</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">* Program Committee (to be completed) * </div>
<div class=""><br class="">
</div>
<div class="">Erika Abraham (RWTH Aachen, NL)<span class="Apple-tab-span" style="white-space: pre;">
</span></div>
<div class="">Luis S. Barbosa (U. Minho, PT)</div>
<div class="">Rui S. Barbosa (INL, PT) [Track Chair]</div>
<div class="">Carlos Caleiro (U. Lisboa, PT)</div>
<div class="">Andrea Corradini (U. Pisa, IT)</div>
<div class="">José Luiz Fiadeiro (U. Dundee, UK)</div>
<div class="">Ichiro Hasuo (National Institute of Informatics, JP)</div>
<div class="">Rolf Hennicker (LMU, DE)</div>
<div class="">Marieke<span class="Apple-tab-span" style="white-space: pre;"> </span>
Huisman (U. Twente, NL)<span class="Apple-tab-span" style="white-space: pre;"> </span>
</div>
<div class="">Martti Karvonen (U. Ottawa, CN)</div>
<div class="">Aleks Kissinger (U. Oxford, UK)</div>
<div class="">Alexander Knapp (U. Augsburg, DE)</div>
<div class="">Alexandre Madeira (U. Aveiro, PT) [Co-chair]</div>
<div class="">Manuel A. Martins (U. Aveiro, PT) [Co-chair]</div>
<div class="">Narciso Marti-Oliet (U. Complutense de Madrid, SP)</div>
<div class="">Dominique Mery (LORIA, FR)</div>
<div class="">Till Mossakowski (U. Magdeburg, DE)</div>
<div class="">Renato Neves (U. Minho, PT) [Track Chair]</div>
<div class="">Peter Ölveczky (U. Oslo, NR)</div>
<div class="">Fernando Orejas (U. Politècnica Catalunya, SP)</div>
<div class="">Markus Roggenbach (Swansea University, UK)<span class="Apple-tab-span" style="white-space: pre;">
</span></div>
<div class="">Georg Struth (U. Sheffield, UK)</div>
<div class="">Ionut Tutu (Simion Stoilow Institute of Mathematics, RO)</div>
<div class="">Benoît Valiron (Univ. Paris Saclay, FR)</div>
<div class="">Vladimir Zamdzhiev (Inria, FR)</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">** Contacts **</div>
<div class=""><br class="">
</div>
<div class="">For any information, please contact us to <a href="mailto:wadt2022@easychair.org" class="">wadt2022@easychair.org</a></div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<br class="">
<br class="">
</div>
<br class="">
<br class="">
<div class=""><br class="">
-------------------------------------------------------<br class="">
Alexandre Madeira<br class="">
<a href="http://sweet.ua.pt/madeira/" class="">http://sweet.ua.pt/madeira/</a><br class="">
<br class="">
<br class="">
<br class="">
<br class="">
<br class="">
</div>
<br class="">
</body>
</html>