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

    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

    The following papers have been accepted for presentation at the Workshop

    • Jan A Bergstra and John Tucker: Fracterm Calculus with a Sign Function
    • Paulo Almeida, Diego Napp and Eunice Mateiro: Optimal quantum convolutional codes
    • Víctor Aranda: Applications of Partial Boolean Algebras to Type Theory
    • Harry Bryant and Markus Roggenbach: Ladderlogic Verification for Railway Interlockings with the IC3 Algorithm
    • Victor Cai, Sunitha Lakshmanappa, Andy Lawrence, Markus Roggenbach and Monika Seisenberger: Counterexample Visualisation for Constraint Checking in the Railway Domain
    • Valentin Cassano, Carlos Gustavo Lopez Pombo and Tom Maibaum: Logical systems for Default Reasoning
    • Tonicha Crook, Jay Morgan, Arno Pauly and Markus Roggenbach: A Computability Perspective on (Verified) Machine Learning
    • Ana Cruz and Luís Soares Barbosa: A logic for paraconsistent transition systems, with applications to quantum computing
    • Gilberto Cunha: Quantum Bayesian POMDP Online Planning
    • Andrea D'Urbano, Michael Oliveira and Luis Soares Barbosa: Quantum enhanced Secure Multiparty computation of triplewise
    • Daniel Figueiredo and Diana Costa: Equational logic over switch graph models
    • Alfredo Freire: Partial boolean valued model and exact forcing
    • Fabio Gadducci and Davide Trotta: A Presheaf Semantics for Quantified Temporal Logics
    • Michal Gajda: Algebraic modeling of performance of distributed systems
    • Michal Gajda: All you need is monoid - monoidal aggregators as Turing-complete computational model
    • Leandro Gomes: Towards a (multi)trace semantics for “multi-flow” computations
    • Sergey Goncharov: Shades of Iteration: from Elgot to Kleene
    • Rolf Hennicker and Alexander Knapp: Institution-based Development of Communicating Component Systems
    • Manisha Jain: Introducing fuzziness in quantum automata
    • Elias Keis, Carlos Gustavo Lopez Pombo, Agustín Eloy Martinez Suñé and Alexander Knapp: Automated QoS-Aware Service Selection Based on Soft Constraints
    • Benjamin Lion, Farhad Arbab and Carolyn Talcott: Runtime Composition Of Systems of Interacting Cyber-Physical Components
    • Sérgio Marcelino and Carlos Caleiro: PNmatrices at Work
    • Ana Neri: Formal Methods for Quantum Fault-Tolerant Programs
    • Pedro Nora: Quantitative Hennessy-Milner Theorems
    • Nuriya Nurgalieva, Lídia Del Rio and Renato Renner: Thought experiments in a quantum computer
    • Michael Oliveira: On the cost of evaluating Boolean functions on a Non-adaptive Measurement-based Quantum Computer
    • Conor Reynolds, Marie Farrell, Rosemary Monahan, James F. Power and Michael Fisher: Heterogeneous Specification Using the Institutions for Event-B and Temporal Logic
    • Eugénio Rocha and Pedro Nunes: A generalization of dynamic fault trees: concepts and an industrial application
    • Alejandro Sanchez and Luís Soares Barbosa: A hybrid mu-calculus for monoidal categories
    • Jaime Santos and Daniel Figueiredo: idDL2DL: translating interval specifications to DL
    • André Sequeira: Hybrid Quantum-Classical Reinforcement Learning
    • Tobias Stollenwerk and Stuart Hadfield: Diagrammatic Analysis for Parameterized Quantum Circuits
    • Ionut Tutu: SpeX: a rewriting-based formal-specification environment
    • Henrik Wachowitz, Alexander Knapp and Markus Roggenbach: Analyzing Security Protocols over Unbounded Domains
    • Uwe Wolter and Tam Thanh Truong: Algebras and Graph Algebras

      Submissions and publications

      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 this EasyChair link.

      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

    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 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