(DBWORLD) LPNMR '97: Schedule and Second Call for Participation

LPNMR97 Organizing Committee (lpnmr97@mailhost.uni-koblenz.de)
Mon, 5 May 1997 10:58:48 -0500 (CDT)

===========================================================================
Conference Home page: <URL:http://www.uni-koblenz.de/~lpnmr97/>
Early Registration Deadline: May 16, 1997
===========================================================================

SECOND CALL FOR PARTICIPATION

4th International Conference on
Logic Programming and Non-Monotonic Reasoning
(LP & NMR '97)

Dagstuhl, Germany
July 28--31, 1997

This is the fourth in the series of international meetings on the
relationship between logic programming and non-monotonic reasoning.
Three previous meetings were held in Washington, D.C., U.S.A., in 1991, in
Lisbon, Portugal, in 1993 and in Lexington, Kentucky, U.S.A., in 1995.
The series was started in response to the growing evidence of synergy
between the two areas and serves as a vehicle to facilitate
interactions and interdisciplinary research.

This fourth meeting is sponsored by: Association of Logic Programming
(ALP), Compulog Network of Excellence, Deutsche Forschungsgemeinschaft
(DFG), Gesellschaft fuer Informatik (GI), the Mathematical Sciences
Institute of Cornell University (US Army Research Office Center of
Excellence), the University of Koblenz, and the US DOD Multiple
University Research Initiative (MU) on the Foundations of Intelligent
Systems (Cornell, Stanford, and UC Berkeley). It will be held at Dagstuhl,
Germany, a place that is being developed exclusively for research
activities in Computer Science. Dagstuhl has a home page on the web at
<URL:http://www.dag.uni-sb.de/dagstuhl_e.html> that provides
information on how to reach this place, research and other facilities
available etc.

===============
IMPORTANT DATES
===============
Early Registration Deadline: May 16, 1997.
Registration Deadline: July 05, 1997.
Conference: July 28--31, 1997.

===============
HOW TO REGISTER
===============
You are encouraged to register on-line from the conference home page
at <URL:http://www.uni-koblenz.de/~lpnmr97/>. If you wish, you may
also register off-line by filling out the form at the end of this
mail and sending it by fax, email, or conventional mail to the registration
address mentioned in the form. Contact Ulrich Furbach
<URL:mailto:uli@informatik.uni-koblenz.de> for any queries regarding
registration. The early registration deadline is May 16, 1997 and the
registration closes on July 5, 1997.

=====================
AVAILABILITY OF FUNDS
=====================
Limited financial support is available for colleagues from Eastern
Europe and students. Contact Juergen Dix
<URL:mailto:dix@informatik.uni-koblenz.de> as early as possible for
details and application.

===================
FURTHER INFORMATION
===================
Visit <http://www.uni-koblenz.de/~lpnmr97/> in the world wide web for
any information regarding this conference.

========
SCHEDULE
========

Monday 28 July 1997

08:45-09:00 Opening Remarks

09:00-10:00 Invited Talk I
Joxan Jaffar:
Advances in Constraint Logic Programming

10:00-10:30 Coffee Break

10:30-12:00 Session I
10:30-11:00 F. Buccafurri, N. Leone, P. Rullo:
Strong and Weak Constraints in Disjunctive Datalog
11:00-11:30 Ch. Pollet, J. Remmel:
Non-Monotonic Reasoning with Quantified Boolean Constraints
11:30-12:00 U. Zukowski, B. Freitag, S. Brass:
Improving the Alternating Fixpoint: The Transformation Approach

12:00-14:00 Lunch Break

14:00-15:30 Session II
14:00-14:30 U. Egly, H. Tompits:
Is Non-Monotonic Reasoning Always Harder?
14:30-15:00 R. Rosati:
Complexity of Only Knowing: The Propositional Case
15:00-15:30 J. Seitzer, J. Schlipf:
Affordable classes of Normal Logic Programs

15:30-16:00 Coffee Break

16:00-17:30 System Descriptions I
16:00-16:30 Ch. Aravindan, J. Dix, I. Niemelae:
Dislop: Towards a Disjunctive Logic Programming System
16:30-17:00 C. V. Damasio, L. M. Pereira, M. Schroeder:
REVISE: Logic Programming and Diagnosis
17:00-17:30 T. Eiter, N. Leone, C. Mateis, G. Pfeifer, F. Scarcello:
A Deductive System for Non-Monotonic Reasoning

Tuesday 29 July 1997

09:00-10:00 Invited Talk II
Mirek Truszczynski:
Automated Reasoning with Non-Monotonic Logics

10:00-10:30 Coffee Break

10:30-12:00 Session III
10:30-11:00 H. Blair, F. Dushan, P. Humenn:
Simulations between Programs as Cellular Automata
11:00-11:30 T. Janhunen:
Separating Disbeliefs from Beliefs in Autoepistemic Reasoning
11:30-12:00 G.-Q. Zhang, W. C. Rounds:
Power Defaults

12:00-14:00 Lunch Break

14:00-15:30 Session IV
14:00-14:30 A. Bochman:
A Study of Przymusinski's Static Semantics
14:30-15:00 P. A. Bonatti:
Resolution for Skeptical Stable Semantics
15:00-15:30 T. Eiter, J. Lu, V. S. Subrahmanian:
Computing Non-Ground Representations of Stable Models

15:30-16:00 Coffee Break

16:00-17:30 System Descriptions II
16:00-16:30 H. Freitag, U. Zukowski:
The Deductive Database System LOLA
16:30-17:00 A. C. Kakas, C. Mourlas:
ACLP: Flexible Solutions to Complex Problems
17:00-17:30 P. T. Kandzia:
Non-monotonic Reasoning in FLORID

17:30-20:00 Dinner Break

20:00-22:00 System Descriptions III
20:00-20:30 G. Neugebauer, D. Schaefer:
GLUE: Opening the world to Theorem Provers
20:30-21:00 I. Niemelae, P. Simons:
Smodels -- an implementation of the stable model and well-founded
semantics for normal LP
21:00-21:30 P. Rao, K. Sagonas, T. Swift, D. Warren, J. Freire:
XSB: A system for effciently computing WFS
21:30-22:00 T. Schaub, P. Nicolas:
An implementation platform for query-answering: X-RAY

Wednesday 30 July 1997

09:00-10:00 Invited Talk III
Martin R. Karig:
Industry Needs for Integrated Information Services

10:00-10:30 Coffee Break

10:30-12:00 Panel Discussion on Implementations

12:00-14:00 Lunch Break

14:00-15:00 Invited Talk IV
Bruno Buchberger:
Computing, Solving, Proving: A Survey on the Theorema Project

15:00-22:00 Excursion and Conference Dinner

Thursday 31 July 1997

09:00-10:00 Invited Talk V
Michael Gelfond:
Towards a Systematic Approach to Representing Knowledge in Declarative
Logic Programming

10:00-10:30 Coffee Break

10:30-12:00 Session V
10:30-11:00 C. V. Damasio, L. M. Pereira:
A Paraconsistent Semantics with Contradiction Support Detection
11:00-11:30 M. Dekhtyar, A. Dikovsky, N. Spyratos:
On Conservative Enforced Updates
11:30-12:00 C. Witteveen, W. van der Hoek:
A General Framework for Revising Non-Monotonic Theories

12:00-14:00 Lunch Break

14:00-16:00 Session VI
14:00-14:30 A. Brogi, S. Contiero, F. Turini:
Composing General Logic Programs
14:30-15:00 T. Eiter, G. Gottlob, H. Veith:
Modular Logic Programming and Generalized Quantifiers
15:00-15:30 V. Petukhin:
Programs with Universally Quantified Embedded Implications
15:30-16:00 A. Yahya:
Generalized Query Answering in Disjunctive Deductive Databases:
Procedural and Non-Monotonic Aspects

16:00-16:30 Coffee Break

16:30-18:00 Closing discussion on the state of LP & NMR

==========================
OFF-LINE REGISTRATION FORM
==========================
_________________________________CUT HERE__________________________

Fourth International Conference on
Logic Programming and
Non-Monotonic Reasoning
(LPNMR '97)

Schloss Dagstuhl, Germany
July 28-31, 1997

Registration form

To be sent to the organizing committee at this
REGISTRATION ADDRESS (by surface mail, fax or e-mail):

Ulrich Furbach,
Institute for Computer Science,
University of Koblenz,
Rheinau 1, 56075 Koblenz, Germany.
Fax: +49 - 261 / 9119-496
E-mail: lpnmr97@informatik.uni-koblenz.de

Personal Information:
- ---------------------

Family name: .................... First name: .............. Title: ....

Affiliation: ...........................................................

...........................................................

Address: ...........................................................

...........................................................

...........................................................

E-mail: ...........................................................

Tel.: .......................... Fax.: ..........................

Name of Accompanying person(s): ........................................

Registration
- ------------

Registration fees are to be paid in advance. The registration deadline
is July 5, 1997.

Fees (DM) Regular Student
- ----------------------------------------
Before May, 16th 280 100
After May, 16th 350 170

Please tick one:

[ ] I register as a REGULAR participant.

The registration fee includes the fees for the excursion and
banquet for one person. Extra bookings can be done at the
rate of DM 80 per person and are to be paid in advance together
with the registration fee:

I register for .... EXTRA extra person(s) for the excursion
and banquet.

[ ] I register as a STUDENT participant.

Student participants have to send a student certificate to
the organizing committee in advance.

The registration fee does NOT include the fees for the
excursion and banquet. Excursion and banquet can be booked
at the rate of DM 80 per person and to be paid in advance
together with the registration fee:

I register for .... person(s) for the excursion and banquet.

Room Reservation
- ----------------

Accommodation fees are to be paid during the conference
(by cash/cheque/Eurocard/Mastercard/VISA).

Please reserve for me:

[ ] A single room (DM 135 per day, including meals).

[ ] A double room (DM 85 per person per day, including meals)
to be shared with
...............................

Special dietary requirements: [ ] None
[ ] Vegetarian

My arrival date will be: ........................................
(Arrival on Sunday afternoon is strongly recommended)

My departure date will be: ........................................

Payment Method
- --------------

Please tick one:

[ ] Payment by bank transfer in German currency (DM).

In particular, GERMAN participants are requested to pay
by this option.

Transfer registration amount to the following bank account:

Bank: Sparkasse Koblenz
Bank Code: 57050120
(Bankleitzahl)

Account Holder: Ulrich Furbach fuer LPNMR97
Account: 150410272

IMPORTANT NOTE: all extra fees emerging from bank transfer payment
must be covered by the applicant!

[ ] Payment by cheque in German currency (DM) drawn on a German bank;
please make cheques payable to "Ulrich Furbach fuer LPNMR97",
indicate your name and send it to the registration address.

IMPORTANT NOTE: all extra fees emerging from cheque payment must be
covered by the applicant!

[ ] Payment by credit card.

IMPORTANT NOTE: For credit card payment you are asked
to complete the FAX FORM below and send
it by conventional mail or fax to the
REGISTRATION ADDRESS given above.

Signature:
- ----------

.................. ..............................
Date Signature

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

FAX FORM

[ In case of credit card payment,
please send the filled out form by fax to the indicated number,
or by conventional mail to the REGISTRATION ADDRESS]

From:
[Please insert your name and affiliation here]

To:

LPNMR 97 Organizing Committee
c/o Ulrich Furbach
Institute for Computer Science
University of Koblenz
Rheinau 1
56075 Koblenz
Germany
FAX number: +49 - 261 / 9119 496

I hereby authorize the organizing committee of the
LPNMR 97 to charge my creditcard

Amount (in Deutsche Mark): ......................

Credit card company: [ ] VISA
[ ] Eurocard/Mastercard

Name on the card: ............................

Credit card number: ............................

Expiry date: ............................

Date: .............. Signature: ....................

=================END OF CALL FOR PARTICIPATION=======================

- ---
LPNMR '97 Organizing Committee http://www.uni-koblenz.de/~lpnmr97/
Attention: Chandrabose Aravindan Tel: +49 261 9119 {426,443}
Universitaet Koblenz-Landau Fax: +49 261 9119 496
Fachbereich Informatik lpnmr97@informatik.uni-koblenz.de
Rheinau 1, D-56075 Koblenz, Germany. (For help: send mail with subject 'help')

-----BEGIN PGP SIGNATURE-----
Version: 2.6.2

iQCVAgUBM23TUkuViF2N6KNFAQFi8wP9Hp7cJLqYRYuvsxu8DetoD2ua6U6LMcYu
P+4yd/1qNSeTSZRFIzml7tpWqI57kFl1zug3PGhMzPGhWbx4onE/Y4wF/QPtLW9D
RGF7LgM3THnNg9tslvNctzajrIEvRJey3k5VVRHoSya4tuJIwsca2Bvl5N0Ig93L
dARRa3mxN6o=
=2iY6
-----END PGP SIGNATURE-----

-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community.

Requests to get on or off dbworld should go to listproc@cs.wisc.edu.

to subscribe send
subscribe dbworld Your Full Name

to unsubscribe send
unsubscribe dbworld

to change your address
send an unsubscribe request from the old address
send a subscribe request from the new address

to find out more options send
help
------------------------------------------------------------------------FOOTER-