Colloquium Computer Science - Prof. S. Ghilezan (University of Novi Stad)
| When: | We 22-05-2019 16:00 - 17:00 |
| Where: | 5161.0267 (Bernoulliborg) |
Title: Types in logic, computation and concurrency - an overview
Abstract:In this talk, we present an overview of results obtained for type
systems of computational interpretations of intuitionistic and
classical logic with applications to programming languages. We further
present results obtained for type systems for concurrency and discuss
the role of types in security, access control and privacy issues in
these settings.