Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 14 No. 11
NL-KR Digest Mon Feb 20 15:40:14 PST 1995 Volume 14 No. 11
Today's Topics:
Announcement: AISB-95 Reaching-for-Mind Wkshp, April 95, Sheffield
CFP: ROCLING VIII - Computational Linguistics, Aug 95, Taiwan
Position: NLP Lecturer at University of Melbourne
CFP: CP95 Final, Constraint Programming, September 95, Cassis
* * *
Subcriptions: listserv-style administrative requests to
nl-kr-request@ai.sunnyside.com.
Submissions, policy, questions: nl-kr@ai.sunnyside.com
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@cs.vassar.edu).
-----------------------------------------------------------------------
Date: Fri, 3 Feb 95 13:13:51 GMT
From: Paul Mc Kevitt <P.McKevitt@dcs.shef.ac.uk>
To: nl-kr@ai.sunnyside.com, nl-kr@cs.rpi.edu, nl-kr@cs.rochester.edu,
Subject: Announcement: AISB-95 Reaching-for-Mind Wkshp, April 95, Sheffield
Advance Announcement
FINAL CALL FOR PAPERS AND PARTICIPATION
AISB-95 Workshop on
REACHING FOR MIND:
FOUNDATIONS OF COGNITIVE SCIENCE
April 3rd/4th 1995
at the
The Tenth Biennial Conference on AI and Cognitive Science (AISB-95)
(Theme: Hybrid Problems, Hybrid Solutions)
Halifax Hall
University of Sheffield
Sheffield, England
(Monday 3rd -- Friday 7th April 1995)
Society for the Study of
Artificial Intelligence and Simulation of Behaviour (SSAISB)
Chair:
Sean O Nuallain
Dublin City University, Dublin, Ireland &
National Research Council, Ottawa, Canada
Co-Chair:
Paul Mc Kevitt
Department of Computer Science
University of Sheffield, England
WORKSHOP COMMITTEE:
John Barnden (New Mexico State University, NM, USA)
Istvan Berkeley (University of Alberta, Canada)
Mike Brady (Oxford, England)
Harry Bunt (ITK, Tilburg, The Netherlands)
Peter Carruthers (University of Sheffield, England)
Daniel Dennett (Tufts University, USA)
Eric Dietrich (SUNY Binghamton, NY, USA)
Jerry Feldman (ICSI, UC Berkeley, USA)
John Frisby (University of Sheffield, England)
Stevan Harnad (University of Southampton, England)
James Martin (University of Colorado at Boulder, CO, USA)
John Macnamara (McGill University, Canada)
Mike McTear (Universities of Ulster and Koblenz, Germany)
Ryuichi Oka (RWC P, Tsukuba, Japan)
Jordan Pollack (Ohio State University, OH, USA)
Zenon Pylyshyn (Rutgers University, USA)
Ronan Reilly (University College, Dublin, Ireland)
Roger Schank (ILS, Northwestern, USA)
NNoel Sharkey (University of Sheffield, England)
Walther v.Hahn (University of Hamburg, Germany)
Yorick Wilks (University of Sheffield, England)
WORKSHOP DESCRIPTION
The assumption underlying this workshop is that Cognitive Science (CS)
is in crisis. The crisis manifests itself, as exemplified by the
recent Buffalo summer institute, in a complete lack of consensus among
even the biggest names in the field on whether CS has or indeed should
have a clearly identifiable focus of study; the issue of identifying
this focus is a separate and more difficult one. Though academic
programs in CS have in general settled into a pattern compatible with
classical computationalist CS (Pylyshyn 1984, Von Eckardt 1993),
including the relegation from focal consideration of consciousness,
affect and social factors, two fronts have been opened on this
classical position.
The first front is well-publicised and highly visible. Both Searle
(1992) and Edelman (1992) refuse to grant any special status to
information-processing in explanation of mental process. In contrast,
they argue, we should focus on Neuroscience on the one hand and
Consciousness on the other. The other front is ultimately the more
compelling one. It consists of those researchers from inside CS who
are currently working on consciousness, affect and social factors and
do not see any incompatibility between this research and their vision
of CS, which is that of a Science of Mind (see Dennett 1993, O
Nuallain (in press) and Mc Kevitt and Partridge 1991, Mc Kevitt and
Guo 1994).
References
Dennett, D. (1993) Review of John Searle's "The Rediscovery of the
Mind". The Journal of Philosophy 1993, pp 193-205
Edelman, G.(1992) Bright Air, Brilliant Fire. Basic Books
Mc Kevitt, P. and D. Partridge (1991) Problem description and
hypothesis testing in Artificial Intelligence In ``Artificial
Intelligence and Cognitive Science '90'', Springer-Verlag British
Computer Society Workshop Series, McTear, Michael and Norman Creaney
(Eds.), 26-47, Berlin, Heidelberg: Springer-Verlag. Also, in
Proceedings of the Third Irish Conference on Artificial Intelligence
and Cognitive Science (AI/CS-90), University of Ulster at Jordanstown,
Northern Ireland, EU, September and as Technical Report 224,
Department of Computer Science, University of Exeter, GB- EX4 4PT,
Exeter, England, EU, September, 1991.
Mc Kevitt, P. and Guo, Cheng-ming (1995) From Chinese rooms to Irish
rooms: new words on visions for language. Artificial Intelligence
Review Vol. 8. Dordrecht, The Netherlands: Kluwer-Academic Publishers.
(unabridged version) First published: International Workshop on
Directions of Lexical Research, August, 1994, Beijing, China.
O Nuallain, S (in press) The Search for Mind: a new foundation for
CS. Norwood: Ablex
Pylyshyn, Z.(1984) Computation and Cognition. MIT Press
Searle, J (1992) The rediscovery of the mind. MIT Press.
Von Eckardt, B. (1993) What is Cognitive Science? MIT Press
WORKSHOP TOPICS:
The tension which riddles current CS can therefore be stated thus: CS,
which gained its initial capital by adopting the computational
metaphor, is being constrained by this metaphor as it attempts to
become an encompassing Science of Mind. Papers are invited for this
workshop which:
* Address the central tension
* Propose an overall framework for CS (as attempted, inter alia,
by O Nuallain (in press))
* Explicate the relations between the disciplines which comprise CS.
* Relate educational experiences in the field
* Describe research outside the framework of classical
computationalist CS in the context of an alternative framework
* Promote a single logico-mathematical formalism as a theory of
Mind (as attempted by Harmony theory)
* Disagree with the premise of the workshop
Other relevant topics include:
* Classical vs. neuroscience representations
* Consciousness vs. Non-consciousness
* Dictated vs. emergent behaviour
* A life/Computational intelligence/Genetic algorithms/Connectionism
* Holism and the move towards Zen integration
The workshop will focus on three themes:
* What is the domain of Cognitive Science ?
* Classic computationalism and its limitations
* Neuroscience and Consciousness
WORKSHOP FORMAT:
Our intention is to have as much discussion as possible during the
workshop and to stress panel sessions and discussion rather than
having formal paper presentations. The workshop will consist of
half-hour presentations, with 15 minutes for discussion at the end of
each presentation and other discussion sessions. A plenary session at
the end will attempt to resolve the themes emerging from the different
sessions.
ATTENDANCE:
We hope to have an attendance between 25-50 people at the workshop.
Given the urgency of the topic, we expect it to be of interest not
only to scientists in the AI/Cognitive Science (CS) area, but also to
those in other of the sciences of mind who are curious about CS. We
envisage researchers from Edinburgh, Leeds, York, Sheffield and Sussex
attending from within England and many overseas visitors as the
Conference Programme is looking very international.
SUBMISSION REQUIREMENTS:
Papers of not more than 8 pages should be submitted by electronic mail
(preferably uuencoded compressed postscript) to Sean O Nuallain at the
E-mail address(es) given below. If you cannot submit your paper by
E-mail please submit three copies by snail mail.
* **Submission Deadline: February 13th 1995
* **Notification Date: February 25th 1995
* **Camera ready Copy: March 10th 1995
PUBLICATION:
Workshop notes/preprints will be published. If there is sufficient
interest we will publish a book on the workshop possibly with the
American Artificial Intelligence Association (AAAI) Press.
WORKSHOP CHAIR:
Sean O Nuallain
((Before Dec 23:))
Knowledge Systems Lab,
Institute for Information Technology,
National Research Council,
Montreal Road, Ottawa
Canada K1A OR6
Phone: 1-613-990-0113
E-mail: sean@ai.iit.nrc.ca
FaX: 1-613-95271521
((After Dec 23:))
Dublin City University,
IRL- Dublin 9, Dublin
Ireland, EU
WWW: http://www.compapp.dcu.ie
Ftp: ftp.vax1.dcu.ie
E-mail: onuallains@dcu.ie
FaX: 353-1-7045442
Phone: 353-1-7045237
AISB-95 WORKSHOPS AND TUTORIALS CHAIR:
Dr. Robert Gaizauskas
Department of Computer Science
University of Sheffield
211 Portobello Street
Regent Court
Sheffield S1 4DP
U.K.
E-mail: robertg@dcs.shef.ac.uk
WWW: http://www.dcs.shef.ac.uk/
WWW: http://www.shef.ac.uk/
Ftp: ftp.dcs.shef.ac.uk
FaX: +44 (0) 114 278-0972
Phone: +44 (0) 114 282-5572
AISB-95 CONFERENCE/LOCAL ORGANISATION CHAIR:
Paul Mc Kevitt
Department of Computer Science
Regent Court
211 Portobello Street
University of Sheffield
GB- S1 4DP, Sheffield
England, UK, EU.
E-mail: p.mckevitt@dcs.shef.ac.uk
WWW: http://www.dcs.shef.ac.uk/
WWW: http://www.shef.ac.uk/
Ftp: ftp.dcs.shef.ac.uk
FaX: +44 (0) 114-278-0972
Phone: +44 (0) 114-282-5572 (Office)
282-5596 (Lab.)
282-5590 (Secretary)
AISB-95 REGISTRATION:
Alison White
AISB Executive Office
Cognitive and Computing Sciences (COGS)
University of Sussex
Falmer, Brighton
England, UK, BN1 9QH
Email: alisonw@cogs.susx.ac.uk
WWW: http://www.cogs.susx.ac.uk/aisb
Ftp: ftp.cogs.susx.ac.uk/pub/aisb
Tel: +44 (0) 1273 678448
Fax: +44 (0) 1273 671320
AISB-95 ENQUIRIES:
Gill Wells,
Administrative Assistant, AISB-95,
Department of Computer Science,
Regent Court,
211 Portobello Street,
University of Sheffield,
GB- S1 4DP, Sheffield,
UK, EU.
Email: g.wells@dcs.shef.ac.uk
Fax: +44 (0) 114-278-0972
Phone: +44 (0) 114-282-5590
Email: aisb95@dcs.shef.ac.uk (for auto responses)
WWW: http://www.dcs.shef.ac.uk/aisb95 [Sheffield Computer Science]
Ftp: ftp.dcs.shef.ac.uk (cd aisb95)
WWW: http://www.shef.ac.uk/ [Sheffield Computing Services]
Ftp: ftp.shef.ac.uk (cd aisb95)
WWW: http://ijcai.org/) [IJCAI-95, MONTREAL]
WWW: http://www.cogs.susx.ac.uk/aisb [AISB SOCIETY SUSSEX]
Ftp: ftp.cogs.susx.ac.uk/pub/aisb
VENUE:
The venue for registration and all conference events is:
Halifax Hall of Residence,
Endcliffe Vale Road,
GB- S10 5DF, Sheffield,
UK, EU.
FaX: +44 (0) 114-266-3898
Tel: +44 (0) 114-266-3506 (24 hour porter)
Tel: +44 (0) 114-266-4196 (manager)
SHEFFIELD:
Sheffield is one of the friendliest cities in Britain and is situated
well having the best and closest surrounding countryside of any major
city in the UK. The Peak District National Park is only minutes
away. It is a good city for walkers, runners, and climbers. It has
two theatres, the Crucible and Lyceum. The Lyceum, a beautiful
Victorian theatre, has recently been renovated. Also, the city has
three 10 screen cinemas. There is a library theatre which shows more
artistic films. The city has a large number of museums many of which
demonstrate Sheffield's industrial past, and there are a number of
Galleries in the City, including the Mapping Gallery and Ruskin. A
number of important ancient houses are close to Sheffield such as
Chatsworth House. The Peak District National Park is a beautiful site
for visiting and rambling upon. There are large shopping areas in the
City and by 1995 Sheffield will be served by a 'supertram' system: the
line to the Meadowhall shopping and leisure complex is already open.
The University of Sheffield's Halls of Residence are situated on the
western side of the city in a leafy residential area described by John
Betjeman as ``the prettiest suburb in England''. Halifax Hall is
centred on a local Steel Baron's house, dating back to 1830 and set in
extensive grounds. It was acquired by the University in 1830 and
converted into a Hall of Residence for women with the addition of a
new wing.
ARTIFICIAL INTELLIGENCE AT SHEFFIELD:
Sheffield Computer Science Department has a strong programme in
Cognitive Systems and has a large reseach group (AINN) studying
Artificial Intelligence and Neural Networks. It is strongly connected
to the University's Institute for Language, Speech and Hearing
(ILASH). ILASH has its own machines and support staff, and academic
staff attached to it from nine departments. Sheffield Psychology
Department has the Artificial Intelligence Vision Research Unit
(AIVRU) which was founded in 1984 to coordinate a large
industry/university Alvey research consortium working on the
development of computer vision systems for autonomous vehicles and
robot workstations. Sheffield Philosophy Department has the Hang Seng
Centre for Cognitive Studies, founded in 1992, which runs a
workshop/conference series on a two-year cycle on topics of
interdisciplinary interest. (1992-4: 'Theory of mind'; 1994- 6:
'Language and thought'.) The Department of Automatic Control and
Systems Engineering is conducting research into Neural Networks for
Medical and other applications.
AI and Cognitive Science researchers at Sheffield include Guy Brown,
Peter Carruthers, Malcolm Crawford, Joe Downs, Phil Green, John
Frisby, Robert Gaizauskas, Rob Harrison, Mark Hepple, Zhe Ma, John
Mayhew, Jim McGregor, Paul Mc Kevitt, Bob Minors, Rod Nicolson, Tony
Prescott, Peter Scott, Steve Renals, Noel Sharkey, and Yorick Wilks.
-----------------------------------------------------------------------
From: rocling <rocltsh@hp.iis.sinica.edu.tw>
Subject: CFP: ROCLING VIII - Computational Linguistics, Aug 95, Taiwan
To: CMP-LG@XXX.LANL.GOV, zzlsa@gallua.BITNET, (LSA), weischedel@bbn.com, (ACL),
Date: Wed, 15 Feb 95 10:30:32 EAT
TITLE:ROCLING VIII
objetive: CALL FOR PAPERS
Sponsored by:The ROC Computational Linguistics Society
Information Technology Research Center, Yuan-Ze
Institute of Technology.
Tutorial Date:August 17, 1995
Conference Dates:August 18-19, 1995
Conference Venue:Yuan-Ze Institue of Technology,Chung-Li, Taiwan, ROC
Scope:Papers are invited on substantial, original, and unpublished
research on all aspects of computational linguistics, including,
but not limited to the following.
!Psyntax/semantics !Plarge text corpora
!Pphonetics/phonology !Pelectronic dictionaries
!Pparsing/generation !Pdocument database
!Pmorphology !Pmachine translation
!Pdiscourse !Pnatural language interface
!Ptext processing !Pdialogue systems
!Pcognitive linguistics !Pelectronic books
!Planguage understanding !PSGML tools and applications
!Pspeech analysis/synthesis !PHytime tools and applications
!Pquantitative/qualitative linguistics !PDSSSL tools and applications
!Pmathematical linguistics !PODA tools and applications
!Pcontrastive linguistics
Paper Submission:
Four copies of a preliminary version of a full paper (maximum 25 letter-or A4-sized pages, double spaced throughout) in English or Chinese should be sent to
the following address. The first page of the submitted paper should bear the following information: the title of the paper, the name(s) of the author(s), affiliations, (email) address for correspondence. All these items should be properly centered on top, with a short abstract of the paper following.
3/+H'F Shinn-Shi Cheng
%x%_%+0j%_%xFW$j>G8j0T$u5{,c(s)R
Department of Computer Science and Information Engineering.
National Taiwan University
Taipei, Taiwan
EMAIL:hh-chen@csie.ntu.edu.tw
FAX:886-2-3628167
Important Dates:
Preliminary paper submission due: June 15,1995
Notification of acceptance: July 10, 1995
Camera-ready copy due: July 25,1995
Conference Chairman:Shy-Ming Ju (Yuan-Ze)
Program Committee: Shinn-Shi Chen (National Taiwan University, chair)
Shiuh Wang (National Tsing Hua University)
Junn-Fa Wang (National Cheng Kung University)
Shyi-Jian Li (National Chiao-Tung University)
Keh-jiann Chen (Acade Mia Sinica)
Jiu-ren Hwang (Acade Mia Sinica)
Shiuan-Fann Hwang (National Taiwan University)
Jiunn-Sheng Chang (National Tsing Hua University)
Tein-Yaw Chung (Yuan-Ze Institute of Technology)
Keh-Yih Su (National Tsing Hua University)
Local Arrangement:Kou-Hua Lai (Yuan-Ze)
-----------------------------------------------------------------------
From: Robert Dale <rdale@microsoft.com>
To: CORPORA@NORA.HD.UIB.NO, DG-LIST@UGA.CC.UGA.EDU, elsnet-list@let.ruu.nl,
Date: Wed, 15 Feb 95 11:37:41 +1000
Subject: Position: NLP Lecturer at University of Melbourne
UNIVERSITY OF MELBOURNE
DEPARTMENT OF LINGUISTICS
Lecturer in Computational Linguistics
(Three-year appointment).
THIS POSITION IS BEING READVERTISED
The Department of Linguistics is a dynamic new Department with growing
strengths in discourse, semantics, cognitive science and speech synthesis. We
wish to develop new teaching and research programs in computational
linguistics at undergraduate and postgraduate levels, and are seeking a
lecturer in Computational Linguistics, for a three year appointment beginning
in June/July 1995. The position is funded by University Development funds and
the Microsoft Institute of Advanced Software Technology. Subject to the
success of the program in attracting students and establishing research in
the area, it is hoped to advertise a continuing position in computational
linguistics at the end of the three-year term.
Duties: You should have expertise in Computational Linguistics, a good
background in general linguistics, and additional specializations in one or
more areas of NLP, such as Machine Translation, Text Generation,
Computational Phonology or Computational Morphology, Linguistic Knowledge
Representation. You will contribute to the development of teaching and
research in Computational Linguistics through the teaching of undergraduate
and postgraduate courses in the Linguistics and Cognitive Science programs,
as well as some teaching in general linguistics; through supervision of
postgraduate research in Linguistics and in relevant parts of the Cognitive
Science program. You will pursue research in one or more of the above areas,
and help coordinate the Linguistics contribution to the Master's in Cognitive
Science.
Further information about the position, and the Linguistics Department, may
be obtained from Ms Christine McKeown, Administrative Assistant, Department
of Linguistics, University of Melbourne, Parkville 3052, Australia. Tel.: 03
344 5488; fax 03 344 4980; email Christine_McKeown@muwayf.unimelb.edu.au.
Applications (including the names and facsimile numbers of three referees)
should be sent to the Director, Personnel Services, The University of
Melbourne, Parkville, Victoria, 3052; fax (03) 344 4694, or emailed to
Christine_McKeown@muwayf.unimelb.edu.au. Applications will not be
acknowledged but you will be advised of the outcome.
Applications close March 20th, 1995.
Salary Range: A$41,574 to $49,370 according to experience and
qualifications.
The University of Melbourne is an equal opportunity employer and has a
smoke-free workplace policy.
-----End
-----------------------------------------------------------------------
From: Francesca Rossi <rossi@di.unipi.it>
Subject: CFP: CP95 Final, Constraint Programming, September 95, Cassis
To: lprolog@central.cis.upenn.edu, nl-kr@cs.rpi.edu, parforce@ecrc.de
Date: Wed, 15 Feb 1995 12:31:16 +0100 (MET)
FINAL ANNOUNCEMENT
------------------------
International Conference on Principles and Practice of Constraint
Programming (CP95)
Cassis, France
September 19-22, 1995.
AIMS OF THE CONFERENCE
----------------------
The interdisciplinary area of constraint programming and constraint-based
systems has recently developed an appreciable identity, which is promising
in terms both of simple and general foundations and of significant
practical applications. The new area needs an international forum to
compare the results and discuss the new lines of development.
The conference has been preceded by two workshops on the principles and
practice of constraint programming organized at Orcas Island in May 1994
and at Newport in April 1993, and also by a Workshop on Constraint Logic
Programming organized at Alton Jones in the Spring of 1988. Also the
Workshops on Constraint Logic Programming at Marseille in 1991, 1992 and 1993,
and the International Conference on Constraints in Computational Logics
at Munich in September 1994, are significant antecedents.
TOPICS OF INTEREST include the following.
------------------
Constraint programming languages, including constraint logic programming
and concurrent constraint programming.
Constraint programming as a unifying paradigm for functional, logic,
concurrent and imperative languages, including applications to object
oriented programming and coordination languages.
Semantics, compilation and programming environments for constraint
programming, including static analysis and optimization.
Constraint systems and constraint problems, including constraints for
knowledge representation and processing, numerical constraints, symbolic
constraints, set constraints.
Algorithms for constraint satisfaction and entailment.
Mathematical programming and combinatorial optimization via constraint
programming.
Constraint-related aspects of computational logics, deduction, rewriting.
Constraints in applications, including applications in artificial
intelligence, automated reasoning, model-based reasoning; in operations
research and decision support systems; in data bases; in human-computer
interaction, graphics and robotics; in scientific computing and symbolic
computation; in hardware verification and software engineering.
CONFERENCE CHAIR
----------------
Alain Colmerauer
Laboratoire d'Informatique de Marseille
Faculte' des Sciences de Luminy
163, Avenue de Luminy
F-13288 Marseille CEDEX 9, France
E-mail: alain.colmerauer@lim.univ-mrs.fr
PROGRAM CHAIR
-------------
Ugo Montanari
Dipartimento di Informatica
Universita' di Pisa
Corso Italia, 40
I-56100 Pisa, Italy
E-mail: ugo@di.unipi.it
ORGANIZING COMMITTEE
--------------------
Alan Borning (University of Washington)
Jacques Cohen (Brandeis University)
Alain Colmerauer (University of Marseille)
Eugene Freuder (University of New Hampshire)
Herve Gallaire (Xerox Corporation, Grenoble)
Jean-Pierre Jouannaud (University of Paris Sud)
Paris Kanellakis (Brown University)
Jean-Louis Lassez, chair (IBM Watson)
Ugo Montanari (University of Pisa)
Anil Nerode (Cornell University)
Vijay Saraswat (Xerox Corporation, PARC)
Ralph Wachter (Office of Naval Research)
PROGRAM COMMITTEE
-----------------
Hassan Ait-Kaci (Simon Fraser University)
Marianne Baudinet (Free University of Brussels)
Frederic Benhamou (University of Orleans)
Rina Dechter (UC Irvine)
Mehmet Dincbas (COSYTEC, Orsay)
Seif Haridi (SICS, Stockholm)
Manuel Hermenegildo (Polytechnic of Madrid)
Alexander Herold (ECRC, Munich)
Hoon Hong (RISC, Linz)
John Hooker (Carnegie Mellon University, Pittsburgh)
Claude Kirchner (INRIA Nancy)
Alan Mackworth (University of British Columbia)
Michael Maher (IBM Watson, Yorktown Heights)
Ken McAloon (Brooklyn College)
Fumio Mizoguchi (University of Tokyo)
Ugo Montanari, chair (University of Pisa)
Luis Monteiro (New University of Lisbon)
Catuscia Palamidessi (University of Genoa)
Gert Smolka (DFKI, Saarbruecken)
Peter van Beek (University of Alberta)
Pascal Van Hentenryck (Brown University)
PAPER SUBMISSIONS
-----------------
Authors are invited to submit full papers (in English, up to 18 pages,
typeset 12 point) to the PC chairman. Simultaneous submission to other
conferences or journals is not allowed. If ordinary mail is used, five
copies of the paper should be sent by express or courier mail. Electronic
submission is encouraged via e-mail, in the form of uuencoded compressed
PostScript(tm) printable files sent to cp95@di.unipi.it; however a printed
reference copy should be sent anyway by express or courier mail. Each
submission, both by ordinary mail and by e-mail, should be accompanied by a
separate message to cp95@di.unipi.it with a single postal and e-mail
address for communication, complete title, author(s), affiliation(s) and
200 word abstract.
IMPORTANT DATES
----------------
Submissions: March 15, 1995.
Notification of acceptance: May 15, 1995
Camera-ready papers due: June 26, 1995.
CONFERENCE PROCEEDINGS
----------------------
The proceedings of the conference will be published by Springer in the
Lecture Notes in Computer Science series. They will be available at the
conference.
TCS SPECIAL ISSUE
-----------------
A special issue of Theoretical Computer Science is planned dedicated to the
conference.
CONFERENCE FORMAT
-----------------
The conference will be four days long from Tuesday to Friday.
It will take place in Cassis, a pleasant small town on the sea near Marseille.
There will be invited talks by Zohar Manna (Stanford Univ.) and
Bruno Buchberger (RISC), and tutorials by Pascal Van Hentenryck (Brown Univ.)
and Vijay Saraswat (Xerox PARC). A special session will be devoted to
industrial applications, and will contain presentations of
invited representatives of ILOG, COSYTEC, PrologIA and others.
Satellite workshops will be organized (by the
interested groups) on Monday, September 18 and Saturday, September 23.
SPONSORSHIP
-----------
The conference is in cooperation with/sponsored by AAAI, ACM SIGART
and SIGPLAN, and EATCS. Moreover, it will receive support from ACCLAIM,
ALP, CCL, CNRS, Compulog Net, ONR, the Universit\'e de la M\'editerran\'ee
and the Universit\`a di Pisa. Extra support has been asked to the European
Commission.
For further details, please write to cp95@di.unipi.it (conference program)
or to cp95@lim.univ-mrs.fr (local organization).
End of NL-KR Digest
*******************
