Copy Link
Add to Bookmark
Report
AIList Digest Volume 4 Issue 161
AIList Digest Monday, 7 Jul 1986 Volume 4 : Issue 161
Today's Topics:
Conferences - Test and Evaluation Assoc. AI/Expert System Workshop &
Theoretical Issues in Natural Language Processing &
Database Theory 1986 - Program
----------------------------------------------------------------------
Date: Wed, 2 Jul 86 21:07 EDT
From: HCGRS%clemson.csnet@CSNET-RELAY.ARPA
Subject: Conference - Intl. Test & Evaluation Assoc. AI/Expert System Workshop
INTERNATIONAL TEST AND EVALUATION ASSOCIATION
Artificial Intelligence/Expert System WORKSHOP
AI/ES WORKSHOP PROGRAM
July 8-10, 1986
George Washington University
PHONE REGISTRATION (703) 893-0228
Tuesday, 8 July
Morning Session
0830-0840 - Welcome John Bolino, President ITEA
0840-0850 - Welcome President, GWU
0850-0900 - Admin (if any) Henry Alberts, ITEA Staff
0900-0940 - KEYNOTE Barry Silverman, GWU
0940-0950 - Coffee Break
0950-1030 - TIMS Dr. Peter McWhite, GRC
1030-1110 - TACTICAL AI Dr. Stuart Brodsky, Sperry
1110-1145 - APPLICATION OF Dan McDonough, USAF-AFOTEC
AI TO OT&E
Luncheon at the University Club, Marvin Center
Afternoon Session
1330-1630 - 30-40 person groups "Hands-On" sessions with
morning speakers and their systems.
Wednesday, 9 July
Morning Session
0830-0840 - Announcements Henry Alberts, ITEA Staff
0840-0920 - AUTO SWITCHING Ms. Marquerite Denocourt,
BELLCOM
0920-1000 - TESTPRO Dr. Anthony Mucciardi,
Infomatics
1000-1020 - Coffee Break
1020-1100 - NATC TECHMAN Mr. George Hurlburt,USN/NATC PAX
Dr. Joel Simkol, GWU
Luncheon at the University Club, Marvin Center
Afternoon Session
1330-1630 - 30-40 person groups "Hands-On" sessions with
morning speakers and their systems.
Thursday, 10 July
Morning Session
0830-0840 - Announcements Henry Alberts, ITEA Staff
0840-1145 - Panel Discussion
Panelists: Charles K. Watt Georgia Tech
Richard A. Demilo Georgia Tech
Barry Silverman GWU
H. Steve Kimmel ODUSDRE(T&E)
0840-0940 - Panel Opening Statements
0940-1010 - Coffee Break
1010-1145 - Open Discussion between Panel and Audience
1140-1200 - Closing Remarks John Bolino, President ITEA
Luncheon at the University Club, Marvin Center
Afternoon Session
1330-1445 - 30-40 person groups "Hands-On" sessions with
speakers and their systems.
Evening Session
1500-1700 - Movie & Tour - Air & Space Museum, Museum Staff
1730-1930 - General Discussion - U.S. Senate Caucus Room
Hon. John Warner, Senate Armed Services
Committee -- Sponsor
-- Dr. Harold C. Grossman
Dept. of Computer Science
Clemson University
Clemson, SC
hcgrs@clemson.csnet
------------------------------
Date: Thu, 3 Jul 86 15:21:59 mdt
From: yorick%nmsu.csnet@CSNET-RELAY.ARPA
Subject: Conference - Theoretical Issues in Natural Language Processing
CC C R R R L C O M P U T I N G
CC R R L R E S E A R C H
C R R L L A B O R A T O R Y
CC R R L
CC R R L Box 3 CRL
CC C R R LLLLLLLL NMSU, Las Cruces 88003
Tinlap3
January 7,8,9, 1987
Tinlap3 will be the third in the series of interdisciplinary workshops
Theoretical Issues in Natural Language Processing.
The format will be as in MIT(1985) & Illinois (1978): invited panels
of distinguished figures in the field will discuss pre-circulated
statements of position. Lively audience participation is anticipated.
The panels are intended to cover the major contentious issues of the
moment.
Tinlap3 is being supported by the Association of Computational Linguistics
and funds are also being sought from NSF, AAAI, and ACM.
Tinlap Grand Committee:
Nick Cercone (Simon Fraser University),
Richard Rosenberg (Dalhousie University),
Roger Schank (Yale University),
David Waltz (Brandeis University),
Bonnie Webber (University of Pennsylvania).
Tinlap3 General Chair: Andrew Ortony (University of Illinois)
Tinlap3 Program Chair: Yorick Wilks (New Mexico State University)
Panels and their Chairs will be:
* Connectionist and other parallel approaches to natural language processing
(Dave Waltz, Thinking Machines & Brandeis)
* Unification and the new grammatism
(Fernando Pereira, SRI)
* World and world representations
(Don Walker, Bellcore)
* Formal versus commonsense semantics
(Yorick Wilks, NMSU)
* Why has theoretical NLP made so little progress?
(to be confirmed)
* Discourse theory and speech acts.
(Barbara Grosz, SRI)
* Reference: the interaction of language and the world
(Doug Appelt, SRI)
* Metaphor
(Derdre Gentner, U.Illinois)
* Natural language generation
(Aravind Joshi, U. Pennsylvania)
Registration:
Registration covers pre-circulated preprints, mid-session refreshments etc.,
some local transportation, and adminstration.
Registration fees: Non-student: $50 ($40 if registered before Aug. 20, 1986)
Full-time students: $30 ($25 if registered before Aug. 20, 1986)
Registration Form: [Deleted -- contact author for copy. -- KIL]
Registrants should fill out and print out form, sign and send hardcopy
with check made payable to NMSU Foundation to
Tinlap3,
Box3CRL, NMSU, Las Cruces, NM 88003.
Sending a copy of your registration by return netmail will also assure its
quick entry to mailouts of further materials.
Where: at New Mexico State University main campus (Las Cruces), Rio Grande
Corridor for Technical Excellence, Computing Research Lab.
(505-646-5466) for further details.
Forming the western corner of a triangle with White Sands and El Paso,
Las Cruces is a city of about 50,000 people in southern NM. Las Cruces is
situated between the spectacular Organ Mountains fifteen miles to the east,
and the historic Rio Grande River to the west. Two miles west of Las Cruces,
near the Rio Grande, is La Mesilla, the old Mexican village where the Gadsden
Purchase was signed. The town square is bordered by restaurants and shops,
with Indian arts -- pottery, paintings, jewelry, baskets, and weaving.
Also nearby are the White Sands National Monument (about 55 miles),
the Carlsbad Caverns (about 160 miles), and Sierra Blanca, a 12,000 foot
mountain with fine skiing (about 130 miles).
The weather in early January is usually clear and sunny, with temperatures
usually in the 50's in the daytime, and the 20's at night. Good skiing is
one and a half hours away.
Note:
Full program will be mailed to all registrants in September and
the preprints in December. Detailed accommodation and travel information
will be sent on receipt of completed registration form.
Hotel rates will be from $20-$50 per night.
Since accommodation may be limited, to obtain
hotel information, it is advisable to register early.
------------------------------
Date: Thu, 3 Jul 86 10:01:48 -0200
From: Moshe Vardi <vardi%wisdom.bitnet@WISCVM.ARPA>
Subject: Conference - Database Theory 1986 - Program
International Conference on Database Theory
PROGRAM
MONDAY, SEPTEMBER 8
Registration and coffee: 8:00am-10:30am
Session 1. 10:30am-1:00pm. Chairperson: Giorgio Ausiello
Database Queries and Programming Constructs (Invited Lecture), Ashok
K. Chandra (IBM T.J. Watson Research Center, USA)
Presentation of the Witold Lipski Award to V.S. Lakshmanan.
Split-Freedom and MVD-Intersection: A New Characterization of
Multivalued Dependencies Having Conflict-Free Covers, V. S. Lakshmanan
(Indian Institute of Science, India)
A Polynomial-time Join Dependency Implication Algorithm for Unary
Multi-valued Dependencies, George Loizou (Birkbeck College, Univ. of
London, UK), P. Thanisch (Lattice Logic, UK)
Horizontal Decompositions Based on Functional-Dependency-Set-
Implications, Paul De Bra (University of Antwerp UIA, Belgium)
Luncheon: 1:00pm-2:30pm
Session 2. 2:30pm-4:00pm. Chairperson: TBA
Introduction to the Theory of Nested Transactions, Nancy A. Lynch
(MIT, USA), Michael Merritt (ATT Bell Laboratories, USA)
The Cost of Locking, Peter K. Rathmann (Stanford University, USA)
Update Serializability in Locking R. C. Hansdah, L. M. Patnaik
(Indian Institute of Science, India)
Coffee Break: 4:00pm-4:30pm.
Session 3. 4:30pm-6:00pm. Chairperson: John Mylopoulos.
Restructuring of Semantic Database Objects and Office Forms, Serge
Abiteboul (INRIA, France), Richard B. Hull (University of Southern
California, USA)
Entity-Relationship Consistency for Relational Schemas, Johann A.
Makowsky, Victor M. Markowitz, N. Rotics (Technion, Israel)
Unsolvable Problems Related to the View Integration Approach,
Bernhard Convent (Universitaat Dortmund, Fed. Rep. of Germany)
TUESDAY, SEPTEMBER 9
Session 4. 9:00am-10:45am. Chairperson: Domenico Sacca`
Logic Programming and Parallel Complexity (Invited Lecture), Paris
Kanellakis (Brown University, USA)
Updating Logical Databases Containing Null Values, Marianne Winslett
Wilkins (Stanford University, USA)
Update Semantics under the Domain Closure Assumption, Laurence Cholvy
(ONERA-CERT-DERI, France)
Coffee Break: 10:45am-11:15am
Session 5. 11:15am-12:45pm. Chairperson: Jan Paredaens
On the Desirability of Gamma-Acyclic BCNF Database Schemes, Edward
P.F. Chan, Hector J. Hernandez (University of Alberta, Canada)
Set Containment Inference, Paolo Atzeni (IASI-CNR, Italy), D. Stott
Parker (UCLA, USA)
Interaction-Free Multivalued Dependency Sets, Dirk Van Gucht (Indiana
University, USA)
Luncheon: 12:45pm-2:30pm
Session 6. 2:30pm-4:00pm. Chairperson: TBA
Efficient Multidimensional Dynamic Hashing for Uniform and Non-Uniform
Record Distributions, Hans-Peter Kriegel, Bernhard Seeger
(Universitaat Wuerzburg, Fed. Rep. of Germany)
List Organizing Strategies Using Stochastic Move-to-Front and
Stochastic Move-to-Rear Operations, B. John Oommen (Carleton
University, Canada), E. R. Hansen (Lockheed Missiles and Space Co.,
USA)
Coffee Break: 3:30pm-4:00pm.
Session 7. 4:00pm-5:30pm. Chairperson: TBA
A Domain Theoretic Approach to Higher-Order Relations, Peter Buneman
(University of Pennsylvania, USA)
Theoretical Foundation of Algebraic Optimization Utilizing
Unnormalized Relations, Marc H. Scholl (Technische Hochschule
Darmstadt, Fed. Rep. of Germany)
Modelling Large Bases of Categorized Data with Acyclic Schemes, F. M.
Malvestuto (ENEA, Italy)
Banquet: 8:00pm-11:00pm
WEDNESDAY, SEPTEMBER 10
Session 8. 9:00am-10:45am. Chairperson: TBA
The Generalized Counting Method for Recursive Logic Queries (Invited
Lecture), Carlo Zaniolo (MCC, USA)
Some Extensions to the Closed World Assumption in Databases, Shamim
A. Naqvi (MCC, USA)
Query Processing in Incomplete Logical Databases, Nadine Lerat
(Universite` de Paris-Sud, France)
Filtering Data Flow in Deductive Databases, Michael Kifer (SUNY at
Stony Brook, USA), Eliezer L. Lozinskii (Hebrew University, Israel)
Coffee Break: 11:15am-11:45am
Session 9. 11:45am-12:45pm. Chairperson: TBA.
A New Characterization of Distributed Deadlock in Databases, Ouri
Wolfson (Technion, Israel)
Towards Online Schedulers Based on Pre-Analysis Locking, Georg Lausen
(Technische Hochschule Darmstadt, Fed. Rep. of Germany), Eljas
Soisalon-Soininen (University of Helsinki, Finland), Peter Widmayer
(Universitaat Karlsruhe, Fed. Rep. of Germany)
PROGRAM COMMITTEE
S.Abiteboul (France); G.Ausiello (Italy), chairman; F.Bancilhon
(France, USA); A.D'Atri (Italy); M.Moscarini (Italy); J.Mylopoulos
(Canada); J-M.Nicolas (France, West Germany); J.Nievergelt
(Switzerland); C.H.Papadimitriou (Greece, USA); J.Paredaens (Belgium);
D.Sacca` (Italy); N.Spyratos (France); J.D.Ullman (USA); M.Y.Vardi
(USA).
REGISTRATION
Registration, except for students, includes technical sessions, one
copy of the preprints of the proceedings, luncheons (Monday and
Tuesday), banquet (Tuesday), and refreshments during the coffee breaks.
Student registration is available to full-time students only, and must
be documented by a faculty member certification or photocopy of student
card, and includes the technical sessions, preprints and refreshments.
Registration fee:
Before Aug.15 After Aug.15
Member of IEEE or EATCS: Lit. 180000 [ ] 250000 [ ]
US $ 120 [ ] 165 [ ]
Nonmember: Lit. 200000 [ ] 270000 [ ]
US $ 135 [ ] 180 [ ]
Student: Lit. 75000 [ ] 100000 [ ]
US $ 50 [ ] 65 [ ]
[...]
GENERAL INFORMATION
LOCATION: Conference activities will take place in the headquarters of the
Italian Research Council, in front of the main campus of the University
of Rome "La Sapienza":
CNR: Consiglio Nazionale delle Ricerche
Piazzale Aldo Moro 7
MAIL AND MESSAGES: The official mailing address of ICDT'86 is:
ICDT'86 c/o Paolo Atzeni
IASI-CNR
Viale Manzoni 30
00185 Roma Italy
Telephone (before the conference) +39 (6) 770031
(during the conference) +39 (6) 4993379
Telex: 610076 CNRRM I (Attention: Dr. Atzeni IASI)
During the conference, participants can receive mail at the above
address, but are suggested to have telephone messages directed to the
respective hotels.
TRANSPORTATION: Aeroporto Leonardo Da Vinci, Fiumicino, is Rome
International Airport. ACOTRAL buses leave the airport every 20 or 30
minutes for the downtown air terminal, located in Via Giolitti, at the
main railway station (Stazione Termini). The hotels are within walking
distance from the terminal (300mt). ACOTRAL costs Lit.6000 (about US $
4.00), and tickets must be bought within the airport, before boarding
the bus. Taxi fare from the airport to downtown is about Lit.45000
(about US $ 30) (authorized taxi cabs are yellow and have a license
number; use only yellow taxis and ask for a receipt).
Detailed information on how to get to the conference site (1500 mt.
from the hotels) will be available at the hotels.
BANQUET: The conference banquet will be held at Hotel Columbus, (Via della
Conciliazione 33, near the Vatican). Vegetarian meals will be available
only to preregistrants requesting them. Additional tickets for the
banquet will be available at the registration desk for Lit.50000.
TRAVEL INFORMATION: American Express offers various half-day tours of Rome
every day, in the morning and in the afternoon, for about Lit.
30000-35000 (US $ 20 - 23), and one or two days tours to other
interesting locations. Information requests to American Express can be
sent together with hotel reservations.
CLIMATE: Weather in Rome in September is quite warm, with temperatures
between 25 and 30 degrees C (77 - 86 degrees F).
THINGS TO SEE AND TO DO: Anything you like; the decision problem may be
unsolvable.
The organizers of ICDT'86 would like to thank the following financial
supporters.
- Banca Nazionale del Lavoro
- Consiglio Nazionale delle Ricerche
- Enidata S.p.A.
- Selenia S.p.A.
- Universita` di Roma "La Sapienza"
------------------------------
End of AIList Digest
********************
