WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022
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.
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
In 2022 WADT features additionally two special thematic tracks:
Algebra for timed and hybrid systems
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
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
application of quantum algebra to quantum computing and beyond
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
The following papers have been accepted for presentation at the Workshop
- Erika Abraham (RWTH Aachen, NL)
- Luís 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 (NII, JP)
- Rolf Hennicker, (LMU, Munchen, DE)
- Marieke Huisman (U. Twente, NL)
- Martti Karvonen (U. Ottawa, CA)
- 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, 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\`ecnica Catalunya, SP)
- Markus Roggenbach (Swansea University, UK)
- Georg Struth (U. Sheffield, UK)
- Ionut Tutu (Simion Stoilow Inst. of Math, RO)
- Benoît Valiron (Univ. Paris Saclay, FR)
- Vladimir Zamdzhiev (Inria, FR)
Ibex - Quantitative methods for cyber-physical programming
Aveiro is a coastal city located in the central region of Portugal, which is 5 minutes from the Atlantic beaches.
The Ria de Aveiro is a salt lake that follows the coastline for 45 km, providing a unique habitat for wildlife and is at the genesis of the city due to the production of salt. Aveiro is today a modern city, driven by the active academic life of its students.
Aveiro has today a very relevant tourist activity with numerous interesting things to visit and do. Tourist information can be found here
. You can also take a look at this
with an overview of the places to visit in Aveiro, and at this short
about the city's lifestyle.
How to Get to Aveiro:
Located between Lisbon and Porto, Aveiro is easily accessible by train from both cities.
If you travel by plane, the most convenient airport is Francisco Sá Carneiro Airport (Porto). Passengers arriving at this airport should take the metro to Campanhã train station and then take a train to Aveiro. City trains run hourly and every day of the week.To travel from Lisbon Airport, passengers must take the metro at Estação do Oriente and then take a train to Aveiro (about 2.5 hours to travel 255 km).
To see timetables and buy tickets, go to here
How to get to the conference:
The workshop takes place in a family-owned guest-house
with panoramic views to lagoon Pateira de Fermentelos, 20 minutes from the centre of Aveiro. It takes 20 minutes by car and it cost around 15 EUR by UBER or Taxi.
Excursion and Social Event
Banquet and excursion: the WADT'22 excursion will include a visit to Bairrada, a wine zone (30 minutes from Aveiro). We will visit a tipical wine house, the -- Quinta das Bágeiras
. This will include a tour to the wine caves, guided by a producer, that will introduce the classic process of "Espumante da Bairrada", the traditional Bairrada sparkling wine. Moreover, the WADT'22 banquet will be served inside the caves, in an unique atmosphere to taste the local wines and a core dish of the portuguese gastronomy:
the Leitão à Bairrada. Naturally, vegetarian alternatives and non alcoholic drinks will be available.
Registration for WADT 2022
There are two options for both standard and student registrations:
The full registration includes the fee, accommodation (nights of 27, 28 and 29 of June) in the place of the workshop, and all the meals (dinners from June 27 to June 29 and lunches and breakfasts from June 28 to June 30), including the banquet and excursion.
- The simple registration includes lunches from June 28 to June 30 and the banquet and excursion on June 29.
- Registration for LCA workshop workshop dedicated to Luís Soares Barbosa on the occasion of his 60th Anniversary, includes the fee, lunch and banquet dinner for 1st July.
Registrations are already open!!! To pursue with your registration please follow this
|Earlier registration - until 20 May
|Late registration - after 20 May