January 2017 Archives by subject

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

Starting: Mon Jan 2 04:56:31 CET 2017
Ending: Tue Jan 31 19:53:21 CET 2017
Messages: 54

• [Om-announce] 2017 International Conference on Smart Internet of Things (SmartIoT 2017), August 25th-27th, 2017 at Dalian, China   Smart IoT
• [Om-announce] 2nd CFP: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment   Marco Bozzano
• [Om-announce] [CFP] Int. Workshop on Intelligent Systems and Services for Industrial Applications (ISS4IA)   Fulvio Frati
• [Om-announce] [fm-announcements] RV'17 - First call for papers and tutorials   Havelund, Klaus (348B)
• [Om-announce] [fm-announcements] SPIN 2017 - final call for papers, deadline Feb 10   Havelund, Klaus (348B)
• [Om-announce] [fm-announcements] SPIN 2017 in Santa Barbara, CA, USA - 1 month from the paper submission deadline   Havelund, Klaus (348B)
• [Om-announce] [IEEE ATC 2017] Call for Workshop and Special Session Proposal Extended   riccardo.lazzeretti at math.unipd.it
• [Om-announce] [ISSAC-ANNOUNCE] Final Call for Papers: ISSAC 2017   Michael Sagraloff
• [Om-announce] [UNet'17, Springer LNCS] The Third International Symposium on Ubiquitous Networking, Call for Papers   Oucheikh Rachid
• [Om-announce] ACM SIGPLAN Awards deadline extended to 30 January   Satnam Singh
• [Om-announce] ACM WiSec 2017 Call for Papers   chhagan.iiita at gmail.com
• [Om-announce] AlCoB 2017: submission deadline extended January 29   GRLMC
• [Om-announce] ASPCOMP 2017: First Call for Benchmarks   Marco Maratea
• [Om-announce] ASPCOMP 2017: First Call for Participation   Marco Maratea
• [Om-announce] BigDat 2017: early registration January 13   GRLMC
• [Om-announce] BigDat 2017: works in progress February 10   GRLMC
• [Om-announce] CADE-26 Call for Papers   Geoff Sutcliffe
• [Om-announce] Call for Papers - 5th IEEE Conference on Communications and Network Security (IEEE CNS 2017)   Giovanni Livraga
• [Om-announce] CAV 2017 Award   mikael.mayer at epfl.ch
• [Om-announce] CAV 2017: Call for Papers   mikael.mayer at epfl.ch
• [Om-announce] CfP FMCAD 2017 - Formal Methods in Computer Aided Design   no-reply at forsyte.tuwien.ac.at
• [Om-announce] CFP International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017   Peter Schüller
• [Om-announce] CFP: IEEE DASC 2017, Orlando, Florida, USA, Nov 2017 (Submission due: May 10, 2017)   Alam
• [Om-announce] CFP: IEEE TII Special Section on “Engineering Industrial Big Data Analytics Platforms for Internet of Things”   Kuan-Ching Li
• [Om-announce] CFP: IWCMC 2017 - e-Health Symposium - Three more days   Kashif Akhtar Saleem
• [Om-announce] CFP: JCIN, Special Issue on Future Internet, due on 30/5/2017   Wei Quan
• [Om-announce] CfP: MARS 2017 - Models for Formal Analysis of Real Systems [deadline extended]   Peter.Hoefner at data61.csiro.au
• [Om-announce] CFP:The 13th International Conference on Semantics, Knowledge and Grids on Big Data   kg at ict.ac.cn
• [Om-announce] CfPart: FSEN 2017   Marjan Sirjani
• [Om-announce] CyberSciTech 2017 CFPs: The 2nd IEEE Cyber Science and Technology Congress Orlando, USA, 6-10 Nov. 2017   Alam
• [Om-announce] Deadline in a few days - 32nd IFIP TC-11 SEC 2017 International Information Security and Privacy Conference   IFIP SEC 2017
• [Om-announce] DeepLearn 2017: early registration January 27   GRLMC
• [Om-announce] DeepLearn 2017: early registration January 27   GRLMC
• [Om-announce] DL 2017, Call for Papers   Geoff Sutcliffe
• [Om-announce] Final CFP with Deadline Extension: LPNMR - International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017   Peter Schüller
• [Om-announce] First Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Abstract Submission Deadline 15. March 2017   Serge Autexier
• [Om-announce] First School on Foundations of Programming and Software systems -- Probabilistic programming   Renato Neves
• [Om-announce] FMCAD 2017 - Call for Papers   Geoff Sutcliffe
• [Om-announce] FORMATS 2017 - Call for Papers - Submission 21 April 2017   THAO DANG
• [Om-announce] FroCoS 2017 - 2nd Call for Papers   Geoff Sutcliffe
• [Om-announce] ICLP 2017 - Call for Papers   Son Cao Tran
• [Om-announce] IEEE INFOCOM17 Workshop of BigSecurity with Special Issue, due on Jan 10th, 2017   Shui Yu
• [Om-announce] IEEE INFOCOM17 Workshop of BigSecurity with Special Issue, extended to Jan 17th, 2017   Shui Yu
• [Om-announce] IEEE INFOCOM17 Workshop of BigSecurity with Special Issue, extended to Jan 17th, 2017   Shui Yu
• [Om-announce] ISNCC 2017 - May 16 -18, 2017, Marrakech - Morocco   Tarek Bejaoui
• [Om-announce] ITP 2017 - 2nd Call for Papers   Geoff Sutcliffe
• [Om-announce] JAR Special Issue on Automated Reasoning Systems   Geoff Sutcliffe
• [Om-announce] LPAR-21 extended deadlines   Geoff Sutcliffe
• [Om-announce] MFPS 33: first call for papers   Alexandra Silva
• [Om-announce] SEFM 2017: Call for Workshops   Marco Roveri
• [Om-announce] Special issue of AI Communications on Automated Reasoning   Geoff Sutcliffe
• [Om-announce] Special Issue on Big Data Security and Privacy, Digital Communications Networks (Elsevier), due on Feb 15, 2017   Shui Yu
• [Om-announce] TABLEAUX 2017 - 2nd Call for Papers   Geoff Sutcliffe
• [Om-announce] TSD 2017 - First Call for Papers   TSD 2017

Last message date: Tue Jan 31 19:53:21 CET 2017
Archived on: Thu Feb 2 16:51:09 CET 2017

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