Description: The course will cover a number of essential topics in theoretical computer science from a mathematical and logical perspective. We will discuss about classic logics and modal logics from a model theoretical perspective; about process algebras and bisimulation; about algebras and coalgebras in general and their connection to behavioural theories; about probabilistic and stochastic systems with their measure theoretical and topological foundations.

The aim of the course is to provide the students with the mathematical and logical prerequisite for approaching research topics in theoretical computer science.

Organizer: Assoc Prof. Radu Mardare,

Lecturers: Assoc Prof. Radu Mardare, AAU

ECTS: 2.5

Time: 14-18, December 2015, between 13:00-15:00

Place: Aalborg University, Cassiopeia, Selma Lagerlöfs Vej 300, room 0.2.11

Zip code: 9220

City: Aalborg
Number of seats: 15

Deadline: 1 December, 2015