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
Affiliation: University of Wroclaw, Poland
Category: Colloquium
Location: Room 148, Faculty of Pure and Applied Sciences (FST-01), 1 University Avenue, 2109 Nicosia, Cyprus (directions)
Date: Wednesday, November 5, 2014
Time: 11:00-12:00 EET
Host: Anna Philippou (

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.

  Mailing List:

Sponsor: The CS Colloquium Series is supported by a generous donation from Microsoft