April 2019 Archives by subject

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

Starting: Mon Apr 1 09:39:54 CEST 2019
Ending: Tue Apr 30 18:07:31 CEST 2019
Messages: 56

• [Om-announce] 6th Workshop on Proof eXchange for Theorem Proving (PxTP) - CFP   geoff at cs.miami.edu
• [Om-announce] [2nd Call for Papers] ASYDE 2019 @ SEFM 2019   alexander.perucci at univaq.it
• [Om-announce] [CFP extended] 2019 IEEE SERVICES Workshop on Cyber Security and Resilience in the Internet of Things   Nicholas Kolokotronis
• [Om-announce] [CFP] 15th ACM* Symposium on QoS and Security for Wireless Mobile Networks(ACM Q2SWinet 2019)   Fulvio Frati
• [Om-announce] [CFP] 1st Model-driven Simulation and Training Environments for Cybersecurity Workshop (MTSEC)   Fulvio Frati
• [Om-announce] [DEADLINE Approaching] 1st IEEE SERVICES Workshop on Big Data for public health policy making   Fulvio Frati
• [Om-announce] [DEADLINE Approaching] 1st IEEE SERVICES Workshop on Big Data for public health policy making   Fulvio Frati
• [Om-announce] [Deadline Approaching]: The 24th European Symposium on Research in Computer Security (ESORICS 2019)   Publicity Chair ESORICS 2019
• [Om-announce] [Deadline Approaching]: The 24th European Symposium on Research in Computer Security (ESORICS 2019)   Publicity Chair ESORICS 2019
• [Om-announce] [DEADLINE EXTENSION: Apr. 22] Int. Workshop on Machine Learning for Wireless Communications (MLWCOM 2019)   Fulvio Frati
• [Om-announce] [ECAI2020] Preliminary CFP 24th European Conference on Artificial Intelligence. 8-12 June 2020. Santiago de Compostela, Spain.   BUGARIN DIZ ALBERTO JOSE
• [Om-announce] ARES 2019 - Call for Workshop Paper   res.mb.conference
• [Om-announce] ARES 2019 - Call for Workshop Paper   res.mb.conference
• [Om-announce] ARES 2019 - Call for Workshop Paper   res.mb.conference
• [Om-announce] Call for Papers - Cryptocurrencies and Blockchain Technology (CBT 2019), ESORICS 2019, Springer LNCS, Luxembourg, Sep. 2019   Joaquin Garcia-Alfaro
• [Om-announce] Call for WiMob 2019 Workshop Proposals   Shui Yu
• [Om-announce] CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) ** updated submission link   Emily LeBlanc
• [Om-announce] CfP - FACS 2019 (Formal Aspects of Component Software)   Sung-Shik Jongmans
• [Om-announce] CFP - The 35th International Conference on Logic Programming (ICLP 2019) Applications Track   Fioretto, Ferdinando
• [Om-announce] CFP - The 35th International Conference on Logic Programming (ICLP 2019) Applications Track   Fioretto, Ferdinando
• [Om-announce] CFP: 9th International Symposium on Secure Virtual Infrastructures - Cloud and Trusted Computing (C&TC 2019)   Claudio A. Ardagna
• [Om-announce] CFP: ICLP 2019 - Research Challenges in Logic Programming Track   Fioretto, Ferdinando
• [Om-announce] CFP: ICLP 2019 - Special Session: Women in Logic Programming   Fioretto, Ferdinando
• [Om-announce] CFP: ICLP 2019 Special Session: Women in Logic Programming   Fioretto, Ferdinando
• [Om-announce] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0"   Guest Editor
• [Om-announce] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0"   Guest Editor
• [Om-announce] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0"   Guest Editor
• [Om-announce] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0"   Guest Editor
• [Om-announce] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0"   Publicity Chair ESORICS 2019
• [Om-announce] CfP: RV2019 - Runtime Verification - EXTENDED DEADLINE   Martin Leucker
• [Om-announce] CFP: The 24th European Symposium on Research in Computer Security (ESORICS 2019)   Publicity Chair ESORICS 2019
• [Om-announce] CFP: The 35th International Conference on Logic Programming (ICLP 2019)   Fioretto, Ferdinando
• [Om-announce] CFP: The 35th International Conference on Logic Programming (ICLP 2019)   Fioretto, Ferdinando
• [Om-announce] CFP: The 35th International Conference on Logic Programming (ICLP 2019)   Fioretto, Ferdinando
• [Om-announce] CFP: WiseML 2019 (Miami, FL, USA, May 14, 2019) (Submission due - April 15, 2019)   Mathieu Cunche
• [Om-announce] CfPart Reliability, safety and security of railway systems (RSSRail 2019)   Alexander Romanovsky
• [Om-announce] Deadline approaching: GraMSec 2019   Massimiliano Albanese
• [Om-announce] Deadline extended - ACM SACMAT 2019 - Call for Posters   Giovanni Livraga
• [Om-announce] Deadline extended - ACM SACMAT 2019 - Call for Posters   Giovanni Livraga
• [Om-announce] Deadline Extension - Call for Papers: CD-MAKE 2019   res.mb.conference
• [Om-announce] Deadline Extension - Call for Papers: CD-MAKE 2019   res.mb.conference
• [Om-announce] EXTENDED DEADLINE APRIL 28: CAUSAL 2019 Call for Papers (co-located with LPNMR 2019)   Emily LeBlanc
• [Om-announce] EXTENDED DEADLINE: CAUSAL 2019 Call for Papers (co-located with LPNMR 2019)   Emily LeBlanc
• [Om-announce] Fewer train delays via formal methods? Exciting PhD position at University of Twente, the Netherlands   Marielle Stoelinga
• [Om-announce] ICLP - Doctoral Consortium (DC) on Logic Programming   Fioretto, Ferdinando
• [Om-announce] ICLP 2019 - Call For Workshop Proposals   Fioretto, Ferdinando
• [Om-announce] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers   Fioretto, Ferdinando
• [Om-announce] IEEE DySPAN 2019 Call for Papers   jiadiyu6 at gmail.com
• [Om-announce] IEEE DySPAN 2019 Call for Papers   jiadiyu6 at gmail.com
• [Om-announce] LPNMR 2019 -- CALL FOR PARTICIPATION   Gregory Gelfond
• [Om-announce] NFM 2019 Call For Participation- 11th Annual NASA Formal Methods Symposium   Kristin Yvonne Rozier
• [Om-announce] QBF 2019 - call for papers   HUBERT MING CHEN
• [Om-announce] SEFM 2019 - abstract sub. deadline: May 3, 2019   Lina Marsso
• [Om-announce] SLSP 2019: 2nd call for papers   IRDTA
• [Om-announce] Verification Mentoring Workshop 2019: Scholarships   geoff at cs.miami.edu
• [Om-announce] VTSA 2019 -- Call for applications   Jun PANG

Last message date: Tue Apr 30 18:07:31 CEST 2019
Archived on: Thu May 2 10:34:11 CEST 2019

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