11.733, Calls: Hybrid Logics, Ibero-American/Brazilian/AI
The LINGUIST Network
linguist at linguistlist.org
Fri Mar 31 21:34:41 UTC 2000
LINGUIST List: Vol-11-733. Fri Mar 31 2000. ISSN: 1068-4875.
Subject: 11.733, Calls: Hybrid Logics, Ibero-American/Brazilian/AI
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: Ljuba Veselinova, Stockholm U. <ljuba at linguistlist.org>
Scott Fults, E. Michigan U. <scott at linguistlist.org>
Jody Huellmantel, Wayne State U. <jody at linguistlist.org>
Karen Milligan, Wayne State U. <karen at linguistlist.org>
Assistant Editors: Lydia Grebenyova, E. Michigan U. <lydia at linguistlist.org>
Naomi Ogasawara, E. Michigan U. <naomi at linguistlist.org>
James Yuells, Wayne State U. <james at linguistlist.org>
Software development: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
Sudheendra Adiga, Wayne State U. <sudhi at linguistlist.org>
Qian Liao, E. Michigan U. <qian at linguistlist.org>
Home Page: http://linguistlist.org/
The LINGUIST List is funded jointly 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: Fri, 31 Mar 2000 16:56:10 +0200
From: Carlos Areces <carlos at wins.uva.nl>
Subject: Workshop on Hybrid Logics (ESSLLI-2000)
2)
Date: Thu, 30 Mar 2000 15:29:29 -0300 (EST)
From: SBIA/IBERAMIA 2000 <sbia2000 at pcs.usp.br>
Subject: Ibero-American/Brazilian/AI (IBERAMIA/SBIA 2000)
-------------------------------- Message 1 -------------------------------
Date: Fri, 31 Mar 2000 16:56:10 +0200
From: Carlos Areces <carlos at wins.uva.nl>
Subject: Workshop on Hybrid Logics (ESSLLI-2000)
Twelfth European Summer School
in Logic, Language and Information
ESSLLI-2000
August 6-18, 2000
Birmingham, Great Britain
WORKSHOP ON HYBRID LOGICS
>>> August 14-18, 2000 <<<
(Bringing Them All Together)
SECOND CALL FOR PAPERS
NEW IN THIS CALL:
- Dates of the workshop: August 14-18, 2000.
- Following the workshop, participants will be invited to submit
their contributions for publication in a special issue of the
Journal of Logic and Computation.
THEME:
Modal logic suffers from a certain asymmetry: even though the basic
semantic notion in modal languages is truth at a state, classical
modal logics lack the expressive power to talk about the states
themselves. Whether we think of states as intervals, geometric points,
nodes in a feature structure, or individuals in a description, this is
a genuine weakness.
Hybrid Logics are modal languages which use "terms as formulas".
Although they date back to the late 1960s, the last three years have
seen a resurgence of interest, with new results in expressivity,
interpolation, complexity, and proof techniques. It has also become
clear that hybrid logics offer a theoretical framework for uniting the
work of a surprisingly diverse range of research traditions.
This workshop is likely to be relevant to a wide range of people,
including those interested in description logic, feature logic, modal
logics for information systems, temporal logic, and labelled deduction
for modal logic. Moreover, if you have an interest in the work of the
late Arthur Prior, note that this workshop is devoted to exploring
ideas he first introduced 30 years ago --- it will be an ideal
opportunity to see how his ideas have been developed in the
intervening period.
In this workshop we hope to bring together researchers and students
from all the different fields just mentioned (and hopefully some
others) in an attempt to explore just what they all have (and do not
have) in common. If you're unsure whether your work is of relevant to
the workshop, please check out the newly opened Hybrid Logic Site:
http://www.illc.uva.nl/~carlos/hybrid
And do not hesitate to contact the workshop organisers for more
information. We'd be delighted to tell you more. Contact details are
give below.
SUBMISSIONS:
We invite the contribution of research papers to the workshop. Please
send electronically an extended abstract of up to 10 A4 size pages, in
PostScript format to: carlos at wins.uva.nl BEFORE 1st of JUNE, 2000.
Please note that all workshop contributors are required by the ESSLLI
organizers to register for the Summer School.
PROCEEDINGS:
Papers accepted for the workshop will be made available from the
Hybrid Logic Site. Following the workshop, participants will be
invited to submit their contributions for publication in a special
issue of the Journal of Logic and Computation.
IMPORTANT DATES:
* Submissions: June 1, 2000
* Notification: June 30, 2000
* Provisional workshop programme: July 15, 2000
* Website-ready copy of all workshop contributions: July 31, 2000
* Workshop: August 14th to 18th, 2000
CONTACT DETAILS:
Please visit http://www.illc.uva.nl/~carlos/hybrid for further
information.
Send all correspondence regarding the workshop to the organizers:
Carlos Areces
e-mail: carlos at wins.uva.nl
http://www.illc.uva.nl/~carlos
Patrick Blackburn
e-mail: patrick at coli.uni-sb.de
http://www.coli.uni-sb.de/~patrick
-
Carlos Eduardo Areces
ILLC, University of Amsterdam
Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands
phone : +31 20 525-6925
e-mail: carlos at wins.uva.nl
www : http://www.illc.uva.nl/~carlos
NEW!!!: http://www.illc.uva.hl/~carlos/hybrid | Hybrid Logic's Home Page
-------------------------------- Message 2 -------------------------------
Date: Thu, 30 Mar 2000 15:29:29 -0300 (EST)
From: SBIA/IBERAMIA 2000 <sbia2000 at pcs.usp.br>
Subject: Ibero-American/Brazilian/AI (IBERAMIA/SBIA 2000)
2nd C A L L F O R P A P E R S
International Joint Conference
IBERAMIA'2000
(7th Ibero-American Conference on Artificial Intelligence)
SBIA'2000
(15th Brazilian Symposium on Artificial Intelligence)
November 19-22, 2000
Atibaia, Sao Paulo, Brazil
http://www.pcs.usp.br/~sbia2000
http://www.pcs.usp.br/~iberamia2000
Supported by:
SBC - Sociedade Brasileira de Computacao, Brazil
AAIA - Associacion Argentina de Inteligencia Artificial
AEPIA - Associacion Espanola para Inteligencia Artificial
APPIA - Associacao Portuguesa para Inteligencia Artificial
AVINTA - Associacion Venezolana de Inteligencia Artificial
SCCC - Sociedad Chilena de Ciencia de la Computacion
SMCC - Sociedad de Matematica y Computacion de Cuba
SMIA - Sociedad Mexicana de Inteligencia Artificial
This year, Brazil celebrates its 500 years of discovery. To
mark this great event, the Brazilian AI Community is
organizing a special International Joint Conference which
will put toghether SBIA'2000 (the Brazilian AI Symposium)
and IBERAMIA'2000 (the Ibero-American AI Conference).
IBERAMIA/SBIA 2000 will consist of:
Main conference
Associated workshops
Tutorials
Best MsC dissertation and Phd thesis contest
-------
Topics
-------
IBERAMIA/SBIA 2000 topics include, but are not limited
to:
1.Knowledge Enginnering and Case Based Reasoning
2.Planning and Scheduling
3.Distributed AI and Multi-Agent Systems
4.AI in Education and Intelligent Tutoring Systems
5.Knowledge Representation and Reasoning
6.Machine Learning and Knowledge Acquisition
7.Knowledge Discovery and Data Mining
8.Natural Language Processing
9.Robotics
10.Computer Vision
11.Uncertainty and Fuzzy Systems
12.Genetic Algorithms and Neural Networks
13.Foundations (economics, philosophy, etc.)
-----------------
Paper submission
-----------------
IBERAMIA/SBIA 2000 seeks submission for two tracks:
Open Discussion Track
Paper Track
Papers submitted to the Open Discussion Track may be
written in Portuguese, Spanish or English. They should be
high in interest and potential, but will typically contain only
preliminary results and analyses.
This track is intended to showcase promising new
directions and allow feedback on preliminary work.
Challenge and position papers are also suitable. We
especially encourage students from Ibero-American
countries to submit their preliminary work. Papers accepted
for this track will be presented at the conference and will be
published in a local edition (ISBN).
Papers submitted to the Paper Track must be written in
English and they should present substantial new results in
theoretical, empirical and applied research in all areas of
Artificial Intelligence. All accepted papers in this track will
be published by Springer-Verlag in the Lectures Notes in
Artificial Intelligence Series.
***> For details about paper submission please consult
the IBERAMIA/SBIA 2000 home page at
http://www.pcs.usp.br/~sbia2000
http://www.pcs.usp.br/~iberamia2000
----------
Workshops
----------
Concerning the workshops, there is a specific call for
proposals. However, two workshops are already confirmed,
as they have been periodically held in the last
editions of SBIA and IBERAMIA:
3rd Ibero-American Workshop on Distributed AI and
Multi-Agent Systems (DAI/MAS)
chair: Luis Otavio Alvares (II/UFRGS)
5th Workshop on Automatic Processing of Written
and Spoken Portuguese (PROPOR)
chair: Maria das Gracas Volpe Nunes (ICMC/USP)
***> More information about IBERAMIA/SBIA 2000 workshops is
available at the conference home page.
For enquiries please contact the workshop chair,
Leliane Nunes de Barros (leliane at ime.usp.br)
----------
Tutorials
----------
We are planning to have both advanced and introductory
tutorials. A specific call for proposals is available at
the conference home page. For enquiries please contact the
tutorial chair, Anna Helena Reali Costa (anna at pcs.usp.br)
----------------------
Latin America Robocup
----------------------
We are also planning to have the first edition of the Latin
America Robocup, with demonstrations of both the
simulation and small size league. More details will be given
soon.
-----------------------------------------
Best Msc dissertation/Phd thesis contest
-----------------------------------------
Finally, we are organizing the 2nd Best Msc dissertation/
Phd thesis contest (CTDIA'2000). Its main goal is to award
the best academic work which was developped in
universities belonging to Ibero-American countries. The
chair of this event is Solange Oliveira Rezende
(LABIC/ICMC/USP). Contact e-mail: solange at icmc.sc.usp.br
---------------
Main deadlines
---------------
For papers (both tracks)
28 Apr 2000 - Deadline for paper submission
30 Jun 2000 - Notification of paper acceptance
28 Jul 2000 - Deadline for camera-ready papers
For workshops
31 Mar 2000 - Deadline for workshop proposals
20 Apr 2000 - Notification of workshop acceptance
For tutorials
12 May 2000 - Deadline for tutorial proposals
30 Jun 2000 - Notification of tutorial acceptance
20 Oct 2000 - Deadline for tutorial hand-outs
------------------
Program committee
------------------
Agnar Aamodt, Norwegian University of Science and Technology (Norway)
Alex Alves de Freitas, Pontifícia Universidade Católica do Paraná (Brazil)
Alexis Drogoul, University of Paris (France)
Alvaro del Val, Universidad Autonoma de Madrid (Spain)
Ana Paiva, Technical University of Lisbon (Portugal)
Analia Amandi, Universidad Nacional del Centro (Argentina)
Andre Valente, Sapient Corporation (USA)
Antonio Sanchez, Universidad de las Americas (Mexico)
Bert Bredeweg, University of Amsterdam (The Netherlands)
Christian Lemaitre, Laboratorio Nacional de Informatica Avanzada (Mexico)
Cristiano Castelfranchi, University of Siena (Italy)
Díbio Leandro Borges, Universidade Federal de Goiás (Brazil)
Donia Scott, University of Brighton (United Kingdom)
Eugênio Costa Oliveira, University of Porto (Portugal)
Evandro de Barros Costa, Universidade Federal de Alagoase (Brazil)
Gabriela Henning, Universidad Nacional del Litoral (Argentina)
Geber Ramalho, Universidade Federal de Pernambuco (Brazil)
Hector Geffner, Universidad Simon Bolivar (Venezuela)
Helder Coelho, University of Lisbon (Portugal)
Isabelle Bloch, Ecole Nationale Superieure des Telecommunications (France)
Jacques Wainer, Universidade de Campinas (Brazil)
Javier Pinto, Pontifícia Universidad Católica de Chile (Chile)
John Self, University of Leeds (United Kingdom)
Jose Ramirez, Universidad Simon Bolivar (Venezuela)
Leopoldo Bertossi, Catholic University of Chile (Chile)
Liz Sonnenberg, University of Melbourne (Australia)
Luciano Garcia, Universidad de La Habana (Cuba)
Lluis Godo Lacasa, Artificial Intelligence Research Institute (Spain)
Maria Carolina Monard, University of São Paulo (Brazil) (chair)
Michael Huhns, University of South Carolina (USA)
Nada Lavrac, Jozef Stefan Institute (Slovenia)
Nitin Indurkhya, Nanyang Technological University (Australia)
Olivier Boissier, Ecole Nationale Superieure des Mines de Saint-Etienne
(France)
Pavel Brazdil, University of Porto (Portugal)
Peter Flach, University of Bristol (United Kingdom)
Ramon Lopes de Mantaras, Artificial Intelligence Research
Institute (Spain)
Robert Fisher, University of Edinburgh (United Kingdom)
Rosaria Conte, National Research Council (Italy)
Sheila Regina Murgel, Universidade Federal do Rio de Janeiro (Brazil)
Stan Matwin, University of Ottawa (Canada)
Uma Garimella, SQL Star International (India)
Vera Lucia Strube de Lima, Pontifícia Universidade Católica do Rio Gran
de
do Sul (Brazil)
Vicente Botti, Universidad Politécnica de Valencia (Spain)
---------------------
Organizing committee
---------------------
General Chair: Jaime Simao Sichman (LTI/PCS/EP/USP)
Scientific Chair: Maria Carolina Monard (LABIC/SCE/ICMC/USP)
Publicity Chair: Fabio Nauras Akhras (LTI/PCS/EP/USP)
Publication Chair: Maria Carolina Monard (LABIC/SCE/ICMC/USP)
Workshop Chair: Leliane Nunes de Barros (LIAMF/MAC/IME/USP)
Tutorial Chair: Anna Helena Reali Costa (LTI/PCS/EP/USP)
Finance Chair: Edson Satoshi Gomi (LTI/PCS/EP/USP)
Local Arrangement Chair: Marco Tulio Carvalho de Andrade (LTI/PCS/EP/USP)
---------------------------------------------------------------------------
LINGUIST List: Vol-11-733
More information about the LINGUIST
mailing list