|
Frank Pfenning
Conferences
-
TABLEAUX 2021
-
30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Birmingham, UK (hybrid?), September 6-9, 2021
Paper submission deadline: April 19, 2021 (abstracts); April 26, 2021 (papers)
-
CADE 2021
-
28th International Conference on Automated Deduction
Pittsburgh, Pennsylvania, USA (virtual), July 11-16, 2021
Paper submission deadline: February 15, 2021 (abstracts); February 22, 2021 (papers)
-
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
-
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.
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
-
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.
-
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.
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
[ Home
| Contact
| Research
| Publications
| CV
| Students
]
[ Projects
| Courses
| Conferences
| Organizations
| Journals
]
[ Logical Frameworks
| Pittsburgh Squash Racquets Assocation
]
Frank Pfenning
|