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 S5 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-11-21 09:00 in S5: Decomposing Farkas Interpolants

Martin Blicha

Interpolant is a formula that for an unsatisfiable pair of formulas A and B is implied by A and unsatisfiable with B that uses only common vocabulary of A and B. Interpolants are commonly used in model checking algorithms for over-approximation of reachable states in order to obtain candidates for inductive invariants of modelled system. If the modelling language is linear real arithmetic, interpolants can be efficiently computed from a Simplex-based refutation by applying Farkas’ lemma. However, Farkas interpolants are not always suitable for a given verification task, in some cases even causing the verification algorithm to run indefinitely. We present the notion of decomposed interpolants, a fundamental extension of the Farkas interpolants obtained by identifying and separating independent components from the interpolant structure using methods from linear algebra. We implemented our interpolation algorithm in SMT solver OpenSMT and integrated it in a model checker SALLY. We then evaluated the effect of our new algorithm on a variety of benchmarks and confirmed its usefulness.



2018-11-27 14:00 in S5: topic to be announced

Dominik Škoda

abstract to be announced



2018-12-04 14:00 in S5: topic to be announced

Filip Kliber

abstract to be announced



2018-12-11 14:00 in S5: topic to be announced

Jiří Vinárek

abstract to be announced



2019-01-08 14:00 in S5: Navigation of Units in Video Games Using Flow Networks

Jan Pacovský

abstract to be announced



2019-01-15 14:00 in S5: topic to be announced

Rima Al-Ali

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-10-16 Effective and User-friendly Specification of Multi-Robot Missions Patrizio Pelliccione
2018-06-20 Networking real-time multiplayer games Filip Krijt
2018-06-05 Performance Awareness in Agile Software Development (defence rehearsal) Vojtěch Horký
2018-05-30 Data-Centric Computing Martin Děcký
(Huawei Technologies)
2018-05-29 Simplicitly: Foundations and Applications of Implicit Function Types Vlastimil Dort
2018-05-23 Frightening small children and disconcerting grown-ups: Concurrency in the Linux kernel Andrea Parri
2018-05-22 Performance Modelling of Smart Cyber-Physical Systems Vladimír Matěna
2018-05-15 Generalizing Uncertainty Across Domains in Industrial Cyber-Physical Systems Rima Al Ali
2018-05-09 Smart Home in VDM Natalia Cantavella Franch
(Erasmus student)
2018-05-02 Python for Data Analysis Iuliana Bocicor
(Babeş-Bolyai University, Romania)
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
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