Accepted Papers
The following abstracts have been accepted for presentation at WADT 2016. All submitted abstracts are avaliable here.
- Marie Farrell, Rosemary Monahan and James Power. Providing a Semantics and Modularisation Constructs for Event-B using Institutions
- Ryan Wisnesky. Algebraic Databases
- Jan Bergstra and Alban Ponse. Signed Meadow Valued Probability Functions
- Renato Neves, Alexandre Madeira, Luis Barbosa and Manuel A. Martins. (Asymmetric) combination of logics is functorial
- Renato Neves. The monad of continuous evolutions
- Till Mossakowski, Mihai Codescu and Florian Rabe. Selecting Colimits for Parameterisation and Networks of Specifications
- Peter Ölveczky. Design and Validation of the P-Store Replicated Data Store in Maude
- Hubert Garavel. On the Most Suitable Axiomatization of Signed Integers Using Free Constructors
- Rolf Hennicker and Alexandre Madeira. Behavioural Semantics for the Dynamic Logic with Binders
- Valentin Cassano, Carlos Gustavo Lopez Pombo and Tom Maibaum. Towards a Formulation of the Modularization Theorem for Presentations in Default Logics
- Claudia Elena Chirita and José Luiz Fiadeiro. Creative Processes in Service-Oriented Computing
- Nneka Ene, Maribel Fernandez and Bruno Pinaud. Graph Models for Capital Markets
- Ferdinand Vesely. Formalising Modular SOS Labels in Isabelle/HOL
- Ridha Khedri and Alicia Marinache. On the Structural Link between Ontologies and Their Organised Data Sets
- Agustín Eloy Martinez Suñé, Carlos Gustavo Lopez Pombo, Fabio Gadducci and Tom Maibaum. About partiality in institutions (co-)morphisms
- Ignacio Vissani and Carlos Gustavo Lopez Pombo. Semantics for non-incremental reconfigurations of Asynchronous Relational Networks
- Ivaylo Hristakiev and Detlef Plump. Towards Critical Pair Analysis for the Graph Programming Language GP 2
- Ionut Tutu and José Luiz Fiadeiro. Foundations of Graph Transformation as a Logic-Programming Language
- Adrian Riesco, Miguel Palomino and Narciso Marti-Oliet. Towards a formal framework for analyzing stream processing systems
- Einar Broch Johnsen, Martin Steffen and Johanna Beate Stumpf. A Calculus of Virtually Timed Ambients
- Edel Sherratt. Formal Specification of the Internet of Things
- Mohammadreza Mousavi and Mahsa Varshosaz. Epistemic Reasoning about Operational Lies
- Christoph Rauch, Sergey Goncharov and Lutz SchrÖder. Generic Hoare Logic for Order-Enriched Effects with Exceptions