Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] WADT 2020 - Call for Abstracts


view this post on Zulip Email Gateway (Aug 23 2022 at 08:15):

From: "Roggenbach M." <m.roggenbach@swansea.ac.uk>


Call For Abstracts WADT 2020


===================================================================================
25th INTERNATIONAL WORKSHOP ON ALGEBRAIC DEVELOPMENT TECHNIQUES 2020
===================================================================================

https://wadt2020.github.io

Dublin, Ireland, 25.-26. April 2020

Co-located with ETAPS 2020


Submission link: https://easychair.org/conferences/?conf=wadt2020
Abstract Submission Deadline: 14.2.2020
Notification: 24.2.2020


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.

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:


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:


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:

https://easychair.org/conferences/?conf=wadt2020

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 (TBA); selection will be based on originality, soundness and
significance of the presented ideas and results. The proceedings are
likely to be published as a volume of Lecture Notes in Computer
Science (LNCS) by Springer. The deadline for submissions will be
19.5.2020 , with notifications of acceptance by
26.6.2020. Camera-ready versions will be required by 17.7.2020.


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)


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)


IMPORTANT DATES


14.2.2020 Abstract Submission
24.2.2020 Notification
3.4.2020 Camera Ready Abstract
25.4.2020 & 26.4.2020 Workshop
19.5.2020 Submission deadline for full papers
26.6.2020 Notification on full papers
17.7.2020 Camera ready final version of the papers


Last updated: Mar 29 2024 at 08:18 UTC