Newsletter March 2002


-------------------------------------------------------
BRITISH LOGIC COLLOQUIUM
Registered Charity No 275541

http://www.cs.bham.ac.uk/~exr/blc

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

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


Best wishes to all, 
     Mirna Dzamonja.
==================================================================== 
(0)
                   2nd Call for Papers / Participation

                  NINTH WORKSHOP ON AUTOMATED REASONING:
              BRIDGING THE GAP BETWEEN THEORY AND PRACTICE

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

                      (co-located with AISB'02)

          http://www.dcs.kcl.ac.uk/staff/endriss/ARW/2002.html

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

Topics
******

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 tw@cs.york.ac.uk 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 tw@cs.york.ac.uk.

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 endriss@dcs.kcl.ac.uk 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: http://comma.doc.ic.ac.uk/aisb2002/.

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

**********************************************************************





==================================================================== 
(1)

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

University of Ghent, RUG, Belgium
State University of Campinas, Unicamp, Brazil
http://logica.rug.ac.be/~joao/

Diderik Batens

Centre for Logic and Philosophy of Science
University of Ghent, RUG, Belgium
http://logica.rug.ac.be/~dirk/

Walter Alexandre Carnielli

Centre for Logic, Epistemology and the History of Science - CLE
State University of Campinas, Unicamp, Brazil
http://www.cle.unicamp.br/prof/carnielli/

==================================================================== 
(2) 
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

http://www.ucl.ac.uk/~ucahcjm/stn/stn11.html
==================================================================== 
(3)          


                        UNIVERSITY OF LEEDS
                   Department of Pure Mathematics
                     MATHEMATICAL LOGIC SEMINAR
                          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) 
      
             TBA

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

 http://www.maths.leeds.ac.uk/Pure/logic/Seminar/
                        
                                 Michael Rathjen       




Home Index

+++++++++++++++++++++++++++

Page maintained by E.Ritter@cs.bham.ac.uk

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