Messages by Thread
-
[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
-
[Om-announce] [IEEE SERVICES 2019] Deadline Approaching (March 1, 2019)
Claudio A. Ardagna
-
[Om-announce] [CFP] First IEEE SERVICES Workshop on Big Data for public health policy making
Fulvio Frati
-
[Om-announce] iFM 2019: Call for Workshops and Tutorials
Martin Leucker
-
[Om-announce] CFP: ICLP 2019 - Sister Conferences and Journal Presentation Track
Fioretto, Ferdinando
-
[Om-announce] CFP: ICLP 2019 - Application Track
Fioretto, Ferdinando
-
[Om-announce] CADE-27: Second Call for Papers
geoff
-
[Om-announce] Call for Papers: 5th IEEE Workshop on Security and Privacy in the Cloud (SPC 2019)
lpham6
-
[Om-announce] LATA 2019: call for participation
IRDTA
-
[Om-announce] 1st World Logic Day, 14 January 2019 - Report on the Celebrations
jean-yves beziau
-
[Om-announce] [CFP] 2019 IEEE SERVICES Workshop on Cyber Security and Resilience in the Internet of Things
Nicholas Kolokotronis
-
[Om-announce] iFM 2019 - Call for Workshops and Tutorials
Martin Leucker
-
[Om-announce] CAUSAL 2019 Call for Papers
Emily LeBlanc
-
[Om-announce] 26th WoLLIC 2019 (Utrecht, The Netherlands) - Call for Papers - DEADLINE APPROACHING
Ruy de Queiroz
-
[Om-announce] [simu-conf] CfP - SummerSim 2019 - Berlin
vsim-conf
-
[Om-announce] [simu-conf] Canada Research Chair, PhD and Postdoctoral positions at Carleton University
vsim-conf
-
[Om-announce] Call for Papers: ARES 2019
res.mb.conference
-
[Om-announce] ACM SACMAT 2019 - Paper Submission Deadline Extended
Giovanni Livraga
-
[Om-announce] LPNMR 2019 Final Call for Papers ** DEADLINE EXTENSION **
Gregory Gelfond
-
[Om-announce] Wi-DroIT 2019 – 1st International Workshop on Wireless Drones over Internet of Things
grigoni
-
[Om-announce] [Call for Workshop Proposals]: 24th European Symposium on Research in Computer Security (ESORICS 2019)
Publicity Chair ESORICS 2019
-
[Om-announce] Call for Participation - Blockchain @ ACM SACMAT'19
Giovanni Livraga
-
[Om-announce] VerifyThis at ETAPS 2019: 2nd Call for Problems
VerifyThis
-
[Om-announce] DeepLearn 2019: early registration February 2
IRDTA
-
[Om-announce] CFP: The 24th European Symposium on Research in Computer Security (ESORICS 2019)
Publicity Chair ESORICS 2019
-
[Om-announce] ACM WiSec 2019 Call for Papers -- Deadline Approaching (less than 2 weeks)
Mathieu Cunche
-
[Om-announce] SEFM 2019 - First Call for Papers
Publicity Chair
-
[Om-announce] ACM SACMAT 2019 - Submission Deadline for Research Papers Approaching
Giovanni Livraga
-
[Om-announce] DASC 2019: Call for Workshop/Special Session Proposals
Qin Liu
-
[Om-announce] FGCS Special Issue on Trusted Cloud-Edges Computations - Submission Deadline Tomorrow (Jan 15)
Claudio A. Ardagna
-
[Om-announce] FM'19: Second Call for Papers
Renato Neves
-
[Om-announce] [CFP] FMIS 2019: 8th Formal Methods for Interactive Systems workshop
José Creissac Campos
-
[Om-announce] January 14, 2019 - 1st World Logic Day - Celebrated all over the World
jean-yves beziau
-
[Om-announce] ICTAC 2020 - 2nd Call for Organizers - Deadline approaching
Martin Leucker
-
[Om-announce] CFP: IEEE INFOCOM19 Workshop of BigSecurity, Paris, France, Due on Jan 14, 2019 (extended, firm)
Shui Yu
-
[Om-announce] CFP for COMPLEXIS 2019 position paper deadline Jan 24, 2019 (2-4 May 2019; Crete, Greece)
Chang V.I.
-
[Om-announce] CfP: SafeComp 2019 (Int. Conference on Computer Safety, Reliability and Security)
Alexander Romanovsky
-
[Om-announce] 26th WoLLIC 2019 (Utrecht, The Netherlands) - 2nd Call for Papers
Ruy de Queiroz
-
[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2019 - Final Call - Deadline Extension
Matthew England
-
[Om-announce] FGCS Special Issue on Trusted Cloud-Edges Computations - Submission deadline approaching (Jan 15th)
Claudio A. Ardagna
-
[Om-announce] [Deadline Extension] Special issue on Dense Surveillance System for Urban Traffic
Fulvio Frati
-
[Om-announce] Robotic 2019: early registration December 31st
IRDTA
-
[Om-announce] 1st World Logic Day: January 14, 2019
jean-yves beziau
-
[Om-announce] The Fourth International Conference on Internet of Things, Big Data and Security 2019 (IoTBDS 2019; 2-4 May 2019; Crete, Greece) with COMPLEXIS 2019 and FEMIB 2019
Chang V.I.
-
[Om-announce] ACM WiSec 2019 Call for Papers -- Deadline Approaching
Mathieu Cunche
-
[Om-announce] IEEE WORLD CONGRESS ON SERVICES 2019
Paolo Ceravolo
-
[Om-announce] Paraconsistent Newsletter - Fall 2018
jean-yves beziau
-
[Om-announce] BigDat 2019: regular registration January 4
IRDTA
-
[Om-announce] Post-doc position in the field of Planning and Scheduling at Fondazione Bruno Kessler
Marco Roveri
-
[Om-announce] The Fourth International Conference on Complexity, Future Information Systems and Risk 2019 (COMPLEXIS 2019; 2-4 May 2019; Crete, Greece)
Chang V.I.
-
[Om-announce] Call for Papers: CD-MAKE 2019
res.mb.conference
-
[Om-announce] [CFP] 10th IEEE/IFIP NTMS 2019 - CANARY ISLANDS
NTMS CONFERENCE
-
[Om-announce] Second call for papers: Seventh International Workshop on Verification and Program Transformation, April 2nd 2019, Genova, Italy
Lisitsa, Alexei
-
[Om-announce] Call for Papers: JLAMP Special Issue on Relational and Algebraic Methods in Computer Science
Walter Guttmann
-
[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2019: Second Call for Papers
Matthew England
-
[Om-announce] Special Issue CFP [Deadline Extended]: Computers & Electrical Engineering Journal - Advanced Techniques and Emerging Trends in Cyber-Social Computing - Deadline Dec. 31, 2018
zhou
-
[Om-announce] AlCoB 2019: 2nd call for papers
IRDTA
-
[Om-announce] NFM 2019 Third Call For Papers- 11th Annual NASA Formal Methods Symposium
Rozier, Kristin Yvonne [AER E]
-
[Om-announce] [FCDS] S.I. On the Importance of Semantics in Big Data Integration, Storage, and Processing
Fulvio Frati
-
[Om-announce] cfp IEEE ICCIDS conference @CSE, SSNCE, Chennai, India
A.Chamundeswari
-
[Om-announce] JELIA 2019 - DEADLINES EXTENDED (Abstract 2 Dec. - Submission 7 Dec.)
cfp
-
[Om-announce] The Fourth International Conference on Internet of Things, Big Data and Security 2019 (IoTBDS 2019; 2-4 May 2019; Crete, Greece) and also COMPLEXIS 2019
Chang V.I.
-
[Om-announce] Robotic 2019: early registration December 7
IRDTA
-
[Om-announce] CfP Reliability, safety and security of railway systems (RSSRail 2019)
Alexander Romanovsky
-
[Om-announce] JELIA 2019 - 3rd CfP - Deadline Approaching - IJCAI, TPLP, Awards and Prizes
cfp
-
[Om-announce] World Logic Day: January 14 / Day of birth of Alfred Tarski and of death of Kurt Gödel
jean-yves beziau
-
[Om-announce] ACM WiSec 2019 Call for Papers
Mathieu Cunche
-
[Om-announce] 26th WoLLIC 2019 (Utrecht, The Netherlands) - Call for Papers
Ruy de Queiroz
-
[Om-announce] WISTP 2018 - call for participation
Damien Sauveron
-
[Om-announce] VerifyThis at ETAPS 2019: Announcement + Call for Problems
VerifyThis
-
[Om-announce] 1st Logic Prizes Contest : Papers of all the Winners now on-line
jean-yves beziau
-
[Om-announce] [FGCS] Special Issue on Trusted Cloud-Edges Computations (Submission deadline extended to Jan 15, 2019)
Claudio A. Ardagna
-
[Om-announce] VPT 2019, Call for papers, , Seventh International Workshop on Verification and Program Transformation , April 2nd 2019, Genova, Italy
Lisitsa, Alexei
-
[Om-announce] FM'19: Final Call for Workshop & Tutorial Proposals
Renato Neves
-
[Om-announce] Last CfP CiDaS 2019, Contemporary Issues in Data Science, The International Conference on
Mahdi Bohlouli
-
[Om-announce] CICM 2019, July 8-12: First Call for Submissions, Workshops & Tutorials
Serge Autexier
-
[Om-announce] CFP: IEEE INFOCOM19 Workshop of BigSecurity, Paris, France
Shui Yu
-
[Om-announce] CFP IEEE World Forum on Internet of Things - Doctoral Symposium
Vincenzo Piuri
-
[Om-announce] [Vardi-list] The 3rd Winter School in Computer Science and Engineering on Blockchains and Cryptocurrencies
Moshe Vardi
-
[Om-announce] ICLA 2019: EIGHTH INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS 2019
geoff
-
[Om-announce] [CFP] IEEE WORLD CONGRESS ON SERVICES 2019
Fulvio Frati
-
[Om-announce] CFC_Artificial Intelligence and Internet of Things
George Mastorakis
-
[Om-announce] JELIA 2019 - 2nd CfP - 1 month left - IJCAI, TPLP, Awards and Prizes
cfp
-
[Om-announce] PhD student and post-doc positions at ETH Zurich: Verification of a secure Future Internet architecture
Mueller Peter
-
[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] Call for Papers ITNG 2019
Kashif Akhtar Saleem
-
[Om-announce] JPDC Special Issue CFP: Security & Privacy in Social Big Data-Deadline Dec. 31, 2018
Qin Liu
-
[Om-announce] [FGCS] Special Issue on Trusted Cloud-Edges Computations (Submission deadline Nov 30, 2018)
Claudio A. Ardagna
-
[Om-announce] NFM 2019 Second Call For Papers- 11th Annual NASA Formal Methods Symposium
Rozier, Kristin Yvonne [AER E]
-
[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] Final Call for Papers: FSEN 2019
Maurice ter Beek
-
[Om-announce] CADE-27: Call for Papers, Workshops, Tutorials and System Competitions
geoff
-
[Om-announce] FM'19: Call for Workshop & Tutorial Proposals
Renato Neves
-
[Om-announce] [simu-conf] Symposium of Theory of Modeling and Simulation 2019
vsim-conf
-
[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] Special Issue CFP: The World Wide Web Journal - Smart Computing and Cyber Technology for Cyberization - Deadline Dec. 15, 2018
Xiaokang Zhou
-
[Om-announce] [logic-programming] Picat version 2.5 is available
[email protected] [email protected]
-
[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2019 First CfP
Matthew England
-
[Om-announce] Call for Contributions - 24th ACM Symposium on Access Control Models and Technologies (SACMAT 2019)
Giovanni Livraga
-
[Om-announce] Artificial Intelligence and Theorem Proving, AITP 2019
geoff
-
[Om-announce] Formal Methods 2019: First Call for Papers
Renato Neves
-
[Om-announce] JELIA 2019 - First CfP - IJCAI, TPLP publications and Awards
cfp
-
[Om-announce] [ISSAC-ANNOUNCE] Journal of Symbolic Computation Special Issue for ISSAC2018: Call for Papers
Gleb Pogudin
-
[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] A Second Opportunity to Submit - 13th International Workshop on the Implementation of Logics
geoff
-
[Om-announce] [WISTP2018]: 12th WISTP International Conference on Information Security Theory and Practice - Deadline extended to October 10, 2018
Damien Sauveron
-
[Om-announce] [Deadline approaching] CFP: IEEE Internet of Things Journal Special Issue on "Secure Embedded IoT Devices for Resilient Critical Infrastructures"
Cristina Alcaraz
-
[Om-announce] [CfP] CiDaS 2019, Contemporary Issues in Data Science, The International Conference on
Mahdi Bohlouli
-
[Om-announce] Third Call for Papers: FSEN 2019
Maurice ter Beek
-
[Om-announce] Square of Opposition, Crete, November 1-5, 2018
jean-yves beziau
-
[Om-announce] LPAR-22 in Ethiopia - Call for Short Papers
geoff
-
[Om-announce] IEEE ICME 2019, Shanghai, Due on December 3, 2018
Shui Yu
-
[Om-announce] PhD positions in Programming Language Technology for Security and Privacy
David Sands
-
[Om-announce] SLSP 2018: call for participation
IRDTA
-
[Om-announce] NFM 2019 First Call For Papers- 11th Annual NASA Formal Methods Symposium
Kristin Yvonne Rozier
-
[Om-announce] Call for Papers: Postproceedings for ThEdu'18 by EPTCS
Achim D. Brucker
-
[Om-announce] [Deadline Extended to Sept 15 2018] FPS 2018, 11th Intl. Symposium on Foundations & Practice of Security, Springer-LNCS Proceedings, Montreal, Canada, 13-14-15 November 2018
Joaquin Garcia-Alfaro
-
[Om-announce] Software Verification and Testing Track (SVT) @ ACM SAC 2019 (deadline extension)
Matthias Güdemann
-
[Om-announce] 13th International Workshop on the Implementation of Logics
geoff
-
[Om-announce] JELIA 2019 - Preliminary Call for Papers
Simona Perri
-
[Om-announce] [CITIMA2018] Submission deadline extension: September 22, 2018
Fulvio Frati
-
[Om-announce] Last deadline extension for widecom 2019 conference + CFP for 2 collocated workshops
Damien Sauveron
-
[Om-announce] RAMiCS 2018 Call for Participation: Relational and Algebraic Methods in Computer Science
Walter Guttmann
-
[Om-announce] Final Call for Papers Software Verification and Testing Track (SVT) @ ACM SAC 2019
Matthias Güdemann
-
[Om-announce] CFP: WIDECOM 2019 conference -- last week to submit
Damien Sauveron
-
[Om-announce] [Deadline Approaching, Sept 3 2018] FPS 2018, 11th Intl. Symposium on Foundations & Practice of Security, Springer-LNCS Proceedings, Montreal, Canada, 13-14-15 November 2018
Joaquin Garcia-Alfaro
-
[Om-announce] Datalog 2.0 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED **
ggelfond
-
[Om-announce] Call for Papers: Symposium on Practical Aspects of Declarative Languages (PADL 2019)
Moa Johansson
-
[Om-announce] NFM 2019 Preliminary Call For Papers- 11th Annual NASA Formal Methods Symposium
Kristin Yvonne Rozier
-
[Om-announce] Special Issue on Security and Privacy in Edge Computing-Assisted Internet of Things (IoT) in Pervasive and Mobile Computing (Elsevier)
Chia-Mu Yu
-
[Om-announce] The First International Conference on Finance, Economics, Management and IT Business (3-5 May 2019; Crete, Greece)
Chang V.I.
-
[Om-announce] CFP: ITNAC 2018, Sydney, Australia, Deadline extended to August 30 (firm)
Shui Yu
-
[Om-announce] Call for Participation - 13th International Workshop on Data Privacy Management (DPM 2018 - co-located with ESORICS 2018)
DPM 2018
-
[Om-announce] IEEE ITNAC 2018, Sydney, Due on August 15, 2018
Shui Yu
-
[Om-announce] [CFP] [Deadline Extended] Special Session “Security, Privacy and Trust in the Internet of Things” --- GIIS 2018
Nicholas Kolokotronis
-
[Om-announce] Call for Papers: ROOTS
res.mb.conference
-
[Om-announce] SLSP 2018: call for posters
IRDTA
-
[Om-announce] PPDP | LOPSTR | WFLP 2018 Common Call for Participation
David Sabel
-
[Om-announce] iFM 2018: Registration Bursaries for PhD students and Early Stage Researchers
HaoWu
-
[Om-announce] [CFP, Deadline Sept 3] FPS 2018, 11th Intl. Symposium on Foundations & Practice of Security, Springer-LNCS Proceedings, Montreal, Canada, 13-14-15 November 2018
Joaquin Garcia-Alfaro
-
[Om-announce] Call for Papers: Special Issue on Blockchain Technology PMC
res.mb.conference
-
[Om-announce] CFP: WIDECOM 2019 conference -- Deadline extended
Damien Sauveron
-
[Om-announce] Deadline Approaching- IEEE - SmartNets 2018, November 2018, Yasmine Hammamet - Tunisia
Tarek Bejaoui
-
[Om-announce] CFP: Thematic Issue on Security, trust and privacy for Human-centric Internet of Things
Damien Sauveron
-
[Om-announce] [CFP] 7th Int. Symposium on Data-driven Process Discovery and Analysis (SIMPDA2018)
Fulvio Frati
-
[Om-announce] [CFP] Special Session “Security, Privacy and Trust in the Internet of Things" --- GIIS 2018
Nicholas Kolokotronis
-
[Om-announce] Call for Posters: CBT2018 -- International Workshop on Cryptocurrencies and Blockchain Technology, held in conjunction with ESORICS 2018, Barcelona, September 6-7, 2018
Joaquin Garcia-Alfaro
-
[Om-announce] PhD Position on ICT in Trento on "Quantum Annealing for SAT Solving"
roberto.sebastiani
-
[Om-announce] Call for Participation - 23rd European Symposium on Research in Computer Security (ESORICS 2018)
Giovanni Livraga
-
[Om-announce] LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED **
ggelfond
-
[Om-announce] Deadline Extension: Workshop in OCL and Textual Modeling (OCL 2018)
Achim D. Brucker
-
[Om-announce] Extended deadline - 1st International Workshop on Optimization in Modern Computing Systems (OptiMoCS 2018)
Zoltán Mann
-
[Om-announce] 1st Call for Papers Software Verification and Testing Track @ ACM SAC 2019
Matthias Güdemann
-
[Om-announce] BigDat 2019: early registration July 26
IRDTA
-
[Om-announce] 25th WoLLIC 2018 (Bogotá, Colombia) - Call for Participation
Ruy de Queiroz
-
[Om-announce] Call for paper: Only one *week* left to prepare your paper for the Workshop in OCL and Textual Modeling (OCL 2018)
Achim D. Brucker
-
[Om-announce] TSD 2018 - Call for Demonstrations
TSD 2018
-
[Om-announce] Second Call for Papers: FSEN 2019
Maurice ter Beek
-
[Om-announce] PPDP 2018: Call for Participation
David Sabel
-
[Om-announce] Call For Participation - 32nd IFIP WG 11.3 Conference on Data and Applications Security and Privacy, DBSec 2018
DBSec 2018
-
[Om-announce] Future Generation Computer Systems - Special Issue on Trusted Cloud-Edges (CE) Computations
Claudio A. Ardagna
-
[Om-announce] [C&TC2018] Deadline approaching (Abstract due July 3, 2018)
Nabil El Ioini
-
[Om-announce] DeepLearn 2018: regular registration July 20
IRDTA
-
[Om-announce] Ivan Varzinczak, winner of the universal logic prize at UNILOG'2018
jean-yves beziau