March 2007 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Thu Mar 8 17:46:32 CET 2007
Ending: Mon Mar 26 15:45:27 CEST 2007
Messages: 8

• [Om-announce] CFP: VERIFY'07 - 4th International Verification Workshop   Bernhard Beckert
• [Om-announce] Special Issue of Formal Aspects of Computing: Formal Modeling and Verification of Critical Systems   Serge Autexier
• [Om-announce] CFP: FCS-ARSPA'07 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis)   Luca Vigano
• [Om-announce] ACL2 2007 CALL FOR PAPER   sawada at us.ibm.com
• [Om-announce] Call for Proposals to Organize ICLP 2008   Gopal Gupta
• [Om-announce] Workshop on Logics for Coalgebras: call for participation   ILLC
• [Om-announce] SNC 2007: News and 2nd Call for Papers   SNC 2007 Conference
• [Om-announce] CFP RelMiCS/AKA08   bernhard Möller

Last message date: Mon Mar 26 15:45:27 CEST 2007
Archived on: Tue Mar 27 09:06:25 CEST 2007

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...