Conditional Effects in Fine-grained Region Logic (FTfJP 2015) - ECOOP 2015

Sun 5 - Fri 10 July 2015 Prague, Czech Republic

Who

Yuyan Bao, Gary T. Leavens, Gidon Ernst

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 7 Jul 2015 16:30 - 17:00 at Hluboka I - Session 3 Chair(s): Rosemary Monahan

Yuyan Bao

University of Central Florida

Gary T. Leavens

Central Florida University

United States

Gidon Ernst

Augsburg University

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 7 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	16:00 - 17:30	Session 3FTfJP at Hluboka I Chair(s): Rosemary Monahan Maynooth University

	16:00 30m Talk		Automatic Verification of Dafny Programs with Traits FTfJP Reza Ahmadi University of Tampere, K. Rustan M. Leino Microsoft Research, Jyrki Nummenmaa University of Tampere
	16:30 30m Talk		Conditional Effects in Fine-grained Region Logic FTfJP Yuyan Bao University of Central Florida, Gary T. Leavens Central Florida University, Gidon Ernst Augsburg University
	17:00 30m Talk		Regression Verification for Java Using a Secure Information Flow Calculus FTfJP Bernhard Beckert Karlsruhe Institute of Technology, Vladimir Klebanov Karlsruhe Institute of Technology, Mattias Ulbrich Karlsruhe Institute of Technology