2015

event

Visible to the public  FMSEET 2015
Jun 23, 2015 8:00 am - 5:00 pm CEST

The 1st Formal Methods in Software Engineering Education and Training Workshop (FMSEET 2015)

Co-Located with FM 2015

Endorsed by the European Association of Software Science and Technology (http://www.easst.org) and Supported by LERO, ERCIM and the Alpen-Adria Universitaet Klagenfurt

event

Visible to the public  ASAIT’15
Aug 26, 2015 8:00 am - Aug 28, 2015 5:00 pm EDT

Special Session on: Architectures & Systems for Automotive and Intelligent Transportations (ASAIT'15)

In conjunction with : DSD'2015 18th Euromicro Conference on Digital System Design,

Scope

event

Visible to the public  ICFEM 2015
Nov 03, 2015 8:00 am - Nov 06, 2015 5:00 pm CET

ICFEM 2015 - 17th International Conference on Formal Engineering Methods CNAM

GENERAL INFORMATION

event

Visible to the public  Graduate Summer School: Games and Contracts for Cyber-Physical Security
Jul 07, 2015 9:00 am - Jul 23, 2015 4:30 pm CDT

This summer school will provide a rare opportunity for researchers in mathematics, computer science, engineering, and related sciences to learn about recent research directions and future challenges in this area. Funding is available to support graduate students and postdoctoral researchers in the early stages of their career, as well as more senior researchers interested in undertaking new research in this area. Encouraging the careers of women and minority mathematicians and scientists is an important component of IPAM's mission, and we welcome their applications.

event

Visible to the public  FroCoS 2015
Sep 21, 2015 8:00 am - Sep 24, 2015 5:00 pm CEST

10th International Symposium on Frontiers of Combining Systems (FroCoS 2015)

GENERAL INFORMATION

The 10th International Symposium on Frontiers of Combining Systems (FroCoS 2015) will be held in Wroclow, Poland, from September 21 to September 24, 2015. Its main goal is to disseminate and promote progress in research areas related to the development of techniques for the integration, combination, and modularization of formal systems together with their analysis.

event

Visible to the public  USE '15
Jun 23, 2015 8:00 am - 5:00 pm CEST

1st workshop on Usages of Symbolic Execution USE'15

co-localetd with FM'15

event

Visible to the public  ESLsyn 2015
Jun 10, 2015 8:00 am - Jun 11, 2015 5:00 pm EDT

The 2015 Electronic System Level Synthesis Conference (ESLsyn 2015)

(in conjunction with DAC)

General Chair: Jorn Janneck, Lund University, Sweden
Co-Chair: Achim Rettberg, Hella KGaA, Germany

The Electronic System Level Synthesis Conference focuses on automated system design methods that enable efficient modelling, synthesis, exploration and verification of systems from high-level specifications down to lower level implementations.

event

Visible to the public  SENSEAPP 2015
Oct 26, 2015 8:00 am - Oct 29, 2015 5:00 pm EDT

TENTH IEEE INTERNATIONAL WORKSHOP ON PRACTICAL ISSUES IN BUILDING SENSOR NETWORK APPLICATIONS

(in conjunction with IEEE LCN 2015)

http://www.senseapp.org

event

Visible to the public  ECSA 2015
Sep 08, 2015 8:00 am - Sep 11, 2015 5:00 pm CEST

9th European Conference on Software Architecture

SCOPE

The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative and significant findings and experiences in the field of software architecture research and practice. The conference will feature a research track, an industrial track, an education and training track, keynotes, workshops, tutorials, tool and demonstrations, and panels.