Seminar Room 131 - ‹Programming› 2026

Mon 16 - Fri 20 March 2026 Munich, Germany

VenueInstitute of Informatics, LMU Munich

Room nameSeminar Room 131

Floor1

Room number131

Capacity27

Room Information

https://www.lmu.de/raumfinder/#/building/bw7070/map?room=707001131_

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

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

09:00 - 10:00	SV-COMP-WS: Opening and TalksSV-COMP-WS at Seminar Room 131

09:00 60m Meeting		Opening and Talks SV-COMP-WS

10:30 - 12:00	Discussion on changes in SV-COMP (part I)SV-COMP-WS at Seminar Room 131

10:30 90m Meeting		Discussion on changes in SV-COMP (part I) SV-COMP-WS

13:30 - 15:00	Discussion on changes in SV-COMP (part II)SV-COMP-WS at Seminar Room 131

13:30 90m Meeting		Discussion on changes in SV-COMP (part II) SV-COMP-WS

15:30 - 17:00	Discussion on changes in Test-CompSV-COMP-WS at Seminar Room 131

15:30 90m Meeting		Discussion on changes in Test-Comp SV-COMP-WS

Mon 16 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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
Seminar Room 131	SCLIT																		SCLIT																																				SCLIT																								SCLIT

Tue 17 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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
Seminar Room 131	SV-COMP-WS SV-COMP-WS: Opening and Talks																		SV-COMP-WS Discussion on changes in SV-COMP (part I)																																				SV-COMP-WS Discussion on changes in SV-COMP (part II)																								SV-COMP-WS Discussion on changes in Test-Comp

Tue 17 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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
Seminar Room 131	SV-COMP-WS Opening and Talks 09:00 - 10:00																		SV-COMP-WS Discussion on changes in SV-COMP (part I) 10:30 - 12:00																																				SV-COMP-WS Discussion on changes in SV-COMP (part II) 13:30 - 15:00																								SV-COMP-WS Discussion on changes in Test-Comp 15:30 - 17:00

Room information: Seminar Room 131

This program is tentative and subject to change.

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

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

SCLIT

SCLIT

SCLIT

SCLIT

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

SV-COMP-WS

SV-COMP-WS

SV-COMP-WS

SV-COMP-WS

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

Tracks

Workshops

Room information: Seminar Room 131

This program is tentative and subject to change.

Program Display Configuration

Tue 17 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SCLIT

SCLIT

SCLIT

SCLIT

Tue 17 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SV-COMP-WS

SV-COMP-WS

SV-COMP-WS

SV-COMP-WS

Tue 17 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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