Types as Resources for Classical Natural Deduction (FSCD 2017) -

Mon 4 - Thu 7 September 2017 Oxford, United Kingdom

co-located with ICFP 2017

Who

Delia Kesner, Pierre Vial

Track

Time Zone

The program is currently displayed in (GMT+01:00) Belfast.

Use conference time zone: (GMT+01:00) BelfastSelect 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

Thu 7 Sep 2017 11:30 - 11:59 at L2 - Session 16

Delia KesnerAuthor

Université de Paris, CNRS, IRIF, France

Pierre VialAuthor

Time Zone

The program is currently displayed in (GMT+01:00) Belfast.

Use conference time zone: (GMT+01:00) BelfastSelect 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

Thu 7 Sep
Displayed time zone: Belfast change

	10:30 - 11:59	Session 16FSCD 2017 at L2

	10:30 30m Talk		Arrays and References in Resource Aware ML FSCD 2017 A: Benjamin Lichtman , A: Jan Hoffmann Carnegie Mellon University
	11:00 30m Talk		The Complexity of Principal Inhabitation FSCD 2017 A: Andrej Dudenhefner Technical University Dortmund, A: Jakob Rehof Technical University Dortmund
	11:30 29m Talk		Types as Resources for Classical Natural Deduction FSCD 2017 A: Delia Kesner Université de Paris, CNRS, IRIF, France, A: Pierre Vial