om-announce  

Messages by Thread

• [Om-announce] LPAR-21 in Botswana - Call for Papeprs Geoff Sutcliffe
• [Om-announce] [logic-programming] Picat Version 2.0 and News [email protected] [email protected]
• [Om-announce] TPNC 2016: call for participation GRLMC
• [Om-announce] Call for Papers: NETYS'2017 Afaf BOUHOUTE
• [Om-announce] CAV 2017 Call for Workshop proposals Mikaël Mayer
• [Om-announce] TSD 2017 - Preliminary Call for Papers TSD 2017
• [Om-announce] BigDat 2017: early registration November 18 GRLMC
• [Om-announce] First Call for Papers: VPT 2017 Fifth International Workshop on Verification and Program Transformation Maurizio Proietti
• [Om-announce] [fm-announcements] SPIN 2017 - Call for papers Havelund, Klaus (348B)
• [Om-announce] 2nd CFP, NFM 2017: 9th NASA Formal Methods Symposium Guy Katz
• [Om-announce] ASIACCS 2017 -- Submission Deadline Extended to November 15, 2016 Prof. Mauro Conti
• [Om-announce] CADE-26 Call for Workshops, Tutorials, System Competition, and Papers Geoff Sutcliffe
• [Om-announce] TABLEAUX/FroCoS/ITP Call for Papers Geoff Sutcliffe
• [Om-announce] CfP: MARS 2017 - Models for Formal Analysis of Real Systems Peter.Hoefner
• [Om-announce] TPTP and Automated Reasoning Geoff Sutcliffe
• [Om-announce] 24th WoLLIC 2017 - Call for Papers Ruy de Queiroz
• [Om-announce] Call for Papers - 32nd IFIP TC-11 SEC 2017 International Information Security and Privacy Conference IFIP SEC 2017
  • [Om-announce] Call for Papers - 32nd IFIP TC-11 SEC 2017 International Information Security and Privacy Conference IFIP SEC 2017
• [Om-announce] Artificial Intelligence and Theorem Proving - Call for Papers Geoff Sutcliffe
  • [Om-announce] Artificial Intelligence and Theorem Proving - Call for Papers geoff
• [Om-announce] IEEE INFOCOM17 Workshop of BigSecurity, due on Jan 10th, 2017 Shui Yu
• [Om-announce] NFM 2017 - Call For Workshops Rody Kersten
• [Om-announce] FSEN 2017: Final Call for Papers Marjan Sirjani
• [Om-announce] BigDat 2017: early registration October 21 GRLMC
• [Om-announce] CfP - Workshop on Communication Security - affiliated with EUROCRYPT 2017 Marco Baldi
• [Om-announce] ICCBDA 2017 @ Beijing, China - Jan 6 & 7 - CFP Long Cai, Program Manager, ASDF
• [Om-announce] IEEE ICC17 Big Data Track CFP and Special Issues, Deadline extended to October 28. Shui Yu
• [Om-announce] AI Communications: Special Issue on Automated Reasoning Geoff Sutcliffe
• [Om-announce] ICIS 2016 SIGBD: Annual meeting and a workshop of SIG on Big Data Application 2016 Ирина Блескина
• [Om-announce] CFP: BDCA'17 2nd International Conference on Big Data, Cloud and Applications, Proceedings ACM BDCA Conference
• [Om-announce] Final Call for Participation: IEEE CNS 2016, 17-19 October 2016, Philadelphia, PA USA. Qin Liu
• [Om-announce] FedCSIS 2017 - CALL FOR EVENTS Federated Conference on Computer Science and Information Systems
• [Om-announce] CFP International Conference on Logic Programming and Non-monotonic Reasoning, Finland, July 3-5, 2017 Peter Schüller
• [Om-announce] DL 2017, Call for Papers Geoff Sutcliffe
  • [Om-announce] DL 2017, Call for Papers Geoff Sutcliffe
• [Om-announce] Call for participation: Second IEEE Workshop on Security and Privacy in the Cloud (SPC 2016) IEEE SPC 2016
• [Om-announce] [ISSAC-ANNOUNCE] First Call for Papers ISSAC 2017 Michael Sagraloff
• [Om-announce] Call for Participation - 15th International Conference on Cryptology and Network Security (CANS 2016) CANS 2016
  • [Om-announce] Call for Participation - 15th International Conference on Cryptology and Network Security (CANS 2016) CANS 2016
• [Om-announce] [DEADLINE EXT] 6th INT. SYMPOSIUM ON DATA-DRIVEN PROCESS DISCOVERY AND ANALYSIS (SIMPDA2016) Fulvio Frati
• [Om-announce] ASIACCS 2017 CFP Prof. Mauro Conti
  • [Om-announce] ASIACCS 2017 CFP Prof. Mauro Conti
• [Om-announce] [ISSAC-ANNOUNCE] First Announcement of PASCO 2017 (affiliated with ISSAC 2017) Matthew England
• [Om-announce] CFP to Special Issue in JPDC on Scalable Platforms and Advanced Algorithms for IoT and Cyber-Enabled Applications - Deadline Dec. 31, 2016 Xiaokang Zhou
  • [Om-announce] CFP to Special Issue in JPDC on Scalable Platforms and Advanced Algorithms for IoT and Cyber-Enabled Applications - Deadline Dec. 31, 2016 Xiaokang Zhou
  • [Om-announce] CFP to Special Issue in JPDC on Scalable Platforms and Advanced Algorithms for IoT and Cyber-Enabled Applications - Deadline Dec. 31, 2016 Xiaokang Zhou
• [Om-announce] Internet of Things: Concepts, Technologies, Applications, and Implementations Qusay Fadhel
  • [Om-announce] Internet of Things: Concepts, Technologies, Applications, and Implementations - Proposal Deadline Extended Qusay Fadhel
  • [Om-announce] Internet of Things: Concepts, Technologies, Applications, and Implementations - Proposal Deadline Extended Qusay Fadhel
  • [Om-announce] Internet of Things: Concepts, Technologies, Applications, and Implementations - Proposal Deadline Extended Qusay Fadhel
  • [Om-announce] Internet of Things: Concepts, Technologies, Applications, and Implementations - Last Proposal Deadline Extended Qusay Fadhel
  • [Om-announce] Internet of Things: Concepts, Technologies, Applications, and Implementations - Proposal Deadline Extended Qusay Fadhel
• [Om-announce] CFP: IEEE Trans on Big Data, Special Issue on Theoretical Foundations for Big Data Security and Privacy Shui Yu
  • [Om-announce] CFP: IEEE Trans on Big Data, Special Issue on Theoretical Foundations for Big Data Security and Privacy Shui Yu
• [Om-announce] Call for Workshops for SGIoT 2017, ONTARIO, CANADA Alam
• [Om-announce] International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS) Nils Muellner
  • [Om-announce] International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS) Nils Muellner
• [Om-announce] [IWSAC 2016] Deadline in 2 Days (September 24, 2016) Filippo Gaudenzi
• [Om-announce] xSAP 1.2.0 has been released Marco Bozzano
• [Om-announce] CFP: Special Issue on Social Networking Big Data, FGCS Shui Yu
• [Om-announce] Call for Book Chapters: Internet of Things - Concepts, Technologies, Applications, and Implementations Qusay Fadhel
• [Om-announce] IEEE BigDataService 2017 - Call for papers Swathi Nuggehalli Sudarshan
• [Om-announce] CFP: 35th IPCCC 2016 Workshop on Communication, Computing, and Networking in Cyber Physical Systems Kashif Akhtar Saleem
• [Om-announce] CFP: 14th International Conference on Information Technology- New Generations (ITNG2017) Kashif Akhtar Saleem
• [Om-announce] AISGSB2017 Son Tran
• [Om-announce] [IWSAC 2016] Deadline Approaching (September 24, 2016) Filippo Gaudenzi
• [Om-announce] IEEE CNS 2016 Call for Participation Shui Yu
• [Om-announce] IEEE CNS 2016 Call for Participation: Registration Deadline (9/23/2016) Qin Liu
• [Om-announce] TABLEAUX, FroCoS, ITP - Call for Workshops and Tutorials Geoff Sutcliffe
• [Om-announce] ACM CCS 2016 - Call for Participation Giovanni Livraga
• [Om-announce] [DEADLINE EXT] SITIS 2016 Track on Social Networks, Large Networks and their Applications Fulvio Frati
• [Om-announce] CANS 2016 - Call for Posters (deadline approaching) cans2016
• [Om-announce] Call for Participation: IEEE CNS 2016, 17-19 October 2016, Philadelphia, PA USA. Qin Liu
• [Om-announce] [IWSAC 2016] Submission Deadline Extended (September 24, 2016) Filippo Gaudenzi
• [Om-announce] [Deadline approaching] IWASC2016 Filippo Gaudenzi
• [Om-announce] Extended deadlines for RCRA 2016 Andrea Formisano
• [Om-announce] [DEADLINE EXT] 3rd Int. Workshop on Computational Intelligence Techniques for Industrial and Medical Applications Fulvio Frati
• [Om-announce] Call for Participation： IEEE CNS 2016，17-19 October 2016, Philadelphia, PA USA Qin Liu
• [Om-announce] GCAI 2016 - Call for Participation Geoff Sutcliffe
• [Om-announce] Call for Workshops- SGIoT 2017, JULY 11–13, 2017, ONTARIO, CANADA Alam
• [Om-announce] [CFP] RAMiCS 2017 Damien Pous
  • [Om-announce] [CFP] RAMiCS 2017 Damien Pous
• [Om-announce] CFP: International Conference on Smart Computing and Communication (SmartCom 2016) Shui Yu
• [Om-announce] CFP - IFIP NTMS'16: International Conference on New Technologies, Mobility and Securit, Larnaca, Cyprus, November 21 - 23, 2016 NTMS2016 Conference
• [Om-announce] RCRA 2016 Call for papers - deadline approaching Andrea Formisano
• [Om-announce] ICLP 2016 Call for Participation - Early Registration deadline Mon Sep 5, 2016 Peter SchC<ller
• [Om-announce] SETTA 2016 - Call for Participation - Symposium on Dependable Software Engineering Theories, Tools and Applications Beijing, China, Nov. 9-11, 2016 Nils Muellner
• [Om-announce] SLSP 2016 posters: submission deadline September 4 GRLMC
• [Om-announce] Call for Chapters_Springer Book on Mobile Big Data_Extended Deadline George Mastorakis
• [Om-announce] IEEE CNS Call for Participation Shui Yu
• [Om-announce] IEEE CNS 2016: Call for Participation Qin Liu
• [Om-announce] CFP NFM 2017: 9th NASA Formal Methods Symposium Guy Katz
• [Om-announce] [fm-announcements] CFP NFM 2017: 9th NASA Formal Methods Symposium Rungta, Neha S. (ARC-TI)[SGT, INC]
• [Om-announce] CFP: SocialSec 2016, Fiji with new SCI-Indexed Journal Special Issue Conference Contact
• [Om-announce] SCI-Indexed Journal Special Issue for CIT 2016, Fiji, 8-10 December 2016 Conference Contact
• [Om-announce] IEEE ICC17 Big Data Track CFP and Special Issues Shui Yu
  • [Om-announce] IEEE ICC17 Big Data Track CFP and Special Issues Shui Yu
• [Om-announce] [ISSAC-ANNOUNCE] JSC Special Issue -- ISSAC 2016 aheinle
• [Om-announce] ACM AsiaCCS 2017 Call for Papers Prof. Mauro Conti
• [Om-announce] [DEADLINE EXTENDED] MTAP SI on Recent Advances in Computational Intelligence for Multimedia and Industrial Applications (CIMIA) Fulvio Frati
• [Om-announce] CFP to Special Issue in FGCS on Cybermatics: Advanced Strategy and Technology for Cyber-Enabled Systems and Applications - Deadline Sept. 30, 2016 Xiaokang Zhou
• [Om-announce] BigDat 2017: early registration August 26 GRLMC
• [Om-announce] Call for Participation: ICLP, New York City, Oct 16-21, 2016: International Conference on Logic Programming Peter Schueller
• [Om-announce] IEEE CNS 2016-Travel Grants: Deadline August 25, 2016 Qin Liu
• [Om-announce] Extended Deadline for CIT 2016, Fiji, 8-10 December 2016 Conference Contact
• [Om-announce] Last Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation Pedro López García
• [Om-announce] CFP: SocialSec 2016, Shangri-La's Fijian Resort, Fiji, 8-10 December 2016 Conference Contact
• [Om-announce] [logic-programming] Call for Participation: ICLP, New York City: International Conference on Logic Programming, Oct 17-21, 2016 Peter Schueller
• [Om-announce] SLSP 2016: call for posters GRLMC
• [Om-announce] Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation pedro.lopez
• [Om-announce] RCRA 2016 Second Call For Papers Andrea Formisano
• [Om-announce] ACSW 2017, Extended, Final Call, industry track, special issues Shui Yu
• [Om-announce] TRUST 2016 - Call for Participation res.mb.conference
• [Om-announce] Call for Posters - 15th International Conference on Cryptology and Network Security (CANS 2016) CANS 2016
  • [Om-announce] Call for Posters - 15th International Conference on Cryptology and Network Security (CANS 2016) CANS 2016
• [Om-announce] IEEE CNS 2016-Travel Grants Qin Liu
• [Om-announce] ACSW 2017 Conference, Melbourne, Australia, industry track, special issues, due on August 8. Shui Yu
• [Om-announce] ICLA 2017 Call for Papers Geoff Sutcliffe
• [Om-announce] Deadline approaching - 15th Workshop on Privacy in the Electronic Society (WPES 2016) WPES 2016
• [Om-announce] BigDat 2017: early registration 26 August GRLMC
• [Om-announce] TRUST 2016 -- Call for Participation Moritz Wiese
• [Om-announce] Call for Participation: ICLP, New York City: International Conference on Logic Programming, Oct 17-21, 2016 Peter Schueller
• [Om-announce] [CFP] SITIS 2016 track on Social Networks, Large Networks and their Applications (SLNA) Fulvio Frati
• [Om-announce] Deadline approaching - ACM CCS 2016 Call for Posters/Demos Giovanni Livraga
• [Om-announce] Deadline extended - 15th Workshop on Privacy in the Electronic Society (WPES 2016) WPES 2016
• [Om-announce] IEEE CNS Travel Grants Application, Due Soon Shui Yu
• [Om-announce] IEEE CNS 2016-Travel Grants: Deadline Aug. 25 Qin Liu
• [Om-announce] [EXTENDED SUBMISSION] 8th IEEE Int. Workshop on Information Forensics and Security (WIFS 2016) Fulvio Frati
• [Om-announce] TrustData 2016： Deadline Extended to July 30. Qin Liu
• [Om-announce] **Deadline Extended**[APS-CPS] Automation Protocols Security in Cyber-Physical Systems Chhagan Doot
• [Om-announce] Final Call for Posters- CNS 2016-July 22 Qin Liu
• [Om-announce] FORMATS 2016 - Call for participation Sebastian Gerwinn
• [Om-announce] ACM CCS 2016 - Call for Posters/Demos Giovanni Livraga
• [Om-announce] Call For Participation: WADT 2016 JAMES P. (366409)
• [Om-announce] OCL 2016: ** Deadline Extension ** Submit Your Paper Until July 24, 2016 Achim D. Brucker
• [Om-announce] TrustData 2016 CFP: Deadline Extended to July 30 Qin Liu
• [Om-announce] CNS 2016-Call For Posters: Deadline Extended to July 22, 2016. Qin Liu
• [Om-announce] ACSW 2017 Conference, Melbourne, Australia, industry track, special issue Shui Yu
• [Om-announce] APSCC&SpaCCS&ISPEC 2016 Final CFP Qin Liu
• [Om-announce] 3rd Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Less Than 10 Days Left To Submit Your Paper! Achim D. Brucker
• [Om-announce] WebST 2016: short presentations deadline 15 July GRLMC
• [Om-announce] Deadline approaching - 2nd IEEE Workshop on Security and Privacy in the Cloud (IEEE SPC 2016) IEEE SPC 2016
• [Om-announce] TSD 2016 - Call for Workshop Papers and Demonstrations TSD 2016
• [Om-announce] [CFP] MTAP SI on Recent Advances in Computational Intelligence for Multimedia and Industrial Applications (CIMIA) Fulvio Frati
  • [Om-announce] [CFP] MTAP SI on Recent Advances in Computational Intelligence for Multimedia and Industrial Applications (CIMIA) Fulvio Frati
  • [Om-announce] [CFP] MTAP SI on Recent Advances in Computational Intelligence for Multimedia and Industrial Applications (CIMIA) Fulvio Frati
• [Om-announce] [CFP] 3rd Int. Workshop on Computational Intelligence Techniques for Industrial and Medical Applications (CITIMA2016) Fulvio Frati
  • [Om-announce] [CFP] 3rd Int. Workshop on Computational Intelligence Techniques for Industrial and Medical Applications (CITIMA2016) Fulvio Frati
  • [Om-announce] [CFP] 3rd Int. Workshop on Computational Intelligence Techniques for Industrial and Medical Applications (CITIMA2016) Fulvio Frati
  • [Om-announce] [CFP] 3rd Int. Workshop on Computational Intelligence Techniques for Industrial and Medical Applications (CITIMA2016) Fulvio Frati
• [Om-announce] Deadline extended - 15th International Conference on Cryptology and Network Security (CANS 2016) CANS 2016
• [Om-announce] Call for Papers - 15th Workshop on Privacy in the Electronic Society (WPES 2016) WPES 2016
• [Om-announce] [logic-programming] CFP ICLP Doctoral Consortium, New York City, USA, 18 October 2016 Peter Schueller
• [Om-announce] Deadline extended - 2nd IEEE Workshop on Security and Privacy in the Cloud (IEEE SPC 2016) IEEE SPC 2016
• [Om-announce] [logic-programming] PADL'17 call for papers Marco Gavanelli
• [Om-announce] WebST 2016: registration deadline 15 July GRLMC
• [Om-announce] Security Rockstars – Start-up Competition - apply now until July 15, 2016 res.mb.conference
• [Om-announce] Call for Papers: IWSAC 2016 Filippo Gaudenzi
  • [Om-announce] Call for Papers: IWSAC 2016 Filippo Gaudenzi
  • [Om-announce] Call for Papers: IWSAC 2016 Filippo Gaudenzi
  • [Om-announce] Call for Papers: IWSAC 2016 Filippo Gaudenzi
• [Om-announce] PST2016 CALL FOR PAPERS Qin Liu
• [Om-announce] Deadline in a few days - 11th International Workshop on Data Privacy Management (DPM 2016) DPM 2016
  • [Om-announce] Deadline in a few days - 11th International Workshop on Data Privacy Management (DPM 2016) DPM 2016
• [Spam:*****] [Om-announce] DependSys 2016 CFPs deadline soon: Symposium on Dependability in Sensor, Cloud, and Big Data Systems [with attractive SCI/SCIE/EI Journals’ Special Issues] Alam
• [Om-announce] Deadline extended: 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, United Arab Emirates, November 6-8 2016 liyuanfang
• [Om-announce] TrustData 2016: Deadline Extended to July 15, 2016 Qin Liu
• [Om-announce] CNS 2016: CALL FOR POSTERS Qin Liu
  • [Om-announce] CNS 2016: CALL FOR POSTERS Qin Liu
• [Om-announce] [ISSAC-ANNOUNCE] WWCA2016: Call for participation Albert Heinle
• [Om-announce] Call for Papers - 2nd IEEE Workshop on Security and Privacy in the Cloud (IEEE SPC 2016) IEEE SPC 2016
• [Om-announce] [CFP] 6th Int. Symposium on Data-driven Process Discovery and Analysis (SIMPDA2016) Fulvio Frati
  • [Om-announce] [CFP] 6th Int. Symposium on Data-driven Process Discovery and Analysis (SIMPDA2016) Fulvio Frati
• [Om-announce] Call for Chapters_Springer Book on Mobile Big Data George Mastorakis
• [Om-announce] First Call for Papers: FSEN 2017 Marjan Sirjani
• [Om-announce] ASPOCP 2016: Submission deadline extended to July 4 Amelia Harrison
• [Om-announce] [ISSAC-ANNOUNCE] Wanted: Copies of ISSAC pictures Keith Geddes
• [Om-announce] Deadline approaching - 15th International Conference on Cryptology and Network Security (CANS 2016) CANS 2016
  • [Om-announce] Deadline approaching - 15th International Conference on Cryptology and Network Security (CANS 2016) CANS 2016
• [Om-announce] CFP ICLP Doctoral Consortium, New York City, USA, 18 October 2016 Peter Schueller
  • [Om-announce] CFP ICLP Doctoral Consortium, New York City, USA, 18 October 2016 Peter Schueller
• [Om-announce] TrustData 2016 CFP: 11 Special Issues & 8 Keynotes Qin Liu
• [Om-announce] 3rd Call for Papers: Workshop on Trends and Applications of Answer Set Programming Christoph Redl
• [Om-announce] WebST 2016: early registration deadline 23 June GRLMC
• [Om-announce] 2nd Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Submit Your Paper Until July 17, 2016 Achim D. Brucker
• [Om-announce] [EDAS-CFP] ITNAC'16, Dunedin, New Zealand (Submission deadline extended to July 7) Franciscus Xaverius Ari Wibowo
• [Om-announce] Deadline extended - 11th International Workshop on Data Privacy Management (DPM 2016) DPM 2016
• [Om-announce] AiML'16: Call for Participation Stéphane Demri

• Later messages