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 (Coordinating Editor)
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. "

Noam Greenberg
greenberg@msor.vuw.ac.nz
School of Mathematics, Statistics and Operations Research
Victoria University of Wellington
PO Box 600
Wellington 6140 New Zealand
"I can handle papers in computability theory, algorithmic randomness, and reverse mathematics. I prefer electronic submissions."

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

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

Boban Velickovic
boban@math.univ-paris-diderot.fr
Équipe de Logique Mathématique
Université Paris Diderot Paris 7
UFR de mathématiques case 7012, site Chevaleret
75205 Paris Cedex 13, France
"I consider papers in set theory and its applications to topology, analysis, algebra, etc. I prefer electronic submissions of .pdf or.ps files."

Andreas Weiermann
Andreas.Weiermann@UGent.be
Vakgroep Wiskunde
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>