Frank Pfenning
Professional Organizations

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

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

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

  • LICS Steering Committee, 2018-2021
  • LICS Organizing Committee, 2008-2010

ACM SIGPLAN (ACM Special Interest Group on Programming Languages)

  • Member

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 ]
[ Logical Frameworks | Pittsburgh Squash Racquets Assocation ]

Frank Pfenning