FOM: workshop on paraconsistent logic
Stephen G Simpson
simpson at math.psu.edu
Thu Feb 14 14:19:49 EST 2002
From: Workshop on Paraconsistent Logic <wopalo_esslli2002 at yahoo.com>
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 %%
%% http://logica.rug.ac.be/WoPaLo/ %%
%% %%
%% 14th European Summer School in Logic, Language and Information %%
%% http://www.esslli2002.it/ %%
%% %%
%% August 5-16, 2002 %%
%% Trento, Italy %%
%% %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
GENERAL INFORMATION:
>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
(FoLLI).
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
http://logica.rug.ac.be/centrum/events/WCP97/index.html
- Stanislaw Jaskowski Memorial Symposium, Torun, 1998
http://www.uni.torun.pl/~logic/JS'98/
- II World Congress on Paraconsistency, Juquehy, Brazil, 2000
http://logica.cle.unicamp.br/wcp/wcp2000.htm
- 4 Flemish-Polish Workshops on the Ontological Foundations of
Paraconsistency, 1999-2001
http://logica.rug.ac.be/centrum/events/Vlapol2/2deworkshop.htm
http://logica.rug.ac.be/centrum/events/Vlapol4/4deworkshop.html
- I International Workshop on Computational Models of Scientific
Reasoning and Applications, Las Vegas, USA, 2001
http://www.lip.uns.edu.ar/cmsra/
- Workshop on ``Inconsistency in Data and Knowledge", Seattle, 2001
http://www.cse.Buffalo.EDU/~chomicki/inconsistency01.html
PRACTICAL INFORMATION:
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.
SUBMISSION GUIDELINES:
Papers should not exceed 15 pages. A postscript or pdf
version of the paper should be submitted by e-mail to
<wopalo_esslli2002 at yahoo.com>. All contributions will be
refereed. A reader containing extended abstracts
of all contributions will be made available at the
workshop.
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.
ORGANIZERS:
Joao Marcos
<vegetal at cle.unicamp.br>
University of Ghent, RUG, Belgium
State University of Campinas, Unicamp, Brazil
http://logica.rug.ac.be/~joao/
Diderik Batens
<Diderik.Batens at rug.ac.be>
Centre for Logic and Philosophy of Science
University of Ghent, RUG, Belgium
http://logica.rug.ac.be/~dirk/
Walter Alexandre Carnielli
<carniell at cle.unicamp.br>
Centre for Logic, Epistemology and the History of Science - CLE
State University of Campinas, Unicamp, Brazil
http://www.cle.unicamp.br/prof/carnielli/
More information about the FOM
mailing list