March 2018 Archives by subject

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

Starting: Thu Mar 1 04:06:26 CET 2018
Ending: Sat Mar 31 21:39:43 CEST 2018
Messages: 58

• [Om-announce] 25th WoLLIC 2018 (Bogotá, Colombia) - DEADLINE APPROACHING   Ruy de Queiroz
• [Om-announce] 25th WoLLIC 2018 (Bogotá, Colombia) - DEADLINE EXTENDED   Ruy de Queiroz
• [Om-announce] [Call for Papers] The 2018 IEEE Conference on Dependable and Secure Computing (DSC 2018)   Wangch(NCYU)
• [Om-announce] [CFP] 7th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA2018)   Fulvio Frati
• [Om-announce] [CFP] Semantics in Big Data Management (SemBDM)   Fulvio Frati
• [Om-announce] [CFP]: 13th International Conference on Critical Information Infrastructures Security CRITIS 2018   Cristina Alcaraz
• [Om-announce] [Deadline approaching, March 31] Blockchain Layer 2 Technology Competition, Call for proposals & rules of the competition   Joaquin Garcia-Alfaro
• [Om-announce] [Extended deadline - Call for Papers]: Workshop on Industrial Internet of Things Security (WIIoTS)   Cristina Alcaraz
• [Om-announce] [Extended deadline - Call for Papers]: Workshop on Industrial Internet of Things Security (WIIoTS)   Cristina Alcaraz
• [Om-announce] [Extended deadline - Call for Papers]: Workshop on Industrial Internet of Things Security (WIIoTS)   Cristina Alcaraz
• [Om-announce] ARQNL 2018 - Call for Papers   geoff at cs.miami.edu
• [Om-announce] Bridging the Gap between Human and Automated Reasoning   geoff at cs.miami.edu
• [Om-announce] Call for Papers - 23rd European Symposium on Research in Computer Security (ESORICS 2018)   Giovanni Livraga
• [Om-announce] Call for papers - FOCLASA 2018   Jacopo Soldani
• [Om-announce] Call for Papers - MIWAI 2018 @Hanoi, Vietnam, 18-20 Nov. 2018   Nicolas Schwind
• [Om-announce] Call for Papers: ARES 2018   res.mb.conference
• [Om-announce] Call for Papers: ARES 2018   res.mb.conference
• [Om-announce] Call for Papers: ARES 2018, Deadline Extension   res.mb.conference
• [Om-announce] Call for Papers: ARES 2018, Deadline Extension   res.mb.conference
• [Om-announce] Call for Papers: CD-MAKE 2018   res.mb.conference
• [Om-announce] Call for Papers: CD-MAKE 2018   res.mb.conference
• [Om-announce] Call for Papers: CD-MAKE 2018   res.mb.conference
• [Om-announce] Call for Papers: CD-MAKE 2018   res.mb.conference
• [Om-announce] CfP - RV 2018 - Cyprus - Call for Papers   Martin Leucker
• [Om-announce] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA   Michael Kohlhase
• [Om-announce] CFP: Formal Methods for Intelligent Systems @ ISMIS 2018   Marco Roveri
• [Om-announce] CFP:ACM SIGGRAPH: Space Time International Student Competition   Ursyn, Anna
• [Om-announce] DEADLINE APPROACHING - AiML 2018: FINAL CALL FOR PAPERS   Thomas Studer
• [Om-announce] Deadline extended - 11th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec 2018)   Kevin Butler
• [Om-announce] Deadline extended - 15th International Conference on Security and Cryptography (SECRYPT 2018)   Giovanni Livraga
• [Om-announce] Deadline extended - 32nd IFIP WG 11.3 Conference on Data and Applications Security and Privacy, DBSec 2018   DBSec 2018
• [Om-announce] Deadline extended - 4th IEEE Workshop on Security and Privacy in the Cloud (SPC 2018)   SPC 2018
• [Om-announce] Deadline extended - 4th IEEE Workshop on Security and Privacy in the Cloud (SPC 2018)   SPC 2018
• [Om-announce] Deadline Extension: Security and High Performance Computing Systems -- HPCS 2018 Workshop   Francesco Spegni
• [Om-announce] DeepLearn 2018: early registration March 12   GRLMC
• [Om-announce] Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018   Natarajan Shankar
• [Om-announce] ESORICS 2018 - Call for Workshop Proposals   Joaquin Garcia-Alfaro
• [Om-announce] FOCLASA 2018 - First call for papers   Jacopo Soldani
• [Om-announce] FW: [IEEE GLOBECOM] Call for papers: SAC on Social Networks   Eugene
• [Om-announce] HighPer 2018: early registration March 7   GRLMC
• [Om-announce] IEEE CNS 2018 - Call for Posters (Deadline Extended to March 16)   LUO, LANNAN
• [Om-announce] IEEE SmartWorld 2018: CALL FOR WORKSHOP AND SPECIAL SESSION PROPOSALS   Qin Liu
• [Om-announce] KR 2018 Call for Papers ** INVITED SPEAKERS ANNOUNCED **   Marcello Balduccini
• [Om-announce] LATA 2018: call for participation   IRDTA
• [Om-announce] LOPSTR 2018: Second Final Call for Papers   Fred Mesnard
• [Om-announce] Multiple Positions at FAU Erlangen/Nürnberg   Michael Kohlhase
• [Om-announce] PAAR 2018 - Call for Papers   geoff at cs.miami.edu
• [Om-announce] PhD position   Gwen Salaün
• [Om-announce] Postdoctoral research position in cybersecurity at Inria Rennes, Brittany, France   Olivier Zendra
• [Om-announce] RCRA 2018: Call for papers (deadline April 15th)   Marco Maratea
• [Om-announce] SAS 2018: Call for Papers   Urban Caterina
• [Om-announce] Second call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis   German Vidal
• [Om-announce] SmartWorld 2018: Workshop Proposal Submission Deadline Extended to April 8   Qin Liu
• [Om-announce] SmartWorld 2018： CALL FOR PAPERS   Qin Liu
• [Om-announce] TSD 2018 - Second Call for Papers   TSD 2018
• [Om-announce] Universal Logic School 2018 - Poster Session   UNILOG2018
• [Om-announce] VerifyThis 2018: Call for Participation and Travel Grants   Andrei Paskevich
• [Om-announce] Workshop in Geometric Computation, Dublin, June   Colm O Dunlaing

Last message date: Sat Mar 31 21:39:43 CEST 2018
Archived on: Wed Apr 4 15:16:00 CEST 2018

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