WADT: Workshop on Recent Trends in Algebraic Development Techniques

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2019 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
WADT 2018 24th International Workshop on Algebraic Development Techniques
Jul 2, 2018 - Jul 5, 2018 Royal Holloway University of London Apr 27, 2018
WADT 2014 22nd International Workshop on Algebraic Development Techniques
Sep 4, 2014 - Sep 7, 2014 Sinaia, Romania Jun 30, 2014
 
 

Present CFP : 2018

======================================================================
THIRD CALL FOR PAPERS

WADT 2018
24th International Workshop on Algebraic Development Techniques
http://wadt18.cs.rhul.ac.uk
July 2–5, 2018, Royal Holloway University of London, Egham, UK

AND

FIRST CALL FOR PARTICIPATION

Leverhulme School on Graph Transformation Techniques 2018
http://wadt18.cs.rhul.ac.uk/lsgt
June 29–July 1, 2018, Royal Holloway University of London, Egham, UK
======================================================================

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.

TOPICS OF INTEREST

Typical, but not exclusive topics of interest 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
– Model-driven development
– Graph transformations, term rewriting, and proof systems
– Integration of formal specification techniques
– Formal testing and quality assurance, validation, and verification
– Algebraic approaches to cognitive sciences, including computational creativity

WORKSHOP FORMAT AND LOCATION

The workshop will take place over four days, Monday to Thursday, at Royal Holloway University of London in Egham, UK (https://www.royalholloway.ac.uk).
Presentations will be selected on the basis of submitted abstracts.

This occurrence of the ADT workshop will be preceded by the Leverhulme School on Graph Transformation Techniques. The school will take place over three days, from Friday, June 29th, to Sunday, July 1st, and will comprise a self-contained series of invited lectures on graph transformation to be given by Reiko Heckel (University of Leicester, UK), Fernando Orejas (Technical University of Catalonia, Spain), and Detlef Plump (University of York, UK).

INVITED SPEAKERS

Artur d'Avila Garcez (City, University of London, UK)
Rolf Hennicker (LMU Munich, Germany)
Kai-Uwe Kühnberger (Osnabrück University, Germany)
Fernando Orejas (Technical University of Catalonia, Spain)

IMPORTANT DATES

Submission deadline for abstracts: April 27th, 2018
Notification of acceptance: May 18th, 2018
Early registration: June 1st, 2018
Final abstract due: June 1st, 2018
Leverhulme School on Graph Transformation Techniques: June 29–July 1, 2018
ADT Workshop: July 2–5, 2018

SUBMISSIONS

The scientific programme of the workshop will include presentations of recent results or ongoing research as well as invited talks. The presentations will be selected by the Steering Committee on the basis of submitted abstracts according to originality, significance and general interest. Abstracts must not exceed two pages including references; if a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract.

Abstracts have to be submitted electronically via the EasyChair system at https://easychair.org/conferences/?conf=wadt18.

PROCEEDINGS

After the workshop, authors will be invited to submit full papers for the refereed proceedings. All submissions will be reviewed by the Programme Committee. 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 (Springer).

The deadline for submissions will be September 3, 2018, with notifications by October 29. Camera-ready versions will be required by November 11.

SPONSORSHIP

The workshop takes place under the auspices of IFIP WG 1.3, while the series of graph-transformation lectures is supported by a Leverhulme Trust Visiting Professorship.

WADT STEERING COMMITTEE

Andrea Corradini (Italy)
José Fiadeiro (UK) [co-chair]
Rolf Hennicker (Germany)
Hans-Jörg Kreowski (Germany)
Till Mossakowski (Germany)
Fernando Orejas (Spain)
Markus Roggenbach (UK)
Grigore Roșu (United States)

PROGRAMME COMMITEE

Paolo Baldan (Italy)
Andrea Corradini (Italy)
Artur d'Avila Garcez (UK)
Răzvan Diaconescu (Romania)
José Fiadeiro (UK) [co-chair]
Fabio Gadducci (Italy)
Reiko Heckel (UK)
Rolf Hennicker (Germany)
Alexander Knapp (Germany)
Barbara König (Germany)
Antónia Lopes (Portugal)
Narciso Marti-Oliet (Spain)
Till Mossakowski (Germany)
Fernando Orejas (Spain)
Leila Ribeiro (Brazil)
Markus Roggenbach (UK)
Pierre-Yves Schobbens (Belgium)
Lutz Schröder (Germany)
Pawel Sobocinski (UK)
Ionuț Țuțu (UK) [co-chair]
Martin Wirsing (Germany)

ORGANIZING COMMITTEE

Claudia Chiriță (UK)
José Fiadeiro (UK)
Ionuț Țuțu (UK)

CONTACT INFORMATION

Email: wadt18@cs.rhul.ac.uk
Homepage: http://wadt18.cs.rhul.ac.uk
 

Related Resources

RAMiCS 2018   Relational and Algebraic Methods in Computer Science
IICEHawaii 2019   The IAFOR International Conference on Education – Hawaii 2019
Scopus-CGIIT 2018   2018 2nd International Conference on Graphics, Images and Interactive Techniques (CGIIT 2018)
KEOD 2018   10th International Conference on Knowledge Engineering and Ontology Development
Scopus-CEESD 2018   2018 3rd International Conference on Environmental Engineering and Sustainable Development
CSPA 2018   14th IEEE Colloquium on Signal Processing and its Applications (CSPA 2018)
IJIST 2018   The International Journal of Information Science & techniques
PROFES 2018   19th International Conference on Product-Focused Software Process Improvement
S+SSPR 2018   IAPR Joint International Workshops on Statistical Techniques in Pattern Recognition (SPR 2018) and Structural and Syntactic Pattern Recognition (SSPR 2018)
RDC 2018   4th Annual Rural Development Conference