PLSS 2025
Mon 30 June - Fri 4 July 2025 Bergen, Norway
co-located with ECOOP 2025
ECOOP 2025 (series) / PLSS 2025 (series) / Western Norway University of Applied Sciences /

Room information: M208

VenueWestern Norway University of Applied Sciences
Room nameM208
Floor2
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Fri 4 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:15
Morning session 1VORTEX at M208
Chair(s): Giorgio Audrito Università di Torino
09:00
15m
Day opening
Opening
VORTEX

09:15
30m
Talk
Runtime Monitoring of Action Specifications for Replanning in Classical Planning
VORTEX
Angelo Ferrando University of Modena and Reggio Emilia, Rafael C. Cardoso University of Aberdeen
File Attached
09:45
30m
Talk
Bounded Compositional Runtime Enforcement
VORTEX
Saumya Shankar , Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Thierry Jéron INRIA, Prisha Srinidi Indian Institute of Technology Bhubaneswar
File Attached
10:45 - 12:30
Morning session 2VORTEX at M208
Chair(s): Francesco Dagnino University of Genoa
10:45
30m
Talk
Aggregate Monitoring of Spatial Formulas beyond SLCS
VORTEX
Giorgio Audrito Università di Torino, Gianluca Aguzzi Alma Mater Studiorum - Università di Bologna, Mirko Viroli Alma Mater Studiorum - Università di Bologna
File Attached
11:15
30m
Talk
Bounded Time Monitoring in Aggregate Systems
VORTEX
Giorgio Audrito Università di Torino, Ferruccio Damiani University of Turin, Gianluca Torta Dipartimento di Informatica - Università di Torino, Italy
File Attached
11:45
30m
Talk
Monitors for distributed deadlock detection
VORTEX
Radosław Jan Rowicki Technical University of Denmark, Adrian Francalanza University of Malta, Alceste Scalas Technical University of Denmark
File Attached
14:00 - 15:45
Afternoon sessionVORTEX at M208
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy
14:00
60m
Keynote
Tell Me The Future, Correctly: On The Monitorability of Timed Logics Over Infinite Executions
VORTEX
K: Mohammed Aristide Foughali Université Paris Cité / IRIF
15:00
30m
Talk
Ain’t No Stopping Us Monitoring Now (extended abstract)
VORTEX
Luca Ciccone University of Turin, Francesco Dagnino , Angelo Ferrando University of Modena and Reggio Emilia
File Attached

Fri 4 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
M208

VORTEX

Morning session 1

VORTEX

Morning session 2

VORTEX

Afternoon session

VORTEX

Fri 4 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
M208
VORTEX
Opening
09:00 - 09:15
VORTEX
Runtime Monitoring of Action Specifications for Replanning in Classical ...
09:15 - 09:45
VORTEX
Bounded Compositional Runtime Enforcement
09:45 - 10:15
VORTEX
Aggregate Monitoring of Spatial Formulas beyond SLCS
10:45 - 11:15
VORTEX
Bounded Time Monitoring in Aggregate Systems
11:15 - 11:45
VORTEX
Monitors for distributed deadlock detection
11:45 - 12:15
VORTEX
Tell Me The Future, Correctly: On The Monitorability of Timed Logics Ov ...
14:00 - 15:00
VORTEX
Ain’t No Stopping Us Monitoring Now (extended abstract)
15:00 - 15:30