2F Conf Room 3 - FM 2026

VenueHitotsubashi Hall

Room name2F Conf Room 3

Floor2

Room InformationNo extra information available

Program

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

Save

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

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:45	Tutorial 2: The SLEEC Framework for Normative Requirements Engineering (Part 1)Tutorials at 2F Conf Room 3

09:15 90m Tutorial		The SLEEC Framework for Normative Requirements Engineering Tutorials Pedro Ribeiro University of York, UK, Radu Calinescu University of York, UK, Ana Cavalcanti University of York, Marsha Chechik University of Toronto, Sinem Getir Yaman University of York, UK, Lina Marsso Polytechnique Montreal, Isobel Standen University of York, Beverley Townsend University of York

11:10 - 12:40	Tutorial 2: The SLEEC Framework for Normative Requirements Engineering (Part 2)Tutorials at 2F Conf Room 3

11:10 90m Tutorial		The SLEEC Framework for Normative Requirements Engineering Tutorials Pedro Ribeiro University of York, UK, Radu Calinescu University of York, UK, Ana Cavalcanti University of York, Marsha Chechik University of Toronto, Sinem Getir Yaman University of York, UK, Lina Marsso Polytechnique Montreal, Isobel Standen University of York, Beverley Townsend University of York

14:00 - 15:30	Tutorial 4: Probabilistic Model Checking Taken by Storm (Part 1)Tutorials at 2F Conf Room 3

14:00 90m Tutorial		Probabilistic Model Checking Taken by Storm Tutorials Matthias Volk Eindhoven University of Technology, Linus Heck Radboud University, Sebastian Junges Radboud University, Joost-Pieter Katoen RWTH Aachen University, Tim Quatmann RWTH Aachen University Pre-print

16:00 - 17:30	Tutorial 4: Probabilistic Model Checking Taken by Storm (Part 2)Tutorials at 2F Conf Room 3

16:00 90m Tutorial		Probabilistic Model Checking Taken by Storm Tutorials Matthias Volk Eindhoven University of Technology, Linus Heck Radboud University, Sebastian Junges Radboud University, Joost-Pieter Katoen RWTH Aachen University, Tim Quatmann RWTH Aachen University Pre-print

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change

09:00 - 10:30	Tutorial 5: Formally Explaining Neural Network Classification (Part 1)Tutorials at 2F Conf Room 3

09:00 90m Tutorial		Formally Explaining Neural Network Classification Tutorials Tomáš Kolárik University of Lugano, Natasha Sharygina USI Lugano, Switzerland, Faezeh Labbaf University of Lugano, Fabrizio Leopardi University of Lugano, Grigory Fedyukovich Florida State University, Michael Wand Dalle Molle Institute for Artificial Intelligence USI-SUPSI

11:00 - 12:30	Tutorial 5: Formally Explaining Neural Network Classification (Part 2)Tutorials at 2F Conf Room 3

11:00 90m Tutorial		Formally Explaining Neural Network Classification Tutorials Tomáš Kolárik University of Lugano, Natasha Sharygina USI Lugano, Switzerland, Faezeh Labbaf University of Lugano, Fabrizio Leopardi University of Lugano, Grigory Fedyukovich Florida State University, Michael Wand Dalle Molle Institute for Artificial Intelligence USI-SUPSI

14:00 - 15:30	Tutorial 7: Requirements Elicitation, Formalization, and Analysis with FRET: A Tutorial (Part 1)Tutorials at 2F Conf Room 3

14:00 90m Tutorial		Requirements Elicitation, Formalization, and Analysis with FRET: A Tutorial Tutorials Anastasia Mavridou KBR / NASA Ames Research Center, Andreas Katis KBR / NASA Ames Research Center, Mari Aoki NASA, Marie Farrell The University of Manchester

16:00 - 17:30	Tutorial 7: Requirements Elicitation, Formalization, and Analysis with FRET: A Tutorial (Part 2)Tutorials at 2F Conf Room 3

16:00 90m Tutorial		Requirements Elicitation, Formalization, and Analysis with FRET: A Tutorial Tutorials Anastasia Mavridou KBR / NASA Ames Research Center, Andreas Katis KBR / NASA Ames Research Center, Mari Aoki NASA, Marie Farrell The University of Manchester

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
2F Conf Room 3				Tutorials Tutorial 2: The SLEEC Framework for Normative Requirements Engineering (Part 1)																							Tutorials Tutorial 2: The SLEEC Framework for Normative Requirements Engineering (Part 2)																																		Tutorials Tutorial 4: Probabilistic Model Checking Taken by Storm (Part 1)																								Tutorials Tutorial 4: Probabilistic Model Checking Taken by Storm (Part 2)

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
2F Conf Room 3	Tutorials Tutorial 5: Formally Explaining Neural Network Classification (Part 1)																								Tutorials Tutorial 5: Formally Explaining Neural Network Classification (Part 2)																																				Tutorials Tutorial 7: Requirements Elicitation, Formalization, and Analysis with FRET: A Tutorial (Part 1)																								Tutorials Tutorial 7: Requirements Elicitation, Formalization, and Analysis with FRET: A Tutorial (Part 2)

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
2F Conf Room 3				FM Tutorials The SLEEC Framework for Normative Requirements Engineering 09:15 - 10:45																							FM Tutorials The SLEEC Framework for Normative Requirements Engineering 11:10 - 12:40																																		FM Tutorials Probabilistic Model Checking Taken by Storm 14:00 - 15:30																								FM Tutorials Probabilistic Model Checking Taken by Storm 16:00 - 17:30

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
2F Conf Room 3	FM Tutorials Formally Explaining Neural Network Classification 09:00 - 10:30																								FM Tutorials Formally Explaining Neural Network Classification 11:00 - 12:30																																				FM Tutorials Requirements Elicitation, Formalization, and Analysis with FRET: A Tutorial 14:00 - 15:30																								FM Tutorials Requirements Elicitation, Formalization, and Analysis with FRET: A Tutorial 16:00 - 17:30

Room information: 2F Conf Room 3

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Tutorials

Tutorials

Tutorials

Tutorials

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Tutorials

Tutorials

Tutorials

Tutorials

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Tracks

Room information: 2F Conf Room 3

Program Display Configuration

Mon 18 MayDisplayed time zone: Osaka, Sapporo, Tokyo change

Tue 19 MayDisplayed time zone: Osaka, Sapporo, Tokyo change

Mon 18 MayDisplayed time zone: Osaka, Sapporo, Tokyo change

Tutorials

Tutorials

Tutorials

Tutorials

Tue 19 MayDisplayed time zone: Osaka, Sapporo, Tokyo change

Tutorials

Tutorials

Tutorials

Tutorials

Mon 18 MayDisplayed time zone: Osaka, Sapporo, Tokyo change

Tue 19 MayDisplayed time zone: Osaka, Sapporo, Tokyo change

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change