Algebraic topology and concurrency theory

Room 3.08 of DMat at UMinho | - | 14:30

MAP-PDMA

Thomas Kahl

CMAT - University of Minho

 

Abstract ::  It has been discovered relatively recently that concepts and methods from algebraic topology may be employed profitably in concurrency theory, the field of computer science that studies systems of simultaneously executing processes. A very expressive combinatorial-topological model of concurrency is given by higher-dimensional automata. In this talk, I will present a method to extract homological information from HDAs that is meaningful from a computer science point of view.

Seminar Room of DMat-UMinho (3.08), and via zoom at 

https://videoconf-colibri.zoom.us/j/92403741454?pwd=UE43T1c3M3g5Y3VoWlZENkMwaGcrUT09

Seminar for the Doctoral Program in Applied Mathematics (MAP-PDMA Seminar)

 

l