Saturday, April 11
| Start | End | Author(s) | Title |
|---|---|---|---|
| 09:00 | 10:00 | Carlos Olarte | Strategic and Symbolic Methods for Real-Time Systems in Maude |
| 10:00 | 10:30 | Coffee break | |
| 10:30 | 11:00 | Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer and Julia Sapiña | Generating Invariants by Deductive Model Checking |
| 11:00 | 11:30 | Rafael Morales-Palacios, Rubén Rubio and Ignacio Fábregas | A Semantic Framework for Symbolic Execution in Maude |
| 11:30 | 12:00 | Artur Boronat | Bounded Structural Model Finding with Symbolic Data Constraints |
| 12:00 | 12:30 | Lorenzo Capra | A Maude Framework for Efficient Analysis of Multiformalism Models |
| 12:30 | 14:00 | Lunch break | |
| 14:00 | 16:00 | Rubén Rubio (Tutorial) | Statistical Model Checking with QMaude |
| 16:00 | 16:30 | Coffee break | |
| 16:30 | 17:00 | José Meseguer and Peter Csaba Ölveczky | The Timed P Transformation for Distributed Real-Time Systems |
| 17:00 | 17:30 | Rubén Rubio, Beatriz Alcaide García and Adrian Riesco | On the translation of Maude programs to modern imperative languages |
Sunday, April 12
| Start | End | Author(s) | Title |
|---|---|---|---|
| 9:00 | 10:00 | Canh Minh Do | Automated Quantum Protocol Verification with Concurrent Dynamic Quantum Logic in Maude |
| 10:00 | 10:30 | Coffee break | |
| 10:30 | 11:00 | Víctor García, Santiago Escobar, Catherine Meadows and José Meseguer | A Theory of Composable Lingos for Protocol |
| 11:00 | 11:30 | Pablo Arrighi, Marin Costes, Gilles Dowek and Luidnel Maignan | Space-time deterministic graph rewriting |
| 11:30 | 12:00 | Canh Minh Do and Kazuhiro Ogata | An Algebraic Specification for Quantum Computation in Maude |
| 12:00 | 12:30 | Ievgen Ivanov | On Generalization of Church-Rosser Strategies for Confluent Abstract Rewriting Systems of the Smallest Uncountable Cardinality |
| 12:30 | 14:00 | Lunch break | |
| 14:00 | 16:00 | Salvador Lucas (Tutorial) | Confluence of Equational Generalized Term Rewriting Systems with Application to Rewrite Theories and Maude |
| 16:00 | 16:30 | Coffee break | |
| 16:30 | 17:00 | Mateo Sanabria, Carlos Varela, Camilo Rocha and Nicolás Cardozo | Equational and Inductive Reasoning for Maude in Athena |
| 17:00 | 17:30 | Camilo Rocha | Closing |