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-10-17 14:00 in S9: topic to be announced

Vasilios Andrikopoulos (University of Groningen)

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-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
2016-12-06 Abstract Interpretation of Programs with Strings Vlastimil Dort
2016-11-22 Partial Variable Assignment Interpolants Martin Blicha
2016-11-16 Overview of the RoboCup Rescue Simulation challenge Jiří Vinárek
2016-11-15 gRPC - A solution for RPCs by Google Jan Tattermusch
2016-11-09 Tutorial on performance evaluation experiments in managed environments Petr Tůma
2016-11-01 Tutorial on formal methods I. Jan Kofroň
2016-10-25 Automated ensemble formation based on high-level DSL description and domain data Filip Krijt
2016-10-19 Nagini: Verifying Python Programs in Viper Marco Eilers
(ETH Zürich)
2016-10-19 Viper - A Verification Infrastructure for Permission-based Reasoning Malte Schwerhoff
(ETH Zürich)
2016-10-05 News in Java Petr Hnětynka
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