12:30 - 13:50: Lunch.

13:50 - 14:00: Welcome.

14:00 - 15:00: Invited talk: Carlos Areces. "Axiomatizing Dynamic Logics without Substitution".

15:00 - 15:30: Bogdan Aman and Gabriel Ciobanu. "Behavioural Equivalences over Reconfigurable Systems".

15:30 - 15:50: Abilio Rodrigues Filho, Marcelo Coniglio and Alfredo Freire. "Many-logic Modal Structures Based on the Lattice L6: A First Look".

15:50 - 16:10: Antonio Iglésias. "Introducing Multi-Actions Timed Reactive Graphs".

16:10 - 16:30: Coffee break.

16:30 - 16:50: Valentin Cassano and Sabine Frittella. "Pivotal Rules Consequence in Action Model Logic".

16:50 - 17:10: Ikechi Osondu. "Modelling Data Engineering pipelines for a heterogeneous use case".

20:00 - 22:00: Workshop Dinner.

9:00 - 10:00: Invited talk: Johan van Benthem. "Graph Games and Dynamic Logics".

10:00 - 10:30: John Lindqvist, Fernando R. Velázquez-Quesada and Thomas Ågotnes. "Towards resolving distributed beliefs".

10:30 - 11:00: Coffee break.

11:00 - 11:30: Raul Fervari and Benjamin Icard. "Arbitrary Radical Upgrades".

11:30 - 11:50: Bruno Jardim, Jaime Santos and Luís Soares Barbosa. "Reconfiguring staggered quantum walks with ZX".

11:50 - 12:10: Benjamin Bedregal and Claudio Callejas. "A new fuzzy approach to transition and bisimulation systems".

12:10 - 12:30: Carlos Areces, Raul Fervari, Andrés R. Saravia and Fernando R. Velázquez-Quesada. "A Novel Way of Updating Knowing How".

12:30 - 14:00: Lunch.

14:00 - 15:00: Invited talk: Sérgio Marcelino. "Logics for path-dependent systems: from reactive to switch frames and beyond".

15:00 - 15:30: Daniel Figueiredo and Alexandre Madeira. "Binders for switch graphs specification".

15:30 - 15:50: Juliana Cunha, Alexandre Madeira and Luís Soares Barbosa. "Paraconsistent Reactive Graphs".

15:50 - 16:30: Coffee break.

16:30 - 17:00: Sérgio Marcelino. "Higher-order arrows for Path-Dependent Many-Valued Systems".

17:00 - 17:20: David Tinoco, Alexandre Madeira and José Proença. "On the specification of labelled reactive graphs in Marge".

17:20 - 17:40: Suene Duarte, Regivan Santiago and Daniel Figueiredo. "Homomorphisms between Reversal Fuzzy Reactive Graphs".