Frank Pfenning
Conferences

Current

VMCAI 2008 (PC Member)

9th International Conference on Verification, Model Checking, and Abstract Interpretation
San Francisco, California, January 7-9, 2008
Submissions due September 14, 2007

LICS 2008 (PC Chair)

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

Short abstracts due January 7, 2008
Extended abstracts due January 14, 2008
One week after originally published deadline

Call for Papers (PDF)
Submission Instructions Submission Site

Future

All Call for Papers are out (see current)

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

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

LICS 2007 (PC Member)

22nd Symposium on Logic in Computer Science
Wroclaw, Poland, July 10-14, 2007
Submissions due January 15, 2007

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.

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

Frank Pfenning