cofi-tools Mail Archives 2002

• Thread Index

• Proposed final adjustments for CASL semantics
  02/09/19 -- Till Mossakowski
• CASL Proof calculus
  02/09/13 -- Till Mossakowski
• CALL FOR PARTICIPATION: FM-TOOLS 2002
  02/06/13 -- Dominik Haneberg
• Final CfP: CADE Verification Workshop (VERIFY'02)
  02/04/15 -- Serge Autexier
• CfP:FM-TOOLS 2002
  02/04/09 -- Dominik Haneberg
• 2nd CfP: CADE Verification Workshop (VERIFY'02)
  02/04/04 -- Serge Autexier
• CfP - FME 2002 Workshop on Evolutionary Formal Software Development
  02/03/06 -- owner-cofi-tools@brics.dk (daemons)Dieter Hutter
• CFP: CADE Verification Workshop (VERIFY'02)
  02/02/27 -- Serge Autexier
• Cyber Security Symposium, March 15
  02/02/02 -- Dominic Duggan
• CFP: Foundations of Computer Security Workshop (FCS'02)
  02/02/01 -- Iliano Cervesato