Seminar Room 131 - ‹Programming› 2026

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

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

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

13:30 - 15:00	SCLIT 2026SCLIT at Seminar Room 131 Chair(s): Nicolás Cardozo Universidad de los Andes, Gordana Rakić University of Novi Sad

13:30 20m Talk		A Tool for Transforming the Type of a Container in C++ Code SCLIT Ábel Szauter ELTE Eötvös Loránd University, Budapest, Hungary, Norbert Pataki Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers Link to publication
13:50 20m Talk		Comparing Large Language Models and Traditional Clone Detection Tools for Intra- and Cross-Language Code Clone Detection SCLIT Luka Vranković Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad, Gordana Rakić University of Novi Sad Link to publication
14:10 50m Keynote		Python With Free Threading and Just-In-Time Compilation: A Blessing or a Curse? SCLIT Stefan Marr Johannes Kepler University Linz

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

09:00 - 10:00	SV-COMP/Test-Comp: Opening and TalksSV-COMP/Test-Comp at Seminar Room 131

09:00 60m Meeting		Opening and Talks SV-COMP/Test-Comp

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

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

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

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

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

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

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 2026																								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/Test-Comp SV-COMP/Test-Comp: Opening and Talks																		SV-COMP/Test-Comp Discussion on changes in SV-COMP (part I)																																				SV-COMP/Test-Comp Discussion on changes in SV-COMP (part II)																								SV-COMP/Test-Comp Discussion on changes in Test-Comp

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


Room	13:00			15			30			45			14:00			15			30			45
Seminar Room 131							SCLIT A Tool for Transforming the Type of a Container in C++ Code 13:30 - 13:50				SCLIT Comparing Large Language Models and Traditional Clone Detection Tools f ... 13:50 - 14:10				SCLIT Python With Free Threading and Just-In-Time Compilation: A Blessing or ... 14:10 - 15:00

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/Test-Comp Opening and Talks 09:00 - 10:00																		SV-COMP/Test-Comp Discussion on changes in SV-COMP (part I) 10:30 - 12:00																																				SV-COMP/Test-Comp Discussion on changes in SV-COMP (part II) 13:30 - 15:00																								SV-COMP/Test-Comp Discussion on changes in Test-Comp 15:30 - 17:00

Room information: Seminar Room 131

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

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/Test-Comp

SV-COMP/Test-Comp

SV-COMP/Test-Comp

SV-COMP/Test-Comp

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

Tracks

Workshops

Room information: Seminar Room 131

Program Display Configuration

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

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/Test-Comp

SV-COMP/Test-Comp

SV-COMP/Test-Comp

SV-COMP/Test-Comp

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

Tue 17 MarDisplayed 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

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

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