Iteratively Composing Statically Verified Traits (VPT 2019 - ) - ‹Programming› 2019

Mon 1 - Thu 4 April 2019 Genoa, Italy

Who

Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora

Track

Time Zone

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

Use conference time zone: (GMT+02: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

When

Tue 2 Apr 2019 16:00 - 16:20 at Verdi - Session 4

Isaac Oscar Gariano

Marco Servetto

Victoria University Wellington, New Zealand

Alex Potanin

Victoria University of Wellington

New Zealand

Hrshikesh Arora

Time Zone

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

Use conference time zone: (GMT+02: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

Session Program

Tue 2 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	16:00 - 17:10	Session 4VPT at Verdi

	16:00 20m Talk		Iteratively Composing Statically Verified Traits VPT Isaac Oscar Gariano , Marco Servetto Victoria University Wellington, New Zealand, Alex Potanin Victoria University of Wellington, Hrshikesh Arora
	16:20 20m Talk		Verifying String Replacing Procedures by Supercompilation VPT Antonina Nepeivoda
	16:40 20m Talk		Study of Recursion Elimination for a Class of Semi-interpreted Recursive Program Schemata VPT Nikolay Shilov Innopolis University
	17:00 10m Day closing		Closing VPT Alexei Lisitsa University of Liverpool , Andrei Nemytykh Program Systems Institute of RAS, Russia