CSL-LICS on Friday, July 18th, 2014: Talk View

CSL-LICS ON FRIDAY, JULY 18TH, 2014: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview side by side with other conferences

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

17:30

18:00

09:00-18:00

FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)

Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller

09:00-18:00

FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)

Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller

09:00-18:00

FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)

Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller

09:00-18:00

FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)

Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller

09:00-18:00

FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)

Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller

09:00-18:00

FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)

Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller

09:00-18:00

FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)

Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller

09:00-18:00

FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)

Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller

09:00-18:00

FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)

Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller

09:00-18:00

FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)

Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller

09:00-18:00

FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)

David Cok, David Deharbe, Tjark Weber

09:00-18:00

FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)

David Cok, David Deharbe, Tjark Weber

09:00-18:00

FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)

David Cok, David Deharbe, Tjark Weber

09:00-18:00

FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)

David Cok, David Deharbe, Tjark Weber

09:00-18:00

FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)

David Cok, David Deharbe, Tjark Weber

09:00-18:00

FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)

David Cok, David Deharbe, Tjark Weber

09:00-18:00

FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)

David Cok, David Deharbe, Tjark Weber

09:00-18:00

FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)

David Cok, David Deharbe, Tjark Weber

09:00-18:00

FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)

David Cok, David Deharbe, Tjark Weber

09:00-18:00

FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)

David Cok, David Deharbe, Tjark Weber

09:15-10:15

Trade-Off Analysis Meets Probabilistic Model Checking

Christel Baier, Clemens Dubslaff, Sascha Klueppelholz

10:45-11:15

Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy

Christoph Haase

11:15-11:45

On the Discriminating Power of Passivation and Higher-Order Interaction

Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli

11:45-12:15

Asymptotic behaviour in temporal logic

Eugene Asarin, Michel Bockelet, Aldric Degorre, Cătălin Dima, Chunyan Mu

12:15-12:45

Weight Monitoring with Linear Temporal Logic: Complexity and Decidability

Christel Baier, Joachim Klein, Sascha Klueppelholz, Sascha Wunderlich

10:45-11:15

On Context Semantics for Interaction Nets

Matthieu Perrinel

11:15-11:45

The Geometry of Synchronization

Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu

11:45-12:15

A new correctness criterion for MLL proof nets

Thomas Ehrhard

12:15-12:45

Non-Elementary Complexities for Branching VASS, MELL, and Extensions

Ranko Lazić, Sylvain Schmitz

14:30-15:00

Regular Combinators for String Transformations

Rajeev Alur, Adam Freilich, Mukund Raghothaman

15:00-15:30

On Periodically Iterated Morphisms

Joerg Endrullis, Dimitri Hendriks

15:30-16:00

Finite-Memory Strategy Synthesis for Robust Multidimensional Mean-Payoff Objectives

Yaron Velner

14:30-15:00

A type theory for productive coprogramming via guarded recursion

Rasmus Ejlers Møgelberg

15:00-15:30

Formulae-as-Types for an Involutive Negation

Guillaume Munch-Maccagnoni

15:30-16:00

Eilenberg-MacLane Spaces in Homotopy Type Theory

Daniel R. Licata, Eric Finster

14:30-15:15

Weak well orders and related inductions

Gerhard Jaeger

15:15-16:00

Automating inductive proof

Alan Bundy

14:30-15:15

Weak well orders and related inductions

Gerhard Jaeger

15:15-16:00

Automating inductive proof

Alan Bundy

16:30-17:00

Citations for the Test-of-Time Award from 1994

Dexter Kozen

17:00-17:30

The Ackermann Award 2014

Anuj Dawar

10:15-10:45 Coffee Break

13:00-14:30 Lunch Break

16:00-16:30 Coffee Break