Frank Pfenning
Professional Organizations

CRA (Computing Research Association)

  • CRA Committee on Best Practices for Hiring, Promotion and Scholarship, Fall 2013-present
  • CRA Congressional Fly-In, Septembe 2013
  • CRA Leadership in Science Policy Institute, April 2013

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

  • Steering Committee, 2012-present

LICS (Logic in Computer Science)

  • Organizing Committee, 2008-2010

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

Max-Planck-Institut für Informatik

  • Scientific Advisory Board (Fachbeirat) Member, 2001-2006; Chair 2007-2012

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.

ACM SIGPLAN

  • Senior Member

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