Program - ‹Programming› 2025

All Events Program Timeline Detailed Timeline Detailed Program

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect 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

10:00 - 10:30	BreakCatering at Foyer

10:00 30m Coffee break		Break Catering

12:00 - 13:30	LunchCatering at Faculty Restaurant

12:00 90m Lunch		Lunch Catering

15:00 - 15:30	BreakCatering at Foyer

15:00 30m Coffee break		Break Catering

18:30 - 18:31	Meeting Point for Welcome ReceptionSocial Events at Outside of the Faculty

18:30 1m Meeting		Meeting Point for Welcome Reception Social Events

10:00 - 10:30	BreakCatering at Foyer

10:00 30m Coffee break		in 10h 11 min Break Catering

VIMPL 2025 Program

Mon 2 Jun
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 3 Jun
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 4 Jun
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Thu 5 Jun
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Fri 6 Jun
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tracks

Workshops

Tutorials

	19:00 - 21:00	Welcome ReceptionSocial Events at Old Town Hall

13:30 - 15:00	KeynoteVIMPL at S 9 Chair(s): Nguyen Pham EPFL, LAMP

13:30 90m Keynote		Fearless Concurrency in PythonVIMPL Keynote VIMPL Tobias Wrigstad Uppsala University

15:30 - 17:00	Session 1VIMPL at S 9 Chair(s): Nguyen Pham EPFL, LAMP

15:30 30m Talk		Toward a Typed Intermediate Language for R VIMPL Mickaël Laurent Charles University, Jakob Hain Purdue University, USA, Filip Křikava Czech Technical University in Prague, Sebastián Krynski Czech Technical University in Prague, Jan Vitek Northeastern University
16:00 30m Talk		Who Owns the Contents of a Doubly-Linked List? VIMPL Dimi Racordon EPFL, LAMP
16:30 30m Talk		Mutable Value Semantics through a Runtime-Enforced Framework in Scala VIMPL Hamza Remmal EPFL, LAMP

18:30 - 18:31	Meeting Point for Conference DinnerSocial Events at Outside of the Faculty

18:30 1m Meeting		Meeting Point for Conference Dinner Social Events

19:00 - 22:00	DinnerSocial Events at Mesto More

19:00 3h Social Event		Dinner Social Events

	14:00 - 17:00	Prague walking tourSocial Events at Lesser Side and Prague Castle

VIMPL 2025 Program

Switch Program View

Program Display Configuration

Mon 2 JunDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 3 JunDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 4 JunDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Thu 5 JunDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Fri 6 JunDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Get Calendar (iCal)

Mon 2 Jun
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Tue 3 Jun
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Wed 4 Jun
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Thu 5 Jun
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Fri 6 Jun
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change