Auteur

Titre

Premier lecteur

Deuxième lecteur

Heure

Signalé le :

M.Lange

Model checking PDL with all extras

Jaubert

8h30

<=2/10

E. A. Emerson

Temporal and modal Logic

Malinowski

9h10

<=2/10

Pauly et Parikh

Game logic, an introduction

Sadoun

Martin

9h50

<=2/10

Berwanger

Game logic is strong enough for parity games

Pesci

Rebatel

10h50

<=2/10

Klauck

Algorithmes pour les jeux de parités

Vincent

11h50

<=2/10

Jurdcinski et al.

D'autres algorithmes pour les jeux de parités

El Khediri

Tamzalit

13h30

<=2/10

Ghilardi et al.

Algebraic and model theoretic techniques in modal logics

Masmoudi

Manai

14h30

=8/10