20032021
If you made any changes in Pure these will be visible here soon.

Activities 2001 2013

Filter
Membership of review committee

University of Southern Denmark (External organisation)

Peter Schneider-Kamp (Member)
7. Jul 20092012

Activity: MembershipMembership of review committee

Association for Automated Reasoning (External organisation)

Peter Schneider-Kamp (Member)
17. Jul 2007 → …

Activity: MembershipMembership of review committee

Association of Logic Programming (External organisation)

Peter Schneider-Kamp (Member)
16. Aug 2006 → …

Activity: MembershipMembership of review committee

Python Software Foundation (External organisation)

Peter Schneider-Kamp (Member)
6. Mar 2001 → …

Activity: MembershipMembership of review committee