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:
mail List rss RSS Directions 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
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 (annap-AT-cs.ucy.ac.cy)
URL: https://www.cs.ucy.ac.cy/colloquium/index.php?speaker=cs.ucy.2014.aristizábal

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.

  Web: https://www.cs.ucy.ac.cy/colloquium/
  Mailing List: https://listserv.cs.ucy.ac.cy/mailman/listinfo/cs-colloquium
  RSS: https://www.cs.ucy.ac.cy/colloquium/rss.xml
  Calendar: https://www.cs.ucy.ac.cy/colloquium/schedule/cs.ucy.2014.aristizábal.ics

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