Skip to main navigation
Skip to search
Skip to main content
Research Explorer The University of Manchester Home
Home
Profiles
Research units
Research output
Projects
Impacts
Activities
Press/Media
Prizes
Equipment
Datasets
Student theses
Search by expertise, name or affiliation
Conference on Automated Deduction (CADE Inc) (External organisation)
Schmidt, R.
(Member)
Formal Methods
Activity
:
Membership
›
Membership of board
›
Research
Description
Elected Member of the Board of Trustees
Period
2016
→
2019
Held at
Conference on Automated Deduction (CADE Inc)
Degree of Recognition
International
X