Quantitative Monitoring of Signal First-Order Logic (FM 2026 - Research Track) - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Who

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

Track

FM 2026 Research Track

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Thu 21 May 2026 16:30 - 16:55 at 2F Conference Room - Session 5: Logic and Semantics Chair(s): Zhenya Zhang

Marek Chalupa

Institute of Science and Technology Austria

Thomas A. Henzinger

Institute of Science and Technology Austria (ISTA)

Austria

N. Ege Saraç

CISPA Helmholtz Center for Information Security

Germany

Emily Yu

Leiden University

Netherlands

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Thu 21 May
Displayed time zone: Osaka, Sapporo, Tokyo change

	16:05 - 17:55	Session 5: Logic and SemanticsResearch Track at 2F Conference Room Chair(s): Zhenya Zhang Kyushu University

	16:05 25m Talk		A General Framework for Robust Quantitative Semantics of Signal Temporal Logic Research Track Jiawei Chen University of Michigan at Ann Arbor, José Luiz Vargas de Mendonça University of Michigan at Ann Arbor, Konstantinos Mamouras Rice University, Jean-Baptiste Jeannin University of Michigan at Ann Arbor
	16:30 25m Talk		Quantitative Monitoring of Signal First-Order Logic Research Track Marek Chalupa Institute of Science and Technology Austria, Thomas A. Henzinger Institute of Science and Technology Austria (ISTA), N. Ege Saraç CISPA Helmholtz Center for Information Security, Emily Yu Leiden University
	16:55 25m Talk		Reachability-guided Abstraction Refinement Research Track Pierre Ganty IMDEA Software Institute, Spain, Nicolas Manini IMDEA Software Institute, Francesco Ranzato University of Padova
	17:20 25m Talk		Maximum Realizability for LTL Modulo Theories Research Track Andoni Rodríguez IMDEA Software Institute, Spain, César Sánchez IMDEA Software Institute