LIX Colloquium
Reachability Problems'09
September 23rd-25th 2009
Ecole Polytechnique, France
Main.Programme History
Hide minor edits - Show changes to output
October 16, 2009, at 04:30 PM
by -
Changed line 83 from:
[[(Attach:)Slides.pdf| Slides]]
to:
[[(Attach:)SlidesAS.pdf| Slides]]
October 16, 2009, at 04:26 PM
by -
Changed lines 31-32 from:
* ''Reachability for Continuous and Hybrid Systems'', '''Oded Maler'''
to:
* ''Reachability for Continuous and Hybrid Systems'', '''Oded Maler''' [[(Attach:)SlidesOM.pdf| Slides]]
Added line 83:
[[(Attach:)Slides.pdf| Slides]]
October 16, 2009, at 01:31 PM
by -
Changed lines 18-20 from:
* ''Model Checking as A Reachability Problem'', '''Moshe Vardi'''
[[(Attach:)Slides.pdf| Slides]]
[[(Attach:)Slides.pdf| Slides]]
to:
* ''Model Checking as A Reachability Problem'', '''Moshe Vardi''' [[(Attach:)Slides.pdf| Slides]]
October 16, 2009, at 01:30 PM
by -
Changed lines 18-20 from:
* ''Model Checking as A Reachability Problem'', '''Moshe Vardi''' [[(Attach:)Slides.pdf]]
to:
* ''Model Checking as A Reachability Problem'', '''Moshe Vardi'''
[[(Attach:)Slides.pdf| Slides]]
[[(Attach:)Slides.pdf| Slides]]
October 16, 2009, at 01:30 PM
by -
Changed line 18 from:
* ''Model Checking as A Reachability Problem'', '''Moshe Vardi''' [[Attach:Slides.pdf]]
to:
* ''Model Checking as A Reachability Problem'', '''Moshe Vardi''' [[(Attach:)Slides.pdf]]
October 16, 2009, at 01:29 PM
by -
Changed line 18 from:
* ''Model Checking as A Reachability Problem'', '''Moshe Vardi'''
to:
* ''Model Checking as A Reachability Problem'', '''Moshe Vardi''' [[Attach:Slides.pdf]]
September 22, 2009, at 09:57 PM
by -
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 -
Added line 3:
[[Attach:ProgramPDF.pdf| (Program in Pdf Form) ]]
September 04, 2009, at 02:22 PM
by -
Changed lines 55-56 from:
to:
\\
Changed lines 114-115 from:
to:
\\
September 04, 2009, at 02:08 PM
by -
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 -
Deleted line 1:
----
August 18, 2009, at 02:34 PM
by -
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
----
----
!! 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 -
Added line 1:
This page will exist soon.
