CS Colloquium Series @ UCY
Department of Computer Science - University of Cyprus
The Department of Computer Science at the University of Cyprus holds research colloquiums and social hours approximately once weekly. All university students, faculty, and staff are invited to attend. Notifications about new and upcoming events are automatically disseminated to a variety of institutional lists.
If you don't receive these notifications, but want to get informed about upcoming colloquium announcements, you can do the following:
List
RSS
Directions
Colloquium Coordinator: Demetris Zeinalipour
Colloquium: Deriving Labels and Bisimilarity for Timed Concurrent Constraint Programming, Dr. Andrés Aristizábal (University of Wroclaw, Poland), Wednesday, November 5, 2014, 11:00-12:00 EET.
The Department of Computer Science at the University of Cyprus cordially invites you to the Colloquium entitled:
Deriving Labels and Bisimilarity for Timed Concurrent Constraint Programming
 |
Speaker: Dr. Andrés Aristizábal |
Abstract:
Timed concurrent constraint programming (tcc) is a well-established extension of Concurrent Constraint Programming (ccp), which allows agents to be constrained by time requirements. Bisimilarity is one of the central reasoning techniques in concurrency. The standard definition of bisimilarity, however, is nonexistent for tcc. By building upon recent foundational investigations, we introduce both labeled transition semantics as well as novel and adequate notions of bisimilarity for tcc.
Short Bio:
Andrés Aristizábal is currently an ABCDE ERCIM Fellow at the Institute of Computer Science at the University of Wroclaw in Poland. He earned his PhD in 2012, from the Laboratoire d'Informatique de l'Ecole Polytechnique (LIX) in Paris France under the supervision of Catuscia Palamidessi and Frank Valencia. In 2013 he was a Postdoctoral researcher and lecturer at the Javeriana University in Cali, Colombia. His research interests are within theoretical computer science and include process calculi and their applications to security, concurrency theory, formal methods, reactive systems and bisimulation, among others.
Sponsor: The CS Colloquium Series is supported by a generous donation from  |