Frank Pfenning
Professional Organizations
- Ex-officio trustee, 2006-2007
- Two-term elected 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 and
served until Fall 2007
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 and served until 2004
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; Chair 2007-present
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.
The Association for Symbolic Logic is an international
organization supporting research and critical studies in
logic. Its primary function is to provide an effective forum for
the presentation, publication, and critical discussion of
scholarly work in this area of inquiry.
[ Home
| Contact
| Research
| Publications
| CV
| Students
]
[ Projects
| Courses
| Conferences
| Organizations
| Journals
]
[ Logical Frameworks
| Pittsburgh Squash Racquets Assocation
]
Frank Pfenning
|