Accepted Papers

• Binders for switch graphs specification - Daniel Figueiredo and Alexandre Madeira
• Towards resolving distributed beliefs - John Lindqvist, Fernando R. Velázquez-Quesada and Thomas Ågotnes
• Arbitrary Radical Upgrades - Raul Fervari and Benjamin Icard
• Behavioural Equivalences over Reconfigurable Systems - Bogdan Aman and Gabriel Ciobanu
• Higher-order arrows for Path-Dependent Many-Valued Systems - Sérgio Marcelino

Short Papers

• Pivotal Rules Consequence in Action Model Logic - Valentin Cassano and Sabine Frittella
• Reconfiguring staggered quantum walks with ZX - Bruno Jardim, Jaime Santos and Luís Soares Barbosa
• Paraconsistent Reactive Graphs - Juliana Cunha, Alexandre Madeira and Luís Soares Barbosa
• Many-logic Modal Structures Based on the Lattice L6: A First Look - Abilio Rodrigues Filho, Marcelo Coniglio and Alfredo Freire
• A new fuzzy approach to transition and bisimulation systems - Benjamin Bedregal and Claudio Callejas