CPORA Program
09:00-10:40 | Tuesday 11.09.2018 Chair: Paweł Sitek |
09:00-09:20 | Job-shop scheduling with machine breakdown prediction under completion time constraint. Authors: Łukasz Sobaszek, Arkadiusz Gola, Edward Kozłowski |
09:20-09:40 | Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS). Author: Wiktor Daszczuk |
09:40-10:00 | Generation of Synthetic Business Process Traces using Constraint Programming. Authors: Piotr Wiśniewski, Krzysztof Kluza, Antoni Ligęza, Anna Suchenia |
10:00-10:20 | Lecturers' competences configuration model for the timetabling problem. Author: Jarosław Wikarek |
10:20-10:40 | Visualization of logical formulas. Author: Radosław Klimek |