Conferences

No upcoming conferences found.

Past Conferences

14th International Conference on Computational Methods in Systems Biology

14th International Conference on Computational Methods in Systems Biology

<p>CMSB 2016 solicits original research articles on the analysis of biological systems, networks, data, and corresponding application domains. The conference brings together computer scientists, biologists, mathematicians, engineers, and physicists interested in a system-level understanding of biological processes.<br /><br />Topics of interest include, but are not limited to:</p> <ul> <li><span>formalisms for modelling biological processes,</span></li> <li><span>models and their biological applications,</span></li> <li><span>frameworks for model verification, validation, analysis and </span><span>simulation of biological systems,</span></li> <li><span>high-performance computational systems biology and parallelimplementations,</span></li> <li><span>model inference from experimental data,</span></li> <li><span>model integration from biological databases,</span></li> <li><span>multi-scale modelling and analysis methods,</span></li> <li><span>methods for synthetic biology and biomolecular computing.</span></li> </ul> <p><br />PC co-Chairs: Ezio Bartocci (TU Wien, Austria), Pietro Liò (Cambridge University, UK), Nicola Paoletti (Oxford University, UK)</p>

Date: 21. - 23. September 2016
Location: Computer Laboratory, University of Cambridge, UK
Website: http://www.cl.cam.ac.uk/events/cmsb2016/

1st Workshop on Monitoring and Testing of Cyber-Physical Systems

1st Workshop on Monitoring and Testing of Cyber-Physical Systems

<p><span>Cyber-physical systems (CPS) are integrations of heterogeneous </span><span>collaborative entities that interact between themselves and with their </span><span>physical environment. CPS exhibit complex and unpredictable behaviors, </span><span>thus making their correctness and robustness analysis a challenging </span><span>task. In order to address their full complexity, there is an emergent </span><span>need for formal, yet efficient and scalable methods for the </span><span>verification and analysis of CPS. Light-weight verification </span><span>techniques, such as monitoring and testing, achieve both rigour and </span><span>efficiency by enabling the evaluation of systems according to the </span><span>properties of their individual behaviours. The MT CPS workshop aims at </span><span>bringing together researchers and practitioners interested in the </span><span>problems of detecting, testing, measuring and extracting qualitative </span><span>and quantitative properties from CPS behaviors. Topics of interest </span><span>include (but are not limited to):</span></p> <ul> <li><span>Specification languages for monitoring and testing</span></li> <li><span>Runtime verification and monitoring</span></li> <li><span>Black-box and white-box testing</span></li> <li><span>Measuring and statistical information gathering</span></li> <li><span>Simulation-based verification and parameter synthesis</span></li> <li><span>Diagnostics, error localization and repair</span></li> <li><span>Combination of static and dynamic analysis</span></li> <li><span>Applications and case studies</span></li> </ul> <p><br /><span>PC co-Chairs: Radu Grosu (TU Wien, Austria),</span><br /><span>Oded Maler (VERIMAG, France),</span><br /><span>Dejan Nickovic (AIT Austrian Institute of Technology GmbH, Austria)</span></p>

Date: 11. - 11. April 2016
Location: Hofburg Palace, Vienna, Austria
Website: http://mtcps16.ait.ac.at/

7th International Workshop on Medical Cyber Physical Systems

7th International Workshop on Medical Cyber Physical Systems

<p>The Medical CPS workshop provides a forum for the presentation of research and development covering all aspects of High Confidence Medical Devices, Software, and Systems (HCMDSS), which is essential to support innovative, networked Medical Device (MD) systems to improve safety and efficiency in health care. The past five workshops have enjoyed a healthy participation of 35-40 attendees, and have provided a working forum for medical device specialists, including researchers, developers, and caregivers, from clinical environments, industry, research laboratories, academia, and government with the goal of advancing science, technology, and practice to overcome crucial issues with medical devices, software, and systems and challenges facing the design, manufacture, certification, and use of medical devices. This workshop features medical device and clinical experts from all over the world.</p> <p>The topics to be covered in the workshop will range across all aspects of medical device software modeling and synthesis for safety, assurance, security and control, including but not limited to:</p> <p>High Confidence Medical Device Software Development &amp; Assurance: Component-based methodologies; design and implementation, verification, validation and testing; robustness and fault-tolerance; system integration and interoperability of heterogeneous systems; closed-loop control; systems of systems; requirements solicitation and capture; clinical data management, and data security</p> <p>Modeling &amp; Simulation of operational scenarios: modelling of failures in medical devices; caregivers, and patients behaviour modeling; high fidelity organ/patient models for design &amp; testing; Pharmacokinetic and Pharmacodynamic (PK-PD) models; machine learning models Embedded, Real-Time, Networked HCMDSS: Architecture, platform, middleware, resource management, QoS (Quality of Service) in HCMDSS, dynamic interoperation in HCMDSS, including MD PnP (Plug-and-Play) operation, distributed control</p> <p>Enabling Technologies for Future Medical Devices: telemedicine, biosensor technologies, implantable devices, energy harvesting and remote powering devices, medical ultrasound systems, robotic surgery, physiologic signal QoS (Quality of Service) Medical practice: User-centric design; use &amp; misuse of MD; risk understanding, and management of failures; medical guidelines and regulations</p> <p>Certification of HCMDSS and MD Interoperability: Regulatory fundamentals, laws, CE marking, FDA approval, pre-clinical testing, clinical evaluation, regulations applicability, incremental certification, role of design tools, approval of non-deterministic and self-adaptive MD systems</p> <p>PC co-Chairs: Ezio Bartocci (TU Wien, Austria), Martin Leucker (Leubeck University, Germany)</p>

Date: 11. - 11. April 2016
Location: Hofburg Palace, Vienna, Austria
Website: http://workshop.medcps.org/

CPS-Week

CPS-Week

<p>CPS-Week is the premier event on cyber-physical systems in the world with major consequences for the American and European industries. It brings together five top conferences with more than 600 participants in total:</p> <ul> <li>HSCC: 19th ACM Hybrid Systems Computation and Control</li> <li>ICCPS: 7th ACM/IEE International Conference on Cyber-Physical Systems</li> <li>IPSN: 15th ACM/IEEE Int. Conference on Information processing in Sensor Networks</li> <li>HiCoNS: 5th IEEE Conference on High Confidence Networked Systems</li> <li>RTAS: 21st IEEE Real-Time and Embedded Technology and Applications Symposium</li> </ul> <div> </div> <p>CPS-Week also brings together 10-15 Workshops, the IBM Localisation competition, tutorials and various demonstrations and exhibitions from both industry and academia. Altogether the CPS-Week program covers a multitude of complementary aspects of CPS, and reunites the leading researchers in this dynamic field.</p>

Date: 10. - 14. April 2016
Location: Hofburg Imperial Palace, Vienna, Austria
Website: http://cpsweek2016.ocg.at/

Runtime Verification

Runtime Verification

<p class=" ">Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include:</p> <ul> <li><span>specification languages</span></li> <li><span>specification mining</span></li> <li><span>program instrumentation</span></li> <li><span>monitor construction techniques</span></li> <li><span>logging, recording, and replay</span></li> <li><span>fault detection, localization, containment, recovery and repair</span></li> <li><span>program steering and adaptation</span></li> <li><span>metrics and statistical information gathering</span></li> <li><span>combination of static and dynamic analyses</span></li> <li><span>program execution visualization</span></li> <li><span>monitoring techniques for safety/mission-critical systems</span></li> <li><span>monitoring distributed systems, cloud services, and big data applications</span></li> <li><span>monitoring security and privacy policies</span></li> </ul> <p class=" "> <br />Application areas of runtime verification include safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy.</p>

Date: 22. - 25. September 2015
Location: Vienna, Austria
Website: http://rv2015.conf.tuwien.ac.at/

SPIN 2013

SPIN 2013

SPIN 2013 is the latest in a successful series of meetings for practitioners and researchers interested in state space-based techniques for the validation and analysis of software systems.

Date: 08. - 09. July 2013
Location: Stony Brook, NY, USA
Website: http://spin2013.cs.sunysb.edu/

WISES 08

WISES 08

WISES 2008 is a platform for presentation of innovative approaches that provide intelligent solutions in embedded systems. The objective of this workshop is to present mature approaches and to provide a forum for the exchange and discussion of ideas, and thus, the sharing of experiences among researchers, practitioners, and application developers both from industry and academia. Original papers addressing both theoretical and practical aspects of embedded systems are solicited. Papers describing prototype implementations and deployments of embedded systems are particularly welcome. In order to provide young researchers a forum to exchange their ideas WISES 2008 will include a special session for PhD-Students.

Date: 10. - 11. July 2008
Location: Regensburg, Germany
Website: http://fbim.fh-regensburg.de/%7Ewises08/

TuZ 08

TuZ 08

Der Workshop „Testmethoden und Zuverlässigkeit von Schaltungen und Systemen“ ist das bedeutendste deutschsprachige Forum, um Trends, Ergebnisse und aktuelle Probleme auf dem Gebiet des Tests und der Zuverlässigkeit digitaler, analoger, Mixed-Signal- und HF-Schaltungen zu diskutieren. Der Austausch von Ideen ist ein wichtiges Anliegen des Workshops. Erwünscht sind Beiträge aus der industriellen Praxis und von Forschungseinrichtungen. Sowohl sehr stark praxisbezogene Erfahrungsberichte und Ergebnisse als auch theoretische Beiträge sind willkommen.

Date: 24. - 26. February 2008
Location: Vienna, Austria
Website: http://tuz08.ecs.tuwien.ac.at

JTRES 07

JTRES 07

There is an increasingly growing interest in real-time Java in both the research community and the industry, because of its challenges and its potential impact on the development of embedded and real-time applications. The goal of the proposed workshop is to gather researchers working on real-time and embedded Java to identify the challenging problem that still need to be properly solved in order to assure the success of the of real-time Java as a technology, and to report results and experience gained by researchers.

Date: 26. - 28. September 2007
Location: Vienna, Austria
Website: http://www.vmars.tuwien.ac.at/jtres2007/

ICDSC 07

ICDSC 07

The conference aims to provide an opportunity for researchers investigating the areas of smart camera architectures, algorithm design, embedded vision-based processing, and smart environments to exchange their most recent results. Offering insight into the potentials and challenges of distributed vision networks and an outlook of research opportunities ahead are also the objectives of the conference. Presentations accompanied by demonstrations and contributions based on industrial applications are also of interest.

Date: 25. - 28. September 2007
Location: Vienna, Austria
Website: http://www.icdsc.org/

WISES 07

WISES 07

WISES 2007 is a platform to present innovative approaches that provide intelligent solutions in embedded systems. The objective of this workshop is to present mature approaches and to provide a forum to exchange and discuss ideas, and, thus, to share experiences among researchers, professionals, and application developers both from industry and academia. Original papers addressing both theoretical and practical aspects of embedded systems are solicited. Papers describing prototype implementations and deployment of embedded systems are particularly welcome. Manuscript Submission Deadline is March 1, 2007.

Date: 21. - 22. June 2007
Location: Madrin, Spain
Website: http://www.enti.it.uc3m.es/wises07/

Workshop on Basic Concepts in Mobile Embedded Systems

Workshop on Basic Concepts in Mobile Embedded Systems

This workshop will bring together experienced researchers from the field of real-time systems, dependable systems, modelling and component design in order to establish a conceptual model fitting mobile systems as well as complex flexible wire-bound systems. Topics of interest include, but are not limited to: Naming, Addressing, Routing, Security/Trust, Real-Time Aspects, Location Awareness, Sensor Networks, and Configuration

Date: 19. - 20. June 2006
Location: Baden, Austria
Website: http://www.artist-embedded.org/FP6/ARTIST2Events/Events/MobileEmbedded/