FOM: workshop on paraconsistent logic

Stephen G Simpson simpson at
Thu Feb 14 14:19:49 EST 2002

 From: Workshop on Paraconsistent Logic <wopalo_esslli2002 at>
 Subject: WoPaLo - Workshop on Paraconsistent Logic - ESSLLI 2002 - FINAL Call For Papers
 Date: Wed, 13 Feb 2002 13:22:25 -0800 (PST)

 [With apologies for multiple copies.]

 %%                                                                %%
 %%                        Call for Papers                         %%
 %%                        ---- --- ------                         %%
 %%               _    _      ______     _                         %%
 %%              | |  | |     | ___ \   | |                        %%
 %%              | |  | | ___ | |_/ /_ _| |     ___                %%
 %%              | |/\| |/ _ \|  __/ _` | |    / _ \               %%
 %%              \  /\  / (_) | | | (_| | |___| (_) |              %%
 %%               \/  \/ \___/\_|  \__,_\_____/\___/               %%
 %%                                                                %%
 %%                WORKSHOP ON PARACONSISTENT LOGIC                %%
 %%                       %%
 %%                                                                %%
 %% 14th European Summer School in Logic, Language and Information %%
 %%                             %%
 %%                                                                %%
 %%                      August 5-16, 2002                         %%
 %%                        Trento, Italy                           %%
 %%                                                                %%


 >From 5 to 16 August 2002, the 14th edition of the European 
 Summer School in Logic, Language and Information (ESSLLI 2002), 
 will take place in Trento, Italy, organized under the auspices 
 of the European Association for Logic, Language and Information

    Inside the Logic & Computation section of this summer school 
 there will be a (one-week) Workshop on Paraconsistent Logic
 (WoPaLo).  The aim of the workshop is to provide a forum for 
 advanced Ph.D. students and other researchers to present and
 discuss their work in the area.

    Paraconsistency developed in the second half of the 
 XX Century as the study of non-trivial inconsistent logics.
 The use of such logics has since then proved useful in several 
 contexts, ranging from the formulation of set theories with 
 stronger abstraction principles, and the handling of 
 inconsistent databases, to the formulation and understanding 
 of problems related to the formalization of argumentation and 
 in the development of a formal philosophy of science, with 
 applications to epistemology.  This workshop aims to be
 representative of the main directions of current research 
 on paraconsistency.

    Several congresses and workshops on or closely related to 
 paraconsistency have recently been organized, among them:

 - I World Congress on Paraconsistency, Ghent, Belgium, 1997

 - Stanislaw Jaskowski Memorial Symposium, Torun, 1998'98/

 - II World Congress on Paraconsistency, Juquehy, Brazil, 2000

 - 4 Flemish-Polish Workshops on the Ontological Foundations of 
 Paraconsistency, 1999-2001

 - I International Workshop on Computational Models of Scientific
 Reasoning and Applications, Las Vegas, USA, 2001

 - Workshop on ``Inconsistency in Data and Knowledge", Seattle, 2001

 As usual, there is not much financing available for workshop
 contributors and speakers, as the organizers of the ESSLLI 2002 
 want to keep the registration fee as low as possible, and 
 be able to provide some grants to selected students.  In view
 of this, we would all highly appreciate it if you can find 
 alternative funding to cover travel and accomodation expenses 
 during the workshop.  All participants of the workshop are also
 expected to register for the summer school in due time, and all
 students are elligible for reduced registration fees.

    With 5 sessions of one hour and a half, experience of 
 previous one-week workshops has shown that an average of 
 12 contributions can fill in the schedule.

 Papers should not exceed 15 pages.  A postscript or pdf
 version of the paper should be submitted by e-mail to 
 <wopalo_esslli2002 at>.  All contributions will be
 refereed.  A reader containing extended abstracts 
 of all contributions will be made available at the 

 Important dates:

    Dec  1, 2001: First Call for Papers
    Mar 15, 2002: Deadline for Submission of Papers
    May  1, 2002: Notification of Contributors
    May 15, 2002: Deadline for receipt of camera-ready copy of 
		  workshop notes
    Aug  5, 2002: ESSLLI 2002 starts

    We intend to provide to the participating students of 
 ESSLLI 2002 a good survey of the most interesting and promising 
 recent research in the the area.  An ideal lecture would 
 contain (i) a good motivation (either with respect to a 
 domain of application or with respect to a theoretical problem 
 --the former seems more desirable given the audience), 
 (ii) a clear statement of the problem that is solved by 
 the paper, (iii) a clear presentation that is both 
 understandable for a wider audience _and_ meets the highest 
 technical standards.

 Joao Marcos
 <vegetal at>
 University of Ghent, RUG, Belgium
 State University of Campinas, Unicamp, Brazil

 Diderik Batens
 <Diderik.Batens at>
 Centre for Logic and Philosophy of Science
 University of Ghent, RUG, Belgium

 Walter Alexandre Carnielli
 <carniell at>
 Centre for Logic, Epistemology and the History of Science - CLE
 State University of Campinas, Unicamp, Brazil

More information about the FOM mailing list