April 2014 Archives by date

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

Starting: Tue Apr 1 00:27:13 CEST 2014
Ending: Tue Apr 29 04:54:14 CEST 2014
Messages: 76

• [Om-announce] Deadline extended - 19th European Symposium on Research in Computer Security (ESORICS 2014)   Giovanni Livraga
• [Om-announce] CFP: Int. Workshop on Techniques And Applications For Sustainable Ultrascale Computing Systems (TASUS 2014)   Javier Garcia Blas
• [Om-announce] [fm-announcements] 2nd International Summer School on Cyber-Physical Systems, GRENOBLE, FRANCE, JULY 7-10, 2014   Klaus Havelund
• [Om-announce] [simu-conf] SummerSim WIP   vsim-conf at sce.carleton.ca
• [Om-announce] Call for Papers - 11th International Conference on Security and Cryptography (SECRYPT 2014)   SECRYPT 2014
• [Om-announce] VSTTE CfP   Leo Freitas
• [Om-announce] ESSLLI 2015 --- Second Call for Proposals   Achim Jung
• [Om-announce] ASPOCP 2014: Deadline extended (plus paper registration required)   Marco Maratea
• [Om-announce] LINEARITY 2014: Second Call for Papers   Luca
• [Om-announce] Extended Deadline: ICMS August 2014   Chee Yap
• [Om-announce] FMICS 2014: deadlines extended   Wendelin Serwe
• [Om-announce] [fm-announcements] 21st International Symposium on Model Checking of Software - SPIN 2014 (Extended deadline: April 19th)   Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
• [Om-announce] ICFEM 2014 Last Call-for-papers   Liu Yang (Asst Prof)
• [Om-announce] [10 days left for abstract submission] CFP Synasc 2014   SYNASC 2014
• [Om-announce] TPNC 2014: 1st call for papers   GRLMC
• [Om-announce] IASDS 2014 CFP (Deadline Extended: April 21)   Francisco Javier Garcia Blas
• [Om-announce] IEEE TrustData 2014, Dalian, China   Shui Yu
• [Om-announce] 2nd CfP, VERIFY 2014, 8th Verification Workshop, *Abstract Deadline April 17th, 2014*, Focus Theme: Verification Beyond IT Systems   Serge Autexier
• [Om-announce] AiML-2014: FINAL CALL FOR PAPERS - Deadline: 9 April 2014   Agi Kurucz
• [Om-announce] IFIP SEC 2014 - Call for Participation   sara.foresti at unimi.it
• [Om-announce] MFPS 2014: last call for papers   Alexandra Silva
• [Om-announce] MACIS 2013: MCS Special Issue - Call for Papers   MACIS2013-MCS
• [Om-announce] [SPE2014] Extended Submission Deadline Approaching: April 15, 2014   Fulvio Frati
• [Om-announce] 2014 IEEE International Workshop on Autonomic Cloud Cybersecurity (ACC 2014)   Fulvio Frati
• [Om-announce] Call for Papers: CrossFyre Workshop, July 3-4, 2014 - Bochum, Germany   CrossFyre'14
• [Om-announce] 4th International SAT/SMT Summer School   Geoff Sutcliffe
• [Om-announce] CFP: Int. Workshop on Techniques And Applications For Sustainable Ultrascale Computing Systems (TASUS 2014)   Javier Garcia Blas
• [Om-announce] CfParticipation: European Dependable Computing Conference in Newcastle   Alexander Romanovsky
• [Om-announce] Call for papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)   Yuan-Fang Li
• [Om-announce] [5 days left for abstract submission] CFP Synasc 2014   SYNASC 2014
• [Om-announce] [fm-announcements] RV 2014, Deadlines extended: abstract April 18, full paper April 25   Klaus Havelund
• [Om-announce] ATVA - (Final) Call for Workshop Proposals   Peter Höfner
• [Om-announce] Joint CFP, Dalian China, August 2014   Shui Yu
• [Om-announce] ATNAC 2014, November, Melbourne, Australia.   Shui Yu
• [Om-announce] ICFEM 2014 Deadlines Extended   Liu Yang (Asst Prof)
• [Om-announce] PPDP 2014: Call for Papers   Jacob Johannsen
• [Om-announce] Call For Applications - CICM 2014 Doctoral Programme   James Davenport
• [Om-announce] Deadline extended - 11th International Conference on Security and Cryptography (SECRYPT 2014)   SECRYPT 2014
• [Om-announce] [2 days left for abstract submissions] Call for papers SYNASC 2014   SYNASC 2014
• [Om-announce] NSS 2014 Submission Deadline Extended to April 21   Yu Wang
• [Om-announce] FMICS 2014: submission still open   Wendelin Serwe
• [Om-announce] CFP: Model-based design and analysis of cyber-physical systems - SPES_XT Summer School at AVoCS'14   Markus Roggenbach
• [Om-announce] Call for Papers: Workshops Colocated with SEFM 2014   Lina Ye
• [Om-announce] [CFP] SoNAEdu 2014: August, Beijing, China - Deadline May 15   Carlos Roberto de Oliveira Júnior
• [Om-announce] NSS 2014, Xi'an, China, SCI, EI 期刊推荐   2014 NSS
• [Om-announce] [SPE 2014] Submission deadline today (April 15, 2014)   Claudio A. Ardagna
• [Om-announce] [Extended deadline] Call for Papers Synasc 2014, Timisoara, Romania   SYNASC 2014
• [Om-announce] 1st ACM Workshop on Moving Target Defense - Call for Papers   sara.foresti at unimi.it
• [Om-announce] SLSP 2014: 3rd call for papers   GRLMC
• [Om-announce] The School on Secured Smart Object & the Internet of Things   Samia Bouzefrane
• [Om-announce] One Postdoc Research Fellow Position on Verification of Cyber-Physical Systems   jun sun
• [Om-announce] ATVA 2014: Last Call for Papers -- Sydney November 3-7   Franck Cassez
• [Om-announce] MoSCom 2014: International Workshop on Mobile and Social Computing, August 24-27 2014, Dalian, China   Yu Wang
• [Om-announce] Call for papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)   Yuan-Fang Li
• [Om-announce] IEEE TrustData 2014, Dalian, China, due on May 10, 2014   Shui Yu
• [Om-announce] LOPSTR 2014: Second Call for Papers   Maurizio Proietti
• [Om-announce] LOPSTR 2014: Second Call for Papers   Maurizio Proietti
• [Om-announce] Call for Papers - 3rd Joint Workshop on Security in Business Processes (SBP'14)   Giovanni Livraga
• [Om-announce] [fm-announcements] SPIN 2014, Submission Deadline: April 19th (Saturday)   Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
• [Om-announce] [fm-announcements] April 22, Extended SPIN 2014 deadline   Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
• [Om-announce] NSS 2014 Deadline Extension, SCI, EI 期刊推荐, 中国，西安   2014 NSS
• [Om-announce] CfP: 8th Verification Workshop (VERIFY 2014), Focus Theme: Verification Beyond IT Systems, extended deadline *May 5th, 2014*   Serge Autexier
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2014 First Call for Participation   Kosaku Nagasaka
• [Om-announce] ICOOOLPS 2014 Call For Papers   Olivier Zendra
• [Om-announce] STM 2014   Rolando TRUJILLO RASUA
• [Om-announce] WING 2014: Invariant Generation   Carlo Alberto Furia
• [Om-announce] Deadline approaching - 11th International Conference on Security and Cryptography (SECRYPT 2014)   SECRYPT 2014
• [Om-announce] Workshop: MIND, MECHANISM AND MATHEMATICS - Columbia University, New York City, May 12-14, 2014   S B Cooper
• [Om-announce] Workshop: MIND, MECHANISM AND MATHEMATICS - Columbia University, New York City, May 12-14, 2014   S B Cooper
• [Om-announce] SSTiC 2014: May 10, 6th registration deadline   GRLMC
• [Om-announce] CFP: MoSCom 2014 in conjunction with U-Science 2014, August 24-27 2014, Dalian, China   Yu Wang
• [Om-announce] CFP: 11th International Workshop on Boolean Problems (IWSBP’14)   Miroslav Velev
• [Om-announce] 13th International Conference on Cryptology and Network Security (CANS 2014) - Call for Papers   sara.foresti at unimi.it
• [Om-announce] [CFP] SeaClouds - First workshop on seamless adaptive multi-cloud management of service-based applications]]]   fazzolar at di.unipi.it
• [Om-announce] FOCLASA 2014 - Second CfP (The 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems)   FOCLASA 2014
• [Om-announce] Final Call for Abstracts: ICMS 2014   Chee Yap

Last message date: Tue Apr 29 04:54:14 CEST 2014
Archived on: Tue Apr 29 10:31:31 CEST 2014

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