[TYPES/announce] Call for Participation: PLPV 2007

. Rui Shi. Pattern matching coverage checking with dependent types using set approximations. Nicolas Oury. 16:00-15:15Session III: Equality, Panel (Chair: Aaron Stump) Observational Equality, Now! Thorsten Altenkirch, Conor McBride

[TYPES/announce] PLPV Discuss

requesting feedback on a proposed journal special issues on benchmark problems is there for discussion now. Aaron Stump, Hongwei Xi

[TYPES/announce] deadline extension: PxTP '11

-- Organizers Pascal Fontaine (INRIA, University of Nancy) Aaron Stump (The University of Iowa) Program Committee Clark Barrett (New York University) Christoph Benzmüller (Articulate