25th INTERNATIONAL WORKSHOP ON ALGEBRAIC DEVELOPMENT TECHNIQUES 2020
As ETAPS 2020 has been cancelled due the pandemic, WADT 2020 was held as virtual workshop, where a subset of the accepted abstracts were presented.
Programme of the Virtual Worskhop, 29.4.2020
#Session 1: (Chair: Alexander Knapp - for the 3rd talk: Andrea Corradini)
- 9.30 Conor Reynolds and Rosemary Monahan: Formalizing Institutions in the Coq Proof Assistant
- 10.00 Ionut Tutu, José Luiz Fiadeiro and Claudia Chirita: Dynamic reconfigurations through hybrid lenses
- 10.30 Tobias Rosenberger, Saddek Bensalem, Alexander Knapp and Markus Roggenbach: Unbabel your tools - Leveraging SPASS for UML
– break, with the possibility for some social conversations in the virtual conference room –
#Session 2: (Chair: Marieke Huismann)
- 11.30 Wytse Oortwijn: Verifying Distributed Systems by Abstracting Channel Interaction
- 12.00 Dominik Klumpp and Philip Lenzen: K and KIV - Towards Deductive Verification for Arbitrary Programming Languages
– lunch break –
#Session 3: (Chair: Markus Roggenbach)
- 14.00 Manisha Jain, Alexandre Madeira and Manuel A. Martins: Quotients and reductions in a simple Fuzzy Modal Logic
- 14.30 Navid Roux and Florian Rabe: Functorial Diagram Operators
- 15.00 Jan Bergstra and John Tucker: The wheel of rational numbers as an abstract data type
- 15.30 Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski and Fabio Zanasi: From Linear to Concurrent Algebra: a Diagrammatic Approach
All times are given in British Summer Time (BST)
Not all papers that have been accepted for presentation at the physical workshop will be presented at the virtual workshop.
The following papers have been accepeted for presentation at the Workshop
- Wytse Oortwijn: Verifying Distributed Systems by Abstracting Channel Interaction
- Marco Bernardo: General Axioms for Bisimilarity and Traces
- Dominik Klumpp and Philip Lenzen: K and KIV – Towards Deductive Verification for Arbitrary Programming Languages
- Ai Liu, Renato Neves, Luís Soares Barbosa and Meng Sun: Effectful Components and Program Equivalence
- Thierry Boy de La Tour and Rachid Echahed: Parallel Coherent Graph Transformations
- Thierry Boy de La Tour: Monographs, a Category of Graph Structures
- Conor Reynolds and Rosemary Monahan: Formalizing Institutions in the Coq Proof Assistant
- Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski and Fabio Zanasi: From Linear to Concurrent Algebra: a Diagrammatic Approach
- Ionut Tutu, José Luiz Fiadeiro and Claudia Chirita: Dynamic reconfigurations through hybrid lenses
- Manisha Jain, Alexandre Madeira and Manuel A. Martins: Quotients and reductions in a simple Fuzzy Modal Logic
- Navid Roux and Florian Rabe: Functorial Diagram Operators
- Florian Rabe: A Logical Framework Perspective on Conservativity
- Jan Bergstra and John Tucker: The wheel of rational numbers as an abstract data type
- Tobias Rosenberger, Saddek Bensalem, Alexander Knapp and Markus Roggenbach: Unbabel your tools – Leveraging SPASS for UML
Invited Speakers
- José Luiz Fiadeiro, University of Dundee, UK
- Jaco van de Pol, Aarhus University, DK & University of Twente, NL
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.
The workshop takes place under the auspices of IFIP WG 1.3.
Previous editions or the workshop include
WADT 2020 will have three thematic streams and one general stream:
- Graph Transformation – chair: Andrea Corradini, Italy
- System Modelling – chair: Alexander Knapp, Germany
- Deductive Software Verification – chair: Marieke Huismanm, The Netherlands
- General Stream - chair: Markus Roggenbach, UK
Graph Transformation Stream
The graph transformation stream seeks contributions addressing theoretical, application oriented or tool related aspects of graph transformation, or any combination of them. Here is a non-exclusive list of topics:
- Foundations of algebraic and set-based approaches to graph transformation
- Relations between graph transformation and other computational models
- Analysis, verification, validation and testing of graph transformation systems
- Applications to software engineering, including software architectures, refactoring, business processes, access control and service-orientation
- Applications to computing paradigms such as bio-inspired, string diagrams, quantum, ubiquitous, and visual computing
- Tools based on or supporting the development of graph transformation systems.
System Modelling Stream
The system modelling stream seeks contributions in the (co-)algebraic and model-based tradition of system specification and verification, for which typical, but not exclusive topics of interest are:
- Systems modelling
- System views and consistency
- Real-time, Hybrid, and Cyber-physical systems
- Modelling languages, like UML, SysML, etc., and their profiles
- Model transformations
- Model-based testing
- Tools for systems specification, testing, and verification
Deductive Software Verification Stream
The deductive software verification stream seeks contributions addressing theoretical or tool-related contributions in the area of deductive software verification. Also experience reports are welcome. Here is a non-exclusive list of topics:
- Foundations of deductive software verification and program logics
- Advancing deductive software verification techniques to new programming languages, or different programming paradigms
- Automating deductive software verification
- Combinations of deductive software verification techniques with other formal methods
- Applications of deductive software verification on industrial case studies
This stream will be scheduled in such a way that there will be no overlap with the VerifyThis workshop at Etaps 2020.
General Stream
Typical, but not exclusive topics of interest for the general stream are:
- Foundations of algebraic specification
- Other approaches to formal specification, including process calculi and models of concurrent, distributed, and cyber-physical 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
- Algebraic approaches to cognitive sciences, including computational creativity
Submission
The scientific programme of the workshop will include presentations of recent results and ongoing research. The presentations will be selected by the relevant PC Chair on the basis of submitted abstracts according to originality, significance and general interest. 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 system using the following link:
After the workshop, authors will be invited to submit full papers for the refereed post-proceedings. All submissions will be reviewed by the WADT 2020 PC; selection will be based on originality, soundness and significance of the presented ideas and results. The proceedings will be published as a volume of Lecture Notes in Computer Science (LNCS) by Springer. The deadline for submissions will be 12.6.2020 (new), with notifications of acceptance by 31.7.2020.
Steering Committee
- Andrea Corradini (Italy)
- José Fiadeiro (UK)
- Rolf Hennicker (Germany)
- Alexander Knapp (Germany)
- Hans-Jörg Kreowski (Germany)
- Till Mossakowski (Germany)
- Fernando Orejas (Spain)
- Leila Ribeiro (Brazil)
- Markus Roggenbach (UK) [Chair]
- Grigore Roșu (United States)
Programme Committee
- Wolfgang Ahrendt (Sweden)
- Andrea Corradini (Italy) [Co-Chair]
- Claire Dross (France)
- Francisco Durán (Spain)
- Rachid Echahed (France)
- Jose Fiadeiro (UK)
- Reiko Heckel (UK)
- Marieke Huisman (The Netherlands) [Co-Chair]
- Alexander Knapp (Germany) [Co-Chair]
- Leen Lambers (Germany)
- Stephan Merz (France)
- Rosemary Monahan (Ireland)
- Till Mossakowski (Germany)
- Iulian Ober (France)
- Peter Ölveczky (Norway)
- Wytse Oortwijn (Switzerland)
- Fernando Orejas (Spain)
- Carlos Pombo (Argentina)
- Markus Roggenbach (UK) [Co-Chair]
- Pierre-Yves Schobbens (Belgium)
- Ionut Tutu (Romania)
- Mattias Ulbrich (USA)
- Antonio Vallecillo (Spain)
Important Dates (Update from 30.7.2020)
- 14.2.2020 Abstract Submission
- 24.2.2020 Notification
- 3.4.2020 Camera Ready Abstract
- 29.4.2020 Virtual Workshop
- 12.6.2020 Submission deadline for full papers
- 31.7.2020 Notification on full papers
- 18.9.2020 Camera Reay papers