EUROCAST 2005 Workshop on Intelligent Information Processing Location: Las Palmas de Gran Canaria (Canary Islands), Spain Date: 07-Feb-2005 - 11-Feb-2005 http://www.ciber.ulpgc.es/iuctc/spain/eurocast/workshop.html Description: "Declarative Methods in Intelligent Information Processing" is one of the 8 workshops forming the "Tenth International Conference on Computer Aided Systems Theory" to be held in February 7-11, 2005 in Las Palmas de Gran Canaria (Canary Islands, Spain). The proceedings with extended papers will be published in the LNCS series of Springer Verlag after the conference. Abstract deadline: 31-Oct-2004 Declarative Methods in Intelligent Information Processing Topics * Modelling and verification of communication protocols * Concurrent and distributed computing * Design patterns for distributed aplications * Formal verification * Document classification and search * Extraction/retrieval of information * Question answering * Interfaces. Program Commitee Chairman: J. L. Freire (Univ. of Coruna, Spain) An extended two pages abstract, including references in English with indication of the workshop of the intended contribution must be sent by e-mail before October, 31, 2004 to the Organizing Committee contact Alexis Quesada, aquesada(a)dis.ulpgc.es For the extended abstract, you must follow instructions in Information for LNCS Authors Authors will be notified of acceptance by December 1, 2004. It is anticipated that the final selected full papers will be published in line with previous Eurocast meetings (Springer Lecture Notes in Computer Science No 410, No 585, No 763, No 1030, No 1333, No 1798, No 2178 and No 2809). Full papers for publication are required before April 30, 2005. -------------------------------------------------------------------- mail2web - Check your email from the web at http://mail2web.com/ .