Theorem Proving and Provers Meeting (1st TPP), 28-29th November 2005, JAIST

November 28th, 13:30-15:45   Verifying concurrent processes
Place: Collaboration Room 7 (IS school, 5F)
November 28th, 16:00-17:30   Cafe/OBJ
November 28th 19:00- Party   いたる本店   approx. 6000yen/person (will set student discount)

November 29th 10:15-12:30   Formal Reasoning
November 29th 13:30-15:45   Twelf/Isabelle session
November 29th 16:00-17:15   Last session