9.893, Calls: Labelled Deduction, IIA'99 & SOCO'99
LINGUIST Network
linguist at linguistlist.org
Tue Jun 16 17:45:55 UTC 1998
LINGUIST List: Vol-9-893. Tue Jun 16 1998. ISSN: 1068-4875.
Subject: 9.893, Calls: Labelled Deduction, IIA'99 & SOCO'99
Moderators: Anthony Rodrigues Aristar: Texas A&M U. <aristar at linguistlist.org>
Helen Dry: Eastern Michigan U. <hdry at linguistlist.org>
Review Editor: Andrew Carnie <carnie at linguistlist.org>
Editors: Brett Churchill <brett at linguistlist.org>
Martin Jacobsen <marty at linguistlist.org>
Elaine Halleck <elaine at linguistlist.org>
Anita Huang <anita at linguistlist.org>
Ljuba Veselinova <ljuba at linguistlist.org>
Julie Wilson <julie at linguistlist.org>
Software development: John H. Remmers <remmers at emunix.emich.edu>
Zhiping Zheng <zzheng at online.emich.edu>
Home Page: http://linguistlist.org/
Editor for this issue: Anita Huang <anita at linguistlist.org>
==========================================================================
Please do not use abbreviations or acronyms for your conference unless
you explain them in your text. Many people outside your area of
specialization will not recognize them. Also, if you are posting a
second call for the same event, please keep the message short. Thank
you for your cooperation.
=================================Directory=================================
1)
Date: Mon, 15 Jun 1998 14:22:58 +0200 (MET DST)
From: ld98 <ld98 at informatik.uni-freiburg.de>
Subject: LD'98 - Call for Participation
2)
Date: Tue, 9 Jun 1998 22:51:23 -0600 (MDT)
From: pascal at icsc.ab.ca
Subject: Intelligent Industrial Automation (IIA'99)
-------------------------------- Message 1 -------------------------------
Date: Mon, 15 Jun 1998 14:22:58 +0200 (MET DST)
From: ld98 <ld98 at informatik.uni-freiburg.de>
Subject: LD'98 - Call for Participation
LD'98
The First International Workshop on Labelled Deduction
Freiburg, Germany
September 7 - 9, 1998
http://www.informatik.uni-freiburg.de/~ld98
**************************
* CALL FOR PARTICIPATION *
**************************
Advanced program, registration, travel and accomodation information
are available at the homepage of the workshop
http://www.informatik.uni-freiburg.de/~ld98
AIM AND FORMAT
To survey research in the field, and to allow researchers (in Logic,
Computer Science, Artificial Intelligence, Linguistics, etc.) to
exchange ideas, techniques and results. Both finished work and work in
progress will be reported.
TOPICS OF INTEREST
Papers on current research in all aspects of Labelled Deduction,
including but not limited to:
o Logical modeling based on Labelled Deduction
o Formal metatheory for, or based on, Labelled Deduction
o Hybrid reasoners and combinations of logics based on labelling
o Automated reasoning, implementation, and system support
o Annotated logic programming
o Applications
CONFERENCE SITE
Institut fuer Informatik of the University of Freiburg. Freiburg is a
medieval town of about 200,000 inhabitants at the edge of the
Black Forrest. The city is easily accessible, being within an hour from
international airports in Strasbourg and Basel. There are also good
connections (hourly trains) to airports in Frankfurt and Zurich, which
are about 2 to 3 hours away.
ORGANIZING COMMITTEE
David Basin and Luca Vigano`
PROGRAM COMMITTEE
David Basin, Institut fuer Informatik, Freiburg, Germany
Marcello D'Agostino, Universita` di Ferrara, Italy
Dov Gabbay, King's College, London, UK
Sean Matthews, Max-Planck-Institut fuer Informatik, Saarbruecken, Germany
Luca Vigano`, Institut fuer Informatik, Freiburg, Germany
-------------------------------- Message 2 -------------------------------
Date: Tue, 9 Jun 1998 22:51:23 -0600 (MDT)
From: pascal at icsc.ab.ca
Subject: Intelligent Industrial Automation (IIA'99)
Third International ICSC Symposia on
INTELLIGENT INDUSTRIAL AUTOMATION (IIA'99)
http://www.icsc.ab.ca/iia99.htm
and
SOFT COMPUTING (SOCO'99)
http://www.icsc.ab.ca/soco99.htm
June 1-4, 1999 at the Palazzo Ducale in Genova, Italy
INTRODUCTION
The International Symposia on Intelligent Industrial
Automation (IIA'99) and Soft Computing (SOCO'99) intend to encompass
short-to-long-term effects of Advanced Information Technology, Soft
Computing and other related 'Intelligent Technolgies' in application
fields such as Industrial Automation, Control, Diagnostics, Computer
Vision, Robotics, Speech Recognition and Machine Translation. The
general aim of the Symposia is to address and underline the existing
and emerging relationships between automation, manufacturing and
Intelligent Technolgies, with particular emphasis on Soft Computing.
Contributions are sought on intelligent automation and
manufacturing with emphasis on current and potential applications,
with a broad interest in all the engineering disciplines, computer
science and related technology fields.
Following the success of IIA/SOCO'96 (Reading, England) and
IIA/SOCO'97 (Nmes, France), the third symposium will be held in
Genova, Italy. The IIA/SOCO series have established themselves as a
platform for scientists and practitioners from academic, governmental
and industrial institutions to discuss new developments and results in
the field of intelligent technologies. A further follow-up conference
has already been scheduled for the year 2001 in Paisley, Scotland.
PURPOSE OF IIA'99 and SOCO'99
Advances in Soft Computing and related techniques: Theory and
Applications.
AIT (Advanced Information Technology) is one of the major
technological drivers in the advancement of modern society. Nowadays
any major achievement, related to any field of research, is strongly
supported by proper AIT based tools. Very often, such achievements
have only been possible after a proper AIT approach has been designed
and implemented. It is widely known that AIT has a very strong impact
on society itself, radically changing the skills and competencies
required in order to contribute to the everyday human environment.
Given that nowadays the major effort in AIT development is
spent in the so called 'Soft-Computing' arena and that some of the
major and indeed, surprising, achievements in industrial applications
come from the application of soft-computing techniques, the two
symposia (IIA'99 and SOCO'99) will have many common areas of interest,
namely:
- Neural Networks
- Fuzzy Logic
- Genetic Algorithms
- Chaos Theory
- AI and Expert Systems
- Machine Learning
- Pattern Recognition and Image Understanding
The programs of the two conferences will, however, reflect
different themes:
- IIA'99 will be directed toward the medium-to-short term, application
driven, research area in Intelligent Technologies.
- SOCO'99 is directed toward the long term research in area of
Soft Computing
In order to try to overcome the usual borderline existing
between theory and application, the two symposia are run jointly,
organized in a way to have partial overlap with some joint sessions
and some common plenary sessions.
AIM OF IIA'99/SOCO'99
1. To give both a wide and a deep view of advances in AIT advancement
offered by soft-computing technologies.
2. To give both the industrial and academic researcher the opportunity
to discuss together real problems and opportunities.
3. To collect 'best practice' and information on how to perform
experiments, tests and design products and processes embedding
and/or using soft-computing technologies.
4. To explicitly and actively function as a 'technology broker',
giving the opportunity for people to become aware of new problems
and possible solutions and giving the possibility of finding
technological partners for joint research and/or future application
programs.
TOPICS OF IIA'99
IIA'99 will include contributions in the research area of Soft
Computing Application and, more in general, related to medium-to-short
term and application driven developments Advanced Information
Technology and Industrial Intelligent Technology.
Particular emphasis will be laid on industrial realization,
experimental application, application methodology development and/or
formalization, quantitative and qualitative problem modeling.
Contributions are sought mainly in the areas based on the list below:
a) Industrial Area
- Industry
- Energy
- Transportation
- Services
- Consumer
- etc.
b) High-Tech Area
- Innovative Control and Diagnostics
- Computer Vision
- Robotics and Remote Sensing
- Speech Recognition and Machine Translation
- etc.
c) Green-Tech Area
- Intelligent Resource Management
- Intelligent Pollutant Management
- User Behavior Modeling
- Intelligent Traffic Control
- etc.
TOPICS OF SOCO'99
SOCO'99 will include contributions on long term research
(theory development, enhanced approaches, formal methods comparisons,
applications, etc.) in the area of soft-computing. Contributions are
sought in areas based on the list below, which is indicative only.
- Neural Networks
- Fuzzy Logic
- Rough Sets
- Genetic Algorithms and Evolutionary Computing
- Chaos Theory
- AI and Expert Systems
- Probabilistic Reasoning
- Machine Learning
- Learning Algorithms and Intelligent Control
- Pattern Recognition and Image Understanding
- Distributed Intelligence
- Self-Organizing Systems
- Fuzzy Databases and Information Retrieval
- Educational Aspects of Soft Computing
SPECIAL SESSION
A special session on 'Intelligent Systems in Control and
Process Optimization' including a plenary lecture is sponsored by the
IFS Network and organized by Alberto Servida, Italy. Contributions are
welcome.
CONFERENCE LOCATION
The symposia will be held at the Palazzo Ducale, a beautiful
historic building in the city centre of Genova, Italy
SPONSORS
IIA'99 and SOCO'99 are sponsored by:
- Ansaldo S.p.A.
- DISI - Department of Computer and Information Sciences at
the University of Genoa, Italy
- Commune di Genova, Italy
- University of Genova, Italy
- Cybernetics and Biophysics National Group of the National
Research Council
- IEEE Neural Network Council Italian Regional Interest Group
- International Neural Networks Society and INNS Special Interest
Group Italy
- Thematic Network IFS (Intelligent Forecasting System for Refineries
and Power Systems)
- ICSC International Computer Science Conventions, Canada/Switzerland
IIA'99 SYMPOSIUM COMMITTEE
- Honorary Chair
Yutaka Kuwahara, R & D Centre, Hitachi Europe Ltd.
- Symposium Chair
Riccardo Parenti, Ansaldo Ricerche, Genova, Italy
- Symposium Vice Chair
Colin Fyfe, University of Paisley, Scotland, U.K.
- Scientific Secretary
Carla Penno, Ansaldo Ricerche, Genova, Italy
- International Scientific Committee
Roberto Baratti, Italy
Zeungnam Bien, Korea
Piero Bonissone, USA
Pierre Borne, France
Hans-Heinrich Bothe, Switzerland/Germany
Abhay Bulsari, Finland
Daniele Caviglia, Italy
Vincent Chapurlat, France
Raja Chatila, France
Richard D. Colbaugh, USA
Anna Maria Colla, Italy
Clarence W. de Silva, Canada
H.A. Donegan, U.K.
Jos R. Dorronsorro, Spain
Patrick Gallinari, France
Edoardo Gilardi, Italy
Madan M. Gupta, Canada
Henry H. Hexmoor, USA
R.J. Howlett, U.K
Charles McLean, USA
Antony A. Maciejewski, USA
Janine Magnier, France
Franco Masulli, Italy
Fazel Naghdy, Australia
Saeid Nahavandi, Australia
Charles C. Nguyen, USA
David Pearson, France
Duc T. Pham, U.K.
Brian Roffel, Netherlands
Alberto Servida, Italy
Peter Vas, U.K.
Leonello Zaquini, Italy
Jacek M. Zurada, USA
SOCO'99 SYMPOSIUM COMMITTEE
- Honorary Chair
Antonio di Nola, University di Napoli Federico II, Naples, Italy
- Symposium Chair
Francesco Masulli, University of Genoa, Italy
- Symposium Vice Chair
Colin Fyfe, University of Paisley, Scotland, U.K.
- International Scientific Committee
Henry Abarbanel, USA
Ethem Alpaydin, Turkey
Peter G. Anderson, USA
Valeriu Beiu, USA
Gerardo Beni, USA
Franco Bignone, Italy
Freimut Bodendorf, Germany
Andrej Dobnikar, Slovenia
Marco Dorigo, Belgium
Gerard Dray, France
Marco Gori, Italy
Hans Hellendoorn, Netherlands
Laszlo Koczy, Hungary
Mohammad Jamshidi, USA
James Keller, USA
Bart Kosko, USA
Ludmila Kuncheva, U.K.
Franz Kurfess, USA
Sadaaki Miyamoto, Japan
Claudio Moraga, Germany
Pietro Morasso, Italy
Francesco Carlo Morabito, Italy
David W. Pearson, France
Rjean Plamondon, Canada
Henrik Saxen, Finland
George D. Smith, U.K.
Nigel Steele, U.K.
Leonard Studer, Switzerland
Yoshinori Uesaka, Japan
CALL FOR PAPERS
Prospective authors are requested to send a draft paper
(maximum 7 pages) for review by the International Scientific
Committee. All submissions must be written in English, starting with a
succinct statement of the problem, the results achieved, their
significance and a comparison with previous work, as well as a list of
references.
The submissions should also include:
- Title of conference (SOCO'99 or IIA'99)
- Type of paper (regular, demonstration, tutorial or invited)
- Title of proposed paper
- Authors names, affiliations, addresses
- Name of author to contact for correspondence
- E-mail address and fax # of contact author
- Topics which best describe the paper (max. 5 keywords)
- Short c.v. of authors
Contributions are welcome from those working in industry and
having experience in the topics of this symposium as well as from
academics.
Symposium language is English.
Invited sessions, tutorial papers, demonstrations and
contributions to the special session on 'Intelligent Systems in
Control and Process Optimization' are also encouraged.
SUBMISSION OF PAPERS
Submissions must be sent by September 10, 1998 either by
- Electronic mail (recommended) to operating at icsc.ab.ca
(Text, PostScript or Word files)
or
- Fax to ICSC Canada +1-403-387-4329
or
- Airmail (2 copies) to:
ICSC Canada
P.O. Box 279
Millet, AB T0C 1Z0
Canada
IMPORTANT DATES
Submission of Draft Papers: September 10, 1998
Notification of Acceptance: November 30, 1998
Delivery of Final Papers: January 31, 1999
Tutorials and Workshops: June 1, 1999
IIA'99/SOCO'99 Symposia: June 2-4, 1999
FURTHER INFORMATION
For more detailed information, please consult the following websites:
- IIA'99: http://www.icsc.ab.ca/iia99.htm
- SOCO'99: http://www.icsc.ab.ca/soco99.htm
or forward any questions to the Conference Organizer
mailto:operating at icsc.ab.ca
CONFERENCE ORGANIZER
ICSC
International Computer Science Conventions
P.O. Box 279
Millet, Alberta T0C 1Z0
Canada
EMAIL: mailto:operating at icsc.ab.ca
URL: http://www.icsc.ab.ca
FAX: +1-403-387-4329 (after January 25, 1999: +1-780-387-4329)
PHONE: +1-403-387-3546 (after January 25, 1999: +1-780-387-3546)
---------------------------------------------------------------------------
LINGUIST List: Vol-9-893
More information about the LINGUIST
mailing list