April 2009 Archives by date

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

Starting: Wed Apr 1 18:03:11 CEST 2009
Ending: Wed Apr 29 17:21:04 CEST 2009
Messages: 35

• [Om-announce] ACM-SIGPLAN PPDP 2009 - 1st CFP   Ana Paula Tomas
• [Om-announce] FroCoS'09 Call for Papers   Roberto Sebastiani
• [Om-announce] CiE 2009 - Call for Participation and Informal Presentations   S B Cooper
• [Om-announce] ACL2 2009 Call for Participation   Sandip Ray
• [Om-announce] CFP - 4th Workshop on AI Techniques for Ambient Intelligence   Juan Carlos Augusto
• [Om-announce] ICLP'09 Doctoral Consortium   iclp09.dc at gmail.com
• [Om-announce] Second CFP: QA 2009 (pre-CAV workshop)   Sumit Gulwani
• [Om-announce] FW: lectureship in formal modelling and analysis at Glasgow   Alice Miller
• [Om-announce] Second CfP: 8th Tbilisi Symposium on Language, Logic and Computation   Temur Kutsia
• [Om-announce] CfP: SCSS 2009   Temur Kutsia
• [Om-announce] Final CfP: ICTAC'09 - Last Chance   Martin Leucker
• [Om-announce] Final CFP: Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning   avantssar at resin.csoft.net
• [Om-announce] FORMATS 2009: EXTENDED DEADLINE   Joel Ouaknine
• [Om-announce] SBF - Computational Methods in Synthetic Biology Summer School - 22-26th June 2006ac2001 at science.uva.nl   Sandra Borthwick
• [Om-announce] LOPSTR2009 Call for papers   International
• [Om-announce] Call for contributions to MathUI 09   Paul Libbrecht
• [Om-announce] Extended Deadline: CFP for COmputational Logic and Applications (COLA'2009)   Fernando Silva
• [Om-announce] FCS 2009: EXTENDED DEADLINE   Veronique Cortier
• [Om-announce] PPDP'09 - 2nd CfP   António Porto
• [Om-announce] Personal invitation to participate in PADTAD 2009   Eric Mercer
• [Om-announce] Last call for papers: Modules and Libraries for Proof Assistants (CADE workshop)   Florian Rabe
• [Om-announce] 2nd CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th   dml2009 at easychair.org
• [Om-announce] ISSAC 2009: Call for Software Presentations   Temur Kutsia
• [Om-announce] ESSLLI 2009 - Early registration deadline approaching   Richard Moot
• [Om-announce] Call for Papers - Complex Adaptive Systems in the Natural and Social Sciences   Ted Carmichael
• [Om-announce] DATICS-ICMS'09 - Call For Papers   SS DATICS
• [Om-announce] FroCoS'09 Final Call for Papers   Roberto Sebastiani
• [Om-announce] Ph.D and Postdoc Positions available in Durham, UK   CRACIUN F.
• [Om-announce] FroCoS'09 Final Call for Papers   Roberto Sebastiani
• [Om-announce] 2nd CFP: Special Issue on Hybrid Logics of the LJ-IGPL   Carlos Areces
• [Om-announce] PhD positions in ICT on Formal Verification via SMT available in Trento   Roberto Sebastiani
• [Om-announce] 3rd CfP - LAM'09 (Logics for Agents and Mobility)   LAM'09
• [Om-announce] Last CFP: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th   dml2009 at easychair.org
• [Om-announce] Announcing SMT-COMP 2009   Clark Barrett
• [Om-announce] [Ppdp09] PPDP'09 - last CfP   António Porto

Last message date: Wed Apr 29 17:21:04 CEST 2009
Archived on: Fri May 1 12:46:07 CEST 2009

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