December 2012 Archives by date

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

Starting: Mon Dec 3 22:35:50 CET 2012
Ending: Wed Dec 26 20:11:19 CET 2012
Messages: 36

• [Om-announce] Announcing the release of CVC4, version 1.0   Clark Barrett
• [Om-announce] VSSE 2013 - Last call for papers!   Hana Chockler
• [Om-announce] The 7th International Conference on Network and System Security (NSS 2013)   Yu Wang
• [Om-announce] 3rd CFP for TASE 13, 1 - 3 July 2013, Birmingham, UK   TASE 2013
• [Om-announce] ICECCS 2013 in Singapore -- 2nd Call for Papers   Jun PANG
• [Om-announce] SLSP 2013: 1st call for papers   GRLMC
• [Om-announce] TOPI 2013: 3rd Workshop on Developing Tools as Plug-ins (ICSE 2013 Workshop)   Martin Nordio
• [Om-announce] SCP Special Issue on Invariant Generation - Second Call for Papers [2 months to go]   Gudmund Grov
• [Om-announce] CiE 2013 in Milan - Awards and 2nd Call for Papers   S B Cooper
• [Om-announce] CiE 2013 in Milan - Awards and 2nd Call for Papers   S B Cooper
• [Om-announce] Network Forensics, Security and Privacy – a workshop of ICDCS 2013   Yu Wang
• [Om-announce] RTA 2013: Second Call for Papers   Sophie Tison
• [Om-announce] ESSS workshop 2013 (co-located with ICST 2013) -- 2nd Call for Papers   Jun PANG
• [Om-announce] CFP: NSS 2013 (Submission Deadline Extended to January 15, 2013)   Yu Wang
• [Om-announce] ESSLLI Student Session 2013   Margot Colinet
• [Om-announce] FW: 3rd CFP for TASE 13, 1 - 3 July 2013, Birmingham, UK   TASE 2013
• [Om-announce] CFP: 27th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec '13)   Claudio Agostino Ardagna (claudio.ardagna)
• [Om-announce] CAV 2013 - CFP: submission deadline extended!   Hana Chockler
• [Om-announce] Semantic Web Journal: Special Issue on Cognitive Science and the Semantic Web   Pascal Hitzler
• [Om-announce] SR 2013 - Extended Deadline and Last Call for Contributions   Nello Murano
• [Om-announce] DEADLINE EXTENSION - Springer Computing SI: Models and Protocols for Digital Ecosystems   Fulvio Frati
• [Om-announce] TAP 2013: 2nd Call for Papers   Margus Veanes
• [Om-announce] TAP 2013: 2nd Call for Papers   Achim D. Brucker
• [Om-announce] TSD 2013 - Preliminary announcement   TSD 2013
• [Om-announce] Call for Workshops: Conf. Intelligent Computer Mathematics (CICM 2013)   Serge Autexier
• [Om-announce] CSL 2013 : PRELIMINARY ANNOUNCEMENT   Luca Paolini
• [Om-announce] CFP: Seventh Workshop in Information Security Theory and Practice (WISTP 2013)   Dr. Mauro Conti
• [Om-announce] CfP: Conf. Intelligent Computer Mathematics (Bath, UK, 7-12 Jul 2013); Deadline 8 Mar   Serge Autexier
• [Om-announce] ESSS workshop 2013 (co-located with ICST 2013) -- submission deadline extended   Jun PANG
• [Om-announce] WoLLIC 2013 (Darmstadt) - 2nd Call for Papers   Ruy de Queiroz
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2013, FINAL CALL FOR PAPERS   William Turner
• [Om-announce] TAMC 2013 in Hong Kong: Second Call for Papers   S B Cooper
• [Om-announce] TAMC 2013 in Hong Kong: Second Call for Papers   S B Cooper
• [Om-announce] CiE 2013 in Milan - Special Awards and Call for Papers   S B Cooper
• [Om-announce] CiE 2013 in Milan - Special Awards and Call for Papers   S B Cooper
• [Om-announce] CFP ICLP 2013: 29th International Conference on Logic Programming, Istanbul, Turkey, August 24-28, 2013   Peter Schueller

Last message date: Wed Dec 26 20:11:19 CET 2012
Archived on: Thu Dec 27 10:40:17 CET 2012

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