cofi-tools Mail Archive Threads 2002
Thread index
Last updated: Wed Jul 16 23:15:07 2003
10 messages
CFP: Foundations of Computer Security Workshop (FCS'02),
Iliano Cervesato
Cyber Security Symposium, March 15,
Dominic Duggan
CFP: CADE Verification Workshop (VERIFY'02),
Serge Autexier
CfP - FME 2002 Workshop on Evolutionary Formal Software Development,
owner-cofi-tools@brics.dk (daemons) Dieter Hutter
2nd CfP: CADE Verification Workshop (VERIFY'02),
Serge Autexier
CfP:FM-TOOLS 2002,
Dominik Haneberg
Final CfP: CADE Verification Workshop (VERIFY'02),
Serge Autexier
CALL FOR PARTICIPATION: FM-TOOLS 2002,
Dominik Haneberg
CASL Proof calculus,
Till Mossakowski
Proposed final adjustments for CASL semantics,
Till Mossakowski
Mail converted by MHonArc 2.4.6