The formalization of system engineering models and approaches.
Annual Landin Semantics Seminar: Semantic Families for Cyber-Physical Systems By Prof. Jan Peleska | jointly organized by FME Europe and BCS-FACS Specialist Group Venue: BCS, First Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA Book online at: https://events.bcs.org/book/1673/
Amy Karns Submitted by Amy Karns on November 18th, 2015
Event
WRC2016
10th HiPEAC Workshop on Reconfigurable Computing (WRC'2016) The HiPEAC Workshop on Reconfigurable Computing (WRC) provides a forum for researchers active in domains within the reconfigurable computing area. Its main focus is on reconfigurable architectures, tools and algorithms that facilitate reconfigurable systems and applications tailored for reconfigurable platforms.
Submitted by Anonymous on November 18th, 2015
International Workshop on Model Based System Engineering and PLM (MBSE PLM 2015) Aims and scope This workshop caters to both practitioners and academics, providing a forum to exchange ideas and experiences on technology, methodology, applications, study cases, and practical experiences of MBSE and PLM. It aims at promoting MBSE and PLM in academia and industry.
Submitted by Anonymous on November 10th, 2015
Amy Karns Submitted by Amy Karns on November 10th, 2015
Event
IMCT 2016
INTERNATIONAL CONFERENCE ON MODEL TRANSFORMATION (ICMT) 2016 Co-located with Software Technologies: Applications and Foundations (STAF) 2016 July 4-8, 2016 in Vienna, Austria | http://www.model-transformation.org | http://is.ieis.tue.nl/research/ICMT16 Overview
Submitted by Anonymous on November 3rd, 2015
Event
STAF 2016
Software Technologies: Applications and Foundations (STAF 2016) Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. The participating conferences focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.  
Submitted by Anonymous on November 3rd, 2015
Event
ICGT 2016
9th International Conference on Graph Transformation (ICGT 2016) Graphs are used almost everywhere when representing or modelling structures and systems, not only in applied and theoretical computer science, but also in, e.g., natural and engineering sciences. Graph transformation and graph grammars are the fundamental modelling paradigms for describing, formalizing, and analyzing graphs that change over time when modelling, e.g., dynamic data structures, systems, or models.
Submitted by Anonymous on November 3rd, 2015
The Cyber-Physical Systems Virtual Organization (CPS-VO) was founded by NSF in 2010 to: (i) facilitate and foster interaction and exchanges among CPS PIs and their teams; (ii) enable sharing of artifacts and knowledge generated by the projects with the broader engineering and scientific communities; and (iii) facilitate and foster collaboration and information exchange between CPS researchers and industry. During the last five years, the CPS-VO has become the focal point of the CPS community in the US and it has played a significant role in catalyzing CPS research world-wide. The CPS-VO Portal serves as a central information repository and as a collaboration platform for the rapidly growing research community. It is the home to ~200 special interest groups, reaches ~10,000 members, and includes ~20,000 webpages and ~24,000 files capturing the first 8 years of CPS history (as of 1-Oct-2015). This proposal looks to envision how the CPS-VO will be transformed over the next few years into a resource which becomes a "destination for doing" rather than a repository and collaboration capability. In this proposal we address the next phase of development of the CPS-VO: (1) changing the Portal from being a passive information repository and collaboration platform to becoming an active resource as research tool for CPS, (2) serving as an integration platform for open source CPS tools and models emerging from the research community and (3) making the Portal an active resource for CPS education. Active Resources encapsulate the new capabilities of the CPS-VO. Research teams may contribute to Active Resources on three different levels: (a) end-to-end design and simulation tool chains and test beds including model repositories, tools and web-based user interfaces to access resources, (b) individual tools that can be integrated into design flows, and (c) models and code integrated into open repositories. The proposal will spur CPS community growth through conducting series of student competitions to be held in the first two years building on the unmanned air vehicle design studio from UPenn that will allow students and researchers to study the physical design, dynamics and control of quad rotors, a multi-model simulation system from Vanderbilt facilitating the virtual integration of embedded software for control, estimation, planning, and coordinated, dynamic flight of multiple micro air vehicles. In addition, the CPS VO will extend outreach to the community to identify new and emerging VO needs and provide enhanced user experience through redesign of the user facing portal and integration of new information management technologies.
Off
Vanderbilt University
University of Arizona
University of California, Los Angeles
University of Pennsylvania
-
National Science Foundation
Janos Sztipanovits Submitted by Janos Sztipanovits on October 21st, 2015
11th International Federated Conference on Distributed Computing Techniques The DisCoTec series of federated conferences is one of the major events sponsored by the International Federation for Information processing (IFIP). This year the main conferences, taking place in Heraklion, Crete, Greece on June 6-9, are:
Submitted by Anonymous on October 19th, 2015
18th IFIP International Conference on Coordination Models and Languages Scope
Submitted by Anonymous on October 19th, 2015
Subscribe to Modeling