LIX Colloquium
Reachability Problems'09

September 23rd-25th 2009

Ecole Polytechnique, France







Recent Changes- Printable Version - Search:



 

Main.Programme History

Hide minor edits - Show changes to markup

October 16, 2009, at 04:30 PM by 129.104.11.1 -
Changed line 83 from:
to:
October 16, 2009, at 04:26 PM by 129.104.11.1 -
Changed lines 31-32 from:
  • Reachability for Continuous and Hybrid Systems, Oded Maler
to:
  • Reachability for Continuous and Hybrid Systems, Oded Maler Slides
Added line 83:
October 16, 2009, at 01:31 PM by 129.104.11.1 -
Changed lines 18-20 from:
  • Model Checking as A Reachability Problem, Moshe Vardi

Slides

to:
  • Model Checking as A Reachability Problem, Moshe Vardi Slides
October 16, 2009, at 01:30 PM by 129.104.11.1 -
Changed lines 18-20 from:
  • Model Checking as A Reachability Problem, Moshe Vardi Slides.pdf
to:
  • Model Checking as A Reachability Problem, Moshe Vardi

Slides

October 16, 2009, at 01:30 PM by 129.104.11.1 -
Changed line 18 from:
to:
  • Model Checking as A Reachability Problem, Moshe Vardi Slides.pdf
October 16, 2009, at 01:29 PM by 129.104.11.1 -
Changed line 18 from:
  • Model Checking as A Reachability Problem, Moshe Vardi
to:
September 22, 2009, at 09:57 PM by 82.241.88.117 -
Changed line 9 from:
  • 9h00: Bus Meeting in Paris for the bus Paris -> Palaiseau
to:
  • 9h00: Bus Departure in Paris for the bus Paris -> Palaiseau
Changed lines 49-50 from:
  • 18h00: Bus Meeting in Palaiseau for the bus Palaiseau -> Paris
to:
  • 18h00: Bus Departure in Palaiseau for the bus Palaiseau -> Paris
Changed line 59 from:
  • 8h30: Bus Meeting in Paris for the bus Paris -> Palaiseau
to:
  • 8h30: Bus Departure in Paris for the bus Paris -> Palaiseau
Changed lines 98-99 from:
  • 17h15: Bus Meeting in Palaiseau for the bus Palaiseau -> Paris
to:
  • 17h15: Bus Departure in Palaiseau for the bus Palaiseau -> Paris
Changed line 118 from:
  • 8h30: Bus Meeting in Paris for the bus Paris -> Palaiseau
to:
  • 8h30: Bus Departure in Paris for the bus Paris -> Palaiseau
Changed line 144 from:
  • 13h45: Bus Meeting in Palaiseau for the bus Palaiseau -> Paris
to:
  • 13h45: Bus Departure in Palaiseau for the bus Palaiseau -> Paris
September 16, 2009, at 05:03 PM by 129.104.11.1 -
Added line 3:
September 04, 2009, at 02:22 PM by 129.104.11.1 -
Changed lines 55-56 from:
to:


Changed lines 114-115 from:
to:

\\

September 04, 2009, at 02:08 PM by 129.104.11.1 -
Changed lines 5-6 from:
to:


Added lines 54-55:

Thursday, September 24.

Deleted lines 56-59:

Thursday, September 24.


Deleted lines 107-108:

September 04, 2009, at 02:07 PM by 129.104.11.1 -
Deleted line 1:

August 18, 2009, at 02:34 PM by 129.104.11.1 -
Changed lines 1-154 from:

This page will exist soon.

to:

Program


Wednesday, September 23.


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

Opening & Coffee Break

  • 9h45-10h20: Registration & Coffee Break
  • 10h20-10h30: Opening

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

  • Model Checking as A Reachability Problem, Moshe Vardi

Session 1 (11h30-12h40)

  • 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

Lunch break (12h40-14h00)

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

  • Reachability for Continuous and Hybrid Systems, Oded Maler

Coffee break (15h00-15h20)

Session 2 (15h20- 17h40)

  • 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

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




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

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






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

Lunch break (12h35-13h45)




  • 13h45: Bus Meeting in Palaiseau for the bus Palaiseau -> Paris

November 12, 2008, at 09:45 PM by 127.0.0.1 -
Added line 1:

This page will exist soon.

Edit - History - Print - Recent Changes - Search - Edit menu - Private
Page last modified on October 16, 2009, at 04:30 PM
eXTReMe Tracker