|WORKSHOPS & SYMPOSIA|
Table of contents:
Database theory is a field where many general methods of computer science and logic can be fruitfully applied. The aim of the workshop is to provide a forum for young researchers to exchange ideas on theoretical aspects of databases. The talks at the workshop include a lecture by Prof. Achim Jung on representing incomplete information in databases. There are several talks on database schema design, normal forms and dependencies. Some other important aspects of databases, such as security and parallel query proccessing, are also represented.
Prof. Achim Jung (University of Birmingham, UK) Incomplete information in databases Natasha Alechina (University of Birmingham) Semi-structured information and generalised schemes. Elena Ravve (Technion, Israel) Database normal form, schema transformations and preservation of dependencies. Duminda Wijesekera (University of Minnesota, USA) Normal forms and a syntactic completeness theorem for functional independencies T. Sentissi, E. Pichat (Lyon) Object Oriented Database design with Normalized Semantic Graph Gill Dobbie (Victoria University, New Zealand) Investigating normalisation in object-oriented databases Laura Felice (Universidad Nacional del Centro, Argentina) Schema updates in OODB X. Delannoy (Grenoble), C. Del Vigna (Paris) Integrity vs Confidentiality, An Occurrence of Galois Lattices Harald Kosch (Lyon - Klagenfurt) Theoretical considerations on the correct representation of parallel relational query processing. Janusz R. Getta (University of Wollongong, Australia) Query Processing in Database Systems with Inconsistent Information
For more information, you may contact :
If you are modeling agents engaged in some activity, whether they be people, robots, or artificial agents living in computer networks, you want to be able to reason about their behavior and verify that their actions will achieve particular goals. Similarly, if you are designing autonomous agents to operate in some environment, it may be necessary for them to reason about the state of the world to select appropriate actions. In recent years, many researchers have worked on developing logic-based agent theories and programming languages to address these needs.
To produce adequate logical frameworks for these kinds of applications, one needs to integrate theories of mental states, action, and agent interaction. Topics of interest here include how to model:
This symposium will provide a forum for researchers in this area to compare their approaches and discuss ways of addressing open problems. It should also allow people involved in other areas or applications of logic and attending ESSLLI'97 to learn more about agent research and contribute fresh perspectives.
To make your submission, please send a postscript file to Richard Scherl (firstname.lastname@example.org) OR send three (3) copies of your paper to the following address:
Richard Scherl (tel: (201)596-2657)
Electronic submission is STRONGLY encouraged.
Due date for submission of extended abstract: June 2, 1997 Notification of acceptance/rejection: June 30, 1997 Final version of accepted papers due: July 31, 1997 Symposium starts: August 18, 1997
Wiebe van der Hoek (email@example.com) Utrecht University Yves Lesperance (firstname.lastname@example.org) York University Richard Scherl (email@example.com) New Jersey Institute of Technology
Day 1 August 18
Day 2 August 19 -- Agent Programming Languages
(i) Formal Semantics for an Abstract Agent Programming Language
by K.V. Hindriks, F.S. de Boer, W. van der Hoek, J.-J. Ch. Meyer
(ii) Concurrent Programming Languages for Multi-Agent Systems, R. van Eijk, F. de Boer, W. van der Hoek and J.J. Ch. Meyer Eijk - 25 min
(iii) Animation of System Specifications Using Concurrent Logic Programming by P. Letelier, P. Sanchez, I. Ramos - 15min
(iv) Discussion - 25min
Day 3 August 20 -- Sensing and Action/Learning
(i) Lecture tba - Chitta Baral - 50 min
(ii) Autonomous semi-reactive agent design based on incremental inductive learning in logic programming by Marcello Balduccini and Gaetano Lanzarone, - 25 min
(iii) Discussion - 15 min
Day 4 August 21 -- Sensing and Belief Update, Model Theoretic Issues
(i) Dynamic Action Logic with Information States.
Prendiger - 25 min
(ii) tba Yves Lesperance 15 min
(? (iii) tba Rich Scherl - 15min)
(iv) A note on the Relation between Interpreted Systems and Kripke Models by Alessio Lomuscio -- 15 min. (v) Discussion 20 min
Day 5 August 22 -- Applications and other Theoretical
Perspectives, Reasoning Methods
(i) A Z based Theory of Design Change using STEP Designs and KIF
Design Intents exemplified by a 3 Dimensional Transverse Bulkhead
by F. Brown and G. Jacobs - 15min.
(ii) A Customized Tableau Method for Reasoning About Actions and Plans in Modal Logic by M. Castilho, L.F. del Cerro, Oliver Gasquet and Andreas Herzig 15min
(iii) Application of Agent Architecture to Modelling Human-Computer Interactions by Elizabeth Pollitzer and Jacinto A. Da'villa - 15min.
(iv) Discussion - 45 min
(v) Concluding Remarks
Quantification: Collectivity, and Reciprocity
In the first week of the Ninth European Summer School in Logic, Language, and Information (ESSLLI'97) there will be a workshop on Quantification. This workshop aims to give a representative overview of recent logical and linguistic developments on dynamic quantification, collectivity, and reciprocity.
The focus is on the interconnections between these topics, and on strategies for disambiguating the often impressive amount of readings.
We invite researchers who want to participate in our workshop to send a short abstract (ca. one page; title, name, affiliation, email included) by email to: <firstname.lastname@example.org> , or: <peters@Prosit.Stanford.EDU> before March 15. In particular, PhD students are encouraged to use this event to disseminate their work.
The purpose of the workshop is to bring together experienced researchers and students in the areas of generalized quantifiers in finite model theory on one hand, and regular languages and circuit complexity on the other hand.
Ph.D. student papers are invited for submission to this workshop of the European Summer School in Logic, Language and Information. These papers, after evaluation and selection, will be presented in the five session during the first week of the summer school. The student session will give students the opportunity to present their work in progress and get valuable feedback from senior researchers and fellow-students.
Presentations will last 30 minutes (including 10 minutes of discussion). If time permits, longer presentations will be scheduled.
Student authors should submit a two-page abstract with name and address included. Electronic submissions are highly encouraged and should be sent to Kerkko Luosto ( email@example.com, fax +358-9-1912-3213).
The list of speakers will include:
For more information, follow this link...