cofi-tools Mail Archives 2001

• Thread Index

• HOL-CASL 0.8 released
  01/11/26 -- Till Mossakowski
• CFP: JLAP Special issue on Annotated Terms (ATerms)
  01/11/19 -- M.G.J. van den Brand
• CATS 0.73 released
  01/09/14 -- Till Mossakowski
• FREE POSSISION in SAFETY ANALYSIS of SPECIFICATIONS
  01/08/14 -- Andreas Thums
• LPAR 2001 Last CFP
  01/07/11 -- Robert Nieuwenhuis
• LPAR 2001, 2nd CFP
  01/06/26 -- Robert Nieuwenhuis
• 2nd Call for Participation - IJCAR'01 Verification Workshop (VERIFY'01)
  01/05/14 -- Serge Autexier
• URGENT - CoFI Tools publications
  01/05/10 -- Till Mossakowski
• Call for Participation - IJCAR'01 Verification Workshop (VERIFY'01)
  01/05/02 -- Serge Autexier
• Tools group presentation at CoFI Tutorial of ETAPS 2001
  01/03/29 -- Helene.Kirchner
• FINAL CfP: IJCAR'01 Verification Workshop
  01/03/23 -- Serge Autexier
• 2nd CfP: IJCAR'01 Verification Workshop
  01/03/10 -- Serge Autexier
• VERIFICATION WORKSHOP
  01/01/24 -- Serge Autexier