October 2018 Archives by date

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

Starting: Tue Oct 2 10:37:47 CEST 2018
Ending: Tue Oct 30 04:54:42 CET 2018
Messages: 25

• [Om-announce] JELIA 2019 - First CfP - IJCAI, TPLP publications and Awards   cfp at mat.unical.it
• [Om-announce] A Second Opportunity to Submit - 13th International Workshop on the Implementation of Logics   geoff at cs.miami.edu
• [Om-announce] [ISSAC-ANNOUNCE] Journal of Symbolic Computation Special Issue for ISSAC2018: Call for Papers   Gleb Pogudin
• [Om-announce] Future Generation Computer Systems - Special Issue on Trusted Cloud-Edges (CE) Computations   Claudio A. Ardagna
• [Om-announce] Future Generation Computer Systems - Special Issue on Trusted Cloud-Edges (CE) Computations   Claudio A. Ardagna
• [Om-announce] Special Issue CFP: Computers & Electrical Engineering Journal - Advanced Techniques and Emerging Trends in Cyber-Social Computing - Deadline Nov. 30, 2018   Xiaokang Zhou
• [Om-announce] Formal Methods 2019: First Call for Papers   Renato Neves
• [Om-announce] [logic-programming] Picat version 2.5 is available   picat at picat-lang.org picat at picat-lang.org
• [Om-announce] Artificial Intelligence and Theorem Proving, AITP 2019   geoff at cs.miami.edu
• [Om-announce] Special Issue CFP: The World Wide Web Journal - Smart Computing and Cyber Technology for Cyberization - Deadline Dec. 15, 2018   Xiaokang Zhou
• [Om-announce] [WISTP2018]: 12th WISTP International Conference on Information Security Theory and Practice - Deadline extended to October 14, 2018 [FIRM DEADLINE]   Damien Sauveron
• [Om-announce] Call for Contributions - 24th ACM Symposium on Access Control Models and Technologies (SACMAT 2019)   Giovanni Livraga
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2019 First CfP   Matthew England
• [Om-announce] [simu-conf] Symposium of Theory of Modeling and Simulation 2019   vsim-conf at sce.carleton.ca
• [Om-announce] FM'19: Call for Workshop & Tutorial Proposals   Renato Neves
• [Om-announce] CADE-27: Call for Papers, Workshops, Tutorials and System Competitions   geoff at cs.miami.edu
• [Om-announce] Final Call for Papers: FSEN 2019   Maurice ter Beek
• [Om-announce] NFM 2019 Second Call For Papers- 11th Annual NASA Formal Methods Symposium   Rozier, Kristin Yvonne [AER E]
• [Om-announce] The First International Conference on Finance, Economics, Management and IT Business (3-5 May 2019; Crete, Greece)   Chang V.I.
• [Om-announce] The Fourth International Conference on Internet of Things, Big Data and Security 2019 (IoTBDS 2019; 2-4 May 2019; Crete, Greece)   Chang V.I.
• [Om-announce] Call for Papers ITNG 2019   Kashif Akhtar Saleem
• [Om-announce] CFP: IEEE Com Mag Data Science Series, Impact Factor 9.0+ (Top in the field)   Shui Yu
• [Om-announce] TPNC 2018: call for participation   IRDTA
• [Om-announce] [FGCS] Special Issue on Trusted Cloud-Edges Computations (Submission deadline Nov 30, 2018)   Claudio A. Ardagna
• [Om-announce] JPDC Special Issue CFP: Security & Privacy in Social Big Data-Deadline Dec. 31, 2018   Qin Liu

Last message date: Tue Oct 30 04:54:42 CET 2018
Archived on: Tue Oct 30 11:47:40 CET 2018

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