- Seminars
- Lectio MAgistralis "Elements of concurrency theory, or: semantic basis for today's computer science"
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.
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