Skip to main navigation
Skip to search
Skip to main content
Roskilde University Research Portal Home
Dansk
English
Home
Profiles
Research units
Research output
Projects
Activities
Press/Media
Datasets
Prizes
Search by expertise, name or affiliation
9th International Joint Conference on Automated Reasoning (Event)
Braüner, T.
(Member)
Programming, Logic and Intelligent Systems
Department of People and Technology
Activity
:
Membership
›
Membership in committee, council, board
Description
Member of program committee
Period
14 Jul 2018
→
17 Jul 2018
Event title
9th International Joint Conference on Automated Reasoning
Event type
Conference
X