Program for Thursday, May 11th: Talk View

PROGRAM FOR THURSDAY, MAY 11TH: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

LPAR-21

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

09:00-10:00

Programming by Composing Filters

Jeffrey Fischer, Rupak Majumdar

10:30-11:00

Analyzing Runtime Complexity via Innermost Runtime Complexity

Florian Frohn, Jürgen Giesl

11:00-11:30

Higher order interpretation for higher order complexity

Emmanuel Hainry, Romain Péchoux

11:30-12:00

From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes

Yazid Boumarafi, Lakhdar Sais, Yakoub Salhi

12:00-12:30

On Simultaneous Transformations with Overlapping Graph Rewrite Systems

Rachid Echahed, Aude Maignan

14:00-14:30

A Quantitative Partial Model-Checking Function and Its Optimisation

Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini

14:30-15:00

Synchronizing Constrained Horn Clauses

Dmitry Mordvinov, Grigory Fedyukovich

15:00-15:30

Seminator: A Tool for Semi-Determinization of Omega-Automata

F. Blahoudek, A. Duret-Lutz, M. Klokočka, M. Kretinsky, J. Strejcek

16:00-16:15

Decidability of Fair Termination of Gossip Protocols

Krzysztof Apt, Dominik Wojtczak

16:15-16:30

Translating C# to Branching Symbolic Transducers

Olli Saarikivi, Margus Veanes

10:00-10:30 Break

12:30-14:00 Lunch

15:30-16:00 Break