From mpavone at dmi.unict.it Sun Sep 2 11:51:45 2007 From: mpavone at dmi.unict.it (Mario Pavone) Date: Sun, 02 Sep 2007 11:51:45 +0200 Subject: CFP: NICSO 2007 - News best papers in Natural Computing J. Message-ID: <20070902115145.ad533c409b4gw4w4@mbox.dmi.unict.it> ***** Apologize for Multiple Copies ***** NICSO 2007 - International Workshop on Nature Inspired Cooperative Strategies for Optimization Acireale, Italy, November 8-10 2007 http://www.dmi.unict.it/nicso2007/ NICSO 2007 is the second edition of the International Workshop on Nature Inspired Cooperative Strategies for Optimization and it aims are to give a deeper investigation and a vigorous exchange of ideas about emerging research areas in *cooperative* problem solving strategies. The accepted papers will be published in the book series on *STUDIES IN COMPUTATIONAL INTELLIGENCE*, SPRINGER-VERLAG. The length of each contribution will not exceed 12 pages. The authors of the best accepted papers will be invited to revise and adapt their contribution for the publication in *NATURAL COMPUTING Journal*. NICSO 2007 plenary speakers are *Marco DORIGO* (Swarm-bots: An Experiment in Swarm Robotics) and *Roberto BATTITI* (Reactive Search: Adaptive on-line Self-Tuning for Optimization). New extended deadline was fixed to next September, 15. For details see http://www.dmi.unict.it/nicso2007/ -- Natalio Krasnogor, Giuseppe Nicosia, Mario Pavone and David Pelta - NICSO 2007 Co-Chairs -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy fax: 0039 095 330094 Email: mpavone at dmi.unict.it http://www.dmi.unict.it/mpavone ------------------------------------------------ ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program. From dix at tu-clausthal.de Mon Sep 3 18:58:09 2007 From: dix at tu-clausthal.de (Prof. Dr. Juergen Dix) Date: Mon, 03 Sep 2007 18:58:09 +0200 Subject: Fwd: Call for Editorial Board Members & News [12-6] In-Reply-To: References: Message-ID: <46DC3D21.8010504@tu-clausthal.de> Administrator of mailing lists of CIG h schrieb: > > Hi Juergen, > could you please tell me whether to let this through > Event at CIG, or not? I tried to check the person's website > and other links, but I cannot come to a conclusion whether > this is serious, or yet another hoax. > > Thanks for you help, > This is serious, but please do not let it go through. J From m.fayad at sjsu.edu Mon Sep 3 06:59:35 2007 From: m.fayad at sjsu.edu (Mohamed Fayad) Date: Sun, 2 Sep 2007 21:59:35 -0700 Subject: Call for Editorial Board Members & News [12-6] Message-ID: Subject: Call for Editorial Board Members & News ? 08/30/07 Greetings, {Sorry for Receiving Multiple Copies} PLEASE PUBLISIZE THIS CALL FOR EDITORIAL BORAD MEMBERS to your mailing list. Thank you. We would like to invite you to join us as an editorial member (International Advisory Board member (IAB), International Editorial Board member (IEB), International Domain Experts Board member (IDE), External Reviewers (ER), and Associate Editor or/and Columnist (AE&Col)) of Seven (7) different online journals ? 1. International Journal of Patterns (IJOP) ? www.ijop.org News: Working on the first two issues ? Check IJOP ? The SW Patterns Blog: http://pattern.ijop.org/ IJOP Charter: http://www.ijop.org/editorial-charter IJOP Editorial Calendar: http://www.ijop.org/Editorial-Calender IJOP Open Call for Papers & Theme: http://www.ijop.org/Call-for-papers 2. International Journal of Software Architectures (IJSA) ? www.ijsa.net News: Working on the first three issues ? Check IJSA Editorial Charter: http://ijsa.net/editorial-charter IJSA Editorial Calendar: http://ijsa.net/editorial-calender IJSA Open Call for Papers & Theme: http://ijsa.net/call-for-papers 3. International Journal of Software Reuse (IJSR) ? www.ijsr.org News: Working on the first issue ? Please check IJSR Charter: http://ijsr.org/editorial-charter IJSR Open Call for Papers & Theme: http://ijsr.org/call-for-papers 4. International Journal of Thinking Objectively (IJTO) ? www.ijto.org (New) News: Please check IJTO Charter: http://ijto.org/editorial-charter IJTO Open Call for Papers & Theme: http://ijto.org/call-for-papers 5. International Journal of Unified Software Engines (IJUSE) ? www.ijuse.org (New) News: Working on the first issue ? Please check IJUSE Charter: http://ijuse.org/editorial-charter IJUSE Open Call for Papers & Theme: http://ijuse.org/call-for-papers We also have been contacted to start two new journals and we are negotiating both deals right now. If you like to be considered for both or any of them, please let me know. 6. International Journal of Service Computing (IJSC) 7. International Journal of Internet Social Networks (IJISN) Associate editors/columnists (AE&Col): (10-15 Members Max) Samples: IJOP -- http://www.ijop.org/Editors-Columists IJSA -- http://ijsa.net/editors-columists We have room for the following nominations for this position in: IJOP ? 0 IJSA ? 0 IJSR ? 10 IJTO ? 10 IJUSE ? 10 International Advisory Board (IAB) (15?25 Members Max) Samples: IJOP -- http://www.ijop.org/IAB IJSA -- http://ijsa.net/IAB We have room for the following nominations for this position in: IJOP ? 0 IJSA ? 0 IJSR ? 10 IJTO ? 17 IJUSE ? 15 International Editorial Board (IEB) (40-50 Members Max) Samples: IJOP -- http://www.ijop.org/IEB We have room for the following nominations for this position in: IJOP ? 0 IJSA ? 0 IJSR ? 20 IJTO ? 40 IJUSE ? 45 International Domain Experts Board (IDEB) (40-50 Members or More) Samples: IJOP ? http://www.ijop.org/IDE We have room for the following nominations for this position in: IJOP ? 10+ IJSA ? 15+ IJSR ? 15+ IJTO ? 27 IJUSE ? 28 External Reviewers (ER) (500+ Members) Samples: All online Journals: http://www.ijop.org/External-Reviewers We have rooms for many qualified nominations for this position As you can see, board members' names are posted part of the Journal, the journal website, and part of the Journal publicity. To join as an editorial member of one or more roles, please e-mail the following: 1. The journal names, 2. Your roles, 3. Short biography (One Page Max) -- Please the attached samples formats, 4. Your most recent photo, and 5. kindly complete the following section: First Name: Last Name: Affiliation: Your Position: Department: Address 1: Address 2: City: State: Zip Code: Country: Telephone: Fax: E-mail: Your URL: Your Affiliations URLs: Please e-mail me to any of the following e-mail addresses: m.fayad at sjsu.edu, m.fayad at ijop.org, m.fayad at ijsa.net, m.fayad at ijsr.org. m.fayad at ijto.org, OR m.fayad at ijuse.org, no later than Sunday, September 30, 2007. I will send you confirming appointment letter immediately after receiving all your info, bio, and picture. We are in the process of working on the first two issues for IJOP, first three for IJSA, first issue for each of IJSR and IJUSE. Looking forward to hearing from you before September 30, 2007. Cheers, M. Fayad -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.artikis at gmail.com Wed Sep 5 11:09:53 2007 From: a.artikis at gmail.com (Alexander Artikis) Date: Wed, 5 Sep 2007 12:09:53 +0300 Subject: ESAW 07: Registration is now open Message-ID: <130ef5930709050209h3c0ccabaxe1c3a5e25b9d8969@mail.gmail.com> Apologies for cross-posting. -Registration is now open for ESAW 07: http://esaw07.iit.demokritos.gr/registration.html --------------------------------------------------------------------------- Eighth International Workshop "Engineering Societies in the Agents World" (ESAW 07), October 22-24 2007, National Centre for Scientific Research (NCSR) "Demokritos", Athens, Greece http://esaw07.iit.demokritos.gr --------------------------------------------------------------------------- INVITED SPEAKERS: * Marek Sergot, Imperial College London, UK * Robert Axtell, The Brookings Institution, USA * Tim Norman, Univeristy of Aberdeen, UK --------------------------------------------------------------------------- From areces at loria.fr Wed Sep 5 11:21:31 2007 From: areces at loria.fr (Carlos Areces) Date: Wed, 05 Sep 2007 11:21:31 +0200 Subject: M4M-5: Deadline Extension, 15th of September In-Reply-To: <46892D18.8060901@loria.fr> References: <46892D18.8060901@loria.fr> Message-ID: <46DE751B.4030302@loria.fr> ==================================================================== 5th Worskhop on "Methods for Modalities" (M4M-5) http://m4m.loria.fr/M4M5 Ecole Normale Superieure de Cachan, France November 29-30, 2007 ==================================================================== DEADLINE EXTENDED TO THE 15th OF SEPTEMBER ==================================================================== Scope ----- The workshop ``Methods for Modalities'' (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term ``modal logics'' is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. We strongly encourage young researchers and students to submit papers and posters, especially for experimental and prototypical software tools which are related to modal logics. More information about the previous editions can be found at http://m4m.loria.fr/ Paper Submissions ------------------ Authors are invited to submit papers in the following three categories. - Regular papers up to 15 pages, describing original results, work in progress, or future directions of research. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Presentation-only papers, describing work recently published or submitted (no page limit). These will not be included in the proceedings, but pre-prints or post-prints can be made available to participants. Submissions should be made via Easychair at the following address: http://www.easychair.org/M4M5/ Final versions of accepted papers will be published online in an Elsevier ENTCS volume. A preliminary version of the proceedings will also be available at the workshop. Invited speakers ----------------- Ahmed Bouajjani (University of Paris 7) Patricia Bouyer (OUCL, Oxford - LSV, ENS Cachan) Balder ten Cate (University of Amsterdam) Koen Claessen (Chalmers University of Technology) Wiebe van der Hoek (University of Liverpool) Important dates --------------- Extended Deadline for submissions: September 15th, 2007 Notification: October 15, 2007 Camera ready versions: November 5, 2007 Workshop dates: November 29-30, 2007 Program Committee ----------------- Natasha Alechina, University of Nottingham Carlos Areces, INRIA Lorraine (co-chair) Philippe Balbiani, IRIT, Nicole Bidoit, Universite Paris-Sud Patrick Blackburn, INRIA Lorraine Torben Brauner, Roskilde University Stephane Demri, ENS de Cachan (co-chair) Maarten de Rijke, University of Amsterdam Valentin Goranko, University of the Witwatersrand Rajeev Gore, The Australian National University, Canberra Carsten Lutz, Dresden University of Technology Nicolas Markey, ENS de Cachan Angelo Montanari, University of Udine Ulrike Sattler, University of Manchester Holger Schlingloff, Humboldt University / FIRST Renate Schmidt, University of Manchester Johan van Benthem, University of Amsterdam/ Stanford University -- ================================================================== Carlos Areces phone : +33 (0)3 54 95 84 90 INRIA Researcher fax : +33 (0)3 83 41 30 79 e-mail: carlos.areces at loria.fr INRIA Lorraine. www : http://www.loria.fr/~areces Equipe TALARIS - Batiment B 615, rue du Jardin Botanique 54600 Villers les Nancy Cedex, France From cmh at orange-carb.org Wed Sep 5 17:13:40 2007 From: cmh at orange-carb.org (Colin Henein) Date: Wed, 5 Sep 2007 11:13:40 -0400 (EDT) Subject: WARNING! (2924532383) In-Reply-To: from "event administration" at Sep 05, 2007 08:26:01 AM Message-ID: <20070905151340.71331.qmail@mail.orange-carb.org> > > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2924532383, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > Cheers, Colin From eventcig at juicer.orange-carb.org Wed Sep 5 17:42:55 2007 From: eventcig at juicer.orange-carb.org (Colin Henein) Date: Wed, 5 Sep 2007 11:42:55 -0400 (EDT) Subject: WARNING! (2924532383) In-Reply-To: from "event administration" at Sep 05, 2007 08:26:01 AM Message-ID: <20070905154255.71727.qmail@mail.orange-carb.org> > > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2924532383, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > Cheers, Colin From leonel at lingapli.ciges.inf.cu Fri Sep 7 08:24:18 2007 From: leonel at lingapli.ciges.inf.cu (L. Ruiz Miyares - Linguistica) Date: Thu, 06 Sep 2007 23:24:18 -0700 Subject: Symposium in Cuba In-Reply-To: <1173918902.5564.9.camel@localhost.localdomain> Message-ID: <20070907033150.DD62C47540F@mail.ciges.inf.cu> Dear colleagues, Although a little late, please find enclosed the final report of the 10th International Symposium on Social Communication. It will be great if you could spread it. Thank you. Yours sincerely, Eloina Miyares Bermudez Leonel Ruiz Miyares Center for Applied Linguistics Santiago de Cuba ***** X INTERNATIONAL SYMPOSIUM ON SOCIAL COMMUNICATION CENTER FOR APPLIED LINGUISTICS SANTIAGO DE CUBA JANUARY 22-26, 2007 FINAL REPORT The 10th International Symposium on Social Communication took place in the Convention Center "Heredia" of Santiago de Cuba with the participation of 313 specialists: 147 from 27 countries (Germany (2), Belgium (4), Brazil (17), Canada (3), Chile (9), China (2), Colombia (4), Denmark (3), Spain (20), USA (6), France (5), Greece (1), Holland (4), UK (6), Iran (2), Ireland (1), Israel (1), Italy (16), Kuwait (1), Mexico (20), New Zeeland (1), Portugal (4), Serbia (2), South Africa (1), Sweden (1), Turkey (1) and Venezuela (10)) and 166 Cuban specialist from 10 provinces. The most important remarks are: 1. Teaching of 2 Pre-Symposium Seminars: - Diccionary and Ideology (sexism, racism and catholic moral in the Academic Dictionary) Dr. Esther Forgas Berdet University of Rovira i Virgili Tarragona, Spain - Aplication of the NLP technologies in the Education Dr. Montse Maritxalar IXA Group University of Basque Country Basque Country, Spain 2. The opening talk was entitled «An old discussion: grammatic and language teaching» by Dr. María Bargalló Escrivá, University of Rovira i Virgili, Tarragona, Spain. 3. The following five keynote speeches were taught: - «Questions, Pictures, Answers: Introducing Pictures in Question-Answering Systems» Dr. Anton Nijholt University of Twente, Enschede The Netherlands - «The Lexicon is a (kind of) Frame» Dr. Willy Martin Profesor Emérito Free University of Amsterdam The Netherlands - «Methods for extracting and classifying pairs of cognates and false friends» Dr. Ruslan Mitkov University of Wolverhampton Wolverhampton, United Kingdom - «Words and Images» Dr. John Tait University of Sunderland Sunderland, United Kingdom - «Extraction of the Information: challenge and proposal» Dr. Manuel Palomar University of Alicante Dr. Luis Alfonso Ureña López University of Jaén Spain 4. In the X Symposium also took place the following academic activities: - Exposition "20 years of the International Symposiums on Social Communication and the 36 years of the foundation of the Center for Applied Linguistics (CLA) of Santiago de Cuba". The main speech was done by Dr. Celia Pérez Marqués, researcher from CLA. - Presentation of the books «Léxico Activo Funcional del Escolar Cubano» (Study of Cuban Children Vocabulary) and «Ortografía Integral» (Integral Orthography) both books from researches of CLA of Santiago de Cuba. The main speech was done by Dr. Adia Gell Labañino, researcher of Pedagogical University of Santiago de Cuba. - Presentation of the Journal of Phonoaudiology from University of Valparaiso, Chile. The presentation was done by Dr. Denisse Pérez Herrera, researcher of University of Valparaiso, Chile. 5. Publication of the Proceedings in two volumes with 271 papers from all participants: ACTAS-I (1-634 pages), ISBN 959-7174-08-1 and ACTAS II (635-1208 pages), ISBN 959-7174-09-X. 6. All papers had a high scientific level but each Scientific Commission choose the following as the best: Commission 1. Linguistics "Los nombres de pila de quienes nacieron entre 1960 y 1975 en Tlalnepantla de Baz, Estado de México. Algunos usos sociolingüísticos." Dra. Yolanda G. López Franco Universidad Nacional Autónoma de México (UNAM) México Commission 2. Linguistics "Calunga: un dialecto afro-brasileño de Minas Gerais– un breve análisis gramatical." Dr. Steven Byrd University of New England Biddeford / Portland Maine EEUU Commission 3. Linguistics "Entre Escila y Caribdis: lengua estándar y variación, un área de renovado interés en el español actual." Dr. Max Enrique Figueroa Esteva Universidad Michoacana de San Nicolás de Hidalgo Morelia, Michoacán México Commission 4. Computational Linguistics "Un enfoque híbrido al Reconocimiento de Nombres de Entidades para el español." Yunior Ramírez Cruz y otros Centro de Estudios de Reconocimiento de Patrones y Minería de Datos Universidad de Oriente Santiago de Cuba Cuba Commission 5. Art, Ethnology and Folclore "El joropo, traspaso de lo oral a lo escrito y el papel de la escuela." Sandra Flores Solano Unidad Educativa Colegio “Modesta Bor” Estado de Lara República Bolivariana de Venezuela Commission 6. Mass Media "Los fundamentos de la Redacción Periodística como auxiliar en el mejoramiento de las habilidades comunicativas en la Licenciatura en Cultura Física." Rafael A. Bernal Castellanos Facultad de Cultura Física “Nancy Uranga Romagoza” Pinar del Río Cuba Commission 7. Education and Communication "La comprensión oral de lo no literal en escolares chilenos." Nina Crespo Allende y otros Pontificia Universidad Católica de Valparaíso Valparaíso Chile Commission 8. Education and Communication "¿Cómo incorporar a los estudiantes universitarios a su comunidad discursiva?: la experiencia de la Facultad de Odontología de la Universidad de los Andes." Oscar Alberto Morales y otros Universidad de Los Andes (ULA) Mérida República Bolivariana de Venezuela Commission 9. Education and Communication "Modelo audiovisual para la preparación de la familia y el personal docente de los niños con necesidades educativas especiales de tipo sensorial: sordos desde edad temprana." Esmérido Guerrero Fernández Centro de Diagnóstico y Orientación Provincial Camagüey Cuba Commission 10. Foreigner Languages "The Focus on Form Model of Second Language Acquisition." Holly Wilson Alliant International University San Diego, California EEUU Commission 11. Foreigner Languages "New Tools for English Language Teaching." Kevin J. Caley Universidad de Nottingham Nottingham Inglaterra Commission 12. Medicine "Metodología para el aprendizaje de las competencias comunicativas en profesionales de Tecnología de la Salud." Julio Antonio Martínez Miguel y otros Instituto Superior de Ciencias Médicas Santiago de Cuba Cuba 7. The mayor of the Santiago de Cuba city gave the title of "Distinguished Visitor" of the city to Dr. Lucia Marconi, from the Institute for Computational Linguistics of Pisa, Geneva branch, for her contribution of development linguistics research in Cuba. The 11th INTERNATIONAL SYMPOSIUM ON SOCIAL COMMUNICATION will be held in Santiago de Cuba in January 2009. We hope meet you there! Center for Applied Linguistics Ministry of Science, Technology and Environment Santiago de Cuba Cuba ///////////////////////////////////////////// Dr. Leonel Ruiz Miyares Director Centro de Linguistica Aplicada Calle 17 Edificio 7 Bloque 1 Apartamento 4 entre 14 y A. Reparto RAJAYOGA. Santiago de Cuba. CUBA. C.P. 90400 Telefonos: 53-22-646418, 53-22-656141, 53-22-642760 Correo electronico: leonel at lingapli.ciges.inf.cu From alexander.friedmann at uqam.ca Thu Sep 6 22:23:15 2007 From: alexander.friedmann at uqam.ca (Alex Friedmann) Date: Thu, 06 Sep 2007 16:23:15 -0400 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: <20070906205617.HALM13659.tomts13-srv.bellnexxia.net@Alex-Dell.uqam.ca> At 02:26 AM 9/5/2007, you wrote: >This is an automated message from the > mailing list manager > >List messages sent to your address have bounced. From c.orasan at wlv.ac.uk Fri Sep 7 19:32:19 2007 From: c.orasan at wlv.ac.uk (Constantin Orasan) Date: Fri, 07 Sep 2007 18:32:19 +0100 Subject: RANLP2007 workshop: Computer-aided language processing Message-ID: <1189186339.8355.25.camel@localhost.localdomain> [Apologies for multiple postings] Call for participation Computer-aided language processing (CALP 2007) http://clg.wlv.ac.uk//events/CALP07 workshop held in conjunction with RANLP 2007 http://lml.bas.bg/ranlp2007/ Borovets - Bulgaria *** 30th September 2007 *** The past years have seen a variety of promising NLP projects but in the vast majority of real-world applications, fully automatic NLP is still far from delivering reliable results. As a result, computer-aided methods have emerged as a practical alternative. In the computer-aided scenario, processing is not done entirely by computers, human intervention improves, post-edits or validates the output of the computer program. The aim of the workshop is to bring together researchers working on CALP projects and to provide a forum for fruitful discussion on related issues and further developments in the field. Topics of interests include areas where computers can be used to help but not to fully automate the process such as (but not limited to) machine translation, production of summaries, generation of documents, extraction of terminology, creation of indexes, ontology creation and annotation of texts using semi-automatic methods. The workshop also encourages discussions and submissions focusing on evaluation issues addressing the efficiency of the CALP methods. Of particular interest will be studies which compare the saving of time and cost of CALP methods as opposed to manual methods. Programme Session 1 9:15 - 9:30 Opening remarks 9:30 - 10:00 Sulene Pilon, Martin Puttkammer, Gerhard Van Huyssteen and Handre Groenewald: Using Machine Learning to Annotate Data for NLP Tasks Semi-Automatically 10:00 - 10:30 Laura Hasler: From Extracts to Abstracts: Human Summary Production Operations for Computer-Aided Summarisation 10:30 - 11:00 Yannick Versley, Holger Wunsch and Heike Zinsmeister: A Pilot Study on Computer-aided Coreference Annotation 11:00 - 11:30 break Session 2 11:30 - 12:30 Ruslan Mitkov: Invited Talk 12:30 - 14:00 lunch break Session 3 14:00 - 14:30 Ivan Obradovic and Ranka Stankovic: Wordnet Development Using a Multifunctional Tool 14:30 - 15:00 Kiril Simov, Petya Osenova, Alexander Simov, Anelia Tincheva and Borislav Kirilov: A System for A Semi-Automatic Ontology Annotation 15:00 - 15:20 Davide Picca and Adrian Popescu: Using wikipedia and supersense tagging for semi-automatic complex taxonomy construction 15:20 - 15:40 Doina Tatar, Gabriela Serban, Andreea Mihis and Rada Mihalcea: Textual Entailment as a Directional Relation 15:40 - 16:00 Le An Ha: Multiple-choice test item generation: A demo 16:00 - 16:30 break Session 4 16:30 - 16:50 Hiroshi Sakaki, Takashi Tanaka and Michihiko Seki: A Language Transfer Procedure where Entire Transformation Process is Conducted in the Letter String Region 16:50 - 17:10 Corina Forascu, Radu Ion and Dan Tufis: Semi-automatic Annotation of the Romanian TimeBank 1.2 17:10 - 18:00 Discussion and final remarks Programme committe * Amit Bagga, Ask Jeeves, USA * Kalina Bontcheva, University of Sheffield, UK * Robert Clark, Translution Ltd, UK and Leeds University, UK * Gloria Corpas Pastor, University of Malaga, Spain * Le An Ha, University of Wolverhampton, UK * Catalina Hallett, Open University, UK * Laura Hasler, University of Wolverhampton, UK * Erhard Hinrichs, University of Tuebingen, Germany * Martin Kay, Stanford University, USA * Elina Lagoudaki, Imperial College, UK * Inderjeet Mani, Georgetown University, USA * Patricio Martinez Barco, University of Alicante, Spain * Dalila Mekhaldi, University of Wolverhampton, UK * Andrea Mulloni, Cogito Srl, Italy * Masumi Narita, Tokyo International University, Japan * Matteo Negri, IRST, Italy * Gabor Proszeky, Morphologic, Hungary * Frederique Segond, Rank Xerox, France * Doina Tatar, Babes-Bolyai University, Romania Workshop organisers Constantin Orasan, University of Wolverhampton, UK Sandra Kuebler, Indiana University, USA -- Dr. Constantin Orasan Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton From sadighim at gmail.com Mon Sep 10 17:08:37 2007 From: sadighim at gmail.com (Mohsen Sadighi) Date: Mon, 10 Sep 2007 08:08:37 -0700 Subject: WARNING! (3142569372) In-Reply-To: References: Message-ID: On 9/4/07, event administration wrote: > > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 3142569372, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sadighim at gmail.com Mon Sep 10 17:09:08 2007 From: sadighim at gmail.com (Mohsen Sadighi) Date: Mon, 10 Sep 2007 08:09:08 -0700 Subject: Confirmation Request (2516455161) In-Reply-To: References: Message-ID: On 9/10/07, event administration wrote: > > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2516455161, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Oege.de.Moor at comlab.ox.ac.uk Tue Sep 11 14:01:06 2007 From: Oege.de.Moor at comlab.ox.ac.uk (Oege.de.Moor at comlab.ox.ac.uk) Date: Tue, 11 Sep 2007 12:01:06 GMT Subject: PEPM 2008: abstracts due Oct 12 Message-ID: <200709111201.l8BC16fp020435@mercury.comlab.ox.ac.uk> PEPM 2008 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation January 7-8, 2008, San Francisco Keynotes by Ras Bodik (Berkeley) and Monica Lam (Stanford) Co-located with POPL http://www.program-transformation.org/PEPM08/WebHome PEPM is a leading venue for the presentation of cutting-edge research in program analysis, program generation and program transformation. Its proceedings are published by ACM Press; full details of the scope, submission process, and program committee can be found at the above URL. The program committee would particularly welcome submissions from researchers in computational intelligence on any topic relating to intelligent techniques for guiding automatic optimisation Abstracts are due on October 12, and the deadline for full paper submission is October 17. Prospective authors are welcome to contact the program chairs, Robert Glueck (glueck at acm.org) and Oege de Moor (oege at comlab.ox.ac.uk) with any queries they might have. From mehdi at cs.uu.nl Wed Sep 12 15:43:16 2007 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Wed, 12 Sep 2007 15:43:16 +0200 Subject: BNAIC 2007: Call for Participation Message-ID: <46E7ECF4.50803@cs.uu.nl> **************** Final Call for Early Registration ************** The 19th Belgian-Dutch Conference on Artificial Intelligence BNAIC 2007 Utrecht, November 5&6 2007 http://www.cs.uu.nl/bnaic2007 **** Registration is Open **** **** Early Registration until 15 September 2007 **** ***************************************************************** The BNAIC 2007 aims at presenting an overview of state-of-the art research in artificial intelligence in Belgium and The Netherlands. The program of this edition of BNAIC, which will be available soon, consists of 63 oral presentations, 35 poster presentations, and 13 system demonstrations. Moreover, the program includes invited talks by Michael Thielscher and Pedro Domingos, and an industry track organised by the Decis Lab (Delft Cooperation on Intelligent Systems). The conference will be held at the historical Academiegebouw of Utrecht University, the Netherlands, and is organized under the auspices of the Belgian-Dutch Association for Artificial Intelligence (BNVKI) and the Dutch Research School for Information and Knowledge Systems (SIKS). Visit http://www.cs.uu.nl/bnaic2007 to register now. Please book your accommodation as soon as possible. The hotels that are mentioned on the website guarantee the availability and spacial rate of rooms only until *** September 24th ***. -- Mehdi Dastani Intelligent Systems Group Utrecht University P.O.Box 80.089 3508 TB Utrecht The Netherlands Tel: +31 - 30 - 253 3599 Fax: +31 - 30 - 251 3791 URL: http://www.cs.uu.nl/~mehdi From peter.novak at tu-clausthal.de Fri Sep 14 17:20:01 2007 From: peter.novak at tu-clausthal.de (Peter Novak) Date: Fri, 14 Sep 2007 17:20:01 +0200 Subject: MAS2 CFP Reminder Message-ID: <20070914152001.GH18938@tu-clausthal.de> ********* CALL FOR PAPERS (FIRST REMINDER) ********* *************** Deadline September 20, 2007 **************** =========================================================================================== MAS² 2008 International Workshop on Multi-Agent Systems as Middleware and Architectures for Business Systems http://vsis-www.informatik.uni-hamburg.de/events/mas2/ As part of Multikonferenz Wirtschaftsinformatik 2008 MKWI 2008 February 26 - 28, 2008 München, Germany =========================================================================================== *** Overview *** Multi-agent systems (MAS) offer important concepts and technical solutions for the analysis, design and construction of business systems, especially regarding more and more complex company structures. Therefore, MAS represent a conceptual and technological foundation for solving typical problems of distributed systems such as communication, conflict resolution, cooperation and concurrency. The construction of software using architectures inspired by agent-oriented concepts has the clear advantage that domain-centered metaphors such as groups, actors, objects and services can be directly transferred to the technical side as they are supported on this level as well. This is an essential point regarding the realization of organizational structures und workflows within the software architecture. The agent-oriented paradigm exhibits an especially high degree of concept continuity from the domain to the technical perspective. Foundation of an efficient IT-management is the usage of an appropriate system infrastructure which is in case of distributed systems often backed by middleware systems and/or services. The traditional point-of-view that considers middleware as solution for classical problems of distributed systems is in many cases not sufficient when complex business applications need to be built, because advanced functionalities e.g. from software engineering, artificial intelligence and service orientation need to be taken into account. Thus, new approaches are needed that offer support domain centered adjustment of business processes and structures. In this respect, MAS can be seen as the underlying paradigm for the architecture of software systems as well as providing a technical middleware for their realization. This leads to the question how middleware and architecture can reflect the business system entities. Therefore, applications and their analysis with respect to their requirements for direct IT-support are also of high interest for the workshop. *** Topics: *** The workshop covers a wide range of topics from the area of multi-agent systems as well as from middleware and architectures of business systems. This includes (but is not necessarily limited to) the following genreal topics: * Architecture: Service-Oriented Architecture (SOA), MDA, Event-Driven Systems, Data-Driven Systems, Organizational Patterns * Middleware: Standards, Platforms, Peer-to-Peer, GRID, Components, Enterprise Service Bus, Web-Services * Business Systems: Standards, Business processes, Governance, Application Domains, Organizational Structures, Electronic Market Places, IT-Risk Management, Project Management, Virtual organizations, Semantic Web and more specifically the orthogonal topics for the integration and mutual dependencies of middleware, architecture and business systems: * Concepts: Teamwork, Problem Solving, Planning, Patterns, Adaptation, Self Organization, Autonomic Computing, Behavior, Structure, Composition * Modeling: Software Engineering, Development Processes and Methods, Process Models, Generative Software Development, Standards, Verification, Validation, Simulation, Processes, Tools * Implementation: Web Services, Programming Languages, MDA, Product Lines ============================================================================================ *** Submissions *** We invite submissions of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be formatted according to the GI´s LNI style, which can be obtained from , and not exceed 12 pages including figures, references, etc. Submissions should be sent by E-mail to the Workshop Chairs. The message should indicate paper Title, Authors and Abstract, with the Microsoft Word (.doc) version of the paper in attachment. Email: mas2 at informatik.uni-hamburg.de ------------------------------------------------------------------------------------------- *** Important Dates *** Submission Deadline: September 20, 2007 Notification: November 5, 2007 Camera Ready Copy Due: December 3, 2007 MKWI'08 : February 26 - 28, 2008 ------------------------------------------------------------------------------------------- *** Proceedings *** The accepted papers will be published in the proceedings of the MKWI 2008 conference. From princessbhuvi at gmail.com Fri Sep 14 07:57:36 2007 From: princessbhuvi at gmail.com (Bhuvana) Date: Fri, 14 Sep 2007 11:27:36 +0530 Subject: Subscribe Message-ID: <37af26ca0709132257i3860e3fsbea7369bccff2452@mail.gmail.com> -- Regards Bhuvana -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From princessbhuvi at gmail.com Fri Sep 14 07:59:01 2007 From: princessbhuvi at gmail.com (Bhuvana) Date: Fri, 14 Sep 2007 11:29:01 +0530 Subject: Confirmation Request (0043519507) In-Reply-To: References: Message-ID: <37af26ca0709132259l57e372efj7b3c9e816cd565fd@mail.gmail.com> On 9/14/07, event administration wrote: > > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 0043519507, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > > -- Regards Bhuvana -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Danny.Weyns at cs.kuleuven.be Fri Sep 14 21:33:46 2007 From: Danny.Weyns at cs.kuleuven.be (Danny Weyns) Date: Fri, 14 Sep 2007 21:33:46 +0200 Subject: Call for Participation EEMMAS 2007 In-Reply-To: <46CD5D5E.8090201@cs.uu.nl> References: <46CD5D5E.8090201@cs.uu.nl> Message-ID: <1189798426.46eae21a3c518@webmail2.kuleuven.be> CALL FOR PARTICIPATION Engineering Environment-Mediated Multiagent Systems EEMMAS 2007 http://www.cs.kuleuven.be/~distrinet/events/eemmas/2007/ Invited speakers: Marco Dorigo and Juan Pavon Dresden, Germany, October 5, 2007 We cordially invite you to attend EEMMAS 2007 that will be organized as a satellite conference of ECCS 2007, The European Conference on Complex Systems. PROGRAM 8.40 - 8.50 Opening EEMMAS 8.50 - 9.35 Invited Talk Marco Dorigo Swarms of Self-Assembling Robots 9.35 – 10.45 Engineering Self-Organizing Applications 9.35 – 10.00 Toward Systemic MAS Development: Enforcing Decentralized Self–Organization by Composition and Refinement of Archetype Dynamics Jan Sudeikat, Wolfgang Renz 10.00 – 10.30 Engineering Systems which Generate Emergent Functionalities Marie-Pierre Gleizes, Valérie Camps, Jean-Pierre Georgé, and Davy Capera 10.30 – 10.45 Engineering Autonomic Electronic Institutions, Josep Arcos, Juan A. Rodriguez-Aguilar, Bruno Rosell 10.45 – 11.00 Coffee Break 11.00 – 11.45 Stigmergic Interaction 11.00 – 11.30 Prediction Horizons in Agent Models Van Parunak, Theodore Belding, Sven Brueckner 11.30 – 11.45 Combining Interface Agents and Situated Agents for Deploying Adaptive Web Applications Andrea Bonomi, Marcello Sarini, Giuseppe Vizzari 11.45 – 12.45 Modeling & Structuring Mediating Environments 11.45 – 12.15 Situating Cognitive Agents in GOLEM Stefano Bromuri, Kostas Stathis 12.15 – 12.30 Modeling Agent-Environment Interactions Zalila Mili, Renee Steiner 12.30 – 12.45 DECIDE: Applying Multi-Agent Design and Decision Logic to a Baggage Handling System Kasper Hallenborg 12.45 - 14.00 Lunch Break 14.00 – 14.45 Invited Talk Juan Pavon Complex Systems and Agent-Oriented Software Engineering 14.45 – 16.00 Environment-Based Support for Context & Organizations I 14.45 – 15.15 Coordinated Monitoring of Traffic Jams with Context- Driven Dynamic Organizations Robrecht Haesevoets, Bart Van Eylen, Danny Weyns, Alexander Helleboogh, Tom Holvoet, Wouter Joosen 15.15 – 15.45 Modeling and Design of an Agent-based Micro-simulation of the Swiss Highway Network Michael Schumacher, Laurent Grangier and Radu Jurca 15.45 – 16.00 Environment Support to the Management of Context Awareness Information Marco P. Locatelli, Giuseppe Vizzari 16.00 - 16.30 Coffee Break 16.30 – 17.15 Environment-Based Support for Context & Organizations II 16.30 – 17.00 Engineering Contextual Information for Pervasive Multiagent Systems Gabriella Castelli, Marco Mamei, Franco Zambonelli 17.00 – 17.15 Engineering Business Ecosystems using Environment- Mediated Interactions Cesar A. Marin, Iain Stalker, Nikolay Mehandjiev 17.15 – 18.00 Discussion and Closing ORGANIZING COMMITTEE Danny Weyns, DistriNet Labs, K.U.Leuven, Belgium Sven Brueckner, NewVectors LLC, USA Yves Demazeau, LIG, Grenoble, France INFO & CONTACT http://www.cs.kuleuven.be/~distrinet/events/eemmas/2007/ eemmas at cs.kuleuven.be From axel.polleres at deri.org Sat Sep 15 22:31:55 2007 From: axel.polleres at deri.org (Axel Polleres) Date: Sat, 15 Sep 2007 21:31:55 +0100 Subject: WARNING! (2885443980) In-Reply-To: References: Message-ID: <46EC413B.8020504@deri.org> event administration wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2885443980, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > > -- Dr. Axel Polleres email: axel at polleres.net url: http://www.polleres.net/ From axel.polleres at deri.org Sat Sep 15 22:36:44 2007 From: axel.polleres at deri.org (Axel Polleres) Date: Sat, 15 Sep 2007 21:36:44 +0100 Subject: Confirmation Request (0182579113) In-Reply-To: References: Message-ID: <46EC425C.9050703@deri.org> event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 0182579113, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > > -- Dr. Axel Polleres email: axel at polleres.net url: http://www.polleres.net/ From rv08 at in.tum.de Sun Sep 16 01:20:20 2007 From: rv08 at in.tum.de (Martin Leucker) Date: Sun, 16 Sep 2007 01:20:20 +0200 Subject: CFP: RV'08 Message-ID: <20070915232020.GA11385@in.tum.de> We apologize if you receive multiple copies of this email. ---------------------------------------------------------------------- Call for Papers RV'08 8th Workshop on Runtime Verification http://rv08.in.tum.de/ March 30, 2008 Budapest, Hungary Affiliated with ETAPS'08 http://etaps08.mit.bme.hu/ ---------------------------------------------------------------------- RV'08 brings together researchers in order to debate how to monitor and analyze the execution of programs. The focus of runtime verification varies from testing software before deployment to detecting errors after deployment. Approaches to runtime verification include checking conformance with a formal specification written in a temporal or history-tracking logic. One of the longer-term goals of the workshop is to investigate the use of lightweight formal methods applied at runtime as a viable complement to methods aimed mainly at proving programs correct prior to execution, e.g., theorem proving and model checking. Moreover, the focus of RV has been extended from detecting (non)-conformance to triggering fault protection mechanisms in case non-conformance has been detected. This allows for new software design and programming paradigms. Thus, RV's topics partially overlap with those found in other directions such as aspect oriented programming, self-healing systems, autonomous systems, adaptive systems, etc. The subject covers several technical fields as outlined below. * Specification languages and logics: Formal methods scientists have investigated logics and developed technologies that are suitable for model checking and theorem proving, but monitoring can reveal new observation-based foundational logics. * Aspect oriented languages with trace predicates: New results in extending aspect languages, such as for example AspectJ, with trace predicates replacing the standard pointcuts. Aspect oriented programming provides specific solutions to program instrumentation and program guidance. * Program instrumentation in general: Any techniques for instrumenting programs, at the source code or object code/byte code level, to emit relevant events to an observer. * Program Guidance in general: Methodologies, architectures, and techniques for guiding the behavior of a program once its specification is violated, for developing self-healing, autonomous, or adaptive systems. Techniques ranging from standard exceptions to advanced planning lead to new development methodologies and software architectures such as monitor-oriented programming or monitor-based runtime reflection. * Combining static and dynamic analysis: Monitoring a program with respect to a temporal formula can have an impact on the monitored program, with respect to execution time as well as memory consumption. Static analysis can be used to minimize the impact by optimizing the program instrumentation. Runtime monitors can be seen as proof obligations left over from proofs - what is left that could not be proved. * Dynamic program analysis: Techniques that gather information during program execution and use it to conclude properties about the program, either during test or in operation. Algorithms for detecting multi-threading errors in execution traces, such as deadlocks and data races. Algorithms for generating specifications from runs - dynamic reverse engineering, including also program visualization. * Security analysis: Monitoring for the enforcement of security policies. Successful applications include operating system and middleware access control, firewalls, stack inspection based sandboxing, detecting the threats of untrustworthy (malicious or buggy) code, intrusion detection etc. * Contract Security analysis: Monitoring for the enforcement of contract fulfillment in SOA and web-services, especially in contract-oriented software development. Both foundational and practical aspects are encouraged. PROCEEDINGS: Preliminary workshop proceedings will be available at the meeting as a technical report. As for RV'07, revised final papers will appear as Springer Lecture Notes in Computer Science (LNCS) (to be confirmed). SUBMISSIONS: * All submissions should be made electronically on the Submission Page. * Manuscripts of regular papers are limited to a maximum of 15 pages (excluding technical appendices) in PDF format (LNCS style mandatory). DATES: Abstracts: December 9, 2007 Submissions: December 14, 2007 Notification: January 14, 2008 Camera ready copy: January 28, 2008 Workshop: March 30, 2008 INVITED SPEAKER: Jean Goubault-Larrecq: Orchids, and Bad Weeds PROGRAM COMMITTEE: Mehmet Aksit (University of Twente, NL) Howard Barringer (University of Manchester, UK) Mads Dam (KTH Stockholm, SE) Bernd Finkbeiner (Saarland University, DE) Klaus Havelund (NASA Jet Propulsion Laboratory, US) Bengt Jonsson (Uppsala Univesitet, SE) Moonzoo Kim (KAIST, KR) Martin Leucker (Chair) (Technical University of Munich, DE) Dejan Nickovic (Verimag, FR) Doron Peled (Bar Ilan University, IL) Mauro Pezze (University of Lugano, CH) Shaz Qadeer (Microsoft Research, US) Grigore Rosu (University of Illinois, Urbana-Champaign, US) Gerardo Schneider (University of Oslo, NO) Henny Sipma (Stanford University, US) Oleg Sokolsky (University of Pennsylvania, US) Mario Sudholt (Ecole des Mines de Nantes-INRIA, LINA, FR) Serdar Tasiran (Koc University, TR) Stavros Tripakis (Cadence Labs, US) Yaron Wolfsthal (IBM, IL) STEERING COMMITTEE: Klaus Havelund (NASA Jet Propulsion Laboratory) Gerard Holzmann (NASA Jet Propulsion Laboratory) Insup Lee (University of Pennsylvania) Grigore Rosu (University of Illinois, Urbana-Champaign) From demis at dimi.uniud.it Mon Sep 17 11:57:33 2007 From: demis at dimi.uniud.it (Demis) Date: Mon, 17 Sep 2007 11:57:33 +0200 Subject: 1st CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07) Message-ID: <581BA9A0-377A-47D9-9038-2B03238CBE4D@dimi.uniud.it> [ We apologize for multiple copies ] *********************************************************************** 1st Call for Papers 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV'07) San Servolo island, Venice (Italy) December 14, 2007 http://wwv07.dimi.uniud.it/ IMPORTANT DATES Abstract Submission October 14, 2007 Full Paper Submission October 21, 2007 Acceptance Notification November 12, 2007 Camera Ready November 23, 2007 Workshop December 14, 2007 SCOPE The increased complexity of Web sites and the explosive growth of Web-based applications has turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects. We solicit original papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as: * rule-based approaches to Web site analysis, certification, specification, verification, and optimization * formal models for describing and reasoning about Web sites * model-checking, synthesis and debugging of Web sites * abstract interpretation and program transformation applied to the semantic Web * intelligent tutoring and advisory systems for Web specifications authoring * Web quality and Web metrics * Web usability and accessibility * Testing and evaluation of Web systems and applications The WWV series provides a forum for researchers from the communities of Rule-based programming, Automated Software Engineering, and Web-oriented research to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. LOCATION WWV'07 will be held in December in the convention centre of the island of San Servolo, Venice, Italy. SUBMISSION PROCEDURE Submissions must be received by October 21, 2007. In addition, an ASCII version of the title and abstract must have been submitted by October 14, 2007. Submitted papers should be at most 15 pages in the Electronic Notes in Theoretical Computer Science (ENTCS) style, and should include an abstract and the author's information. See the author's instructions of ENTCS style at http://www.entcs.org. PUBLICATION Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop. Publication of the workshop post-proceedings in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS, ISSN: 1571-0661) is envisaged. INVITED SPEAKERS Paolo Traverso ITC-IRST, Italy Joost Visser Software Improvement Group, The Netherlands PROGRAM CO-CHAIRS Santiago Escobar Technical University of Valencia, Spain Massimo Marchiori University of Padova, Italy WORKSHOP CHAIR Demis Ballis University of Udine, Italy PROGRAM COMMITTEE (in progress) Jesus Almendros University of Almeria, Spain Maria Alpuente Technical University of Valencia, Spain Demis Ballis University of Udine, Italy Gilles Barthe INRIA Sophia-Antipolis, France Tevfik Bultan University of California, Santa Barbara, USA Santiago Escobar Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy Nora Koch Ludwig Maximilians Universität München, Germany Temur Kutsia RISC, Linz, Austria Massimo Marchiori University of Padova, Italy Tiziana Margaria University of Potsdam, Germany Sebastian Schaffert Salzburg Research, Austria From alexander.friedmann at uqam.ca Wed Sep 19 02:03:38 2007 From: alexander.friedmann at uqam.ca (Alex Friedmann) Date: Tue, 18 Sep 2007 20:03:38 -0400 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: <20070919014700.CBDX574.tomts16-srv.bellnexxia.net@Alex-Dell.uqam.ca> At 07:34 AM 9/15/2007, you wrote: >This is an automated message from the > mailing list manager > >List messages sent to your address have bounced. > >I From sean.bechhofer at manchester.ac.uk Fri Sep 21 17:25:50 2007 From: sean.bechhofer at manchester.ac.uk (Sean Bechhofer) Date: Fri, 21 Sep 2007 16:25:50 +0100 Subject: CFP: European Semantic Web Conference (ESWC2008) Message-ID: [Apologies for cross and multiple postings. Please circulate to colleagues and prospective interested parties.] -- FIRST CALL FOR PAPERS -- ======================================================================= 5th European Semantic Web Conference (ESWC2008) Tenerife, Spain, June 1-5 2008. ======================================================================== The vision of the Semantic Web is to enhance today's Web by exploiting machine-processable metadata. The explicit representation of the semantics of data, enriched with domain theories (ontologies), will enable a web that provides a qualitatively new level of service. It will weave together a large network of human knowledge and makes this knowledge machine-processable. Various automated services will help the users to achieve their goals by accessing and processing information in machine-understandable form. This network of knowledge systems will ultimately lead to truly intelligent systems, which will be employed for various complex decision-making tasks. Semantic Web research can benefit from ideas and cross-fertilization with many other areas: Artificial Intelligence, Natural Language Processing, Databases and Information Systems, Information Retrieval, Multimedia, Distributed Systems, Social Networks and Web Engineering. Many advances within these areas can contribute towards the realization of the Semantic Web. The 5th Annual European Semantic Web Conference (ESWC 2008) will present the latest results in research and applications of Semantic Web technologies. ESWC 2008 will also feature a tutorial program, system descriptions and demos, a posters track, a Ph.D. symposium and a number of collocated workshops. The calls for these events are separate and can be found on the conference Web site [http://www.eswc2008.org]. ESWC 2008 is sponsored by STI2, Semantic Technology Institutes International. For more information on STI2, please visit [http://www.sti2.org]. ======================================================================== Submissions ESWC 2008 welcomes the submission of original research and application papers dealing with all aspects of the Semantic Web. We particularly encourage the submission of papers on industrial efforts and experiences with Semantic Web projects. We encourage theoretical, methodological, empirical, and applications papers. The proceedings of this conference will be published in Springer's Lecture Notes in Computer Science series. Paper submission and reviewing for ESWC 2008 will be electronic, via the conference submissions site [http://www.eswc2008.org/submissions.html]. Papers should not exceed fifteen (15) pages in length and must be formatted according to the Information for LNCS authors: [http://www.springer.com/east/home/computer/lncs? SGWID=5-164-7-72376-0&teaserId=45515&CENTER_ID=73062 ]. Papers must be submitted in PDF (Adobe's Portable Document Format) format and will not be accepted in any other format. Papers that exceed 15 pages or do not follow the LNCS guidelines risk being rejected automatically without a review. Authors of accepted papers will be required to provide semantic annotations for the abstract of their submission -- details of this process will be provided on the conference site at the time of acceptance. At least one author of each accepted paper must register for the conference. ======================================================================== Best Paper Award An award will be given to the best paper (or papers) submitted to the conference as judged by the Program Chairs in collaboration with the Program Committee. ======================================================================== Important Dates -- Papers: Abstract Submission: December 7, 2007 Full Paper Submission: December 14, 2007 Notification: February 29, 2008 Camera Ready: March 14, 2008 Conference: June 3-5, 2008 ======================================================================== Topics of Interest Topics of interest to ESWC 2008 include, but are not limited to: * Ontology Management (creation, evolution, evaluation, etc.) * Ontology Alignment (mapping, matching, merging, mediation and reconciliation) * Ontology Learning and Metadata Generation (e.g., HLT and ML approaches) * Multimedia and Semantic Web * Semantic Annotation of Data * Semantic Web Trust, Privacy, Security and Intellectual Property Rights * Query Languages and Optimization for the Semantic Web * Rule Languages for the Semantic Web * Database Technologies for the Semantic Web * Data Semantics and Web Semantics * Semantic Interoperability * Logics for the Semantic Web * Semantic Web Mining * Reasoning on the Semantic Web * Behavior in the Semantic Web * Searching, Querying, Visualizing, Navigating and Browsing the Semantic Web * Personalization and User Modelling * User Interfaces and Semantic Web * Semantics in P2P Computing and the Grid * Semantic Web Services (description, discovery, invocation, composition, choreography, etc.) * Semantics in Middleware * Semantic Web-based Knowledge Management (e.g. Semantic Desktop, Knowledge Portals) * Semantic Web for e-Business, e-Science, e-Health, e-Culture, e- Government, e-Learning and other application domains * Evaluation of Semantic Web Technologies * Social networks and processes on the Semantic Web * Semantic web technology for collaboration and cooperation We particularly welcome application papers which clearly show benefits of Semantic Web technologies in practical settings. -- Sean Bechhofer School of Computer Science University of Manchester sean.bechhofer at manchester.ac.uk http://www.cs.manchester.ac.uk/people/bechhofer From a.artikis at gmail.com Mon Sep 24 13:19:48 2007 From: a.artikis at gmail.com (Alexander Artikis) Date: Mon, 24 Sep 2007 14:19:48 +0300 Subject: ESAW 07: Early registration deadline 30/9 Message-ID: <130ef5930709240419xa3ecf3dlfed83c4d10413648@mail.gmail.com> Apologies for cross-posting. Registration for ESAW 07 is available through: http://esaw07.iit.demokritos.gr/registration.html --------------------------------------------------------------------------- Eighth International Workshop "Engineering Societies in the Agents World" (ESAW 07), October 22-24 2007, National Centre for Scientific Research (NCSR) "Demokritos", Athens, Greece http://esaw07.iit.demokritos.gr --------------------------------------------------------------------------- INVITED SPEAKERS: * Marek Sergot, Imperial College London, UK * Robert Axtell, The Brookings Institution, USA * Tim Norman, Univeristy of Aberdeen, UK --------------------------------------------------------------------------- From alessio at stork.doc.ic.ac.uk Mon Sep 24 22:16:49 2007 From: alessio at stork.doc.ic.ac.uk (Alessio Lomuscio,hux 441) Date: Mon, 24 Sep 2007 21:16:49 +0100 Subject: [Event@CIG] ESAW 07: Early registration deadline 30/9 Message-ID: I am away until Tuesday 25 September. Your message will be answered upon my return. Kind regards -A From hr.at at deri.org Thu Sep 27 09:55:16 2007 From: hr.at at deri.org (hr.at at deri.org) Date: Thu, 27 Sep 2007 09:55:16 +0200 Subject: Job ad: PhD position In-Reply-To: <46D3E047.5030103@deri.org> References: <46B036DB.1060002@deri.org> <46D3E047.5030103@deri.org> Message-ID: <46FB61E4.4000607@deri.org> -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : PhD-Researcher.pdf Dateityp : application/pdf Dateigröße : 30132 bytes Beschreibung: nicht verfügbar URL : From Ngoc-Thanh.Nguyen at pwr.wroc.pl Thu Sep 27 21:32:06 2007 From: Ngoc-Thanh.Nguyen at pwr.wroc.pl (Ngoc Thanh Nguyen) Date: Thu, 27 Sep 2007 21:32:06 +0200 Subject: CfP: KES-AMSTA 2008 (KES Symposium on Agent and Multiagent Systems: Technologies and Applications) Message-ID: <46FC2156.2415.2E1F01@localhost>                     -- FIRST CALL FOR PAPERS -- ====================================================================         KES-AMSTA-2008 2nd International Symposium on Agents and Multi-agent Systems – Technologies and Applications Incheon, Korea 26 Mar. – 28 Mar. 2008 http://amsta-08.kesinternational.org ==================================================================== KES-AMSTA-08 is an international scientific symposium for research in the field of agent and multi-agent systems. The aim of the symposium is to provide an internationally respected forum for scientific research in the technologies and applications of agent and multi-agent systems. Previous KES-AMSTA was held in Wroclaw, Poland (2007, LNAI 4496). KES-AMSTA-08 is organized by KES International and Inha University, Korea, and will take place in Incheon. ==================================================================== Submissions Papers are invited from prospective authors with interests on the below indicated symposium topics and related areas of application. All contributions should be original and not published elsewhere or intended to be published during the review period. Contributions from more applied related fields in industry and commerce are very welcome. All accepted papers must be presented by one of the authors who must register for the conference. To ensure high quality, all papers will be thoroughly reviewed by the KES-AMSTA-08 International Programme Committee. The symposium proceedings will be published by Springer-Verlag in LNCS/LNAI series. Submitted papers should be prepared in LNCS/LNAI style and should not exceed 10 pages. Extended versions of selected papers will be considered for publication in special issues to be included in several journals indexed by ISI, KES Journal and Int. Journal of Intelligent Information and Database Systems. Ph.D. students are invited to submit papers to Doctoral Track. Special sessions are also welcome. ==================================================================== Important Dates Submission of papers: 15 Oct. 2007 Notification of acceptance: 10 Nov. 2007 Final papers to be received: 10 Dec. 2007 Authors / Early registration: 22 Dec. 2007 Symposium: 26 Mar. – 28 Mar. 2008 ==================================================================== Topics of Interest: Agent Systems: Formal models of agency. Agent architectures. BDI architecture. Learning, evolution, and adaptation. Perception and action. Communication: languages, semantics, pragmatics, protocols, and conversations. Knowledge representation Computational complexity. Autonomous or humanoid robots. Social robots and robot teams. Autonomy aspect. Cognitive models, including emotions and philosophies. Embodied and believable agents. Emergent behavior. Ontologies. Multi-agent Agent Systems: Cooperative distributed problem solving. Task and resource allocation. Mechanism design, auctions, and game theory. Modeling other agents and self. Multi-agent planning. Negotiation protocols. Multi-agent learning. Conflict resolution. Trust and reputation management. Privacy, safety and security. Scalability, robustness and dependability. Social and organizational structures. Verification and validation. Novel computing paradigms (autonomic, grid, P2P, ubiquitous computing). Brokering and matchmaking. Agent-oriented software engineering, including implementation languages and frameworks. Mobile agents. Performance, scalability, robustness, and dependability. Verification and validation. E-business agents. Pervasive computing. Privacy, safety, and security. Tools and Applications: Simulation systems. Web services and service-oriented computing. Artificial social systems. Autonomic computing. Case studies and reports on deployments. Computational infrastructures. Information retrieval. Web services and semantic web. E-learning systems. E-institutions. E-commerce. -- Contact: Ngoc Thanh Nguyen Institute of Information Science and Engineering Wroclaw University of Technology thanh at pwr.wroc.pl http://www.iit.pwr.wroc.pl/~nguyen/eng_index.html -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From iea-aie at pwr.wroc.pl Thu Sep 27 19:40:55 2007 From: iea-aie at pwr.wroc.pl (IEA-AIE 2008) Date: Thu, 27 Sep 2007 19:40:55 +0200 Subject: CfP: IEA/AIE 2008 Int. Conf. on Industrial, Engineering & Other Applications of Applied Intelligent System Message-ID: -- FIRST CALL FOR PAPERS -- =======================================================================          The Twenty First International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE 2008)                    Wroclaw, Poland, June 18-20 2008 Conference web site [http://www.ieaaie.pwr.wroc.pl/] ======================================================================== IEA/AIE 2008 continues the long term tradition of concentrating on applications of applied intelligent systems to solve real-life problems in all areas of industry, engineering, science, automation & robotics, business & finance, medicine and biomedicine, bioinformatics, cyberspace, and man-machine interactions. Similarly to previous editions IEA/AIE-08 will include oral presentations, invited speakers, special sessions, doctoral consortium and poster presentations. Previous IEA/AIE conferences have been held in New-Orleans (2000, LNCS 1821), Budapest (2001, LNCS 2070), Cairns (2002, LNCS 2358), Loughborough (2003, LNCS 2718), Ottawa (2004, LNAI 3029), Bari (2005, LNAI 3533) and Annecy (2006, LNAI 4031), Kyoto (2007, LNAI 4570). IEA/AIE 2008 is sponsored by International Society of Applied Intelligence and Institute of Information Science and Engineering, Wroclaw University of Technology. It is organized in cooperation with: American Association for Artificial Intelligence (AAAI); Association for Computing Machinery (ACM/SIGART); Canadian Society for the Computational Studies of Intelligence (CSCSI/SCEIO); European Neural Network Society (ENNS); International Neural Network Society (INNS); Japanese Society for Artificial Intelligence (JSAI); Taiwanese Association for Artificial Intelligence (TAAI); Texas State University - San Marcos. ======================================================================== Proceedings and Submission The proceedings of IEA/AIE'08 will be published in Springer Verlag LNCS/LNAI Series. Authors are invited to submit papers, written in English, of up to 10 single spaced pages, presenting results of original research or innovative practical applications relevant to the conference. Practical experiences with state-of-the-art AI methodologies are also acceptable when they reflect lessons of unique value to the conference attendees. Shorter works, up to 6 pages, to be presented in 10 minutes, may be submitted as SHORT PAPERS representing work in progress or suggesting possible research directions. All paper submissions will be done electronically, as indicated in the instructions on the conference web site [www.iea-aie.pwr.wroc.pl.] ======================================================================== Best Paper Award and Post-Conference Journal Issues An award will be given to the best paper (or papers) submitted to the conference as judged by the Program Chairs in collaboration with the Program Committee. All papers, but particularly those nominated for the Best Paper competition, will be automatically considered for publication in an expanded form in the International Journal of Applied Intelligence and other prestigious international journals. ======================================================================== Important Dates -- Papers: Full Paper Submission: November 8, 2007 Notification:           February 1, 2008 Camera Ready:           February 28, 2008 Conference:             June 18-20, 2008 ======================================================================== Topics of Interest: Active Mining Adaptive Control Application to Design Applications to Manufacturing Autonomous Agents Bio-informatics Case-based Reasoning Chance Discovery Computer Vision Constraint Satisfaction Conversational Informatics Data Mining & KDS Distributed Problem Solving Expert Systems Fuzzy Logic Genetic Algorithms Genetic Programming Heuristic Search Human Robot Interaction Integration Systems for Real Life Applics. Intelligent Interfaces Intelligent Systems Intelligent Systems in Education Internet Applications KBS Methodology Knowledge Management Knowledge Processing Machine Learning Model-based Reasoning Multi-Agent Systems Natural Language Processing Neural Networks Planning and Scheduling Reasoning under Uncertainty Spatial Reasoning Speech Recognition System Temporal Reasoning -- Ngoc Thanh Nguyen Institute of Information Science and Engineering Wroclaw University of Technology thanh at pwr.wroc.pl http://www.iit.pwr.wroc.pl/~nguyen/eng_index.html ............................................................................... IEA-AIE 2008 Organizing Committee 21st Int. Conf. on Industrial, Engineering & Other Applications of Applied Intelligent Systems 18-20 June 2008, Wrocław, Poland http://www.ieaaie.pwr.wroc.pl/ From VFBAINES at qinetiq.com Fri Sep 28 10:32:11 2007 From: VFBAINES at qinetiq.com (Baines Vincent F) Date: Fri, 28 Sep 2007 09:32:11 +0100 Subject: subscribe Message-ID: <211C75A70E8BD411A3B600508BF3B5070DAF8124@pye-mail-2.dera.gov.uk> Vincent Baines Creative Simulation Simulation & Training Air Division Defence & Technology Sector QinetiQ Cody Technology Park Room 2007, A5 Building Ively Road Farnborough Hampshire GU14 0LX Tel: +44 (0)1252 393642 Email: vfbaines at QinetiQ.com The information contained in this E-Mail and any subsequent correspondence is private and is intended solely for the intended recipient(s). The information in this communication may be confidential and/or legally privileged. Nothing in this e-mail is intended to conclude a contract on behalf of QinetiQ or make QinetiQ subject to any other legally binding commitments, unless the e-mail contains an express statement to the contrary or incorporates a formal Purchase Order. For those other than the recipient any disclosure, copying, distribution, or any action taken or omitted to be taken in reliance on such information is prohibited and may be unlawful. Emails and other electronic communication with QinetiQ may be monitored and recorded for business purposes including security, audit and archival purposes. Any response to this email indicates consent to this. Telephone calls to QinetiQ may be monitored or recorded for quality control, security and other business purposes. QinetiQ Limited Registered in England & Wales: Company Number:3796233 Registered office: 85 Buckingham Gate, London SW1E 6PD, United Kingdom Trading address: Cody Technology Park, Cody Building, Ively Road, Farnborough, Hampshire, GU14 0LX, United Kingdom http://www.QinetiQ.com/home/legal.html -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From VFBAINES at qinetiq.com Fri Sep 28 10:39:49 2007 From: VFBAINES at qinetiq.com (Baines Vincent F) Date: Fri, 28 Sep 2007 09:39:49 +0100 Subject: Confirmation Request (1262794303) Message-ID: <211C75A70E8BD411A3B600508BF3B5070DAF8125@pye-mail-2.dera.gov.uk> -----Original Message----- From: event administration [mailto:event-subscribe at in.tu-clausthal.de] Sent: 28 September 2007 09:39 To: Baines Vincent F Subject: Confirmation Request (1262794303) This is an automated message from the mailing list manager Somebody (probably you) have requested the subscribe operation for your address If you want to confirm this operation, use the Reply command in your mailer. Check that the Subject of the reply message contains the confirmation ID: 1262794303, the reply is directed to , and the 'From' address of your reply is . If you do not want to confirm the requested operation, simply do nothing All requests about this mailing list should be sent to The information contained in this E-Mail and any subsequent correspondence is private and is intended solely for the intended recipient(s). The information in this communication may be confidential and/or legally privileged. Nothing in this e-mail is intended to conclude a contract on behalf of QinetiQ or make QinetiQ subject to any other legally binding commitments, unless the e-mail contains an express statement to the contrary or incorporates a formal Purchase Order. For those other than the recipient any disclosure, copying, distribution, or any action taken or omitted to be taken in reliance on such information is prohibited and may be unlawful. Emails and other electronic communication with QinetiQ may be monitored and recorded for business purposes including security, audit and archival purposes. Any response to this email indicates consent to this. Telephone calls to QinetiQ may be monitored or recorded for quality control, security and other business purposes. QinetiQ Limited Registered in England & Wales: Company Number:3796233 Registered office: 85 Buckingham Gate, London SW1E 6PD, United Kingdom Trading address: Cody Technology Park, Cody Building, Ively Road, Farnborough, Hampshire, GU14 0LX, United Kingdom http://www.QinetiQ.com/home/legal.html From schrag at cox.net Fri Sep 28 23:30:59 2007 From: schrag at cox.net (Bob Schrag) Date: Fri, 28 Sep 2007 17:30:59 -0400 Subject: Kein Betreff Message-ID: <20070929133737.KXID2558.eastrmmtao106.cox.net@eastrmimpo02.cox.net> From schrag at cox.net Sat Sep 29 18:42:43 2007 From: schrag at cox.net (Bob Schrag) Date: Sat, 29 Sep 2007 12:42:43 -0400 Subject: Confirmation Request (2884877641) In-Reply-To: References: Message-ID: <20070929163851.PEQ924.eastrmmtao102.cox.net@eastrmimpo01.cox.net> At 12:25 PM 9/29/2007, you wrote: >This is an automated message from the > mailing list manager > >Somebody (probably you) have requested the unsubscribe operation > for your address > >If you want to confirm this operation, > use the Reply command in your mailer. > >Check that the Subject of the reply message contains > the confirmation ID: 2884877641, > the reply is directed to , > and the 'From' address of your reply is . > >If you do not want to confirm the requested operation, simply do nothing > >All requests about this mailing list > should be sent to From ci-listen at in.tu-clausthal.de Mon Sep 3 11:48:21 2007 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG) Date: Mon, 03 Sep 2007 11:48:21 +0200 Subject: Fwd: Call for Editorial Board Members & News [12-6] Message-ID: Hi Juergen, could you please tell me whether to let this through Event at CIG, or not? I tried to check the person's website and other links, but I cannot come to a conclusion whether this is serious, or yet another hoax. Thanks for you help, Peter. --- the forwarded message follows --- -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: Mohamed Fayad Betreff: Call for Editorial Board Members & News [12-6] Datum: Sun, 2 Sep 2007 21:59:35 -0700 Größe: 16307 URL: