2nd International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
November 11, 2025

Toledo,
Spain

Program
All talks will take place in Room 1.0.7 (Madre de Dios Building of UCML) Room 1.0.3 in San Pedro Mártir building (UCML).
Morning
9:30: Registration: in front of "Sala de música" (San Pedro Mártir Building).
10:00: Welcome to ReacTS: José Proença & Umberto Rivieccio.
Session chair: Umberto Rivieccio
10:10: Invited talk: Amanda Vidal. Between Necessity and Vagueness: Decidability in Modal Many-Valued Logics
11:00: Coffee break.
Session chair: Alexandre Madeira
11:30: Daniel Figueiredo, Manuel Martins, Raul Fervari. "Probabilistic Relation-Changing Operators". (pre-print)
12:00: Markus Krahl, Matthias Güdemann, Stefan Wallentowitz. "goLoop: SMT-Based Loop Analysis via Global Optimization". (slides, pre-print)
12:30: Muñoz Miguel Pérez. "Four-valued logics of indicative conditionals". (slides, pre-print)
13:00: Lunch: in La Fábrica de Harinas - 10 min walk (link).
Afternoon
Session chair: Umberto Rivieccio
15:00: Invited talk: Alessandra Palmigiano. Categories & categorization
Session chair: Manuel Martins
16:00: Sérgio Marcelino. "Comparing finite many-valued logics via WSkS". (pre-print)
16:30: Coffee break.
Session chair: Sérgio Marcelino
17:00: Manisha Jain, Alexandre Madeira, Luís Barbosa. "Reasoning about blurred observations of program states: A recipe". (pre-print)
17:20: Antonio Castro Iglesias, Alexandre Madeira, Manuel Martins. "A HASKELL encoding for reconfigurable timed systems". (slides, pre-print)
17:40: Suene Duarte, Daniel Figueiredo, Manuel Martins, Regivan Santiago. "Dynamic Fuzzy Language for Label Fuzzy Reactive Graphs". (pre-print)
18:00: Lorenzo Capra, Marco Gribaudo. "Reconfigurable stochastic multi-formalism models: an approach based on Maude". (slides, pre-print)
18:30: Closing
20:30: Workshop dinner: in Hacienda del Cardenal - in the city center (link).