Lectio MAgistralis "Elements of concurrency theory, or: semantic basis for today's computer science"

Speaker
Prof. Davide Sangiorgi - Università di Bologna

Date
Jun 20, 2019 - Time: 11:00 Sala Verde

"In the first part of the talk I will discuss the origins of a few important concepts of concurrency theory that today are at the heart of Computer Science.
The second part of the talk will be more focused on reasoning techniques. Following on some concepts introduced in the first part I will discuss  coinduction.  
Coinduction is the dual of induction -- a pervasive tool in Computer Science and Mathematics for defining objects and proving properties on them.  Today coinduction
is widely used in Computer Science, but also in other fields, including Artificial Intelligence, Cognitive Science, Mathematics, Modal Logics, Philosophy, particularly
for reasoning about objects that may be potentially infinite  or circular.

 
Data pubblicazione
May 29, 2019

Contact person
Massimo Merro

ATTACHMENTS

Flyer