Program


Time Day 1 (Sat, April 2) Day 2 (Sun, April 3)
8:45~9:00 Opening
9:00~10:00 Session 1
Invited talk: Gwen Salaün
Session 5
Invited talk: Sebastian Mödersheim
10:00~10:30 Coffee break
10:30~12:30 Session 2 Session 6
12:30~14:00 Lunch break
14:00~16:00 Session 3 Session 7
16:00~16:30 Coffee break
16:30~17:30 Session 4

Session 1 (Chair: Kyungmin Bae)

  • 08:45~09:00 Opening
  • 09:00~10:00 Gwen Salaun. Invited talk: Modelling and Quantitative Analysis of BPMN Processes using Maude

Session 2 (Chair: Francisco Duran)

  • 10:30~11:00 Vivek Nigam and Carolyn Talcott. Automating Safety Proofs about Cyber-Physical Systems using Rewriting Modulo SMT
  • 11:00~11:30 Simon Thrane Hansen and Peter Olveczky. A Formal Framework for Co-simulation
  • 11:30~12:00 Carlos Alberto Ramirez Restrepo and Jorge Perez. Executable Semantics and Type Checking for Session-Based Concurrency in Maude
  • 12:00~12:30 Ruben Rubio. Maude as a library: an efficient all-purpose programming interface

Session 3 (Chair: Peter Csaba Ölveczky)

  • 14:00~15:30 Ruben Rubio. Tutorial: The Maude strategy language
  • 15:30~16:00 Francisco Duran, Daniela Martinez and Camilo Rocha. Business Processes Analysis with Resource-aware Machine Learning Scheduling in Rewriting Logic

Session 4 (Chair: Santiago Escobar)

  • 16:30~17:00 Jose Meseguer and Stephen Skeirik. On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
  • 17:00~17:30 Jose Meseguer. Checking Sufficient Completeness by Inductive Theorem Proving

Session 5 (Chair: Santiago Escobar)

  • 9:00~10:00 Sebastian Modersheim. Invited talk: Rewriting Privacy

Session 6 (Chair: Vivek Nigam)

  • 10:30~11:00 Canh Minh Do, Adrian Riesco, Santiago Escobar and Kazuhiro Ogata. Parallel Maude-NPA for Cryptographic Protocol Analysis
  • 11:00~11:30 Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, and Ayoub Otmani. Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude
  • 11:30~12:30 Peter Olveczky. Experience report: Teaching Maude for Undergraduate Students

Session 7 (Chair: Ruben Rubio)

  • 14:00~15:00 Santiago Escobar. Tutorial: Equational Unification and Narrowing in Maude
  • 15:00~15:30 Raul Lopez-Rueda, Santiago Escobar and Jose Meseguer. An Efficient Canonical Narrowing Implementation for Protocol Analysis
  • 15:30~16:00 Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, and Brandon Rozek. CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms