March 2008 Archives by subject

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

Starting: Mon Mar 3 15:48:11 CET 2008
Ending: Mon Mar 31 20:29:18 CEST 2008
Messages: 25

• [Om-announce] 2nd CFP: SCSS 2008   Temur Kutsia
• [Om-announce] 3rd International Compulog/ALP Summer School on Logic Programming and C   announce at krlab.cs.ttu.edu
• [Om-announce] [CFP] Advances in Modal Logic 2008   Carlos Areces
• [Om-announce] [ISSAC-ANNOUNCE] Call for Posters - ISSAC 2008   ISSAC 2008
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2008 Call for Posters   ISSAC 2008
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2008 Call for Software Presentations   ACM SIGSAM Information Director
• [Om-announce] Announcing SMT-COMP 2008   Clark Barrett
• [Om-announce] ApCoA 2008 [extended deadline for submission]   ApCoA 2008
• [Om-announce] Call for CAV 08 Workshop Submissions   Aarti Gupta
• [Om-announce] E. W. Beth Dissertation Prize: 2008 call for submissions   Carlos Areces
• [Om-announce] FCS-ARSPA-WITS'08: deadline extension   ailab at leary.csoft.net
• [Om-announce] FCS-ARSPA-WITS'08: Second Call for Papers   ailab at leary.csoft.net
• [Om-announce] FMCAD 2008 Call For Papers   Lee Pike
• [Om-announce] ICLP'08 CALL FOR PAPERS   ICLP 08
• [Om-announce] ICLP'08 CALL FOR WORKSHOP PROPOSALS *** CALL FOR WORKSHOP PROPOSALS ***   ICLP 08
• [Om-announce] IJCAR'08 Workshop on Practical Aspects of Automated Reasoning   Renate Schmidt
• [Om-announce] LaSh08 Call for Papers   Marc Denecker
• [Om-announce] Last Call for Papers: Advances in Modal Logic   Carlos Areces
• [Om-announce] LFM 2008 Call for Participation   Kristin Yvonne Rozier
• [Om-announce] MKM'08: Final Call for Papers   Serge Autexier
• [Om-announce] PhD position in the area of Groebner Bases   Temur Kutsia
• [Om-announce] PhD Positions in Computational Mathematics   Marion Schimpl
• [Om-announce] PLID'08: 1st Call for Contributions   Samir Genaim
• [Om-announce] PPDP 2008 - 2nd Call for Papers   Elvira Albert
• [Om-announce] PPDP'08: Last Call for Papers   Elvira Albert

Last message date: Mon Mar 31 20:29:18 CEST 2008
Archived on: Tue Apr 1 09:39:41 CEST 2008

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