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)

– break, with the possibility for some social conversations in the virtual conference room –

#Session 2: (Chair: Marieke Huismann)

– lunch break –

#Session 3: (Chair: Markus Roggenbach)

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

Invited Speakers

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

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:

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:

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:


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:

Easychair 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

Programme Committee

Important Dates (Update from 30.7.2020)