Graphs as Models is a satellite workshop of ETAPS 2015 - held at Queen Mary University of London in the Mile End campus. Graphs are used as models in all areas of computer science: examples are state space graphs, control flow graphs, syntax graphs…

Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems 
at ETAPS 2015

The eighteenth edition, ETAPS 2015, will take place in London, UK. The venue will be Queen Mary University of London in the Mile End campus. The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for…

The IEEE(*) International Conference on Autonomous Robot Systems and Competitions gathers participants from academia and industry working in the field of autonomous robotics and related areas. It is organized within the 15th Portuguese Robotics Open, a…

April 3, 2015 From Arrow and Nash to Non-Coasian Worldview

Beyond Today's Internet: Experiencing a Smart Future! Join US Ignite and GENI March 24-25 in Washington, DC to experience the future of the Internet and the next-generation applications it enables. US Ignite and GENI, with the help of our partners at the…

28th GI/ITG International Conference on Architecture of Computing Systems The ARCS series of conferences has over 30 years of tradition reporting high quality results in computer architecture and operating systems research. The focus of the 2015…

Second International Workshop on Multi-Objective Many-Core Design (MOMAC)  in conjunction with International Conference on Architecture of Computing Systems (ARCS 2015) IMPORTANT DATES Paper submission deadline: December 1, 2014 Notification of…

Thirteenth IEEE International Conference on Pervasive Computing and Communications (IEEE PerCom 2015) http://www.percom.org St. Louis, Missouri, USA | March 23 - 27, 2015 Sponsored by: IEEE Computer Society (IEEE TCCC, IEEE TCPP) National…

The Theory of Cryptography deals with the paradigms, approaches and techniques used to conceptualize, define and provide solutions to natural cryptographic problems. Research in this area includes:

March 20, 2015 Coase Theorem and Beyond I will briefly summarize the takeaway from Lecture 1. I will outline research branches that originated from Arrow's Theorem, and talk of their potential in modeling CPS resilience. NOTE: Slides include material…

Telephone conference GE and Bosch

Conference on Systems Engineering Research (CSER 2015) STEVENS INSTITUTE OF TECHNOLOGY DATES Tuesday, March 17: SEANET Workshop (Systems Engineering & Architecting Doctoral Network for Research) This workshop is designed for current or soon-to-be…

IEEE 2015 International Conference on Industrial technology. ICIT 2015 ICIT 2015 is the annual International Conference on Industrial Technology, focusing on intelligent and computer control systems, robotics, factory communications and automation,…

The 56th Conference on Simulation and Modelling (SIMS 56) 7-9 October 2015 
“Modelling, Simulation and Optimization” In 2015, the 56th Conference on Simulation and Modelling will be held in Linköping, Sweden.