cofi-tools Mail Archive Threads 2001
Thread index
Last updated: Wed Mar 06 18:03:32 2002
13 messages
VERIFICATION WORKSHOP,
Serge Autexier
2nd CfP: IJCAR'01 Verification Workshop,
Serge Autexier
FINAL CfP: IJCAR'01 Verification Workshop,
Serge Autexier
Tools group presentation at CoFI Tutorial of ETAPS 2001,
Helene.Kirchner
Call for Participation - IJCAR'01 Verification Workshop (VERIFY'01),
Serge Autexier
URGENT - CoFI Tools publications,
Till Mossakowski
2nd Call for Participation - IJCAR'01 Verification Workshop (VERIFY'01),
Serge Autexier
LPAR 2001, 2nd CFP,
Robert Nieuwenhuis
LPAR 2001 Last CFP,
Robert Nieuwenhuis
FREE POSSISION in SAFETY ANALYSIS of SPECIFICATIONS,
Andreas Thums
CATS 0.73 released,
Till Mossakowski
CFP: JLAP Special issue on Annotated Terms (ATerms),
M.G.J. van den Brand
HOL-CASL 0.8 released,
Till Mossakowski
Mail converted by MHonArc 2.4.6