Frank Pfenning
Professional Organizations

ACM Fellows Committee

Member, 2022-present

ACM SIGLOG (ACM Special Interest Group on Logic and Computation)

Chair, 2019-2022
LICS Steering Committee, 2018-2023
LICS Organizing Committee, 2008-2010

ACM SIGPLAN (ACM Special Interest Group on Programming Languages)

Member

ETAPS (European Joint Conferences on Theory and Practice of Software)

FoSSaCS Steering Committee, 2014-2019
ETAPS Steering Committee, 2012-2014

CRA (Computing Research Association)

CRA Committee on Best Practices for Hiring, Promotion and Scholarship, 2013-2014; Memo
CRA Congressional Fly-In, September 2013
CRA Leadership in Science Policy Institute, April 2013

CADE (Conference on Automated Deduction)

Ex-officio trustee, 2006-2007
Two-term elected trustee, 1998-2001 and 2001-2004
Vice president, 1999-2003
President, 2003-2004

GPCE (Generative Programming and Component Engineering)

Steering Committee, 2003-2007

PPDP (Principles and Practice of Declarative Programming)

Steering Committee, 2000-2004

Association for Automated Reasoning

Member

Associating for Symbolic Logic

Member

[ Home | Contact | Research | Publications | CV | Students ]
[ Projects | Courses | Conferences | Organizations | Journals ]