om-announce

Messages by Date

2019/09/16 [Om-announce] Call for Book Chapters on Intelligent Wireless Communications George Mastorakis
2019/09/16 [Om-announce] EPEW 2019 - Final CFP - The 16th European Performance Engineering Workshop, November 28 - 29, 2019, Milano, Italy Mauro Iacono
2019/09/16 [Om-announce] Third CFP - RAMiCS 2020 Michael Winter
2019/09/16 [Om-announce] Deadlines approaching: 24th European Conference on Artificial Intelligence (ECAI 2020) LUIS MAGDALENA
2019/09/16 [Om-announce] Extendend Deadline Software Verification and Testing at ACM/SIGAPP SAC2020 Matthias Güdemann
2019/09/16 [Om-announce] Highlights of DySPAN 2019 Program jiadiyu6
2019/09/16 [Om-announce] [DEADLINE EXTENDED: 23 Sep 2019] International Workshop on Applied Computational Intelligence (ACI2019) Fulvio Frati
2019/09/09 [Om-announce] Student Travel Grants for IEEE DySPAN 2019 jiadiyu6
2019/09/06 [Om-announce] Realizing the promises of Predictive Maintenance: an exciting PhD position at University of Twente, the Netherlands Marielle Stoelinga
2019/09/06 [Om-announce] FM'19 - 2nd Call for Participation Renato Neves
2019/09/06 [Om-announce] RCRA 2019: Last call for papers. Marco Maratea
2019/09/06 [Om-announce] [WISTP2019]: 13th WISTP International Conference on Information Security Theory and Practice - Deadline October 13, 2019 Damien Sauveron
2019/09/03 [Om-announce] PADL 2020 Call for Papers Yi Tong
2019/09/03 [Om-announce] FOCLASA 2019: Call For Participation Alejandro Perez Vereda
2019/09/03 [Om-announce] N2Women Fellowship Available for DySpan 2019 俞嘉地
2019/08/29 [Om-announce] [Deadline Approaching, August 30] FPS'19, Foundations & Practice of Security, Springer-LNCS Proceedings, Toulouse, France Joaquin Garcia-Alfaro
2019/08/29 [Om-announce] Call for Book Chapters on Intelligent Wireless Communications George Mastorakis
2019/08/27 [Om-announce] TPTP v7.3.0 released geoff
2019/08/26 [Om-announce] Second call for papers Software Verfication and Testing (SVT) at SAC 2020 Matthias Güdemann
2019/08/19 [Om-announce] FroCoS-12 and TABLEAUX-28, London, September 2-6. Second call for participation (early registration closes on August 21) geoff
2019/08/16 [Om-announce] ICLP 2019 - Call for Participation (Early registration deadline is today) Fioretto, Ferdinando
2019/08/15 [Om-announce] [SoICT 2019] CFP || Final Submission Deadline: 5 September 2019 || Hanoi - Halong Bay, Vietnam, 4-6 December 2019 Shui Yu
2019/08/13 [Om-announce] [Deadline Approaching] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0" Guest Editor
2019/08/13 [Om-announce] Subject: ESORICS 2019: Call for Participation Publicity Chair ESORICS 2019
2019/08/13 [Om-announce] DySPAN 2019 Call For Posters jiadiyu6
2019/08/05 [Om-announce] [Vardi-list] The Mathematics of Quantum Computation - The 4th Advanced School in Computer Science and Engineering Moshe Vardi
2019/07/30 [Om-announce] ESORICS 2019: Call for Posters Publicity Chair ESORICS 2019
2019/07/30 [Om-announce] CFP: SoICT 2019, Halong Bay, Vietnam, due on Auguest 14, Shui Yu
2019/07/30 [Om-announce] RAMiCS2020 - 2nd CFP Michael Winter
2019/07/30 [Om-announce] [Extended Submission] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0" Guest Editor
2019/07/25 [Om-announce] [CFP] International Workshop on Applied Computational Intelligence (ACI2019) Fulvio Frati
2019/07/23 [Om-announce] FroCoS-12 and TABLEAUX-28 geoff
2019/07/23 [Om-announce] Call for posters - CECC 2019 (14-15 Nov 2019, ZITiS, Germany) Simon Vrhovec
2019/07/16 [Om-announce] Call for Posters for IEEE DySPAN 2019 jiadiyu6
2019/07/16 [Om-announce] SEFM 2019 - Call for Participation Lina Marsso
2019/07/15 [Om-announce] [Extended Submission] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0" Guest Editor
2019/07/15 [Om-announce] Workshop in OCL and Textual Modeling (OCL 2019) - Deadline Extension Achim D. Brucker
2019/07/15 [Om-announce] CFP: SoIT 2019， Halong Bay, Vietnam Shui Yu
2019/07/15 [Om-announce] ESORICS 2019: Call for Participation Publicity Chair ESORICS 2019
2019/07/15 [Om-announce] [C&TC 2019] Extended Submission Deadline (July 25th, 2019) claudio.ardagna
2019/07/15 [Om-announce] ESORICS 2019: Call for Posters Publicity Chair ESORICS 2019
2019/07/15 [Om-announce] Call for Tutorials for DySPAN 2019 jiadiyu6
2019/07/09 [Om-announce] ESORICS 2019: Call for Participation Publicity Chair ESORICS 2019
2019/07/09 [Om-announce] CALL FOR WORKSHOPS - IEEE HEALTHCOM 2019- Extended Deadline 15 July, 2019 Kashif Akhtar Saleem
2019/07/08 [Om-announce] [Deadline Extended, JULY 15 FIRM] CFP: WPES 2019 (Workshop on Privacy in the Electronic Society), London, UK - November 11, 2019, held in conjunction with the ACM CCS 2019 Joaquin Garcia-Alfaro
2019/07/08 [Om-announce] [Extended Submission] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0" Guest Editor
2019/07/08 [Om-announce] [C&TC 2019] Deadline Approaching (July 15, 2019) claudio.ardagna
2019/07/08 [Om-announce] ESORICS 2019: Call for Posters Publicity Chair ESORICS 2019
2019/07/08 [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2019: Final Call for Participation Matthew England
2019/07/08 [Om-announce] CALL FOR WORKSHOPS - IEEE HEALTHCOM 2019- Extended Deadline 15 July, 2019 Kashif Akhtar Saleem
2019/07/08 [Om-announce] CALL FOR WORKSHOPS - IEEE HEALTHCOM 2019- Extended Deadline 15 July, 2019 Dr.Kashif Saleem
2019/07/01 [Om-announce] [Deadline Extended, July 2 *Firm Deadline*] CBT'19, Cryptocurrencies & Blockchain Technology, Springer-LNCS Proceedings, ESORICS 2019, Luxembourg Joaquin Garcia-Alfaro
2019/07/01 [Om-announce] [Extended Submission] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0" Guest Editor
2019/07/01 [Om-announce] [STM2019 Deadline Extended] CFP - 15th International Workshop on Security and Trust Management Eleonora Losiouk
2019/07/01 [Om-announce] iFM 2019: Deadline Extension Kristin Yvonne Rozier
2019/07/01 [Om-announce] [simu-conf] Theory and Foundation for Modeling & Simulation (TMS) - George Mason University, VA, USA – April 2020 vsim-conf
2019/07/01 [Om-announce] Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019) Achim D. Brucker
2019/07/01 [Om-announce] FOCLASA 2019: Deadline extension, July 4th Alejandro Perez Vereda
2019/07/01 [Om-announce] CFP: ICLP-2019 - Special Session: Women in Logic Programming (Extended Deadline and New Publisher) Fioretto, Ferdinando
2019/07/01 [Om-announce] IEEE DySPAN 2019 final deadline extended to July 8, 2019 (Conference: 11-14 November 2019, Newark, NJ, USA) jiadiyu6
2019/07/01 [Om-announce] (no subject) Publicity Chair ESORICS 2019
2019/06/25 [Om-announce] FOCLASA 2019: Deadline extension, July 4th Alejandro Perez Vereda
2019/06/25 [Om-announce] CFP: ICLP 2019 - Sister Conferences and Journal Presentation Track Fioretto, Ferdinando
2019/06/25 [Om-announce] ICLP DC 2019 - 15th Doctoral Consortium (DC) on Logic Programming Fioretto, Ferdinando
2019/06/25 [Om-announce] CFP: ICLP DC 2019 - Doctoral Consortium (DC) on Logic Programming Fioretto, Ferdinando
2019/06/25 [Om-announce] Call for Papers Software Verification and Testing at ACM/SIGAPP SAC2020 Matthias Güdemann
2019/06/25 [Om-announce] [Deadline Approaching, July 8] CFP: WPES 2019 (Workshop on Privacy in the Electronic Society), London, UK - November 11, 2019, held in conjunction with the ACM CCS 2019 Joaquin Garcia-Alfaro
2019/06/25 [Om-announce] [STM2019] CFP - 15th International Workshop on Security and Trust Management Eleonora Losiouk
2019/06/25 [Om-announce] 9th International Symposium on Secure Virtual Infrastructures - Cloud and Trusted Computing (C&TC 2019) claudio.ardagna
2019/06/25 [Om-announce] CFP: ICLP 2019 - Application Track (short paper submission extended) Fioretto, Ferdinando
2019/06/22 (PN) FORMATS call for participation: Amsterdam, Aug 27-29 Marielle Stoelinga
2019/06/18 [Om-announce] The 29th International Telecommunication Networks and Application Conference (ITNAC), November 27-29, 2019, Auckland, New Zealand. Shui Yu
2019/06/18 [Om-announce] ICLP 2019 - Special Session: Women in Logic Programming Fioretto, Ferdinando
2019/06/18 [Om-announce] [Deadline Approaching, June 25] CBT'19, Cryptocurrencies & Blockchain Technology, Springer-LNCS Proceedings, ESORICS 2019, Luxembourg Joaquin Garcia-Alfaro
2019/06/18 [Om-announce] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers Fioretto, Ferdinando
2019/06/13 [Om-announce] FOCLASA 2019: Deadline extension, July 4th Alejandro Perez Vereda
2019/06/11 [Om-announce] CFP：IEEE DySPAN 2019 deadline extended to June 25, 2019 (11-14 November 2019, Newark, NJ, USA) jiadiyu6
2019/06/11 [Om-announce] PhD position - Birkbeck, University of London HUBERT MING CHEN
2019/06/11 [Om-announce] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0" Guest Editor
2019/06/07 [Om-announce] [CFP] Submission deadline has been extended to 15 June 2019: IEEE CAMAD 2019 George Mastorakis
2019/06/07 [Om-announce] Haskell Brooks Curry (1900-1982) now on-line jean-yves beziau
2019/06/07 [Om-announce] [CfP] ASYDE workshop @SEFM'19 - Extended abstract and paper submission deadline alexander.perucci
2019/06/06 [Om-announce] ARCADE 2019 - submission deadline extension geoff
2019/06/04 [Om-announce] Last days for contribution - FOCLASA 2019 - CFP Alejandro Perez Vereda
2019/06/04 [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2019 Call for Participation Matthew England
2019/06/03 [Om-announce] [CFP] International Workshop on Applied Computational Intelligence (ACI2019) Fulvio Frati
2019/06/03 [Om-announce] CFP：IEEE DySPAN 2019 deadline extended to June 25, 2019 (11-14 November 2019, Newark, NJ, USA) jiadiyu6
2019/06/03 [Om-announce] IEEE DySPAN 2019 CFP jiadiyu6
2019/06/03 [Om-announce] Call for Participation - Workshop on Large Mathematical Libraries (LML 2019) Dennis Müller
2019/05/31 [Om-announce] [DEADLINE EXTENDED] 1st Model-driven Simulation and Training Environments for Cybersecurity Workshop (MTSEC) Fulvio Frati
2019/05/28 [Om-announce] The 6th Vampire Workshop - CFP geoff
2019/05/27 [Om-announce] Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019) Achim D. Brucker
2019/05/27 [Om-announce] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0" Guest Editor
2019/05/24 [Om-announce] CFP: ICLP 2019 - Special Session: Women in Logic Programming Fioretto, Ferdinando
2019/05/24 [Om-announce] LOPSTR 2019: Fist Call for Papers Tong Liu
2019/05/24 [Om-announce] [CfP] ASYDE workshop @SEFM'19 - Springer Special Issue and Keynote ready alexander.perucci
2019/05/24 [Om-announce] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers Fioretto, Ferdinando
2019/05/24 [Om-announce] SEC4SME workshop Important Dates, Submission: 15/06/2019 George Mastorakis
2019/05/24 [Om-announce] [CFP] ICLP 2019 - Research Challenges in Logic Programming Track Fioretto, Ferdinando
2019/05/24 [Om-announce] SLSP 2019: 3rd call for papers IRDTA
2019/05/24 [Om-announce] IEEE DySPAN 2019 Call for Papers jiadiyu6
2019/05/24 [Om-announce] QBF Workshop 2019: Final Call for Papers HUBERT MING CHEN
2019/05/20 [Om-announce] [3rd Call for Papers] ASYDE 2019 @ SEFM 2019 alexander.perucci
2019/05/20 [Om-announce] DPM 2019 (Data Privacy Management), ESORICS 2019, Call for papers, Springer LNCS Cristina Pérez Solà
2019/05/20 [Om-announce] ETAPS 2020: Call for Satellite Events Hoefner, Peter (Data61, Kensington NSW)
2019/05/20 [Om-announce] RAMiCS2020 - CFP Michael Winter
2019/05/15 [Om-announce] CFP: 9th International Symposium on Secure Virtual Infrastructures - Cloud and Trusted Computing (C&TC 2019) Claudio A. Ardagna
2019/05/15 [Om-announce] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0" Guest Editor
2019/05/13 [Om-announce] Call for Participation: 2019 NIH iDASH Secure Genome Analysis Competition and Workshop Wang, Lei
2019/05/13 [Om-announce] CFP: The 19th International Symposium on Communications and Information Technologies (ISCIT 2019), 25-27 September 2019, Ho Chi Minh City, Vietnam Shui Yu
2019/05/10 [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2019: Call for software presentations, posters and for participation *extended deadline* Jérémy Berthomieu
2019/05/10 [Om-announce] 2019 29th International Telecommunication Networks and Applications Conference (ITNAC) Call for Papers Auckland New Zealand Shui Yu
2019/05/09 [Om-announce] CICM 2019: Joint Call for Workshop Papers (OpenMath, LML, GVMM, FVPS), Doctoral Programme Submissions & Participation Serge Autexier
2019/05/09 [Om-announce] Call for Papers - Cryptocurrencies and Blockchain Technology (CBT 2019), ESORICS 2019, Springer LNCS, Luxembourg, Sep. 2019 Joaquin Garcia-Alfaro
2019/05/09 [Om-announce] FOCLASA 2019 - CFP Alejandro Perez Vereda
2019/05/09 [Om-announce] 5th IEEE Workshop on Security and Privacy in the Cloud (SPC 2019): Call for Participation lpham6
2019/05/07 [Om-announce] CFP - ICLP 2019 (Special Session: Women in Logic Programming ) - updated deadlines Fioretto, Ferdinando
2019/05/07 [Om-announce] QBF 2019 - second call for papers HUBERT MING CHEN
2019/05/07 [Om-announce] CFP: AdHoc-Now 2019 (18th International Conference on Ad Hoc Networks, and Wireless) Luxembourg, October 2019, LNCS proceedings Joaquin Garcia-Alfaro
2019/05/07 [Om-announce] SEFM 2019 - Final CfP with Extended Deadlines Lina Marsso
2019/05/07 [Om-announce] CFP: WPES 2019 (Workshop on Privacy in the Electronic Society), London, UK - November 11, 2019, held in conjunction with the ACM CCS 2019 Joaquin Garcia-Alfaro
2019/05/07 [Om-announce] ARES 2019 - Call for Workshop Paper res.mb.conference
2019/05/04 [Om-announce] ACM SACMAT 2019 - Call for Participation Giovanni Livraga
2019/05/02 [Om-announce] SEFM 2019 - abstract sub. deadline: May 3, 2019 Lina Marsso
2019/04/30 [Om-announce] [CFP] 15th ACM* Symposium on QoS and Security for Wireless Mobile Networks(ACM Q2SWinet 2019) Fulvio Frati
2019/04/30 [Om-announce] [CFP] 1st Model-driven Simulation and Training Environments for Cybersecurity Workshop (MTSEC) Fulvio Frati
2019/04/30 [Om-announce] CFP - The 35th International Conference on Logic Programming (ICLP 2019) Applications Track Fioretto, Ferdinando
2019/04/30 [Om-announce] ICLP - Doctoral Consortium (DC) on Logic Programming Fioretto, Ferdinando
2019/04/30 [Om-announce] ARES 2019 - Call for Workshop Paper res.mb.conference
2019/04/29 [Om-announce] CfP: RV2019 - Runtime Verification - EXTENDED DEADLINE Martin Leucker
2019/04/29 [Om-announce] CFP: ICLP 2019 Special Session: Women in Logic Programming Fioretto, Ferdinando
2019/04/29 [Om-announce] IEEE DySPAN 2019 Call for Papers jiadiyu6
2019/04/29 [Om-announce] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0" Publicity Chair ESORICS 2019
2019/04/26 [Om-announce] Verification Mentoring Workshop 2019: Scholarships geoff
2019/04/25 [Om-announce] ARES 2019 - Call for Workshop Paper res.mb.conference
2019/04/24 [Om-announce] QBF 2019 - call for papers HUBERT MING CHEN
2019/04/23 [Om-announce] EXTENDED DEADLINE APRIL 28: CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) Emily LeBlanc
2019/04/23 [Om-announce] Deadline approaching: GraMSec 2019 Massimiliano Albanese
2019/04/23 [Om-announce] [Deadline Approaching]: The 24th European Symposium on Research in Computer Security (ESORICS 2019) Publicity Chair ESORICS 2019
2019/04/23 [Om-announce] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0" Guest Editor
2019/04/17 [Om-announce] [DEADLINE Approaching] 1st IEEE SERVICES Workshop on Big Data for public health policy making Fulvio Frati
2019/04/16 [Om-announce] [ECAI2020] Preliminary CFP 24th European Conference on Artificial Intelligence. 8-12 June 2020. Santiago de Compostela, Spain. BUGARIN DIZ ALBERTO JOSE
2019/04/16 [Om-announce] CFP: ICLP 2019 - Special Session: Women in Logic Programming Fioretto, Ferdinando
2019/04/16 [Om-announce] CFP: ICLP 2019 - Research Challenges in Logic Programming Track Fioretto, Ferdinando
2019/04/16 [Om-announce] EXTENDED DEADLINE: CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) Emily LeBlanc
2019/04/16 [Om-announce] VTSA 2019 -- Call for applications Jun PANG
2019/04/16 [Om-announce] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0" Guest Editor
2019/04/16 [Om-announce] Fewer train delays via formal methods? Exciting PhD position at University of Twente, the Netherlands Marielle Stoelinga
2019/04/15 [Om-announce] SLSP 2019: 2nd call for papers IRDTA
2019/04/15 [Om-announce] [Deadline Approaching]: The 24th European Symposium on Research in Computer Security (ESORICS 2019) Publicity Chair ESORICS 2019
2019/04/15 [Om-announce] Call for Papers - Cryptocurrencies and Blockchain Technology (CBT 2019), ESORICS 2019, Springer LNCS, Luxembourg, Sep. 2019 Joaquin Garcia-Alfaro
2019/04/15 [Om-announce] LPNMR 2019 -- CALL FOR PARTICIPATION Gregory Gelfond
2019/04/15 [Om-announce] CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) ** updated submission link Emily LeBlanc
2019/04/15 [Om-announce] NFM 2019 Call For Participation- 11th Annual NASA Formal Methods Symposium Kristin Yvonne Rozier
2019/04/10 [Om-announce] Deadline extended - ACM SACMAT 2019 - Call for Posters Giovanni Livraga
2019/04/09 [Om-announce] Deadline Extension - Call for Papers: CD-MAKE 2019 res.mb.conference
2019/04/09 [Om-announce] Call for WiMob 2019 Workshop Proposals Shui Yu
2019/04/09 [Om-announce] CFP: WiseML 2019 (Miami, FL, USA, May 14, 2019) (Submission due - April 15, 2019) Mathieu Cunche
2019/04/09 [Om-announce] CfP - FACS 2019 (Formal Aspects of Component Software) Sung-Shik Jongmans
2019/04/09 [Om-announce] [2nd Call for Papers] ASYDE 2019 @ SEFM 2019 alexander.perucci
2019/04/09 [Om-announce] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0" Guest Editor
2019/04/09 [Om-announce] IEEE DySPAN 2019 Call for Papers jiadiyu6
2019/04/09 [Om-announce] CFP - The 35th International Conference on Logic Programming (ICLP 2019) Applications Track Fioretto, Ferdinando
2019/04/08 [Om-announce] [DEADLINE EXTENSION: Apr. 22] Int. Workshop on Machine Learning for Wireless Communications (MLWCOM 2019) Fulvio Frati
2019/04/05 [Om-announce] ARES 2019 - Call for Workshop Paper res.mb.conference
2019/04/05 [Om-announce] [CFP extended] 2019 IEEE SERVICES Workshop on Cyber Security and Resilience in the Internet of Things Nicholas Kolokotronis
2019/04/05 [Om-announce] [DEADLINE Approaching] 1st IEEE SERVICES Workshop on Big Data for public health policy making Fulvio Frati
2019/04/03 [Om-announce] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers Fioretto, Ferdinando
2019/04/03 [Om-announce] CfPart Reliability, safety and security of railway systems (RSSRail 2019) Alexander Romanovsky
2019/04/02 [Om-announce] CFP: 9th International Symposium on Secure Virtual Infrastructures - Cloud and Trusted Computing (C&TC 2019) Claudio A. Ardagna
2019/04/02 [Om-announce] 6th Workshop on Proof eXchange for Theorem Proving (PxTP) - CFP geoff
2019/04/02 [Om-announce] Deadline Extension - Call for Papers: CD-MAKE 2019 res.mb.conference
2019/04/01 [Om-announce] Deadline extended - ACM SACMAT 2019 - Call for Posters Giovanni Livraga
2019/04/01 [Om-announce] CFP: IEEE Transactions on Industrial Informatics Special Section on "Security and Privacy in Industry 4.0" Guest Editor
2019/04/01 [Om-announce] CfPart Reliability, safety and security of railway systems (RSSRail 2019) Alexander Romanovsky
2019/04/01 [Om-announce] CFP: The 24th European Symposium on Research in Computer Security (ESORICS 2019) Publicity Chair ESORICS 2019
2019/04/01 [Om-announce] ICLP 2019 - Call For Workshop Proposals Fioretto, Ferdinando
2019/04/01 [Om-announce] [1st Call for Papers] ASYDE 2019 @ SEFM 2019 alexander.perucci
2019/04/01 [Om-announce] Fewer train delays via formal methods? Exciting PhD position at University of Twente, the Netherlands Marielle Stoelinga
2019/04/01 [Om-announce] [CFP] 2019 IEEE SERVICES Workshop on Cyber Security and Resilience in the Internet of Things (Deadline Approaching) Nicholas Kolokotronis
2019/04/01 [Om-announce] Open Position: Lecturer in Cybersecurity - University of Exeter Achim D. Brucker
2019/03/27 [Om-announce] ACM WiSec 2019 Call for Posters and Demos -- Deadline extended to April 5th Mathieu Cunche
2019/03/27 [Om-announce] CFP: The 24th European Symposium on Research in Computer Security (ESORICS 2019) Publicity Chair ESORICS 2019
2019/03/27 [Om-announce] CFP IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks 2019 (IEEE CAMAD 2019) George Mastorakis
2019/03/25 [Om-announce] Last Reminder: ARES 2019 - Extended Submission Deadline res.mb.conference
2019/03/21 [Om-announce] Paraconsistent Newsletter - Winter 2019 Icy Edition jean-yves beziau
2019/03/19 [Om-announce] Fewer train delays via formal methods? Exciting PhD position at University of Twente, the Netherlands Marielle Stoelinga
2019/03/19 [Om-announce] CFP: The 24th European Symposium on Research in Computer Security (ESORICS 2019) Publicity Chair ESORICS 2019
2019/03/19 [Om-announce] ICLP 2019 - Research Challenges in Logic Programming Track Fioretto, Ferdinando
2019/03/18 [Om-announce] SEFM 2019 - Call for Papers Lina Marsso
2019/03/18 [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2019: Call for software presentations, posters and for participation Yue Ren
2019/03/18 [Om-announce] CFP: The 13th IEEE International Conference on Big Data Science and Engineering (IEEE BigDataSE-19) - Rotorua, New Zealand, 5-8 August 2019 zhou
2019/03/18 [Om-announce] Formal Methods 2019 - Final Call For Papers Renato Neves
2019/03/18 [Om-announce] [Vardi-list] NFM 2019: Call for Participation (Hotel Block Closing Shortly) Moshe Vardi
2019/03/13 [Om-announce] Extended Submission Deadline - Call for Papers: ARES 2019 res.mb.conference
2019/03/13 [Om-announce] NFM 2019: Call for Participation (Hotel Block Closing Shortly) Kristin Yvonne Rozier
2019/03/13 [Om-announce] Formal Methods 2019 - Doctoral Symposium Renato Neves
2019/03/08 [Om-announce] [CFP] 1st IEEE Services Workshop on Knowledge Graph as a Service (KGAAS2019) Fulvio Frati
2019/03/08 [Om-announce] Second Dali Workshop: First Call for Papers Renato Neves
2019/03/08 [Om-announce] ICLP 2019 - Special Session: Women in Logic Programming Fioretto, Ferdinando