{"id":26,"date":"2025-01-20T12:15:20","date_gmt":"2025-01-20T12:15:20","guid":{"rendered":"http:\/\/smcps.uvt.ro\/?page_id=26"},"modified":"2025-01-20T12:15:20","modified_gmt":"2025-01-20T12:15:20","slug":"program","status":"publish","type":"page","link":"http:\/\/smcps.uvt.ro\/?page_id=26","title":{"rendered":"Program"},"content":{"rendered":"

<\/p>\n

\n

Workshop Program<\/h2>\n
\n

July 11, 2024<\/h3>\n\n\n\n\n\n\n\n\n\n
Time<\/th>\nSpeaker<\/th>\nAffiliation<\/th>\nTitle<\/th>\n<\/tr>\n
09:00 – 09:30<\/td>\nBesik Dundua<\/td>\nKutaisi International University, Georgia<\/td>\nFirst-Order Safety Properties<\/strong><\/td>\n<\/tr>\n
09:30 – 10:00<\/td>\nPeter Csaba \u00d6lveczky<\/td>\nUniversity of Oslo, Norway<\/td>\nValidation of Cloud Storage Systems using Rewriting Logic<\/strong><\/td>\n<\/tr>\n
10:00 – 10:30<\/td>\nIsabela Isabela Dr\u0103mnesc<\/td>\nWest University of Timisoara, Romania<\/td>\nTechniques for Algorithm Verification and Synthesis in Theorema<\/strong><\/td>\n<\/tr>\n
10:30 – 11:00<\/td>\nCoffee Break<\/td>\n<\/tr>\n
11:00 – 11:30<\/td>\nMircea Marin<\/td>\nWest University of Timisoara, Romania<\/td>\nVerification of Safety Properties of ABAC models with rhoLog<\/strong><\/td>\n<\/tr>\n
11:30 – 12:00<\/td>\nMario Reja<\/td>\nWest University of Timisoara, Romania<\/td>\nIntroduction to Cyber Physical Systems<\/strong><\/td>\n<\/tr>\n
12:00 – 12:30<\/td>\nMikheil Rukhaia<\/td>\nTbilisi State University, Georgia<\/td>\nAbout Verification Techniques of Cyber Physical Systems<\/strong><\/td>\n<\/tr>\n<\/table><\/div>\n<\/div>\n