Program

09:00-10:00: Invited Talk by Natasha Alechina: Logics for Verification of Resource-Bounded Multi-Agent Systems

10:00-10:20: Coffee Break

10:20-11:50: Logic Session

• 10:20-10:50: Luca Aceto, Antonis Achilleos, Aggeliki Chalki and Anna Ingólfsdóttir: The complexity of deciding characteristic formulae in van Glabbeek’s branching-time spectrum

• 10:50-11:20: Lei Li, Sujata Ghosh, Fenrong Liu and R. Ramanujam: A modal logic for reasoning in distributed games

• 1:20-11:50: Elli Anastasiadi, Jana Wagemaker, Antonis Achilleos and Adrian Francalanza: Communicating Monitors for Hyper-$\mu$HML

11:50-13:45: Lunch Break (Lunch served at 12:20)

13:45-15:45: Concurrency Session

• 13:45-14:15: Carlos Alberto Ramírez Restrepo, Juan Jaramillo and Jorge Pérez: Session-Based Concurrency in Rewriting Logic

• 14:15-14:45: Ugo Dal Lago and Willem Heijltjes: The Communicating Functional Machine Calculus

• 14:45-15:15: Jesús Aranda, Joan Sebastian Betancourt, Juan Francisco Díaz and Frank D. Valencia: Fairness and consensus on asynchronous gossip networks

•  15:15-15:45: James Ortiz and Pierre-Yves Schobbens: An Alternative Semantics for Timed Automata with Independent Clocks

15:45-16:00 Coffee Break

16:00-17:00 Invited Talk by Damiano Mazza: The Non-Session-Based Interaction between Pi-Calculus and Linear Logic