Past Events
Upcoming Events
Past Events
  • 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)

  • 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,…

  • 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

  • ICSE 2015
    May 16, 2015 9:00 AM - May 24, 2015 10:00 AM

    37th International Conference on Software Engineering Two decades after ICSE 1994 in Sorrento, we are proud to organize the 37th edition of the premier International Conference on Software Engineering® in the very heart of Florence/Firenze, the…

  • Economics and CPS Seminar mini-course: echnologies and Markets: Why (and when) the Prices Lose Their (old) Meaning (Part 2)
    May 15, 2015 12:00 PM - May 15, 2015 1:00 PM

    May 15, 2015 Technologies and Markets: Why (and when) the Prices Lose Their (old) Meaning (Part 2)

  • TCon Task 1.4: Requirements capture
    May 13, 2015 8:00 AM - May 13, 2015 9:00 AM

    Participants: Bosch, Polimi, TUM, Esterel, GE Discussion of principal work flow and next steps.

  • Economics and CPS Seminar mini-course: Technologies and Markets: Why (and when) the Prices Lose Their (old) Meaning
    May 8, 2015 12:00 PM - May 8, 2015 1:00 PM

    May 8, 2015 Technologies and Markets: Why (and when) the Prices Lose Their (old) Meaning

  • Introduction to SpaceEx
    May 6, 2015 4:00 AM - May 6, 2015 4:30 AM

    Goran Frehse, Simone Schuler and Alexander Walsch discuss the functionality and input format of SpaceEx

  • SCC 2015
    May 3, 2015 7:00 AM - May 4, 2015 4:00 PM

    On behalf of the Steering Committee of the Software Certification Consortium (SCC) I invite you to attend the 15th Meeting of the SCC, co-located with the High Confidence Software and Systems (HCSS) Conference in Annapolis in early May, 2015.…

  • Economics and CPS Seminar mini-course: Introduction to Non-Cooperative Bargaining Theory
    May 1, 2015 12:00 PM - May 1, 2015 1:00 PM

    May 1, 2015 Introduction to Non-Cooperative Bargaining Theory

  • Meeting between DLR and TUM
    Apr 29, 2015 4:00 AM - Apr 29, 2015 8:00 AM

    Discussion on path planning, motion primitives, and reachability analysis.

  • NFM 2015
    Apr 27, 2015 8:00 AM - Apr 29, 2015 5:00 PM

    The 7th NASA Formal Methods Symposium THEME The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification.

  • UnCoVerCPS Kick-Off
    Apr 26, 2015 5:00 PM - Apr 28, 2015 8:00 AM

    Kick-Off meeting of the UnCoVerCPS project in Garching hosted by GE.

  • Eurocrypt 2015
    Apr 26, 2015 12:00 AM - Apr 30, 2015 9:00 AM

    Eurocrypt 2015 was the 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques. Eurocrypt 2015 was one of the three flagship conferences of International Association for Cryptologic Research (IACR). This…

  • Economics and CPS Seminar mini-course: Exploring Non-Coasian World: From Non-cooperative Bargaining to Property Rights
    Apr 24, 2015 12:00 PM - Apr 25, 2015 1:00 AM

    April 24, 2015 Exploring Non-Coasian World: From Non-cooperative Bargaining to Property Rights

  • SAE 2015
    Apr 21, 2015 7:00 AM - Apr 23, 2015 4:00 PM

    The SAE 2015 World Congress assembles the best talent in the automotive industry; experts, management teams, engineers, and executives alike gather to collaborate and address current challenges, seek new windows for discovery and exploration, and promote…