WADT 2014

Wednesday 3.09.2014

• 19:00-20:00 Registration

Thursday 4.09.2014

• 8:40-9:00 Opening
• 9:00-10:00 Invited Speaker: K. Rustan M. Leino
An interface to symbolic methods
• 10:00-10:30 Coffee break
• 10:30-11:00
Ulf Krumnack, Till Mossakowski and Tom Maibaum
What is a derived signature morphism?
• 11:00-11:30
Uwe Wolter and Harald König
Fibred Amalgamation and Fibred Equivalences
• 11:30-12:00
Claudia Elena Chirita and Traian Florin Serbanuta
An Institutional Foundation for the K Semantic Framework
• 12:00-12:30
Stefan Ciobaca, Dorel Lucanu, Grigore Rosu and Vlad Rusu
A Theoretical Foundation for Programming Language Aggregation
• 12:30-14:30 Lunch
• 14:30-15:00
Ionut Tutu and Jose Luiz Fiadeiro
Solving Queries over Modular Logic Programs
• 15:00-15:30
Daniel Gaina
Herbrand's Theorem in Hybrid Institutions
• 15:30-16:00
Adriana Balan, Alexander Kurz and Jiri Velebil
An institutional approach to positive coalgebraic logic
• 16:00-16:30
Leila Ribeiro, Erika Cota, Lucio Mauro Duarte and Marcos Antonio de Oliveira Junior
Improving the Quality of Use Cases via Model Construction and Analysis
• 16:30-17:00 Coffee break
• 17:00-17:30
Andrea Corradini, Fabio Gadducci and Tobias Heindel
Term Graph Rewriting using Spans
• 17:30-18:00
Simone André Da Costa Cavalheiro, Luciana Foss and Leila Ribeiro
Proving Properties of Concurrent Systems using Graph Transformations and Event-B
• 18:00-19:00 Registration

Friday 5.09.2014

• 9:00-10:00 Invited Speaker: Christoph Benzmüller
On Logic Embeddings and Gödel's God
• 10:00-10:30 Coffee break
• 10:30-11:00
Andrew Lawrence, Ulrich Berger, Markus Roggenbach and Monika Seisenberger
Safety and Performance of the European Rail Traffic Management System-A Modelling and Verification Exercise in Real Time Maude
• 11:00-11:30
Ning Yu and Martin Wirsing
A SOC-Based Formal Specification and Verification of Hybrid Systems
• 11:30-12:00
Alexander Knapp, Till Mossakowski and Markus Roggenbach
An Institutional Framework for Heterogeneous Formal Development in UML
• 12:00-12:30
Mihai Codescu and Till Mossakowski
Heterogeneous refinement in HETS
• 12:30-14:30 Lunch
• after 14:30 Excursion

Saturday 6.09.2014

• 9:00-9:30
Annabelle Klarl and Rolf Hennicker
On the Semantics of Helena Ensemble Specifications
• 9:30-10:00
Valentin Cassano and Tom Maibaum
Arguing Safety Cases Formally
• 10:00-10:30 Coffee break
• 10:30-11:00
Ignacio Vissani, Carlos Gustavo Lopez Pombo, Ionuţ Ţuţu and José Luiz Fiadeiro
A Full Operational Semantics of Asynchronous Relational Networks
• 11:00-11:30
Andrei Arusoaie, Dorel Lucanu and Vlad Rusu
Symbolic Execution by Language Transformation
• 11:30-12:00
Norbert Preining, Kokichi Futatsugi and Kazuhiro Ogata
Proving liveness properties using abstract state machines and n-visibility
• 12:00-12:30
Marie Fortin, Marcello Bonsangue and Jan Rutten
Co-algebraic semantics of heavy-weighted automata
• 12:30-14:30 Lunch
• 14:30-15:00
Carlos Gustavo Lopez Pombo, Paula Chocrón, Ignacio Vissani and Tom Maibaum
A canonical proof-theoretic approach to model theory
• 15:00-15:30
Irina Mariuca Asavoae, Mihail Asavoae and Adrian Riesco
Semantic Mining of Context Update Constructs in Imperative Languages
• 15:30-16:00
Irina Mariuca Asavoae
Programming Language Abstractions Based on Executable Algebraic Semantics
• 16:00-16:30
Adrian Riesco, Irina Mariuca Asavoae and Mihail Asavoae
A Refinement Procedure for Inferring Side-Effect Constructs
• at 19:00 - conference dinner

Sunday 7.09.2014

• 9:00-9:30
Mykola Nikitchenko
Quasiary Specification Algebras and Logics
• 9:30-10:00
Tim Fernando
Two institutions of finite-state methods
• 10:00-10:30 Coffee break
• 10:30-11:00
Konstantine Arkoudas, Katerina Ksystra, Nikolaos Triantafyllou and Petros Stefaneas
Integrating Athena with Algebraic specifications
• 11:00-11:30
Yiannis Kiouvrekis and Petros Stefaneas
Fixed Point Logics as Institutions
• 11:30-12:00
Lenz Belzner
Autonomous Systems in Rewriting Logic
• 12:00-12:30
Guillaume Claret and Yann Régis-Gianas
Coq as a dependently typed system to build safe concurrent programs
• 12:30-14:30 Lunch

The PDF version of the program and the preliminary proceedings of WADT 2014 can be found here:

Program

Preliminary proceedings