Frank Pfenning
Journals

Editorial Boards

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 since Summer 2001.

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 since Fall 2000.

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 since Spring 1993.

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.

Frank Pfenning

Frank Pfenning Journals

Editorial Boards

Past Special Issues

Frank Pfenning
Journals