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

 

Important dates

Technical sessions proposal submission: November 21, 2021
Paper submission (sharp / no extension): May 10, 2022
Position paper submission: June 7, 2022
Author notification: July 7, 2022
Registration and early payment will be open on: July 13, 2022
Final paper submission, registration: July 24, 2022
Discounted payment: July 26, 2022
Conference date: September 4-7, 2022

Strategic Partner

QED Software