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.

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

    In 2022 WADT features additionally two special thematic tracks:

    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

    Program of WADT'22

    New!!! Check here the Timetable of WADT'22

    Invited Speakers

  • Radu Mardare University of Strathclyde, UK

    On Phenomenology of Computation (slides)

  • José Meseguer University of Illinois at Urbana-Champaign, US

    Building Correct-by-Construction Systems with Formal Patterns (slides)

  • José Nuno Oliveira Universidade do Minho, PT

    Why Adjunctions Matter (slides)

  • Peter Selinger Dalhousie University, CA

    Number-theoretic methods in quantum computing (slides)

    Bonus Talk: Introduction to Quantum Computing (For mathematicians and computer scientists) (slides)

    Contributing talks

    New!!! Check here the List of Talks of WADT'22

    Submissions and publications

    WADT 2022 is organised by IFIP WG 1.03. As an IFIP event, post-proceedings will be published by Springer in the LNCS series.

    Important dates

  • April 1 April 15 : Abstract deadline
  • April 17 April 25 : Notifications about the contributed talks
  • TBA: full papers, for the post-proceeding LNCSvolume

    Co-allocated Events

    Logics and Calculi for all: workshop Dedicated to Luís Soares Barbosa on the Occasion of His 60th Birthday

    Program of WADT'22

    New!!! Timetable of WADT'22

    Previous Editions

    Steering Committee

    Program Committee

    Venue

    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 video with an overview of the places to visit in Aveiro, and at this short documentary 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 Hotel Estalagem da Pateira, 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 conference is supported by CIDMA through the Portuguese Foundation for Science and Technology, reference UIDB/04106/2020