November 2017 Archives by date

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

Starting: Thu Nov 2 06:53:45 CET 2017
Ending: Thu Nov 30 17:35:57 CET 2017
Messages: 29

• [Om-announce] LATA 2018: 3rd call for papers   GRLMC
• [Om-announce] CFP: 4th ACM Cyber‐Physical System Security Workshop (ACM CPSS’18)   Cristina Alcaraz
• [Om-announce] IJCAR 2018 - Call for Papers   geoff at cs.miami.edu
• [Om-announce] TPNC 2017: call for posters   GRLMC
• [Om-announce] CFP:: BDCA2018- Kenitra- Morocco   BDCA Conference
• [Om-announce] ADHS 2018 - Call for Papers   Magazzeni, Daniele
• [Om-announce] FINAL Call For Papers and DEADLINE EXTENSION: FLOPS 2018: 14th International Symposium on Functional and Logic Programming   John Patrick Gallagher
• [Om-announce] IEEE - ISNCC 2018, 19-21 June - Rome - Italy   Tarek Bejaoui
• [Om-announce] KR 2018 Call for Papers   Marcello Balduccini
• [Om-announce] Logical Frameworks and Meta-Languages 2018 - Call for Papers   geoff at cs.miami.edu
• [Om-announce] LATA 2018: extended submission deadline November 24   GRLMC
• [Om-announce] RAMiCS 2018: Call for Papers - Relational and Algebraic Methods in Computer Science   Walter Guttmann
• [Om-announce] IEEE CNS 2018 Call for Papers (Submission Deadline - December 20)   LUO, LANNAN
• [Om-announce] IEEE INFOCOM18 Workshop of BigSecurity with Special Issue, Hawaii, USA   Shui Yu
• [Om-announce] HighPer 2018: early registration December 5   GRLMC
• [Om-announce] Call for IEEE/ACM ASONAM 2018 Workshop Proposals   ASONAM 2018
• [Om-announce] CFP: 4th ACM Cyber‐Physical System Security Workshop (ACM CPSS’18)   Cristina Alcaraz
• [Om-announce] [ISSAC-ANNOUNCE] Second Call for Papers ISSAC 2018   pogudin at CIMS.NYU.EDU
• [Om-announce] [fm-announcements] NFM 2018 - Final Call for Papers   Munoz, Cesar (LARC-D320)
• [Om-announce] Artificial Intelligence and Theorem Proving 2018 - Call for Papers   geoff at cs.miami.edu
• [Om-announce] BigDat 2018: early registration December 4   GRLMC
• [Om-announce] Second call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation   John Patrick Gallagher
• [Om-announce] KR18 - Call for Tutorial and Workshop Proposals   Marcello Balduccini
• [Om-announce] IEEE INFOCOM18 Workshop of BigSecurity with Special Issue, Hawaii, USA   Shui Yu
• [Om-announce] [Mycolleagues] (Deadline Dec 30, 2017) Wiley Software: Practice and Experience: Special Issue on Integration of Cloud, IoT and Big Data Analytics   Gaurav Somani
• [Om-announce] SmartWorld 2018: CALL FOR WORKSHOP AND SPECIAL SESSION PROPOSALS   Qin Liu
• [Om-announce] HighPer 2018: early registration December 5   GRLMC
• [Om-announce] CFP: 4th ACM Cyber‐Physical System Security Workshop (ACM CPSS’18)   Cristina Alcaraz
• [Om-announce] CFP TAP 2018   Burkhart Wolff

Last message date: Thu Nov 30 17:35:57 CET 2017
Archived on: Thu Nov 30 17:41:06 CET 2017

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