The Fourth IFIP Conference on Sustainable Internet and ICT for Sustainability           April 14-15, 2015 Madrid, Spain Sponsored by the IFIP TC6 WG 6.3, Performance of Communication Systems Technically…

11th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems April 14, 2015 (tbc)  |  Auckland, New Zealand The 11th IEEE/IFIP Workshop on Software Technologies for Future Embedded and…

10th Workshop on Model-Based Testing  will be held April 18, 2015, London, UK Satellite workshop of ETAPS 2015 MBT workshop 2015 celebrates its 10th anniversary. We invite you to join academicians and MBT practitioners to share the vision of the…

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…

April 24, 2015 Exploring Non-Coasian World: From Non-cooperative Bargaining to Property Rights I will review non-cooperative bargaining (Stahl-Rubinstein). Then, we will consider a familiar public good: temperature in a room that has two (or more)…

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…

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

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. The NASA Formal…

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

May 1, 2015 Introduction to Non-Cooperative Bargaining Theory

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.…

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

May 8, 2015 Technologies and Markets: Why (and when) the Prices Lose Their (old) Meaning We begin to shift our attention from distributive considerations to production-consumption (supply-demand) considerations. I will cover the basics of supply-demand…

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

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

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…