11.376, Calls: Theoretical Ling, Computational Linguistics
The LINGUIST Network
linguist at linguistlist.org
Tue Feb 22 17:34:29 UTC 2000
LINGUIST List: Vol-11-376. Tue Feb 22 2000. ISSN: 1068-4875.
Subject: 11.376, Calls: Theoretical Ling, Computational Linguistics
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: Martin Jacobsen <marty at linguistlist.org>
Ljuba Veselinova <ljuba at linguistlist.org>
Scott Fults <scott at linguistlist.org>
Jody Huellmantel <jody at linguistlist.org>
Karen Milligan <karen at linguistlist.org>
Assistant Editors: Lydia Grebenyova <lydia at linguistlist.org>
Naomi Ogasawara <naomi at linguistlist.org>
James Yuells <james at linguistlist.org>
Software development: John H. Remmers <remmers at emunix.emich.edu>
Sudheendra Adiga <sudhi at linguistlist.org>
Qian Liao <qian at linguistlist.org>
Home Page: http://linguistlist.org/
Editor for this issue: Karen Milligan <karen 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: Mon, 21 Feb 2000 09:14:10 +0200
From: "Jeannette C. Schaeffer" <jschaef at bgumail.bgu.ac.il>
Subject: Israeli Association for Theoretical Linguistics
2)
Date: 22 Feb 2000 17:11:47 -0000
From: "Raamsdonk van F" <femke at skiff.cs.vu.nl>
Subject: CL2000: Call for workshop papers
-------------------------------- Message 1 -------------------------------
Date: Mon, 21 Feb 2000 09:14:10 +0200
From: "Jeannette C. Schaeffer" <jschaef at bgumail.bgu.ac.il>
Subject: Israeli Association for Theoretical Linguistics
REMINDER:
THE 16TH ANNUAL MEETING - ISRAELI ASSOCIATION FOR THEORETICAL LINGUISTICS
CALL FOR PAPERS
IATL 16
June 12/13 (Monday/Tuesday), 2000
TEL AVIV UNIVERSITY
INVITED SPEAKERS: Henk van Riemsdijk, Michael Brody and Barbara
Partee.
IATL 16, the 16th annual meeting of the Israeli Association for Theoretical
Linguistics, will be held at Tel Aviv University on June 12-13, 2000.
Submissions are invited for papers presenting high quality, previously
unpublished research in all areas of theoretical linguistics, including
Language Acquisition, Language Disorders, Psycho- and Neurolinguistics.
IATL publishes a working papers-style proceedings in which all accepted and
alternate papers appear.
Please send 7 copies of an anonymous abstract (maximum length 2 pages,
including references) accompanied by a card with author's name,
affiliation, e-/snail-mail, and title of paper to:
IATL 16
Department of Linguistics, attn. Julia Horvath
Webb Building, Tel Aviv University
Tel Aviv 69978
DEADLINE: March 2, 2000.
We do NOT accept electronic submissions.
Not more than one single-authored abstract per person, plus one
co-authored abstract.
IMPORTANT DATES:
March 2, 2000: abstract submission deadline
April 10, 2000: notification to authors of acceptance
June 12-13, 2000: IATL conference
Further information: jschaef at bgumail.bgu.ac.il
- ---------------------------------------------------
Jeannette C. Schaeffer, Ph.D.
Department of Foreign Literatures and Linguistics
Ben Gurion University of the Negev
P.O. Box 653
Beer Sheva 84105, ISRAEL
Phone (W): +972-7-646 1118
Fax (W): +972-7-647 2907
Phone (H): +972-7-610 6558
-------------------------------- Message 2 -------------------------------
Date: 22 Feb 2000 17:11:47 -0000
From: "Raamsdonk van F" <femke at skiff.cs.vu.nl>
Subject: CL2000: Call for workshop papers
---------------- Message requiring your approval (280 lines) ------------------
First International Conference on Computational Logic
Imperial College, London, UK
24th to 28th July, 2000
http://www.doc.ic.ac.uk/cl2000/
FIRST CALL FOR WORKSHOP PAPERS
CL2000 is the first in a major new series of annual international
conferences bringing together the various communities of researchers
who have a common interest in Computational Logic.
CL2000 will host seven workshops on different topics related to
computational logic. Workshops will take place during the conference:
They will not be 'post-conference' events, but a key activity within
the conference.
* A special note to linguists: The chair of one of the streams is Veronica Dahl
who is a specialist in computational linguistics. The stream is called
Logic Programming Implementations and Applications and the more specific link is
http://www.doc.ic.ac.uk/cl2000/
People interested in submitting a paper should contact directly the
specific workshop coordinator.
CL2000 workshop page: http://www.cs.unimaas.nl/~etalle/cl2000/index.htm
********************************************************************
** SHORT DESCRIPTION OF THE WORKSHOP (below follows a longer one) **
********************************************************************
[1] Workshop on Logic Programming and Software Engineering
Organizer: Gopal Gupta gupta at cs.nmsu.edu
[2] Workshop on Verification and Computational Logic
http://www.ecs.soton.ac.uk/~mal/vcl2000.html
Contact person: Michael Leuschel, mal at ecs.soton.ac.uk
[3] First Workshop on Memory Management in Logic Programming
Implementations.
http://www.cs.kuleuven.ac.be/~bmd/mmws.html
Organizer: Bart Demoen, bmd at cs.kuleuven.ac.be
[4] Workshop on Rule-Based Constraint Reasoning and Programming
supported by Compulog and ERCIM.
http://www.pst.informatik.uni-muenchen.de/~fruehwir/cl2000r.html
Contact person: Thom Fruehwirth, fruehwir at informatik.uni-muenchen.de
[5] Workshop on Parallelism and Implementation Technology for
(Constraint) Logic Programming Languages
http://www.cos.ufrj.br/~parimp00
Contact Person: Ines de Castro Dutra, ines at cos.ufrj.br
[6] Workshop on Computational Logic in Multi-Agent Systems (CLIMA).
http://mhjcc3-ei.eng.hokudai.ac.jp/clima.html
Organisers: Ken Satoh ksatoh at db-ei.eng.hokudai.ac.jp
Fariba Sadri fs at doc.ic.ac.uk
[7] UK Constraint Network (Consnet) Annual Workshop.
Organiser: Mark Wallace, mgw at icparc.ic.ac.uk
*****************************************
** LONGER DESCRIPTION OF THE WORKSHOPS **
*****************************************
[1] Workshop on Logic Programming and Software Engineering
Organizer: Gopal Gupta gupta at cs.nmsu.edu
The workshop I is concerned with how (constraint) logic
programming can aid in engineering of large software systems. For
example, how (C)LP can help in specification and modeling of s/w
systems including real-time systems, verification of software
systems, automatic derivation of efficient implementations,
The workshop papers are solicited on the following topics:
* (C)LP for modeling and specification of large software systems
incl. real-time systems
* (C)LP for verification and model checking of s/w systems and
real-time systems.
* (C)LP for deriving efficient implementations from
specifications.
* (C)LP for Process Discover in S/W Engineering.
* Any other application of (C)LP for S/W Engineering.
[2] Workshop on Verification and Computational Logic
http://www.ecs.soton.ac.uk/~mal/vcl2000.html
Contact person: Michael Leuschel, mal at ecs.soton.ac.uk
The aim of this workshop is to bring together researchers working
on the interplay between verification techniques (e.g., model
checking, reduction, and abstraction) and logic programming
techniques (e.g., constraints, abstract interpretation, program
transformation).
Organizers:
Michael Leuschel (mal at ecs.soton.ac.uk)
Andreas Podelski (podelski at mpi-sb.mpg.de)
C.R. Ramakrishnan (cram at cs.sunysb.edu)
Ulrich Ultes-Nitsche (uun at ecs.soton.ac.uk)
[3] First Workshop on Memory Management in Logic Programming
Implementations.
http://www.cs.kuleuven.ac.be/~bmd/mmws.html
Bart Demoen (K.U.Leuven, Belgium - organiser)
Olivier Ridoux (IRISA/Univ. of Rennes 1, France)
Vitor Santos Costa (Universidade Federal do Rio de Janeiro, Brazil)
Zoltan Somogyi (Univ. of Melbourne, Australia)
Memory management (as a topic for publication and research) has
been a bit neglected by the LP community, in contrast to the
tradition in functional programming and more recently in the Java
community. Still, memory management is crucial in LP
implementations and it is high time that hearsay and folklore is
turned into paper. Implementors, researchers and users will
benefit.
We aim to bring together implementors of LP systems, with
practical or theoretical experience in memory management of such
systems, as well as interested LP users who would like to
understand better issues involved in memory management. The
intended focus is on memory management of run time data structures
of sequential implementations of LP, and on topics like memory
profiling, data representation, garbage collection, memory layout,
alternative allocation schemas, but not restricted to these.
[4] Workshop on Rule-Based Constraint Reasoning and Programming
supported by Compulog and ERCIM.
http://www.pst.informatik.uni-muenchen.de/~fruehwir/cl2000r.html
Contact person: Thom Fruehwirth, fruehwir at informatik.uni-muenchen.de
Rule-based formalisms are ubiquitous in computer science, and even
more so in constraint reasoning and programming. In constraint
reasoning, algorithms are often specified using inference rules,
rewrite rules, sequents or logical axioms. Advanced programming
languages like CHR, CLAIRE and ELAN allow the implementation both
constraint solvers and programs using constraints in a rule-based
formalism.
The workshop invites papers describing ongoing work in using
rule-based formalisms in constraint reasoning and programming. In
particular, on specification of algorithms for solving constraints
by rules and on implementations of constraint solvers and programs
solving problems in a novel way using rule-based programming
languages that go beyond constraint logic programming, as well as
on analysis of rule-based programs and other issues related to
rule-based language design and implementation.
To submit, send an email to fruehwir at informatik.uni-muenchen.de
containing three lines with title, authors and WWW link to
compressed postscript file. Accepted papers will be published in
hard-copy proceedings available at the workshop.
Organization
Thom Frühwirth
Slim Abdennadher
Krzysztof Apt
Yves Caseau
Joxan Jaffar
Helene Kirchner
Important Dates
May 15, 2000: Paper submissions
June 10, 2000: Acceptance decisions
July 1, 2000: Final version due
July 24-28, 2000: Conference and workshop days
The final workshop programme schedule will be coordinated with the
UK Constraint Network (Consnet) Annual Workshop.
[5] Workshop on Parallelism and Implementation Technology for
(Constraint) Logic Programming Languages
http://www.cos.ufrj.br/~wpit00
Contact Person: Ines de Castro Dutra, ines at cos.ufrj.br
Papers from both academia and industry are invited. Preference
will be given to the analysis and description of implemented
systems (or currently under implementation) and their associated
techniques, problems found in their development or design, and
steps taken towards the solution of these problems.
TOPICS include, but are not limited to:
- standard and non-standard sequential implementation schemes
(e.g., generalization/modification of WAM, translation to C);
- implementation of parallel logic programming systems;
- balance between compile-time effort and run-time machinery;
- techniques for the implementation of different declarative
programming paradigms based on, or extending, logic programming
(e.g., constraint logic programming, concurrent constraint
languages, equational-logic languages);
- performance evaluation of sequential and parallel logic
programming systems, both through benchmarking and using real
world applications;
- other implementation-related issues, such as memory management,
register allocation, use of global optimizations, etc.
ORGANIZING COMMITTEE
Ines de Castro Dutra ines at cos.ufrj.br
COPPE/Systems Engineering and Computer
Science, Federal Univ. of Rio de Janeiro
Enrico Pontelli epontell at cs.nmsu.edu
LLDAP, New Mexico State University
Vitor Santos Costa vsc at ncc.up.pt
COPPE/Systems Engineering and Computer
Science, Federal Univ. of Rio de Janeiro
Fernando Silva fds at ncc.up.pt
LIACC, Universidade do Porto
Manuel Carro mcarro at fi.upm.es
Department of Computer Science
Technical University of Madrid
[6] Workshop on Computational Logic in Multi-Agent Systems (CLIMA).
http://mhjcc3-ei.eng.hokudai.ac.jp/clima.html
Organisers: Ken Satoh ksatoh at db-ei.eng.hokudai.ac.jp
Fariba Sadri fs at doc.ic.ac.uk
The Internet and Robotics make research on multi-agent systems
very important. However, programming in these domains becomes very
complicated and reasoning about behavior of these systems becomes
extremely difficult. Therefore, it is important to be able to
formalize multi-agent systems and to reason about agent's behavior
automatically. The purpose of this workshop is to discuss
techniques, based on computational logic, for reasoning about
multi-agent systems in a formal way. This is clearly a major
challenge for computational logic, to deal with real world issues
and applications.
deadline for submission: April 30th, 2000
[7] UK Constraint Network (Consnet) Annual Workshop.
Organiser: Mark Wallace, mgw at icparc.ic.ac.uk
Consnet is a network of researchers aiming to drive forward the
technology and skills available in the UK to tackle computational
problems involving constraints.
The aims of the workshop are to disseminate the results of recent
research in this area, to encourage cross-fertilisation of ideas and
new multi-disciplinary research proposals, to publicise and learn
from existing successful applications and from problems which are
currently out of reach, to identify the vision of this research
community for the long-term future development of constraints
technology, and to plan a corresponding long-term strategy to achieve
the necessary scientific advance and take-up.
Organiser:
Mark Wallace, IC-Parc, Imperial College
Committee:
David Gilbert, City University
Ken Brown, Aberdeen University
Suzanne Embury, Cardiff University
Edward Tsang, Essex University
Dave Cohen, Royal Holloway College
Pat Prosser, Strathclyde University
Barbara Smith, Leeds University
Ian Gent, St Andrews University
Toby Walsh, University of York
Peter Jeavons, University of Oxford
=============================================================================
Questions over the workshop's organization can be addressed to the
workshop chair:
Sandro Etalle http://www.cs.unimaas.nl/~etalle/
etalle at cs.unimaas.nl
Dept. of Computer Science, University of Maastricht,
P.O. Box 616, 6200 MD Maastricht
---------------------------------------------------------------------------
LINGUIST List: Vol-11-376
More information about the LINGUIST
mailing list