> Journal of Symbolic Logic
   Bulletin of Symbolic Logic
   Review of Symbolic Logic
   ASL Reviews
   Author Resources
   Back Volumes

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
Department of Mathematics
Univeristy of California, Los Angeles
Box 951555
Los Angeles, CA 90095-1555 USA
"I welcome papers in model theory."

Enrique Casanovas
Department of Mathematics and Computer Science
University of Barcelona
Gran Via 585
08007 Barcelona, Spain
"I accept papers in model theory."

Bakhadyr Khoussainov
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
Department of Algebra
Faculty of Mathematics and Physics
Sokolovska 83
Prague, CZ-186 75
The Czech Republic
"I welcome papers broadly relevant to the interplay between mathematical logic and computational complexity theory."

Stephan Kreutzer
Technische Universitaet Berlin
Institut fuer Softwaretechnik und Theoretische Informatik
Lehrstuhl fuer Logik und Semantik
Sekr TEL 7-3
Ernst-Reuter-Platz 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
Department of Philosophy
Case Western Reserve University
11130 Bellflower Road
Cleveland, OH 44106-7119 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
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
IAM, University of Bern
Neubruckstrasse 10
CH-3012 Bern, Switzerland
"I will consider papers in all areas of proof theory."

Boban Velickovic
É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
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."




<back to Journal Main Page>

[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]