om-announce  

Messages by Thread

• [Om-announce] FMCAD 2018 - Call for Papers geoff
• [Om-announce] IfCoLog JLA - Reasoning on Legal Texts geoff
• [Om-announce] [Deadline Approaching] CFP: Workshop on Industrial Internet of Things Security (WIIoTS)  Cristina Alcaraz
• [Om-announce] 25th WoLLIC 2018 (Bogotá, Colombia) - 2nd Call for Papers Ruy de Queiroz
• [Om-announce] Call For Paper for the 29th Biennial Symposium on Communications (BSC 2018) Saeed Samet
• [Om-announce] [logic-programming] Picat News [email protected] [email protected]
• [Om-announce] DEADLINE APPROACHING: KR18 - Call for Tutorial and Workshop Proposals Marcello Balduccini
• [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] CFP: SIGGRAPH's SpaceTime 2018 International Student Competition Ursyn, Anna
• [Om-announce] SmartWorld 2018: CALL FOR PAPERS Qin Liu
• [Om-announce] FORMATS 2018 **First Call for Papers** David N. Jansen
• [Om-announce] FOPSS Logic and Learning School advertisement Andrzej Murawski
• [Om-announce] BDCA'18 DEADLINE EXTENSION (January 31, 2018) BDCA Conference
• [Om-announce] Call for Submissions: IEEE/ACM ASONAM 2018 Tracks, Workshops and Co-Located Events ASONAM 2018
• [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] [Deadline Approaching] CFP: Workshop on Industrial Internet of Things Security (WIIoTS) Cristina Alcaraz
• [Om-announce] DeepLearn 2018: early registration February 14 GRLMC
• [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] Call for Papers - 4th IEEE Workshop on Security and Privacy in the Cloud (SPC 2018) SPC 2018
• [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] PPDP 2018: First Call for Papers David Sabel
• [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] IEEE SmartWorld 2018: CALL FOR WORKSHOP AND SPECIAL SESSION PROPOSALS Qin Liu
  • [Om-announce] IEEE SmartWorld 2018: CALL FOR WORKSHOP AND SPECIAL SESSION PROPOSALS Qin Liu
• [Om-announce] WADT 2018 – 1st Call for Papers Ionut Tutu
• [Om-announce] Call for Papers: 32nd IFIP WG 11.3 Conference on Data and Applications Security and Privacy, DBSec 2018 DBSec 2018
  • [Om-announce] Call for Papers: 32nd IFIP WG 11.3 Conference on Data and Applications Security and Privacy, DBSec 2018 DBSec 2018
• [Om-announce] 25th Static Analysis Symposium (SAS 2018) - First Call for Papers Urban Caterina
• [Om-announce] AiML 2018: SECOND CALL FOR PAPERS Thomas Studer
• [Om-announce] [ISSAC-ANNOUNCE] Final Call for Papers ISSAC 2018 Gleb Pogudin
• [Om-announce] [Extended deadline] CFP: 4th ACM Cyber‐Physical System Security Workshop (ACM CPSS’18) Cristina Alcaraz
• [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] [LASER] LASER 2018 school: blockchains, bitcoin and distributed trust, Elba, 2-10 June Chair of Software Engineering Events Participants
• [Om-announce] Deadline extension: Models for Formal Analysis of Real Systems (MARS 2018) Rob van Glabbeek and Wendelin Serwe
• [Om-announce] HighPer 2018: early registration January 20 GRLMC
• [Om-announce] Call for sessions, ICMS 2018 James Davenport
• [Om-announce] IEEE CNS 2018 - Call for Posters (Deadline: March 5) LUO, LANNAN
  • [Om-announce] IEEE CNS 2018 - Call for Posters (Deadline: March 5) LUO, LANNAN
  • [Om-announce] IEEE CNS 2018 - Call for Posters (Deadline: March 5) LUO, LANNAN
  • [Om-announce] IEEE CNS 2018 - Call for Posters (Deadline: March 5) LUO, LANNAN
• [Om-announce] FINAL CALL for papers: Sixth International Workshop on Verification and Program Transformation (VPT 2018) John Patrick Gallagher
• [Om-announce] CICM 2018: Call for Papers, Workshops & Tutorials Serge Autexier
• [Om-announce] CFP: IEEE International Conference on Multimedia Big Data 2018 Shui Yu
• [Om-announce] FLoC 2018 - Final Joint Call for Papers Andrzej Murawski
• [Om-announce] Call for Workshop Proposal -IEEE ATC 2018, Guangzhou, China, due on Feb 8, 2018 Shui Yu
• [Om-announce] LOPSTR 2018: First Call for Papers Fred Mesnard
• [Om-announce] HighPer 2018: early registration December 28 GRLMC
• [Om-announce] CMSB 2018: 1st Call for Papers Milan Ceska
• [Om-announce] AlCoB 2018: 2nd call for papers GRLMC
• [Om-announce] (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] 2nd CfP: Models for Formal Analysis of Real Systems (MARS 2018) Rob van Glabbeek and Wendelin Serwe
• [Om-announce] Call for Papers: CD-MAKE 2018 res.mb.conference
  • [Om-announce] Call for Papers: CD-MAKE 2018 res.mb.conference
  • [Om-announce] Call for Papers: CD-MAKE 2018 res.mb.conference
  • [Om-announce] Call for Papers: CD-MAKE 2018 res.mb.conference
  • [Om-announce] Call for Papers: CD-MAKE 2018 res.mb.conference
  • [Om-announce] Call for Papers: CD-MAKE 2018 res.mb.conference
  • [Om-announce] Call for Papers: CD-MAKE 2018 res.mb.conference
  • [Om-announce] Call for Papers: CD-MAKE 2018 res.mb.conference
  • [Om-announce] Call for Papers: CD-MAKE 2018 res.mb.conference
  • [Om-announce] Call for Papers: CD-MAKE 2018 res.mb.conference
  • [Om-announce] Call for Papers: CD-MAKE 2018 res.mb.conference
• [Om-announce] Call for Papers: ARES 2018 res.mb.conference
  • [Om-announce] Call for Papers: ARES 2018 res.mb.conference
  • [Om-announce] Call for Papers: ARES 2018 res.mb.conference
  • [Om-announce] Call for Papers: ARES 2018 res.mb.conference
  • [Om-announce] Call for Papers: ARES 2018 res.mb.conference
  • [Om-announce] Call for Papers: ARES 2018 res.mb.conference
  • [Om-announce] Call for Papers: ARES 2018 res.mb.conference
  • [Om-announce] Call for Papers: ARES 2018 res.mb.conference
• [Om-announce] RuleML+RR 2018 - Call for Papers geoff
• [Om-announce] BigDat 2018: early registration December 27 GRLMC
• [Om-announce] IEEE CNS 2018 Call for Papers (Deadline Extended to January 05) LUO, LANNAN
  • [Om-announce] IEEE CNS 2018 Call for Papers (Deadline Extended to January 05) LUO, LANNAN
• [Om-announce] IEEE INFOCOM18 Workshop of BigSecurity with Special Issue, Hawaii, USA, Due on December 30 Shui Yu
• [Om-announce] [simu-conf] Extended Deadline - Sysmposium of Theory of Modeling and Simulation 2018 vsim-conf
• [Om-announce] CFP: Workshop on Industrial Internet of Things Security (WIIoTS) Cristina Alcaraz
  • [Om-announce] CFP: Workshop on Industrial Internet of Things Security (WIIoTS) Cristina Alcaraz
• [Om-announce] TSD 2018 - Preliminary Announcement and Call for Workshops TSD 2018
• [Om-announce] Call for papers. TIAN Yangguang
• [Om-announce] CFP: International Conference on Logic Programming 2018 Enrico Pontelli
• [Om-announce] TPNC 2017: call for participation GRLMC
• [Om-announce] FLoC 2018 - Second Joint Call for Papers Andrzej Murawski
• [Om-announce] STAF 2018: Call for Workshop Manuel Mazzara
• [Om-announce] HighPer 2018: early registration December 5 GRLMC
• [Om-announce] CFP TAP 2018 Burkhart Wolff
• [Om-announce] SmartWorld 2018: CALL FOR WORKSHOP AND SPECIAL SESSION PROPOSALS Qin Liu
  • [Om-announce] SmartWorld 2018: CALL FOR WORKSHOP AND SPECIAL SESSION PROPOSALS Qin Liu
  • [Om-announce] SmartWorld 2018: CALL FOR WORKSHOP AND SPECIAL SESSION PROPOSALS Qin Liu
  • [Om-announce] SmartWorld 2018: CALL FOR WORKSHOP AND SPECIAL SESSION PROPOSALS Qin Liu
• [Om-announce] (Deadline Dec 30, 2017) Wiley Software: Practice and Experience: Special Issue on Integration of Cloud, IoT and Big Data Analytics Gaurav Somani
• [Om-announce] BigDat 2018: early registration December 4 GRLMC
• [Om-announce] Artificial Intelligence and Theorem Proving 2018 - Call for Papers geoff
• [Om-announce] [fm-announcements] NFM 2018 - Final Call for Papers Munoz, Cesar (LARC-D320)
• [Om-announce] [ISSAC-ANNOUNCE] Second Call for Papers ISSAC 2018 pogudin
• [Om-announce] CFP: 4th ACM Cyber‐Physical System Security Workshop (ACM CPSS’18) Cristina Alcaraz
• [Om-announce] Call for IEEE/ACM ASONAM 2018 Workshop Proposals ASONAM 2018
• [Om-announce] RAMiCS 2018: Call for Papers - Relational and Algebraic Methods in Computer Science Walter Guttmann
• [Om-announce] Logical Frameworks and Meta-Languages 2018 - Call for Papers geoff
• [Om-announce] IEEE - ISNCC 2018, 19-21 June - Rome - Italy Tarek Bejaoui
• [Om-announce] FINAL Call For Papers and DEADLINE EXTENSION: FLOPS 2018: 14th International Symposium on Functional and Logic Programming John Patrick Gallagher
• [Om-announce] CFP:: BDCA2018- Kenitra- Morocco BDCA Conference
• [Om-announce] BigDat 2018: early registration November 11 GRLMC
• [Om-announce] FLoC 2018 - Joint Call for Papers Andrzej Murawski
• [Om-announce] CfP: NETYS 2018, Int. Conf. on Net. Sys., May 2018, Essaouira, Morocco, Deadline: January 21, 2018 yahya benkaouz
• [Om-announce] IEEE INFOCOM18 Workshop of BigSecurity with Special Issue, Hawaii, USA Shui Yu
  • [Om-announce] IEEE INFOCOM18 Workshop of BigSecurity with Special Issue, Hawaii, USA Shui Yu
  • [Om-announce] IEEE INFOCOM18 Workshop of BigSecurity with Special Issue, Hawaii, USA Shui Yu
• [Om-announce] IEEE CNS 2018 Call for Papers (Submission Deadline - December 20) LUO, LANNAN
  • [Om-announce] IEEE CNS 2018 Call for Papers (Submission Deadline - December 20) LUO, LANNAN
  • [Om-announce] IEEE CNS 2018 Call for Papers (Submission Deadline - December 20) LUO, LANNAN
• [Om-announce] TPNC 2017: call for posters GRLMC
  • [Om-announce] TPNC 2017: call for posters GRLMC
• [Om-announce] Special Issue on Integration of Cloud, IoT and Big Data Analytics Gaurav Somani
• [Om-announce] CAV 2018 - Call for Papers geoff
  • [Om-announce] CAV 2018 - Call for Papers geoff
• [Om-announce] TASE 2018 -- 1st Call for Papers Jun PANG
  • [Om-announce] VTSA 2019 -- Call for applications Jun PANG
  • [Om-announce] GCAI 2020 -- 1st Call for Papers Jun PANG
  • [Om-announce] Formal Methods 2021 -- Call for workshop & tutorial proposals Jun PANG
• [Om-announce] CFP: IEEE ICC2018 Big Data Track, due on October 29 (firm), 2017. Shui Yu
• [Om-announce] KR18 - Call for Tutorial and Workshop Proposals Marcello Balduccini
  • [Om-announce] KR18 - Call for Tutorial and Workshop Proposals Marcello Balduccini
• [Om-announce] CfP: Models for Formal Analysis of Real Systems (MARS 2018) Rob van Glabbeek and Wendelin Serwe
• [Om-announce] Call for Papers: Symposium on Access Control Models and Technologies (SACMAT 2018) chhagan.iiita
  • [Om-announce] Call for Papers: Symposium on Access Control Models and Technologies (SACMAT 2018) chhagan.iiita
• [Om-announce] CFP: International Conference on Logic Programming 2018; First Call for Papers NMSU COMPUTER SCIENCE
• [Om-announce] The 2018 Federated Logic Conference - Workshop Announcement Andrzej Murawski
• [Om-announce] [fm-announcements] NFM 2018 - 2nd CFP - Extended Deadlines Munoz, Cesar (LARC-D320)
• [Om-announce] [ISSAC-ANNOUNCE] JSC Special Issue on ISSAC 2017 - Second Call Matthew England
• [Om-announce] 25th WoLLIC 2018 (Bogotá, Colombia) - Call for Papers Ruy de Queiroz
• [Om-announce] [ISSAC-ANNOUNCE] First Call for Papers ISSAC 2018 pogudin
• [Om-announce] FIRST call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation John Patrick Gallagher
  • [Om-announce] Second call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation John Patrick Gallagher
• [Om-announce] SLSP 2017: call for participation GRLMC
  • [Om-announce] HInfo 2018 Symposium Kashif Akhtar Saleem
• [Om-announce] [SIMPDA2017] Submission Deadline Approaching: October 14, 2017 Fulvio Frati
• [Om-announce] ADHS 2018 - Call for Papers Magazzeni, Daniele
  • [Om-announce] ADHS 2018 - Call for Papers Magazzeni, Daniele
  • [Om-announce] ADHS 2018 - Call for Papers - Submission deadlines extended Magazzeni, Daniele
• [Om-announce] IJCAR 2018 - Call for Papers geoff
  • [Om-announce] IJCAR 2018 - Call for Papers geoff
  • [Om-announce] IJCAR 2018 - Call for Papers geoff
  • [Om-announce] IJCAR 2018 - Call for Papers geoff
• [Om-announce] CFP: IEEE ICC2018 Big Data Track, due on October 15, 2017 Shui Yu
• [Om-announce] 12th International Workshop on Rewriting Logic and its Applications (WRLA 2018): first CfP vlad
• [Om-announce] Commonsense-2017 - Call for Participation geoff
• [Om-announce] Deadline Approaching Sept 30: Call for Book Chapters: Springer Book on Versatile Cyber-security Gaurav Somani
• [Om-announce] [SIMPDA2017] Submission Deadline Extended: October 14, 2017 Fulvio Frati
• [Om-announce] UNIVERSAL LOGIC - Vichy, 2018 - DEADLINE EXTENSION: OCT 5, 2017 jean-yves beziau
• [Om-announce] [Vardi-list] Advanced Winter School on Formal Verification Moshe Vardi
• [Om-announce] KR 2018 Doctoral Consortium Call for Papers Marcello Balduccini
• [Om-announce] KR 2018 Call for Papers Marcello Balduccini
  • [Om-announce] KR 2018 Call for Papers Marcello Balduccini
• [Om-announce] [fm-announcements] NASA Formal Methods Symposium 2018 - CFP Munoz, Cesar (LARC-D320)
• [Om-announce] Call for Papers: ASIA S&P 2018 (Submission deadline: October 10, 2017) chhagan.iiita
• [Om-announce] BigDat 2018: early registration September 26 GRLMC
• [Om-announce] [SIMPDA2017] Submission Deadline Approaching: October 4, 2017 Fulvio Frati
• [Om-announce] SocialSec 2017 Melbourne: Submission Deadline Extended to 20 Sep 2017 Conference Contact
• [Om-announce] SOAP@SAC 2018, April 9-13, Pau, France - (EXTENDED DEADLINE) final call for papers sac.soap2018
• [Om-announce] CfPart: Reliability, safety and security of railway systems - RSSRail 2017 (Pistoia, Italy) Alexander Romanovsky
• [Om-announce] [Reminder] PADL 2018 - abstract deadline approaching manna
• [Om-announce] [CITIMA 2017] DEADLINE APPROACHING: September 23, 2017 Fulvio Frati
• [Om-announce] [ISSAC-ANNOUNCE] JSC Special Issue on ISSAC 2017 - First Call Matthew England
• [Om-announce] Call for Participation: DPM 2017 -- 12th International Workshop on Data Privacy Management, held in conjunction with ESORICS 2017, Oslo, Norway, September 14-15, 2017 Guillermo Navarro-Arribas
• [Om-announce] IJCAR 2018 - Calll for Papers geoff
• [Om-announce] CFP: 2018 IEEE/ACM Design Automation Conference Hardware Design Contest Yiyu Shi
• [Om-announce] [Last CfP] PADL 2018 - abstract deadline EXTENDED TO SEPTEMBER 10, 2017 manna
• [Om-announce] [CfP] PADL 2018 - abstract submission DEADLINE APPROACHING manna
• [Om-announce] ThEdu'17 Post-Proceedings: Call for Papers Achim D. Brucker
• [Om-announce] Extended Deadline Sept 30: Book Chapters: Versatile Cybersecurity: Eds: Mauro Conti, Gaurav Somani and Radha Poovendran Gaurav Somani
• [Om-announce] FACS 2017 - Doctoral Track: Call for Contributions Jose Proenca
• [Om-announce] CFP: IEEE ICC2018 Big Data Track, due on October 15, 2017. Shui Yu
• [Om-announce] PPDP and LOPSTR 2017 Call for Participation Wim Vanhoof
• [Om-announce] FMCAD 2017: CALL FOR PARTICIPATION geoff
• [Om-announce] [CITIMA 2017] Deadline Extended: September 23, 2017 Fulvio Frati
• [Om-announce] Call For Papers - NTMS 2018 - Paris, France (Submission Deadline: October 30, 2017) Mohamad Badra
• [Om-announce] Deadline Approaching Aug 30: Call for Book Chapters: Springer Book on Versatile Cyber-security, Editors: Mauro Conti, Gaurav Somani and Radha Poovendran Gaurav Somani
• [Om-announce] MEMOCODE-2017 (Call for Participation) Klaus.Schneider
• [Om-announce] TrustData 2017 Deadline Extended to August 31 [14 SIs + 10 Keynotes] Qin Liu
• [Om-announce] GCAI in Miami - Call for Posters geoff
• [Om-announce] 3rd CfP: PADL 2018 - 20th International Symposium on Practical Aspects of Declarative Languages manna
• [Om-announce] [simu-conf] EXTENDED DEADLINE - WSC 2017 - Posters, Case Studies, PhD Colloquium, Vendor track vsim-conf
• [Om-announce] S&ReHIS 2017 Submission Extended (Firm) - 1 day to go Kashif Akhtar Saleem
• [Om-announce] Call for Papers: SocialSec 2017, Melbourne, Australia, 13-15 December 2017 Conference Contact
• [Om-announce] Deadline Extended: TrustData 2017 CFP+ 14 SIs & 11 Keynotes Qin Liu
• [Om-announce] Call for Participation - 13th International Workshop on Security and Trust Management (STM 2017) stm2017
• [Om-announce] KR18 - Preliminary Call for Tutorial and Workshop Proposals Marcello Balduccini
  • [Om-announce] KR18 - Preliminary Call for Tutorial and Workshop Proposals Marcello Balduccini
• [Om-announce] CFP: Ad Hoc Networks Journal Special Issue - Advances and Trends on Cognitive Cyber-Physical Systems - Deadline Feb. 28, 2018 Xiaokang Zhou
• [Om-announce] CfP: Relational and Algebraic Methods in Computer Science - Special Issue in JLAMP Peter.Hoefner
• [Om-announce] SOAP@SAC 2017, April 9-13, Pau, France - second call for papers sac.soap2018
• [Om-announce] BigDat 2018: early registration September 3 GRLMC
  • [Om-announce] BigDat 2018: early registration September 3 GRLMC
• [Om-announce] TrustData 2017 CFP + 14 SIs & 11 Keynotes Qin Liu
• [Om-announce] TPTP v7.0.0 and CASC-26 geoff

• Earlier messages
• Later messages