December 2008 Archives by author

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

Starting: Mon Dec 1 00:07:20 CET 2008
Ending: Mon Dec 29 11:23:08 CET 2008
Messages: 22

• [Om-announce] Summer School in Artificial Intelligence (ACAI'09)   Juan Carlos Augusto
• [Om-announce] CFP: 6th workshop on "Methods for Modalities" (M4M-6)   Thomas Bolander
• [Om-announce] 4th CFP for TAMC 2009   S B Cooper
• [Om-announce] BYTECODE09: Last Call for Papers   Samir Genaim
• [Om-announce] PADL'09: Call for Participation   Gopal Gupta
• [Om-announce] Logic Programming: 25th International Conference CFP   Gopal Gupta
• [Om-announce] PSI 2009 Call For Papers   Perspectives of System Informatics
• [Om-announce] 2nd CFP - Workshop on Invariant Generation (WING 2009), York, UK, 22-23 March, 2009   Laura Kovacs
• [Om-announce] CfP: ICTAC'09   Martin Leucker
• [Om-announce] IEEE Computer Security Foundations (CSF 22) : Call for Papers   John C Mitchell
• [Om-announce] TLCA' 09: Final Call for Papers   Luca Paolini
• [Om-announce] TLCA'09 Last Call For Paper   Luca Paolini
• [Om-announce] ACL2 2009: Second Call For Papers   Sandip Ray
• [Om-announce] CADE-22 second call for papers   Carsten Schuermann
• [Om-announce] FroCoS'09 Call for Papers   Roberto Sebastiani
• [Om-announce] PhD positions in ICT on Formal Verification via SMT available in Trento   Roberto Sebastiani
• [Om-announce] PEPM'09 -- Call for Participation   G. Puebla and G. Vidal
• [Om-announce] AVoCS'09 - First call for papers   avocs09
• [Om-announce] DAMP'09 -- Call for Participation   list at clip.dia.fi.upm.es
• [Om-announce] 2nd CFP: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge   admmk09 at easychair.org
• [Om-announce] CfP/Deadline Extension: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge   admmk09 at easychair.org
• [Om-announce] ARSPA-WITS'09: second call for papers   avantssar at resin.csoft.net

Last message date: Mon Dec 29 11:23:08 CET 2008
Archived on: Tue Dec 30 09:22:57 CET 2008

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