LIX Colloquium
Reachability Problems'09
September 23rd-25th 2009
Ecole Polytechnique, France
Main.ProgrammeProject History
Hide minor edits - Show changes to markup
August 18, 2009, at 10:20 AM
by
- 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
- Added lines 142-143:
\\
August 18, 2009, at 10:12 AM
by
- 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
- 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
- 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
- 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
- Added line 56:
Added line 58:
August 18, 2009, at 10:00 AM
by
- Deleted line 5:
\\
August 18, 2009, at 09:59 AM
by
- Added line 6:
\\
August 18, 2009, at 09:59 AM
by
- Added line 7:
Added line 9:
August 18, 2009, at 09:59 AM
by
- Changed line 49 from:
\\
to:
August 18, 2009, at 09:58 AM
by
- Added lines 47-49:
\\
August 18, 2009, at 09:58 AM
by
- Changed lines 46-47 from:
to:
August 18, 2009, at 09:58 AM
by
- 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
- Changed lines 42-44 from:
to:
- 18h00: Bus Meeting in Palaiseau for the bus Palaiseau -> Paris
August 18, 2009, at 09:52 AM
by
- 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
- 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
- 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
- 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
- Changed line 13 from:
Invited Talk (Moshe Vardi)
to:
Moshe Vardi's Invited Talk
August 18, 2009, at 09:45 AM
by
- August 18, 2009, at 09:44 AM
by
- 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
- Changed line 9 from:
Opening
to:
Opening & Coffee Break
August 18, 2009, at 09:42 AM
by
- 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
- Changed line 1 from:
Program
to:
Program
August 18, 2009, at 09:42 AM
by
- Changed lines 1-7 from:
to:
Program
August 18, 2009, at 09:41 AM
by
- Changed lines 1-2 from:
Program
to:
August 18, 2009, at 09:39 AM
by
- August 18, 2009, at 09:39 AM
by
- Changed lines 1-4 from:
Program
to:
Program
August 18, 2009, at 09:38 AM
by
- 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
- Changed lines 20-22 from:
\\
to:
Lunch break
August 18, 2009, at 09:37 AM
by
- Changed line 8 from:
Opening & Invited 1
to:
Opening & Invited 1
August 18, 2009, at 09:37 AM
by
- Added lines 7-8:
Opening & Invited 1
August 18, 2009, at 09:36 AM
by
- 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
- 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
- Changed line 12 from:
- 11h30- 12h05:
to:
- 11h30- 12h05: Session 1
August 18, 2009, at 09:35 AM
by
- 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
- 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
- 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
- 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
- Changed line 9 from:
- 10h30-11h30:
to:
- 10h30-11h30: Moshe Vardi
Deleted line 10:
- Moshe Vardi
August 18, 2009, at 09:32 AM
by
- Changed line 11 from:
- Moshe Vardi
to:
- Moshe Vardi
August 18, 2009, at 09:32 AM
by
- 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
- 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
- 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
- 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
- Changed lines 11-13 from:
to:
August 18, 2009, at 09:30 AM
by
- Changed line 11 from:
Moshe Vardi
to:
August 18, 2009, at 09:29 AM
by
- Changed lines 11-12 from:
Moshe Vardi
to:
Moshe Vardi
August 18, 2009, at 09:29 AM
by
- 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
- 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
- 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
- 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
- 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
- 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
- Changed lines 10-11 from:
- Invited Talk: Model Checking as A Reachability Problem
- Moshe Vardi
- Invited Talk: Model Checking as A Reachability Problem
to:
- Invited Talk: Model Checking as A Reachability Problem\\Moshe Vardi
August 18, 2009, at 09:27 AM
by
- 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
- Invited Talk: Model Checking as A Reachability Problem
August 18, 2009, at 09:27 AM
by
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Deleted lines 2-6:
9H00 | Bus Meeting in Paris for the bus Paris -> Palaiseau |
| ALLO | TERRE |
August 18, 2009, at 09:24 AM
by
- Changed line 7 from:
to:
| ALLO | TERRE |
August 18, 2009, at 09:24 AM
by
- Changed lines 3-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:23 AM
by
- Changed line 4 from:
Hdr | Hdr | Hdr |
---|
to:
9H00 | Bus Meeting in Paris for the bus Paris -> Palaiseau |
August 18, 2009, at 09:23 AM
by
- Added lines 2-7:
Hdr | Hdr | Hdr |
---|---|---|
August 18, 2009, at 09:21 AM
by
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Deleted line 0:
Added lines 6-7:
- 9h45-10h20:
- Registration
August 18, 2009, at 09:15 AM
by
- Added lines 1-6:
Program
Wednesday, September 23.
- 9h00: Bus Meeting in Paris for the bus Paris -> Palaiseau