Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Link opens in a new tab
Dansk
English
Search content at IT-University of Copenhagen
Home
Organisation
Researchers
Projects
Publications
Datasets
Courses
Press/Media
Activities
Prizes
Arthur Djevahirdjian
Bruni, A.
(Host)
Theoretical Computer Science
Programming Logic and Semantics
Center for Information Security and Trust
MSc in Computer Science
Activity
:
Hosting a visitor types
›
Hosting an academic visitor
Description
Research visit, formalization of Bochner integral
Period
27 Apr 2026
→
17 Jul 2026
Visiting from
École normale supériore de Lyon (France)
Visitor degree
MCs