2016

3rd Workshop on Formal Integrated Development Environment (F-IDE2016)

A satellite workshop of FM2016

Formal Integrated Development Environment (F-IDE) is a workshop dedicated to formal tools for the rigorous specification, design, analysis, and documentation of a system.

IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

From the beginning of the computer age, people have sought easier ways to learn, express, and understand computational ideas. Whether this meant moving from punch cards to textual languages, or command lines to graphical UIs, the quest to make computation easier to express, manipulate, and understand by a broader group of people is an ongoing challenge.

ICES conference on Requirements and Verification

The increasing complexity of software systems in the era of Cyber-Physical Systems and Internet of Things makes verification a challenge as well as making sure that we have handled all the requirements.

The conference features distinguished speakers from industry and academia that will report on best practices and approaches to advance the state of the art.

2nd Workshop on Usages of constraint Solving and symbolic Execution

co-located with the 21th Int.

The Third International Workshop on Privacy and Security in HealthCare 2016 (PSCare16)

The Third International Workshop on Privacy and Security in HealthCare 2016 ( PSCare16 ) is an international forum dedicated to the advancement of the theory and practical implementation of Privacy and Security in HealthCare.