Logic List Mailing Archive
CfP: Non-Classical Logics. Theory and Applications XI, 5-8 September, Lodz (Poland)
---------------------------------------------------------------------------
-----------
*NON-CLASSICAL LOGICS. THEORY AND APPLICATIONS XI*
---------------------------------------------------------------------------
-----------
*CALL FOR PAPERS*
*DATES*
*Short abstracts submission deadline:* July 20, 2024
*Short abstracts notification:* July30, 2024
*Conference website:* https://easychair.org/smart-program/NCL'24/
*Submission link:* https://easychair.org/conferences/?conf=ncl24
*AIMS*
The Conference - devoted to non-classical logics - was initially held in Lo
dz in September 2008 and 2009. Later on, it was organized alternately in To
run (2010, 2012, 2015, 2018) and Lodz (2011, 2013, 2016, 2022). The confere
nce serves as a forum to exchange novel results effectively and to survey w
orks in non-classical logics, broadly construed, and their applications.
In this year's, eleventh, edition of the Conference we particularly welcome
submissions concerned with term-forming operators and formalisation of com
plex names, like definite descriptions, both with regard to their philosoph
ical background and formal properties, as well as applications in mathemati
cs and computer science (e.g., in databases or ontologies).
*SCOPE*
Topics of theoretical and applied interest including (but not limited to):
- many-valued logics,
- modal logics,
- non-monotonic logics,
- paraconsistent logics,
- plausible reasoning,
- substructural logics,
- contra-classical logics,
- relevant and connexive logics,
- description logics,
- proof theory,
- computational complexity of logics.
Cross-disciplinary submissions concerning logics in the context of:
- cognitive science,
- computer science,
- foundations of mathematics,
- philosophy of language,
- philosophy of mind
are also welcome.
*WORKSHOP ON CONNEXIVE LOGICS*
This year's edition of the Conference will be co-located with the 9th Works
hop on Connexive Logics which will be held on 8th and 9th September 2024.
*SHORT ABSTRACTS SUBMISSION GUIDELINES*
Participants are invited to submit their abstracts on all topics relevant t
o the conference. Cross-disciplinary contributions are particularly welcome
. Abstracts should be in English and must not exceed 2 pages including refe
rences. All abstracts should be submitted via the Non-Classical Logics Easy
Chair website:
https://easychair.org/conferences/?conf=ncl24
Authors of accepted abstracts will be allotted 15-minute slots in the short
presentations session.
At least one of the authors of an accepted paper must register for and atte
nd the conference for the contribution to be presented.
*REVIEWING PROCESS*
Each contribution will undergo light reviewing by the PC members.
*COMMITTEES*
*PROGRAM COMMITTEE*
- Sankha S. Basu (Indraprastha Institute of Information Technology Delhi, I
ndia)
- Patrick Blackburn (University of Roskilde, Denmark)
- Alexander Bolotov (University of Westminster, UK)
- Stephane Demri (CNRS & ENS Paris-Saclay, France)
- Tomasz Jarmuzek (Nicolaus Copernicus University, Toru, Poland)
- Norihiro Kamide (Nagoya City University, Aichi, Japan)
- Nils Kurbis (University of Lodz, Poland / University of Bochum, Germany
/ University College London, UK)
- Timo Lang (University College London, UK)
- Dorota Leszczynska-Jasion (Adam Mickiewicz University, Pozna, Poland)
- Joao Marcos (Federal University of Santa Catarina, Florianopolis, Brazil)
- Manuel Antonio Martins (University of Aveiro, Portugal)
- Dale Miller (Inria Saclay - Ile-de-France, Palaiseau, France)
- Nicola Olivetti (Aix-Marseille University, France)
- Eugenio Orlandelli (University of Bologna, Italy)
- Francesco Paoli (University of Cagliari, Italy)
- Luiz Carlos Pereira (Pontifical Catholic University of Rio de Janeiro, Br
azil)
- Thomas Piecha (University of Tbingen, Germany)
- Elaine Pimentel (University College London, UK)
- Francesca Poggiolesi (Universite Paris 1 Pantheon-Sorbonne, France)
- Revantha Ramanayake (University of Groningen, The Netherlands)
- Yaroslav Shramko (Kryvyi Rih State Pedadogical University, Ukraine)
- Heinrich Wansing (Ruhr University Bochum, Germany)
*ORGANISING COMMITTEE*
- Andrzej Indrzejczak (Head, University of Lodz, Poland)
- Yaroslav Petrukhin (University of Lodz, Poland)
- Przemyslaw Walega (University of Oxford, UK / University of Lodz, Poland)
- Michal Zawidzki (University of Lodz, Poland)
*INVITED SPEAKERS*
*Non-Classical Logic. Theory and Applications*
- Agata Ciabattoni (Vienna University of Technology, Austria)
- Valentin Goranko (Stockholm University, Sweden)
- Rajeev Gore (Australian National University, Canberra, Australia)
- Hanamantagouda P. Sankappanavar (State University of New York at New Palt
z, USA)
- Andrzej Wisniewski (Adam Mickiewicz University, Poznan, Poland)
*Workshop on Connexive Logics*
- Mateusz Klonowski (Nicolaus Copernicus University, Torun, Poland)
- Jacek Malinowski (Institute of Philosophy and Sociology, Polish Academy o
f Sciences, Warsaw, Poland)
- Satoru Niki (Ruhr University Bochum, Germany)
- Grigory Olkhovikov (Ruhr University Bochum, Germany)
- Francesco Paoli (University of Cagliari, Italy)
*PUBLICATION*
Accepted abstracts will not be included in the conference proceedings, but
will be made available at the conference.
Selected authors will be invited to submit extended versions of their abstr
acts to a special post-conference issue of the Bulletin of the Section of L
ogic.
*VENUE*
The conference will be held at the Conference Center of the University of L
odz (16/18 Kopcinskiego St., Lodz, Poland).
*CONTACT*
All questions about submissions should be emailed to
Andrzej Indrzejczak (andrzej.indrzejczak@filhist.uni.lodz.pl)
or
Michal Zawidzki (michal.zawidzki@filhist.uni.lodz.pl)
or
Tomasz Jarmuzek (jarmuzek@umk.pl, Workshop on Connexive Logics).
*SPONSORS*
European Research Council
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php