D3S Seminar – Department Meeting

The D3S Seminar is a regular meeting event of the department members and guest speakers. It is also a regular course Advanced Topics in Distributed and Component-Based Systems I, II (NSWI057, NSWI058). This course is recommended for Ph.D. and advanced graduate students.

Regular meetings take place on Tuesdays at 14:00 in S9 and Wednesdays at 9:00 in S5 (if not noted otherwise in the schedule below).

We recommend subscribing to the seminar mailing list to receive announcements on special seminars, schedule updates and other important news.

Scheduled Seminars


2018-05-02 09:00 in S5: Python for Data Analysis

Iuliana Bocicor (Babeş-Bolyai University, Romania)

Artificial Intelligence and Machine Learning (ML) applications are ubiquitous and actively change so many aspects of our lives nowadays. One of the most used programming languages for machine learning applications is Python. Due to its simplicity and elegance, but mostly to its powerful numerical linear algebra and scientific computing libraries, Python is easy to use and thus many popular libraries that are widely used for ML tasks are written in Python. This talk describes how Python’s ML libraries can be employed for various ML tasks, with applications in medical data analysis and classification, as well as for studies and analyses on molecular biology data (DNA classification and protein dynamics).



2018-05-09 09:00 in S5: Smart Home in VDM

Natalia Cantavella Franch

abstract to be announced



2018-05-15 14:00 in S9: Generalizing Uncertainty Across Domains in Industrial Cyber-Physical Systems

Rima Al Ali

Cyber-physical systems (CPS) need to be designed to deal with various forms of uncertainty associated with data contributing to the system's knowledge of the environment. Dealing with uncertainty requires adopting an appropriate model which then allows making the right decisions and carrying out the right actions (possibly affecting the environment) based on imperfect information. However, choosing and incorporating a suitable model into CPS design is difficult, especially for non-experts, because it requires identifying the kind of uncertainty at hand as well as knowledge of suitable models and their applications. While inspiration can be found in other CPS designs, the details of dealing with uncertainty in another CPS can be confounded by domain-specific terminology, context, and requirements. To make this aspect of CPS design less daunting for non-experts, we aim at providing a generalized view of approaches dealing with uncertainty in the design of CPS targeting collective behavior. To this end, we present a systematic review of relevant projects and a synthesis of relations between system features, the kinds of uncertainty, and models and methods used to deal with it. The resulting model provides a generalized view of uncertainty across different domains and challenges.



2018-05-22 14:00 in S9: Performance Modelling of Smart Cyber-Physical Systems

Vladimír Matěna

abstract to be announced



2018-05-29 14:00 in S9: topic to be announced

Vlastimil Dort

abstract to be announced



2018-05-30 09:00 in S5: Data-Centric Computing

Martin Decky (Huawei Technologies)



2018-06-05 14:00 in S9: Performance Awareness in Agile Software Development

Vojtěch Horký

abstract to be announced



Past Seminars (one year back)

You can also view a verbose list of all past seminars.

Date Title Speaker(s) Details
2018-04-24 Abstractions and refinements in bounded model checking of software Martin Blicha
2018-04-18 Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems Dominik Škoda
2018-04-17 Recent developments in (multi)agent deep reinforcement learning Jiří Vinárek
2018-04-11 Timing and Availability Analysis of Mixed-Criticality Dependent Tasks with AADL Etienne Borde
(CNRS/Telecom ParisTech)
2018-04-10 Model Transformations and Management for Complex Systems Design with AADL and RAMSES Dominique Blouin
(Telecom ParisTech)
2018-03-28 Adaptive Dispatch: A Pattern for Performance-Aware Software Self-Adaptation (WOSP-C'18 rehearsal) Petr Kubát
2018-01-18 Database Programming – From Active Databases via NoSQL to Cloud Computing Oracle Researchers
2018-01-17 Hack into Your Compiler! Oracle Researchers
2018-01-16 Handling uncertainty in self-adaptive cyber-physical systems Rima Al Ali
2018-01-16 Parallel Distributed Processing of Big Data,Graphs - Parallel Graph AnalytiX (PGX) Oracle Researchers
2018-01-10 Index Checker Vlastimil Dort
2018-01-09 Adaptive Dispatch: A Pattern for Performance-Aware Software Self-Adaptation Petr Kubát
2017-12-13 Programming robot swarms in Buzz language Jiří Vinárek
2017-12-06 Situational Aware (SiA) Cyber-physical systems (CPS) Dominik Škoda
2017-11-29 Sampling Invariants from Frequency Distributions Grigory Fedyukovich
(University of Washington)
2017-11-28 An Ensemble-based Approach For Scalable QoS in Highly Dynamic CPS Vladimír Matěna
2017-11-14 Automated Repairing of Variability Models Paolo Arcaini
2017-11-07 Google On Campus! Ondřej Šerý
(Google)Daniel Marek
(Google)
2017-10-24 Dynatrace - monitoring large scale production environment Alexander Scheran
(DynaTrace)Philipp Lengauer
(DynaTrace)
2017-10-17 Large scale complex, dynamic, and collaborative systems - present and future Vasilios Andrikopoulos
(University of Groningen)
2017-06-06 GPU System Calls Ján Veselý
(Rutgers University, USA)
2017-06-02 Satisfiability and Verification Modulo Non-Linear Arithmetic via Abstraction Refinement Alberto Griggio
(Fondazione Bruno Kessler, Italy)
2017-05-30 Checker Framework Vlastimil Dort
2017-05-16 Collective Adaptive Systems Use Cases in EU Projects Rima Al Ali
Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>d3s.mff.cuni.cz
  •  
  • How to find us?
Modified on 2016-05-04