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

CADE-21 (PC Chair): 21st International Conference on Automated Deduction
Bremen, Germany, July 17-20 2007
Workshop July 15-16, 2007
LICS 2007 (PC Member): 22nd Symposium on Logic in Computer Science
Wroclaw, Poland, July 10-14, 2007
Submissions due January 15, 2007

Future

LICS 2008 (PC Chair): 23rd Symposium on Logic in Computer Science

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

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

LPAR 2006 (PC Member): 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Phnom Penh, Cambodia, Nov 13-17, 2006
ICFP 2005 (PC Member): International Conference on Functional Programming
Tallinn, Estonia, September 26-28, 2005
TPHOLs 2005 (PC Member): International Conference on Theorem Proving in Higher Order Logics
Oxford, England, Aug 22-25, 2005
CADE-20 (PC Member): 20th International Conference on Automated Deduction
Tallinn, Estonia, July 22-27, 2005
LICS 2005 (PC Member): Chicago, Illinois, June 25-July 1, 2005
RTA 2005 (PC Member): 16th International Conference on Rewriting Techniques and Applications
Nara, Japan, April 18-21, 2005
TPHOLs'04 (PC Member): International Conference on Theorem Proving in Higher Order Logics
Park City, Utah, September 14-17, 2004
PEPM'04 (PC Member): Symposium on Partial Evaluation and Program Manipulation
Verona, Italy, August 24-25, 2004
IJCAR'04 (PC Member): International Joint Conference on Automated Reasoning
Cork, Ireland, July 4-8, 2004
RTA'04 (PC Member): 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

FCS'05: Workshop on Foundations of Computer Security
Chicago, Illinois, Jun 30-Jul 1, 2005
Submission Deadline: Mar 18, 2005
LFM'04 (PC Member): Fourth International Workshop on Logical Frameworks and Meta-Languages
Cork, Ireland, July 5, 2004
ITRS'04 (PC Member): 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.

Frank Pfenning

Frank Pfenning Conferences

Frank Pfenning
Conferences