The Coq mailing list

[Alexandre Madeira <madeira AT ua.pt>]

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

****************** CALL FOR PARTICIPATION  ******************

Early registration deadline: May 20, 2022

http://wadt2022.web.ua.pt
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


** Contributed talks ** 
see http://wadt2022.web.ua.pt

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

** 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 dmat-wadt2022 AT ua.pt