April 2008 Archives by author

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

Starting: Tue Apr 1 14:45:22 CEST 2008
Ending: Wed Apr 30 19:53:32 CEST 2008
Messages: 27

• [Om-announce] CfP ISoLA 2008 - 3rd IEEE Internat. Symposium on Leveraging Applications of Formal Methods, Verification and Validation   Tiziana Margaria -
• [Om-announce] ICLP'08 CALL FOR PAPERS   ICLP 08
• [Om-announce] SNSC'08: Final SFB F013 Conference   SNSC 2008
• [Om-announce] 2nd CFP - The 1st International Workshop on Bit-Precise Reasoning (BPR 2008)   Workshop BPR
• [Om-announce] 2nd CFP: UITP'08 - User Interfaces for Theorem Provers   Christoph Benzmueller
• [Om-announce] Final CFP: UITP'08 - User Interfaces for Theorem Provers   Christoph Benzmueller
• [Om-announce] Memorial conference for Thomas Beth   Jacques Calmet
• [Om-announce] New MathML3 draft   David Carlisle
• [Om-announce] ARW'08 (Automated Reasoning Workshop) - Call for Papers   Louise Dennis
• [Om-announce] [ISSAC-ANNOUNCE] Call for Participation - ISSAC 2008   ACM SIGSAM Information Director
• [Om-announce] (EC)^2: Final Call for Papers   EC2
• [Om-announce] PLID'08 - 2nd Call for Contributions   Samir Genaim
• [Om-announce] [ISSAC-ANNOUNCE] 2008 Jenks Prize: Call for Nominations   Mark Giesbrecht
• [Om-announce] BPR 2008: Deadline Extension   Goel, Amit1
• [Om-announce] Last CFP: SCSS 2008   Temur Kutsia
• [Om-announce] SCSS 2008 deadline extension   Temur Kutsia
• [Om-announce] CfP: MathUI 2008: Mathematical User Interfaces Workshop at MKM'08   Paul Libbrecht
• [Om-announce] UNIF'08: Second CFP   Mircea Marin
• [Om-announce] UNIF'08: Last CFP   Mircea Marin
• [Om-announce] UNIF'08: - Extended submission deadline   Mircea Marin
• [Om-announce] SMT Workshop 2008: Deadline Extension   Leonardo de Moura
• [Om-announce] FMCAD 2008: FINAL Call for Papers   Lee Pike
• [Om-announce] NordSec 2008 - First Call For Papers   Christian Probst
• [Om-announce] GLOBAN 2008 Summer School: Early Registration Open   GLOBAN 2008 Summer School
• [Om-announce] LPAR 2008 (Qatar) CFP   Geoff Sutcliffe
• [Om-announce] WoLLIC 2008 - Call for Participation   ruy at cin.ufpe.br
• [Om-announce] FCS-ARSPA-WITS'08: deadline extension   ailab at leary.csoft.net

Last message date: Wed Apr 30 19:53:32 CEST 2008
Archived on: Fri May 2 10:05:31 CEST 2008

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