Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 14 No. 26
NL-KR Digest Tue Apr 25 19:56:57 PDT 1995 Volume 14 No. 26
Today's Topics:
CFP: 2nd Intl. Summer School in Cog. Sci., Jul 95, Sofia
Program: NLULP'95 NL Understanding and Logic, May 29, Lisbon
CFP: AAAI Fall Symposium on Rational Agency, Nov 95, Cambridge
CFP: EC-IL Interpretation of Logic Languages, June 95, Eilat
* * *
Subcriptions: listserv-style administrative requests to
nl-kr-request@ai.sunnyside.com.
Submissions, policy, questions: nl-kr@ai.sunnyside.com
To speed up processing of your submission write to
listserv@ai.sunnyside.com with the message:
GET nl-kr style
Back issues:
FTP: ai.sunnyside.com:/pub/nl-kr/Vxx/Nyyy
/pub/nl-kr/Vxx/INDEX
Gopher: ai.sunnyside.com, Port 70, in directory /pub/nl-kr
Email: write to LISTSERV@AI.SUNNYSIDE.COM, omit subject, mail command:
GET nl-kr nl-kr_file_list
Web: http://ai.sunnyside.com/pub/nl-kr
Editors:
Al Whaley (al@ai.sunnyside.com) and
Chris Welty (weltyc@sigart.acm.org).
-----------------------------------------------------------------------
Date: Mon, 10 Apr 95 20:29:56 BG
From: boicho <KOKINOV@BGEARN.BITNET>
Subject: CFP: 2nd Intl. Summer School in Cog. Sci., Jul 95, Sofia
To: Al Whaley <al@SUNNYSIDE.COM>
2nd International Summer School
in
Cognitive Science
Sofia, July 3-16, 1995
Second Call for Papers and School Brochure
Endorsing Organizations:
the European Society for Cognitive Psychology and
the European Coordinating Committee for Artificial
Intelligence
The Summer School features introductory and advanced courses
in Cognitive Science, participant symposia, panel
discussions, student sessions, and intensive informal
discussions. Participants will include university teachers
and researchers, graduate and senior undergraduate students.
International Advisory Board
Elizabeth BATES (University of California at San Diego, USA)
Amedeo CAPPELLI (CNR, Pisa, Italy)
Cristiano CASTELFRANCHI (CNR, Roma, Italy)
Daniel DENNETT (Tufts University, Medford, Massachusetts,
USA)
Ennio De RENZI (University of Modena, Italy)
Charles DE WEERT (University of Nijmegen, Holland )
Christian FREKSA (Hamburg University, Germany)
Dedre GENTNER (Northwestern University, Evanston, Illinois,
USA)
Christopher HABEL (Hamburg University, Germany)
Joachim HOHNSBEIN (Dortmund University, Germany)
Douglas HOFSTADTER (Indiana University, Bloomington, Indiana,
USA)
Keith HOLYOAK (University of California at Los Angeles, USA)
Mark KEANE (Trinity College, Dublin, Ireland)
Alan LESGOLD (University of Pittsburg, Pennsylvania, USA)
Willem LEVELT (Max-Plank Institute of Psycholinguistics,
Nijmegen, Holland)
David RUMELHART (Stanford University, California, USA)
Richard SHIFFRIN (Indiana University, Bloomington, Indiana,
USA)
Paul SMOLENSKY (University of Colorado, Boulder, USA)
Chris THORNTON (University of Sussex, Brighton, England)
Carlo UMILTA' (University of Padova, Italy)
Courses
Computer Models of Emergent Cognition - Robert French
(Indiana University, USA)
Hemispheric Mechanisms in Cognition - Eran Zaidel (UCLA,
USA)
Cross-Linguistic Studies of Language Processing -
Elizabeth Bates (UCSD, USA)
Aphasia Research - Nina Dronkers (UC at Davis, USA)
Topics in Cognitive Linguistics - Elena Andonova (NBU,
Bulgaria)
Parallel Pathways of Visual Information Processing -
Angel Vassilev (NBU, Bulgaria)
Color Vision - Charles De Weert (University of Nijmegen,
The Netherlands)
Spatial Attention - Carlo Umilta' (University of Padova,
Italy)
Integration of Language and Vision - Geoff Simmons
(Hamburg University, Germany)
Analogical Reasoning: Psychological Data and
Computational Models - Boicho Kokinov (NBU, Bulgaria)
Philosophy of Mind - Lilia Gurova (NBU, Bulgaria)
Emotion and Cognition - Cristiano Castelfranchi (CNR,
Italy)
Participant Symposia
Participants are invited to submit papers reporting completed
research which will be presented (30 min) at the participant
symposia. Authors should send full papers (8 single spaced
pages) in triplicate or electronically (postscript, RTF, or
plain ASCII) by April 17. Selected papers will be published
in the School's Proceedings. Only papers presented at the
School will be eligible for publication.
Student Session
Graduate students in Cognitive Science are invited to present
their work at the student session. Research in progress as
well as research plans and proposals for M.Sc. Theses and
Ph.D. Theses will be discussed at the student session.
Panel Discussions
Language Processing: Rules or Constraints?
Vision and Attention
Integrated Cognition
Local Organizers
New Bulgarian University, Bulgarian Academy of Sciences,
Bulgarian Cognitive Science Society
Endorsing Organizations
European Society for Cognitive Psychology, European
Coordinating Committee for Artificial Intelligence
Local Organizing Committee
Boicho Kokinov - School Director, Elena Andonova, Lilia
Gurova, Vassil Nikolov, Lora Likova
Timetable
Registration Form: as soon as possible
Deadline for paper submission: April 17
Notification for acceptance: May 15
Early registration: May 30
Arrival day and on site registration July 2
Summer School July 3-14
Excursion July 15
Departure day July 16
Paper submission to:
Boicho Kokinov
Cognitive Science Department
New Bulgarian University
21, Montevideo Str.
Sofia 1635, Bulgaria
e-mail: cogsci95@adm.nbu.bg or kokinov@bgearn.bitnet
Send your Registration Form to:
e-mail: cogsci95@adm.nbu.bg
Housing and Fees
Housing possibilities
The Organizing Committee has been able to sign contracts with
a hotel and two student hostels/dormitories and is able to
provide accommodation at very favorable prices. However, the
participants have to pay the whole sum in advance to the
organizing committee. This fee includes accommodation and
full board for the period July 2 - 16, as well as
participation in all courses, participant symposia, panel
discussions, student sessions. We have the following
possibilities for accommodation all of them within walking
distance from the School venue.
Residence Full fee
- 3* hotel(single room)+full board+registration fee USD 740
- 3* hotel (double room)+full board+registration fee USD 470
- student hostels + full board + registration fee USD 290
Financial Support
The Organizing committee has some VERY limited possibilities
for partial financial support of participants from Eastern
and Central Europe. We strongly advise potential participants
to look for other funding possibilities.
Methods of Payment
Bank transfer to: New Bulgarian University - CogSci95,
Bank account 940-110-929-6711, Bulgarian Post Bank,
1, Bulgaria Blvd., Sofia, Bulgaria. (transfer fees prepaid).
Check made payable to New Bulgarian University (add USD10
processing fees)
Pay in cash (in USD only) at on site registration, in
this case add USD50 for late registration.
Cancellations and Reimbursement
If you cancel your registration before June 15 you will be
refunded with a 15% reduction, afterwards no refunding will
be possible.
Timetable
As we have received a huge number of inquiries about the
Summer School and the number of participants in the Summer
School is limited, the applications will be served on a
first-come-first-served basis. So, please register (and make
the due payments) as soon as possible.
Send your Registration Form as soon as possible to:
CogSci95
Cognitive Science Department
New Bulgarian University
21, Montevideo Str.
Sofia 1635, Bulgaria
e-mail: cogsci95@adm.nbu.bg
- - - - - - - - - - - - -
International Summer School in Cognitive Science
Sofia, July 3-14, 1995
Registration Form
Last Name:
First Name:
Status: Professor / Academic Researcher / Applied Researcher
/ Graduate Student / Undergraduate Student
Affiliation:
University:
Department:
Country:
Mailing address:
e-mail address:
fax:
I intend to submit a paper: (title)
I am registering for the following courses:
I am registering for the following housing option:
- 3* hotel(single room)+full board+registration fee USD 740
- 3* hotel (double room)+full board+registration fee USD 470
- student hostels + full board + registration fee USD 290
Method of payment:
- I have made a bank transfer (transfer fees should be
prepaid)
- I am enclosing a check payable to New Bulgarian University
(add USD10 to cover the processing fee)
- I will pay in cash on site (add USD50 for late
registration)
- I am from Eastern/Central Europe and I would like to apply
for partial financial support
Signature:
-----------------------------------------------------------------------
To: comp-ai-nlang-know-rep@uunet.uu.net
From: gpl@fct.unl.pt
Subject: Program: NLULP'95 NL Understanding and Logic, May 29, Lisbon
Date: 12 Apr 1995 11:57:47 -0500
Please Post Please post Please Post Please Post Please Post
PRELIMINARY PROGRAM AND REGISTRATION FORMS
for the
Fifth International Workshop on
Natural language Understanding and Logic Programming
NLULP5
Conference dates: May 29 (Mon) --- 31 (Wed), 1995
Conference place: Fundacao Calouste Gulbenkian, Lisbon, Portugal
Avenida de Berna, 45
PROGRAMME COMMITTEE:
Hozumi Tanaka (Tokyo) Yuji Matsumoto (Nara)
Harvey Abramson (Aizu) Charles Grant Brown (Stockholm)
Veronica Dahl (Vancouver) Sandiway Fong (NEC, Princeton)
Mark Johnson (Providence, RI) Martin Kay (Xerox, Palo Alto)
Gregers Koch (Copenhagen) Michael C. McCord (IBM Yorktown)
Fred Popowich (Vancouver) Patrick Saint-Dizier (Toulouse)
Luis Moniz Pereira (Lisbon) Helder Coelho (Lisbon)
Ryoichi Sugimura(Matsushita Electric Ind.,Osaka)
Gabriel P. Lopes (Lisbon) (chair)
PRELIMINARY PROGRAM
MONDAY, May 29
9:00-9:30: Registration
9:45-10:00: Opening remarks, welcome
10:00-11:00: Fernando Pereira, invited speaker
11:00-11:30: Coffee break
11:30-12:30: paper's presentation on discourse
11:30 Seiki Akama and Michio Kobayashi, Japan
"A labelled Deductive Approach to DRT I"
12:00 Irene Pimenta Rodrigues Gabriel Pereira Lopes, Portugal
"Representing events and states for information retrieval from text"
12:30 - 2:00 Lunch break
14:00-15:00: Sandiway Fong, invited speaker
15:00-15:30: Coffee break
15:30-17:00: paper's presentation on Generation and Machine Translation
15:30 Claire Gardent, Germany
"Generating Discourse"
16:00 Barbara Gawronska and Caroline Willners, Sweden
"Automatic Generation of Domain-Specific Abstracts"
16:30 Fred Popowich, Canada
"Improving the Efficiency of a Generating Algorithm for Shake and
Bake Machine Translation Using Head-Driven Phrase Structure Grammar"
18:00 Wellcome Port at Lisbon's City Council
TUESDAY, May 30
9:00-10:00: Harvey Abramson, invited speaker
10:00-11:00: paper's presentation on well formedness
10:00 Robert Pasero and Paul Sabatier, France
"Guided Sentences Composition"
10:30 Joao Balsa, Veronica Dahl and G. Pereira Lopes, Portugal and Canada
"Datalog Grammars for Abductive Syntactic Error Diagnosis and Repair"
11:00-11:30: Coffee break
11:30-12:30: paper's presentation on parsing
11:30 Klaus Mecklenburg, Paul Heisterkamp, and Gerhard Hanrieder, Germany
"A Robust parser for continuous spoken language using PROLOG"
12:00 Norman Creaney, United Kingdom
"Implementing Scope and Dependency Constraints in a Typed Attribute
Logic"
12:30 - 2:00 Lunch break
14:00-15:00: invited lecture, the speaker will be announced soon
15:00-15:30: Coffee break
15:30-17:00: paper's presentation on computational lexicons
15:30 A.Michiels, Belgium
"Multi-word Units in Horatio"
16:00 Patrick SAINT-DIZIER, France
"Modelling Type Coercion in Generative Lexicon and its
Implementation in Logic Grammars"
16:30 Masahiko Haruno, Japan
"Verbal Case Frame Acquisition as Data Compression"
Workshop dinner
WEDNESDAY, May 31
9:00-10:30: paper's presentation on features, parsing and pragmatics
9:00 Shuly Wintner, and Nissim Francez, Israel
"Abstract Machine for Typed Feature Structures"
9:30 Walt Detmar Meurers, and Guido Minnen, Germany
"A Computational Treatment of Lexical Rules as Covariation in
Lexical Entries"
10:00 Seiki Akama, Japan,
"Formalizing Implicatures in Annotated Logic"
10:30-11:00: Coffee break
11:00-12:30: Round table on Teaching, research and industrial prospects for
Natural Language Understanding and Logic Programming
12:30-12:45: Close
RESERVE PAPERS
Lena Stromback, Sweden
"Using Logic Programming Results while Developing a Flexible
Unification-Based Grammar Formalism"
Philippe Blache, and Nabil Hathout, France
"Constraint Logic Programming for Natural Language Processing"
The above reserve papers will be published in the Proceedings. They will be
presented if any of the other authors can't present their papers at last minute.
These papers will be published by Springer Verlag in the LNAI Series.
EXHIBITION
During the two and a half days duration of the workshop there will be a book
exhibition by some of the leading international publishers.
SPONSORS
NLULP'95 is sponsored by Fundacao Calouste Gulbenkian, Fundacao Luso-Americana
para o Desenvolvimento (FLAD), Fundacao do Oriente, Junta Nacional de
Investigacao Cientifica e Tecnologica (JNICT), Associacao Portuguesa para a
Inteligencia Artificial (APPIA), the Network of Excellence in Computational
Logic (COMPULOG NET), Secretaria de Estado da Ciencia e Tecnologia, Caixa Geral
de Depositos, Banco Portugues do Atlantico, IBM Portuguesa, SA, Camara Municipal
de Lisboa.
= = = = = = = = = = = = =
The Fifth International Workshop on
Natural Language Understanding and Logic Programming
Registration Form
Please complete this form and return it to:
Jose Gabriel Pereira Lopes (NLULP 95)
Departamento de Informatica,
Faculdade de Ciencias e Tecnologia,
Universidade Nova de Lisboa
Quinta da Torre
2825 Monte da Caparica, Portugal
Phone: 351 1 295 32 20 Fax: 351 1 295 56 41
Email: gpl@fct.unl.pt
Please type or print in block letters.
Title (Prof, Dr, Mr, Ms):
First Name:
Last name:
Institution:
Department:
Address:
Phone: Fax:
Email:
Registration Fee: (includes coffee breaks, Workshop dinner)
(Special food requirements for the Workshop dinner:
vegetarian __, other:________________)
22 500 Pte -- If registration and remmitance completed by April 28, 1995
30 000 Pte -- After April 28, 1995
17 500 Pte -- Full-time student, certificate required, no late fee for
students
(Pte -- Portuguese escudo)
(Members of Portuguese Association for Artificial Intelligence will have
7 000 Pte reduction)
Remittance:
I have remitted the above sum of total amount in Pte on ___________ (date)
through my bank _____________ (name of your bank) to the account of NLULP-95.
(Personal check will not be accepted. Please make sure that bank transfer
expenses are covered by you.)
Name of Bank: Credit Lyonnais Portugal
Name of Account: NLULP-95
Account No.: 85 938 (Ordinary Deposit)
Please send a copy of bank's receipt of the remittance with this form.
Date:_______________ Signature: __________________________
================================================
The Fifth International Workshop on
Natural Language Understanding and Logic Programming
Hotel Accommodation
Recommended Hotels:
The Hotels are in a walking distance to the Congress Venue - Calouste
Gulbenkian Foundation.
* HOTEL BARCELONA -- A 4 star Hotel with 120 rooms and 5 suites fully
equipped with private bath, satellite TV, mini-bar, telephone with
direct dial, radio, safety box, massage shower and electronic lock.
Garage.
* HOTEL NOVOTEL -- A 3 star Hotel with 246 rooms all complete with
fully-furnished bathroom, color TV, radio, video, mini-bar and
telephone with direct dial for local and long distance call. Two
Restaurants, bar and swimming-pool.
* HOTEL EDUARDO VII -- A 3 star Hotel with 130 rooms and suites all
fully equipped with private bath, direct-dial telephone, air
conditioning, mini-bar, music channels, radio and satellite TV. The
rooftop cocktail-lounge and restaurant have a breathtaking panoramic
view of old Lisbon and the Tagus river.
* HOTEL RENO -- A 3 star Hotel with all rooms
equipped with private bath, shower, radio, telephone and central heating.
80% of the rooms have a balcony. There is service of restaurant and bar.
The daily room charges in Portuguese Escudos (Pte), including tax and
service charges (including Buffet breakfast) are as follows:
Room Charge in Portuguese Escudos:
Name of Hotel Cat Single/room Twin/room
Hotel Barcelona **** 10 100 11 800
Hotel Novotel *** 11 100 11 100
Hotel Eduardo VII *** 8 500 10 000
Hotel Reno *** 7 000 8 000
For further information please contact Meeting Point Travel Agency.
Payment details:
A deposit of Pte. 20 000, is required until 28th April 1995.
The payment can be settled by:
*Bank draf payable to Meeting Point addressed to:
Meeting Point Travel Agency
Quinta de Santa Marta, sala 18
1495 ALG'ES - LISBOA
PORTUGAL
*Bank transfer addressed to:
BANCO ESPIRITO SANTO
Meeting Point Account 036/2340858.8
Largo Comandante Augusto Madureira
ALGES - 1495 LISBOA
PORTUGAL
====================================================
The Fifth International Workshop on
Natural Language Understanding and Logic Programming
Hotel Reservation Form
(Deadline: April 28, 1995)
Please complete this form and return it to:
(together with the deposite, a bank check or a copy of bank's receipt)
Meeting Point Travel Agency
Quinta de Santa Marta, sala 18
Largo Comandante Augusto Madureira
ALG\'ES - 1495 LISBOA
PORTUGAL
Fax. 351 1 4120204
Phone. 351 1 4120888/4108294
Please type or print in block letters.
Participant:
Last name: First name:
Address:
City/Town/Postal Code: Country:
Fax: Phone:
Accompanying Person(s):
Last name: First name:
Last name: First name:
Hotel Accommodation:
Room Charge in Portuguese Escudos:
Name of Hotel Cat Single/room Twin/room
Hotel Barcelona **** 10 100 11 800
Hotel Novotel *** 11 100 11 100
Hotel Eduardo VII *** 8 500 10 000
Hotel Reno *** 7 000 8 000
The above rates are in Portuguese Escudos (Pte) per room and per night.
Buffet Breakfast and taxes are included.
Arrival Date: / / Departure Date: / / Number of nights:___
Twin room ___ Double room ___ Single room ___
Hotel preference: ___________________________________
Date: / / Signature: _____________________________
= = = = = = = = = = = = = =
The Fifth International Workshop on
Natural Language Understanding and Logic Programming
Accompanying Person's Programme
Please complete this form and return it to:
Meeting Point Travel Agency
Quinta de Santa Marta, sala 18
Largo Comandante Augusto Madureira
ALGES - 1495 LISBOA
PORTUGAL
Fax: 351 1 4120204 Phone: 351 1 4120888/4108294
Date Price per person number of persons
Lisbon and
Discoveries May 29/14h00 3 000 Pte ________
Sintra/Cape
of Roca/Estoril May 30/09h00 8 000 Pte ________
Last name: First name:
The above tours are subject to a minimum of 20 persons.
Kindly contact the "Hospitality Desk" of Meeting Point at the Congress
Centre on Monday morning, May 29th in order to collect your tickets
and to make the payment.
For further information concerning the above or for any other
suggestions please contact the Meeting Point Travel Agency.
* Lisbon and Discoveries -- (Half-Day) Departure from the Congress
Centre - Calouste Gulbenkian Foundation - at 14h00 to the quarter of
Bel\'em, which is famous for its monuments. Stop near the Tower of
Bel\'em - built between 1515 and 1521 - and the Monument to the
Discoveries, which is comprised of a stylized caravel with various
historical figures. Not very far away, we will find the Jer\'onimos
Monastery, built in 1514, which is a good example of the
Gothic-Manueline style. Continue to the downtown and visit the
Cathedral of Lisbon, built in the 2nd half of the XII century in
Romanesque style. Return to the Hotels.
* Sintra/Cape of Roca/Estoril -- (Full-Day including lunch) Departure
from the Congress Centre - Calouste Gulbenkian Foundation - at 09h00
to the delightful village of Sintra, immortalized by the world famous
poet Lord Byron as "Glorious Eden". Visit to the National Palace,
former royal residence, dated from the XIV century with beautiful
tiles, painted ceilings and centuries old walls, as well as an
unusually huge kitchen. Free time for visiting this romantic village.
Lunch in a typical Restaurant. After lunch the tour proceeds to the
Cape of Roca which is the western-most point of Europe. Return to
Lisbon along the shore via Cascais, well known resort and Estoril with
its famous Casino.
-----------------------------------------------------------------------
Date: Tue, 11 Apr 1995 16:30:07 -0700
To: nl-kr-mods@sunnyside.com
From: fehling@lis.stanford.edu (Michael Fehling)
Subject: CFP: AAAI Fall Symposium on Rational Agency, Nov 95, Cambridge
*** REVISED ***
CALL FOR PARTICIPATION -- AAAI FALL SYMPOSIUM
Rational Agency:
Concepts, Theories, Models, and Applications
November 10-12, 1995
Massachusetts Institute of Technology
Cambridge, Massachusetts
EXTENDED SUBMISSION DEADLINE: May 3, 1995
1. Description
This symposium explores conceptions of rational agency and their implications
for theory, research, and practice. The view that intelligent systems are, or
ought to be, rational agents underlies a good deal of the theory and research
in artificial intelligence and related disciplines. However, consensus has yet
to be reached on a proper view of agency and rationality principles for
practical agents.
Traditionally agents are presumed disposed toward purposive, goal-directed
actions. However, alternative theories abound in which agent behavior is
portrayed as fundamentally reactive. Some theories focus on agents' abilities
to embody and manipulate private systems of belief. Other theories depict
agents' abilities to interact overtly with their environment and sometimes
with other agents. Application builders have recently broadened the term
"agent" as referring to any embedded system performing tasks in support of
human users.
Rationality accounts are equally diverse. Rationality involves having
reasons that warrant particular beliefs (epistemic rationality) or
particular desires and actions (strategic or practical rationality). Many
models of agency embrace such logical standards as consistency,
consequential closure, or soundness for epistemic rationality. Other agent
models depict practical rationality as based on some classical or
non-monotonic logic for reasoning about action. Such logicist views of
rational agency are now being challenged by decision theoretic models
emphasizing optimal choice of actions under uncertainty. This includes
recent work on decision theoretic principles of limited rationality.
We invite researchers with an active interest in the concept of rational
agency. Relying upon a mixture of informal presentation and group
discussion, participants will critically examine agency concepts and
rationality principles, review computational agent models and applications,
and explore opportunities for future work on this topic.
2. Submission Information
Those interested in participating should submit a concept paper of no more
than five pages describing their work in relation to any of the following
questions:
* Is rationality important; must an agent be rational to be
successful?
* What are suitable principles of epistemic, strategic, or limited
rationality?
* Are rationality principles applicable to retrospective processes
such as learning?
* What, if any, are the general requirements on rational agent
architectures?
* How, if at all, must a model of rational agency be modified to
account for social, multi-agent interaction?
Those wishing to make a specific presentation should outline its contents
in their concept paper. NOTE: While we recognize that our topic lends
itself to formal analysis, we also encourage discussion of experimental
work with implemented agents.
EXTENDED SUBMISSION DEADLINE: The deadline for receipt of concept papers
has been extended to Wednesday, May 3, 1995.
Concept papers must be emailed to the committee chair, Michael Fehling.
His email address is fehling@lis.stanford.edu. Please send your paper as
either
plain ascii text or as a postscript file.
3. Program Committee
Michael Fehling, Chair Don Perlis
Laboratory for Intelligent Systems Dept. of Computer Science
Stanford University University of Maryland
Martha Pollack John Pollock
Dept. of Computer Science Philosophy Dept.
University of Pittsburgh University of Arizona
-----------------------------------------------------------------------
Date: Mon, 17 Apr 1995 15:25:39 -0200
From: Michael Codish <codish@CS.bgu.ac.il>
To: A.M.King@ukc.ac.uk, Alan.Mycroft@cl.cam.ac.uk,
Subject: CFP: EC-IL Interpretation of Logic Languages, June 95, Eilat
This is a final reminder regarding the Eilat workshop on
abstract interpretation of logic languages. For latest information
see the www page: http://www.cs.bgu.ac.il/~codish/waill.html
This message contains an ascii and latex version of the cfp's.
--------------------------
Call for Papers
Special Workshop on Abstract
Interpretation of Logic Languages
Eilat, Israel
June 18-19
Organized by the EC-IL Explorative Collaborative
Activity, Bottom-up analysis of logic programming
languages: theory, practice and applications, and
the Ben-Gurion University of the Negev
Abstract interpretation is a generic semantic based approach to data
flow analysis. Its central concept is to approximate the behaviour of
a program by abstracting a suitable version of its concrete semantics.
Abstract interpretation has proven highly benificial in the
development of efficient implementations for logic languages. For
these languages the implementation must bridge the gap between the
high-level specification and the machine.
The EC-IL collaborative activity is organizing this 2 day event to
present recent results and ongoing research in the area of semantic
based analysis of logic programming languages. Of special interest are
topics related to practical applications of logic program
analysis. Other topics of interest include, but are not limited to:
- Semantics for Program Analysis
- Abstract Interpretation and Abstract Compilation
- Top-down and bottom-up techniques for program analysis
- Optimizations of the analysis process
- Program transformations and their use in program analysis
- Modular semantic based program analysis
Participation is limited and will be based on invitation. The workshop
will be held at the Hotel Club Inn on the shore of the Red Sea just
opposite the Coral Beach. The program will be organized so that you
can attend lunch sessions together with the fish at Coral Beach.
Important Dates:
Deadline for submission: May 1, 1995
Notification of acceptance: May 15, 1995
Camera-ready papers due: May 31, 1995
Organizers
M. Codish Beer-Sheva
B. Demoen Leuven
M. Falaschi Udine
M. Hermenegildo Madrid
G. Levi Pisa
Y. Sagiv Jerusalem
Submission: Extended abstracts (4-10 pages) must be received by May
1st, 1995. The title page should include each author's name, address,
e-mail, telephone and fax number. We encourage authors to submit
papers electronically in PostScript format to waill@cs.bgu.ac.il.
Alternatively, submit three paper copies. In either case please send
a short message to waill@cs.bgu.ac.il including the title, authors,
and keywords.
WAILL
c/o Michael Codish
Dept. of Math and Computer Science
Ben-Gurion University of the Negev
PoB 653, Beer-Sheva 84105, Israel
Tel. xx972-7-461654
Fax. xx972-7-472909 or xx972-7-472910
At least one of the authors for each accepted paper is expected to
attend the workshop and present the work. The collection of accepted
papers will be made available at the workshop. People interested in
attending this workshop are encouraged to submit a note of interest by
electronic mail to
codish@cs.bgu.ac.il.
A related event taking place in Israel in the same week is
The Fourth Bar-Ilan Symposium on
Foundations of Artificial Intelligence
(BISFAI'95) June 20 - 22
with a special focus on Natural Languages and Artificial Intelligence
Philosophical and Computational Aspects. For further information
about BISFAI contact: bisfai@bimacs.cs.biu.ac.il.
For latest information note our WWW home page at :
http://www.cs.bgu.ac.il/~codish/waill.html
End of NL-KR Digest
*******************
