Frank Pfenning
Journals

Editorial Boards

Past Editorial Boards

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.

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.

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.

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.