Logic List Mailing Archive

Trends in Logic XIII

2-5 Jul 2014
Lodz, Poland

Call for Papers
Studia Logica conference Trends in Logic XIII
2-5 July 2014, University of Lodz, Lodz, Poland

The 13th Trends in Logic international conference will be held at the 
University of Lodz, Lodz, Poland, July 2-5, 2014 under the title 
?Gentzen's and Jaskowski's heritage; 80 years of Natural Deduction and 
Sequent Calculi. It is organized by the Department of Logic and 
Methodology of Sciences at the Institute of Philosophy of the University 
of Lodz, in co-operation with >>Studia Logica<<.

We warmly invite all contributions offering novel and significant results 
in the area of logic. The scope of the conference topics includes, but is 
not limited to:

Natural Deduction
Sequent Calculi
Tableau Methods
Generalised and Non-standard Proof Methods
Consequence Operations
Proof Theory
Constructive Mathematics
Decision Procedures
Consistency Proofs
Automated Deduction
Computability Theory
Complexity Theory
Normalization of Proofs
Admissibility of Cut
Proof Search
Proof Systems for Non-classical Logics
Free Logics
Discussive and Paraconsistent Logics


Call for papers: 28 October 2013

Full papers submission deadline: 15 March 2014

Full papers notification of acceptance: 30 April 2014

Short papers submission deadline: 7 May 2014

Short papers notification of acceptance: 14 May 2014

Registration opens: 1 May 2014

Early registration closes: 1 June 2014

Conference: 2-5 July 2014


Janusz Czelakowski (University of Opole, Poland)
Peter Schroeder-Heister (University of Tuebingen, Germany)
Heinrich Wansing (Ruhr University Bochum, Germany)
Jan Wolenski (Jagiellonian University, Cracow, Poland)


There are two types of submissions. Full papers of the length not
exceeding 10 pages (included in the conference proceedings), which
will be subjected to a proper reviewing process, and short
presentations of the length up to 3 pages (not included in the
conference proceedings) which will undergo a light reviewing. All
submissions must be typed in LaTeX according to the Trends style,
files for which soon will be available for downlowding at this
website. All papers should be submitted via Trends in Logic EasyChair


At least one of the authors of an accepted paper must register for,
and attednd the conference, for the contribution to be presented.


All accepted full papers will be included in the proceedings available at
the conference. Furthermore, the organizers are negotiating with Springer
publishing selected papers in a special issue of a journal or a book
within the series Trends in Logic.


Janusz Czelakowski (University of Opole, Poland)
Jacek Malinowski (>>Studia Logica<<)
Marek Nasieniewski (Nicolaus Copernicus University, Torun, Poland)
Marek Nowak (University of Lodz, Poland)
Sergey Odintsov (State University of Novosibirsk, Russia)
Andrzej Pietruszczak (Nicolaus Copernicus University, Torun, Poland)
Tomasz Polacik (University of Silesia, Poland)
Peter Schroeder-Heister (University of Tuebingen, Germany)
Heinrich Wansing (Ruhr University Bochum, Germany)


Andrzej Indrzejczak (University of Lodz, Poland)
Janusz Kaczmarek (University of Lodz, Poland)
Piotr Lukowski (University of Lodz, Poland)
Jacek Malinowski (>>Studia Logica<<)
Adam Niewiadomski (Technical University of Lodz, Poland)
Michal Zawidzki (University of Lodz)


Information on the conference venue and travelling directions will be available soon at