March 2006 Archives by subject

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

Starting: Wed Mar 1 21:29:32 CEST 2006
Ending: Thu Mar 30 17:37:10 CEST 2006
Messages: 12

• [Om-announce] (no subject)   Guido Governatori
• [Om-announce] 3rd CFP LPAR 2006, Phnom Penh, SUBMISSION IS OPEN NOW   Miki Hermann
• [Om-announce] ACL2 2006 Second Call for Papers   Panagiotis Manolios
• [Om-announce] ACM PPDP'06 Deadline extension   Michael Maher
• [Om-announce] Call for papers! PDPAR: Workshop on the pragmatics of decision procedures   Byron Cook
• [Om-announce] CFP: AISC 2006 - MACIS 2006 - SSSC 2006 - SCE 2006   sycm2006 at cc4cm.org
• [Om-announce] CFP: MICAI-2006, Artificial Intelligence, Springer LNAI + IEEE CS   Alexander Gelbukh
• [Om-announce] LPAR 2006, 2nd Call For Papers   Miki Hermann
• [Om-announce] Mathematical Aspects of Computer and Information Sciences 2006: Call for Papers   macis2006 at cc4cm.org
• [Om-announce] Strategies 2006 -- 2nd Call for Papers   Strategies06
• [Om-announce] UITP'06: Second Call for Papers   Christoph Benzmueller
• [Om-announce] WRS06 2nd call for paper   wrs06 at redstar.cs.pdx.edu

Last message date: Thu Mar 30 17:37:10 CEST 2006
Archived on: Fri Mar 31 09:07:43 CEST 2006

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