October 2017 Archives by thread

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

Starting: Mon Oct 2 01:38:22 CEST 2017
Ending: Tue Oct 31 15:19:14 CET 2017
Messages: 31

• [Om-announce] CFP: IEEE ICC2018 Big Data Track, due on October 15, 2017   Shui Yu
• [Om-announce] IJCAR 2018 - Call for Papers   geoff at cs.miami.edu
• [Om-announce] ADHS 2018 - Call for Papers   Magazzeni, Daniele
• [Om-announce] Artificial Intelligence and Theorem Proving - Call for Papers   geoff at cs.miami.edu
• [Om-announce] [SIMPDA2017] Submission Deadline Approaching: October 14, 2017   Fulvio Frati
• [Om-announce] SLSP 2017: call for participation   GRLMC
  • [Om-announce] HInfo 2018 Symposium   Kashif Akhtar Saleem
• [Om-announce] FIRST call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation   John Patrick Gallagher
• [Om-announce] [ISSAC-ANNOUNCE] First Call for Papers ISSAC 2018   pogudin at CIMS.NYU.EDU
• [Om-announce] 25th WoLLIC 2018 (Bogotá, Colombia) - Call for Papers   Ruy de Queiroz
• [Om-announce] BigDat 2018: early registration October 19   GRLMC
• [Om-announce] [ISSAC-ANNOUNCE] JSC Special Issue on ISSAC 2017 - Second Call   Matthew England
• [Om-announce] [fm-announcements] NFM 2018 - 2nd CFP - Extended Deadlines   Munoz, Cesar (LARC-D320)
• [Om-announce] The 2018 Federated Logic Conference - Workshop Announcement   Andrzej Murawski
• [Om-announce] CFP: International Conference on Logic Programming 2018; First Call for Papers   NMSU COMPUTER SCIENCE
• [Om-announce] Call for Papers: Symposium on Access Control Models and Technologies (SACMAT 2018)   chhagan.iiita at gmail.com
• [Om-announce] LATA 2018: 2nd call for papers   GRLMC
• [Om-announce] CfP: Models for Formal Analysis of Real Systems (MARS 2018)   Rob van Glabbeek and Wendelin Serwe
• [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] TASE 2018 -- 1st Call for Papers   Jun PANG
• [Om-announce] IEEE CNS 2018 Call for Papers (Submission Deadline - December 20)   LUO, LANNAN
• [Om-announce] CAV 2018 - Call for Papers   geoff at cs.miami.edu
• [Om-announce] Call for Papers: Symposium on Access Control Models and Technologies (SACMAT 2018)   chhagan.iiita at gmail.com
• [Om-announce] TPNC 2017: call for posters   GRLMC
• [Om-announce] [Mycolleagues] Special Issue on Integration of Cloud, IoT and Big Data Analytics   Gaurav Somani
• [Om-announce] IEEE INFOCOM18 Workshop of BigSecurity with Special Issue, Hawaii, USA   Shui Yu
• [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] [simu-conf] Call for Participation - WinterSim 2017   vsim-conf at sce.carleton.ca

Last message date: Tue Oct 31 15:19:14 CET 2017
Archived on: Wed Nov 1 14:27:08 CET 2017

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