CS&P Program
Current EEST (UTC+3) date and time:
09:00-11:00 EEST | Tuesday 06.09.2022 online. Chair: Nguyen, Hung Son JOIN HERE |
09:00-09:25 | Billy Naumann, Christine Jakobs and Matthias Werner, Formal analysis of timeliness in the RaSTA protocol |
09:25-09:50 | Łukasz Puławski, Improvement of design anti-pattern detection with spatio-temporal rules in the software development process |
09:50-10:10 | Pawel Batko and Marcin Kuta, Type System of Anemone Functional Language |
10:10-10:30 | Marcin Zimniak, Marta Burzańska, Piotr Wiśniewski and Bogdan Franczyk, Heuristic algorithm for periodic patterns discovery in a database workload reconstruction |