BSL Editorial Staff

Articles and Communications being submitted for publication should be sent to one (and only one) of the following editors. Authors are strongly urged to submit papers using the BSL EditFlow Management System.

Laurent Bienvenu, Managing Editor
CNRS & Université de Bordeaux
LaBRI, 351 cours de la Libération
33405 Talence, France
“I handle papers in computability/recursion theory.”

Matthias Baaz
Institute for Discrete Mathematics and Geometry
Vienna University of Technology
Wiedner hauptstrasse 8-10
1040 Vienna, Austria
“I handle papers in proof theory and foundations. I also specialize in many valued logics and juridical logic.”

James Cummings
Department of Mathematical Sciences
Carnegie Mellon University
Wean Hall 6113
Pittsburgh, PA 15213, USA
“I handle papers in set theory. I strongly prefer electronic submission of PDF files via email.”

Paola D’Aquino
Department of Mathematics and Physics
Universita’ della Campania “L. Vanvitelli”
viale Lincoln 5
Caserta 81100, Italy
“I handle papers in model theory.”

Peter Dybjer
Department of Computer Science and Engineering
Chalmers University of Technology
SE 412 96 Göteborg, Sweden
“I handle papers in type theory and about the logic and semantics of programs.”

Ali Enayat
Department of Philosophy, Linguistics, and Theory of Science
University of Gothenburg
Box 200, SE 405 30, Gothenburg, Sweden
“I handle papers related to the metamathematics of first and higher order arithmetic and set theory, especially their model theory.”

Leonid Libkin
School of Informatics
University of Edinburgh
Edinburgh, EH8 9AB, UK
“I handle papers in applications of logic in computer science.”

Øystein Linnebo
Department of Philosophy, IFIKK
0315 Oslo, Norway
“I handle papers in philosophical logic and the philosophies of logic and mathematics.”