Past Events
Upcoming Events
Past Events
  • Fifth Summer School on Formal Techniques, May 17-22, 2015, Atherton, California
    May 17, 2015 11:00 AM - May 22, 2015 7:00 PM
    Fifth Summer School on Formal Techniques, May 17 - May 22, 2015, Atherton, California http://fm.csl.sri.com/SSFT15 Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a…
  • FormaliSE 2015
    May 18, 2015 1:00 AM - May 18, 2015 10:00 AM
    3rd FME Workshop on Formal Methods in Software Engineering will be held on 18 May 2015 in conjunction with ICSE 2015 (May 16th-May 24th) INTRODUCTION The software industry has a long-standing and well-earned reputation for failing to deliver on its…
  • MobiSys 2015
    May 18, 2015 1:00 AM - May 22, 2015 10:30 AM
    The 13th International Conference on Mobile Systems, Applications, and Services MobiSys 2015 seeks to present innovative and significant research on the design, implementation, usage, and evaluation of mobile computing and wireless systems,…
  • WearSys 2015
    May 18, 2015 1:30 AM - May 19, 2015 10:30 AM
    Workshop on Wearable Systems and Applications at MobiSys 2015 The off-the-shelf availability of wearable devices and the commercial proliferation of wearable gadgets are shaping new directions for mobile and wireless systems research. Mobile systems and…
  • 2015 IEEE Symposium on Security and Privacy
    May 18, 2015 6:00 PM - May 20, 2015 10:00 PM
    The 2015 IEEE Symposium on Security and Privacy was held in San Jose, California on May 18-20. The 2015 Symposium marked the 36th annual meeting of this flagship conference. Since 1980, the IEEE Symposium on Security and Privacy has…
  • PLEASE 2015
    May 19, 2015 7:00 AM - May 19, 2015 4:00 PM
    The 5th International Workshop on Product LinE Approaches in Software Engineering will be held in conjunction with the 37th International Conference on Software Engineering (ICSE 2015) on May 19, 2015 Software drives most systems designed to address…
  • Task 1.4: Meeting about requirements formalization at Bosch
    May 20, 2015 4:15 AM - May 20, 2015 5:45 AM
    Meeting participants: Matthias Woehrle, Jens Oehlerking, Alexander Walsch
  • 2015 IEEE CS Security and Privacy Workshops (SPW)
    May 21, 2015 9:30 AM - May 21, 2015 7:30 PM
    The 2015 IEEE CS Security and Privacy Workshops (SPW) were co-located with the 2015 IEEE Symposium on Security and Privacy in San Jose, California and were held on May 21. In order to further expand the opportunities for scientific…
  • ANTIFRAGILE 2016
    May 23, 2015 1:00 AM - May 23, 2015 10:00 AM
    The 3rd International Workshop on Computational Antifragility and Antifragile Engineering (ANTIFRAGILE'16) in the framework of the 7th International Conference on Ambient Systems, Networks and Technologies (ANT-2016) Universidad Politécnica de Madrid…
  • IWoCPS-2015
    May 27, 2015 1:00 AM - May 29, 2015 10:30 AM
    Fourth International Workshop on Cyber-Physical Systems (IWoCPS-2015) 4th Edition, in conjunction with CSCS20: The 20th International Conference on Control Systems and Computer Science 28-29 May 2015, Faculty of Automatic Control and Computers,…
  • Designed-in Cybersecurity for Smart Cities: A Discussion of Unifying Architectures, Standards, Lessons Learned and R&D Strategies
    May 27, 2015 7:30 AM - May 27, 2015 3:00 PM
    The Designed-in Cybersecurity for Smart Cities Workshop is being jointly held by NIST and the Cybersecurity Research Alliance (CSRA http://www.cybersecurityresearch.org/). This workshop responds to the needs of communities around the world – from small…
  • ALCHEMY Workshop 2015
    Jun 1, 2015 1:00 AM - Jun 3, 2015 10:00 AM
    The Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems (ALCHEMY Workshop 2015) will be held in conjunction with the International Conference on Computational Science (ICCS 2015) The International Conference on…
  • SCOPES 2015
    Jun 1, 2015 1:00 AM - Jun 3, 2015 10:00 AM
    18th International Workshop on Software and Compilers for Embedded Systems June 1-3, 2015   A next edition of the workshop on Software and Compilers for Embedded Systems (SCOPES) will be organized in 2015. The workshop will feature a…
  • DisCoTec 2015
    Jun 2, 2015 1:00 AM - Jun 5, 2015 10:00 AM
    The DisCoTec series of federated conferences is one of the major events sponsored by the International Federation for Information processing (IFIP). The main conferences, taking place on June 2-4, 2015 at  Inria Grenoble – Rhône-Alpes are:  …
  • IST-AWSN'15
    Jun 2, 2015 2:00 AM - Jun 5, 2015 11:00 AM
    10th International Symposium on Intelligent Techniques for Ad hoc and Wireless Sensor Networks IST-AWSN'15 will be held in conjunction with the 6th International Conference on Ambient Systems, Networks and Technologies (ANT-2015) in London, United…
  • SACPS'15
    Jun 2, 2015 2:00 AM - Jun 5, 2015 12:15 PM
    The First International Workshop on Security Aspects of Cyber-Physical Systems will be held in London, United Kingdom, June 2-5, 2015 SACPS'15 is the The First International Workshop on Security Aspects of Cyber-Physical Systems. SACPS'15 provides…