Frank Pfenning
Journals

Editorial Boards

No current editorial board memberships.

Past Editorial Boards

Theoretical Computer Science (TCS)
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.
TCS is divided into three tracks; I am editorial board member of Track B: Logic, semantics and theory of programming. It is devoted to formal methods to check properties of programs or implement formally described languages; it contains all papers dealing with semantics of sequential and parallel programming languages. All formal methods treating these problems are published in this section, including rewriting techniques, abstract data types, automatic theorem proving, calculi such as SCP or CCS, Petri nets, new logic calculi and developments in categorical methods.
Editor, 2005-2009.
Journal of Automated Reasoning (JAR)
The Journal of Automated Reasoning (JAR) was established to meet three goals:
  • Provide a general understanding of automated reasoning and to focus on its various uses in science, engineering, and industry.
  • Promote dialogues--and possibly cooperative efforts--between individuals with diverse concerns yet with the common interest of automating reasoning. Among the various areas of computer science, automated reasoning especially benefits from a cross-fertilization of ideas taken from a wide variety of disciplines.
  • Help advance the field of automated reasoning. To reach this goal, many theoretical questions must be answered, various computer programs must be designed and implemented, and diverse applications must be attempted.
Papers that focus exclusively on some element of theory are appropriate. Articles that detail existing software or corresponding experiments are encouraged. Equally, articles that present some open question (possibly with a solution) or outline some problem from industry are of interest. Indeed, the three--theory, software, and applications--are interconnected, and each plays an indispensable role in automated reasoning. Among the areas covered are automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications.
Editor 2001-2009.
Journal of Symbolic Computation (JSC)
An international journal, the Journal of Symbolic Computation is directed to mathematicians, computer scientists, other scientists, engineers and educators who have a particular interest in symbolic computation. The journal provides a forum for research in the algorithmic treatment of all types of symbolic objects. It is the explicit goal of the journal to promote the integration of symbolic computation by establishing one common avenue of communication for researchers working in the different subareas. It is also important that the algorithmic achievements of these areas should be made available to the human problem-solver in integrated software systems for symbolic computation. To help this integration, the journal publishes invited tutorial surveys as well as Applications Letters and System Descriptions.
Editor, 2000-2009.
Journal of Functional and Logic Programming (JFLP)
The Journal of Functional and Logic Programming (JFLP) is an electronic journal which covers a broad scope of topics from functional and logic programming. It is specially concerned with the integration of the functional and logic paradigms as well as their common foundations.
Editor Spring 1993 - Summer 2006.

Past Special Issues

Electronic Notes in Theoretical Computer Science
Guest Editor, Proceedings of the 3rd International Workshop on Logical Frameworks and Meta-Languages (LFM'02), Volume 70, Issue 2, published December 2002.
ACM Transactions on Computational Logic
Guest Editor, special issue with invited papers from LICS 2000
with Martín Abadi and Leonid Libkin.
Appeared as Number 3, Volume 3, July 2002.
Annals of Mathematics and Artificial Intelligence
Guest Editor, special issue on Strategies in Automated Deduction
with Bernhard Gramlich and Hélène Kirchner.
Published as Issue 1/4, Volume 29, 2000.
Journal of Automated Reasoning
Guest Editor, special issue on Formal Proof,
appeared as Numbers 3 and 4, Volume 23, November 1999.
Studia Logica
Guest Editor, special issue on Natural Deduction Proof Systems
with Wilfried Sieg, appeared as Number 1, Volume 60, January 1998.

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

Frank Pfenning