Frank Pfenning
Professional Organizations
- Two-Term Trustee, 1998-2001 and 2001-2004
- Vice president, 1999-2003
- President, 2003-2004
CADE, Inc. is the governing body of the annual Conference on
Automated Deduction.
- Joined steering committee as program co-chair for GPCE 2003
GPCE is a conference promoting the application and innovation of
foundational techniques for supporting automatic program generation.
- Joined steering committee for a 4-year term as conference co-chair for PPDP 2000
The steering committee organizes the annual Conference on
Principles and Practice of Declarative Programming, which
constitutes the union of two former conferences: Programming
Languages, Implementations, Logics and Programs (PLILP) and
Algebraic and Logic Programming (ALP).
- Scientific Advisory Board (Fachbeirat) Member, 2001-2006
The Max-Planck Institute für Informatik in Saarbrücken, Germany, conducts
basic research in computer science. It is supported by the
Max-Planck-Gesellschaft.
SIGPLAN is a Special Interest Group of ACM that focuses on Programming
Languages. In particular, SIGPLAN explores programming language concepts
and tools, focusing on design, implementation and efficient use.
The Association for Automated Reasoning (AAR) is a not-for-profit
corporation intended for educational and scientific purposes. The objective of
AAR is to advance the field of automated reasoning by disseminating and
exchanging information among its international members on such topics as
automated reasoning, automated theorem proving, logic programming, and expert
systems.
[ Home
| Contact
| Research
| Publications
| CV
| Students
]
[ Projects
| Courses
| Conferences
| Organizations
| Journals
]
[ Logical Frameworks
| Pittsburgh Squash Racquets Assocation
]
Frank Pfenning
|