Announce your event here
3rd Workshop on Formal Integrated Development Environment (F-IDE 2016)
2016-11-08 to 2017-11-08
Limassol, Cyprus

High levels of safety, security and also privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application in order to ease the justification of design choices and the review of code and proofs.

Ideally, an F-IDE dedicated to such developments should comply with several requirements. The first one is to associate a logical theory with a programming language. The second one is to offer a language/environment simple enough to be usable by most developers. The third one is to offer automated management of application documentation. It may also be expected that developments done with such an F-IDE are reusable and modular.

A satellite workshop of FM2016, the F-IDE workshop is opened to contributions on all aspects of a system development process, including specification, design, implementation, analysis and documentation. It should allow the presentation of tools, methods, techniques and experiments. link

10th Workshop on Biomedical and Bioinformatics Challenges for Computer Science
2017-06-12 to 2017-06-14
Zurich, Switzerland

The 10th Workshop on Biomedical and Bioinformatics Challenges for Computer Science (BBC 2017) is in conjunction with ICCS 2017.

The aim of this workshop is to bring together computer science and life scientists to discuss emerging and future directions in topics related to key bioinformatics and computational biology techniques:

  1. Advanced computing architectures
  2. Data management and integration
  3. Data analysis and knowledge discovery
  4. Integration of quantitative/symbolic knowledge into executable biomedical “theories” or models. link

Quantified Self & Personal Informatics @HCII2017— Parallel Session at HCI International 2017
2017-07-09 to 2017-07-14
Vancouver, Canada
This Parallel Session @ HCII 2017 aims to bring together a multidisciplinary set of researchers and industry professionals interested in Quantified Self & Personal Informatics. The session is part of the conference’s thematic area Universal Access in Human-Computer Interaction. link