Seminar Room 115

VenueInstitute of Informatics, LMU Munich

Room nameSeminar Room 115

Floor1

Room number115

Capacity40

Room Information

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

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

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

10:30 - 12:00	ImplementationVIMPL 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

13:30 - 15:00	Theory-1VIMPL at Seminar Room 115

13:30 45m Talk		Capabilities VIMPL Martin Odersky EPFL
14:15 45m Talk		Mutable cells for Lexer memoization VIMPL Samuel Chassot EPFL, LARA

15:30 - 17:00	Theory-2VIMPL at Seminar Room 115

15:30 45m Talk		Generic programming and value semantics VIMPL Dimi Racordon HES-SO Valais/Wallis

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																		Substrates																																				Substrates																								Substrates

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 Capabilities 13:30 - 14:15									VIMPL Mutable cells for Lexer memoization 14:15 - 15:00															VIMPL Generic programming and value semantics 15:30 - 16:15

Room information: Seminar Room 115

This program is tentative and subject to change.

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

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

VIMPL

VIMPL

VIMPL

VIMPL

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

Substrates

Substrates

Substrates

Substrates

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

Tracks

Room information: Seminar Room 115

This program is tentative and subject to change.

Program Display Configuration

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

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

VIMPL

VIMPL

VIMPL

VIMPL

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

Substrates

Substrates

Substrates

Substrates

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

Mon 16 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