LIX Colloquium / 3rd Workshop on Reachability Problems, RP'2009

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:

(:html:)
</div>
Program
<div id='wikitext'>
(:htmlend)

to:

Program

August 18, 2009, at 09:41 AM by 129.104.11.1 -

Changed lines 1-2 from:

! Program

to:

(:html:)
</div>
Program
<div id='wikitext'>
(:htmlend)

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:

** Invited Talk: Model Checking as A Reachability Problem
(:html:)
<br>
(:htmlend:) Moshe Vardi

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:

(:html:)<br>(:htmlend:) Moshe Vardi

to:

(:html:)
<br>
(:htmlend:) Moshe Vardi

August 18, 2009, at 09:30 AM by 129.104.11.1 -

Changed line 11 from:

[[<<]] Moshe Vardi

to:

(:html:)<br>(:htmlend:) Moshe Vardi

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