‹Programming› 2026
Mon 16 - Fri 20 March 2026
Munich, Germany
Toggle navigation
Attending
Conference venue: Institute of Informatics, LMU Munich
Conference dinner location (Wed, Mar 18th): Augustiner-Keller
Excursion location (Fri, Mar 20th): Andechs Monastry
Registration
Accommodation and Access
Program
‹Programming› Program
Your Program
Mon 16 Mar
Tue 17 Mar
Wed 18 Mar
Thu 19 Mar
Fri 20 Mar
Tracks
‹Programming› 2026
Keynotes
Research Papers
Artifacts
Social Events
Student Volunteers
Workshops
Workshops
MoreVMs
PX/26
SCLIT
Substrates
-26
SV-COMP/Test-Comp
VIMPL
Organization
‹Programming› 2026 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Artifacts
Student Volunteers
Workshops
Contributors
People Index
Workshops
MoreVMs
Program Committee
Organizing Committee
PX/26
Organizing Committee
Program Committee
SCLIT
Program Committee
Substrates
Organizing Committee
Program Committee
SV-COMP/Test-Comp
Organizing Committee
Program Committee
VIMPL
Organizing Committee
Program Committee
Search
Series
Series
‹Programming› 2027
‹Programming› 2026
‹Programming› 2025
‹Programming› 2024
‹Programming› 2023
‹Programming› 2022
‹Programming› 2021
‹Programming› 2020
‹Programming› 2019
‹Programming› 2018
‹Programming› 2017
Sign in
Sign up
‹Programming› 2026
(
series
) /
Institute of Informatics, LMU Munich
/
Room information: Seminar Room 115
Venue
Institute of Informatics, LMU Munich
Room name
Seminar Room 115
Floor
1
Room number
115
Capacity
40
Room Information
https://www.lmu.de/raumfinder/#/building/bw7070/map?room=707001115_
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-06:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Cancun
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
10:30 - 12:00
Implementation
VIMPL
at
Seminar Room 115
10:30
45m
Industry talk
Ferlium: An Extended Hindley–Milner Language with Mutable Value Semantics for Safe Scripting
VIMPL
Stéphane Magnenat
Enlightware GmbH
11:15
45m
Talk
Value support in the qBeta language
VIMPL
Ole Lehrmann Madsen
Aarhus University
,
Birger Møller-Pedersen
University of Oslo
Link to publication
13:30 - 15:00
Theory-1
VIMPL
at
Seminar Room 115
13:30
45m
Talk
Mutable cells for Lexer memoization
VIMPL
Samuel Chassot
EPFL, LARA
14:15
45m
Talk
Generic programming and value semantics
VIMPL
Dimi Racordon
HES-SO Valais/Wallis
15:30 - 17:00
Theory-2
VIMPL
at
Seminar Room 115
15:30
45m
Talk
Checking Mutation and Separation in Scala 3
VIMPL
Martin Odersky
EPFL
Tue 17 Mar
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Introduction and Speed Networking
Substrates
at
Seminar Room 115
Chair(s):
Clemens Nylandsted Klokmose
Aarhus University
10:30 - 12:00
Talks I
Substrates
at
Seminar Room 115
10:30
20m
Talk
On Vector Graphics Substrates and their Potential
Substrates
Joel Jakubovic
Charles University in Prague
,
Camille Gobert
Université Paris-Saclay
10:50
20m
Talk
Can We Teach How to Explore Substrates and Systems?
Substrates
Eva Krebs
Hasso Plattner Institute (HPI), University of Potsdam, Germany
,
Tom Beckmann
Hasso Plattner Institute
11:10
20m
Talk
HyperDoc - substrate for knowledge workers
Substrates
Konrad Hinsen
CNRS
Media Attached
11:30
20m
Talk
Moral Dimensions of Substrate Research Programmes
Substrates
Clemens Nylandsted Klokmose
Aarhus University
,
Antranig Basman
Independent
13:30 - 15:10
Talks II
Substrates
at
Seminar Room 115
13:30
20m
Talk
Substrates via Accessibility
Substrates
Orion Reed
Unaffiliated
,
Chris Shank
13:50
20m
Talk
fluid.cell: A reactive implementation supporting malleable substrates
Substrates
Antranig Basman
Independent
Pre-print
14:10
20m
Talk
The Lopecode Tour
Substrates
Tom Larkworthy
Link to publication
14:30
20m
Talk
Interactive Substrates for Malleable Software
Substrates
James Eagan
14:50
20m
Talk
Model |> View |> Self-Modify architecture
Substrates
Beni Cherniavsky-Paskin
Pre-print
15:30 - 17:00
Lightning talks and demos
Substrates
at
Seminar Room 115
15:30
60m
Talk
Lightning talks
Substrates
16:30
30m
Talk
Closing session
Substrates
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 115
VIMPL
VIMPL
Implementation
VIMPL
Theory-1
VIMPL
Theory-2
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 115
Substrates
Introduction and Speed Networking
Substrates
Talks I
Substrates
Talks II
Substrates
Lightning talks and demos
Mon 16 Mar
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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 115
VIMPL
Ferlium: An Extended Hindley–Milner Language with Mutable Value Semanti ...
10:30 - 11:15
VIMPL
Value support in the qBeta language
11:15 - 12:00
VIMPL
Mutable cells for Lexer memoization
13:30 - 14:15
VIMPL
Generic programming and value semantics
14:15 - 15:00
VIMPL
Checking Mutation and Separation in Scala 3
15:30 - 16:15
Tue 17 Mar
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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 115
Substrates
On Vector Graphics Substrates and their Potential
10:30 - 10:50
Substrates
Can We Teach How to Explore Substrates and Systems?
10:50 - 11:10
Substrates
HyperDoc - substrate for knowledge workers
11:10 - 11:30
Substrates
Moral Dimensions of Substrate Research Programmes
11:30 - 11:50
Substrates
Substrates via Accessibility
13:30 - 13:50
Substrates
fluid.cell: A reactive implementation supporting malleable substrates
13:50 - 14:10
Substrates
The Lopecode Tour
14:10 - 14:30
Substrates
Interactive Substrates for Malleable Software
14:30 - 14:50
Substrates
Model |> View |> Self-Modify architecture
14:50 - 15:10
Substrates
Lightning talks
15:30 - 16:30
Substrates
Closing session
16:30 - 17:00
x
Tue 21 Apr 11:48