Newsletter March 2002

Registered Charity No 275541

President           Professor J B Paris FBA [Manchester]
Vice-President      Dr J M E Hyland [Cambridge]
Secretary           Dr M Dzamonja [East Anglia]
Treasurer           Dr R Dyckhoff [St Andrews]

Committee members   Professor H D Macpherson [Leeds]
                    Dr E Ritter [Birmingham]
                    Professor T Williamson FBA FRSE [Oxford]

                                    March 4th, 2002

Members may be interested to know that
Professor E Hrushovski is visiting The Mathematical Institute in
Oxford all this week. He will give the Colloquium talk on
Friday, March 8th, the title of which is:
   "Interpretations and linear algebra".

I append a few announcements of forthcoming meetings.  

(0)   9th Workshop on Automated Reasoning (ARW 2002), 
      London, April 2-3 2002, 2nd call for papers
(1)   Workshop on Paraconsistent Logic, August 5-16, Trento, Italy
(2)   11th Set theory and its neighbours meeting, April 3rd, London

(3)   Programme of the Leeds Mathematical Logic Seminar, Winter Term

Best wishes to all, 
     Mirna Dzamonja.
                   2nd Call for Papers / Participation


              Imperial College, London, UK, 2-3 April 2002

                      (co-located with AISB'02)

Following in the highly successful series of Workshops on Automated
Reasoning, this workshop will provide an informal forum for the
automated reasoning community. This workshop series aims to bring
together researchers from all areas of automated reasoning in order
to foster links and facilitate cross-fertilisation of ideas among
researchers from various disciplines; among researchers from
academia, industry and government; and between theoreticians and


The workshop will cover the full breadth and diversity of automated
reasoning and will include topics such as:

 - Theorem proving in classical and non-classical logics
 - Equational reasoning
 - Unification
 - Induction
 - Verification
 - Specification
 - Constraint solving
 - Decision procedures
 - Formal methods
 - Interactive theorem proving
 - Nonmonotonic reasoning
 - Abduction
 - Logic-based knowledge representation
 - Description logics
 - Implementation
 - Experiments

Invited Speakers

- John Harrison (Intel Corporation)
- Ian Horrocks (University of Manchester)
- Colin O'Halloran (QinetiQ)

Submission of Abstracts

We invite interested persons to submit a camera-ready two-page
abstract in either Postscript or PDF format by email to Toby Walsh
at about recent work or work in progress, or a
system description. Each submission should include the names and
complete addresses (including email) of all authors. Correspondence
will be sent to the first author, unless otherwise indicated. The
main objective of the abstracts is to spread information about recent
work in our community. Abstracts will be published in informal
workshop notes and be made available by WWW.

Panel Sessions

Proposals for panel sessions should be made as soon as possible.
Please email the proposal to Toby Walsh at

Student Grants

We have a limited number of grants available to PhD students who
wish to attend ARW 2002. To indicate your interest please send a
short email to Ulle Endriss at anytime before
15 March 2002.

Important Dates

Abstract submission: any day before 1 March 2002
Notification of authors: shortly after submission
Grant application: any day before 15 March 2002
Workshop dates: 2-3 April 2002

Format of the Workshop

The workshop is intended to be an inclusive event, with participants
encouraged from the broad spectrum covered by the field of automated
reasoning. We encourage the participation of experienced researchers
as well as those new to the field, especially students.

There will be invited talks, panel sessions, short presentations of
the papers, and poster sessions. The workshop will last 2 days and
will be co-located with the AISB'02 convention which runs 3-5 April
2002. More precise programme details will be announced shortly.
For details about AISB'02 see:

Organising Committee

Robin D. Arthan (Lemma 1)
Alan Bundy (University of Edinburgh)
Tony Cohn (University of Leeds)
David Crocker (Escher Technologies)
Clare Dixon (University of Liverpool)
Ulle Endriss (King's College London)
Michael Fisher (University of Liverpool)
Alan Frisch (University of York) -- Organising Committee Chair
Ian P. Gent (University of St. Andrews)
Andrew Ireland (Heriot-Watt University)
Manfred Kerber (University of Birmingham)
Hans Juergen Ohlbach (Ludwig-Maximilians-Universitaet Munich)
Andrei Voronkov (University of Manchester)
Toby Walsh (University of York) -- ARW 2002 Programme Chair



[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 
.  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

University of Ghent, RUG, Belgium
State University of Campinas, Unicamp, Brazil

Diderik Batens

Centre for Logic and Philosophy of Science
University of Ghent, RUG, Belgium

Walter Alexandre Carnielli

Centre for Logic, Epistemology and the History of Science - CLE
State University of Campinas, Unicamp, Brazil

11th Set theory and its neighbours meeting, London, April 3rd

Combinatorics and set theory 2

The eleventh one-day conference in the series Set theory and its neighbours
will take place on Wednesday 3rd of April 2002 at the London Mathematical
Society building, De Morgan House, 57-58 Russell Square, London WC1. 

The speakers at the meeting will be

* Marcin Kysiak, Polish Academy of Sciences
* Imre Leader, Cambridge
* Olivier Lessman, Oxford
* Charles Morgan, UCL
* Gregory Piper, UEA
* Rene Schipperus, University of Vienna

More information about the conference can be found at the web page

                        UNIVERSITY OF LEEDS
                   Department of Pure Mathematics
                          Winter Term 2002

February 6th Alan Bundy (Edinburgh)
             What is a proof?

February 13th Andreas Weiermann (M"unster)

             Classifying mathematical incompleteness of PA

February 20th Angsheng Li (Leeds)

             Definability in Local Turing Degrees

February 27th Laura Crosilla (Munich)

             Hypersets and urelements in constructive set theory

March 6th Ivan Tomasic (Leeds)

             Geometric simplicity theory

March 13th Massoud Pourmahdian (Norwich) 

March 20th Gianluigi Bellin (QMW and Verona)

             Towards formal pragmatics

      The lectures will be held on Wednesdays at 4 pm in room J,
        Mathematics building unless otherwise noted. Tea at 3.30 pm.

For more up to date 
      information check out
                                 Michael Rathjen       

Home Index


Page maintained by

Last modified: Tue Mar 11 11:51:51 GMT 2003