The Bulletin of Symbolic Logic – List of Editors

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 electronically, as an attachment to an email to the appropriate editor. Ideally a paper should be submitted as a pdf file.

Laurent Bienvenu
LIAFA, Universite Paris Diderot – Paris 7 – Case 7014, 75205 Paris Cedex 13, France
“I handle papers in computability/recursion theory.”

Patricia Blanchette
Department of Philosophy, University of Notre Dame, 100 Malloy Hall, Notre Dame, IN 46556, USA
“I handle papers in philosophy and history of modern logic, and philosopohy of mathematics.”

Andrea Cantini
Department of Philosophy, Universita degli Studi di Firenze, Via Bolognese 52, I-50139 Firenze, Italy
“I handle papers in proof theory, philosophy of mathematics, history and philosophy of logic.I prefer electronic submission of .pdf files as email attachments.”

Thierry Coquand
Department of Computer Science and Engineering, University of Gothenburg, , SE-4196 Gothenburg, Sweden
“I handle papers in proof theory and constructive mathematics.”

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.”

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

Frank Wagner (Managing Editor)
Insitut Camille Jordan, UMR 5208, Bâtiment Braconnier, Université Lyon 1, 21, avenue Claude Bernard, 69622 Villeurbanne Cedex, France
“I handle papers in model theory.”