om-announce  

Messages by Thread

• [Om-announce] SYNASC 2018 - Call for Position and Workshops Papers SYNASC 2018
• [Om-announce] FLoC 2018 - Last Joint Call for Workshop Participation Andrzej Murawski
• [Om-announce] [CFP][Deadline approaching]: 14th International Workshop on Security and Trust Management (STM 2018) Nicholas Kolokotronis
• [Om-announce] CICM 2018, Call for Contributions to doctoral programme, work-in-progress, posters, demos, tutorial Serge Autexier
• [Om-announce] FLoC 2018 - Last Call for Participation Andrzej Murawski
• [Om-announce] DPM 2018 (ESORICS workshop) deadline extended to June 22, 2018 (firm) DPM 2018
• [Om-announce] Final CfP/Deadline: 15th International Conference on Formal Aspects of Component Software Peter Csaba Ölveczky
• [Om-announce] [CFP][Deadline extended]: 14th International Workshop on Security and Trust Management (STM 2018) Nicholas Kolokotronis
• [Om-announce] Deadline approaching - DPM 2018 (ESORICS workshop) DPM 2018
• [Om-announce] 2nd Call for Papers [deadline July 1st] - MIWAI 2018 @Hanoi, Vietnam, 18-20 Nov. 2018 Nicolas Schwind
• [Om-announce] CFP: One Month Until Left For Submitting to The Workshop in OCL and Textual Modeling (OCL 2018) Achim D. Brucker
• [Om-announce] iFM 18' PhD Symposium Call for Papers Hao Wu
• [Om-announce] [C&TC2018] Abstract Submission Deadline Approaching (July 3rd, 2018) Fulvio Frati
• [Om-announce] [Deadline Approaching: 24 Jun, 2018] SemBDM2018 Fulvio Frati
• [Om-announce] LOPSTR 2018: Second Round Final Call for Papers Fred Mesnard
• [Om-announce] WHY, WHAT, WHEN, WHERE & HOW TO PUBLISH ? jean-yves beziau
• [Om-announce] Deadline extended - 13th International Workshop on Data Privacy Management (DPM 2018) DPM 2018
• [Om-announce] 23rd International Conference on Engineering Complex Systems - Call for Papers geoff
• [Om-announce] Call for Participation - ARES & CD-MAKE 2018 res.mb.conference
• [Om-announce] FINAL REMINDER: KR 2018 Doctoral Consortium Call for Papers Marcello Balduccini
• [Om-announce] SYNASC 2018 - Final Call for Papers SYNASC 2018
• [Om-announce] [C&TC2018] Submission Deadline July 3rd, 2018 - Best papers will be invited in a special issue of the Future Generation Computer Systems journal Nabil El Ioini
• [Om-announce] AlCoB 2018: call for participation IRDTA
• [Om-announce] CFP: CyberC 2018, Zhenzhou, China, Due on June 30 Shui Yu
• [Om-announce] WST 2018 - Call for Participation (July 18-19, 2018) Salvador Lucas
• [Om-announce] Deadline approaching - 13th International Workshop on Data Privacy Management (DPM 2018) DPM 2018
• [Om-announce] Final CfP: FACS'18 (15th Int'l Conference on Formal Aspects of Component Software) Peter Csaba Ölveczky
• [Om-announce] Paraconsistent Newsletter - Spring 2018 jean-yves beziau
• [Om-announce] J.R. Arenhart winner of Newton da Costa Logic Prize / Universal Logic Prize at UNILOG'2018 jean-yves beziau
• [Om-announce] Call for Papers - Cryptocurrencies and Blockchain Technology (CBT 2018), ESORICS workshops, Springer LNCS, Barcelona, Sep. 2018 Joaquin Garcia-Alfaro
• [Om-announce] FLoC 2018: Programme now live and accommodation booking fast Andrzej Murawski
• [Om-announce] First Call for Papers: FSEN 2019 Maurice ter Beek
• [Om-announce] [Deadline Approaching, May 27] PRIVACY IN STATISTICAL DATABASES 2018 (PSD 2018), Springer LNCS, Valencia, Spain, Sep. 2018 Joaquin Garcia-Alfaro
• [Om-announce] LOPSTR 2018: Second Round Call for Papers Fred Mesnard
• [Om-announce] Jolly Thomas, winner of the 2018 BIMAL KRISHNA MATILAL LOGIC PRIZE jean-yves beziau
• [Om-announce] [CFP]: 14th International Workshop on Security and Trust Management (STM 2018) Nicholas Kolokotronis
  • [Om-announce] [CFP]: 14th International Workshop on Security and Trust Management (STM 2018) Nicholas Kolokotronis
  • [Om-announce] [CFP]: 14th International Workshop on Security and Trust Management (STM 2018) Nicholas Kolokotronis
• [Om-announce] 14th International Workshop on Security and Trust Management (STM 2018) Publicity Chair STM 2018
• [Om-announce] Logic in Question 8, Ecole Normale Supérieure, Paris 14 and 15 may 2018 jean-yves beziau
• [Om-announce] CFP: IEEE ITNAC 2018, Sydney, Australia, November. Shui Yu
• [Om-announce] Call for Papers: Workshop in OCL and Textual Modeling (OCL 2018) Achim D. Brucker
• [Om-announce] CFP: CyberC, China, Oct. 18-20, 2018 Shui Yu
• [Om-announce] CfP: Formal Aspects of Component Software (FACS'18) Peter Csaba Ölveczky
• [Om-announce] NASSLLI 2018: Final Call for Registration NASSLLI 2018
• [Om-announce] Call for Papers - 13th International Workshop on Data Privacy Management (DPM 2018) DPM 2018
  • [Om-announce] Call for Papers - 13th International Workshop on Data Privacy Management (DPM 2018) DPM 2018
  • [Om-announce] Call for Papers - 13th International Workshop on Data Privacy Management (DPM 2018) DPM 2018
• [Om-announce] [CFP] Int. Workshop on Computational Intelligence Techniques for Industrial and Medical Applications (CITIMA2018) Fulvio Frati
  • [Om-announce] [CFP] Int. Workshop on Computational Intelligence Techniques for Industrial and Medical Applications (CITIMA2018) Fulvio Frati
  • [Om-announce] [CFP] Int. Workshop on Computational Intelligence Techniques for Industrial and Medical Applications (CITIMA2018) Fulvio Frati
• [Om-announce] WADT 2018 - Extension to abstract submission deadline! WADT 2018
• [Om-announce] The International Journal of Organizational and Collective Intelligence (IJOCI) Chang V.I.
• [Om-announce] CfP: 4th International Conference on machine Learning, Optimization & Data science - LOD 2018 Call for Papers - Paper submission deadline: May 15, 2018 Giuseppe Nicosia
• [Om-announce] Second round call for papers: LOPSTR 2018 Peter James Stuckey
• [Om-announce] I: LOGIC COLLOQUIUM 2018 DEADLINE EXTENSION Giovanna D'Agostino
• [Om-announce] FMICS Call for Papers HaoWu
• [Om-announce] Call for Papers: CD-MAKE 2018, Deadline extended until May 7 res.mb.conference
• [Om-announce] Deadline extended - 17th International Conference on Cryptology and Network Security (CANS 2018) Giovanni Livraga
• [Om-announce] ATVA 2018 Call for Paper Meng Wu
• [Om-announce] PPDP 2018: Deadline Extension! David Sabel
• [Om-announce] WST 2018 - Last Call for Papers (deadline: April 30, 2018) Salvador Lucas
• [Om-announce] RCRA 2018: Last call for papers (new deadline April 26th) Marco Maratea
• [Om-announce] Zalán Gyenis, winner of the 2018 Alfred Tarski Logic Prize jean-yves beziau
• [Om-announce] WADT 2018 - 3rd Call for Papers & Leverhulme School WADT 2018
• [Om-announce] CfP: 4th International Conference on machine Learning, Optimization & Data science - LOD 2018 Call for Papers - Paper submission deadline: April 30, 2018 Giuseppe Nicosia
• [Om-announce] Deadline approaching - 17th International Conference on Cryptology and Network Security (CANS 2018) Giovanni Livraga
  • [Om-announce] Deadline approaching - 17th International Conference on Cryptology and Network Security (CANS 2018) Giovanni Livraga
• [Om-announce] KR 2018 Call for Papers ** WORKSHOPS AND TUTORIALS ANNOUNCED ** Marcello Balduccini
• [Om-announce] Fwd: FOCLASA 2018 - last CFP, deadlines extended Jacopo
• [Om-announce] 2 MONTHS LEFT: KR 2018 Doctoral Consortium Call for Papers Marcello Balduccini
• [Om-announce] ASPOCP deadline extended Jorge Fandino
• [Om-announce] [simu-conf] Canada Research Chair, Postdoctoral, PhD and Masters positions at Carleton University (Ottawa, ON, Canada) vsim-conf
• [Om-announce] Call for Workshop Paper: ARES 2018 res.mb.conference
• [Om-announce] Stefano Bonzio, winner of the 2018 SILFS Italian Logic Prize jean-yves beziau
• [Om-announce] CASC-J9 - the ATP System Competition - Call for Systems geoff
• [Om-announce] 6th School on Universal Logic - Vichy 16-20, 2018 UNILOG2018
• [Om-announce] CICM 2018, Extended submission deadline April 22, 2018 (abstracts), April 29, 2018 (full papers) Serge Autexier
• [Om-announce] ASPOCP 2018 [***extended abstract deadline April 15***] Jorge Fandino
• [Om-announce] Extended deadlines, last CFP - FOCLASA 2018 Jacopo Soldani
• [Om-announce] RCRA 2018: Extended deadline (with abstract) Marco Maratea
• [Om-announce] FLoC 2018 Volunteer Programme Announcement Andrzej Murawski
• [Om-announce] Deadline extension: HCVS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis German Vidal
• [Om-announce] WST 2018 - Call for Papers (extended deadline: April 30, 2018) Salvador Lucas
• [Om-announce] Deadline extended - 23rd European Symposium on Research in Computer Security (ESORICS 2018) Giovanni Livraga
• [Om-announce] Deadline in a few days - 32nd IFIP WG 11.3 Conference on Data and Applications Security and Privacy, DBSec 2018 DBSec 2018
• [Om-announce] SYNASC 2018 - Second Call for Papers SYNASC 2018
  • [Om-announce] SYNASC 2018 - Second Call for Papers SYNASC 2018
  • [Om-announce] SYNASC 2018 - Second Call for Papers SYNASC 2018
• [Om-announce] FOCLASA 2018 - 2nd call for papers Jacopo Soldani
• [Om-announce] iFM 2081 Call For Papers Hao Wu
• [Om-announce] AlCoB 2018: call for posters IRDTA
  • [Om-announce] AlCoB 2018: call for posters IRDTA
• [Om-announce] CALL FOR PARTICIPATION. FLOPS 2018: 14th International Symposium on Functional and Logic Programming John Patrick Gallagher
• [Om-announce] CFP ICLP-DC 2018 epontell
• [Om-announce] Deadline approaching - 23rd European Symposium on Research in Computer Security (ESORICS 2018) Giovanni Livraga
• [Om-announce] ARQNL 2018 Final Call for Papers geoff
• [Om-announce] CICM 2018, final CfP, Abstract submission deadline April 15, 2018 Serge Autexier
• [Om-announce] [fm-announcements] RV 2018 Call for Papers Havelund, Klaus (348B)
• [Om-announce] PSD 2018 Final Call for papers (submission deadline May 27, 2018) Catedra Unesco Privadesa De Dades
• [Om-announce] CFP: CyberC 2018, Zhenzhou, China, Submission due: May 30, 2018 Shui Yu
• [Om-announce] PPDP 2018: Second Call for Papers David Sabel
• [Om-announce] ThEdu'18: Second Call for Extended Abstracts & Demonstrations Achim D. Brucker
• [Om-announce] Deadline extended - 32nd IFIP WG 11.3 Conference on Data and Applications Security and Privacy, DBSec 2018 DBSec 2018
• [Om-announce] ASPOCP 2018 call for papers udcMail
• [Om-announce] Final CFP: 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018, affiliated with ICLP at FLoC 2018) German Vidal
• [Om-announce] WST 2018 - 2nd Call for Papers (submission: April 15, 2018) Salvador Lucas
• [Om-announce] PhD position Gwen Salaün
• [Om-announce] Call for Participation: SNR@ETAPS --- 4th International Workshop on Symbolic and Numerical Methods for Reachability Analysis Martin Fränzle
• [Om-announce] DeepLearn 2018: early registration April 7 IRDTA
• [Om-announce] LOPSTR 2018: Second Final Call for Papers Fred Mesnard
• [Om-announce] RCRA 2018: Call for papers (deadline April 15th) Marco Maratea
• [Om-announce] CFP:ACM SIGGRAPH: Space Time International Student Competition Ursyn, Anna
• [Om-announce] Call for Papers - MIWAI 2018 @Hanoi, Vietnam, 18-20 Nov. 2018 Nicolas Schwind
• [Om-announce] CICM 2018 - Call for Papers geoff
• [Om-announce] Bridging the Gap between Human and Automated Reasoning geoff
• [Om-announce] CFP: Formal Methods for Intelligent Systems @ ISMIS 2018 Marco Roveri
• [Om-announce] [Deadline approaching, March 31] Blockchain Layer 2 Technology Competition, Call for proposals & rules of the competition Joaquin Garcia-Alfaro
• [Om-announce] Call for papers - FOCLASA 2018 Jacopo Soldani
• [Om-announce] CfP - RV 2018 - Cyprus - Call for Papers Martin Leucker
• [Om-announce] Postdoctoral research position in cybersecurity at Inria Rennes, Brittany, France Olivier Zendra
• [Om-announce] Deadline Extension: Security and High Performance Computing Systems -- HPCS 2018 Workshop Francesco Spegni
• [Om-announce] Multiple Positions at FAU Erlangen/Nürnberg Michael Kohlhase
• [Om-announce] Deadline extended - 15th International Conference on Security and Cryptography (SECRYPT 2018) Giovanni Livraga
• [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] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA Michael Kohlhase
• [Om-announce] FW: [IEEE GLOBECOM] Call for papers: SAC on Social Networks Eugene
• [Om-announce] Second call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis German Vidal
• [Om-announce] LATA 2018: call for participation IRDTA
• [Om-announce] 25th WoLLIC 2018 (Bogotá, Colombia) - DEADLINE EXTENDED Ruy de Queiroz
• [Om-announce] SAS 2018: Call for Papers Urban Caterina
• [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] PAAR 2018 - Call for Papers geoff
• [Om-announce] Workshop in Geometric Computation, Dublin, June Colm O Dunlaing
  • [Om-announce] Workshop in Geometric Computation, Dublin, June Colm O Dunlaing
• [Om-announce] TSD 2018 - Second Call for Papers TSD 2018
• [Om-announce] IEEE CNS 2018 - Call for Posters (Deadline Extended to March 16) LUO, LANNAN
• [Om-announce] ESORICS 2018 - Call for Workshop Proposals Joaquin Garcia-Alfaro
• [Om-announce] DEADLINE APPROACHING - AiML 2018: FINAL CALL FOR PAPERS Thomas Studer
• [Om-announce] VerifyThis 2018: Call for Participation and Travel Grants Andrei Paskevich
• [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] [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] Deadline extended - 11th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec 2018) Kevin Butler
• [Om-announce] FOCLASA 2018 - First call for papers Jacopo Soldani
• [Om-announce] HighPer 2018: early registration March 7 GRLMC
• [Om-announce] 25th WoLLIC 2018 (Bogotá, Colombia) - DEADLINE APPROACHING Ruy de Queiroz
• [Om-announce] ARQNL 2018 - Call for Papers geoff
• [Om-announce] Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018 Natarajan Shankar
  • [Om-announce] Ninth Summer School on Formal Techniques, Atherton, California, May 18-24, 2019 Natarajan Shankar
  • [Om-announce] Tenth Summer School on Formal Techniques, May 16-22, 2020; First FMiTF Bootcamp, May 23-28, 2020, Atherton, California Natarajan Shankar
  • [Om-announce] Tenth (Virtual) Summer School on Formal Techniques, May 22-28, 2021 Natarajan Shankar
  • [Om-announce] Isaac Newton Institute Virtual Workshop on "Verified software: From Theory to Practice", 10th May 2021 to 14th May 2021 (Register by April 17) Natarajan Shankar
• [Om-announce] Universal Logic School 2018 - Poster Session UNILOG2018
• [Om-announce] [CFP] Semantics in Big Data Management (SemBDM) Fulvio Frati
• [Om-announce] [CFP] 7th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA2018) Fulvio Frati
  • [Om-announce] [CFP] 7th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA2018) Fulvio Frati
• [Om-announce] NASSLLI 2018: Registration, Scholarships, and Student Session Will Nalls
• [Om-announce] KR 2018 Call for Papers ** INVITED SPEAKERS ANNOUNCED ** Marcello Balduccini
• [Om-announce] [CFP]: 13th International Conference on Critical Information Infrastructures Security CRITIS 2018 Cristina Alcaraz
  • [Om-announce] [CFP]: 13th International Conference on Critical Information Infrastructures Security CRITIS 2018 Cristina Alcaraz
  • [Om-announce] [CFP]: 13th International Conference on Critical Information Infrastructures Security CRITIS 2018 Cristina Alcaraz
  • [Om-announce] [CFP]: 13th International Conference on Critical Information Infrastructures Security CRITIS 2018 Cristina Alcaraz
  • [Om-announce] [CFP]: 13th International Conference on Critical Information Infrastructures Security CRITIS 2018 Cristina Alcaraz
• [Om-announce] iFM 2018 Call for Papers Hao Wu
  • [Om-announce] ICADIWT 2018 ijwa
• [Om-announce] Call for Papers - 17th International Conference on Cryptology and Network Security (CANS 2018) Giovanni Livraga
• [Om-announce] AISC 2018 Call for Papers geoff
• [Om-announce] ThEdu'18: Call for Extended Abstracts & Demonstrations Achim D. Brucker
• [Om-announce] SYNASC 2018 - First Call for Papers SYNASC 2018
• [Om-announce] VerifyThis 2018: Call for Problems and First Announcement Andrei Paskevich
• [Om-announce] Special Issue on Commonsense Reasoning - Call for Papers geoff
• [Om-announce] [CFP] Workshop on Security and High Performance Computing Systems Francesco Spegni
• [Om-announce] CFP: ACM CCS 2018 (Toronto, Oct 15 - 19) PublicityChairs ACM_CCS
• [Om-announce] LOPSTR 2018 2nd CFP Fred Mesnard
• [Om-announce] RuleML+RR 2018 SECOND CALL FOR PAPERS geoff
• [Om-announce] [fm-announcements] NFM 2018 - Call for Participation Munoz, Cesar (LARC-D320)
• [Om-announce] FLoC 2018 - Joint Call for Workshop Papers Andrzej Murawski
• [Om-announce] SAT/SMT/AR Summer School 2018 geoff
• [Om-announce] [Deadline Approaching: Feb, 28th] CFP: Workshop on Industrial Internet of Things Security (WIIoTS) Cristina Alcaraz
  • [Om-announce] [Deadline Approaching: Feb, 28th] CFP: Workshop on Industrial Internet of Things Security (WIIoTS) Cristina Alcaraz
  • [Om-announce] [Deadline Approaching: Feb, 28th] CFP: Workshop on Industrial Internet of Things Security (WIIoTS) Cristina Alcaraz
• [Om-announce] Call for Workshop Proposal, ATC, Guangzhou, China Shui Yu
• [Om-announce] CFP: IEEE GLOBECOM Communications Software , Services, and Multimedia Application Symposium Shui Yu
• [Om-announce] [ISSAC-ANNOUNCE] Call for Posters and Software Presentations ISSAC 2018 Gleb Pogudin
• [Om-announce] 6th International Conference on Software Engineering for Defense Applications Manuel Mazzara
• [Om-announce] EXTENDED DEADLINE: International Conference on Logic Programming 2018 Enrico Pontelli
• [Om-announce] SmartWorld 2018: Workshop Proposal Submission Deadline Extended to March 8 Qin Liu
• [Om-announce] Call for Papers - 23rd European Symposium on Research in Computer Security (ESORICS 2018) Giovanni Livraga
  • [Om-announce] Call for Papers - 23rd European Symposium on Research in Computer Security (ESORICS 2018) Giovanni Livraga
  • [Om-announce] Call for Papers - 23rd European Symposium on Research in Computer Security (ESORICS 2018) Giovanni Livraga
• [Om-announce] TSD 2018 - First Call for Papers TSD 2018
• [Om-announce] Special Issue CFP: Ad Hoc Networks Journal - Advances and Trends on Cognitive Cyber-Physical Systems - Deadline Feb. 28, 2018 Xiaokang Zhou
• [Om-announce] ** 3-MONTH REMINDER ** KR 2018 Call for Papers Marcello Balduccini
• [Om-announce] WST 2018 - 1st Call for Papers (submission: April 15, 2018) Salvador Lucas
• [Om-announce] REMINDER: KR 2018 Doctoral Consortium Call for Papers Marcello Balduccini

• Earlier messages
• Later messages