Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] WADT 2020 - Call for Papers

Email Gateway (Aug 22 2022 at 21:11):

From: Markus <m.roggenbach@swansea.ac.uk>

Call For Papers 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:

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

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

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.

STEERTING 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: Nov 21 2024 at 12:39 UTC