Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 15 No. 04
NL-KR Digest Mon Jan 22 07:56:23 PST 1996 Volume 15 No. 4
Today's Topics:
Program: 7th Summer School Logic / Info, Aug 95, Prague
CFP: ITS'96 Workshop on QR techniques in ITS, Jun 96, Montreal
CFP: ECAI96 workshop: Empirical AI, Aug 96, Budapest
* * *
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: Wed, 17 Jan 1996 11:20:41 -0800 (PST)
From: "Geert-Jan M. Kruijff" <gj@ufal.ms.mff.cuni.cz>
To: "ESSLLI'96 Publication-on-lists" <acl@cs.columbia.edu>, ad@cs.mu.oz.au,
Subject: Program: 7th Summer School Logic / Info, Aug 95, Prague
ANNOUNCEMENT OF
the Eighth European Summer School in
Logic, Language, and Information
ESSLLI'96
to be held in Prague, Czech Republic
from August 12 until August 23, 1996
Organized under auspices of FoLLI,
the European Association for Logic, Language and Information
URL: http://ufal.ms.mff.cuni.cz
INTRODUCTION
After summerschools in Groningen (1989), Saarbruecken (1990), Leuven (1991),
Colchester (1992), Lisbon (1993), Copenhagen (1994), and Barcelona (1995),
the eighth European Summer School in Logic, Language, and Information will be
held in Prague, Czech Republic, from August 12 until August 23, 1996.
Alike the other summerschools, the main focus will be the intersection of the
areas of between logic, linguistics, and computation, particularly where it
concerns the modelling of human linguistic and cognitive abilities. As such,
the programme includes courses, workshops and symposia covering a variety of
topics within six areas of interest: Logic, Language, Computation, Logic &
Computation, Computation & Language, and Language & Logic.
Courses are cast at both introductory and advanced levels. Introductory
courses are designed to familiarize students with new fields and do not
presuppose any background knowledge, while advanced courses are designed to
allow participants to acquire more specialized expertise in areas they are
already familiar with. Workshops are chaired by an expert in the field and
will provide an opportunity for PhD students and other young researchers to
present their work and gain informed feedback and useful contacts. Symposia
will typically consist of a series of presentations on a timely topic by
people active in the relevant areas. Both workshops and symposia are intended
to encourage collaboration and cross-fertilization of ideas by stimulating
in-depth discussion of issues which are in the forefront of current research
in the field.
Besides courses, workshops and symposia, there will also be evening
lecturers, in which highly actual topics in research in Logic, Language and
Information will be addressed.
A novelty at ESSLLI'96 is the student session. Students are encouraged to
submit short papers describing WORK IN PROGRESS on topics in the areas
covered by the summer school. See section 2 for more information on the
student session.
Below, more detailed information is given about:
1. The programme of ESSLLI'96, given for each of the six areas pointed out
above;
2. The ESSLLI'96 Student Session
3. Local information: ESSLLI'96 site, accommodation, social events;
4. "For More Information": The ESSLLI'96-WebSite, local organization
committee.
Also, more information can be found at the ESSLLI'96 Website,
http://ufal.ms.mff.cuni.cz
The Local Organization Committee hopes to welcome you at ESSLLI'96 in Prague,
in August this year!
=============================================1. The Programme of ESSLLI'96
The programme of ESSLLI'96 is presented here for each of the areas or
'sections', providing for each the courses, workshop(s) and symposium,
together with lecturers (courses) respectively organizers (workshops,
symposia).
Note that this information can also be obtained from the ESSLLI'96 Website
(http://ufal.ms.mff.cuni.cz), together with more detailed information as
abstracts, a preliminary schedule, and addresses of teachers.
* SECTION LOGIC
- Introductory Course:
D. de Jongh (Amsterdam), A. Visser (Utrecht): Intuitionistic Logic
- Advanced Courses:
J. Krajicek (Prague): Classical Propositional Logic and Its Complexity
S. Gottwald (Leipzig): Many Valued and Fuzzy Logics
J. van den Does (Utrecht), D. Westerstahl (Stockholm): Quantification
Logic
V. de Paiva (Cambridge): Categorial Proof Theory and Linear Logic
- Workshop:
Philippe Smets (Bruxelles): Quantitative and Symbolic Approaches to
Uncertainty
- Symposium:
Matthias Baaz (Vienna): Proof Theory and Computational Aspects of
Many-Valued Logics
* SECTION Language
- Introductory Courses:
Eva Hajicov=E1, Vladim=EDr Petkevic, Petr Sgall (Prague):
Dependency Grammar: Linguistic Motivation and Formal Specification
- Advanced Courses:
Regine Eckhardt (Tuebingen):
What Do Events Look Like, and What Are They Good for?
Jean Lowenstamm (Paris): The Syntax of Phonological Expressions
Klaus Netter (Saarbruecken): Unification Grammars
Igor Mel'cuk (Montreal): Morphology and Meaning
- Workshop:
Anne Abeille (Paris) and Paola Monachesi (Tilburg):
Surface-Based Syntax and Romance Languages
- Symposium:
Ivan Sag (Stanford): Syntax and Semantics of Coordination
* SECTION Computation
- Introductory Courses:
Patrick Cousot (Paris): Abstract Interpretation
- Advanced Courses:
P. Van Roy (Saarbruecken):
High Performance Implementation of Logic Programming Systems
Alan Mycroft (Cambridge): Static Analysis and Functional Languages
Manuel Hermenegildo (Madrid): Static Analysis of Constraint Systems
Faron Moller (Sweden): Algorithms for Equivalence and Model Checking
- Workshop:
V. Santos Costa (Porto): High Performance Logic Programming Systems
- Symposium:
Seif Haridi (SICS Sweden): Concurrent Systems
* SECTION Logic & Computation
- Introductory Courses:
Antonia Huertas and Maria Manzano (Barcelona): Extensions of First
Order Logic
Rajeev Gor=E9 (Australian National University):
Tableau Methods for Modal and Temporal Logics
- Advanced Courses:
Thorsten Altenkirch (Edingburgh):Integrated Verification in Type Theory
Johan van Benthem (Amsterdam): Dynamic Logic and Information Flow
Wiebe van der Hoek and Cees Witteveen (Utrecht): Principles of
Nonmonotonic Reasoning
David Basin and Sean Matthews (Saarbruecken):
Logical Frameworks and Philosophical Logics
Peter Gardenfors (Lund): Conceptual Spaces and Cognitive Semantics
- Workshop:
Maarten de Rijke (Warwick): Observational Equivalence and Logical
Equivalence
- Symposium:
Hans van Ditmarsch (Groningen): Logic, Education and Computation
* SECTION Computation & Language
- Introductory Courses:
Gerald Gazdar (Sussex): Introduction to Natural Language Processing
Mats Rooth (Stuttgart): Statistical Techniques for NLP
- Advanced Courses:
Julie Carson-Berndsen and Dafydd Gibbon (Bielefeld): The Logic of
Speech Recognition
Ann Copestake (Stanford) and Alex Lascarides (Edinburgh):
Integrating the Lexicon and Pragmatics
Richard Crouch (Cambridge) and Massimo Poesio (Edinburgh):
Discourse Interpretation with Underspecified Representations
James Pustejovsky and Michael Johnston (Brandeis):
Generative Lexicon Theory and The Computational Lexicon
K. Vijay-Shanker (Delaware) and David Weir (Sussex):
Formal and Computational Aspects of Tree Adjoining Grammars and
Related Constrained Grammar Formalisms
- Workshops:
Walter Daelemans (with Ted Briscoe): Machine Learning of Natural
Language
John Carroll (with Ted Briscoe): Robust Parsing
- Symposium:
Antonion Sanfilippo (England): Current Issues in Lexicalist MT
* SECTION Language & Logic
- Introductory Courses:
Paul King (Tuebingen): From Unification to Constraint: An Evolving
Formalism for Head-driven Phrase Structure Grammar
Werner Saurer (Saarbruecken): Representation and Inference in DRT
- Advanced Courses:
Steven Abney and Fritz Hamm (Tuebingen):
Syntax and Semantics of Nominalization
Jaap van der Does and Michiel van Lambalgen (Amsterdam):
Substructural Quantification
Pavel Materna (Prague): Transparent Intensional Logic -- a Fine
Grained Analysis of Natural Language
Jerry Seligman (Bloomington): Information Systems
James Rogers (Pennsylvania): Topics in Model-Theoretic Syntax
- Workshops:
Uwe Moennich and Hans Peter Kolb (Tuebingen): The Mathematics of
Syntactic Structure
Barbara Partee (UMass) and Jaroslav Peregrin (Prague):
Discourse Kinematics, Topic-Focus Structure, and Logics
- Symposium:
Ruth Kempson (London) and Wilfried Meyer-Viol: Dependency in Logic
and Natural Language
- - - - - - - - - - - - - - --
2. A Novelty at ESSLLI'96: The Student Session
A novelty at ESSLLI'96 is the student session. The purpose of the student
session is to provide students with an opportunity to present their work in
progress and get valuable feedback by senior researchers and
"colleague-students".
To that end, students are encouraged to submit papers of 4-5 pages (including
references), describing work in progress (so as to benefit most from
feedback). The areas of interest are essentially the areas of the summer
school: Logic, Language, Computation, Logic & Language, Logic & Computation,
and Language & Computation. Papers will be reviewed by a committee of
students with expertize in the respective areas.
The student session has been designated its own timeslot in the schedule of
ESSLLI'96. Such basically means that there will be a 90-minutes student
session EVERY DAY, in parallell with maximally five courses. Depending on the
number and quality of submitted papers, either only in the first week or in
both weeks. The session will not be a poster session! Students will be
presenting their work in a 20+10 minutes talk.
At the moment, we are in the process of putting together the Student Session
Program Committee. The deadline for submissions will be the end of April.
Electronic submissions are highly encouraged. Submission formats that will be
accepted are PostScript (A4-pages), standard Tex/Latex, RTF, and plain text,
or laser-quality hardcopies (3) sent to the secretariat. Please, inquire at
the ESSLLI'96 WebSite or at the ESSLLI'96 secretariat for more information.
Note that, in order to present a paper at the ESSLLI'96 Student Session,
you have to register as a participant to ESSLLI'96.
- - - - - - - - - - - - ---
3. Local Information on ESSLLI'96:
ESSLLI'96 will be hosted by the Faculty of Electronical Engineering, Czech
Technical University, in Dejvice, Prague. The site is easily accessible by
all means of public transportation: Tram, metro, and bus are in 5-10 minutes
walking distance, and will take you to virtually any place in the city.
We arrange for accommodation in student dormitories conveniently located in
the faculty's surroundings. All the dormitories are located in side streets,
so the rooms are quiet. The neighbourhood is nice, without much local
traffic.
The dormitories provide double or single rooms and differ with respect to the
rooms having their own bathroom or there being shared showers and toilets on
each floor. More detailed descriptions can be found at the ESSLLI'96
WebSite.
Prague is a city of wonders, as you will -undoubtly- have heard of, and you
will have the possibility to explore our city during the summerschool. For
those who would appreciate some assistance on their voyage of discovery we
are organizing several guided tours in the evenings or during the weekend.
Furthermore, there will of course be the ESSLLI-party, as well as a
welcome-reception.
- - - - - - - - - - - - ----
3. The ESSLLI'96 WebSite, Local organization
Detailed information about ESSLLI'96 is provided at the ESSLLI'96 Website.
The site contains information about the programme (courses, lecturers,
abstracts, schedule), registration, accommodation, the ESSLLI'96 site (local
maps, travel information, etc.), the social programme, and all further
information relevant to the summer school. Important information can be
downloaded in the form of postscript-files.
The Website allows for dynamically switching between the graphical and
text-version of a page, and is updated every week, week and a half so as to
provide always the most up-to-date information.
The ESSLLI'96 Local Organization Committee is composed from people from
- The Institute of Formal and Applied Linguistics,
Department of Mathematics and Physics, Charles University, Prague.
- The Institute of Theoretical and Computational Linguistics,
Department of Philosophy, Charles University, Prague.
- Department of Computers,
Faculty of Electrical Engineering, Czech Technical University, Prague;
- FoLLI, the European Association for Logic, Language and Information.
The committee can be reached at the ESSLLI'96-secretariat:
- Normal Mail:
ESSLLI'96, UFAL MFF UK,
Malostranske nam. 25,
118 00 Praha 1, Czech Republic
- Telephone: ++42-2-245.10.286 (ask our operator for "linguistics")
- Fax: ++42-2-53.27.42
- EMail: esslli@ufal.mff.cuni.cz
- WWW: http://ufal.ms.mff.cuni.cz/
-----------------------------------------------------------------------
From: Labo Heron <its@IRO.UMontreal.CA>
Subject: CFP: ITS'96 Workshop on QR techniques in ITS, Jun 96, Montreal
To: its96-ann@IRO.UMontreal.CA
Date: Wed, 17 Jan 1996 16:28:20 -0500 (EST)
CALL FOR PARTICIPATION
ITS'96 WORKSHOP ON
THE ROLE OF QUALITATIVE REASONING TECHNIQUES
IN INTELLIGENT TUTORING SYSTEMS
To be held in conjunction with ITS'96
Montreal, June 10-14 1996
= = = = = = = = = = = = = = ===
An effective Intelligent Tutor is a computer program that is capable of
instructing or training a student about some complex system, such as
equipment found in a process plant, an organization, or a software package.
It should be able to simulate the abilities of both the teacher and the
learner.
To date, despite the many ideas that have been put forward in the field of
Intelligent Tutoring Systems (ITSs), certain fundamental problems still
remain to be solved. In particular, the problem of modelling the domain
knowledge (or subject matter) across domains in such a way that it provides
means for automatic generation of exercises, explanations, and so forth, is
a major bottle neck. The specific reasoning steps made by a teacher and/or
learner have not sufficiently been grounded in basic knowledge
representation techniques.
Research in qualitative models presents a promising direction to realize
effective intelligent tutors. However the contributions of qualitative
reasoning techniques to the research in ITS have not often been discussed.
TOPICS OF INTEREST
------------------
This workshop focuses on qualitative reasoning techniques that address
problems in ITS. Topics of interest include, but are not limited to:
* Qualitative modeling
o Formal basis
o Model specification languages
o Model-building tools
o Model-management tools
o Shared ontologies
* Qualitative reasoning
o Reasoning models and techniques
o Authoring tools
o Reasoning and planning
o Reasoning about function
* Evaluation
o Performance of qualitative models in ITS
o Suitability of qualitative models in ITS applications
INTENDED AUDIENCE
-----------------
People concerned with the design, development and use of ITSs, and interested
in presenting a position paper (or report-results) that discusses their
contribution to the topics mentioned above.
WORKSHOP OBJECTIVES
-------------------
The goal is to initiate a long-term effort in
* integrating works on qualitative reasoning techniques (previous or
forthcoming workshops) that address important issues and current
unsolved problems with regard to research in ITS,
* publicizing the contribution of qualitative models in ITS by
maintaining sharable resources (mailing list, archives, Web site,
etc.)
SUBMISSION GUIDELINES
---------------------
Submissions may be made in two categories:
1. Author participant: Position statement, extended abstract,
reports, results, or any other short paper addressing topics such
as those listed above. If selected, author attendees may be asked
to present a summary of the paper. For multiple-author papers,
please indicate in a separate cover letter which author will be the
primary contact and presenter, and whether the other authors would
also attend.
2. Participant only: Submit a statement describing why you are
interested in participating, a brief biography, and a list of
relevant publications or products.
All author submissions are subject to the following format requirements:
o Length: 3-5 pages (includes all materials submitted)
o Font: 12pt
o Borders: minimum 1" or 2.6 cm
o Text height: maximum 9" or 23 cm
o Medium:
a. Hard copy submission:
- send 4 copies of the paper to:
Jean-Yves Djamen
Universite de Montreal
Departement IRO
Pavillon Andre Aisenstadt
C.P. 6128 Succ. Centre-Ville
Montreal (Quebec) H3C 3J7
- author's name and affiliation should be separated
from the main text
b. Electronic submission:
- Fold your postscript or text file by anonymous ftp at:
ftp.iro.umontreal.ca in pub/its/Incoming/Workshops/QP/
(Author's name and affiliation should not be included)
- Send a mail message to its96-wqp-chairs@iro.umontreal.ca,
listing: the name of the paper, names, affiliations,
phone/fax and email addresses of all the authors, and the
name of the submitted file.
- For any other type of files, please take arrangement
with its96-wqp-chairs@iro.umontreal.ca
IMPORTANT DATES
---------------
o Paper submission deadline: January 20, 1996
o Notification of Acceptance-Rejection: No later than March 20, 1996
o Camera Ready Copy: TO BE ANNOUNCED
o Copy of proceedings sent to participants: May 10, 1996
For more detail, please visit the following sites:
http://www.iro.umontreal.ca/people/djamen/wqp96.html
http://www.iro.umontreal.ca/labs/its/its96.html
Enquiries to:
its96-wqp-chairs@iro.umontreal.ca
its96-wqp-committee@iro.umontreal.ca
WORKSHOP PROGRAM COMMITTEE
---------------------------
Bert Bredeweg (chair)
University of Amsterdam (The NETHERLANDS)
bert@swi.psy.uva.nl
B. Chandrasekaran
Ohio State University (USA)
chandra@cis.ohio-state.edu
Aurora Diaz
National Research Council (CANADA)
aurora@ai.iit.nrc.ca
Jean-Yves Djamen (chair)
Universite de Montreal (CANADA)
djamen@iro.umontreal.ca
Amruth Kumar
Ramapo College (USA)
amruth@ultrix.ramapo.edu
George Vouros
University of the Aegean (GREECE)
georgev@iit.nrcps.ariadne-t.gr
Barbara White
University of California at Berkeley (USA)
bywhite@garnet.berkeley.edu
Radboud Winkels
University of Amsterdam (The NETHERLANDS)
winkels@paulus.lri.jur.uva.nl
-----------------------------------------------------------------------
To: comp-ai-nlang-know-rep@uunet.uu.net
From: Toby Walsh <tw@cs.strath.ac.uk>
Subject: CFP: ECAI96 workshop: Empirical AI, Aug 96, Budapest
Date: 18 Jan 1996 17:03:41 -0000
ECAI-96 Workshop Call for Participation
Empirical AI
http://dream.dai.ed.ac.uk/group/tw/
Workshop Chair (principal contact):
Toby Walsh, toby@itc.it
IRST, Location Pante di Povo,
I38100 Trento, ITALY
Tel: +39 461 314438
Organizing Committee:
James Crawford, jc@cirl.uoregon.edu
Paul Cohen, cohen@cs.umass.edu
Ian Gent, ipg@cs.strath.ac.uk
David McAllester, dmac@research.att.com
Steve Muggleton, Steve.Muggleton@comlab.ox.ac.uk
Bernhard Nebel, nebel@informatik.uni-ulm.de
Pat Prosser, pat@cs.strath.ac.uk
Louise Pryor, louisep@aisb.ed.ac.uk
Bart Selman, selman@research.att.com
Barbara Smith, bms@scs.leeds.ac.uk
Geoff Sutcliffe, geoff@cs.jcu.edu.au
Christian Suttner, suttner@informatik.tu-muenchen.de
Workshop description:
Many areas of AI are starting to benefit from the results of large
computational experiments. For example, the constraint satisfaction and
satisfiability communities have been revitalized by experiments on hard random
problems. And in theorem proving, the TPTP problem library containing
thousands of theorems provides a basis for comprehensive and meaningful
testing of automated theorem provers. In other areas (like machine learning,
planning and neural networks) computational experiments have always played a
very important and sometimes primary role. Such empirical analysis can provide
important new insights and results. For example, whilst a theoretical
worst-case analysis might demonstrate that a problem is intractable,
experiments may demonstrate that the majority of problems met in practice
are "easy".
This one day workshop will focus on the role of experiments in AI. Attention
will be given both to the traditional factors found in other empirical
sciences (for example, the statistical analysis of results) and to some
of the novel features of computational experiments (for example, how to
measure performance in a machine or implementation independent way).
The topics addressed may include (but are not limited to) the following areas:
o methodology for computational experiments
o measurement of algorithm performance
o problem sets (e.g. benchmark libraries, hard random problems)
o statistical analysis of computational results
o role of computational models in experiments
o case studies (e.g. novel results obtained via computational experiments)
The domains of interest will cover all areas of AI including constraint
satisfaction, game playing, machine learning, natural language, neural
networks, planning, satisfiability, speech recognition, theorem proving, and
vision.
The workshop will run for one day and will be organized via a survey session
and four panels. For the survey session, leading experts in the various
areas (theorem proving, satisfiability, constraint satisfaction, ...) will
desribe the main benchmarks, results obtained so far, and the remaining open
challenge problems. For the panels, participants will submit a statement of
interest, from which four "hot topics" will be identified. Each panel will
contain four panelists who will introduce the topic and stimulate debate. The
panel topics will be circulated in advance and participants will be encouraged
to prepare slides and contributions. Such contributions will be limited to
the themes of the panels. The primary aim of the organizers is
to limit formal presentations and encourage discussion.
Participants who wish may submit short papers for the workshop notes
which describe both specific results (e.g. results about phase transition
behaviour in machine learning) and more general positions (e.g. the
dangers of benchmark problem sets).
Previous workshops:
This workshop will build upon the AAAI-94 workshop on "Experimental
Evaluation of Reasoning and Search Methods", and the CADE-94 workshop on
"Evaluation of Automated Theorem Proving Systems".
Application details:
To be invited to attend the workshop, please submit a statement of
your interest in Empirical AI. The statement should be one page long
and in LaTeX or plain text format. Please send this by email to the
Toby Walsh <toby@itc.itbefore 6th May 1996. All submissions will be
acknowledged. If you do not have access to email please send a hard copy
of your statement to Toby Walsh, IRST, Location Pante di Povo, I38100
Trento, ITALY. The Italian post can at times be very slow, so all
correspondence should be by email whenever possible. If you have a
short paper (about either empirical results or a more general position)
and you would like this included in the workshop notes, please include
this with your submission. However, participants will be invited to attend
the workshop solely on the basis of their statement of interest. Invitations
to attend the workshop will be sent out by 3rd June 1996.
PLEASE NOTE THAT WORKSHOP PARTICIPATION IS NOT POSSIBLE WITHOUT REGISTRATION
FOR THE MAIN CONFERENCE
Calendar:
6 May 1996 Submission of statement of interest
3 June 1996 Notification of acceptance
12 August 1996 Workshop
NB the ECAI-96 workshop, On Advance in Propositional Deduction will
be on August 13th to enable people to attend both workshops.
End of NL-KR Digest
*******************
