Past Events
Upcoming Events
Past Events
  • ICIT 2015
    Mar 17, 2015 2:00 AM - Mar 19, 2015 11:00 AM
    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,…
  • CSER 2015
    Mar 17, 2015 7:00 AM - Mar 19, 2015 4:00 PM
    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…
  • Task 1.4: Industrial specifications and next steps
    Mar 17, 2015 10:00 AM - Mar 17, 2015 11:00 AM
    Telephone conference GE and Bosch
  • Economics and CPS Seminar mini-course: Coase Theorem and Beyond
    Mar 20, 2015 12:00 PM - Mar 20, 2015 1:00 PM
    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…
  • TCC 2015
    Mar 23, 2015 2:00 AM - Mar 25, 2015 11:00 AM
    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: The study of known paradigms (resp. approaches and…
  • IEEE PerCom 2015 - Call for Participation
    Mar 23, 2015 7:00 AM - Mar 27, 2015 4:00 PM
    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…
  • ARCS 2015
    Mar 24, 2015 3:00 AM - Mar 27, 2015 12:00 PM
    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…
  • MOMAC 2015
    Mar 24, 2015 3:00 AM - Mar 24, 2015 12:00 PM
    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…
  • SmartFuture 2015
    Mar 24, 2015 7:00 AM - Mar 25, 2015 4:00 PM
    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…
  • UnCoVerCPS Consortium Telephone Conference
    Mar 30, 2015 9:00 AM - Mar 30, 2015 10:00 AM
  • Economics and CPS Seminar mini-course: From Arrow and Nash to Non-Coasian Worldview
    Apr 3, 2015 5:30 PM - Apr 3, 2015 6:30 PM
    April 3, 2015 From Arrow and Nash to Non-Coasian Worldview I briefly introduce utility functions (from preferences), and then cover Nash cooperative bargaining solution. I will relate it with Arrow and Coase Theorems. Then, I will discuss Dixit and…
  • ICARSC 2015
    Apr 8, 2015 1:00 AM - Apr 10, 2015 10:15 AM
    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…
  • ETAPS 2015
    Apr 11, 2015 2:00 AM - Apr 18, 2015 11:45 AM
    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…
  • SynCoP 2015
    Apr 11, 2015 7:00 AM - Apr 11, 2015 4:00 PM
    2nd International Workshop on Synthesis of Complex Parameters Aim SynCoP aims at bringing together researchers working on verification and parameter synthesis for systems with discrete or continuous parameters, in which the parameters influence the…
  • GaM 2105
    Apr 11, 2015 7:00 AM - Apr 12, 2015 4:00 PM
    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…
  • QAPL 2015
    Apr 11, 2015 7:00 AM - Apr 12, 2015 4:30 PM
    Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems 
at ETAPS 2015 Quantitative aspects of computation are important and sometimes essential in characterising the behavior and determining the properties of…