

The
Journal of Symbolic Logic  Submissions
Articles being submitted for publication in The Journal of Symbolic Logic
should be submitted according to the JSL Guidelines where authors can choose one of the following editors for their submissions.
______________________________________________________________________________________
Matthias Aschenbrenner
matthias@@math.ucla.edu
Department of Mathematics
Univeristy of California, Los Angeles
Box 951555
Los Angeles, CA 900951555 USA
"I welcome papers in model theory."
Enrique Casanovas
e.casanovas@ub.edu
Department of Mathematics and Computer Science
University of Barcelona
Gran Via 585
08007 Barcelona, Spain
"I accept papers in model theory."
Bakhadyr Khoussainov
bmk@cs.auckland.ac.nz
Department of Computer Science
The University of Auckland
Private Bag 92019
Auckland 1142, New Zealand
"I consider papers in effective aspects of model theory and algebra, automata, formal languages, and automatic structures."
Jan Krajicek
krajicek@karlin.mff.cuni.cz
Department of Algebra
Faculty of Mathematics and Physics
Sokolovska 83
Prague, CZ186 75
The Czech Republic
"I welcome papers broadly relevant to the interplay between mathematical logic and computational complexity theory."
Stephan Kreutzer
stephan.kreutzer@tuberlin.de
Technische Universitaet Berlin
Institut fuer Softwaretechnik und Theoretische Informatik
Lehrstuhl fuer Logik und Semantik
Sekr TEL 73
ErnstReuterPlatz 7
10587 Berlin, Germany
"I handle papers in finite and computational model theory as well as other subjects related to model theoretical approaches to logic in computer science."
Colin McLarty
colin.mclarty@case.edu
Department of Philosophy
Case Western Reserve University
11130 Bellflower Road
Cleveland, OH 441067119 USA
"I will accept papers in categorical logic or other logical uses of category theory, or proof theory of arithmetic, also technical papers on foundations of mathematics."
Joseph S. Miller
jmiller@math.wisc.edu
Department of Mathematic
University of Wisconsin–Madison
480 Lincoln Drive
Madison, WI 53706 USA
"I can handle papers in computability theory, algorithmic randomness, and reverse mathematics."
Thomas Strahm
strahm@inf.unibe.ch
IAM, University of Bern
Neubruckstrasse 10
CH3012 Bern, Switzerland
"I will consider papers in all areas of proof theory."
Boban Velickovic
boban@math.univparisdiderot.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".
Philip Welch, Coordinating Editor
P.Welch@bristol.ac.uk
School of Mathematics
University of Bristol
Bristol, BS8 1TW, UK
"I will accept papers in set theory, but also technical papers on foundations of set theory & mathematics and on formal theories of truth."
[ Meetings  Announcements  Membership  Journals  ASL Books  Links to Other Sites  ASL Info  Home]