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 http://filozof.uni.lodz.pl/trends 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 IMPORTANT DATES 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 INVITED SPEAKERS 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) PAPER SUBMISSION 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 website: https://www.easychair.org/conferences/?conf=trendsxiii2014 At least one of the authors of an accepted paper must register for, and attednd the conference, for the contribution to be presented. PUBLICATION 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. PROGRAMME COMMITTEE 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) ORGANIZING COMMITTEE 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) VENUE AND TRAVELLING Information on the conference venue and travelling directions will be available soon at http://filozof.uni.lodz.pl/trends/venue.html