ETAPS 2019 (series) / DICE-FOPARA 2019 (series) /
DICE-FOPARA 2019 Program
This is the DICE-FOPARA 2019 program - see the full program for ETAPS 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:45 45mTalk | PRAMs over integers do not compute maxflow efficiently DICE-FOPARA | ||
11:00 - 12:00 | |||
11:00 45mTalk | Towards a Sheaf-Theoretic Definition of Decision Problems DICE-FOPARA Damiano Mazza CNRS | ||
13:30 - 15:30 | |||
14:00 45mTalk | Type-two Iteration with Bounded Query Revision DICE-FOPARA | ||
14:45 45mTalk | 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 | |||
16:00 45mTalk | Pointers in Recursion: Exploring the Tropics DICE-FOPARA | ||
16:45 45mTalk | Hierarchical Digging is EXPTIME DICE-FOPARA | ||
Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 45mTalk | 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 45mTalk | From normal functors to logarithmic space queries DICE-FOPARA | ||
11:00 - 12:00 | |||
11:00 60mTalk | (Invited Talk) Cons-free Rewriting DICE-FOPARA Cynthia Kop Radboud University Nijmegen | ||
13:30 - 15:30 | |||
14:00 45mTalk | 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 45mTalk | Type-Based Resource Analysis on Haskell DICE-FOPARA | ||
16:00 - 18:00 | |||
16:00 45mTalk | Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes DICE-FOPARA | ||