LINGUIST List 11.733

Fri Mar 31 2000

Calls: Hybrid Logics, Ibero-American/Brazilian/AI

Editor for this issue: Jody Huellmantel <jodylinguistlist.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. Carlos Areces, Workshop on Hybrid Logics (ESSLLI-2000)
  2. SBIA/IBERAMIA 2000, Ibero-American/Brazilian/AI (IBERAMIA/SBIA 2000)

Message 1: Workshop on Hybrid Logics (ESSLLI-2000)

Date: Fri, 31 Mar 2000 16:56:10 +0200
From: Carlos Areces <carloswins.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: carloswins.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: carloswins.uva.nl
 http://www.illc.uva.nl/~carlos

 Patrick Blackburn
 e-mail: patrickcoli.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: carloswins.uva.nl
www : http://www.illc.uva.nl/~carlos
NEW!!!: http://www.illc.uva.hl/~carlos/hybrid | Hybrid Logic's Home Page
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue

Message 2: Ibero-American/Brazilian/AI (IBERAMIA/SBIA 2000)

Date: Thu, 30 Mar 2000 15:29:29 -0300 (EST)
From: SBIA/IBERAMIA 2000 <sbia2000pcs.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 (lelianeime.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 (annapcs.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: solangeicmc.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)
	

	
	
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue