om-announce  

Messages by Thread

• [Om-announce] [fm-announcements] RV 2017 - 2nd Call for Participation Havelund, Klaus (348B)
• [Om-announce] ESORICS 2017: Call for Participation Cristina Alcaraz
  • [Om-announce] ESORICS 2017: Call for Participation Cristina Alcaraz
  • [Om-announce] ESORICS 2017: Call for Participation Cristina Alcaraz
• [Om-announce] FOCLASA 2017 - Call for Participation foclasa2017
• [Om-announce] PADL 2018 - 1 month to abstract deadline manna
• [Om-announce] CFP to Special Issue in SCAC on Scalable Algorithms and Behavior Analytics in Cyber-Enabled World - Deadline Mar. 31, 2018 Xiaokang Zhou
  • [Om-announce] CFP to Special Issue in SCAC on Scalable Algorithms and Behavior Analytics in Cyber-Enabled World - Deadline Mar. 31, 2018 Xiaokang Zhou
• [Om-announce] Call for Book Chapters- Springer Book on Versatile Cyber-security (Proposal Deadline: August 30), Editors: Mauro Conti, Gaurav Somani and Radha Poovendran Gaurav Somani
• [Om-announce] IEEE IUCC 2017 Final CFP with 11+ Keynotes & 14+ SIs Qin Liu
• [Om-announce] SLSP 2017: call for posters GRLMC
  • [Om-announce] SLSP 2017: call for posters GRLMC
• [Om-announce] VICHY JUNE 2018 - UNIVERSAL LOGIC - WORLD CONGRESS AND SCHOOL UNILOG2018
• [Om-announce] TABLEAUX 2017, FroCoS 2017, ITP 2017 - Call for Participation geoff
• [Om-announce] RCRA 2017: Last call for papers. Marco Maratea
• [Om-announce] [CTC 2017] Submission deadline in two days (July 23rd) Fulvio Frati
• [Om-announce] SEFM 2017 -- Call for Participation Alberto Griggio
• [Om-announce] CFP: IEEE ICC2018 Big Data Track with Special Issues, due on October 15, 2017. Shui Yu
• [Om-announce] Open PhD positions Martin Leucker
• [Om-announce] Open PostDoc Positions Martin Leucker
• [Om-announce] [fm-announcements] RV 2017 - 1st Call for Participation Havelund, Klaus (348B)
• [Om-announce] KR 2018 Preliminary Call for Papers Marcello Balduccini
• [Om-announce] CFP: IDCS 2017, 11-13 December 2017, Mana Island Resort and Spa, Fiji Conference Contact
• [Om-announce] [CTC 2017] Submission deadline approaching (July 23rd - Anywhere-On-Earth) Fulvio Frati
• [Om-announce] Fw: CyberSciTech 2017 CFP (Deadline: July 24, 2017) 王堃
• [Om-announce] IEEE/ACM ASONAM 2017 : Call for Participation ASONAM 2017
• [Om-announce] ADHS 2018 - Early Call for Papers Magazzeni, Daniele
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2017 - Final Call for Participation Michael Sagraloff
• [Om-announce] TAPAS 2017: Call for Abstracts Thomas Wies
• [Om-announce] [ISSAC-ANNOUNCE] Pasco 2017 (co-located with ISSAC) - Final Call for Participation Matthew England
• [Om-announce] IEEE/ACM ASONAM 2017 Call for Participation ASONAM 2017
• [Om-announce] [CFR]: ESORICS+Workshops 2017 Registration is Open (Early-bird pricing through ***August, 15th 2017***) Cristina Alcaraz
  • [Om-announce] [CFR]: ESORICS+Workshops 2017 Registration is Open (Early-bird pricing through ***August, 15th 2017***) Cristina Alcaraz
• [Om-announce] [Extended Deadline] IEEE CNS'17 Workshop on Security and Privacy in digital Advertising (SPA) chhagan.iiita
  • [Om-announce] [Extended Deadline] IEEE CNS'17 Workshop on Security and Privacy in digital Advertising (SPA) chhagan.iiita
  • [Om-announce] [Extended Deadline] IEEE CNS'17 Workshop on Security and Privacy in digital Advertising (SPA) chhagan.iiita
• [Om-announce] [ISSAC-ANNOUNCE] Pasco 2017 (affiliated & colocated with ISSAC): 2nd Call for Participation Matthew England
• [Om-announce] CfP: PADL 2018 - 20th International Symposium on Practical Aspects of Declarative Languages manna
• [Om-announce] Deadline extended - IEEE Workshop on Security and Privacy in the Cloud (SPC 2017) SPC 2017
  • [Om-announce] Deadline extended - IEEE Workshop on Security and Privacy in the Cloud (SPC 2017) SPC 2017
• [Om-announce] Call for Book Chapters, Springer Book on "Versatile Cyber-security", Editors: Mauro Conti, Gaurav Somani, and Radha Poovendran Gaurav Somani
• [Om-announce] Commonsense-2017 - Call for Papers geoff
• [Om-announce] [C&TC 2017] Extended submission deadline (July 23rd, 2017) Fulvio Frati
• [Om-announce] CFP: IEEE Internet of Things Journal Special Issue on Towards Positioning, Navigation, and Location Based Services (PNLBS) for Internet of Things [email protected]
• [Om-announce] CyberSciTech 2017 CFP (Deadline: July 10, 2017) 王堃
• [Om-announce] FIRST Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming John Patrick Gallagher
  • [Om-announce] SECOND Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming John Patrick Gallagher
• [Om-announce] Call for Papers: Software: Practice and Experience (Wiley Press) for Special Issue on Integration of Cloud, IoT and Big Data Analytics Gaurav Somani
• [Om-announce] Call for Papers SYNASC 2017 Workshops
  • [Om-announce] Call for Papers SYNASC 2017 Workshops
  • [Om-announce] Call for Papers SYNASC 2017 Workshops
  • [Om-announce] Call for papers TIAN Yangguang
  • [Om-announce] CALL FOR PAPERS Hồng Thơm Đinh Thị
• [Om-announce] AiML 2018: FIRST CALL FOR PAPERS Thomas Studer
• [Om-announce] [C&TC 2017] Deadline Approaching (July 12, 2017) Fulvio Frati
• [Om-announce] GCAI 2017 in Miami - Deadline extension Geoff Sutcliffe
• [Om-announce] [fm-announcements] RV-CuBES Deadline Extension Havelund, Klaus (348B)
• [Om-announce] Deduktionstreffen 2017 - Call for Abstracts Geoff Sutcliffe
• [Om-announce] [Extended deadline] CFP: Special Issue on "Security and Privacy in Cloud-Assisted Cyber-Physical Systems" in Computer Networks Journal (Elsevier) Cristina Alcaraz
  • [Om-announce] [Extended deadline] CFP: Special Issue on "Security and Privacy in Cloud-Assisted Cyber-Physical Systems" in Computer Networks Journal (Elsevier) Cristina Alcaraz
• [Om-announce] STM 2017 - submission deadline in a few days (June 30, 2017) stm2017
• [Om-announce] [simu-conf] WSC 2017 - Posters, Case Studies, PhD Colloquium, Vendor track vsim-conf
• [Om-announce] PhD position in IoT Gwen Salaün
• [Om-announce] Call for Papers - IEEE Workshop on Security and Privacy in the Cloud (SPC 2017), deadline July 10, 2017 SPC 2017
• [Om-announce] Deadline in a few days - 11th WISTP International Conference on Information Security Theory and Practice (WISTP 2017) Ruggero Donida Labati
• [Om-announce] [Extended deadline] * DPM2017 * - Data Privacy Management, Int. Workshop, short and full paper deadline extended (event co-located with ESORICS 2017, LNCS Proceedings) Guillermo Navarro-Arribas
• [Om-announce] CFP: 2017 IEEE CNS Workshop on Security and Privacy in digital Advertising (SPA) chhagan.iiita
• [Om-announce] STM 2017 - submission deadline extended to June 30, 2017 stm2017
• [Om-announce] CFP: EAI MONAM conference with SIs and Keynotes, Melbourne, Australia, December 13-15, 2017 Shui Yu
  • [Om-announce] CFP: EAI MONAM conference with SIs and Keynotes, Melbourne, Australia, December 13-15, 2017 Shui Yu
• [Om-announce] CFP: IEEE International Workshop on Cyber-Physical Systems Security (CPS-Sec) - July 18 Nico Saputro
• [Om-announce] Fw: Fw: Fw: Fw: CyberSciTech 2017 CFP (Deadline: July 10, 2017) 王堃
• [Om-announce] [Deadline approaching] CFP: The 12th International Conference on Critical Information Infrastructures Security (CRITIS 2017) Cristina Alcaraz
• [Om-announce] Final Call for Papers SYNASC 2017
  • [Om-announce] Final Call for Papers SYNASC 2020
• [Om-announce] STM 2017 - submission deadline extended to June 23, 2017 stm2017
• [Om-announce] SAFECOMP17 Call for Participation Stefano Tonetta
• [Om-announce] RCRA 2017: First call for papers. Marco Maratea
• [Om-announce] Reminder: Central European Cybersecurity Conference (16-17 November 2017) CECC
• [Om-announce] TrustData 2017 CFP with 14+ SIs and 10+ Keynotes Qin Liu
  • [Om-announce] TrustData 2017 CFP with 14+ SIs and 10+ Keynotes Qin Liu
  • [Om-announce] TrustData 2017 CFP with 14+ SIs and 10+ Keynotes Qin Liu
  • [Om-announce] TrustData 2017 CFP with 14+ SIs and 10+ Keynotes Qin Liu
• [Om-announce] Deadline extended - 11th WISTP International Conference on Information Security Theory and Practice (WISTP 2017) Ruggero Donida Labati
• [Om-announce] Call for participation: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment Marco Bozzano
• [Om-announce] CICM 2017 - Call for Participation / Posters / Work in Progress Serge Autexier
• [Om-announce] Posting CFP of ICMC 2018 Debasis Giri
• [Om-announce] Fwd: CFP: S&PWM 2017 -* Deadline extended *- Kashif Akhtar Saleem
• [Om-announce] NASSLLI 2018 - Announcement and call for course proposals Will Nalls
• [Om-announce] [ISSAC-ANNOUNCE] PASCO 2017 Call for Participation (Satellite Workshop of ISSAC) Matthew England
• [Om-announce] *DEADLINE EXTENSION*: HVCS'17 - 4th Workshop on Horn Clauses for Verification and Synthesis Alberto Griggio
• [Om-announce] [CFP] SUBMISSION OPEN: 7th Int. Symp. on Secure Virtual Infrastructures -- Cloud and Trusted Computing (C&TC 2017) Fulvio Frati
• [Om-announce] [Deadline approaching] DPM2017 - Data Privacy Management, Int. Workshop (co-located with ESORICS 2017, LNCS Proceedings) Guillermo Navarro-Arribas
• [Om-announce] Wiley-IEEE Press - Call for Book Chapters: Internet of Things A-Z: Technologies and Applications Qusay Fadhel
• [Om-announce] CFP: S&PWM 2017 -* Deadline extended *- Kashif Akhtar Saleem
• [Om-announce] Deadline approaching - 13th International Workshop on Security and Trust Management (STM 2017) stm2017
• [Om-announce] 2nd Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems Nataliia Stulova
• [Om-announce] LOPSTR 2017: Final Call for Papers - DEADLINE EXTENSION John Patrick Gallagher
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2017: FIRST CALL FOR PARTICIPATION Michael Sagraloff
• [Om-announce] 24th WoLLIC 2017 - Call for Participation Ruy de Queiroz
• [Om-announce] Call for Participation: ICE/IEEE ITM: 23rd INTERNATIONAL CONFERENCE ON ENGINEERING, TECHNOLOGY AND INNOVATION Giovanni Livraga
• [Om-announce] Call for Papers - 11th WISTP International Conference on Information Security Theory and Practice (WISTP 2017) Ruggero Donida Labati
• [Om-announce] Fw: Fw: Fw: CyberSciTech 2017 CFP (Deadline: June 15, 2017) 王堃
• [Om-announce] DBSec 2017 - Call for Participation (Early Bird Registration ends June 09, 2017) Fengjun Li
• [Om-announce] LOPSTR 2017: 2nd Call for Papers John Patrick Gallagher
• [Om-announce] SLSP 2017: extended deadline June 18 GRLMC
• [Om-announce] 2nd CFP, 4th WS on Horn Clauses for Verification & Synthesis HCVS (Deadline: June 11) Manuel Hermenegildo
• [Om-announce] [Deadline June 25] DPM 2017 - Data Privacy Management (co-located with ESORICS'2017), LNCS Proceedings, Sept. 2017, Oslo, Norway Joaquin Garcia-Alfaro
• [Om-announce] FGCT 2017 ijwa
• [Om-announce] Deadline Extension - DataMod 2017 - 6th International Symposium From Data to Models and Back Alberto Griggio
• [Om-announce] Three PhD positions in Security and Privacy Rolando TRUJILLO RASUA
• [Om-announce] TABLEAUX/FroCoS/ITP - Call for Posters Geoff Sutcliffe
• [Om-announce] Deadline Extension - FAACS 2017 - 1st Workshop on Formal Approaches for Advanced Computing Systems Alberto Griggio
  • [Om-announce] Deadline Extension - FAACS 2017 - 1st Workshop on Formal Approaches for Advanced Computing Systems Alberto Griggio
• [Om-announce] ACM WiSec 2017 CALL FOR PARTICIPATION chhagan.iiita
• [Om-announce] CFP – Central European Cybersecurity Conference (16-17 November 2017) CECC
• [Om-announce] ThEdu'17: 2nd Call for Extended Abstracts & Demonstrations Achim D. Brucker
• [Om-announce] FOCLASA 2017 - Final Call for Papers foclasa2017
• [Om-announce] CADE-26 - Call for Participation Geoff Sutcliffe
  • [Om-announce] CADE-26 - Call for Participation Geoff Sutcliffe
• [Om-announce] Call for Submissions to the Doctoral Programme - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: June 5th, 2017 Serge Autexier
• [Om-announce] DeepLearn 2017: early registration June 16 GRLMC
• [Om-announce] DaLi'17 -- Deadline extension Stéphane DEMRI
• [Om-announce] (Due to numerous requests, Extended Deadline:25 May, only 3 days) IEEE/ACM ASONAM Workshops, Events ASONAM 2017
• [Om-announce] Call for Papers - IEEE Workshop on Security and Privacy in the Cloud (SPC 2017) SPC 2017
• [Om-announce] 13th International Workshop on Security and Trust Management (STM 2017) stm2017
• [Om-announce] SYNASC 2017 - Final Call for Papers SYNASC 2017
• [Om-announce] CFP MobiQuitous 2017, Melbourne, November 6-9, 2017 Shui Yu
• [Om-announce] CFP : MobiQuitous 2017 Workshop Proposals Shui Yu
• [Om-announce] DPM2017 CFP: Data Privacy Management, Int. Workshop (ESORICS 2017) Guillermo Navarro-Arribas
• [Om-announce] IEEE IUCC 2017 Call for Workshop Proposals Qin Liu
• [Om-announce] Call for Papers: CD-MAKE 2017 - Deadline Extended to June 1, 2017 res.mb.conference
• [Om-announce] [ISSAC-ANNOUNCE] SC2 Workshop - located with ISSAC - Final Call - JSC Special Issue Announced Matthew England
• [Om-announce] SLSP 2017: 3rd call for papers GRLMC
• [Om-announce] Symposium on Foundations & Practice of Security (FPS 2017): Call for Papers (Springer-LNCS Proceedings) Abdessamad Imine
• [Om-announce] IEEE ISPA 2017 Call for Workshop Proposals Shui Yu
• [Om-announce] Ideas for future LASER schools se-events
• [Om-announce] CFP SPIFEC 2017 (ESORICS workshop): 1st European Workshop on Security and Privacy in Fog and Edge Computing Rodrigo Roman
  • [Om-announce] CFP SPIFEC 2017 (ESORICS workshop): 1st European Workshop on Security and Privacy in Fog and Edge Computing Rodrigo Roman
• [Om-announce] FAACS 2017 CFP - 1st Workshop on Formal Approaches for Advanced Computing Systems Alberto Griggio
• [Om-announce] [WiSec’17] Call for Student Travel Grant Applications chhagan.iiita
  • [Om-announce] [WiSec’17] Call for Student Travel Grant Applications chhagan.iiita
• [Om-announce] ACM WiSec '17: Call For Posters/Demonstrations chhagan.iiita
• [Om-announce] MEMOCODE-2017 (Deadline Extension) Klaus.Schneider
• [Om-announce] Call for Papers - 13th International Workshop on Security and Trust Management (STM 2017) Giovanni Livraga
• [Om-announce] CAV 2017: Call for participation mikael.mayer
• [Om-announce] AlCoB 2017: call for participation GRLMC
• [Om-announce] GCAI 2017 in Miami - Call for Papers Geoff Sutcliffe
  • [Om-announce] GCAI 2017 in Miami - Call for Papers Geoff Sutcliffe
• [Om-announce] FOCLASA 2017 - Second Call for Papers foclasa2017
• [Om-announce] SYNASC 2017 - Third Call for Papers SYNASC 2017
• [Om-announce] Call for Papers: HVCS'17 - 4th Workshop on Horn Clauses for Verification and Synthesis Alberto Griggio
• [Om-announce] [ICLP 2017] Final Call for Papers Tommaso.Urli
• [Om-announce] CFP: EAI Mobile Networks and Management, December 15–17, 2017 | Melbourne, Australia Shui Yu
• [Om-announce] CFP: CSS 2017, Xi'an, China, October 23-25, 2017 Conference Contact
• [Om-announce] [CfP] IICCST-2017 Abstract Submission Extension: 12th May 2017 riccardo.lazzeretti
• [Om-announce] LOPSTR 2017: 1st Call for Papers John Patrick Gallagher
• [Om-announce] DeepLearn 2017: early registration May 19 GRLMC
• [Om-announce] CiE 2017: call for participation CIE2017
• [Om-announce] Deadline Extension: International Workshop on OCL and Textual Modeling (OCL 2017) Achim D. Brucker
• [Om-announce] [Deadline Extended] Call for Submissions: IEEE/ACM ASONAM 2017 Tracks, Workshops and Co-Located Events ASONAM 2017
• [Om-announce] CFP: Special Issue on "Security and Privacy in Cloud-Assisted Cyber-Physical Systems" in Computer Networks Journal (Elsevier) Cristina Alcaraz
  • [Om-announce] CFP: Special Issue on "Security and Privacy in Cloud-Assisted Cyber-Physical Systems" in Computer Networks Journal (Elsevier) Cristina Alcaraz
  • [Om-announce] CFP: Special Issue on "Security and Privacy in Cloud-Assisted Cyber-Physical Systems" in Computer Networks Journal (Elsevier) Cristina Alcaraz
  • [Om-announce] CFP: Special Issue on "Security and Privacy in Cloud-Assisted Cyber-Physical Systems" in Computer Networks Journal (Elsevier) Cristina Alcaraz
• [Om-announce] Formal Methods in Computer-Aided Design - Final Call for Papers Geoff Sutcliffe
• [Om-announce] Call for Participation: International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017 Peter Schüller
• [Om-announce] SMT 2017 workshop : 2nd CFP, Deadline 1st/8th May Martin Nyx Brain
• [Om-announce] VSTTE 2017 - Deadline Extension Andrei Paskevich
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2017: FIRST CALL FOR POSTERS AND SOFTWARE PRESENTATIONS Michael Sagraloff
• [Om-announce] 4th Vampire Workshop - Call for Papers Geoff Sutcliffe
• [Om-announce] [CFP] 16th International Conference on Information Technology (ICIT2017) Fulvio Frati
• [Om-announce] [CFP] 7th International Symposium on Secure Virtual Infrastructures -- Cloud and Trusted Computing (C&TC 2017) Fulvio Frati
  • [Om-announce] [CFP] 7th International Symposium on Secure Virtual Infrastructures -- Cloud and Trusted Computing (C&TC 2017) Fulvio Frati
• [Om-announce] ARCADE - 2nd Call for Papers Geoff Sutcliffe
• [Om-announce] [CfP] ATC workshops - last day submission riccardo.lazzeretti
• [Om-announce] [fm-announcements] RV 2017 - Deadline Extension: full submissions May 8 Havelund, Klaus (348B)
• [Om-announce] FORMATS'17 submission extended to 3 May/5 May 2017 Thao Dang
  • [Om-announce] FORMATS'17 Call for Participation, 5-7 September Thao Dang
• [Om-announce] Call for Workshop Paper: ARES 2017 res.mb.conference
  • [Om-announce] Call for Workshop Paper: ARES 2017 res.mb.conference
• [Om-announce] [CfP] Last days: Workshop on Trusted Computing in Distributed and Hybrid Systems riccardo.lazzeretti
• [Om-announce] TABLEAUX 2017 - Deadline Extension Geoff Sutcliffe
• [Om-announce] SmartIoT2017, August 25th-27th, 2017 at Dalian, China SmartIoT 2017
  • [Om-announce] SmartIoT2017, August 25th-27th, 2017 at Dalian, China SmartIoT 2017
• [Om-announce] [CFP] 7th Int. Symposium on Data-driven Process Discovery and Analysis (SIMPDA2017) Fulvio Frati
  • [Om-announce] [CFP] 7th Int. Symposium on Data-driven Process Discovery and Analysis (SIMPDA2017) Fulvio Frati
  • [Om-announce] [CFP] 7th Int. Symposium on Data-driven Process Discovery and Analysis (SIMPDA2017) Fulvio Frati
• [Om-announce] [CfP extension] Workshop on Driver- and Driverless Cars: Competition or Coexistence? (DDC 2017) riccardo.lazzeretti
• [Om-announce] Update: LASER summer school 2017: Software for Robotics, Elba Island, September 9-17 se-events
• [Om-announce] TIME 2017 Final call for papers Stéphane DEMRI
• [Om-announce] FORMATS 2017 - Submission 21 April 2017 Thao Dang
• [Om-announce] [fm-announcements] ISSTA 2017 Demonstrations - Call for Papers Havelund, Klaus (348B)
• [Om-announce] Deadline extended - 5th IEEE Conference on Communications and Network Security (IEEE CNS 2017) Giovanni Livraga
• [Om-announce] Formal Methods in Computer-Aided Design - Call for Papers Geoff Sutcliffe
• [Om-announce] CFP: IET Networks, Special Issue on 5G Security, due on 30/6/2017 Wei Quan
  • [Om-announce] CFP: IET Networks, Special Issue on 5G Security, due on 30/6/2017 Wei Quan
  • [Om-announce] CFP: IET Networks, Special Issue on 5G Security, due on 30/6/2017 Wei Quan
  • [Om-announce] CFP: IET Networks, Special Issue on 5G Security, due on 30/6/2017 Wei Quan
• [Om-announce] MFCS 2017: Second Call for Papers Giorgio Bacci

• Earlier messages
• Later messages