11.896, Calls: Natural Lang Generation, Computational Logic
The LINGUIST Network
linguist at linguistlist.org
Tue Apr 18 22:35:25 UTC 2000
LINGUIST List: Vol-11-896. Tue Apr 18 2000. ISSN: 1068-4875.
Subject: 11.896, Calls: Natural Lang Generation, Computational 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: Ljuba Veselinova, Stockholm U. <ljuba at linguistlist.org>
Scott Fults, E. Michigan U. <scott at linguistlist.org>
Jody Huellmantel, Wayne State U. <jody at linguistlist.org>
Karen Milligan, Wayne State U. <karen at linguistlist.org>
Assistant Editors: Lydia Grebenyova, E. Michigan U. <lydia at linguistlist.org>
Naomi Ogasawara, E. Michigan U. <naomi at linguistlist.org>
James Yuells, Wayne State U. <james at linguistlist.org>
Software development: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
Sudheendra Adiga, Wayne State U. <sudhi at linguistlist.org>
Qian Liao, E. Michigan U. <qian at linguistlist.org>
Home Page: http://linguistlist.org/
The LINGUIST List is funded jointly by Eastern Michigan University,
Wayne State University, and donations from subscribers and publishers.
The LINGUIST Fund Drive for 2000 has begun. We need your help to
continue providing the LINGUIST services! Come to the URL
http://linguistlist.org/donation.html and make a donation.
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: Tue, 18 Apr 2000 17:44:54 +0300 (IDT)
From: "International Natural Language Generation Conference-Dr. Elhadad" <nlg2000 at CS.BGU.AC.IL>
Subject: International Natural Language Generation (INLG'2000)
2)
Date: Tue, 18 Apr 2000 16:46:27 +0200 (MET DST)
From: "F. van Raamsdonk" <femke at skiff.cs.vu.nl>
Subject: Logic-based Program Synthesis and Transformation (LOPSTR 2000)
-------------------------------- Message 1 -------------------------------
Date: Tue, 18 Apr 2000 17:44:54 +0300 (IDT)
From: "International Natural Language Generation Conference-Dr. Elhadad" <nlg2000 at CS.BGU.AC.IL>
Subject: International Natural Language Generation (INLG'2000)
International Natural Language Generation
INLG'2000
Mitzpe Ramon, Israel
Workshops: 12 June 2000
Main conference: 13-16 June 2000
First Call For Participation
The First International Natural Language Generation Conference (INLG'2000)
will be held June 12 to 16, 2000 in Mitzpe Ramon, Israel. This conference
continues in the tradition of the nine biennial workshops on natural
language generation that have been held from 1980 to 1998. INLG'2000 will
offer the opportunity to a larger audience to participate in the main
meeting of researchers in the field.
Following the tradition of previous INLG meetings, the conference will
be held in an isolated and stunning natural environment: the Ramon Inn
hotel, in Mitzpe Ramon, Israel. The hotel is located on the edge of
the Ramon Crater, in the middle of the Negev Desert.
Conference Main topics:
* Generation and summarization
* Multimodal and multimedia generation
* Multilingual generation
* Concept to speech, models of intonation
* Strategic generation for text and dialogue
* Text planning, discourse models, argumentation strategies, content
selection and organization
* Tactical generation, formalisms and models of grammar, sentence
aggregation, lexical choice
* Architecture of generators
* Knowledge acquisition and resources for generation and summarization
* User-customized generation and summarization
* Psychological modeling of discourse production
* Learning methods for generation
* Evaluation methodologies for generation and summarization
* Applications of: generation, concept-to-speech, information extraction,
information retrieval techniques to summarization, report generation,
explanation.
The conference is organized in four tracks:
1. Main session
2. Student session
3. Workshops
4. Special session on evaluation in generation
Registration form for the main conference is available at our homepage:
http://www.cs.bgu.ac.il/~nlg2000
Registration form for the workshops will be available soon, as well as
the full program.
Registration will be accepted until May 15th. After this date, a late
registration fee will be required.
------------------------------------------------------------------------
Programme Committee
* Michael Elhadad, Ben Gurion University, Israel (Chair)
* Stephan Buseman, DFKI, Germany
* Graeme Hirst, University of Toronto, Canada
* James Lester, North Carolina State University, USA
* Inderjeet Mani, The MITRE Corporation, USA
* Kathy McCoy, University of Delaware, USA
* David McDonald, Gensym Corp, USA
* Dragomir Radev, University of Michigan, USA
* Jacques Robin, Federal University of Pernambuco, Brazil
* Donia Scott, University of Brighton, UK
* Manfred Stede, Technical University, Berlin, Germany
* Matthew Stone, Rutgers University, USA
* Ingrid Zukerman, Monash University, Australia
Student Session
* Irene Langkilde, University of South California - ISI
* Charles Brendan Callaway, North Carolina State University
* James Shaw, Columbia University
Special Session on Evaluation
* Inderjeet Mani, The MITRE Corporation
Equipment Availability
Presenters will have available an overhead projector, a slide projector, a
data projector (Barco) which will display from laptops, and a VHS (PAL)
videocassette recorder. NTSC format may be available; if you anticipate
needing NTSC, please note this information in your proposal. Requests for
other presentation equipment will be considered by the local organizers;
requests for special equipment should be directed to the local organizers no
later than May 15, 2000.
------------------------------------------------------------------------
Local Arrangements
* Michael Elhadad elhadad at cs.bgu.ac.il
* Yael Dahan Netzer yaeln at cs.bgu.ac.il
Dept. of Computer Science
Ben Gurion University
P.O.Box 643
Beer Sheva 84105
Israel
------------------------------------------------------------------------
-------------------------------- Message 2 -------------------------------
Date: Tue, 18 Apr 2000 16:46:27 +0200 (MET DST)
From: "F. van Raamsdonk" <femke at skiff.cs.vu.nl>
Subject: Logic-based Program Synthesis and Transformation (LOPSTR 2000)
Final Call for Papers
---------------------
LOPSTR 2000
Tenth International Workshop on
Logic-based Program Synthesis and Transformation
Program Development Stream of CL 2000
First International Conference on Computational Logic
24-28 July 2000
Imperial College, London, UK
http://www.cs.man.ac.uk/~kung-kiu/lopstr2000
LOPSTR 2000, The Tenth International Workshop on Logic-based Program
Synthesis and Transformation will be held on 24-28 July 2000 at
Imperial College, London, UK, as the Program Development Stream at
CL2000, the First International Conference on Computational Logic.
The aim of LOPSTR ( http://www.cs.man.ac.uk/~kung-kiu/lopstr ) is to
stimulate and promote international research and collaboration on
logic-based program development, and the workshop is open to
contributions in logic-based program development in any paradigm. Past
workshops were held in Manchester, UK (1991, 1992, 1998),
Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, the
Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997),
Venice, Italy (1999).
LOPSTR also aims to be a lively, friendly forum for presenting and
discussing work in progress, so it is a real workshop in the sense
that it is intended to provide useful feedback to authors on their
preliminary research. Formal proceedings of the workshop are produced
only after the workshop, in order that authors can incorporate this
feedback in the published papers.
LOPSTR 2000 will be run as follows:
- Authors submit extended abstracts (8 pages) describing work in progress.
- Promising abstracts relevant to the scope of LOPSTR are selected
for presentation at the workshop.
- At the workshop, only informal pre-proceedings of the selected
abstracts are available (usually in the form of a technical report).
- After the workshop, authors of the best abstracts are invited to
submit full papers. These are reviewed, and accepted papers then
form the formal (fully refereed) proceedings of the workshop,
currently published in the Lecture Notes in Computer Science series,
by Springer-Verlag.
Topics
------
We solicit extended abstracts describing work in progress. Topics of
interest cover all aspects of logic-based program development, all
stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large.
For programming-in-the-small, the following is a non-exhaustive list:
- specification - analysis
- synthesis - optimisation
- verification - composition
- transformation - reuse
- specialisation - applications
For programming-in-the-large, the above topics are particularly of
current interest in the context of:
- component-based software development
- software architectures
- design patterns and frameworks.
Submission Guidelines
---------------------
Extended abstracts should be written in English and should not exceed
8 pages in llncs format ( http://www.springer.de/comp/lncs/authors.html ).
Abstracts must be submitted electronically using the submission form
( http://www.cs.man.ac.uk/~kung-kiu/lopstr2000/subm ).
Submission deadline: 21 April 2000
Notification: 26 May 2000
Programme Chair
---------------
Kung-Kiu Lau, Manchester, UK
Programme Committee
-------------------
David Basin Freiburg, Germany
Annalisa Bossi Venice, Italy
Antonio Brogi Pisa, Italy
Maurice Bruynooghe Leuven, Belgium
Mireille Ducasse IRISA/INSA, France
Sandro Etalle Maastricht, The Netherlands
Pierre Flener Uppsala, Sweden
Michael Hanus Kiel, Germany
Ian Hayes Queensland, Australia
Manuel Hermenegildo Madrid, Spain
Patricia Hill Leeds, UK
Kung-Kiu Lau Manchester, UK
Baudouin Le Charlier Namur, Belgium
Michael Leuschel Southampton, UK
Michael Lowry NASA Ames, USA
Ali Mili West Virginia, USA
Torben Mogensen Copenhagen, Denmark
Alberto Pettorossi Rome, Italy
Don Sannella Edinburgh, UK
Doug Smith Kestrel Institute, USA
Zoltan Somogyi Melbourne, Australia
CL 2000
-------
As the Program Development Stream at CL2000, LOPSTR 2000 will also
include CL 2000 full papers on program development (the submission
deadline for these is past), and LOPSTR 2000 participants will be
able to attend all CL 2000 sessions.
CL 2000 Invited Speakers
------------------------
Keynote Speaker: J. Alan Robinson
Invited Speakers: Krzysztof Apt
Melvin Fitting
David Page
David Poole
Leslie Valiant
(plus 2 more to be advised)
Tutorial Speakers:
Peter Flach
"Knowledge Representation for Inductive Logic Programming"
Michael Hanus
"Functional Logic Programming"
Manuel Hermenegildo
"Ciao Development System"
Michael Kohlhase
"Deduction in Natural Language Understanding"
Aart Middeldorp
"Term Rewriting and Narrowing"
Stephen Muggleton
"Applications of Inductive Logic Programming"
Ilkka Niemela
"Stable Model Semantics: From Theory to Implementations and Applications"
Andreas Podelski
"Constraints for Program Analysis and Model Checking"
Vitor Santos Costa
"High Performance Logic Programming Systems"
Pascal Van Hentenryck
"Optimization Programming Language"
Toby Walsh
"Phase Transition Behaviour"
Michael Wooldridge
"The Logic of Rational Agency"
---------------------------------------------------------------------------
LINGUIST List: Vol-11-896
More information about the LINGUIST
mailing list