January 2018 Archives by date

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

Starting: Mon Jan 1 23:57:01 CET 2018
Ending: Wed Jan 31 22:38:16 CET 2018
Messages: 57

• [Om-announce] IEEE INFOCOM18 Workshop of BigSecurity with Special Issue, Hawaii, USA Due on Jan 6   Shui Yu
• [Om-announce] [Mycolleagues] (Extended Deadline Jan 30, 2018) Wiley Software: Practice and Experience: Special Issue on Integration of Cloud, IoT and Big Data Analytics   Gaurav Somani
• [Om-announce] CFP: Workshop on Industrial Internet of Things Security (WIIoTS)   Cristina Alcaraz
• [Om-announce] IoTBDS 2018 with its workshops and High Quality Journal (HQJ) Forum   Chang V.I.
• [Om-announce] Final CFP: IEEE CNS 2018 Call for Papers (Deadline Extended to January 05)   LUO, LANNAN
• [Om-announce] BigDat 2018: regular registration January 19   GRLMC
• [Om-announce] CFP: International Conference on Logic Programming 2018   epontell
• [Om-announce] KR18 - Call for Tutorial and Workshop Proposals   Marcello Balduccini
• [Om-announce] FLoC 2018 - Final Joint Call for Papers   Andrzej Murawski
• [Om-announce] Alonzo Church Award - Call for Nominations   geoff at cs.miami.edu
• [Om-announce] CFP: IEEE International Conference on Multimedia Big Data 2018   Shui Yu
• [Om-announce] CFP: 4th ACM Cyber‐Physical System Security Workshop (ACM CPSS’18)   Cristina Alcaraz
• [Om-announce] FINAL CALL for papers: Sixth International Workshop on Verification and Program Transformation (VPT 2018)   John Patrick Gallagher
• [Om-announce] IEEE CNS 2018 - Call for Posters (Deadline: March 5)   LUO, LANNAN
• [Om-announce] CICM 2018: Call for Papers, Workshops & Tutorials   Serge Autexier
• [Om-announce] Call for Papers: ARES 2018   res.mb.conference
• [Om-announce] Call for Papers: CD-MAKE 2018   res.mb.conference
• [Om-announce] IJCAR 2018 - Call for Papers   geoff at cs.miami.edu
• [Om-announce] CAV 2018 - Call for Papers   geoff at cs.miami.edu
• [Om-announce] Call for sessions, ICMS 2018   James Davenport
• [Om-announce] HighPer 2018: early registration January 20   GRLMC
• [Om-announce] Deadline extension: Models for Formal Analysis of Real Systems (MARS 2018)   Rob van Glabbeek and Wendelin Serwe
• [Om-announce] SmartWorld 2018: CALL FOR WORKSHOP AND SPECIAL SESSION PROPOSALS   Qin Liu
• [Om-announce] [LASER] LASER 2018 school: blockchains, bitcoin and distributed trust, Elba, 2-10 June   Chair of Software Engineering Events Participants
• [Om-announce] Workshop on Recent Advances in Machine Learning, Big Data Analytics, and Internet of Things - IoTforeHealth 2018 (due on Jan 17, 2018)   Chang V.I.
• [Om-announce] Call for Workshop Proposal with a Great Support from ATC Conference   Shui Yu
• [Om-announce] Alfred Tarski Logic Prize   UNILOG2018
• [Om-announce] [Extended deadline] CFP: 4th ACM Cyber‐Physical System Security Workshop (ACM CPSS’18)   Cristina Alcaraz
• [Om-announce] WADT 2018 – 1st Call for Papers   Ionut Tutu
• [Om-announce] [ISSAC-ANNOUNCE] Final Call for Papers ISSAC 2018   Gleb Pogudin
• [Om-announce] AlCoB 2018: 3rd call for papers   GRLMC
• [Om-announce] AiML 2018: SECOND CALL FOR PAPERS   Thomas Studer
• [Om-announce] 25th Static Analysis Symposium (SAS 2018) - First Call for Papers   Urban Caterina
• [Om-announce] CFP: Workshop on Industrial Internet of Things Security (WIIoTS)   Cristina Alcaraz
• [Om-announce] Call for Papers: 32nd IFIP WG 11.3 Conference on Data and Applications Security and Privacy, DBSec 2018   DBSec 2018
• [Om-announce] Workshop on Recent Advances on Security, Privacy, Big Data and Internet of Things - SPBDIoT 2018 (due on Jan 26, 2018)   Chang V.I.
• [Om-announce] [Extended deadline] CFP: 4th ACM Cyber‐Physical System Security Workshop (ACM CPSS’18)   Cristina Alcaraz
• [Om-announce] IEEE SmartWorld 2018: CALL FOR WORKSHOP AND SPECIAL SESSION PROPOSALS   Qin Liu
• [Om-announce] PPDP 2018: First Call for Papers   David Sabel
• [Om-announce] Call for book chapters "Smart Data: State-of-the-Art and Perspectives in Computing and Applications", Taylor & Francis   Kuan-Ching Li
• [Om-announce] DEADLINE EXTENSION - VPT-2018: 6th International Workshop on Verification and Program Transformation   John Patrick Gallagher
• [Om-announce] Call for Papers: ARES 2018   res.mb.conference
• [Om-announce] Call for Papers: CD-MAKE 2018   res.mb.conference
• [Om-announce] Call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis   German Vidal
• [Om-announce] Call for Papers - 4th IEEE Workshop on Security and Privacy in the Cloud (SPC 2018)   Giovanni Livraga
• [Om-announce] DeepLearn 2018: early registration February 14   GRLMC
• [Om-announce] Call for Submissions: IEEE/ACM ASONAM 2018 Tracks, Workshops and Co-Located Events   ASONAM 2018
• [Om-announce] BDCA'18 DEADLINE EXTENSION (January 31, 2018)   BDCA Conference
• [Om-announce] [Deadline Approaching] CFP: Workshop on Industrial Internet of Things Security (WIIoTS)   Cristina Alcaraz
• [Om-announce] High Quality Journal Forum, 2 pages abstract due on Feb 1, 2018 (March 19-21, 2018 - Funchal, Madeira, Portugal)   Chang V.I.
• [Om-announce] FOPSS Logic and Learning School advertisement   Andrzej Murawski
• [Om-announce] IEEE CNS 2018 - Call for Posters (Deadline: March 5)   LUO, LANNAN
• [Om-announce] FORMATS 2018 **First Call for Papers**   David N. Jansen
• [Om-announce] CFP: SIGGRAPH's SpaceTime 2018 International Student Competition   Ursyn, Anna
• [Om-announce] SmartWorld 2018: CALL FOR PAPERS   Qin Liu
• [Om-announce] SNR 2018: 4th International Workshop on Symbolic and Numerical Methods for Reachability Analysis - 3rd Call for Papers (includes extended deadlines)   Martin Fränzle
• [Om-announce] DEADLINE APPROACHING: KR18 - Call for Tutorial and Workshop Proposals   Marcello Balduccini

Last message date: Wed Jan 31 22:38:16 CET 2018
Archived on: Thu Feb 1 13:12:53 CET 2018

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