VerifyThis 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameS11
Floor0
Room InformationNo extra information available
Program

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
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
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

Sun 7 Apr

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

11:00 - 12:00
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

Sat 6 Apr

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S11

Sun 7 Apr

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S11

Sat 6 Apr

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