The Journal of Symbolic Logic - Submissions

Articles being submitted for publication in The Journal of Symbolic Logic should be sent to one and only one of the following editors. See the JSL Guidelines for information on the format of submissions.

Any other material, including items for the BSL Reviews section, should be sent to the JSL editors at:

JSL Editors
Association for Symbolic Logic
Box 742, Vassar College
Poughkeepsie, NY 12604, USA
Email: asl@vassar.edu

______________________________________________________________________________________

 

Alessandro Berarducci
berardu@dm.unipi.it
Dipartimento di Matematica 
Universita' di Pisa 
Largo Bruno Pontecorvo 5
56127 Pisa, Italia
"I will consider papers in model theory. I prefer electronic submission of .pdf files as email attachments. I can also handle .ps and .dvi files."

Erich Grädel
graedel@logic.rwth-aachen.de
Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen, Germany
"I will handle papers related to logic in computer science (in a broad sense). I prefer electronic submissions in postscript or pdf as an attachment to an email message. "

Bradd Hart
hartb@mcmaster.ca
Department of Mathematics & Statistics
McMaster University
1280 Main Street W.
Hamilton, Ontario, Canada L8S 4K1
"Please send papers in model theory. I prefer electronic submission of .pdf files as email attachments. I can also handle .ps and .dvi files. I will be on parental leave until the end of April, 2010."

Denis Hirschfeldt
drh@math.uchicago.edu
Department of Mathematics
University of Chicago
5734 S. University Avenue
Chicago, IL 60637, U.S.A.
"I will handle papers in computability theory, reverse mathematics, and algorithmic randomness. I will accept electronic submissions, preferably in PDF form. I can also handle PostScript and DVI files. If using one of these formats is not possible, please contact me before submitting."

Justin Moore (Coordinating Editor)
justin@math.cornell.edu
Department of Mathematics
310 Malott Hall
Cornell University
Ithaca, NY 14853-4201
USA
"I will consider papers in set theory. I prefer electronic submission of .pdf files as email attachments. I can also handle .ps and .dvi files. I also accept hardcopies (in duplicate)."

Ralf Schindler
rds@math.uni-muenster.de
Inst. für mathematische Logik und Grundlagenforschung
Univ. at Münster
Einsteinstr. 62
48149 Münster, Germany
"I will handle papers in set theory. I prefer electronic submissions in the form of .ps or .pdf files being attached to your email."

Frank Stephan
fstephan@comp.nus.edu.sg
Dept. of Mathematics
National University of Singapore
2 Science Dr. 2
Singapore 117543, Republic of Singapore
"I can handle submissions in recursion theory, algorithmic randomness, inductive inference and reverse mathematics. Electronic submission by email is preferred; papers should be transmitted as ps-files, dvi-files, latex-files or pdf-files; in the case of latex-files, everything should be in one source file without other files to be required except perhaps one style-file."

Alasdair Urquhart
urquhart@cs.toronto.edu
Dept. of Computer Science
Sandford Fleming Bldg.
10 King's College Rd.
Univ. of Toronto, Toronto, Ontario M5S 3G4, Canada
"I handle papers on complexity of proofs and algorithms for the JSL. I will also consider papers in non-classical logic for both the JSL and the Review of Symbolic Logic (RSL) but authors should be aware that many but not all papers in non-classical logic fall within the purview of the RSL (see the statements of scope on the JSL and RSL web statements). I prefer electronic submissions in postscript or pdf as an attachment to an email message."

Andreas Weiermann
Andreas.Weiermann@UGent.be
Vakgroep Zuivere Wiskunde en Computeralgebra
Ghent University
Krijgslaan 281 - Gebouw S22, B9000 Gent, Belgium
"I will consider papers in proof theory. I prefer electronic submission of .pdf files as email attachments. I can also handle .ps and .dvi files."

<back to Journal Main Page>