Announce your event here
8th Computer Science & Electronic Engineering Conference
2016-09-28 to 2016-09-30
University of Essex, UK
The Computer science and Electronic Engineering Conference is an ideal venue for researchers in the disciplines of Computer Science, Engineering, Mathematics, Physics and Finance to meet fellow researchers in their field. CEEC aims to create a forum in which the participants can work together, discuss, compare and debate different innovative ideas and solutions. Researchers are hereby invited to submit papers related to their current and recent research.

http://ceec.uk/external link

2016 8th International Conference on Education Technology and Computers (ICETC 2016)
2016-09-28 to 2016-09-30
Singapore
The objective of ICETC is to present the latest research and results of scientists (professors, doctoral students, and post-doc scientists) related to Education Technology and Computer topics. This conference provides opportunities for delegates from different areas to exchange new ideas, applications and experiences face to face, to establish business or research relations, and to find global partners for future collaboration. We hope that the conference results in significant contributions to the knowledge base in these scientific fields.

http://www.icetc.org/external link

1st IFAC/IFIP Workshop on Computers and Control (WOCO 2016)
2016-10-18 to 2016-10-20
Valencia, Spain

This is the first IFAC Workshop on Computer and Control following previous workshops organized by IFAC Technical Committee 3.3 as Workshops on Real-Time Programming (WRTP) and Algorithms and Architectures for Real-Time Control (AARTC) that were successfully organised during 30 editions.

The scope of the workshop is to bring together researchers and practitioners interested in control and computers to explore innovative ideas and experiences in the theory and technology of cyber-physical systems and embedded systems.

http://woco2016.upv.es/external link

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.

https://sites.google.com/site/fideworkshop2016/external link