Skip to main navigation
Skip to search
Skip to main content
Research Explorer The University of Manchester Home
Search content at Research Explorer The University of Manchester
Home
Profiles
Research units
Research output
Projects
Impacts
Activities
Press/Media
Prizes
Equipment
Datasets
Student theses
Conference on Automated Deduction (CADE Inc) (External organisation)
Schmidt, R.
(Vice-chair)
Formal Methods
Activity
:
Membership
›
Membership of board
›
Research
Description
Elected member of the Board of trustees of CADE Inc, 2008-2015; Vice President 2011-2015.
Period
2008
→
2015
Held at
Conference on Automated Deduction (CADE Inc)
X