Here is the program of the kick-off meeting of the ReacHard project. This meeting takes place at LSV, ENS Cachan on December 6th, 2011 and is followed by a working meeting day on December 7th.

Tuesday December 6th, 2011

• 14h00 -- 14h30: Presentation of the ReacHard project (Stéphane Demri, LSV)
• 14h30 -- 15h00: Presentation (Olivier Coucharière, ANR)
• 15h00 -- 15h20: Task 6: Book on counter systems (Alain Finkel, LSV)
• 15h20 -- 15h45: Break
• 15h45 -- 16h05: Task 2: Mathematical structures for reachability sets (Jérôme Leroux, LaBRI)
• 16h05 -- 16h25: Task 3: Computational analysis for the reachability problem (Philippe Schnoebelen, LSV)
• 16h25 -- 16h45: Presentation of PhD subject Applications of SMT techniques for the verification of infinite-state systems (Amit Kumar Dhar, LIAFA)
• 16h45 -- 17h00: Break
• 17h00 -- 17h45: Algorithmic Aspects of WQO Theory (Sylvain Schmitz, LSV)