May 2007 Archives by thread

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

Starting: Wed May 2 12:37:09 CEST 2007
Ending: Thu May 31 17:56:25 CEST 2007
Messages: 24

• [Om-announce] New MathML working drafts   David Carlisle
• [Om-announce] ADDCT'07: LAST CFP: Abstract Submission Deadline May 4   Ashish Tiwari
• [Om-announce] AB 2007: Call for Participation   Temur Kutsia
• [Om-announce] MKM07 Call-for-Participation   mkm07 at cs.bham.ac.uk
• [Om-announce] RDP'07 First Call for Participation   Ralf Treinen
• [Om-announce] RDP'07 Student Travel Grants   Ralf Treinen
• [Om-announce] MathUI 2007: second CfP for Mathematical User-Interfaces 2007   Paul Libbrecht
• [Om-announce] CFP: MICAI-2007, Artificial Intelligence, Springer LNAI + journals   Alexander Gelbukh (MICAI-2007)
• [Om-announce] CFV'07 Call for Papers   Miroslav Velev
• [Om-announce] Call for papers: Constraints in Formal Verification 2007 (CFV'07) Bremen, Germany, July 16, 2007   Chao Wang
• [Om-announce] Call for Participation: CAV 2007   CAV 2007 Announce
• [Om-announce] Special Issue of Formal Aspects of Computing: Formal Modeling and Verification of Critical Systems   Stephan Merz
• [Om-announce] WoLLIC'2007 - Call for Participation   ruy at cin.ufpe.br
• [Om-announce] VERIFY'07 - DEADLINE EXTENDED to May 25, 2007 - 4th International Verification Workshop   Bernhard Beckert
• [Om-announce] DISPROVING'07 - DEADLINE EXTENDED to May 25, 2007   Wolfgang Ahrendt
• [Om-announce] CFParticipation CADE21, Bremen July 17-20 (Early Bird: June 10)   Michael Kohlhase
• [Om-announce] CADE-21 Woody Bledsoe Travel Awards (Call for Nominations)   Michael Kohlhase
• [Om-announce] Book - Finite Model Theory and Its Applications   MYV
• [Om-announce] NordSec 2007 Second Call for Papers   nordsec2007
• [Om-announce] RDP'07 Registration open until May 31   Ralf Treinen
• [Om-announce] LPAR 2007 (Yerevan, Armenia) - submission deadline June 4th   geoff at cs.miami.edu
• [Om-announce] IEEE Computer Security Foundations Symposium 2007 - Call for Participation   Riccardo Focardi
• [Om-announce] CfP OpenMath/MathML/JEM Workshop (deadline monday)   Michael Kohlhase
• [Om-announce] SNC 2007: Program announced. Registration Open   SNC 2007 Conference

Last message date: Thu May 31 17:56:25 CEST 2007
Archived on: Fri Jun 1 10:53:27 CEST 2007

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