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


2017-12-13 09:00 in S5: Programming robot swarms in Buzz language

Jiří Vinárek

One of the problems in programming of swarm robotic systems is a lack of programming


2018-01-09 14:00 in S9: topic to be announced

Petr Kubát

abstract to be announced


2018-01-10 09:00 in S5: topic to be announced

Vlastimil Dort

abstract to be announced


2018-01-16 14:00 in S9: 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
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
2017-04-25 Efficient Search for Concurrency Errors and Debugging Pavel Parízek
2017-04-11 Communication in intelligent ensembles Vladimír Matěna
2017-04-05 Scalable Constraint Solving Antti Hyvärinen
(USI Lugano)
2017-03-14 Context-sensitive XSS Antonín Steinhauser
2017-03-01 MutRex: a mutation-based generator of fault detecting strings for regular expressions Paolo Arcaini
2017-02-22 Tutorial on formal methods II. Jan Kofroň
2017-01-10 Tutorial on performance evaluation: comparing alternatives Vojtěch Horký
2016-12-21 Property-directed Symbolic Model Checking of Safety Properties Jakub Daniel
2016-12-14 Atos training course Steffen Becker
(TU Chemnitz)
2016-12-13 Time Series Analysis to Architecture Modes in Smart Cyber Physical Systems 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