April 2006 Archives by subject

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

Starting: Mon Apr 3 14:36:07 CEST 2006
Ending: Fri Apr 28 17:48:28 CEST 2006
Messages: 13

• [Om-announce] *ACL2 2006 Deadline Extended*   Panagiotis Manolios
• [Om-announce] *FMCAD 2006 Deadline Extended*   Panagiotis Manolios
• [Om-announce] 2 Vacancies in automated reasoning, web ontologies, and multi-agent systems   Renate Schmidt
• [Om-announce] 2nd CFP: 3rd International Verification Workshop, VERIFY'06   Serge Autexier
• [Om-announce] 2nd CFP: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis)   vigano at inf.ethz.ch
• [Om-announce] [CfP] Mathematical User Interfaces 2006 (MathUI06)   Paul Libbrecht
• [Om-announce] Call for Participation   Alexander Zapletal
• [Om-announce] FMCAD 2006 Second Call for Papers   Panagiotis Manolios
• [Om-announce] FMICS'06: Call for Papers   Martin Leucker
• [Om-announce] LPAR 2006 (Phnom Penh, Cambodia), Last CFP   Miki Hermann
• [Om-announce] MACIS 2006 submission deadline extended to April 26, 2006   macis2006 at cc4cm.org
• [Om-announce] STRATEGIES 2006 -- Final CFP   Strategies06
• [Om-announce] WRS06 last call for paper   wrs06 at redstar.cs.pdx.edu

Last message date: Fri Apr 28 17:48:28 CEST 2006
Archived on: Sun Apr 30 11:37:04 CEST 2006

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