Frank Pfenning
Conferences

Contents	Current Conference Chair \| Program Chair \| Program Committee Member \| Organizing Comittee Member Workshop Chair \| Workshop Committee Member
Elsewhere	Professional Organizations

Current

TABLEAUX 2023: 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods,
Prague, Czech Republic, September 18-21, 2023.
CSF 2024: 37th Computer Security Foundations Symposium,
Enschede, The Netherlands, July 8-12, 2024.
ESOP 2024: 33rd European Symposium on Programming,
Luxembourg City, Luxembourg, April 6-11, 2024.

Conference Chair

PPDP 2002: 4th International Conference on Principles and Practice of Declarative Programming
Part of PLI'02, Pittsburgh, Pennsylvania, October 6-8, 2002.
CADE-17: 17th International Conference on Automated Deduction
Pittsburgh, Pennsylvania, June 17-20, 2000

Program Chair

FoSSaCS 2013: 16th International Conference on Foundations of Software Science and Computation Structures
Rome, Italy, March 2013
LICS 2008: 23rd Annual Symposium on Logic in Computer Science
Pittsburgh, Pennsylvania, June 24-27, 2008
Workshops June 22-23, 2008
Colocated with CSF 2008, June 23-25, 2008
CADE-21: 21st International Conference on Automated Deduction
Bremen, Germany, July 17-20 2007
Workshops July 15-16, 2007
RTA 2006 (PC Chair): 17th International Conference on Rewriting Techniques and Applications
Seattle, Washington, August 12-15, 2006
Part of FLoC'06
GPCE 2003 (PC Co-Chair with Yannis Smaragdakis): International Conference on Generative Programming and Component Engineering
Erfurt, Germany, September 22-25, 2003
PPDP 2000 (PC Co-Chair with Maurizio Gabbrielli): 2nd International Conference on Principles and Practice of Declarative Programming
Montreal, Canada, September 20-22, 2000
LPAR'94: 5th International Conference on Logic Programming and Automated Reasoning,
Kiev, Ukraine, July 1994.

ESOP'24,CSF'24,TABLEAUX'23, TABLEAUX'21, POPL'21, IJCAR'20, ICFP'19, FSCD'19, LPAR'18, IJCAR'18, CSL'17, LPAR'17, POPL'17 (ERC), POPL'16, POPL'15 (ERC), LICS'15, CSL'13, CONCUR'13, ICALP'13, CSF'13, CADE'13, IJCAR'12, ICFP'11, CADE'11, LPAR'10, IJCAR'10, FLOPS'10, EPIA'09, TPHOLs'09, TLCA'09, POPL'09, VMCAI'08, LICS'07, LPAR'06, ICFP'05, TPHOLs'05, CADE'05, LICS'05, RTA'05, PEPM'04, TPHOLs'04, RTA'04, IJCAR'04, TPHOLs'03, CADE'03, LICS'03, RTA'03, MFPS'03, TPHOLs'02, CADE'02, CSL'02, LPAR'01, CSL'01, TPHOLs'01, LACL'01, IJCAR'01, LPAR'00, LICS'00, ASIAN'99, LPAR'99, CADE'99, TACS'97, CADE'97, POPL'97, LICS'96, RTA'96, CADE'96,, ALP'96, AIMSC'96, DISCO'96, CCL'94, LICS'94, ICLP'94, CADE'94, POPL'93, MFPS'93, LPAR'93, DISCO'93, JICSLP'92, MFPS'91

Organizing Committee Member

CADE-20 (Workshop Chair): 20th International Conference on Automated Deduction, Tallinn, Estonia, July 2005.
PLI 2002 (Organizing Committee): Principles, Logics, and Implementations of High-Level Programming Languages,
consisting of ICFP'02, PPDP'02, GPCE'02 and affiliated workshops.
Pittsburgh, Pennsylvania, October 3-8, 2002.

Workshop Chair

IMLA'05: Intuitionistic Modal Logics and Applications
Chicago, Illinois, June 30, 2005.
LICS-affiliated workshop as part of LICS 2005
LFM'02: Logical Frameworks and Meta-Languages
Copenhagen, Denmark, July 26, 2002.
This is a LICS-affiliated workshop as part of FLoC'02.
Strategies in Automated Deduction: (with Bernhard Gramlich and Hélène Kirchner)
in conjunction with the 16th International Conference on Automated Deduction,
Trento, Italy, July 1999.
Strategies in Automated Deduction: (with Bernhard Gramlich and Hélène Kirchner)
in conjunction with the 15th International Conference on Automated Deduction,
Lindau, Germany, June 1998.
Proofs and Types: in conjunction with the Joint International Conference and Symposium on Logic Programming,
Washington, D.C., November 1992.
Types in Logic Programming: in conjunction with the North American Conference on Logic Programming
Cleveland, Ohio, October 1989.
Metalanguage and Tools for Formalizing Deductive Theories: Carnegie Mellon University, Pittsburgh, Pennsylvania, November 1987.

Workshop Committee Member

ST30 (2023), TEASE'20, HLPP'20, PEPM'19, PEPM'18, TGC'13, LFMTP'12, LFMTP'11 WMM'10, FCS'05, LFM'04, ITRS'04, IMLA'02, SAVE'02, MERLIN'01, WESTAPP'01, PSTT'00, INDUCT'98, PSTT'98, PTP'97, PSTT'94

Frank Pfenning

Frank Pfenning Conferences