Submitted by Anonymous on Wed, 11/26/2014 - 3:53pm
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, UML-type models of all kinds, network layouts, social networks, dependency graphs, and so forth. Used to model a particular phenomenon or process, graphs are then typically analyzed to find out properties of the modelled subject, or transformed to construct other types of models.
Submitted by Anonymous on Thu, 11/20/2014 - 2:29pm
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 doctoral students, and consists of speakers and breakout sessions focused on performing doctoral research.
Wednesday, March 18 - Thursday, March 19: CSER Conference
Submitted by Anonymous on Tue, 11/18/2014 - 11:41am
MDH and Volvo CE announces a chair in Computer Science specializing in Vehicular Software and System Architecture. The position is co-funded by MDH, Volvo and KKS.
MDH hosts Sweden's largest research environment in Embedded Systems and we are now searching to strengthen our competence in software and system architecture. The professor will be a part of our dynamic and successful research environment with excellent possibilities to build a strong research group in cooperation with other local professors and national and international industry.
I introduce some ideas about policy and governance in sociotechnical systems, approaching these topics from a normative standpoint. I propose that the normative concepts can provide the elements of a new potential foundations for security. I describe how we can characterize a variety of security-relevant behaviors in normative terms touching upon the challenges of accountability and how accountability differs from, yet relates to, mechanisms for monitoring and sanctioning