Frank Pfenning
Conferences

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

Current

none

Future

none

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'03 (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.

Program Committee Member

CSL 2013
22nd Annual Conference on Computer Science Logic
Torino, Italy, September 2013.
CONCUR 2013
24th International Conference on Concurrency Theory
Buenos Aires, Argentina, August 2013.
ICALP 2013
40th International Colloquium on Automata, Languages and Programming
Riga, Latvia, July 2013.
CSF 2013
26th Symposium on Computer Security Foundations
New Orleans, Louisiana, June 2013
CADE-24
24th International Conference on Automated Deduction
Lake Placid, New York, June 2013.
IJCAR 2012
6th International Joint Conference on Automated Reasoning
Manchester, UK, June 2012.
CADE-23
23th International Conference on Automated Deduction
Wroclaw, Poland, July 31-August 5, 2011
Abstracts due Feb 1, 2011
Papers due Feb 7, 2011
ICFP 2011
International Conference on Functional Programming
Tokyo, Japan, September 19-21, 2011
Abstracts due Mar 17, 2011
Papers due Mar 24, 2011
LFMTP 2011
6th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
Nijmegen, The Netherlands, August 27, 2011
Affiliated with ITP 2011, August 22-25, 2011
Abstract due May 16, 2011
Papers due May 23, 2011
LPAR-17
17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Yogyakarta, Indonesia, October 10-15, 2010
Abstracts due June 1, 2010
Papers due July 8, 2020
IJCAR 2010
International Joint Conference on Automated Reasoning
Edinburgh, Scotland, July 16-19, 2010
FLOPS 2010
10th International Symposium on Functional and Logic Programming
Sendai, Japan, April 19-21, 2010
COLA 2009
14th Portuguese Conference on Artificial Intelligence (EPIA 2009)
Track on Computational Logic with Applications
Aveiro, Portugal, October 12-15, 2009
TPHOLs 2009
22nd International Conference on Theorem Proving in Higher Order Logics
Munich, Germany, August 17-20, 2009
TLCA 2009
9th International Conference on Typed Lambda Calculi and Applications
Brasília, Brazil, July 1-3, 2009
POPL 2009
36th Annual Symposium on Principles of Programming Languages
Savannah, Georgia, USA, January 21-23, 2009
VMCAI 2008
9th International Conference on Verification, Model Checking, and Abstract Interpretation
San Francisco, California, January 7-9, 2008
LICS 2007
22nd Symposium on Logic in Computer Science
Wroclaw, Poland, July 10-14, 2007
LPAR 2006
13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Phnom Penh, Cambodia, Nov 13-17, 2006
ICFP 2005
International Conference on Functional Programming
Tallinn, Estonia, September 26-28, 2005
TPHOLs 2005
International Conference on Theorem Proving in Higher Order Logics
Oxford, England, Aug 22-25, 2005
CADE-20
20th International Conference on Automated Deduction
Tallinn, Estonia, July 22-27, 2005
LICS 2005
Chicago, Illinois, June 25-July 1, 2005
RTA 2005
16th International Conference on Rewriting Techniques and Applications
Nara, Japan, April 18-21, 2005
TPHOLs'04
International Conference on Theorem Proving in Higher Order Logics
Park City, Utah, September 14-17, 2004
PEPM'04
Symposium on Partial Evaluation and Program Manipulation
Verona, Italy, August 24-25, 2004
IJCAR'04
International Joint Conference on Automated Reasoning
Cork, Ireland, July 4-8, 2004
RTA'04
15th International Conference on Rewriting Techniques and Applications
Aachen, Germany, June 3-5, 2004
TPHOLs'03
International Conference on Theorem Proving in Higher Order Logics
Rome, Italy, September 9-12, 2003
LICS'03
Symposium on Logic in Computer Science
Ottawa, Canada, June 22-25, 2003
RTA'03
14th International Conference on Rewriting Techniques and Applications
Valencia, Spain, June 9-11, 2003
CADE-19
19th International Conference on Automated Deduction
Miami, Florida, July 29-August 2, 2003
MFPS XIX
Conference on Mathematical Foundations of Programming Semantics
Montreal, Canada, March 2003.
PPDP 2002
4th International Conference on Principles and Practice of Declarative Programming
Part of PLI'02, Pittsburgh, Pennsylvania, October 6-8, 2002.
TPHOLs 2002
15th International Conference on Theorem Proving in Higher Order Logics
Hampton, Virginia, August 20-23, 2002.
CSL 2002
Annual Conference of the European Association for Computer Science Logic
Edinburgh, Scotland, September 22-25, 2002.
CADE-18
18th International Conference on Automated Deduction
Part of FLoC'02 Copenhagen, Denmark, July 27-30, 2002.
FOSSACS 2002
Foundations of Software Science and Computation Structures,
Grenoble, France, April 6-14, 2002.
Member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS'2002)
LPAR 2001
8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Havana, Cuba, December 3-7, 2001
CSL 2001
Annual Conference of the European Association for Computer Science Logic
Paris, France, September 10-13, 2001
TPHOLs 2001
14th International Conference on Theorem Proving in Higher-Order Logics
Edinburgh, Scotland, September 3-6, 2001
LACL 2001
4th International Conference on Logical Aspects of Computational Linguistics
Le Croisic, France, June 27-29, 2001
IJCAR 2001 (Steering Committee and PC Member)
International Joint Conference on Automated Reasoning
Siena, Italy, June 18-23, 2001
LPAR 2000
7th International Conference on Logic for Programming and Automated Reasoning
Reunion Island, France, November 6-10, 2000
LICS 2000
15th Annual Symposium on Logic in Computer Science
Santa Barbara, California, June 26-29, 2000
ASIAN'99
Asian Computing Science Conference
Phuket, Thailand, December 1999.
LPAR'99
6th International Conference on Logic for Programming and Automated Reasoning
Tbilisi, Republic of Georgia, September 1999.
CADE-16
16th International Conference on Automated Deduction
Trento, Italy, June 1999.
TACS'97
International Symposium on Theoretical Aspects of Computer Software
Sendai, Japan, September 1997.
CADE-14
14th International Conference on Automated Deduction
Townsville, Australia, July 1997.
POPL'97
24th Annual Symposium on Principles of Programming Languages
Paris, France, January 1997.
LICS'96
11th Annual Symposium on Logic in Computer Science
New Brunswick, New Jersey, July 1996.
RTA'96
7th International Conference on Rewriting Techniques and Applications
New Brunswick, New Jersey, July 1996.
CADE-13
13th International Conference on Automated Deduction
New Brunswick, New Jersey, July 1996.
ALP'96
5th International Conference on Algebraic and Logic Programming
Aachen, Germany, September 1996.
AISMC-3
3rd International Conference on Artificial Intelligence and Symbolic Mathematical Computation
Steyr, Austria, September 1996.
DISCO'96
4th International Symposium on Design and Implementation of Symbolic Computation Systems
Karlsruhe, Germany, December 1996.
CCL'94
1st International Conference on Constraints in Computational Logic
Munich, Germany, September 1994.
LICS'94
9th Annual Symposium on Logic in Computer Science
Paris, France, July 1994.
ICLP'94
International Conference on Logic Programming
Genoa, Italy, June 1994.
CADE-12
12th International Conference on Automated Deduction
Nancy, France, June 1994.
POPL'93
20th Annual Symposium on Principles of Programming Languages
Charleston, South Carolina, January 1993.
MFPS IX
9th International Conference on the Mathematical Foundations of Programming Semantics
New Orleans, Louisiana, April 1993.
LPAR'93
4th International Conference on Logic Programming and Automated Reasoning
St. Petersburg, Russia, July 1993.
DISCO'93
3rd International Symposium on Design and Implementation of Symbolic Computation Systems
Gmunden, Austria, September 1993.
JICSLP'92
Joint International Conference and Symposium on Logic Programming
Washington, D.C., November 1992.
MFPS VII
7th International Conference on the Mathematical Foundations of Programming Semantics
Pittsburgh, Pennsylvania, March 1991.

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.
This is a 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

TGC 2013
8th International Symposium on Trustworthy Global Computing
Buenos Aires, Argentia, August 2013
WMM'10
5th ACM SIGPLAN Workshop on Mechanizing Metatheory
Baltimore, Maryland, September 25, 2010.
FCS'05
Workshop on Foundations of Computer Security
Chicago, Illinois, Jun 30-Jul 1, 2005
LFM'04
Fourth International Workshop on Logical Frameworks and Meta-Languages
Cork, Ireland, July 5, 2004
ITRS'04
Workshop on Intersection Types and Related Systems
Turku, Finland, July 13, 2004
IMLA'02
Intuitionistic Modal Logics and Applications
Copenhagen, Denmark, July 26, 2002.
This is a LICS-affiliated workshop as part of FLoC'02.
SAVE 2002
Specification, Analysis and Validation for Emerging Technologies
Copenhagen, Denmark, July 27, 2002.
This is a LICS-affiliated workshop as part of FLoC'02.
MERLIN'01
Workshop on Mechanized Reasoning about Languages with Variable Binding
Siena, Italy, June 18, 2001
WESTAPP'01
4th International Workshop on Explicit Substitutions:
Theory and Applications to Programs and Proofs
Co-located with RTA 2001, Utrecht, The Netherlands, May 22-24, 2001
Workshop on Type-Theoretic Languages: Proof Search and Semantics
in conjunction with CADE-17, Pittsburgh, Pennsylvania, June 2000.
Workshop on Induction
in conjunction with CADE-15, Lindau, Germany, June 1998.
Workshop of Proof Search in Type-Theoretic Languages
in conjunction with CADE-15, Lindau, Germany, June 1998.
Workshop on Proof Transformation and Presentation
Schloß Dagstuhl, Germany, April 1997.
Workshop on Proof Search in Type-Theoretic Languages
in conjunction with CADE-13, New Brunswick, New Jersey, July 1996.
Workshop on Proof Search in Type-Theoretic Languages
conjunction with CADE-12, Nancy, France, June 1994.
Ninth Workshop Logische Programmierung
Hagen, Germany, October 1993.
Workshop on Lambda Prolog
Philadelphia, Pennsylvania, July 1992.

[ Home | Contact | Research | Publications | CV | Students ]
[ Projects | Courses | Conferences | Organizations | Journals ]
[ Logical Frameworks | Pittsburgh Squash Racquets Assocation ]

Frank Pfenning