om-announce  

Messages by Thread

• [Om-announce] 2nd CFP - Only Two Weeks Left: International Workshop on OCL and Textual Modeling (OCL 2017) Achim D. Brucker
• [Om-announce] ASPOCP 2017 -- Deadline Extension -- May 1 submission deadline Organizers Aspocp
• [Om-announce] [ISSAC-ANNOUNCE] SC-Square 2017 Workshop (Satellite of and adjacent to ISSAC 2017) Matthew England
• [Om-announce] [LPNMR 2017 Workshops] Extended Deadline Peter Schüller
• [Om-announce] Postdoc Position Available in Singapore University of Technology and Design jun sun
• [Om-announce] DeepLearn 2017: early registration April 21 GRLMC
• [Om-announce] [CfP] ICCST-2017: 51st IEEE International Carnahan Conference on Security Technologies riccardo.lazzeretti
  • [Om-announce] [CfP] ICCST-2017: 51st IEEE International Carnahan Conference on Security Technologies riccardo.lazzeretti
• [Om-announce] [ISSAC-ANNOUNCE] PASCO 2017 Workshop (Satellite of and adjacent to ISSAC 2017) Matthew England
• [Om-announce] Summer School on Verification Technology Geoff Sutcliffe
• [Om-announce] Call for Submissions: IEEE/ACM ASONAM 2017 Tracks, Workshops and Co-Located Events ASONAM 2017
• [Om-announce] (Second Call for Participation) First School on Foundations of Programming and Software Systems -- Probabilistic Programming Renato Neves
• [Om-announce] IFIP TC-11 SEC 2017 - Preliminary Call for Participation IFIP SEC 2017
• [Om-announce] CRITIS 2017 Call for Papers Cristina Alcaraz
• [Om-announce] [simu-conf] DEADLINE EXTENDED - WinterSim 2017 vsim-conf
• [Om-announce] ASPOCP 2017 -- Deadline Extension -- April 10 submission deadline Organizers Aspocp
• [Om-announce] Call for Workshops - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: April 17th, 2017 Serge Autexier
• [Om-announce] [CfP] Workshop on Trusted Computing in Distributed and Hybrid Systems riccardo.lazzeretti
• [Om-announce] [simu-conf] UPCOMING DEADLINE - WinterSim 2017 vsim-conf
  • [Om-announce] [simu-conf] UPCOMING DEADLINE - WinterSim 2017 vsim-conf
• [Om-announce] CFP: IEEE IoT Journal Special Issue on Multimedia Big Data in IoT, Due on May 31 Shui Yu
  • [Om-announce] CFP: IEEE IoT Journal Special Issue on Multimedia Big Data in IoT, Due on May 31 Shui Yu
• [Om-announce] CFP: IEEE Globecom 17, Singapore, Due on April 15 (Extended, Firm) Shui Yu
• [Om-announce] CALCO 2017: Last Call for Papers | CALCO Tools & CALCO Early Ideas: Call for Contributions Fabio Zanasi
• [Om-announce] Call for Participation - Workshop on Communication Security - affiliated with EUROCRYPT 2017 - 30th April 2017 Marco Baldi
• [Om-announce] International Conference on Dependency Linguistics - 1st Call for Papers Depling 2017
• [Om-announce] Final CFP LPNMR Doctoral Student Consortium, Espoo, Finland, 3-6 July, 2017 Peter Schüller
• [Om-announce] Call for papers: 7th International Symposium on Secure Virtual Infrastructures - Cloud and Trusted Computing (C&TC 2017) Claudio A. Ardagna
• [Om-announce] CFP: ACM WiSec '17 -- Deadline approaching: March 27, 2017 (11:59:59 PM EDT) Prof. Mauro Conti
• [Om-announce] 30th International Workshop on Description Logics - Call for Papers Geoff Sutcliffe
• [Om-announce] [fm-announcements] RV 2017 - 3rd Call for papers and tutorial proposals + RV-CuBES contributions Havelund, Klaus (348B)
• [Om-announce] LPAR-21 in Botswana - Come join us! Geoff Sutcliffe
• [Om-announce] 24th WoLLIC 2017 - DEADLINE EXTENDED Ruy de Queiroz
• [Om-announce] Call for Participation: RAMiCS, May 15-18, Lyon, France Damien Pous
• [Om-announce] Deadline in a few days - 14th International Conference on Security and Cryptography (SECRYPT 2017) SECRYPT 2017
• [Om-announce] IWIL workshop at LPAR-21 in Botswana Geoff Sutcliffe
• [Om-announce] CFP: ACM WiSec '17 -- deadline March 20! Prof. Mauro Conti
• [Om-announce] ACM AsiaCCS 2017 - CALL FOR PARTICIPATION Prof. Mauro Conti
• [Om-announce] ITP and FroCoS - Final CFP Geoff Sutcliffe
• [Om-announce] Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday CIE2017
  • [Om-announce] Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday CIE2017
• [Om-announce] ASPOCP 2017 (Espoo, Finland - Colocated with LPNMR 2017) -- Second call for papers Organizers Aspocp
• [Om-announce] [ASONAM 2017] Call for Research Papers -- Deadline 26 March 2017 Abraham Diebo
  • [Om-announce] [ASONAM 2017] Call for Research Papers -- Deadline 26 March 2017 ASONAM 2017
• [Om-announce] CFP: International Workshop on OCL and Textual Modeling (OCL 2017) Achim D. Brucker
• [Om-announce] CfP Software Engineering for Resilient Systems - SERENE 2017 workshop Alexander Romanovsky
• [Om-announce] MFCS 2017: First Call for Papers Giorgio Bacci
• [Om-announce] MEMOCODE-2017 (Call for Papers) Klaus.Schneider
• [Om-announce] CfP: ICTAC'2027 Vietnam Martin Leucker
• [Om-announce] MFPS 33: Deadline Extension Alexandra Silva
• [Om-announce] Call for Papers: ARES 2017 - Deadline extended to March 31, 2017 res.mb.conference
• [Om-announce] SmartWorld 2017 CFP Qin Liu
• [Om-announce] 3rd CFP: SEFM 2017 - 15th International Conference on Software Engineering and Formal Methods Alberto Griggio
• [Om-announce] DeepLearn 2017: early registration March 24 GRLMC
  • [Om-announce] DeepLearn 2017: early registration March 24 GRLMC
• [Om-announce] CfP: FACS 2017 - 14th International Conference on Formal Aspects of Component Software Jose Proenca
• [Om-announce] NFM 2017 - Call For Participation Rody Kersten
  • [Om-announce] NFM 2017 - 2nd Call For Participation Rody Kersten
• [Om-announce] SAFECOMP17 Extended Deadline Stefano Tonetta
• [Om-announce] [IEEE-UIC2017] Second Call for Papers : Paper submisison deadline March 10, 2017 Swathi Nuggehalli Sudarshan
• [Om-announce] [fm-announcements] RV 2017 - 2nd Call for papers and tutorials Havelund, Klaus (348B)
• [Om-announce] LPAR-21 Short Presentation Papers - Call for Papers Geoff Sutcliffe
• [Om-announce] TABLEAUX 2017 - Final Call for Papers Geoff Sutcliffe
• [Om-announce] DBSec 2017 - Deadline extended Giovanni Livraga
• [Om-announce] Call for Papers: CD-MAKE 2017 res.mb.conference
  • [Om-announce] Call for Papers: CD-MAKE 2017 res.mb.conference
  • [Om-announce] Call for Papers: CD-MAKE 2017 res.mb.conference
• [Om-announce] AlCoB 2017: call for posters GRLMC
  • [Om-announce] AlCoB 2017: call for posters GRLMC
  • [Om-announce] AlCoB 2017: call for posters GRLMC
  • [Om-announce] AlCoB 2017: call for posters GRLMC
• [Om-announce] ThEdu'17: Call for Extended Abstracts & Demonstrations Achim D. Brucker
• [Om-announce] VSTTE 2017 - First Call for Papers Andrei Paskevich
• [Om-announce] [CFP] CrossFyre 2017 awaits your submissions! Cristina Onete
• [Om-announce] CFP: IEEE Globecom 2017, Singapore, due on April 1, 2017 Shui Yu
  • [Om-announce] CFP: IEEE Globecom 2017, Singapore, due on April 1, 2017 Shui Yu
• [Om-announce] Deadline Approaching: Research Fellow positions in Computer Security chhagan.iiita
• [Om-announce] [DBSec 2017] Call For Papers: Submission deadline March 6, 2017 Fengjun Li
• [Om-announce] CFP LPNMR Doctoral Student Consortium, Espoo, Finland, 3-6 July, 2017 Peter SchC<ller
• [Om-announce] Special Issue on Big Data Security and Privacy, Digital Communications Networks (Elsevier), due on Feb 28, 2017 (firm) Shui Yu
• [Om-announce] CfP: Reliability, safety and security of railway systems (RSSRail 2017) Alexander Romanovsky
• [Om-announce] CFP International Workshop on Practical Aspects of Answer Set Programming at LPNMR, Espoo, Finland, 3 July 2017 Peter Schüller
• [Om-announce] CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017) Cristina Alcaraz
  • [Om-announce] CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017) Cristina Alcaraz
  • [Om-announce] CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017) Cristina Alcaraz
  • [Om-announce] CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017) Cristina Alcaraz
  • [Om-announce] CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017) Cristina Alcaraz
  • [Om-announce] CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017) Cristina Alcaraz
• [Om-announce] [IEEE ATC 2017] Call for Workshop and Special Session Proposal DEADLINE: Feb 15 riccardo.lazzeretti
• [Om-announce] The International Conference on Critical Information Infrastructures Security (CRITIS 2017) Cristina Alcaraz
• [Om-announce] [IEEE ATC 2017] Call for Workshop and Special Session Proposal LAST DAYS riccardo.lazzeretti
• [Om-announce] TABLEAUX/FroCoS/ITP Call for Posters Geoff Sutcliffe
• [Om-announce] SAFECOMP17 2nd Call for Papers Stefano Tonetta
• [Om-announce] [simu-conf] Winter Simulation Conference 2017 - Call for Papers vsim-conf
• [Om-announce] Research officer in theoretical foundations of cyber security at Swansea University Markus Roggenbach
• [Om-announce] [IEEE ATC 2017] Call for Workshop and Special Session Proposal riccardo.lazzeretti
• [Om-announce] LATA 2017: call for participation GRLMC
• [Om-announce] FORTE 2017: Deadline Extension Alexandra Silva
• [Om-announce] [CFP] CrossFyre 2017 Cristina Onete
• [Om-announce] IEEE International Conference on AI & Mobile Services (AIMS 2017) Fulvio Frati
• [Om-announce] ARCADE Call for Papers Geoff Sutcliffe
• [Om-announce] CALCO 2017: Second Call for Papers Fabio Zanasi
• [Om-announce] ASPCOMP 2017: Last Call for Benchmarks Marco Maratea
• [Om-announce] TbILLC 2017: 1st Call for Papers Alexandra Silva
• [Om-announce] Call for Papers - 14th International Conference on Security and Cryptography (SECRYPT 2017) SECRYPT 2017
• [Om-announce] ASPCOMP 2017: Last Call for Participation (with EXTENDED DEADLINE) Marco Maratea
• [Om-announce] 2017 International Conference on Smart Internet of Things (SmartIoT 2017), August 25th-27th, 2017 at Dalian, China Smart IoT
• [Om-announce] Call for Papers: ARES 2017 res.mb.conference
  • [Om-announce] Call for Papers: ARES 2017 [email protected]
  • [Om-announce] Call for Papers: ARES 2017 res.mb.conference
• [Om-announce] IWIL 2017 with LPAR-21 in Botswana - Call for Papers Geoff Sutcliffe
• [Om-announce] CfPart: FSEN 2017 Marjan Sirjani
• [Om-announce] [IEEE ATC 2017] Call for Workshop and Special Session Proposal Extended riccardo.lazzeretti
• [Om-announce] FORMATS 2017 - Call for Papers - Submission 21 April 2017 THAO DANG
  • [Om-announce] FORMATS 2017 - Call for Papers - Submission 21 April 2017 Thao Dang
• [Om-announce] CFP: IWCMC 2017 - e-Health Symposium - Three more days Kashif Akhtar Saleem
• [Om-announce] ISNCC 2017 - May 16 -18, 2017, Marrakech - Morocco Tarek Bejaoui
• [Om-announce] [fm-announcements] SPIN 2017 - final call for papers, deadline Feb 10 Havelund, Klaus (348B)
• [Om-announce] BigDat 2017: works in progress February 10 GRLMC
• [Om-announce] Final CFP with Deadline Extension: LPNMR - International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017 Peter Schüller
• [Om-announce] FroCoS 2017 - 2nd Call for Papers Geoff Sutcliffe
• [Om-announce] TSD 2017 - First Call for Papers TSD 2017
• [Om-announce] CfP FMCAD 2017 - Formal Methods in Computer Aided Design no-reply
• [Om-announce] Call for Papers - 5th IEEE Conference on Communications and Network Security (IEEE CNS 2017) Giovanni Livraga
  • [Om-announce] Call for Papers - 5th IEEE Conference on Communications and Network Security (IEEE CNS 2017) Giovanni Livraga
  • [Om-announce] Call for Papers - 5th IEEE Conference on Communications and Network Security (IEEE CNS 2017) Giovanni Livraga
• [Om-announce] CFP: IEEE DASC 2017, Orlando, Florida, USA, Nov 2017 (Submission due: May 10, 2017) Alam
• [Om-announce] CyberSciTech 2017 CFPs: The 2nd IEEE Cyber Science and Technology Congress Orlando, USA, 6-10 Nov. 2017 Alam
• [Om-announce] First Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Abstract Submission Deadline 15. March 2017 Serge Autexier
• [Om-announce] ITP 2017 - 2nd Call for Papers Geoff Sutcliffe
• [Om-announce] CFP International Conference on Logic Programming and Non-monotonic Reasoning, Finland, 3-6 July 2017 Peter Schüller
• [Om-announce] AlCoB 2017: submission deadline extended January 29 GRLMC
• [Om-announce] Special Issue on Big Data Security and Privacy, Digital Communications Networks (Elsevier), due on Feb 15, 2017 Shui Yu
  • [Om-announce] Special Issue on Big Data Security and Privacy, Digital Communications Networks (Elsevier), due on Feb 15, 2017 Shui Yu
• [Om-announce] CFP:The 13th International Conference on Semantics, Knowledge and Grids on Big Data kg
• [Om-announce] CAV 2017: Call for Papers mikael.mayer
• [Om-announce] CAV 2017 Award mikael.mayer
• [Om-announce] [ISSAC-ANNOUNCE] Final Call for Papers: ISSAC 2017 Michael Sagraloff
• [Om-announce] 2nd CFP: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment Marco Bozzano
• [Om-announce] JAR Special Issue on Automated Reasoning Systems Geoff Sutcliffe
• [Om-announce] FMCAD 2017 - Call for Papers Geoff Sutcliffe
• [Om-announce] TABLEAUX 2017 - 2nd Call for Papers Geoff Sutcliffe
• [Om-announce] [fm-announcements] RV'17 - First call for papers and tutorials Havelund, Klaus (348B)
• [Om-announce] SEFM 2017: Call for Workshops Marco Roveri
• [Om-announce] ICLP 2017 - Call for Papers Son Cao Tran
• [Om-announce] CADE-26 Call for Papers Geoff Sutcliffe
• [Om-announce] [CFP] Int. Workshop on Intelligent Systems and Services for Industrial Applications (ISS4IA) Fulvio Frati
• [Om-announce] MFPS 33: first call for papers Alexandra Silva
• [Om-announce] ASPCOMP 2017: First Call for Participation Marco Maratea
• [Om-announce] CfP: MARS 2017 - Models for Formal Analysis of Real Systems [deadline extended] Peter.Hoefner
• [Om-announce] ASPCOMP 2017: First Call for Benchmarks Marco Maratea
• [Om-announce] IEEE INFOCOM17 Workshop of BigSecurity with Special Issue, extended to Jan 17th, 2017 Shui Yu
  • [Om-announce] IEEE INFOCOM17 Workshop of BigSecurity with Special Issue, extended to Jan 17th, 2017 Shui Yu
• [Om-announce] CFP: JCIN, Special Issue on Future Internet, due on 30/5/2017 Wei Quan
  • [Om-announce] CFP: JCIN, Special Issue on Future Internet, due on 30/5/2017 Wei Quan
• [Om-announce] ACM SIGPLAN Awards deadline extended to 30 January Satnam Singh
• [Om-announce] First School on Foundations of Programming and Software systems -- Probabilistic programming Renato Neves
• [Om-announce] [UNet'17, Springer LNCS] The Third International Symposium on Ubiquitous Networking, Call for Papers Oucheikh Rachid
• [Om-announce] [fm-announcements] SPIN 2017 in Santa Barbara, CA, USA - 1 month from the paper submission deadline Havelund, Klaus (348B)
• [Om-announce] LPAR-21 extended deadlines Geoff Sutcliffe
• [Om-announce] Deadline in a few days - 32nd IFIP TC-11 SEC 2017 International Information Security and Privacy Conference IFIP SEC 2017
• [Om-announce] DeepLearn 2017: early registration January 27 GRLMC
• [Om-announce] BigDat 2017: early registration January 13 GRLMC
  • [Om-announce] BigDat 2017: early registration January 13 GRLMC
• [Om-announce] 2 PhD positions @University of Twente: Fewer train delays via big data, fault trees, model checking Marielle Stoelinga
• [Om-announce] Deadline extended - 32nd IFIP TC-11 SEC 2017 International Information Security and Privacy Conference IFIP SEC 2017
• [Om-announce] Special issue of AI Communications on Automated Reasoning Geoff Sutcliffe
• [Om-announce] CfP: Models for Formal Analysis of Real Systems (MARS 2017) Peter.Hoefner
• [Om-announce] Extended Deadline - Workshop on Communication Security - affiliated with EUROCRYPT 2017 Marco Baldi
• [Om-announce] CFP: ELIP’17 2nd international Workshop on e-Learning & innovative Pedagogies BDCA Conference
• [Om-announce] Fwd: Call for paper : The 1st International Workshop on Internet of Thingsand Smart Systems BDCA Conference
• [Om-announce] AlCoB 2017: 3rd call for papers GRLMC
• [Om-announce] Deadline approaching - 32nd IFIP TC-11 SEC 2017 International Information Security and Privacy Conference IFIP SEC 2017
• [Om-announce] Final Call for Workshop Proposals: International Conference on Logic Programming and Nonmonotonic Reasoning, Espoo, Finland, July 3-6, 2017 Peter SchC<ller
• [Om-announce] LPAR-21 in Botswana - CFP Geoff Sutcliffe
• [Om-announce] ACSD 2017: Call-for-Papers Klaus Schneider
• [Om-announce] [fm-announcements] SPIN 2017 - 2nd Call for Papers *Paper Submission: February 10, 2017* Havelund, Klaus (348B)
• [Om-announce] ACM WiSec 2017 Call for Papers Prof. Mauro Conti
  • [Om-announce] ACM WiSec 2017 Call for Papers chhagan.iiita
• [Om-announce] PhD positions on the AI4REASON project in Prague Josef Urban
• [Om-announce] [Announcements]CFP:Special Issue on Future Internet 权伟
• [Om-announce] SAFECOMP17 Call for Papers Stefano Tonetta
• [Om-announce] CFP: EUC'2017, Guangzhou, China, July 22-23, 2017 Kuan-Ching Li
• [Om-announce] CFP: CSE'2017, Guangzhou, China, July 22-23, 2017 Kuan-Ching Li
• [Om-announce] CALCO 2017: First Call for Papers Fabio Zanasi
• [Om-announce] CFP: IEEE Trans on Big Data, Special Issue on Theoretical Foundations for Big Data Security and Privacy, due on 31/12/2016 Shui Yu
• [Om-announce] PhD positions @ETH Mueller Peter
• [Om-announce] Call for Participation: Practical Aspects of Declarative Languages (PADL) Paris, France, January 16/17, 2017 Peter SchC<ller
• [Om-announce] PostDoc Positions on Planning and Scheduling in the Embedded System Research Unit Marco Roveri
• [Om-announce] Call for Workshop Proposals: International Conference on Logic Programming and Nonmonotonic Reasoning, Espoo, Finland, July 3-6, 2017 Peter SchC<ller
• [Om-announce] 1st CFP: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment Marco Bozzano
• [Om-announce] [ISSAC-ANNOUNCE] SECOND CALL FOR PAPERS: ISSAC 2017 Michael Sagraloff
• [Om-announce] [ISSAC-ANNOUNCE] PASCO 2017 (affiliated with ISSAC 2017) - Second Call for Papers Matthew England
• [Om-announce] CfP RAMICS 2017 deadline extension Peter.Hoefner
• [Om-announce] IEEE INFOCOM17 Workshop of BigSecurity with Special Issue, due on Jan 10th, 2017 Shui Yu
  • [Om-announce] IEEE INFOCOM17 Workshop of BigSecurity with Special Issue, due on Jan 10th, 2017 Shui Yu
• [Om-announce] AlCoB 2017: 2nd call for papers GRLMC
• [Om-announce] Call for Participation - Hardware Design Contest Sponsored by ACM SIGDA Bei Yu
• [Om-announce] ACM TUR-C 2017 Call For Papers 付玉龙
• [Om-announce] CFP: BDCA'17 2nd International Conference on Big Data, Cloud and Applications BDCA Conference

• Earlier messages
• Later messages