LIX Colloquium
Reachability Problems'09
September 23rd-25th 2009
Ecole Polytechnique, France
Main.ProgrammeProject History
Show minor edits - Show changes to output
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
\\
\\
!!! 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
* 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)
* ''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:
* 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:
(:html:)
</div>
Program
<div id='wikitext'>
(:htmlend)
to:
Program
August 18, 2009, at 09:41 AM
by
- Changed lines 1-2 from:
! Program
to:
(:html:)
</div>
Program
<div id='wikitext'>
(:htmlend)
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
* 11h30- 12h05: Session 1
to:
!!! Session 1 (11h30-12h40)
* 11h30- 12h05:
* 11h30- 12h05:
Changed lines 21-24 from:
!!! Lunch break
12h40-14h00:
''lunch''
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
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
** Invited Talk: Model Checking as A Reachability Problem
to:
* 10h30-11h30: Invited Talk
** Model Checking as A Reachability Problem
Moshe Vardi
** 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
** 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:
** Invited Talk: Model Checking as A Reachability Problem
(:html:)
<br>
(:htmlend:) Moshe Vardi
(:html:)
<br>
(:htmlend:) Moshe Vardi
to:
** Invited Talk: Model Checking as A Reachability Problem\\ Moshe Vardi
August 18, 2009, at 09:30 AM
by
- Changed lines 11-13 from:
(:html:)<br>(:htmlend:) Moshe Vardi
to:
(:html:)
<br>
(:htmlend:) Moshe Vardi
<br>
(:htmlend:) Moshe Vardi
August 18, 2009, at 09:30 AM
by
- Changed line 11 from:
[[<<]] Moshe Vardi
to:
(:html:)<br>(:htmlend:) Moshe Vardi
August 18, 2009, at 09:29 AM
by
- Changed lines 11-12 from:
[[<<]]
Moshe Vardi
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
[[<<]]
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'''
\\'''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'''
\\'''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'''
***'''Moshe Vardi'''
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'''
** ''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''
***'''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'''
** Invited Talk: ''Model Checking as A Reachability Problem'' '''Moshe Vardi'''
to:
* 10h30-11h30: Invited Talk:
** ''Model Checking as A Reachability Problem'' '''Moshe Vardi'''
** ''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'''
-<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'''
-<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'''
'''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'''
'''Moshe Vardi'''
August 18, 2009, at 09:26 AM
by
- Changed lines 8-9 from:
* 10h20-10h30:
** Opening
** 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
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
* 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
** Bus Meeting in Paris for the bus Paris -> Palaiseau
to:
* 9h00: \\
Bus Meeting in Paris for the bus Paris -> Palaiseau
Bus Meeting in Paris for the bus Paris -> Palaiseau
August 18, 2009, at 09:24 AM
by
- Deleted lines 2-6:
||border=1 width=100%
||9H00 ||Bus Meeting in Paris for the bus Paris -> Palaiseau||
|| || ||
|| || ||
| ALLO | TERRE |
||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:
||border=1 width=80%
||9H00 ||Bus Meeting in Paris for the bus Paris -> Palaiseau|| ||
|| || || ||
|| || || ||
||9H00 ||Bus Meeting in Paris for the bus Paris -> Palaiseau|| ||
|| || || ||
|| || || ||
to:
||border=1 width=100%
||9H00 ||Bus Meeting in Paris for the bus Paris -> Palaiseau||
|| || ||
|| || ||
||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:
||border=1 width=80%
||!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
* 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
** 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
** 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
**
** 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''
* 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:
** Registration & Coffee Break
* 10h20-10h30:
** Opening
* 10h30-11h30:
to:
* 9h45-10h20: Registration & Coffee Break
* 10h20-10h30: Opening
10h30-11h30:
* 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'''
** 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
**
** 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'''
* 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
** 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