- Journal of Functional Programming (JFP)
- Editor, 2009-present
Journal of Functional Programming is the only journal devoted
solely to the design, implementation, and application of
functional programming languages, spanning the range from
mathematical theory to industrial practice. Topics covered include
functional languages and extensions, implementation techniques,
reasoning and proof, program transformation and synthesis, type
systems, type theory, language-based security, memory management,
parallelism and applications. Special tracks are devoted to tools
and applications, commercial uses and education; pearl-type papers
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.
- Journal of Automated Reasoning (JAR)
The Journal of Automated Reasoning (JAR) was established to meet three goals:
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
- 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
- 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
- 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
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
- 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.
[ Logical Frameworks
| Pittsburgh Squash Racquets Assocation