LIX Colloquium
Reachability Problems'09

September 23rd-25th 2009

Ecole Polytechnique, France







Recent Changes- Printable Version - Search:



 

Main.ProgrammeProject History

Hide minor edits - Show changes to markup

August 18, 2009, at 10:20 AM by 129.104.11.1 -
Changed line 71 from:
  • Games on Higher Order Multi-Stack Pushdown Systems,Anil Seth
to:
  • Games on Higher Order Multi-Stack Pushdown Systems, Anil Seth
Changed line 73 from:
  • Forward Analysis of Dynamic Networks of Pushdown Systems is Easier without Order,Denis Lugiez
to:
  • Forward Analysis of Dynamic Networks of Pushdown Systems is Easier without Order, Denis Lugiez
Changed lines 75-77 from:
  • How to Tackle Integer Weighted Automata Positivity,Yohan Boichut, Pierre-Cyrille Heam and Olga Kouchnarenko
to:
  • How to Tackle Integer Weighted Automata Positivity, Yohan Boichut, Pierre-Cyrille Heam and Olga Kouchnarenko
Changed line 133 from:
  • On Yen's Path Logic for Petri Nets,Mohamed Faouzi Atig and Peter Habermehl
to:
  • On Yen's Path Logic for Petri Nets, Mohamed Faouzi Atig and Peter Habermehl
Changed line 135 from:
  • Counting multiplicity over infinite alphabets,Amaldev Manuel and R. Ramanujam
to:
  • Counting multiplicity over infinite alphabets, Amaldev Manuel and R. Ramanujam
Changed line 137 from:
  • Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates,Roberto Barbuti, Francesca Levi, Paolo Milazzo and Guido Scatena
to:
  • Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates, Roberto Barbuti, Francesca Levi, Paolo Milazzo and Guido Scatena
August 18, 2009, at 10:12 AM by 129.104.11.1 -
Added lines 142-143:


\\

August 18, 2009, at 10:12 AM by 129.104.11.1 -
Changed lines 140-142 from:

Lunch break (12h35-14h00)

to:

Lunch break (12h35-13h45)

Changed line 145 from:
  • 14h00: Bus Meeting in Palaiseau for the bus Palaiseau -> Paris
to:
  • 13h45: Bus Meeting in Palaiseau for the bus Palaiseau -> Paris
August 18, 2009, at 10:11 AM by 129.104.11.1 -
Added lines 110-112:

Deleted lines 115-116:

Added lines 138-148:

Lunch break (12h35-14h00)


  • 14h00: Bus Meeting in Palaiseau for the bus Palaiseau -> Paris

August 18, 2009, at 10:10 AM by 129.104.11.1 -
Changed line 70 from:
  • 10h50-11h25
to:
  • 10h50-11h25:
Changed line 72 from:
  • 11h25-12h00
to:
  • 11h25-12h00:
Changed line 74 from:
  • 12h00-12h35
to:
  • 12h00-12h35:
Added lines 109-139:




Friday, September 25.


  • 8h30: Bus Meeting in Paris for the bus Paris -> Palaiseau

Thomas Henzinger's Invited Talk (9h30-10h30)

  • Formalisms for Specifying Markovian Population Models, Thomas Henzinger, Barbara Jobstmann and Verena Wolf

Coffee Break (10h30-10h50)

Session 5 (10h50-12h35)

  • 10h50-11h25:
    • On Yen's Path Logic for Petri Nets,Mohamed Faouzi Atig and Peter Habermehl
  • 11h25-12h00:
    • Counting multiplicity over infinite alphabets,Amaldev Manuel and R. Ramanujam
  • 12h00-12h35:
    • Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates,Roberto Barbuti, Francesca Levi, Paolo Milazzo and Guido Scatena
August 18, 2009, at 10:06 AM by 129.104.11.1 -
Changed lines 32-34 from:
to:

Coffee break (15h00-15h20)

Added lines 78-108:

Lunch break (12h35-14h00)

Alexander Shen's Invited Talk (14h00-15h00)

  • Algorithmic Information Theory and Foundations of Probability, Alexander Shen

Coffee break (15h00-15h20)

Session 4 (15h20- 17h05)

  • 15h20-15h55:
    • Games with Opacity Condition, Bastien Maubert and Sophie Pinchinat
  • 15h55-16h30:
    • An Undecidable Permutation of the Natural Numbers, Eero Lehtonen
  • 16h30-17h05:
    • The periodic domino problem is undecidable in the hyperbolic plane, Maurice Margenstern

  • 17h15: Bus Meeting in Palaiseau for the bus Palaiseau -> Paris

Social events

  • Social event (optional visit)
  • 20h15:
    • Dinner at a restaurant in Paris


\\

August 18, 2009, at 10:00 AM by 129.104.11.1 -
Added line 56:

Added line 58:

August 18, 2009, at 10:00 AM by 129.104.11.1 -
Deleted line 5:

\\

August 18, 2009, at 09:59 AM by 129.104.11.1 -
Added line 6:

\\

August 18, 2009, at 09:59 AM by 129.104.11.1 -
Added line 7:

Added line 9:

August 18, 2009, at 09:59 AM by 129.104.11.1 -
Changed line 49 from:

\\

to:
August 18, 2009, at 09:58 AM by 129.104.11.1 -
Added lines 47-49:



\\

August 18, 2009, at 09:58 AM by 129.104.11.1 -
Changed lines 46-47 from:
to:


August 18, 2009, at 09:58 AM by 129.104.11.1 -
Added lines 45-66:

Thursday, September 24.

  • 8h30: Bus Meeting in Paris for the bus Paris -> Palaiseau

Ahmed Bouajjani's Invited Talk (9h30-10h30)

  • On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems, Ahmed Bouajjani and Mohamed Faouzi Atig

Coffee Break (10h30-10h50)

Session 3 (10h50-12h35)

  • 10h50-11h25
    • Games on Higher Order Multi-Stack Pushdown Systems,Anil Seth
  • 11h25-12h00
    • Forward Analysis of Dynamic Networks of Pushdown Systems is Easier without Order,Denis Lugiez
  • 12h00-12h35
    • How to Tackle Integer Weighted Automata Positivity,Yohan Boichut, Pierre-Cyrille Heam and Olga Kouchnarenko
August 18, 2009, at 09:52 AM by 129.104.11.1 -
Changed lines 42-44 from:
to:

  • 18h00: Bus Meeting in Palaiseau for the bus Palaiseau -> Paris
August 18, 2009, at 09:52 AM by 129.104.11.1 -
Changed lines 30-31 from:

Coffee Break (15h00-15h20)

to:
Added lines 32-41:
  • 15h20-15h55:
    • Abstract Counterexamples for Non-Disjunctive Abstractions, Kenneth McMillan and Lenore Zuck
  • 15h55-16h30:
    • Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems, Pieter Collins and Ivan Zapreev
  • 16h30-17h05:
    • Limit Set Reachability in Asynchronous Graph Dynamical Systems, Anil Vullikanti, Henning Mortveit and Matt Macauley
  • 17h05-17h40:
    • Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-based Systems, Christoph Minnameier and Mila Majster-Cederbaum
August 18, 2009, at 09:48 AM by 129.104.11.1 -
Changed lines 26-34 from:

Invited Talk (Oded Maler)

to:

Oded Maler's Invited Talk (14h00-15h00)

  • Reachability for Continuous and Hybrid Systems, Oded Maler

Coffee Break (15h00-15h20)

Session 2 (15h20- 17h40)

August 18, 2009, at 09:46 AM by 129.104.11.1 -
Changed line 15 from:
  • Model Checking as A Reachability Problem, Moshe Vardi
to:
  • Model Checking as A Reachability Problem, Moshe Vardi
August 18, 2009, at 09:45 AM by 129.104.11.1 -
Changed lines 13-14 from:

Moshe Vardi's Invited Talk

  • 10h30-11h30:
to:

Moshe Vardi's Invited Talk (10h30-11h30)

August 18, 2009, at 09:45 AM by 129.104.11.1 -
Changed line 13 from:

Invited Talk (Moshe Vardi)

to:

Moshe Vardi's Invited Talk

August 18, 2009, at 09:45 AM by 129.104.11.1 -
August 18, 2009, at 09:44 AM by 129.104.11.1 -
Changed line 13 from:

Invited Talk

to:

Invited Talk (Moshe Vardi)

Added line 26:

Invited Talk (Oded Maler)

August 18, 2009, at 09:43 AM by 129.104.11.1 -
Changed line 9 from:

Opening

to:

Opening & Coffee Break

August 18, 2009, at 09:42 AM by 129.104.11.1 -
Changed line 9 from:

Opening & Invited 1

to:

Opening

Changed lines 12-14 from:
  • 10h30-11h30: Invited Talk
to:

Invited Talk

  • 10h30-11h30:
August 18, 2009, at 09:42 AM by 129.104.11.1 -
Changed line 1 from:

Program

to:

Program

August 18, 2009, at 09:42 AM by 129.104.11.1 -
Changed lines 1-7 from:
to:

Program

August 18, 2009, at 09:41 AM by 129.104.11.1 -
Changed lines 1-2 from:

Program

to:
August 18, 2009, at 09:39 AM by 129.104.11.1 -
August 18, 2009, at 09:39 AM by 129.104.11.1 -
Changed lines 1-4 from:

Program

to:

Program


August 18, 2009, at 09:38 AM by 129.104.11.1 -
Changed lines 14-16 from:

Session 1

  • 11h30- 12h05: Session 1
to:

Session 1 (11h30-12h40)

  • 11h30- 12h05:
Changed lines 21-24 from:

Lunch break

12h40-14h00: lunch

to:

Lunch break (12h40-14h00)

August 18, 2009, at 09:38 AM by 129.104.11.1 -
Changed lines 20-22 from:

\\

to:

Lunch break

August 18, 2009, at 09:37 AM by 129.104.11.1 -
Changed line 8 from:

Opening & Invited 1

to:

Opening & Invited 1

August 18, 2009, at 09:37 AM by 129.104.11.1 -
Added lines 7-8:

Opening & Invited 1

August 18, 2009, at 09:36 AM by 129.104.11.1 -
Changed lines 4-5 from:

Wednesday, September 23.

to:

Wednesday, September 23.

Added lines 11-12:

Session 1

August 18, 2009, at 09:36 AM by 129.104.11.1 -
Changed line 15 from:
  • A Reduction Theorem for the Verification of Round-Based Distributed Algorithms, Mouna Chaouch-Saad, Bernadette Charron-Bost and Stephan Merz
to:
  • A Reduction Theorem for the Verification of Round-Based Distributed Algorithms, Mouna Chaouch-Saad, Bernadette Charron-Bost and Stephan Merz
August 18, 2009, at 09:35 AM by 129.104.11.1 -
Changed line 12 from:
  • 11h30- 12h05:
to:
  • 11h30- 12h05: Session 1
August 18, 2009, at 09:35 AM by 129.104.11.1 -
Changed line 10 from:
  • Model Checking as A Reachability Problem, Moshe Vardi
to:
  • Model Checking as A Reachability Problem, Moshe Vardi
August 18, 2009, at 09:35 AM by 129.104.11.1 -
Changed line 10 from:
  • Moshe Vardi, Model Checking as A Reachability Problem
to:
  • Model Checking as A Reachability Problem, Moshe Vardi
August 18, 2009, at 09:34 AM by 129.104.11.1 -
Changed lines 10-11 from:
  • Model Checking as A Reachability Problem

Moshe Vardi

to:
  • Moshe Vardi, Model Checking as A Reachability Problem
August 18, 2009, at 09:34 AM by 129.104.11.1 -
Changed lines 9-10 from:
  • 10h30-11h30: Moshe Vardi
    • Invited Talk: Model Checking as A Reachability Problem
to:
  • 10h30-11h30: Invited Talk
    • Model Checking as A Reachability Problem

Moshe Vardi

August 18, 2009, at 09:33 AM by 129.104.11.1 -
Changed line 9 from:
  • 10h30-11h30:
to:
  • 10h30-11h30: Moshe Vardi
Deleted line 10:
  • Moshe Vardi
August 18, 2009, at 09:32 AM by 129.104.11.1 -
Changed line 11 from:
  • Moshe Vardi
to:
  • Moshe Vardi
August 18, 2009, at 09:32 AM by 129.104.11.1 -
Changed lines 10-11 from:
  • Invited Talk: Model Checking as A Reachability Problem, ** Moshe Vardi
to:
  • Invited Talk: Model Checking as A Reachability Problem
  • Moshe Vardi
August 18, 2009, at 09:32 AM by 129.104.11.1 -
Changed line 10 from:
  • Invited Talk: Model Checking as A Reachability Problem, Moshe Vardi
to:
  • Invited Talk: Model Checking as A Reachability Problem, ** Moshe Vardi
August 18, 2009, at 09:31 AM by 129.104.11.1 -
Changed line 7 from:
  • 9h45-10h20: Registration\\ & Coffee Break
to:
  • 9h45-10h20: Registration & Coffee Break
Changed line 10 from:
  • Invited Talk: Model Checking as A Reachability Problem\\ Moshe Vardi
to:
  • Invited Talk: Model Checking as A Reachability Problem, Moshe Vardi
August 18, 2009, at 09:31 AM by 129.104.11.1 -
Changed line 7 from:
  • 9h45-10h20: Registration & Coffee Break
to:
  • 9h45-10h20: Registration\\ & Coffee Break
Changed lines 10-13 from:
to:
  • Invited Talk: Model Checking as A Reachability Problem\\ Moshe Vardi
August 18, 2009, at 09:30 AM by 129.104.11.1 -
Changed lines 11-13 from:
to:
August 18, 2009, at 09:30 AM by 129.104.11.1 -
Changed line 11 from:


Moshe Vardi

to:
August 18, 2009, at 09:29 AM by 129.104.11.1 -
Changed lines 11-12 from:


 Moshe Vardi
to:


Moshe Vardi

August 18, 2009, at 09:29 AM by 129.104.11.1 -
Changed lines 10-12 from:
  • Invited Talk: Model Checking as A Reachability Problem// Moshe Vardi
to:
  • Invited Talk: Model Checking as A Reachability Problem


 Moshe Vardi
August 18, 2009, at 09:28 AM by 129.104.11.1 -
Changed line 10 from:
  • Invited Talk: Model Checking as A Reachability Problem\\ Moshe Vardi
to:
  • Invited Talk: Model Checking as A Reachability Problem// Moshe Vardi
August 18, 2009, at 09:28 AM by 129.104.11.1 -
Changed line 10 from:
  • Invited Talk: Model Checking as A Reachability Problem,Moshe Vardi
to:
  • Invited Talk: Model Checking as A Reachability Problem\\ Moshe Vardi
August 18, 2009, at 09:28 AM by 129.104.11.1 -
Changed line 10 from:
  • Invited Talk: Model Checking as A Reachability Problem,\\ Moshe Vardi
to:
  • Invited Talk: Model Checking as A Reachability Problem,Moshe Vardi
August 18, 2009, at 09:28 AM by 129.104.11.1 -
Changed lines 10-11 from:
  • Invited Talk: Model Checking as A Reachability Problem

\\Moshe Vardi

to:
  • Invited Talk: Model Checking as A Reachability Problem,\\ Moshe Vardi
August 18, 2009, at 09:28 AM by 129.104.11.1 -
Changed lines 10-11 from:
  • Invited Talk: Model Checking as A Reachability Problem\\Moshe Vardi
to:
  • Invited Talk: Model Checking as A Reachability Problem

\\Moshe Vardi

August 18, 2009, at 09:28 AM by 129.104.11.1 -
Changed lines 10-11 from:
  • Invited Talk: Model Checking as A Reachability Problem
    • Moshe Vardi
to:
  • Invited Talk: Model Checking as A Reachability Problem\\Moshe Vardi
August 18, 2009, at 09:27 AM by 129.104.11.1 -
Changed lines 9-10 from:
  • 10h30-11h30: Invited Talk:
    • Model Checking as A Reachability Problem Moshe Vardi
to:
  • 10h30-11h30:
    • Invited Talk: Model Checking as A Reachability Problem
      • Moshe Vardi
August 18, 2009, at 09:27 AM by 129.104.11.1 -
Changed lines 9-10 from:
  • 10h30-11h30:
    • Invited Talk: Model Checking as A Reachability Problem Moshe Vardi
to:
  • 10h30-11h30: Invited Talk:
    • Model Checking as A Reachability Problem Moshe Vardi
August 18, 2009, at 09:27 AM by 129.104.11.1 -
Changed lines 10-12 from:
  • Invited Talk: Model Checking as A Reachability Problem
Hanging indent

Moshe Vardi

to:
  • Invited Talk: Model Checking as A Reachability Problem Moshe Vardi
August 18, 2009, at 09:26 AM by 129.104.11.1 -
Changed lines 10-12 from:
  • Invited Talk: Model Checking as A Reachability Problem \\Moshe Vardi
to:
  • Invited Talk: Model Checking as A Reachability Problem
Hanging indent

Moshe Vardi

August 18, 2009, at 09:26 AM by 129.104.11.1 -
Changed lines 10-11 from:
  • Invited Talk: Model Checking as A Reachability Problem
 Moshe Vardi
to:
  • Invited Talk: Model Checking as A Reachability Problem \\Moshe Vardi
August 18, 2009, at 09:26 AM by 129.104.11.1 -
Changed lines 10-11 from:
  • Invited Talk: Model Checking as A Reachability Problem\\ Moshe Vardi
to:
  • Invited Talk: Model Checking as A Reachability Problem
 Moshe Vardi
August 18, 2009, at 09:26 AM by 129.104.11.1 -
Changed lines 8-9 from:
  • 10h20-10h30:
    • Opening
to:
  • 10h20-10h30: Opening
Changed line 10 from:
  • Invited Talk: Model Checking as A Reachability Problem, Moshe Vardi
to:
  • Invited Talk: Model Checking as A Reachability Problem\\ Moshe Vardi
August 18, 2009, at 09:25 AM by 129.104.11.1 -
Changed lines 6-9 from:
  • 9h00:
    Bus Meeting in Paris for the bus Paris -> Palaiseau
  • 9h45-10h20:
    • Registration & Coffee Break
to:
  • 9h00: Bus Meeting in Paris for the bus Paris -> Palaiseau
  • 9h45-10h20: Registration & Coffee Break
August 18, 2009, at 09:25 AM by 129.104.11.1 -
Changed lines 6-7 from:
  • 9h00:
    • Bus Meeting in Paris for the bus Paris -> Palaiseau
to:
  • 9h00:
    Bus Meeting in Paris for the bus Paris -> Palaiseau
August 18, 2009, at 09:24 AM by 129.104.11.1 -
Deleted lines 2-6:
9H00Bus Meeting in Paris for the bus Paris -> Palaiseau
  
  

| ALLO | TERRE |

August 18, 2009, at 09:24 AM by 129.104.11.1 -
Changed line 7 from:
to:

| ALLO | TERRE |

August 18, 2009, at 09:24 AM by 129.104.11.1 -
Changed lines 3-6 from:
9H00Bus Meeting in Paris for the bus Paris -> Palaiseau 
   
   
to:
9H00Bus Meeting in Paris for the bus Paris -> Palaiseau
  
  
August 18, 2009, at 09:23 AM by 129.104.11.1 -
Changed line 4 from:
HdrHdrHdr
to:
9H00Bus Meeting in Paris for the bus Paris -> Palaiseau 
August 18, 2009, at 09:23 AM by 129.104.11.1 -
Added lines 2-7:
HdrHdrHdr
   
   
August 18, 2009, at 09:21 AM by 129.104.11.1 -
Changed lines 7-11 from:
  • 9h45-10h20: Registration & Coffee Break
  • 10h20-10h30: Opening
  • 10h30-11h30: Invited Talk: Model Checking as A Reachability Problem, Moshe Vardi
  • 11h30- 12h05:Automatic Verification of Directory-based Consistency Protocols, Parosh Aziz Abdulla, Giorgio Delzanno and Ahmed Rezine
  • 12h05-12h40: A Reduction Theorem for the Verification of Round-Based Distributed Algorithms, Mouna Chaouch-Saad, Bernadette Charron-Bost and Stephan Merz
to:
  • 9h45-10h20:
    • Registration & Coffee Break
  • 10h20-10h30:
    • Opening
  • 10h30-11h30:
    • Invited Talk: Model Checking as A Reachability Problem, Moshe Vardi
  • 11h30- 12h05:
    • Automatic Verification of Directory-based Consistency Protocols, Parosh Aziz Abdulla, Giorgio Delzanno and Ahmed Rezine
  • 12h05-12h40:
    • A Reduction Theorem for the Verification of Round-Based Distributed Algorithms, Mouna Chaouch-Saad, Bernadette Charron-Bost and Stephan Merz
August 18, 2009, at 09:21 AM by 129.104.11.1 -
Changed lines 5-6 from:
  • 9h00: Bus Meeting in Paris for the bus Paris -> Palaiseau
to:
  • 9h00:
    • Bus Meeting in Paris for the bus Paris -> Palaiseau
August 18, 2009, at 09:21 AM by 129.104.11.1 -
Changed line 8 from:

10h30-11h30: Invited Talk: Model Checking as A Reachability Problem, Moshe Vardi

to:
  • 10h30-11h30: Invited Talk: Model Checking as A Reachability Problem, Moshe Vardi
August 18, 2009, at 09:20 AM by 129.104.11.1 -
Changed lines 8-13 from:

10h30-11h30:

  • Invited Talk: Model Checking as A Reachability Problem, Moshe Vardi
  • 11h30- 12h05:
    • Automatic Verification of Directory-based Consistency Protocols, Parosh Aziz Abdulla, Giorgio Delzanno and Ahmed Rezine
  • 12h05-12h40
to:

10h30-11h30: Invited Talk: Model Checking as A Reachability Problem, Moshe Vardi

  • 11h30- 12h05:Automatic Verification of Directory-based Consistency Protocols, Parosh Aziz Abdulla, Giorgio Delzanno and Ahmed Rezine
  • 12h05-12h40: A Reduction Theorem for the Verification of Round-Based Distributed Algorithms, Mouna Chaouch-Saad, Bernadette Charron-Bost and Stephan Merz


12h40-14h00: lunch

August 18, 2009, at 09:19 AM by 129.104.11.1 -
Changed lines 6-10 from:
  • 9h45-10h20:
    • Registration & Coffee Break
  • 10h20-10h30:
    • Opening
  • 10h30-11h30:
to:
  • 9h45-10h20: Registration & Coffee Break
  • 10h20-10h30: Opening

10h30-11h30:

August 18, 2009, at 09:19 AM by 129.104.11.1 -
Changed line 7 from:
  • Registration
to:
  • Registration & Coffee Break
Changed lines 10-11 from:
  • 10h30:
    • Invited Talk: Model Checking as A Reachability Problem, Moshe Vardi
to:
  • 10h30-11h30:
    • Invited Talk: Model Checking as A Reachability Problem, Moshe Vardi
  • 11h30- 12h05:
    • Automatic Verification of Directory-based Consistency Protocols, Parosh Aziz Abdulla, Giorgio Delzanno and Ahmed Rezine
  • 12h05-12h40
August 18, 2009, at 09:18 AM by 129.104.11.1 -
Changed line 11 from:
  • Invited Talk: "Moshe Vardi", Model Checking as A Reachability Problem
to:
  • Invited Talk: Model Checking as A Reachability Problem, Moshe Vardi
August 18, 2009, at 09:17 AM by 129.104.11.1 -
Changed lines 7-11 from:
  • Registration
to:
  • Registration
  • 10h20-10h30:
    • Opening
  • 10h30:
    • Invited Talk: "Moshe Vardi", Model Checking as A Reachability Problem
August 18, 2009, at 09:16 AM by 129.104.11.1 -
Deleted line 0:
Added lines 6-7:
  • 9h45-10h20:
    • Registration
August 18, 2009, at 09:15 AM by 129.104.11.1 -
Added lines 1-6:

Program

Wednesday, September 23.

  • 9h00: Bus Meeting in Paris for the bus Paris -> Palaiseau
Edit - History - Print - Recent Changes - Search - Edit menu - Private
Page last modified on August 18, 2009, at 10:20 AM
eXTReMe Tracker