WADT: Workshop on Recent Trends in Algebraic Development Techniques



Past:   Proceedings on DBLP

Future:  Post a CFP for 2023 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
WADT 2022 WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022
Jun 28, 2022 - Jun 30, 2022 Aveiro, Portugal Apr 15, 2022
WADT 2018 24th International Workshop on Algebraic Development Techniques
Jul 2, 2018 - Jul 5, 2018 Royal Holloway University of London May 18, 2018
WADT 2014 22nd International Workshop on Algebraic Development Techniques
Sep 4, 2014 - Sep 7, 2014 Sinaia, Romania Jun 30, 2014

Present CFP : 2022

WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022

****************** Second call for papers ******************
**** UPDATES: Deadline Extension and Invited Speakers ******

Aveiro, 28-30 June, 2022


** Aims and Scope **
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*.

** Main track **
Typical, but not exclusive topics of interest for the main track are:
- Foundations of algebraic specification
- Other approaches to formal specification, including process calculi and models of concurrent and distributed systems
- Specification languages, methods, and environments
- Semantics of conceptual modelling methods and techniques
- Integration of formal specification techniques
- Formal testing and quality assurance, validation, and verification

** Algebra for timed and hybrid systems **
Track Chair: Renato Neves (UM, PT)

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:
- (co)algebraic syntax and semantics,
- observational notions of equivalence,
- equational reasoning and variants thereof,
- distributed and/or concurrent computing;
- modal and temporal logic,
- (co)algebraic verification tools,
- experience reports on the use of (co)algebraic tools.

** Algebraic approaches to quantum computation **
Track Chair: Rui Soares Barbosa (INL, PT)

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:
- foundational structures for quantum computing
- quantum calculi and logics
- quantum programming languages
- algebraic and categorical semantics for quantum computing
- algebraic approaches to verification of quantum programs
- rewriting and automated reasoning with applications to quantum compilation and optimisation
- tool support
- application of quantum algebra to quantum computing and beyond

** Invited Speakers **
- Radu Mardare University of Strathclyde, UK
- José Meseguer University of Illinois at Urbana-Champaign, US
- José Nuno Oliveira Universidade do Minho, PT
- Peter Selinger Dalhousie University, CA

** Workshop format and location **

WADT'22 is planned to be realised in a family-owned guesthouse with panoramic views to lagoon Pateira de Fermentelos, 20 minutes from the centre of Aveiro.
The registration fees, that includes the event registration, accommodations and meals, will be around EUR 500 for standard and EUR 300 for student participants. Instructions will be available soon in http://wadt2022.web.ua.pt.

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.

** Submissions and Publications **

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 https://easychair.org/conferences/?conf=wadt2022.

WADT 2022 is organised by IFIP WG 1.03. As an IFIP event, post-proceedings will be published by Springer in the LNCS series. 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.

** Important dates **

April 15 (Extended) Contributed Abstracts
April 25 (Extended) Notifications about the contributed talks
TBA: full papers (Expected to September)

** Organisation **

* Steering Committee *

Andrea Corradini (IT)
José Fiadeiro (UK)
Rolf Hennicker (GE)
Alexander Knapp (GE)
Hans-Jörg Kreowski (GE)
Till Mossakowski (GE)
Fernando Orejas (SP)
Leila Ribeiro (BR)
Markus Roggenbach (UK)
Grigore Roșu (US)

* Program Committee *

Erika Abraham (RWTH Aachen, NL)
Luis S. Barbosa (U. Minho, PT)
Rui S. Barbosa (INL, PT) [Track Chair]
Carlos Caleiro (U. Lisboa, PT)
Andrea Corradini (U. Pisa, IT)
José Luiz Fiadeiro (U. Dundee, UK)
Ichiro Hasuo (National Institute of Informatics, JP)
Rolf Hennicker (LMU, DE)
Marieke Huisman (U. Twente, NL)
Martti Karvonen (U. Ottawa, CN)
Aleks Kissinger (U. Oxford, UK)
Alexander Knapp (U. Augsburg, DE)
Alexandre Madeira (U. Aveiro, PT) [Co-chair]
Manuel A. Martins (U. Aveiro, PT) [Co-chair]
Narciso Marti-Oliet (U. Complutense de Madrid, SP)
Dominique Mery (LORIA, FR)
Till Mossakowski (U. Magdeburg, DE)
Renato Neves (U. Minho, PT) [Track Chair]
Peter Ölveczky (U. Oslo, NR)
Fernando Orejas (U. Politècnica Catalunya, SP)
Markus Roggenbach (Swansea University, UK)
Georg Struth (U. Sheffield, UK)
Ionut Tutu (Simion Stoilow Institute of Mathematics, RO)
Benoît Valiron (Univ. Paris Saclay, FR)
Vladimir Zamdzhiev (Inria, FR)

** Contacts **

For any information, please contact us to wadt2022@easychair.org

Related Resources

ICSD 2023   11th International Conference on Sustainable Development, 6 - 7 September Rome, Italy
ArIT 2023   4th International Conference on Advances in Artificial Intelligence Techniques
CALCO 2023   Conference on Algebra and Coalgebra in Computer Science
MLNLP 2023   4th International Conference on Machine Learning Techniques and NLP
SOMET 2023   SOMET 2023 : The 22nd International Conference on Intelligent Software Methodologies, Tools, and Techniques
PACT 2023   International Conference on Parallel Architectures and Compilation Techniques
SI ATW 2023   SPECIAL ISSUE on AI based Techniques in Wireless Sensor Networks
DICTA 2023   The International Conference on Digital Image Computing: Techniques and Applications
SI DFSTE 2023   SPECIAL ISSUE on Development of Fuzzy Sets and Their Extensions
ICEST 2023   International Conference on Innovations in Engineering, Science and Technology for Sustainable Development