om-announce  

Messages by Thread

• [Om-announce] TrustData 2020: Nanjing, China, Oct 23-25, 2020 Qin Liu
• [Om-announce] CFP: Security and Privacy in Digital Economy (SPDE2020), Due in three days Shui Yu
• [Om-announce] RW 2020 - Call for Applications for the 16th Reasoning Web Summer School manna
• [Om-announce] BigDat 2020 Autumn: early registration May 9 IRDTA
  • [Om-announce] BigDat 2020 Autumn: early registration May 9 IRDTA
• [Om-announce] CASC-J10 - The CADE ATP System Competition geoff
• [Om-announce] iFM 2020 (Integrated Formal Methods): Call for Papers iFM 2020
• [Om-announce] QBF 2020 - updated call for papers HUBERT MING CHEN
  • [Om-announce] QBF 2020 - updated call for papers HUBERT MING CHEN
• [Om-announce] [PSD 2020, deadline approaching] PRIVACY IN STATISTICAL DATABASES, Springer LNCS, Arezzo, Italy, Sep. 23-25, 2020 Joaquin Garcia-Alfaro
• [Om-announce] SQUARE'2020 - Leuven - Deadline Approaching jean-yves beziau
• [Om-announce] Call for Book Chapters on Intelligent Technologies for Internet of Vehicles George Mastorakis
• [Om-announce] SLSP 2020: 2nd call for papers IRDTA
  • [Om-announce] SLSP 2020: 2nd call for papers IRDTA
• [Om-announce] CFP SEFM - International Conference on Software Engineering and Formal Methods Jacopo Mauro
• [Om-announce] QBF 2020 - Call for papers HUBERT MING CHEN
• [Om-announce] UNILOG'2021: 7th World Congress and School on Universal Logic JY B
• [Om-announce] CFP:International Conference on Security and Privacy in Digital Economy (SPDE2020) Shui Yu
  • [Om-announce] CFP:International Conference on Security and Privacy in Digital Economy (SPDE2020) Shui Yu
• [Om-announce] CFP - SNR’20 Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, co-organized with QONFEST’20 Thao Dang
• [Om-announce] Assistant Professor Position in Computer Science with focus on Cybersecurity Jacopo Mauro
• [Om-announce] CFP - Recent Published Research Track (KR 2020) Theofanis I. Aravanis
  • [Om-announce] CFP - Recent Published Research Track (KR 2020) Theofanis I. Aravanis
  • [Om-announce] CFP - Recent Published Research Track (KR 2020) Theofanis I. Aravanis
• [Om-announce] IEEE MASS 2020 CFP: Delhi NCR, India. October 1-4, 2020 Qin Liu
• [Om-announce] WETICE 2020 - COVID-19 Update Stefano Forti
• [Om-announce] TSD 2020 - Second Call for Papers TSD 2020
• [Om-announce] Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08) Achim D. Brucker
• [Om-announce] 2 PhD Positions in the Safety and Security of Advanced Systems Group (University of Exeter, UK Deadline 2020-05-01) Achim D. Brucker
• [Om-announce] extendend submission deadline - CD-MAKE 2020 - Call for Papers res.mb.conference
  • [Om-announce] extendend submission deadline - CD-MAKE 2020 - Call for Papers res.mb.conference
• [Om-announce] Fwd: ICTS4eHealth 2020 - 5th edition of the IEEE International Workshop on ICT Solutions for e-Health Antonino Galletta
• [Om-announce] SLSP 2020: 1st call for papers IRDTA
  • [Om-announce] SLSP 2020: 1st call for papers IRDTA
• [Om-announce] CFP: International Conference on Security and Privacy in Digital Economy (SPDE2020) Shui Yu
  • [Om-announce] CFP: International Conference on Security and Privacy in Digital Economy (SPDE2020) Youyang Qu
• [Om-announce] Alonzo Church Award - Call for Nominations geoff
• [Om-announce] FTfJP 2020 - Call for Papers Oortwijn Wytse
• [Om-announce] DeepLearn 2020: early registration March 26 IRDTA
• [Om-announce] [Important] information about CyberSciTech 2020 and the co-located conferences Ali Dewan
• [Om-announce] *New Extended FIRM Deadline* - IEEE WETICE 2020 Stefano Forti
• [Om-announce] IEEE ICCCN 2020: Submission Deadline Extended to Mar. 20, 2020 Qin Liu
• [Om-announce] Extended Dealdine - Call for Papers: ARES 2020 res.mb.conference
  • [Om-announce] Extended Dealdine - Call for Papers: ARES 2020 res.mb.conference
• [Om-announce] IEEE WETICE 2020 - *Extended Deadline* Stefano Forti
• [Om-announce] PAAR 2020 CFP - 7th Workshop on Practical Aspects of Automated Reasoning geoff
• [Om-announce] CFP: 17th Conference on Principles of Knowledge Representation and Reasoning (KR 2020) Theofanis I. Aravanis
• [Om-announce] AlCoB 2020: call for posters IRDTA
• [Om-announce] WST 2020 - 2nd Call for Papers Samir Genaim
• [Om-announce] CFP: International Conference on Security and Privacy in Digital Economy (SPDE2020), Quzhou, China, Due on May 1 Shui Yu
• [Om-announce] PPDP 2020 Call For Papers (corrected link) Andreas Abel
• [Om-announce] Satisfiability Checking and Symbolic Computation - Call for Papers geoff
• [Om-announce] CICM 2020, July 26-31: Call for Papers, extended submission deadline abstracts March 16, 2020/papers March 22, 2020 Serge Autexier
• [Om-announce] CFP: SEFM - International Conference on Software Engineering and Formal Methods Jacopo Mauro
• [Om-announce] [CPSS 2020 postponement and new submission extension] CFP: 6th ACM Cyber-Physical System Security Workshop (ACM CPSS'20) - "firm"submission deadline: ****March 25, 2020**** Publicity Chair
  • [Om-announce] [CPSS 2020 postponement and new submission extension] CFP: 6th ACM Cyber-Physical System Security Workshop (ACM CPSS'20) - "firm"submission deadline: ****March 25, 2020**** Pankaj Pandey
• [Om-announce] TSD 2020 - First Call for Papers TSD 2020
• [Om-announce] VerifyThis @ ETAPS 2020: Call for Participation + Travel Grants Siddharth Krishna
• [Om-announce] [CFP] Springer Computing - Special Issue on QoS and security in software for wireless and mobile micro-services Fulvio Frati
• [Om-announce] IWIL-14 at LPAR-23 - Call for Papers geoff
• [Om-announce] UNIF 2020 - Call for Papers geoff
• [Om-announce] LPAR-23 - Call for Workshops and Tutorials geoff
• [Om-announce] (Deadline extension) CFP: CyberSciTech 2020 | Calgary, Canada | new deadline: March 10, 2020 Ali Dewan
• [Om-announce] CICM 2020, July 26-31: Invited Speakers & Second Call for Papers Serge Autexier
• [Om-announce] CFP for SPTI Track of ICCCN 2020: Honolulu, Hawaii, USA, August 3 - August 6, 2020 Qin Liu
• [Om-announce] CICM 2020 - Call for Papers geoff
• [Om-announce] LPAR-23 - Extended deadlines geoff
• [Om-announce] [Final extension] SIoTEc 2020 - 1st edition of IEEE Workshop on Secure IoT, Edge and Cloud systems Antonino Galletta
• [Om-announce] 27th WoLLIC 2020 (Lima, Peru) - 3rd Call for Papers Ruy de Queiroz
• [Om-announce] [Extended submission] CFP: 6th ACM Cyber-Physical System Security Workshop (ACM CPSS'20) - submission: ****February 24, 2020**** Publicity Chair
  • [Om-announce] [Extended submission] CFP: 6th ACM Cyber-Physical System Security Workshop (ACM CPSS'20) - submission: ****February 24, 2020**** Pankaj Pandey
• [Om-announce] [IEEE CNS 2020] Deadline in two days (February 9, 2020) sara.foresti
• [Om-announce] [CFP *deadline extended*] SACMAT 2020: 25th ACM Symposium on Access Control Models and Technologies Thang Bui
• [Om-announce] Call for Papers (WiSec 2020, Linz, Austria) -- Submission Deadline: February 28, 2020 Kai
• [Om-announce] [Deadline Approaching] CFP: 6th ACM Cyber-Physical System Security Workshop (ACM CPSS'20) Cristina Alcaraz
  • [Om-announce] [Deadline Approaching] CFP: 6th ACM Cyber-Physical System Security Workshop (ACM CPSS'20) Publicity Chair
• [Om-announce] CFC_Intelligent Technologies for Internet of Vehicles George Mastorakis
  • [Om-announce] CFC_Intelligent Technologies for Internet of Vehicles George Mastorakis
• [Om-announce] [CFP ICICS 2020] Information and Communications Security, Springer, LNCS, Denmark, Aug 2020 Joaquin Garcia-Alfaro
  • [Om-announce] [CFP ICICS 2020] Information and Communications Security, Springer, LNCS, Denmark, Aug 2020 Joaquin Garcia-Alfaro
  • [Om-announce] [CFP ICICS 2020] Information and Communications Security, Springer, LNCS, Denmark, Aug 2020 Joaquin Garcia-Alfaro
• [Om-announce] [PSD 2020] PRIVACY IN STATISTICAL DATABASES, Springer LNCS, Arezzo, Italy, Sep. 23-25, 2020 Joaquin Garcia-Alfaro
  • [Om-announce] [PSD 2020] PRIVACY IN STATISTICAL DATABASES, Springer LNCS, Arezzo, Italy, Sep. 23-25, 2020 Joaquin Garcia-Alfaro
  • [Om-announce] [PSD 2020] PRIVACY IN STATISTICAL DATABASES, Springer LNCS, Arezzo, Italy, Sep. 23-25, 2020 Joaquin Garcia-Alfaro
• [Om-announce] [CfP] International Workshop on Open Distributed Real-time Embedded Systems in conjunction with 23rd IEEE ISORC 2020 Mahdi Bohlouli (Petanux)
• [Om-announce] [IEEE CNS 2020] Deadline approaching - February 9, 2020 sara.foresti
• [Om-announce] 2020 Alonzo Church Award - Call for Nominations geoff
• [Om-announce] CD-MAKE 2020 - Call for Papers res.mb.conference
  • [Om-announce] CD-MAKE 2020 - Call for Papers res.mb.conference
  • [Om-announce] CD-MAKE 2020 - Call for Papers res.mb.conference
  • [Om-announce] CD-MAKE 2020 - Call for Papers res.mb.conference
• [Om-announce] Call for Papers: ARES 2020 res.mb.conference
  • [Om-announce] Call for Papers: ARES 2020 res.mb.conference
  • [Om-announce] Call for Papers: ARES 2020 res.mb.conference
  • [Om-announce] Call for Papers: ARES 2020 res.mb.conference
• [Om-announce] TrustData 2020 CFP： Nanjing, China, Oct 23-25, 2020 Qin Liu
• [Om-announce] 13th International Conference on Graph Transformation (ICGT'2020): Call for Papers Timo Kehrer
• [Om-announce] 24th European Conference on Artificial Intelligence (ECAI 2020) LUIS MAGDALENA
• [Om-announce] IEEE WETICE 2020 - Call for Papers Stefano Forti
  • [Om-announce] IEEE WETICE 2020 - Call for Papers Stefano Forti
• [Om-announce] CFP: DESTION 2020, Sydney, due in 1 week Shui Yu
• [Om-announce] ICFC 2020: Call For Posters Stefano Forti
• [Om-announce] Three Full PhD Scholarships available in Australia Shui Yu
• [Om-announce] [IEEE CNS 2020] Deadline extended - February 9, 2020 sara.foresti
• [Om-announce] [CFP] SACMAT 2020: 25th ACM Symposium on Access Control Models and Technologies Thang Bui
• [Om-announce] [IEEE CNS 2020] Deadline approaching - January 18, 2020 sara.foresti
• [Om-announce] KR 2020 - RECENT PUBLISHED RESEARCH TRACK - CFP Theofanis I. Aravanis
• [Om-announce] CFP - KR2020 & Robotics Theofanis I. Aravanis
• [Om-announce] KR2020 - Doctoral Consortium Call for Applications Theofanis I. Aravanis
  • [Om-announce] KR2020 - Doctoral Consortium Call for Applications Theofanis I. Aravanis
• [Om-announce] KR 2020 - Applications and Systems Track - CFP Theofanis I. Aravanis
• [Om-announce] [CFP] KES-HCIS2020 Advanced Modelling of Health Systems and Policies Fulvio Frati
• [Om-announce] Call for Participation: The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence Fioretto, Ferdinando
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2020 - Second call for papers François Lemaire
• [Om-announce] CFP: IEEE INFOCOM 2020 –BigSecurity Workshop, due in 7 days Shui Yu
• [Om-announce] MARS 2020 - CALL FOR PAPERS - Dublin (Ireland) - April 26, 2020 (Extended deadline 20 January 2020) [email protected]
• [Om-announce] [SecMT2020] CFP - International Workshop on Security in Mobile Technologies Eleonora Losiouk
  • [Om-announce] [SecMT2020] CFP - International Workshop on Security in Mobile Technologies Eleonora Losiouk
  • [Om-announce] [SecMT2020] CFP - International Workshop on Security in Mobile Technologies Eleonora Losiouk
• [Om-announce] WST 2020 Call for Papers Samir Genaim
• [Om-announce] [simu-conf] EXTENDED DEADLINE APPROACHING + JOURNAL OPPORTUNITY. Theory and Foundations of Modeling & Simulation (TMS) vsim-conf
• [Om-announce] [simu-conf] SimAUD2020: EXTENDED DEADLINE 12th Jan vsim-conf
• [Om-announce] [CFP] 2020 IEEE INFOCOM WKSHPS: Drone-Assisted Smart Backhaul Solutions for 5G and Beyond (DroneCom) Sahil Garg
• [Om-announce] CFP for SPTI Track of ICCCN 2020 Qin Liu
  • [Om-announce] CFP for SPTI Track of ICCCN 2020 Qin Liu
  • [Om-announce] CFP for SPTI Track of ICCCN 2020 Qin Liu
• [Om-announce] LPAR-23 Call for Papers geoff
• [Om-announce] CFP - ESOCC 2020 - Deadline extension for long/short research papers Jacopo Soldani
• [Om-announce] January 14, 2020 - 2nd edition of the World Logic Day - Under the auspices of UNESCO jean-yves beziau
• [Om-announce] PADL 2020 Call for Participation Yi Tong
• [Om-announce] [simu-conf] EXTENDED DEADLINE + JOURNAL OPPORTUNITY. Theory and Foundations of Modeling & Simulation (TMS) - George Mason University, VA, USA – May 2020 vsim-conf
• [Om-announce] TSD 2020 - Preliminary Announcement, Call for Workshops TSD 2020
• [Om-announce] CICM 2020, July 26-31: First Call for Papers & Call for Workshop and Tutorial Proposals Serge Autexier
• [Om-announce] IFIP SEC 2020, Maribor, Slovenia - Call for Paper - DEADLINE EXTENDED - 5 January 2020! sec2020
• [Om-announce] ESOCC 2020 - 2nd CFP - deadlines extended Jacopo Soldani
• [Om-announce] [Extended Deadline] Call for Papers Special issue on Granular Computing [Algorithms, MDPI] Alessio Martino
• [Om-announce] The Fifth International Conference on Internet of Things, Big Data and Security 2020 (IoTBDS 2020; 7-9 2020; Prague, Czech Republic) Chang V.I.
  • [Om-announce] Extension for IoTBDS/COMPLEXIS/FEMIB 2020 (deadline: Jan 6 2020; conference: 5-6; 7-9 May 2020; Prague, Czech Republic) Chang V.I.
  • [Om-announce] Extension for IoTBDS/COMPLEXIS/FEMIB 2020 (deadline: Jan 6 2020; conference: 5-6; 7-9 May 2020; Prague, Czech Republic) Chang V.I.
  • [Om-announce] IoTBDS/COMPLEXIS/FEMIB 2020 position papers (deadline: Jan 29 2020; conference: 5-6; 7-9 May 2020; Prague, Czech Republic) Chang V.I.
• [Om-announce] CfP Special Session on Computational Intelligence for Bioinformatics and Computational Biology [IEEE WCCI 2020] Alessio Martino
• [Om-announce] WISTP2019 - Early registration extended to December 3. Damien Sauveron
• [Om-announce] Artificial Intelligence and Theorem Proving 2020 - Second Call for Papers geoff
• [Om-announce] Special issue on “Coordination and Self-Adaptiveness of Software Applications” - Open CFP FOCLASA 2019
• [Om-announce] CFP - ESOCC 2020 - 8th European Conference and Service-Oriented and Cloud Computing Jacopo Soldani
• [Om-announce] WETICE 2020 - Call for Tracks Stefano Forti
• [Om-announce] CFP: IEEE INFOCOM 2020 –BigSecurity Workshop Shui Yu
  • [Om-announce] CFP: IEEE INFOCOM 2020 –BigSecurity Workshop Shui Yu
• [Om-announce] CFP: 6th ACM Cyber-Physical System Security Workshop (ACM CPSS'20) Pankaj Pandey
  • [Om-announce] CFP: 6th ACM Cyber-Physical System Security Workshop (ACM CPSS'20) Pankaj Pandey
  • [Om-announce] CFP: 6th ACM Cyber-Physical System Security Workshop (ACM CPSS'20) Pankaj Pandey
• [Om-announce] International Symposium on Artificial Intelligence and Mathematics 2020 geoff
• [Om-announce] AAAI-20 Workshop on Privacy Preserving AI [Submission deadline approaching!] Fioretto, Ferdinando
• [Om-announce] LAST CALL for some events of the 24th European Conference on Artificial Intelligence (ECAI 2020). LUIS MAGDALENA
• [Om-announce] The SPRITZ - Security and Privacy Research Group at the University of Padova is hiring! Eleonora Losiouk
• [Om-announce] Call for participation - CECC 2019 Simon Vrhovec
• [Om-announce] Deadline Extended - International Conference on Fog Computing (ICFC 2020) Stefano Forti
• [Om-announce] CFP: The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence Fioretto, Ferdinando
  • [Om-announce] CFP: The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence Fioretto, Ferdinando
• [Om-announce] [DySPAN 2019] Updated program highlights with panel information jiadiyu6
• [Om-announce] Artificial Intelligence and Theorem Proving 2020 - Call for Papers geoff
• [Om-announce] CFP: IEEE ICC 2020, Dublin, Security Symposium, Due on October 28, 2019 Shui Yu
• [Om-announce] IJCAR 2020 - Call for Papers geoff
  • [Om-announce] IJCAR 2020 - Call for Papers geoff
• [Om-announce] CFP : Conference on Information Security Theory and Practice (WISTP 2019) - 2 week extension Damien Sauveron
• [Om-announce] Third CFP: 24th European Conference on Artificial Intelligence (ECAI 2020) LUIS MAGDALENA
• [Om-announce] MARS 2020 - CALL FOR PAPERS - Dublin (Ireland) - April 26, 2020 Hubert Garavel
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2020 - First Call for Papers Matthew England
• [Om-announce] [SICBS2019]: Deadline approaching: October 16, 2019 Damien Sauveron
• [Om-announce] 27th WoLLIC 2020 (Lima, Peru) - 1st Call for Papers Ruy de Queiroz
• [Om-announce] Call For Posters jiadiyu6
• [Om-announce] IEEE International Symposium on Dynamic Spectrum Access Networks jiadiyu6
• [Om-announce] [WISTP2019]: 13th WISTP - Deadline approaching: October 13, 2019 Damien Sauveron
• [Om-announce] CFP: ICC 2020, Dublin, Security Symposium, Due in 5 days Shui Yu
• [Om-announce] [CFP] The AAAI-20 Workshop on Privacy-Preserving Artificial Intelligence Fioretto, Ferdinando
• [Om-announce] PhD position in Theoretical Computer Science at the VU Amsterdam Joerg Endrullis
• [Om-announce] ICFC 2020 - Call for Papers Stefano Forti
• [Om-announce] [SACMAT 2020] CFP : 25th ACM Symposium on Access Control Models and Technologies Thang Bui
• [Om-announce] Practical Aspects of Declarative Languages PADL2020: 2nd CFP Yi Tong
• [Om-announce] CFP: ICC 2020, Dublin, Security Symposium Shui Yu
• [Om-announce] Call for Participation: Formal Aspects on Component Software (FACS 2019), Amsterdam Sung-Shik Jongmans
• [Om-announce] Two PhD Positions in Privacy-Preserving Distributed AI, Syracuse University Fioretto, Ferdinando
• [Om-announce] CFP: DSA 2019, Harbin, China, Due on October 31, 2019 Shui Yu
• [Om-announce] EPEW 2019 - Final CFP - The 16th European Performance Engineering Workshop, November 28 - 29, 2019, Milano, Italy Mauro Iacono
• [Om-announce] Third CFP - RAMiCS 2020 Michael Winter
• [Om-announce] Deadlines approaching: 24th European Conference on Artificial Intelligence (ECAI 2020) LUIS MAGDALENA
• [Om-announce] Extendend Deadline Software Verification and Testing at ACM/SIGAPP SAC2020 Matthias Güdemann
• [Om-announce] Highlights of DySPAN 2019 Program jiadiyu6
• [Om-announce] [DEADLINE EXTENDED: 23 Sep 2019] International Workshop on Applied Computational Intelligence (ACI2019) Fulvio Frati
• [Om-announce] Student Travel Grants for IEEE DySPAN 2019 jiadiyu6
• [Om-announce] Realizing the promises of Predictive Maintenance: an exciting PhD position at University of Twente, the Netherlands Marielle Stoelinga
• [Om-announce] FM'19 - 2nd Call for Participation Renato Neves
  • [Om-announce] FM'19 - Last call for participation Renato Neves
• [Om-announce] RCRA 2019: Last call for papers. Marco Maratea
• [Om-announce] [WISTP2019]: 13th WISTP International Conference on Information Security Theory and Practice - Deadline October 13, 2019 Damien Sauveron
• [Om-announce] PADL 2020 Call for Papers Yi Tong
• [Om-announce] FOCLASA 2019: Call For Participation Alejandro Perez Vereda
• [Om-announce] N2Women Fellowship Available for DySpan 2019 俞嘉地
• [Om-announce] [Deadline Approaching, August 30] FPS'19, Foundations & Practice of Security, Springer-LNCS Proceedings, Toulouse, France Joaquin Garcia-Alfaro
• [Om-announce] Call for Book Chapters on Intelligent Wireless Communications George Mastorakis

• Earlier messages
• Later messages