10.388, Calls: Logic/Lang., Conditional Logic
LINGUIST Network
linguist at linguistlist.org
Fri Mar 12 19:27:10 UTC 1999
LINGUIST List: Vol-10-388. Fri Mar 12 1999. ISSN: 1068-4875.
Subject: 10.388, Calls: Logic/Lang., Conditional Logic
Moderators: Anthony Rodrigues Aristar: Wayne State U.<aristar at linguistlist.org>
Helen Dry: Eastern Michigan U. <hdry at linguistlist.org>
Andrew Carnie: U. of Arizona <carnie at linguistlist.org>
Reviews: Andrew Carnie: U. of Arizona <carnie at linguistlist.org>
Associate Editors: Martin Jacobsen <marty at linguistlist.org>
Brett Churchill <brett at linguistlist.org>
Ljuba Veselinova <ljuba at linguistlist.org>
Assistant Editors: Scott Fults <scott at linguistlist.org>
Jody Huellmantel <jody at linguistlist.org>
Karen Milligan <karen at linguistlist.org>
Software development: John H. Remmers <remmers at emunix.emich.edu>
Chris Brown <chris at linguistlist.org>
Home Page: http://linguistlist.org/
Editor for this issue: Jody Huellmantel <jody at linguistlist.org>
==========================================================================
As a matter of policy, LINGUIST discourages the use of abbreviations
or acronyms in conference announcements unless they are explained in
the text.
=================================Directory=================================
1)
Date: Thu, 11 Mar 1999 11:10:48 +0100 (MET)
From: mdr at wins.uva.nl (Maarten de Rijke)
Subject: Logic, Language, and Information
2)
Date: Thu, 11 Mar 1999 11:33:00 +0000
From: Dov Gabbay <dg at dcs.kcl.ac.uk>
Subject: WORKSHOP ON PROOF THEORY ESSLLI 99 FINAL REMINDER
-------------------------------- Message 1 -------------------------------
Date: Thu, 11 Mar 1999 11:10:48 +0100 (MET)
From: mdr at wins.uva.nl (Maarten de Rijke)
Subject: Logic, Language, and Information
---------------------------------------------------------
/ 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.Hodges at qmw.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: simone at cwi.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 simone at cwi.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: simone at cwi.nl
http://www.cwi.nl/lc99/
or by email to simone at cwi.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 info at mitland.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.
-------------------------------- Message 2 -------------------------------
Date: Thu, 11 Mar 1999 11:33:00 +0000
From: Dov Gabbay <dg at dcs.kcl.ac.uk>
Subject: WORKSHOP ON PROOF THEORY ESSLLI 99 FINAL REMINDER
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 jane at dcs.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 jane at dcs.kcl.ac.uk
---------------------------------------------------------------------------
LINGUIST List: Vol-10-388
More information about the LINGUIST
mailing list