JSL Editorial Staff

Sylvy Anscombe
Institut de Mathématiques de Jussieu-Paris Rive Gauche
Université de Paris
Bâtiment Sophie Germain, Boite Courrier 7012
8 Place Aurélie Nemours
75205 Paris Cedex 13, France
“I welcome papers in model theory and its applications.”

Jeremy Avigad
Departments of Philosophy and MathematicsCarnegie Mellon UniversityPittsburgh, PA 15213USA“I will handle submissions on formal verification, automated reasoning, and their applications to mathematics.”

Steve Awodey, Coordinating Editor

Departments of Philosophy and Mathematics
Carnegie Mellon University
Pittsburgh, PA 15213
“I handle submissions in the areas of algebraic and categorical logic, constructive mathematics, and type theory.”

Lev Beklemishev

Steklov Mathematical Institute of RAS
Gubkina str. 8
119991 Moscow, Russia
“I handle papers in proof theory, formal arithmetic and its fragments, provability logic, modal logic and related areas.”

Alexander Berenstein
Departamento de Matemáticas
Universidad de los Andes
Cra 1 Nº 18A-12, Edificio H
111711 Bogotá, Colombia
“I handle papers in model theory.”

Riccardo Camerlo
camerlo@dima.unige.itDipartimento di MatematicaUniversità di GenovaVia Dodecaneso, 3516146 Genova, Italy
“I handle papers in descriptive set theory, including its interactions with other areas of logic and mathematics.”

Damir Dzhafarov
Department of Mathematics
University of Connecticut
341 Mansfield Road, U-1009
Storrs, CT 06269-1009 USA
“I welcome papers in all areas of pure and applied computability theory, including algorithmic randomness, computable analysis, computable combinatorics, computable structure theory, and reverse mathematics.”

Vera Fischer
University of Vienna
Kolingasse 14-16
1090 Vienna, Austria
“I welcome papers in set theory.”

Itay Kaplan
Einstein Institute of Mathematics
Hebrew University (The Edmond J. Safra Campus – Giv’at Ram)
Jerusalem 91904, Israel
“I handle papers in model theory.”

Elvira Mayordomo
Departamento de Informática
Universidad de Zaragoza
María de Luna 1
50018 Zaragoza, Spain
“I handle papers in Algorithmic Information Theory and Algorithmic Randomness, including their interactions with Automata Theory and Geometric Measure Theory”

Hiroshi Sakai
Graduate School of System Informatics, Kobe University
1-1 Rokkodai-cho, Nada-ku
Kobe, 657-8501, Japan
“I handle papers in set theory, especially on infinite combinatorics, large cardinals, forcing axioms and their applications.”

Anton Setzer
Department of Computer Science, Swansea University Bay Campus
Fabian Way
Swansea, SA1 8EN United Kingdom
“I handle papers in proof theory, dependent type theory (especially Martin-Loef Type Theory), and interactive theorem proving.”