Conference on Automated Deduction (CADE Inc) (External organisation)

Activity: MembershipMembership of boardResearch

Description

Elected member of the Board of trustees of CADE Inc, 2008-2015; Vice President 2011-2015.
Period20082015
Held atConference on Automated Deduction (CADE Inc)