February 2012 Archives by subject

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

Starting: Wed Feb 1 13:08:08 CET 2012
Ending: Wed Feb 29 16:37:50 CET 2012
Messages: 55

• [Om-announce] 2nd Call for papers - 28th International Conference on Logic Programming (ICLP 2012)   Gergely Lukacsy (glukacsy)
• [Om-announce] [CiE 2012] Call for Informal Presentations for Turing Centenary Conference in Cambridge   S B Cooper
• [Om-announce] [CiE 2012] Call for Informal Presentations for Turing Centenary Conference in Cambridge   S B Cooper
• [Om-announce] [fm-announcements] NFM 2012 Call For Participation   PERSON, SUZETTE (LARC-D320)
• [Om-announce] [fm-announcements] RV 2012 - 1st Call For Papers   Klaus Havelund
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2012 Call for Posters   William Turner
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2012 Call for Software   William Turner
• [Om-announce] [VMCAI2012] Professor/Associate professor in Formal Methods   Wolfgang Ahrendt
• [Om-announce] Alan Turing Centenary Conference, University of Manchester, 22-25 June, 2012   S B Cooper
• [Om-announce] Alan Turing Centenary Conference, University of Manchester, 22-25 June, 2012   S B Cooper
• [Om-announce] ARW 2012 Call for Papers   Renate Schmidt
• [Om-announce] Call for Journal Papers: STVR Special Issue on Tests and Proofs   Achim D. Brucker
• [Om-announce] Call for Papers - 17th European Symposium on Research in Computer Security (ESORICS 2012)   ESORICS 2012
• [Om-announce] Call for Papers - 9th International Conference on Security and Cryptography (SECRYPT 2012)   SECRYPT 2012
• [Om-announce] Call for Papers - 9th International Conference on Security and Cryptography (SECRYPT 2012)   SECRYPT 2012
• [Om-announce] CCS 2012: Call for Workshops   Nicola Zannone
• [Om-announce] CFP: 18th International Conference on Principles & Practice of Constraint Programming   Association ConstraintProgramming
• [Om-announce] CFP: 8th Scandinavian Logic Symposium   Thomas Bolander
• [Om-announce] CfP: 9th International Symposium on Formal Aspects of Component Software (FACS 2012)   jcmoreno at dei.uc.pt
• [Om-announce] CFP: AiML 2012   Thomas Bolander
• [Om-announce] CFP: ARCOE-12 The 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge   AROCE Announcement
• [Om-announce] CfP: European Conference on Service-Oriented and Cloud Computing (ESOCC'12)   Ernesto Pimentel Sánchez
• [Om-announce] CFP: FTfJP 2012 - 14th ECOOP Workshop on Formal Techniques for Java-like Programs   Florin Craciun
• [Om-announce] CFP: Second International Symposium on Data-driven Process Discovery and Analysis (SIMPDA2012)   Fulvio Frati
• [Om-announce] CFP: TCS 2012   Michiel Helvensteijn
• [Om-announce] CMCS 2012: Call for Participation and Short Contributions   ams at cwi.nl
• [Om-announce] CMCS 2012: Final Call for Short Contributions   ams at cwi.nl
• [Om-announce] Conference on Intelligent Computer Mathematics, last call for papers   Johan Jeuring
• [Om-announce] Deadline Approaching - 10th International Conference on Applied Cryptography and Network Security (ACNS 2012)   Giovanni Livraga
• [Om-announce] Deadline Approaching - 9th International Conference on Security and Cryptography (SECRYPT 2012)   SECRYPT 2012
• [Om-announce] Deadline Extended - 10th International Conference on Applied Cryptography and Network Security (ACNS 2012)   Giovanni Livraga
• [Om-announce] DisCoTec 2012 Submission Deadline Extension (COORDINATION + DAIS + FMOODS/FORTE)   Ivana Dusparic
• [Om-announce] EXTENDED DEADLINE: ICECCS 2012   ICECCS at unknown.domain
• [Om-announce] Final CfP: COORDINATION 2012 (deadline approaching)   coordination2012 at publicizing.org
• [Om-announce] Final CfP: COORDINATION 2012 (deadlines extended)   coordination2012 at publicizing.org
• [Om-announce] Final CfP: COORDINATION 2012 (deadlines extended)   coordination2012 at publicizing.org
• [Om-announce] FMICS, second call for papers   Marielle Stoelinga
• [Om-announce] ICECCS 2012 - Last Call for Papers   ICECCS at unknown.domain
• [Om-announce] Journal Special Issues and Tracks for WETICE’2012:   Khalil DRIRA
• [Om-announce] Last CFP FORMAL METHODS 2012   Tayssir Touili
• [Om-announce] LPAR-18 participation   Geoff Sutcliffe
• [Om-announce] PAAR 2012 Call for Papers   Renate Schmidt
• [Om-announce] Ph.D. Studentship at University of Teesside, UK   Florin Craciun
• [Om-announce] Postdoc position at LIAFA, Paris, France: Model-checking for malware detection   Tayssir Touili
• [Om-announce] RV 2012 Call for Papers   Geof Sawaya
• [Om-announce] SAFECOMP: March 5th - Deadline for papers   Ortmeier, Frank, Prof.
• [Om-announce] SAFECOMP: March 5th - Deadline for papers   Ortmeier, Frank, Prof.
• [Om-announce] SAT 2012: Final Call for Papers   Roberto Sebastiani
• [Om-announce] SSFLA 2012: 3rd announcement   GRLMC
• [Om-announce] SSNC 2012: 1st announcement   GRLMC
• [Om-announce] The Alan Turing Centenary Conference   Geoff Sutcliffe
• [Om-announce] TIME 2012 -- Call for Papers   TIME 2012
• [Om-announce] TPNC 2012: 1st call for papers   GRLMC
• [Om-announce] WSMBio 2012: final announcement   GRLMC

Last message date: Wed Feb 29 16:37:50 CET 2012
Archived on: Thu Mar 1 11:58:31 CET 2012

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