LINGUIST List 10.388

Fri Mar 12 1999

Calls: Logic/Lang., Conditional Logic

Editor for this issue: Jody Huellmantel <jodylinguistlist.org>

Directory

1. Maarten de Rijke, Logic, Language, and Information
2. Dov Gabbay, WORKSHOP ON PROOF THEORY ESSLLI 99 FINAL REMINDER

	 ---------------------------------------------------------
	 / LOGIC COLLOQUIUM '99 /
	 / /
	 / August 1-6, 1999 /
	 / /
	 / University of Utrecht, NL /
	 / /
	 / CALL FOR PAPERS, CALL FOR REGISTRATION /
	 ---------------------------------------------------------

European Summer Meeting of the Association for Symbolic Logic
Utrecht, the Netherlands, August 1-6, 1999

PROGRAM COMMITTEE
Wilfrid Hodges (chair, London), Erik Barendsen (Nijmegen), Jan van Eijck 
(Amsterdam), Sergei Goncharov (Novosibirsk), Dick de Jongh (Amsterdam), 
Alexander Kechris (Pasadena), Peter Koepke (Bonn), Manuel Lerman (Storrs, 
Connecticut), David Marker (Chicago), Jaap van Oosten (Utrecht), Andy Pitts 
(Cambridge), Albert Visser (Utrecht).

ORGANIZING COMMITTEE
Jan van Eijck (chair), Peter Blok, Paul Dekker, Vincent van Oostrom, Simone 
Panka, Maarten de Rijke, Frans Snijders, Yde Venema.

MAIN TOPICS of LC'99
Proof theory, model theory, set theory, recursion theory, and computational 
logic, with computational logic as the topic of special focus of the 
conference.

The scientific program consists of tutorials, invited plenary lectures, 
special sessions, and contributed talks. The colloquium is organized by 
the University of Utrecht, in collaboration with the Centre of Mathematics 
and Computer Science (CWI) and the Dutch Research School in Logic (OzsL).

TUTORIALS
Group Actions and Countable Models, by Greg Hjorth (Los Angeles), Ten 
Topics in Term Rewriting, by Jan Willem Klop (Amsterdam), Categories and 
Types, by Ieke Moerdijk (Utrecht), Geometric Model Theory, by Anand Pillay 
(Urbana).

INVITED PLENARY SPEAKERS
Samson Abramsky (Edinburgh), Alessandro Andretta (Torino), Sergei Artemov 
(Moscow), Lev Beklemishev (Moscow), Peter Cholak (Notre Dame, Indiana), 
Deirdre Haskell (Worcester, MA), Dale Miller (Philadelphia), Andrei Morozov 
(Novosibirsk), Jan Rutten (Amsterdam), Patrick Speissegger (Toronto), Steve 
Todorcevic (Paris), Andreas Weiermann (Muenster).

SPECIAL EVENING SESSIONS
`Computing With the Guarded Fragment of First Order Logic' and `Logic 
Education and Dissemination.'

CONTRIBUTED TALKS
The deadline for submission of abstracts is Friday April 2, 1999.

The length of an abstract is limited to one page (and should not be much 
less either, to make the abstract sufficiently descriptive). The time slot 
for a contributed talk is 30 minutes. We intend to distribute printed 
abstracts at the meeting, but we also plan to make the abstracts available 
via WWW; for this we need a plain ASCII text version of your abstract. 
Please submit your abstract by email to the LC'99 program chair, 
W.Hodgesqmw.ac.uk, by sending two different e-mail messages with:

o Your personal information and the ASCII text of your abstract (to be put
 on the WWW page). This message should consist of the subject line 
 "LC99 ABSTRACT <your name>", and the body containing lines
 Title:, Author:, Affiliation:, E-mail:, http: (if available),
 Subject Area:, in this order, with the obvious contents, followed by a
 blank line and the text of your abstract. If necessary, you can typeset 
 mathematical expressions in LaTeX. 
 Keep in mind, however, that this abstract will be posted as an ASCII text 
 on the WWW page.

o The postscript of the abstract (to be printed in the book of abstracts), 
 limited to one page (between 300 and 500 words; this includes title, 
 references, etc.). This message should consist of

 the subject line "LC99 ABSTRACT POSTSCRIPT <your name>", and the body 
 containing only the postscript file.

We strongly urge you to submit electronically. Those without access to 
email may send a hardcopy of their submission by regular mail, bearing in 
mind that the abstract is due in the Netherlands, at the address specified 
below, by the deadline of April 2, 1999.

PRELIMINARY PROGRAM

- ------------------------------------------------------------
 | Morning | Afternoon | Evening
- -------------+-------------+--------------+-----------------
 Sun, Aug 1 | (arrival)
- -------------+-------------+--------------+-----------------
 Mon, Aug 2 | Tutorials |Inv+Cont Talks| Reception
- -------------+-------------+--------------+-----------------
 Tue, Aug 3 | Tutorials |Inv+Cont Talks| Evening Session
- -------------+-------------+--------------+-----------------
 Wed, Aug 4 | Inv Talks | Excursion + Conf Dinner
- -------------+-------------+--------------+-----------------
 Thu, Aug 5 | Tutorials |Inv+Cont Talks| Evening Session
- -------------+-------------+--------------------------------
 Fri, Aug 6 | Tutorials |Inv+Cont Talks| Conference Ends
- -------------+----------------------------------------------
 Sat, Aug 7 | (departure)
- ------------------------------------------------------------


RELATED EVENT: ESSLLI'99
Please note that the 11th European Summer School in Logic, Language and 
Information (ESSLLI) will take place in Utrecht, August 9--20, with several 
satellite events. See http://esslli.let.uu.nl/ for further information.

CONFERENCE SITE
LC'99 will take place at the Campus of Utrecht University, `de Uithof', on 
the skirt of Utrecht. There is a regular bus connection from Utrecht 
Central Station to de Uithof; the bus ride takes about 20 minutes. De 
Uithof can also easily be reached by car. Closest airport to Utrecht is 
Schiphol (Amsterdam Airport).

We have both student accommodation and hotel rooms available within 
reasonable distance from the conference site. See below.

CONFERENCE FEE
The conference arrangement comes in two flavours, Bare (without 
accommodation, for those who prefer to make their own accommodation 
arrangements) and Simple (with student room accommodation). For those who 
prefer more luxury, we have made a special conference deal with a 4 star 
hotel (see below). For this you should choose the `Bare' conference 
arrangement, and arrange your accommodation directly with them.

Prices for early registration (until April 30, 1999) are: Bare (NLG 400 for 
students, NLG 500 for non-students), Simple (NLG 650 for students, NLG 750 
for non-students).

Starting from May 1, we charge NLG 100 extra, and we may have run out of 
accommodation possibilities.

The conference fee includes registration, conference handouts, conference 
reception on Monday, conference lunches, tea and coffee, excursion on 
Wednesday afternoon to the Kroeller Mueller museum in Otterlo, and 
conference dinner on Wednesday evening.

CONTACT ADDRESS (for regular mail submissions and local arrangements):

	Logic Colloquium '99,
	attention of ms. Simone Panka
	CWI, P.O. Box 94079
	1090 GB Amsterdam NL.
	telephone: +31-20-5924009
	email: simonecwi.nl
	http://www.cwi.nl/lc99/

TRAVEL GRANTS
The ASL will make available modest travel grants to graduate students in 
logic and to recent PhDs, so that they may attend the 1999 ASL European 
Summer Meeting (LC'99) in Utrecht. The application letter should be brief 
(one page) and should include your name, your home institution, your thesis 
supervisor's name, a one-paragraph description of your studies and work in 
logic, your estimate of the travel expenses you will incur, and (for 
citizens or residents of the USA) citizenship or visa status. Applications 
for a travel grant should include a brief recommendation by the thesis 
supervisor.

Only modest grants will be possible, partially covering travel costs and 
perhaps some of the living expenses during the meeting. Women and members 
of minority groups are strongly encouraged to apply. In addition to funds 
provided by the ASL, this program of travel grants is now supported by a 
grant from the US National Science Foundation; NSF funds may be awarded 
only to citizens and permanent residents of the USA. Applications and 
recommendation letters should be sent preferably by e-mail to simonecwi.nl 
or by regular mail to ms Simone Panka at the address given above. The 
deadline for applications is Friday April 2, 1999.

- -------------------------------------------------------------------------

REGISTRATION SHEET LOGIC COLLOQUIUM '99

Please fill out and return to us, either in printed form by regular mail to

	Logic Colloquium '99,
	attention of ms. Simone Panka
	CWI, P.O. Box 94079
	1090 GB Amsterdam NL.
	telephone: +31-20-5924009
	email: simonecwi.nl
	http://www.cwi.nl/lc99/

or by email to simonecwi.nl

Surname ______________________________________________

First Name(s) ________________________________________

Mr/Ms + Title ________________________________________

Affiliation __________________________________________

Home or Work Address: home/work

Street _______________________________________________

Code, City ___________________________________________

Country ______________________________________________

e-mail _______________________________________________

http _________________________________________________

full-time student: YES/NO

Note: if you register as student you will have to send us proof of your 
full-time student status.

[] I am going to attend Logic Colloquium 99.

[] I have submitted a paper and will attend if the paper is accepted.

Field of submitted paper

[] Computational Logic
[] Model Theory
[] Philosophical Logic
[] Proof Theory
[] Recursion Theory
[] Set Theory
[] Other: ......................

Conference arrangement (please tick one):

[] Bare (Early Reg Student NLG 400, Late Reg Student NLG 500):
 I am a full time student and will take care of accommodation myself.

[] Bare (Early Reg Non-Student NLG 500 / Late Reg Non-Student NLG 600): 
 I will take care of accommodation myself.

[] With Simple Accommodation (Early Reg Student NLG 650 /Late Reg Student 
 NLG 750):
 I am a student and want to be lodged in a student room.

 Breakfast not included. Bring sheets and towels or purchase them.

[] with Simple Accommodation (Early Reg Non-Student NLG 750 /
 Late Reg Non-Student NLG 850):
 I am not a student but still I want to be lodged in a student room.

 Breakfast not included. Bring sheets and towels or purchase them.

For those who would like more luxurious accommodation, we have made a deal 
with the Mitland Hotel. The special LC'99 price for single rooms is NGL 
150.50 per night, for double rooms NLG 181.50 per night. This includes 
breakfast, use of swimming pool, sauna and Turkish bath.

Please get in touch directly with them, via

 http://www.mitland.nl/home_e.htm
 email infomitland.nl
 or phone +31-30-2715824

 Hotel Mitland is a four star hotel, located east of the city center, in 
 a green scenery. It will host most of the invited speakers. Public 
 transport will get you to the Logic Colloquium location in about 20 
 minutes, but walking may get you there just as quickly. We have 
 negotiated a special discount on the normal prices in Summer. Please 
 make your arrangements directly with them. Mention that you are an 
 LC'99 participant.

Early registration period ends April 30, 1999.


PAYMENTS
I will pay my registration fee of NLG _______ by:
[] banktransfer to RABO Bank, Kamerlingh Onneslaan 2/10, 1097 DG
 Amsterdam; account #31.35.57.977 of "Stichting Wiskunde en
 Informatica Conferenties"
[] credit card, number:
 [] American Express
 [] Visa
 [] Euro/Master/Accesscard
 Name Cardholder:
 Address Cardholder:
 Expiry date:
 Date:

 Signature:


NOTE: For early registration, the copy of your bank remittance
 must reach us by April 30, 1999.

 WORKSHOP ON PROOF THEORY FOR CONDITIONAL AND NON-MONOTONIC LOGIC ESSLLI 99


 DOV GABBAY AND HOWARD BARRINGER



Conditional logic and non-monotonic logic are central areas in
philosophy, computer science and language. Moreover, the connection
between non-monotonic consequence "A entails B" and the conditional
"A>B" is well known, so too are the formal similarities between the
conditional and substuctural implications.

The semantic modelling (possible worlds, probabilistic, translational,
etc) of the conditional and non-monotonic consequence seems to be
relatively well developed but not much work has been done on the
proof-theoretic aspects.

Put simply, we need systems which can do the following:

Given a (non-monotonic/conditional) database Delta and given a formula
C (which could be of the form A>B ), we need formal but intuitive
algorithmic, proof procedures (e.g. tableaux, Gentzen, goal directed,
LDS etc.) for determining whether D follows from Delta . Furthermore,
we need to correlate different such proof systems within the landscape
of known semantically presented conditional /non-monotonic logics.

This workshop calls for papers in this area covering some of (but not
exclusively) of the topics below:

* proof rules for conditional/non-monotonic logics;

* connections between non-monotonic consequence and conditionals;

* connections with belief revision and the Ramsey test (no
 triviality result holds if the database is non-monotonic);

* time, action and the conditional;

* conditional proof theory compared to substructural proof theory;

* translations of conditional systems into classical and/or modal
 logic;

* labelled proof systems for conditional logic;

* executable conditional logic.



The workshop will take place during the second week of the ESSLLI Summer

School (August 16-20, 1999) and allows for up to 12 30-45 minute
lectures.

The ESSLLI Summer School is organized under the auspices of the
European Association for Logic, Language and Information (FoLLI).
Previous ESSLLI Summer Schools have been highly successful,
attracting around 500 students from Europe and elsewhere. The
school has developed into an important meeting place and forum
for discussion for students and researchers interested in the
interdisciplinary study of Logic, Language and Information.
For more information see http://esslli.let.uu.nl .


Good papers from the workshop will be published either as a volume in
one of Dov Gabbay's book series or as a special issue in one of the
journals for which he is an editor (e.g. JLC or IGPL).

All researchers in the area, but especially Ph.D. students and young
researchers, are encouraged to submit a two-page abstract (hard copy or
e-mail (plain ASCII or (La)TeX) .

SUBMISSION DETAILS AND DATES AS FOLLOWS:

* DEADLINE FOR SUBMISSIONS march 15,99

* SUBMIT TO

Jane Spurr , Department of computer science , King's College London,
Strand, London WC2R 2LS.
It is preferable to submit electronically to janedcs.kcl.ac.uk.

* NOTIFICATION OF ACCEPTANCE : May 15,99


* FURTHER NOTE 
Papers submitted to the workshop can also be considered, if the author
so wishes, as a regular submission to any of Dov Gabbay's journals.


Professor D M Gabbay 
Room 22C
Dept of computer Science 
King's College 
Strand 
London WC2R 2LS

Telephone + 44 171 873 5090
Fax + 44 171 240 1071
http://www.dcs.kcl.ac.uk/staff/dg/
http://www.kcl.ac.uk/kis/schools/hums/philosophy/staff/dovg.html

Latex or postscript files send to 
Jane Spurr janedcs.kcl.ac.uk