12.263, Calls: Computational Intelligence, Comp Semantics
The LINGUIST Network
linguist at linguistlist.org
Thu Feb 1 18:18:46 UTC 2001
LINGUIST List: Vol-12-263. Thu Feb 1 2001. ISSN: 1068-4875.
Subject: 12.263, Calls: Computational Intelligence, Comp Semantics
Moderators: Anthony 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 (reviews at linguistlist.org):
Simin Karimi, U. of Arizona
Terence Langendoen, U. of Arizona
Editors (linguist at linguistlist.org):
Karen Milligan, WSU Naomi Ogasawara, EMU
Lydia Grebenyova, EMU Jody Huellmantel, WSU
James Yuells, WSU Michael Appleby, EMU
Marie Klopfenstein, WSU Ljuba Veselinova, Stockholm U.
Software: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
Gayathri Sriram, E. Michigan U. <gayatri at linguistlist.org>
Home Page: http://linguistlist.org/
The LINGUIST List is funded by Eastern Michigan University, Wayne
State University, and donations from subscribers and publishers.
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, 30 Jan 2001 15:27:55 +1100
From: CIMCA <cimca at ise.canberra.edu.au>
Subject: Computational Intelligence for Modelling, Control and Automation - CIMCA'2001
2)
Date: Tue, 30 Jan 2001 15:51:46 EST
From: Priscilla Rasmussen <rasmusse at cs.rutgers.edu>
Subject: 3rd Workshop on Inference in Computational Semantics (ICoS-3)
-------------------------------- Message 1 -------------------------------
Date: Tue, 30 Jan 2001 15:27:55 +1100
From: CIMCA <cimca at ise.canberra.edu.au>
Subject: Computational Intelligence for Modelling, Control and Automation - CIMCA'2001
International Conference on Computational Intelligence for Modelling,
Control and Automation - CIMCA'2001
9-11 July 2001
Las Vegas, USA
http://beth.canberra.edu.au/conferences/CIMCA2001/index.htm
In Conjunction with
International Conference on Intelligent Agents, Web Technologies
and Internet Commerce - iawtic'2001
http://beth.canberra.edu.au/conferences/IAWTIC2001/index.htm
CALL FOR PAPERS
Honorary Chairs:
Lotfi A. Zadeh, University of California, USA
Stephen Grossberg, Boston University, USA
The international conference on computational intelligence for
modelling, control and automation will be held in Las Vegas, USA on
9-11 July 2001. The conferencey"20 provides a medium for the exchange
of ideas between theoreticians and practitioners toy"20 address the
important issues in computational intelligence, modelling, control
andy"20 automation. The conference will consist of both plenary
sessions and contributory sessions, focusing on theory,
implementation and applications of computational intelligence
techniques to modelling, control and automation. For contributory
sessions, draft papersy"20 (4 pages or more) are being
solicited. Several well-known keynote speakers will address the
conference. Topics of the conference include, but are not limited to,
the following areas:
Modern and Advanced Control Strategies
Neural Networks Control,
Fuzzy Logic Control,
Genetic Algorithms & Evolutionary Control,
Model-Predictive Control,
Adaptive and Optimal Control,
Intelligent Control Systems,
Robotics and Automation,
Fault Diagnosis,
Industrial Automations
Hybrid Systems
Fuzzy Evolutionary Systems,
Fuzzy Expert Systems,
Fuzzy Neural Systems,
Neural Genetic Systems,
Neural-Fuzzy-Genetic Systems,
Hybrid Systems for Optimisation
Data Analysis, Prediction and Model Identification
Signal Processing,
Prediction & Time Series Analysis,
System Identification,
Data Fusion and Mining,
Knowledge Discovery,
Intelligent Information Systems,
Image Processing,
Image Understanding,
Parallel Computing applications in Identification & Control,
Pattern Recognition, Clustering,
Classification
Decision Making and Information Retrieval
Case-Based Reasoning,
Decision Analysis,
Intelligent Databases & Information Retrieval,
Dynamic Systems Modelling,
Decision Support Systems,
Multi-criteria Decision Making,
Qualitative and Approximate-Reasoning
Paper Submission
Papers will be selected based on their originality, significance,correctness, and clarity of presentation. Extended abstract (4 pages)
should be submitted to the following e-mail or the following address:
CIMCA'2001 Secretariat
School of Computing
University of Canberra
Canberra, 2601, ACT, Australia
E-mail: cimca at ise.canberra.edu.au
E-mail submission is preferred. Extended abstract should present
original work, which has not been published or being reviewed for
other conferences.
Important Dates
16 March 2001 Deadline for submission of draft papers
16 April 2001 Notification of acceptance
16 May 2001 Deadline for camera-ready copies of accepted papers
9-11 July 2001 Conference sessions
Special Sessions and Tutorials
Special sessions and tutorials will be organised at the
conference. The conference is calling for special sessions and
tutorial proposals. All proposals should be sent to the conference
chair on or before April 9th, 2001. CIMCA'2001 will alsoy"20 include
a special poster session devoted to recent work and
work-in-progress. Abstracts are solicited for this
session. Abstracts (3 pages limit) may be submitted up to 30 daysy"20
before the conference date.
Invited Sessions
Keynote speakers from academia and industry will be addressing the
main issues of the conference.
Visits and social events
Sightseeing visits will be arranged for the delegates and guests. A
separate program will be arranged for companions during the
conference. Further Information For further information either
contact cimca at ise.canberra.edu.au or see they"20 conference homepage
at: http://beth.canberra.edu.au/conferences/CIMCA2001/index.htm
International Program Committee:
B. Kosko, University of Southern California, USA
A. Kandel, University of South Florida, USA
T. Fukuda, Nagoya University, Japan
T. Baeck, Informatic Centrum Dortmund, Germany
J. Bezdek, University of West Florida, USA
K. Hirota, Tokyo Institute of Technology, Japan
R. J. Stonier, Central Queensland University, Australia
E. Oja, Helsinki University of Technology, Finland
W. Pedrycz, University of Manitoba, Canada
Henry Selvaraj, University of Las Vegas, USA
X. Yao, The University of Bermingham, UK
H. R. Berenji, NASA Ames Research Center, USA
R. C. Eberhart, Purdue University, USA
T. Shibata, Ministry of International Trade and Industry, Japan
H. Liljenstrom, Royal Institute of Technology, Sweden
F. Herrera, University of Granada, Spain
A. Bulsari, AB Nonlinear Solutions OY, Finland
J. D. Pinter, Dalhousie University, Canada
H. Adeli, The Ohio State University, USA
V. Piuri, Politecnico di Milano, Italy
A. Aamodt, Norwegian University of Science and Technology, Norway
J. Fernandez de Cañete, University of Malaga, Spain
W. Duch, Nicholas Copernicus,
University, Poland
E. Tulunay, Middle East Technical University, Turkey
L. Guan, University of Sydney, Australia
C. Kuroda, Tokyo Institute of
Technology, Japan
Organising Committee Chair:
Masoud Mohammadian
School of Computing
University of Canberra
Canberra, 2601, Australia
International Liaison:
International Liaison:
Canada and USA Liaison:
J. D. Pinter, Dalhousie University,
Canada
West Asia and Australia Liaison:
R. Jentzsch, University of Canberra, Australia
R. Sarker, University of New South Wales, Australia
Europe Liaison :
Z. Pahlavani, AVIP, Austria
Local Arrangements and
Public Relation:
S. Jones, ComPro, USA
P. Kazumi, VL-Pro, The Netherlands
Publicity:
P. Kazumi, VL-Pro, The Netherlands
S. Jones, ComPro, USA
J. Richards, C-Tech, Germany
-------------------------------- Message 2 -------------------------------
Date: Tue, 30 Jan 2001 15:51:46 EST
From: Priscilla Rasmussen <rasmusse at cs.rutgers.edu>
Subject: 3rd Workshop on Inference in Computational Semantics (ICoS-3)
* SECOND CALL FOR PAPERS *
third workshop on
INFERENCE IN COMPUTATIONAL SEMANTICS
ICoS-3
Siena, Italy, June 18-20, 2001
http://www.cs.cmu.edu/~kohlhase/event/icos3/
(Submission deadline: March 15, 2001)
ABOUT ICoS
- --------
Traditional inference tools (such as theorem provers and model
builders) are reaching new levels of sophistication and are now widely
and easily available. A wide variety of new tools (statistical and
probabilistic methods, ideas from the machine learning community) are
likely to be increasingly applied in computational semantics. Most
importantly of all, computational semantics seems to have reached the
stage where the exploration and development of inference is one of its
most pressing tasks - and there's a lot of interesting new work which
takes inferential issues seriously.
The Workshop on Inference in Computational Semantics (ICoS) intends to
bring researchers from areas such as Computational Linguistics,
Artificial Intelligence, Computer Science, and Logic together, in
order to discuss approaches and applications of Inference in natural
language semantics.
ICoS-1 took place in Amsterdam on August 15, 1999 with an attendance
of over 50 researchers. A selection of the papers presented at ICoS-1
has been published in a special issue of the Journal of Language and
Computation.
ICoS-2 took place in Dagstuhl Castle, Germany, on July 29-30,
2000. Although the attendance was only 30, it was an intense and
communicative meeting. A selection of the papers presented at ICoS-2
will be published in the Journal of Language and Computation.
ICoS-3 will be co-located with the the International Joint Conference
on Automated Reasoning (IJCAR 2001, which takes place June 18-23, 2001
at Siena, Italy. IJCAR is a joint meeting of all major conferences on
automated theorem proving (CADE, FTP, TABLEAUX), and is therefore a
good chance to meet the theorem proving community.
ICoS-3 is endorsed by SIGSEM, the Association for Computational
Linguistics (ACL) Special Interest Group (SIG) on computational
semantics.
DATES
- ---
People who would like to submit a paper, system descriptions or who
would like to attend the workshop should consider the following dates:
Submission Deadline: March 15, 2001.
Notification: April 15, 2001.
Final Versions: May 15. 2001.
Early Registration until: June 1., 2001.
ICoS-3 Tutorials June 18, 2001.
ICoS-3 Workshop: June 19-20, 2001.
IJCAR: June 18-23, 2001
INVITED SPEAKERS
- --------------
We anticipate having three invited talks at ICoS-3. Two of the invited
speakers are:
David Israel (SRI International)
Alexander Koller (Saarbruecken)
The other speaker will be announced in due course.
Tutorials
- -------
We will start off the workshop with two tutorials on June 18. This
gives the researchers from automated reasoning and computational
semantics respectively to get an understanding of the other field
before the actual workshop. The tutorials will given by
Claire Gardent (CNRS, Nancy): Computational Semantics
for automated reasoners
Uli Furbach (Univ. Koblenz): Automated Reasoning
for computational semanticists
PROGRAM COMMITTEE
- ---------------
The program committee for ICoS-3 consists of the following people:
Patrick Blackburn, INRIA Lorraine (co-chair)
Michael Kohlhase, Carnegie-Mellon University (co-chair)
Johan Bos, Edinburgh
Peter Baumgartner, Koblenz
David Beaver, Stanford
Dick Crouch, Xerox Parc
Maarten de Rijke, Amsterdam
Nissim Francez, Haifa
Udo Hahn, Freiburg
Gerard Huet, INRIA Rocquencourt
Dale Miller, State College
Martha Palmer, UPenn
Stephen Pulman, Oxford
Matthew Stone, Rutgers Univ
Jun-ichi Tsuji, Tokyo
Bonnie Webber, Edinburgh
SUBMISSIONS
- ---------
We invite three kinds of submissions
(LaTeX2e, 11pt, one column, a4paper (not a4wide.sty)):
- research papers on inference methods in computational semantics as well
as their applications (15 pages),
- system descriptions (6 pages), System descriptions should focus on
actual implementations, explaining system architecture issues and
specific implementation techniques. Every system description should be
accompanied by a system demo at ICoS-3.
- system demos (2 page abstracts): People who would like demonstrate
systems that address inference in computational semantics should send
two-page abstracts.
Research papers and system descriptions will be peer-refereed by the
programme committee above, system demos are only screened for
appropriateness by the program chairs.
SUBMISSION DEADLINE: March 15, 2001.
NOTIFICATION: April 15, 2001.
The primary means of submission will be electronic, in PostScript
format. Submissions should be sent to the organizers.icos3 at ags.uni-sb.de
In addition to the (informal) workshop proceedings, we plan to publish
a special issue of the Journal of Language and Computation devoted to
ICoS-3. Shortly after the workshop, authors will be contacted by the
editors for special issue, inviting them to contribute; we may ask you
to incorporate comments/discussions/... arising during ICoS-3 into
your paper. Details on the publication schedule for the special issue
as well as formatting instructions will be announced at the workshop.
Registration and Further Information If you have any questions, please
contact the local organizers at icos3 at ags.uni-sb.de.
FURTHER INFORMATION
- -----------------
If you have any questions, please contact the local organizers
Patrick Blackburn and Michael Kohlhase via icos3 at ags.uni-sb.de.
For actual information concerning ICoS-3 please consult
http://www.cs.cmu.edu/~kohlhase/event/icos3/
---------------------------------------------------------------------------
LINGUIST List: Vol-12-263
More information about the LINGUIST
mailing list