Upcoming Workshops and Conferences

FORMATS 10 is the 8th International Conference on Formal Modelling and Analysis of Timed Systems.

The biennial ICT Event (formerly called the "IST Event") is the most important forum for discussing research and public policy in information and communication technologies at European level. The Event brings together researchers and innovators, policy and business decision-makers working in the field of digital technologies.

Non-functional software system properties such as maintainability, availability, reliability, performance, timeliness, safety, security and so on are recognized as at least important as functionality, and must be considered during software system design. This workshop discusses issues of integration of its estimation, evaluation in complete process of software engineering using Model Driven Engineering approach. Particularly, this year’s topic are Requirements Engineering and Legal Certification.

Computational modeling has become the norm in industry to remain competitive and be successful. As such, Model-Based Design of embedded software has enterprisewise implications and modeling is not limited to isolated uses by a single engineer or team. Instead, it has reached a proliferation much akin to large software design, with requirements for infrastructure support such as version control, configuration management, and automated processing.

The objective of this workshop is to bring together researchers and practitioners interested in model-based software engineering for real-time embedded systems. We are seeking contributions relating to this subject at different levels, from modelling languages and semantics to concrete application experiments, from model analysis techniques to model-based implementation and deployment. Given the criticality of the application domain, we particularly focus on model-based approaches yielding efficient and provably correct designs. Concerning models and languages, we welcome contributions presenting novel modelling approaches as well as contributions evaluating existing ones.

RoSym 2010 is an international workshop focused on model based engineering (MBE) for the development of robotics systems.

In Conjunction with MODELS 2010 Conference

Embedded Systems Week is an exciting event which brings together conferences, tutorials, and workshops centered on various aspects of embedded systems research and development. Three leading conferences in the area - CASES, CODES+ISSS, and EMSOFT - will take place at the same time and location, allowing attendees to benefit from a wide range of topics covered by these conferences and their associated tutorials and workshops.

The UML and formal methods communities have been working for a number of years to produce a practical (via UML) and rigorous (via formal methods) approach to software engineering.

UML is the de facto standard for modelling various aspects of software systems in both industry and academia, despite the inconvenience that its current specification is complex and its syntax imprecise. This third workshop will encourage new initiatives of building bridges between informal, semi-formal and formal notations.

Synchronous languages form a distinctive branch of Concurrency Theory. They are based on simple ideas of discrete logical time, explicit parallelism/concurrency and joint discrete reactions as operational behaviours. Their striking features is that such notions are provided to the plain designer him/herself, so that precise timing and time handling is seen as an integral part of functional design, not an extra-functional analysis and simulation afterthought addendum.

The EuroSys conference series brings together professionals from academia and industry. It has a strong focus on systems research and development: operating systems, data base systems, real-time systems and middleware for networked, distributed, parallel, or embedded computing systems. EuroSys has become a premier forum for discussing various issues of systems software research and development, including implications related to hardware and applications.