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 as PDF files via email.

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

Matthias Baaz
baaz@logic.at
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
jcumming@andrew.cmu.edu
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
paola.daquino@unicampania.it
Department of Mathematics and Physics
Universita’ della Campania “L. Vanvitelli”
viale Lincoln 5
Caserta 81100, Italy
“I handle papers in model theory.”

Peter Dybjer
peterd@chalmers.se
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
ali.enayat@gu.se
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
libkin@inf.ed.ac.uk
School of Informatics
University of Edinburgh
Edinburgh, EH8 9AB, UK
“I handle papers in applications of logic in computer science.”

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