November 4-5, 2024
Day 1: November 4 (afternoon)
12:30 - 13:50: Lunch.
13:50 - 14:00: Welcome.
14:00 - 15:00: Invited talk: Carlos Areces. TBA
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. "On many-logic modal structures and information-based logics".
15:50 - 16:10: Antonio Iglésias. "Introducing Multi-Actions Timed Reactive Graphs".
16:10 - 16:30: Coffee break.
16:30 - 16:50: Bruno Jardim, Jaime Santos and Luís Soares Barbosa. "Reconfiguring staggered quantum walks with ZX".
16:50 - 17:10: Ikechi Osondu. "Modelling Data Engineering pipelines for a heterogeneous use case".
20:00 - 22:00: Workshop Dinner.
Day 2: November 5 (morning)
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: Valentin Cassano and Sabine Frittella. "Pivotal Rules Consequence in Action Model Logic".
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.
Day 2: November 5 (afternoon)
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".