S11 - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

VenueCharles University

Room nameS11

Floor0

Room InformationNo extra information available

Program

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

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	IDICE-FOPARA at S11 Chair(s): Steffen Jost LMU, Munich, Germany

09:45 45m Talk		PRAMs over integers do not compute maxflow efficiently DICE-FOPARA Luc Pellissier , Thomas Seiller CNRS

11:00 - 12:00	IIDICE-FOPARA at S11 Chair(s): Steffen Jost LMU, Munich, Germany

11:00 45m Talk		Towards a Sheaf-Theoretic Definition of Decision Problems DICE-FOPARA Damiano Mazza CNRS

13:30 - 15:30	IIIDICE-FOPARA at S11 Chair(s): Patrick Baillot CNRS & ENS Lyon

14:00 45m Talk		Type-two Iteration with Bounded Query Revision DICE-FOPARA Bruce Kapron University of Victoria, Florian Steinberg INRIA Saclay
14:45 45m Talk		Tiered complexity at higher order DICE-FOPARA Emmanuel Hainry , Bruce Kapron University of Victoria, Jean-Yves Marion LORIA, Romain Péchoux INRIA / LORIA

16:00 - 18:00	IVDICE-FOPARA at S11 Chair(s): Damiano Mazza CNRS

16:00 45m Talk		Pointers in Recursion: Exploring the Tropics DICE-FOPARA Paulin Jacobé De Naurois
16:45 45m Talk		Hierarchical Digging is EXPTIME DICE-FOPARA Brian Redmond

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	VDICE-FOPARA at S11 Chair(s): Thomas Seiller CNRS

09:00 45m Talk		Finite semantics of polymorphism, complexity and the power of type fixpoints DICE-FOPARA Lê Thành Dũng Nguyễn , Thomas Seiller CNRS, Paolo Pistone University of Tübingen, Lorenzo Tortora de Falco
09:45 45m Talk		From normal functors to logarithmic space queries DICE-FOPARA Lê Thành Dũng Nguyễn , Pierre Pradic

11:00 - 12:00	VIDICE-FOPARA at S11 Chair(s): Paulin Jacobé De Naurois

11:00 60m Talk		(Invited Talk) Cons-free Rewriting DICE-FOPARA Cynthia Kop Radboud University Nijmegen

13:30 - 15:30	VIIDICE-FOPARA at S11 Chair(s): Marko van Eekelen Open University of the Netherlands

14:00 45m Talk		Modular Runtime Complexity Analysis of Probabilistic While Programs DICE-FOPARA Martin Avanzini INRIA Sophia Antipolis, France, Michael Schaper University of Innsbruck, Georg Moser University of Innsbruck
14:45 45m Talk		Type-Based Resource Analysis on Haskell DICE-FOPARA Franz Siglmüller

16:00 - 18:00	VIII (cancelled)DICE-FOPARA at S11

16:00 45m Talk		Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes DICE-FOPARA Matteo Cristani , Guido Governatori , Francesco Olivieri , Claudio Tomazzoli

Sat 6 Apr
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						17:00						30
S11	DICE-FOPARA I																								DICE-FOPARA II																														DICE-FOPARA III																														DICE-FOPARA IV

Sun 7 Apr
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						17:00						30
S11	DICE-FOPARA V																								DICE-FOPARA VI																														DICE-FOPARA VII																														DICE-FOPARA VIII (cancelled)

Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00			15			30			45			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			17:00			15			30			45
S11										DICE-FOPARA PRAMs over integers do not compute maxflow efficiently 09:45 - 10:30															DICE-FOPARA Towards a Sheaf-Theoretic Definition of Decision Problems 11:00 - 11:45																																				DICE-FOPARA Type-two Iteration with Bounded Query Revision 14:00 - 14:45									DICE-FOPARA Tiered complexity at higher order 14:45 - 15:30															DICE-FOPARA Pointers in Recursion: Exploring the Tropics 16:00 - 16:45									DICE-FOPARA Hierarchical Digging is EXPTIME 16:45 - 17:30

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00			15			30			45			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
S11	DICE-FOPARA Finite semantics of polymorphism, complexity and the power of type fixp ... 09:00 - 09:45									DICE-FOPARA From normal functors to logarithmic space queries 09:45 - 10:30															DICE-FOPARA (Invited Talk) Cons-free Rewriting 11:00 - 12:00																																				DICE-FOPARA Modular Runtime Complexity Analysis of Probabilistic While Programs 14:00 - 14:45									DICE-FOPARA Type-Based Resource Analysis on Haskell 14:45 - 15:30															DICE-FOPARA Applications of Linear Defeasible Logic: combining resource consumption ... 16:00 - 16:45

Room information: S11

Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

DICE-FOPARA

DICE-FOPARA

DICE-FOPARA

DICE-FOPARA

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

DICE-FOPARA

DICE-FOPARA

DICE-FOPARA

DICE-FOPARA

Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ETAPS 2019

Co-hosted Conferences

Workshops

Room information: S11

Program Display Configuration

Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

DICE-FOPARA

DICE-FOPARA

DICE-FOPARA

DICE-FOPARA

Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

DICE-FOPARA

DICE-FOPARA

DICE-FOPARA

DICE-FOPARA

Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change