From carlos.areces at loria.fr Thu Jan 4 14:50:51 2007 From: carlos.areces at loria.fr (Carlos Areces) Date: Thu, 04 Jan 2007 14:50:51 +0100 Subject: ASAI 2007 - IX Argentine Symposium on Artificial Intelligence Message-ID: <459D063B.70807@loria.fr> CALL FOR PAPERS ASAI 2007 - IX Argentine Symposium on Artificial Intelligence Mar del Plata, Argentina - August 27-28, 2007 Website: http://www.exa.unicen.edu.ar/asai2007/ Introduction ASAI, the Argentine Symposium on Artificial Intelligence, is an annual event intended to be the main forum of the Artificial Intelligence (AI) community in Argentina. The symposium aims at providing a forum for researchers and AI community members to discuss and exchange ideas and experiences on diverse topics of AI. Previous ASAI editions stimulated presentations on both applications of AI and new tools and foundations currently under development. The Ninth Argentine Symposium on Artificial Intelligence (ASAI 2007) will be held during August 27-28 in Mar del Plata, Argentina. ASAI 2007 will be part of the 36th JAIIO, the 36th Argentine Meetings on Informatics and Operations Research organized by SADIO, the Argentine Society for Informatics and Operations Research. Topics of particular interest include (without being limited to): - AI Development, Tools and Methodologies - AI Foundations (Philosophy, Epistemology, Economics, etc.) - Computer Vision and Pattern Recognition - Evolutionary Computation - Human-Computer Interaction - Hybrid Systems (Fuzzy, Evolutionary, Neural, Symbolic, etc.) - Innovative Applications of Artificial Intelligence (Bioinformatics, Computational Biology, Education, Internet, Law, Music, etc.) - Intelligent Agents and Multi-Agent Systems - Intelligent Information Retrieval - Knowledge Engineering - Knowledge Discovery and Data Mining - Knowledge Representation and Reasoning - Machine Learning - Natural Language Processing - Planning and Scheduling - Robotics Program Co-Chairs Dra. Daniela Godoy (ISISTAN, Universidad Nacional del Centro de la Pcia. de Bs. As., Argentina) Dra. Ana Gabriela Maguitman (Dpto. de Ciencias e Ingeniería de la Computación, Universidad Nacional del Sur, Argentina) Program Committee - Dra. Analía Amandi (ISISTAN, Universidad Nacional del Centro de la Pcia. de Bs. As., Argentina) - Dr. Carlos Areces (LORIA, France) - Dra. Ivon Arroyo (University of Massachusetts, USA) - Dr. John Atkinson (Universidad de Concepción, Chile) - Dr. Juan Carlos Augusto (School of Computing and Mathematics, University of Ulster at Jordanstown, UK) - Dr. Gustavo Batista (Pontifícia Universidade Católica de Campinas, Brazil) - Dra. Ana Lucia Bazzan (Universidade Federal do Rio Grande do Sul, Brazil) - Dr. Leopoldo Bertossi (Carleton University, Canada) - Dr. Olivier Boissier (ENS Mines Saint-Etienne, France) - Dr. Ramón Brena (Centro de Sistemas Inteligentes, ITESM, Campus Monterrey, Mexico) - Dr. Alejandro Ceccatto (IFIR-CONICET, Universidad Nacional de Rosario, Argentina) - Dr. Carlos Iván Chesñevar (Universidad Nacional del Sur, Argentina, and Universidad de Lleida, Spain) - Dr. Carlos Coello-Coello (CINVESTAV-IPN, Dto. Ingeniería Eléctrica, Mexico) - Dr. Juan Manuel Corchado (GSII, Universidad de Salamanca, Spain) - Dr. Fernando Das Neves (Snoop Consulting, Argentina) - Dr. Yves Demazeau (Laboratoire Leibniz, Institut IMAG, France) - Dr. Marcelo A. Falappa (Universidad Nacional del Sur, Argentina) - Dr. Eduardo Fermé (Universidade da Madeira, Portugal) - Dr. Raymundo Forradellas (Universidad Nacional de San Juan and Universidad Nacional de Cuyo, Argentina) - Dr. Alejandro Garcia (Universidad Nacional del Sur, Argentina) - Dr. Hector Geffner (Universitat Pompeu Fabra, Spain) - Dr. Juan Carlos Gómez (Universidad Nacional de Rosario, Argentina) - Dra. Gabriela Henning (INTEC-CONICET, Universidad Nacional del Litoral, Argentina) - Dr. Gabriel Infante-Lopez (FaMAF, Universidad Nacional de Córdoba, Argentina) - Dra. Maricarmen Martinez (Universidad de los Andes, Colombia) - Dra. María Carolina Monard (Universidade de São Paulo, Brazil) - Dr. Juan Pavón (Universidad Complutense Madrid, Spain) - Dr. Ignacio Ponzoni (PLAPIQUI, Universidad Nacional del Sur, Argentina) - Dra. María Cristina Riff (Universidad Técnica Federico Santa María, Chile) - Dr. Ricardo Rodriguez (Universidad de Buenos Aires, Argentina) - Dr. Sebastian Sardiñas (RMIT University, Melbourne, Australia) - Dra. Silvia Schiaffino (ISISTAN, Universidad Nacional del Centro de la Pcia. de Bs. As., Argentina) - Dr. Jaime Sichman (Universidade de São Paulo, Brazil) - Dr. Guillermo Simari (Universidad Nacional del Sur, Argentina) - Dra. Georgina Stegmayer (UTN-Santa Fe, Argentina) - Dr. Nik Swoboda (Universidad Politécnica de Madrid, Spain) - Dra. Francesca Toni (Department of Computing, Imperial College London, UK) - Dr. Alejandro Zunino (ISISTAN, Universidad Nacional del Centro de la Pcia. de Bs. As., Argentina) Paper Submission ASAI 2007 seeks original contributions in a wide spectrum of Artificial Intelligence, ranging from state-of-the-art academic research to industrial and business applications having a significant impact. The symposium will consist of invited talks and regular paper sessions presenting both mature work and new ideas in theoretical research and applications. Submissions are due on April 30, 2007. Delayed submissions will most likely be rejected. All papers received before the deadline will be peer-reviewed by referees of the area. The submission of manuscripts must follow the LNCS (Lecture Notes on Computer Science) format available at: http://www.springer.de/comp/lncs/authors.html. All contributions, of maximum 12-page length, should be submitted in Ghostview-readable Postscript or PDF formats. For diffusion reasons, papers in English are strongly recommended (Spanish is also acceptable). The submission site will be available for paper submissions beginning early March through April 30, 2007. The receipt of a submission will be acknowledged immediately to the corresponding author. Information on the format of the camera-ready copy will be sent by email with the acceptance letter. Publication All accepted papers will be published in JAIIO 2007 Proceedings. At least one of the authors will be required to register and attend the symposium to present the paper. Extended versions of selected papers accepted for previous ASAI meetings have been published as special issues in the Revista Iberoamericana de Inteligencia Artificial, edited by the Spanish Association for Artificial Intelligence (AEPIA), and the Electronic Journal of SADIO. A similar avenue is under consideration for ASAI 2007. Important Dates - Paper Submission Deadline: April 30, 2007 - Notification of Acceptance/Rejection: June 18, 2007 - Deadline for Camera Ready Submissions: June 25, 2007 Contact For further information, please send an e-mail to: asai2007 at exa.unicen.edu.ar or visit: http://www.exa.unicen.edu.ar/asai2007/ ================================================================== 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 LED - Batiment B 615, rue du Jardin Botanique 54600 Villers les Nancy Cedex, France From a.ricci at unibo.it Mon Jan 8 11:04:51 2007 From: a.ricci at unibo.it (Alessandro Ricci) Date: Mon, 8 Jan 2007 11:04:51 +0100 Subject: CFP (2nd): ProMAS at AAMAS'07 Message-ID: (please accept our apologies if you receive multiple postings) 2nd CALL FOR PAPERS: ProMAS'07 Fifth International Workshop on Programming Multi-Agent Systems (ProMAS'07) ProMAS'07 is a satellite workshop at AAMAS 2007 Hawaii, USA, 14-18 May 2007 Even though the contributions of the multi-agent systems (MAS) community can make a significant impact in the development of open distributed systems, the techniques resulting from such contributions will only be widely adopted when suitable programming languages and development tools are available. Furthermore, such languages and tools must incorporate those techniques in a principled but practical way, so as to support the ever more complex task of professional programmers, in particular when the systems have to operate in dynamic environments. The ProMAS workshop series aims to address the theoretical and practical programming issues related to developing and deploying multi-agent systems. In particular, ProMAS aims to address how multi-agent systems designs or specifications can be effectively implemented. In its previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, requirements, and principles that are important for multi-agent programming technology. We encourage the submission of proposals for programming languages and development tools that provide specific programming constructs to facilitate the implementation of the essential concepts used in multi-agent system analysis and specifications (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. Further, we are particularly interested in approaches or applications that show clearly the added- value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry. Specific topics for this workshop include, but are not limited to: - Programming Languages for multi-agent systems - Extensions of traditional languages for multi-agent programming - Theoretical and practical aspects of multi-agent programming - Computational complexity of MAS - Semantics for multi-agent programming languages - High-level executable multi-agent specification languages - Algorithms, techniques, or protocols for multi-agent issues (e.g., coordination, cooperation, negotiation) - Agent communication issues in multi-agent programming - Implementation of social and organisational aspects of MAS - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS - Test and debugging tools and techniques - Agent development tools and platforms - Generic tools and infrastructures for multi-agent programming - Interoperability and standards for MAS - Programming mobile agents - Safety and security for mobile MAS deployment - Fault tolerance and load balancing for mobile MAS - Application areas for multi-agent programming languages - Applications using legacy systems - Programming MAS for Grid-based applications - Programming MAS for the Semantic Web - Deployed (industrial-strength) MAS - Benchmarks and testbeds for comparing MAS languages and tools Important Dates: ---------------- Paper submission deadline: 5 February, 2007 Notifications of acceptance/rejection: 5 March, 2007 Camera-ready copies due: 19 March, 2007 Workshop Date: 14th/15th May, 2007 (TBA) Submission Details: ------------------- Authors can submit their papers via a conference management system, available at the following address: http://confs.deis-ce.unibo.it/ProMAS07 First, you will be asked to register into the system, then you will get a user id and a password that you can use to submit your paper. Papers should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. Accepted papers will be published as a technical report and distributed among participants during the workshop. As was the case for previous editions of the ProMAS workshop, we are planning to publish extended versions of selected papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. Organising Committee: --------------------- - Mehdi Dastani (Utrecht University, The Netherlands) http://www.cs.uu.nl/~mehdi - Amal El Fallah Seghrouchni (University of Paris VI, France) http://www-poleia.lip6.fr/~elfallah/ - Alessandro Ricci (DEIS, Universita' di Bologna, Italy) http://lia.deis.unibo.it/~ari - Michael Winikoff (RMIT University, Australia) http://www.cs.rmit.edu.au/~winikoff Steering Committee: --------------------- - Rafael Bordini (University of Durham, UK) - Juergen Dix (Clausthal University of Technology, Germany) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mehdi at cs.uu.nl Mon Jan 8 11:14:12 2007 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Mon, 08 Jan 2007 11:14:12 +0100 Subject: EASSS 2007: call for tutorials Message-ID: <45A21974.4050802@cs.uu.nl> !!! CALL FOR TUTORIALS -- EASSS 2007 !!! The ninth edition of the European Agent Systems Summer School (EASSS'07) will take place at Durham University, UK 27-31 August 2007 http://www.dur.ac.uk/durham.agents007/EASSS07/ Researchers and lecturers in the field of autonomous agents and multi-agent systems are invited to submit a proposal for a state-of-the-art course in the ninth edition of the European Agent Systems Summer School. Like its very successful predecessors, EASSS 2007 aims to offer a valuable forum for knowledge exchange between various research groups in this field for the benefit of students and researchers at both beginner and advanced level. The success of this summer school is essential not only for the mutual benefit of research groups, but also in forming future generations of researchers to maintain the excellence of Agents research and development in Europe. A typical course has 4 hours in total, but variations are possible. Courses should be broad enough to provide a general introduction to the chosen topic, but it should also cover the most important contributions in depth. Courses are expected to take a wider perspective than one specific approach practised by an individual or group. For an impression, the courses given in 2001 are collected in a volume of Springer's LNAI series (No 2086), and programmes of previous editions of EASSS can be found via the above webpage. The summer schools attract about 100 students each year. We intend to give a modest contribution towards tutors' expenses by providing free accommodation, breakfast, lunch, and dinner, but each tutor is encouraged to book and pay for his/her own travel to Durham. There are cheap flights from Newcastle to various destinations in Europe. Tutors are encouraged to submit a 1-page course proposal including: the topic and its importance for the field, intended audience and their required background knowledge, outline of the topics to be presented, how the course material will be prepared, the tutors and their experience, level of the course (beginners/advanced), duration (2, 6, or, preferably, 4 hours), and any special equipment requirements. Proposals will be evaluated based on the importance and quality of the topic description, the quality of the presentation material, and the teaching ability of the proposed speakers. Deadline for proposals: February 5, 2007 Notification: March 19, 2007 material for reader (< 26 pp) July 2, 2007 Submissions should be sent to Mehdi Dastani (mehdi at cs.uu.nl). The EASSS-2007 Committee members are: Rafael H. Bordini (local chair) Durham, UK Mehdi Dastani (chair) Utrecht, The Netherlands Wiebe van der Hoek Liverpool, UK Barbara Keplicz Warszawa, Poland Michael Luck Southampton, UK Michal Pechoucek Prague, Czech Republic Carles Sierra Barcelona, Spain Gerhard Weiss Hagenberg, Austria For information about local organisation please contact Rafael H. Bordini (durham.agents007 at durham.ac.uk). POSSIBLE TOPICS: * action selection and planning in multi-/agent systems * adaptation, evolution and learning in multi-/agent systems * agent-based simulation and modeling * agent communication, agent dialogues and agent conversations * agents, ontologies, web services and semantic web * agent-oriented software engineering and development methodologies * agent programming languages and development tools * agent standardizations in industry and commerce * ambient intelligence and agents-based systems * applications for agent and multi-agent systems * argumentation in agent-based systems * architectures for multi-agent systems * artificial market systems, auctions, trading agents and electronic commerce * autonomous robots and robot teams * believability, human-like qualities of synthetic agents, humanoid, and sociable robots * coalition formation and multi-agent teams * computational complexity in agent systems * conventions, commitments, norms, social laws and legal issues in multi-agent systems * coordination, cooperation, and collaboration in multi-agent systems * electronic institutions * emergence, self-organisation and collective behavior in agent-based systems * foundational issues and theories of agency * frameworks, infrastructures, environments, and system support for multi-agent systems * game theoretic models for agents based systems * information agents, routers, brokering and matchmaking * lessons learned and performance evaluation of deployed multi-agent systems * logics and formal models for agent systems * mobile agents * multi-agent, specification, verification and validation * negotiation and conflict handling in multi-agent systems * privacy, safety and security in multi-agent systems * scalability, robustness and dependability of multi-agent systems * social and cognitive models for agents * social and organizational structures of multi-agent systems * trust and reputation in multi-agent systems * task and resource allocation in multi-agent systems -- 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 dix at tu-clausthal.de Tue Jan 9 12:29:34 2007 From: dix at tu-clausthal.de (Prof. Dr. Juergen Dix) Date: Tue, 09 Jan 2007 12:29:34 +0100 Subject: [from Peter] Fwd: Call For Contributions: Eleventh International IEEE EDOC Conference (EDOC 2007) In-Reply-To: References: Message-ID: <45A37C9E.3010801@tu-clausthal.de> Mailing-Listen der Informatik schrieb: > > Hi Juergen, > should we accept this one for the Event at CIG list? > > Thanks, > > Peter. > > NO. J > > --- the forwarded message follows --- > > ------------------------------------------------------------------------ > > Betreff: > Call For Contributions: Eleventh International IEEE EDOC Conference > (EDOC 2007) > Von: > "Stephanie Chow" > Datum: > Mon, 8 Jan 2007 21:23:49 -0500 > An: > "Stephanie Chow" > > An: > "Stephanie Chow" > > > Eleventh International IEEE EDOC Conference > (EDOC 2007) ”The Enterprise Computing Conference” > – Preliminary Call for Papers – > > Preliminary > > 15-19 October 2007, Annapolis, MD USA > http://www.edocconference.org > Sponsored by > IEEE Computer Society (pending), > IEEE Communications Society > Hosted by > MITRE Corporation, McLean, VA (pending) > United States Naval Academy (pending) > > About the conference > The EDOC Conference is the key annual event in enterprise computing. EDOC conferences address the full range of engineering technologies and methods contributing to enterprise distributed application systems. EDOC 2007 will be the eleventh event in the series of conferences, which since 1997 has brought together leading computer science researchers, IT decision makers, IT architects, solution designers and practitioners from academia, industry and government to discuss enterprise computing challenges, models and solutions. Today the creation, operation and evolution of enterprise computing systems comprises challenges that range from high-level requirements and policy modeling to the deployment and maintenance of solutions in and across customer businesses. Enterprise computing is based on a wide (and ever growing) range of methods, models, tools and technologies. The resulting applications also cover a broad spectrum of vertical domains and industry segments, from electro nic and mobile commerce to real-time business applications for collaborating enterprises. In recent years, technologies related to business processes integration, management, execution and monitoring have become one of the top areas of interest in enterprise computing. > > The EDOC Conference emphasizes the integration and management of enterprise computing research and development results, fostering an enterprise and social organizational engineering approach that can address and relate business, application, middleware and technical levels. The themes of openness and distributed computing, based on services, components and objects, provide a useful and unifying conceptual thread for this purpose. > > Topics > The EDOC program committee seeks high-quality papers addressing the domains, the life-cycle issues and the realization technologies involved in building, deploying and operating enterprise computing systems. Suggested areas include, but are not limited to: > > * State of the art in distributed enterprise applications > - Middleware standards and architectures, such as CORBA, J2EE and .NET > - Application server solution deployment and maintenance > - Industry specific solutions, e.g. for aerospace, automotive, finance, logistics, medicine and telecommunications > - Innovative applications > * Integration of multimedia technologies > * Integration of embedded and mobile interactions > * Mobile ad hoc networks (MANETs) > * Enterprise computing metrics and environment > - Performance prediction and measurement > - Quality of service (QoS) and cost of service (CoS) > - Total cost of ownership (TCO) for enterprise computing implementations > - Evolution and management of enterprise computing systems > - Human and social organizational factors in enterprise computing > * SW engineering approaches to distributed enterprise applications > - Model driven architecture (MDA) and UML based approaches > - Modeling based on domain specific languages (DSL) > - Component based approaches compliant with the OMG enterprise collaboration architecture (ECA) > - Service oriented architectures (SOA) and enterprise service architectures (ESA) > - Collaborative development and cooperative engineering issues > - Organization and principles of software factories > * Web services > - IT aspects of inter-enterprise collaboration and virtual enterprises > - Evolution of web services specifications (e.g., WS-Adressing) > - Service policies and contract definitions and enforcement > - Service registries – > - Universal description, discovery and integration (UDDI) and its extensions > - Semantic service annotations and descriptions > - Emerging standards for semantic web services > * Business Process Management (BPM) Systems > - Business Process Modeling and Metamodels > - Business Process Monitoring and Intelligence > - Dynamically configurable BPs > - People integration in BPM Systems > * Business Rules > - Business rules languages and inference systems > - Business rules components > - Rule driven business process engines > * Identity Management and Distributed Access Control > - Security policy definition and description languages > - Security policy interoperability > - Distributed and federated access control > - Network public key infrastructures > - Service provisioning > - Inference mechanisms for policy enforcement > * Information and Data Integration > - Business object model methodologies and approaches > - Taxonomies, ontologies and business knowledge integration > - Master data management for the real-time enterprise (RTE) > - Information modeling and transformation across heterogeneous resources > - Integration of legacy applications and information systems > > Submission guidelines > Two types of paper submissions will be accepted – research papers and experience reports or case studies. > Research papers should describe original research results that have not been accepted or submitted for publication elsewhere. These papers will be evaluated for scientific or technical contribution, originality, appropriateness and significance. Submissions should not exceed 12 pages in the IEEE format. Experience reports should describe new insights gained from case studies or the application of enterprise computing technology in practice. These papers will be evaluated on their appropriateness, significance and clarity of expression. > > Submissions should contain at least 2,000 words and must not exceed 5,000 words. > The conference proceedings will be published by the IEEE Computer Society Press and accessible in the IEEE Xplore. > All papers will be refereed by at least 3 members of the international program committee, and at least two will be experts from industry in the case of experience reports. All submissions must be in English. Submissions should be made electronically in PDF (preferred) or PostScript format via the electronic submission system via the EDOC Conference Management system. > > Journals associated with EDOC 2007 > The selected best research papers will be considered for special issues in top notch journals. Further details will be announced soon. > A post-conference article is expected to be published on IEEE IT Professional. The article will cover the important topics and issues discussed in the conference. Please visit the IEEE IT Professional Web site for further information. > > Important dates: > Conference Schedule > Abstract submission (optional) 30 March 2007 > Paper submission due 1 May 2007 > Acceptance notification 30 June 2007 > > Organizing Committee > General Chair > Donald W. Sparrow, Jr. (MITRE Corporation, USA) > Program Co-Chairs > Marcus Spies (University of Munich) > M. Brian Blake (Georgetown University) > Workshop Co-Chairs > Aniruddha Gokhale (Vanderbilt University) > Vijaykumar Rachamadugu (MITRE Corporation, USA) > Publicity Co-Chairs > Remco Dijkman (Eindhoven University of Technology, The Netherlands) > Patrick C. K. Hung (University of Ontario Institute of Technology, Canada) > Steering Committee > Colin Atkinson, Chair (University of Mannheim, Germany) > Barrett Bryant (University of Alabama-Birmingham, USA) > Keith Duddy (DSTC, Australia) > Patrick C. K. Hung (University of Ontario Institute of Technology, Canada) > Zoran Milosevic (Deontik, Australia) > Maarten Steen (Telematica Instituut, The Netherlands) > Marten J. Van Sinderen (University of Twente, The Netherlands) > Guijun Wang (Boeing, USA) > Alain Wegmann (EPFL, Switzerland) > Program Committee > Jan Øyvind Aagedal (SINTEF, Norway) > Witold Abramowicz (Poznan University of Economics, Poland) > Dave Akehurst (University of Kent, UK) > Markus Aleksy (University of Mannheim, Germany) > Joao Paulo Almeida (Telematica Instituut, Netherlands) > Claudio Bartolini (Hewlett-Packard, USA) > James Bailey (University of Melbourne, Australia) > Andrew Berry (Deontik, Australia) > Jean Bézivin (University of Nantes, France) > Behzad Bordbar (Birmingham University, UK) > Indranil Bose (University of Hong Kong, Hong Kong) > Christoph Bussler (Cisco Systems, Inc, USA.) > Coral Calero (University of Castilla-La Mancha, Spain) > Patrick Y.K. Chau (University of Hong Kong, Hong Kong) > Zhou Chen (Nanyang Technological University, Singapore) > Reynold Cheng (Hong Kong Polytechnic University, Hong Kong) > Chia-Chu Chiang (University of Arkansas at Little Rock, USA) > Dickson Chiu (Dickson Computer Systems, Hong Kong) > Fred Cummins (EDS, USA) > Ernesto Damiani (University of Milan, Italy) > Farhad Daneshgar (University of New South Wales, Australia) > Oscar Diaz (University of Basque Country, Spain) > Gillian Dobbie (University of Auckland, New Zealand) > Dieter Fensel (Digital Enterprise Research Institute, Austria) > Stephane Gagnon (New Jersey Institute of Technology, USA) > Gerald Gannod (Arizona State University, USA) > Claude Godart (Universite Henri Poincare, Nancy and INRIA, France) > Guido Governatori (University of Queensland, Australia) > Jun Han (Swinburne University of Technology, Australia) > Jan Hendrik Hausmann (University of Paderborn, Germany) > Pontus Johnson (Royal Institute of Technology, Sweden) > Eleanna Kafeza (Athens University of Economics and Business, Greece) > Axel Korthaus (University of Mannheim, Germany) > Thomas Kühne (Technische Universitat Darmstadt, Germany) > Asish Kundu (Purdue University, USA) > Lea Kutvonen (University of Helsinki, Finland) > Thomas Kwok (IBM T. J. Watson Research Center, USA) > Heinrich Hussmann (Munich University, Germany) > Marc Lankhorst (Telematica Instituut, Netherlands) > Fion Lee (Hong Kong Baptist University, Hong Kong) > Ho-fung Leung (Chinese University of Hong Kong, Hong Kong) > Frank Leymann (Stuttgart University, Germany) > Qing Li (City University, Hong Kong) > Yaping Lin (Hunan University, China) > Peter Linington (University of Kent, UK) > Claudia Linnhoff-Popien (Munich University, Germany) > Qusay Mahmoud (University of Guelph, Canada) > Carolyn McGregor (University of Western Sydney, Australia) > Jishnu Mukerji (Hewlett Packard, USA) > Francois Pacull (Xerox Research Europe, France) > George Papadopoulos (University of Cyprus, Cyprus) > Dunlu Peng (Fudan University, China) > Luís Ferreira Pires (University of Twente, Netherlands) > Frantisek Plasil (Charles University, Czech Republic) > Thomas Preuss (Fachhochschule Brandenburg, Germany) > Iman Hafiz Poernomo (King's College, UK) > Dick Quartel (University of Twente, Netherlands) > Rajeev Raje (Indiana University/Purdue University at Indianapolis, USA) > Kerry Raymond (Queensland University of Technology, Australia) > Tom Ritter (Fraunhofer Fokus, Germany) > Jose Raul Romero (University of Cordoba, Spain) > Tony Shan (Wachovia Bank, USA) > Timothy Shih (Tamkang University, Taiwan) > Yuqing Sun (Shandong University. China) > Richard Soley (Object Management Group, USA) > Susanne Strahringer (European Business School, Germany) > Yazhe Tang (University of Western Ontario, Canada) > Michiaki Tatsubori (IBM Tokyo Research Laboratory, Japan) > Kerry Taylor (CSIRO, Australia) > David Trastour (Hewlett-Packard, USA) > Vladimir Tosic (Lakehead University, Canada) > Sandy Tyndale-Biscoe (Open-IT, UK) > Antonio Vallecillo (University of Malaga, Spain) > Pieter van Gorp (University of Antwerp, Belgium) > Changzhou Wang (Boeing, USA) > Xiaoling Wang (Fudan University, China) > Andrew Watson (Object Management Group, USA) > Gerald Weber (University of Auckland, New Zealand) > Edward Willink (Thales Research and Technology, UK) > Andreas Wombacher (University of Twente, Netherlands) > Bryan Wood (Open-IT, UK) > Jian Yang (Macquarie University, Australia) > George Yee (National Research Council, Canada) > Benjamin Yen (University of Hong Kong, Hong Kong) > Michael Zapf (University of Kassel, Germany) > Christian Zeidler (ABB Corporate Research, Germany) > Dan Zhang (University of Ontario Institute of Technology, Canada) > Kangmin Zheng (MITRE Corporation, USA) > > Note: EDOC program inquires should be sent to program co-chairs Profs Marcus Spies (marcus.spies at deri.org) or M. Brian Blake (blakeb at cs.georgetown.edu). > From tic.encyclopedia.ai at udc.es Tue Jan 9 13:02:04 2007 From: tic.encyclopedia.ai at udc.es (tic.encyclopedia.ai at udc.es) Date: Tue, 09 Jan 2007 13:02:04 +0100 Subject: Extended deadline - Call for articles for Encyclopedia of Artificial Intelligence Message-ID: <20070109210139.D7414BBA@smtp.udc.es> "Encyclopedia of Artificial Intelligence". Editors: Juan R. Rabu�al, Juli�n Dorado & Alejandro Pazos. tic.encyclopedia.ai at udc.es http://sabia.tic.udc.es/encyclopediaAI/ *************************************************************************** IMPORTANT EXTENDED DEADLINE January 30, 2007 � RECEIVE PROPOSALS FOR ARTICLES *************************************************************************** ** Introduction Nature has always been a source of inspiration for science problem solving. Areas such as Pharmacy, Physics or Aeronautics use biological concepts to reach beyond their current limits. As far as Computing Science � and more specifically, Artificial Intelligence (AI) � is concerned, the use of biological concepts is highly reliable for achieving good results. At the early stages of AI (1950s), Artificial Neural Networks (ANN) - quite successful as classification and pattern recognition systems - were developed by using the structure of the nervous system as a basis. After these systems, biology has inspired the development of other techniques � among which the evolutionary systems are the most promising ones when dealing with new problems that use a vast amount of data � such as Biomedical Computing or weather forecasting. Both the techniques based in cell or natural organisms performance, as well as those based on evolutionary theories, have a wide success record when applied to real problems. These types of techniques currently represent a very active area of research, as not only a high number of companies use them, but also many related high level scientific congresses are being held annually on these techniques. ** Coverage To meet this need, currently we are in the process of editing the "Encyclopedia of Artificial Intelligence " that will provide comprehensive coverage and definitions of the most important issues, concepts, trends and technologies in Artificial Intelligence. This important new publication will be distributed worldwide among academic and professional institutions and will be instrumental in providing researchers, scholars, students and professionals with access to the latest knowledge related to Artificial Intelligence techniques. To ensure that this publication has the most current and relevant coverage of all topics related to Artificial Intelligence, we are asking scholars, well-known for their particular area of research, to contribute short articles of 1,500-3,500 words on any of the following topics: -- Artificial Intelligence Overview -- Theory -- Artificial Neural Networks -- Knowledge Engineering (Expert Systems) -- Intelligent Knowledge Management -- Evolutionary Computation -- Agents -- Ontologies -- Fuzzy Logic and systems -- Ambient Intelligence and Ubiquitous -- Knowledge Discovery & DataMining -- Natural Language Processing -- Bioinspired Computation -- Bioinformatics -- Emergent Technologies: NBIC -- Robotics -- Computer Games -- Artificial Vision -- Hybrid Systems -- Applications in Real-Life A more detailed list of topics may be found at http://sabia.tic.udc.es/encyclopediaAI/ ** Submission Procedure We would like to invite you to consider submitting a proposal on any of the above topics for this upcoming encyclopedia by submitting a brief (75-100 words) description of your proposed topic to us by no later than December 15, 2006. You will then have until March 31, 2007 to prepare your full submission (1,500-3,500 words in length) and 7-10 related terms and their appropriate definitions. A copy of a sample article and terms with definitions can be found at http://sabia.tic.udc.es/encyclopediaAI/ All submitted articles will undergo a double-blind, peer-review process upon its receipt. We invite you also to visit the site http://sabia.tic.udc.es/encyclopediaAI/ for additional information about this publication. Please forward your proposal to Juan R. Rabu�al, Juli�n Dorado & Alejandro Pazos, editors, at tic.encyclopedia.ai at udc.es. This book is tentatively scheduled for publishing by Idea Group Reference, www.idea-group.com/reference, (an imprint of Idea Group Inc.) in 2008. IMPORTANT DEADLINES January 30, 2007 � Receive proposals for articles February 15, 2007 � Notification of accepted proposals March 31, 2007 � Full articles due July, 31, 2007 � Full article final acceptance If you have any questions or concerns, or if we can be of any assistance, please let us know. We look forward to hearing from you soon. Kind Regards, Juan R. Rabu�al, Juli�n Dorado & Alejandro Pazos Editors of Encyclopedia of Artificial Intelligence tic.encyclopedia.ai at udc.es Dept. of Information & Communications Technologies University of A Coru�a Spain EDITORIAL ADVISORY BOARD Dr. Jose Mar�a Barreiro. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain Dr. Stefano Cagnoni. Dipartimento di Ingegneria dell'Informazione. Universit� degli Studi di Parma. Italia Dr. Paul M. Chapman. Dept. of Computer Science. University of Hull. England Dr. Jose Crespo del Arco. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain Dr. Darryl Davis. Dept. of Computer Science. University of Hull. England Dr. Anselmo del Moral. University of Deusto. Spain Dr. Norberto Ezquerra. Georgia Institute of Technology. USA Dr. Llu�s Jofre. Polytechnical University of Catalunya. Spain Dr. Daniel Manrique. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain Dr. Juan Pazos. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain Dr. Javier Pereira. University of A Coru�a. Spain Dr. Ana Belen Porto. Dept. of Information & Communications Technologies. University of A Coru�a. Spain Dr. Juan R�os. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain Dr. Peter Smith. University of Sunderland. England From peter.novak at tu-clausthal.de Tue Jan 9 21:43:41 2007 From: peter.novak at tu-clausthal.de (Peter Novak) Date: Tue, 9 Jan 2007 21:43:41 +0100 Subject: Multi-Agent Programming Contest (in association with ProMAS 2007) Message-ID: <20070109204341.GQ10349@tu-clausthal.de> [apologies for multiple copies] *********************************************************************** Multi-Agent Programming Contest in association with ProMAS 2007 May 14/15 2007 Honolulu, Hawaii http://cig.in.tu-clausthal.de/AgentContest2007/ *********************************************************************** * Aims and Scope: This competition is an attempt to stimulate research in the area of multi-agent programming by 1- identifying key problems and 2- collecting suitable benchmarks that can serve as milestones for testing agent-oriented programming languages, platforms and tools. We also expect that participating at the contest helps to debug a system and to identify weak parts in it. The performance of a particular system will be determined in a series of games where the systems compete against each other. While winning the competition is not the main point, we hope it will shed light on the applicability of certain frameworks to particular domains. * History This is the third such contest. The first two were organized within the CLIMA conference series. * Scenario description This year, the contest is organised as part of the ProMAS workshop (a workshop organized within AAMAS 07). It consists of applying (or developing from scratch) a multi-agent system to solve a cooperative task in a dynamically changing environment. The environment of the multi-agent system is a grid-like world where agents can move from one cell to a neighbouring cell if there is no agent or obstacle already in that cell. In this environment, gold can appear in the cells. Participating agent teams explore the environment, avoid obstacles and compete with another agent team for the gold in the environment. We encourage submissions that specify and design a multi-agent system in terms of high-level concepts such as goals, beliefs, plans, roles, communication, coordination, negotiation, and dialogue in order to generate an efficient and effective solution for the above mentioned application. Moreover, the use of agent-oriented programming languages, platforms, tools, and techniques in the implementations of multi-agent system is appreciated. * Participation requirements: The participation in this contest consists of two parts: 1- Submission of the description of analysis, design and implementation of a multi-agent system for the above application. Existing multi-agent system methodologies such as Gaia, Prometheus or Tropos can be used to describe the system. For the description of the implementation, it should be explained how the design is implemented. This can be done by explaining, for example, which programming language, platform, tools, and techniques are used to implement the multi-agent system. The maximum length of this description is 5 pages according to the LNCS format. 2- Participation in the contest tournament by means of an (executable) implementation of a multi-agent system. The agents from each participating systems (agent teams) will be executed locally (on the participant's hardware) while the simulated environment, in which all agents from competing teams perform actions, is run on the remote contest simulation server. Interaction/communication between agents from one team should be managed locally, but the interaction between individual agents and their environment (run on the simulation server) will be via Internet. Participating agents connect to the simulation server that provides the information about the environment. Each agent from each team should connect and communicate to the simulation server using one TCP connection. Further technical details on how to participate in this contest can be found on the contest webpage http://cig.in.tu-clausthal.de/AgentContest2007/ The source code together with instructions on how to install it including precise instructions on software and hardware requirements should be submitted just before the competition starts. * How To Submit: Please announce your intention to attend the contest by subscribing to the mailing list (details on the home page) **now**. Please submit a 5 page description of your solution to Mehdi Dastani (mehdi at cs.uu.nl). Several days before the start of the competition, the contest organisers will contact participants via e-mail with details on time and Internet coordinates (IP addresses/ports) of the simulation server. * Important Dates: Submission of the description: February 19, 2007 Notification: March 5, 2007 Camera-Ready of the description: March 19, 2007 Competition: TBA (in April) Winner announcement: May 14/15, 2007 * Winning Criteria: The winner of the contest will be the best performing team with the highest number of points from the tournament. The original, innovative, and effective application of agent-oriented programming languages, platforms, tools, and techniques for the implementation of multi-agent systems will influence the final decision as well. From iclp07-publicity at di.uevora.pt Wed Jan 10 12:11:23 2007 From: iclp07-publicity at di.uevora.pt (ICLP07 publicity) Date: Wed, 10 Jan 2007 11:11:23 +0000 Subject: CFP: 23rd International Conference on Logic Programming (ICLP 2007) Message-ID: <14C04D03-DA1A-461E-96E0-E9650EE83AD6@di.uevora.pt> (apologies for cross-posting) Call for Papers 23rd International Conference on Logic Programming ICLP 2007 Porto, Portugal, September 8-13, 2007 http://www.dcc.fc.up.pt/iclp07/ Conference Scope Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. - Environments: Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Programming Techniques. - Alternative Paradigms: Abductive Logic Programming, Answer Set Programming, Constraint Logic Programming, Inductive Logic Programming, Alternative Inference Engines and Mechanisms. - Applications: Deductive Databases, Data Integration, Software Engineering, Natural Language, Web Tools, Internet Agents, Artificial Intelligence, Bioinformatics. The three broad categories for submissions are: (1) technical papers, where specific attention will be given to work providing novel integrations of the areas listed above, (2) application papers, where the emphasis will be on their impact on the application domain as opposed to the advancement of the the state-of-the-art of logic programming, and (3) posters, ideal for presenting and discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. In addition to papers and posters, the technical program will include invited talks, tutorials, a Doctoral Consortium, and workshops. Papers and Posters Papers and posters must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical papers and application papers must not exceed 15 pages in the Springer LNCS format. The limit for posters is 2 pages in that format. Publication It is expected that the proceedings will be published by Springer-Verlag in the LNCS series. All accepted papers and abstracts of accepted posters will be included in the proceedings. Important Dates Paper registration deadline: March 2, 2007 Submission deadline: March 9, 2007 Notification of authors: May 4, 2007 Camera-ready copy due: June 8, 2007 ICLP 2007 Organization Program Co-chairs: Verónica Dahl and Ilkka Niemelä General Chair: Fernando Silva Local chair: Ricardo Rocha Publicity Chair: Salvador Abreu Contact Address: iclp07 at dcc.fc.up.pt Program Committee: Maurice Bruynooghe Keith Clark Verónica Dahl (Co-chair) Marina De Vos Yannis Dimopoulos Inês Dutra Esra Erdem Maurizio Gabbrielli Patricia M Hill Katsumi Inoue Tomi Janhunen Tony Kusalik Nicola Leone Vladimir Lifschitz Ilkka Niemelä (Co-chair) Luís Moniz Pereira German Puebla Francesca Rossi Kostis Sagonas Peter Schachte Torsten Schaub Fernando Silva Guillermo R. Simari Tran Cao Son Paul Tarau Francesca Toni Eric Villemonte de la Clergerie David S. Warren Stefan Woltran Conference Venue ICLP 2007 will be held in the city of Porto, second largest in Portugal. Porto is located by the Douro river and the Atlantic, has a truly unique appearance with many striking bridges, a historic center classified by UNESCO as a World Heritage site, a new House of Music by Rem Koolhaas and a nice Museum of Modern Art (Museu de Serralves). Porto is also well known for the much celebrated Port wine grown in the Douro valley. The conference will feature a cruise in the Douro river along with other optional tours. From iclp07-publicity at di.uevora.pt Wed Jan 10 12:23:45 2007 From: iclp07-publicity at di.uevora.pt (ICLP07 publicity) Date: Wed, 10 Jan 2007 11:23:45 +0000 Subject: ICLP 2007: Call for Workshop Proposals Message-ID: <31667975-2C83-4A20-827C-0340C6436451@di.uevora.pt> (apologies for cross-posting) *** CALL FOR WORKSHOP PROPOSALS *** ICLP'07 23rd International Conference on Logic Programming September 8-13, 2007 Porto, Portugal URL: http://www.dcc.fc.up.pt/iclp07/ ICLP'07, the 23rd International Conference on Logic Programming, will be held in Porto (Portugal), from September 8 to 13, 2007. Workshops co-located with international conferences are perhaps the best place for the presentation of preliminary work or novel ideas, new open problems to a wide and interested audience. Co-located workshops also provide a venue for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP'07 can cover any areas related to logic programming, (e.g., Theory, Implementation, Environments, Language Issues, Alternative Paradigms, Applications) including cross-disciplinary areas. However, any workshop proposal will be analyzed. The format of the workshop will be decided by the workshop organizer(s), but ample time must be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those intending to organize a workshop at ICLP'07 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years * The (preliminary) required number of half-days allotted to the workshop and an estimate of the number of expected attendees. * The names, affiliation and contact details (email, web page, phone, fax) of the workshop organizer(s) together with a designated contact person. * The previous experiences of the workshop organizing committee in workshop/conference organization. Proposals are expected in ASCII or PDF format. All proposals should be submitted to the Workshop Chair by email by February 14, 2007. Reviewing Process: ================== Each submitted proposal is reviewed by the Workshops Chair and the Conference Program Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by February 28, 2007. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting place and can print the workshop proceedings, whose LaTeX preparation is however in charge to the workshop organizers. The workshop registration fees will be handled together with the conference fees. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the net and/or other means. Please provide a web page URL which can be linked into the ICLP'07 home page by April 15, 2007. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the workshop chair. * Sending workshop program and workshop proceedings in pdf format to the workshop chair for printing (deadline to be defined) * The use of the Computing Research Repository (CoRR) for the workshop proceedings is strongly suggested (see http:// logicprogramming.org/ [Guidelines for electronic publishing of proceedings]) Location: ========= All workshops will take place in the city of Porto at the site of the main conference. See the ICLP'07 web site for location details. Important Dates: ================ February 14, 2007: Proposal submission deadline February 28, 2007: Acceptance notification April 15, 2007: Deadline for receipt of CFP and URL for workshop web page July 20, 2007: Deadline for preliminary proceedings September 8-13, 2007: ICLP'07 workshops Workshop Chair: =============== Agostino Dovier www.dimi.uniud.it/dovier ======================================================================== = From henning at ruc.dk Wed Jan 10 14:17:18 2007 From: henning at ruc.dk (henning at ruc.dk) Date: Wed, 10 Jan 2007 14:17:18 +0100 Subject: CONTEXT'07, 2nd call for papers/posters/demos/workshop proposals Message-ID: <1AC83712-013D-4D9A-8964-E03D417C7CCC@ruc.dk> CONTEXT'07: SECOND CALL FOR PAPERS + workshop proposals + doctoral symposium Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07) http://context-07.ruc.dk/ August 20-24, 2007 - Roskilde University, Denmark CONTEXT'07 includes a main conference, workshops, demonstration and poster sessions, and a doctoral consortium. It provides a forum for a wide range of disciplines involved in the modeling and use of context, including: Computer Science (especially Artificial Intelligence and Ubiquitous Computing), Cognitive Science, Linguistics, Organizational Sciences, Philosophy, Psychology, Application areas (Medicine, Law, etc). Proceedings will be published in the Springer Verlag LNAI Series as for the previous conferences. IMPORTANT DATES Workshop proposal submissions January 31, 2007 Paper/poster/demo submission to the Main conference March 15, 2007 Doctoral symposium submission (provisional deadline) May 15, 2007 Workshop days August 20-21, 2007 Main conference (including poster and demo sessions) August 22-24, 2007 All the information, including latest updates, are on the Web site of the conference: http://context-07.ruc.dk/. CONFERENCE CHAIR Boicho Kokinov, New Bulgarian University, Bulgaria. PROGRAM CO-CHAIRS Daniel C. Richardson, UCSC, USA Thomas R. Roth-Berghofer, DFKI, Germany Laure Vieu, IRIT-CNRS, France, and ISTC-CNR, Italy WORKSHOPS CHAIR Stefan Schulz, The e-Spirit Company GmbH, Dortmund, Germany ORGANIZING COMMITTEE Henning Christiansen, Roskilde University, Denmark (Chair) Troels Andreasen, Roskilde University, Denmark John Gallagher, Roskilde University, Denmark Mads Rosendahl, Roskilde University, Denmark Jørgen Villadsen, Technical University of Denmark (Publicity Chair) Additional information available at http://context-07.ruc.dk/ From bojanm at turing.mi.sanu.ac.yu Thu Jan 11 14:00:32 2007 From: bojanm at turing.mi.sanu.ac.yu (Bojan Marinkovic) Date: Thu, 11 Jan 2007 14:00:32 +0100 (CET) Subject: Subscribe me! Message-ID: From bojanm at turing.mi.sanu.ac.yu Thu Jan 11 14:18:30 2007 From: bojanm at turing.mi.sanu.ac.yu (Bojan Marinkovic) Date: Thu, 11 Jan 2007 14:18:30 +0100 (CET) Subject: Confirmation Request (0289667366) In-Reply-To: References: Message-ID: From bojanm at turing.mi.sanu.ac.yu Thu Jan 11 14:25:37 2007 From: bojanm at turing.mi.sanu.ac.yu (Bojan Marinkovic) Date: Thu, 11 Jan 2007 14:25:37 +0100 (CET) Subject: Kein Betreff Message-ID: THE THIRD SEEDI INTERNATIONAL CONFERENCE DIGITIZATION OF CULTURAL AND SCIENTIFIC HERITAGE September 13-15, 2007, Cetinje, Montenegro First Announcement and Call for Papers CONFERENCE GOALS SEEDI (http://www.ncd.matf.bg.ac.yu/seedi/) is an international effort to develop awareness about digitization of cultural and scientific heritage in the South-Eastern European countries. This Third SEEDI International Conference is in line with the events held in Ohrid (2005) and Sofia (2006). It will convene: " Archivists, librarians and curators responsible for the preservation of and permanent access to cultural and scientific heritage; " Information technology researchers developing projects on digitization of cultural and scientific heritage; " Scholars in the arts and humanities, social sciences, history and computer science; " Developers, entrepreneurs and managers interested in issues regarding the digitization of cultural and scientific heritage; " Policy makers from the heritage sector; " Students, users and all others interested in the topic. The conference will offer to this wide and varied audience the opportunity to address and discuss state-of-the-art concepts, methodologies, results, policies and case studies in the field of digitization of cultural and scientific heritage. ABOUT THE CONFERENCE Distinguished features of this Conference are: " A broad scope of topics which will create a unique atmosphere of active exchange and learning about various aspects of the topic; " A combination of methodological and technical presentations; " A condensed procedure of submission, revision and publication of proceedings which will guarantee the presentation of the most recent works. Contributions related to all aspects of digitization of and access to cultural and scientific heritage with an emphasis on SEE specific features are encouraged. Papers that report on applications of new information technologies in the field of digitization are particularly welcome. The Conference will offer scientific tracks, including, but not limited to: " Digital capture and transformation from analogue to digital form; " Descriptions and representations of heritage objects and related documentation; " Processing of digitized content; " Presentation, long term preservation and curation of digitised content; " Training and socialisation practices and strategies. ACTIVITIES The Conference will include a combination of various activities contributing to vivid exchange of opinions and ideas: " Basic conference topics will be introduced by invited lectures; " Scientific papers (up to 30 minutes in length). " Plenary sessions aiming to summarize the main ideas presented and discussed during the presentation of the conference papers; " Demonstration sessions; " Posters. CONFERENCE OFFICIAL LANGUAGE English REGISTRATION FEES To be announced SUBMISSION Extended abstracts of up to 4 pages should be submitted to Program Committee. CONFERENCE PROCEEDINGS Presented papers, selected after a review by the international editorial board, will be published in the Review of the National Centre for Digitization, Serbia (http://www.ncd.matf.bg.ac.yu/?page=publications&lang=en). CONFERENCE VENUE For the first time a SEEDI event will be held in Cetinje, Montenegro. PROGRAM COMMITTEE Chair: Jelena Djurovic (Director of the Central National Library of Montenegro) Members: Dzenana Aladjuz (Bosnia and Hercegovina) Umit Atabek (Turkey) Boris Badurina (Croatia) Nikola Ikonomov (Bulgaria) Smile Markovski (Macedonia) Zarko Mijajlovic (Serbia) Milenko Musurovic (Montenegro) Anka Rapeanu (Romania) IMPORTANT DATES February, 2007: Second announcement April 10, 2007: Extended abstract submissions May 20, 2007: Authors notification, draft programme June 30, 2007: Final paper submission and registration SUGGESTIONS All suggestions and comments are welcome. Traditionally, events in our region seek for additional financial support for the event. All such ideas are particularly welcome. Please, send your recommendations on conference structure and all other issues to ncd at matf.bg.ac.yu. From bojanm at turing.mi.sanu.ac.yu Thu Jan 11 14:27:18 2007 From: bojanm at turing.mi.sanu.ac.yu (Bojan Marinkovic) Date: Thu, 11 Jan 2007 14:27:18 +0100 (CET) Subject: Confirmation Request (0289667366) In-Reply-To: References: Message-ID: From jv at imm.dtu.dk Sat Jan 13 10:56:55 2007 From: jv at imm.dtu.dk (Joergen Villadsen) Date: Sat, 13 Jan 2007 10:56:55 +0100 Subject: CONTEXT'07, 2nd call for papers/posters/demos/workshop proposals Message-ID: <20070113095653.B3A588A003D@pfepc.post.tele.dk> CONTEXT'07: SECOND CALL FOR PAPERS + workshop proposals + doctoral symposium Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07) http://context-07.ruc.dk/ August 20-24, 2007 - Roskilde University, Denmark CONTEXT'07 includes a main conference, workshops, demonstration and poster sessions, and a doctoral consortium. It provides a forum for a wide range of disciplines involved in the modeling and use of context, including: Computer Science (especially Artificial Intelligence and Ubiquitous Computing), Cognitive Science, Linguistics, Organizational Sciences, Philosophy, Psychology, Application areas (Medicine, Law, etc). Proceedings will be published in the Springer Verlag LNAI Series as for the previous conferences. IMPORTANT DATES Workshop proposal submissions January 31, 2007 Paper/poster/demo submission to the Main conference March 15, 2007 Doctoral symposium submission (provisional deadline) May 15, 2007 Workshop days August 20-21, 2007 Main conference (including poster and demo sessions) August 22-24, 2007 All the information, including latest updates, are on the Web site of the conference: http://context-07.ruc.dk/. CONFERENCE CHAIR Boicho Kokinov, New Bulgarian University, Bulgaria. PROGRAM CO-CHAIRS Daniel C. Richardson, UCSC, USA Thomas R. Roth-Berghofer, DFKI, Germany Laure Vieu, IRIT-CNRS, France, and ISTC-CNR, Italy WORKSHOPS CHAIR Stefan Schulz, The e-Spirit Company GmbH, Dortmund, Germany ORGANIZING COMMITTEE Henning Christiansen, Roskilde University, Denmark (Chair) Troels Andreasen, Roskilde University, Denmark John Gallagher, Roskilde University, Denmark Mads Rosendahl, Roskilde University, Denmark Jørgen Villadsen, Technical University of Denmark (Publicity Chair) Additional information available at http://context-07.ruc.dk/ From WiebevanderHoek at csc.liv.ac.uk Mon Jan 15 11:39:36 2007 From: WiebevanderHoek at csc.liv.ac.uk (Wiebe van der Hoek) Date: Mon, 15 Jan 2007 10:39:36 +0000 (GMT) Subject: LCD Call for Papers Message-ID: CALL FOR PAPERS LCD'07 : Workshop on Logics and Collective Decision making http://lcd07.fr.tc/March 13-14, 2007, Lille, France Erasmus International Institute MSH Nord-Pas-de-Calaislcd07 at hotmail.fr We would like to welcome you to a workshop on the connections between logics and collective decision making theories that is to take place in Lille on March 13-14, 2007. Group decision-making problems occur every time a collective choice has to be made from several individuals that have conflicting interests or preferences. There has been recently a growing interest on the use of logic as the basic tool for formalizing and computing those problems. This is in particular true in two close fields of research. The first one lies at the intersection of game theory and logics, especially by exploring how modal logics may be used to model and reason about games. A second one, which focuses on the logical insights into rational collective choice, has recently emerged around problems of judgment aggregation and beliefs/goals merging, on the one hand, and logical formalization of welfare distribution processes (social software), on the other. These two domains propose further formal refinements, using logical tools, of the classical theories of collective decision-making, by offering new evaluation criteria of and new ways of building social choice procedures. These new insights into these collective decision-making theories also offer new perspective to political philosophy and ethics. The workshop aims at sparking off interaction between social choice theorists, computer scientists, logicians and philosophers. The workshop will take place at the University of Lille 3, Villeneuve d'Ascq, France. Invited Speakers Ken Binmore (DE, University College London) Franz Dietrich (University of Maastricht and LSE) Wiebe van der Hoek (DCS, University of Liverpool) Gabriella Pigozzi (CSC, University of Luxembourg) CALL FOR PAPERS The aim of this workshop is to promote interaction between researchers in the areas of logics and collective decision-making theories.We invite submissions of abstracts in the interface of the above or related areas that investigate common problems. A non-exhaustive list of topics of interest include +logics of collective decision-making and social software+belief merging and judgment aggregation+social-choice theoretical approaches to logics and to the philosophy of logics+logics and deliberative democracy+preference representation and social choice+choice and game theory in political philosophy and ethics+formal perspective in politics and ethics+epistemic foundations of solution concepts and reasoning in bargaining games Submission details Authors should send an abstract (in pdf or postscript) to lcd07 at hotmail.fr by January, 31st. Submissions should typically be 3 pages long (excluding bibliographical references). There will be no published proceedings, so there is no copyright problem for presenting works already published. The mail should contain the authors' name, affiliation(s) and current position(s). We strongly encourage PhD students to submit, as we might organize a student session. Notification of acceptance will be given by February, 9th. Important Dates Submission of Abstracts January 31, 2007 Notification of Acceptance February 9, 2007 LCD'07 Workshop March 13-14, 2007 Program Committee Thomas Agotnes (Bergen University College) Salem Benferhat (CRIL, University of Artois) Johan van Benthem (ILLC, University of Amsterdam) Cristina Bicchieri (University of Pennsylvania) Giacomo Bonanno (University of California) Laurence Broze (EQUIPPE, University of Lille) Patrice Canivez (STL, University of Lille) Samir Chopra (Brooklyn College of the City University of New York) Franz Dietrich (University of Maastricht and LSE) Ulle Endriss (ILLC, University of Amsterdam) Marc Fleurbaey (CERSES, Université of Paris 5) Thibault Gajdos (EUREQua, Université of Paris 1) Andreas Herzig (IRIT, University of Toulouse) Wiebe van der Hoek (University of Liverpool) Hubert Jayet (EQUIPPE, University of Lille) Frédéric Jouneau (EQUIPPE, University of Lille) Sébastien Konieczny (CRIL, University of Artois) (co-chair) Barteld Kooi (University of Groningen) Jérome Lang (IRIT, University of Toulouse) Christian List (LSE) Pierre Marquis (CRIL, University of Artois) Nicolas Maudet (LAMSADE, University of Paris 9) Eric Pacuit (ILLC, University of Amsterdam) Rohit Parikh (Brooklyn College of the City University of New York) Marc Pauly (Stanford University) Philip Pettit (Princeton University) Gabriella Pigozzi (University of Luxembourg) Shahid Rahman (STL, University of Lille) (co-chair) Maurice Salles (CREM, University of Caen) Jean-Christophe Vergnaud (EUREQua, University of Paris 1) John Weymark (Vanderbilt University, University of Nashville) Mike Wooldridge (University of Liverpool) Organizing Committee Cédric Dégremont Patricia Everaere Emmanuel Genot Emeline Huart Laurent Keiff You can contact us via lcd07 at hotmail.fr From grs at cs.uns.edu.ar Mon Jan 15 14:37:08 2007 From: grs at cs.uns.edu.ar (Guillermo R. Simari) Date: Mon, 15 Jan 2007 10:37:08 -0300 Subject: 2nd CfP: Workshop on Argumentation and Nonmonotonic Reasoning (Arg-NMR) Message-ID: Our Apologies for Multiple Copies - Please distribute ======================================================================= CALL FOR PAPERS 1st Workshop on Argumentation and Nonmonotonic Reasoning (Arg-NMR) in conjunction with the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-07) Tempe, Arizona May 14 -16 2007 (The exact date for the workshop has not yet been decided.) http://lia.deis.unibo.it/confs/ArgNMR/ ======================================================================= = Aims and Scope = Research on Argumentation and Nonmonotonic Reasoning began in full force in the early eighties. The first attempts showed how argumentation results in a very natural way of conceptualizing Commonsense Reasoning, appropriately reflecting its defeasible nature. Further work in the KR&R community has shown that argumentation provides a useful perspective for relating different nonmonotonic formalisms. More recently, argumentation has been revealed as a powerful conceptual tool for exploring the theoretical foundations of reasoning and interaction in Autonomous Agents and Multiagent Systems. This workshop will represent an opportunity for exchanging ideas on the fundamental theoretical basis and the design and implementation of argument-based systems including semantics, proof theory, applications to epistemic and practical reasoning, and the comparison of those systems with other types of nonmonotonic reasoning. = Topics = We solicit unpublished papers that present work on argumentation and nonmonotonic reasoning. We will privilege articles who emphasize connections between them. Relevant topics include, but are not limited to, the following: -> argumentation theories and logical foundations -> argumentation and logic programming -> formal models of argument -> semantics of argumentation -> operational semantics and execution models of argumentation systems -> argumentation and commonsense reasoning -> argumentation for practical reasoning and deliberation -> argumentation tools and applications -> argumentation for reasoning in multiagent systems -> argumentation dialogues in multiagent systems -> nonmonotonic reasoning in multiagent systems -> argumentation for legal reasoning -> argumentation and nonmonotonic reasoning in the semantic web -> implementations of argumentation systems = Important Dates = -> Submission: 8 February 2007 -> Notification: 12 March 2007 -> Camera-ready: 29 March 2007 -> ArgNMR: 14-16 May 2007 (one day) = Submissions = We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Papers should be written in English, formatted according to the Springer LNCS style ( http://www.springer.com/comp/lncs/Authors.html ), and they should not exceed sixteen (16) pages including title page, figures, references, etc. = Proceedings and post-workshop publications = A printed volume with the proceedings will be available at the workshop. The proceedings of ArgNMR are also planned to form the basis for publishing a post-workshop volume, and/or a special issue of an international journal, subject to appropriate quality. = Programme Committee = Leila Amgoud, IRIT-CNRS Toulouse, France Grigoris Antoniou, FORTH-ICS, Greece Pietro Baroni, U Brescia, Italy Trevor J. Bench-Capon, U Liverpool, United Kingdom Carlos Iván Chesñevar, U Nacional del Sur, Bahia Blanca, Argentina Jürgen Dix, TU Clausthal, Germany Phan Minh Dung, Asian Institute of Technology, Thailand Lluis Godo, IIIA-CSIC, Spain Anthony Hunter, U College London, United Kingdom Antonis C. Kakas, U Cyprus Gabriele Kern-Isberner, U Dortmund, Germany Nicolas Maudet, U Paris-Dauphine, France Peter McBurney, U Liverpool, United Kingdom Donald Nute, U. Georgia, Athens, GE, United States Henry Prakken, U Utrecht, U Groningen, The Netherlands Iyad Rahwan, British U Dubai, UAE & U Edinburgh, United Kingdom Tran Cao Son, New Mexico State U, NM, United States Francesca Toni, Imperial College London, United Kingdom = Organization = Guillermo R. Simari, U. Nacional del Sur, Bahia Blanca, Argentina Paolo Torroni, U. Bologna, Italy From aldini at sti.uniurb.it Mon Jan 15 16:38:06 2007 From: aldini at sti.uniurb.it (Alessandro Aldini) Date: Mon, 15 Jan 2007 16:38:06 +0100 (CET) Subject: QAPL 2007: call for extended abstracts Message-ID: <18693.151.82.10.38.1168875486.squirrel@www.sti.uniurb.it> --- Apologize for multiple copies --- ------------------------------------------------------------------- CALL FOR EXTENDED ABSTRACTS 5th Workshop on Quantitative Aspects of Programming Languages March 24-25, 2007, Braga, Portugal Satellite event of ETAPS 2007 http://www.cse.yorku.ca/qapl07 Extended abstracts: January 31, 2007 Notification: February 2, 2007 ------------------------------------------------------------------- Scope Quantitative aspects of computation are important and sometimes essential in characterising the behaviour and determining the properties of systems. They are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security, and trust). Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. The aim of this workshop is to discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems. Topics Topics include (but are not limited to) probabilistic, timing and general quantitative aspects in: Language design Information systems Asynchronous HW analysis Language extension Multi-tasking systems Automated reasoning Language expressiveness Logic Verification Quantum languages Semantics Testing Time-critical systems Performance analysis Safety Embedded systems Program analysis Risk and hazard analysis Coordination models Protocol analysis Scheduling theory Distributed systems Model-checking Security Biological systems Concurrent systems Invited Speakers Luca Cardelli Microsoft Research, UK Radha Jagadeesan De Paul University, USA Roberto Segala University of Verona, Italy Program Committee Pedro D'Argenio University of Cordoba, Argentina Christel Baier University of Bonn, Germany Luca Cardelli Microsoft Research, UK Vincent Danos University of Paris VII, France Josee Desharnais University of Laval, Canada Alessandra Di Pierro University of Pisa, Italy Maurizio Gabbrielli University of Bologna, Italy Ian Hayes University of Queensland, Australia Jan Jurjens Open University, UK Marta Kwiatkowska University of Birmingham, UK Pasquale Malacaria Queen Mary University of London, UK Mieke Massink CNR-ISTI Pisa, Italy Paulo Mateus Technical University of Lisbon, Portugal Annabelle McIver Maquarie University, Australia Joel Ouaknine Oxford University, UK Gerardo Rubino INRIA Rennes, France Herbert Wiklicky Imperial College London, UK Wang Yi Uppsala University, Sweden Program Chairs Alessandro Aldini University of Urbino, Italy Franck van Breugel York University, Toronto, Canada For further information, the program co-chairs can be contacted at: qapl07 at cse.yorku.ca From Stephanie.Chow at uoit.ca Tue Jan 16 20:22:05 2007 From: Stephanie.Chow at uoit.ca (Stephanie Chow) Date: Tue, 16 Jan 2007 14:22:05 -0500 Subject: Call For Contributions: 2007 IEEE SOA Industry Summit (SOAIS 2007) Message-ID: 2007 IEEE SOA Industry Summit (SOAIS 2007) Services Oriented Architecture (SOA) is an architectural style that seeks to create a set of business-aligned IT services that collectively support an organization?s business processes and goals. As a cross discipline, this alignment of business and IT addresses how to enable IT technology to help people perform business services more efficiently and effectively. The 2nd Industry Summit on SOA (http://www.soaindustry.org), organized by IEEE, is intended to bridge the gap between Services Computing and business models that are supported by them, with an emerging suite of ground-breaking technologies that includes SOA, business process modeling, event-driven architecture, integration and management, grid/utility/autonomic computing, enterprise service bus and Web 2.0. The relative placement of these emerging technologies, concepts, standards and disciplines need to be clarified for the pragmatic needs of the industry. Theme ~~~~~~~ The theme of this summit is ?Services: Science, Technology, and Business?. The SOAIS event is focused on industry practitioners who work on real-world systems, applying the SOA principles, standards, technologies, tools, protocols, solutions and management. These practitioners had exhibited the ability to combine multiple technologies, standards and initiatives within the SOA world in order to create a viable and pragmatic solution that has successfully been demonstrated to solve problems.? In addition to best practices or, in the case of an emerging discipline, adequate practices that have proven successful are needed.? In addition warning examples of how not to apply projects are also welcome because they provide a venue and context for avoiding common pitfalls in the combination off SOA resources that are often confusing to practitioners in the field. In consideration of the value of the time of such practitioners in writing a full-length paper, particularly for the people in the industry sectors, SOAIS 2007 is proposing a new format for paper submission. In place of the requirements of 8-page long research papers, we encourage the professionals and practitioners in the industry sectors to submit a 2-page abstract consisting of experience reports. It is recommended that a presentation document is attached with the abstract. Experience reports are expected to provide and describe new insights gained in the context of case studies or the application of SOA in practice. These papers will be evaluated on their relevance and significance to industries and the clarity of expression. All accepted papers will be published in the conference proceedings, which will be included in the IEEE digital library and Engineering Index (EI) database. Categories of Industries ~~~~~~~~~~~~~~~~~~~~~~~~~ The industry sectors include, but are not limited to: - Public Sector * Defense and Domestic Security: Homeland Security, border control, registered traveler and other domestic security initiatives, as well as total asset visibility for armed services. * Justice and Public Safety: integrated justice, law enforcement, courts, and corrections. * Health and Human Services: Medicaid, human services and benefits for the most disadvantaged and vulnerable populations including children, the elderly and the poor. * Citizens Services: motor vehicles departments and electronic voting solutions. - Financial Services * Banking and Mortgage * Enterprise Payments * Life and Pensions * Property and Casualty/General Insurance * Investment Management * Credit card * Loan - Communications * Networking * Messaging * Broadband * Prepaid * OSS/BSS - Transportation * Passenger Services * Airports * Logistics * Weather Information Services - Consumer and Industrial Products * Life Sciences * Consumer Products and Retail * Industrial Products - Healthcare - Manufacturing - Electronics Call for contributions ~~~~~~~~~~~~~~~~~~~~~~~ The technical topics of interest include, but are not limited to: Foundations of Services Computing - Services Science - Services Modeling and Implementation - Services Delivery, Deployment and Maintenance - Services Value Chains and Innovation Lifecycle - Services-Oriented Architecture (SOA) Industry Standards and Solution Stacks - Services-based Grid/Utility/Autonomic Computing - Services Computing in Mobile Ad-hoc NETworks (MANETs) - Services Level Agreements (SLAs) Negotiation, Automation and Orchestration - Services Security, Privacy and Trust - Quality of Services (QoS) and Cost of Services (CoS) - Ontology and Semantic Web for Services Computing - Case Studies in Services Computing Services-Centric Business Models - Business Services Analysis, Strategy, Design, Development and Deployment - Service-Oriented Business Consulting Methodology and Utilities - Intra- or Inter- Enterprise for Business-to-Business Services Control - Services Revenue Models, e.g., Fee-for-Transaction and Fee-for-Service. - Services Strategic Alliance and Partners - Services Network Economic Structures and Effects - Ontology and Business Services Rules - Trust and Loyalty in Services-Centric Business Models - Cultural, Language, Social and Legal Obstacles in Services-Centric Business Models - Commercialization of Services Computing Technologies - Industry Services Solution Patterns - Case Studies in Services-Centric Business Models Business Process Integration and Management - Mathematical Foundation of Business Process Modeling, Integration and Management - Business Process Modeling Methodology and Integration Architecture - Business Process Management - Collaborative Business Processes???? - Extended business collaboration architecture and solutions - Business Process-Based Business Transformation and Transition - Enabling Technologies for Business Process Integration and Management - Performance Management and Analysis for Business Process Integration and Management - Security, Privacy and Trust in Business Process Management - Return On Investment (ROI) of Business Process Integration and Management - Requirements Analysis of Business Process Integration and Management - Enterprise Modeling and Application Integration Services, e.g. Enterprise Service Bus - Case Studies in Business Process Integration and Management Service-Oriented Enterprise - Implementation of Web Services-based Service Oriented Architecture - Service-oriented Modeling (analysis and design for SOA) - SOA governance and IT strategy - Web Services Standards and Implementation Technologies - Web Services Specifications and Enhancements (e.g., UDDI, SOAP, WSDL) - Web Services Discovery - Web Services Composition and Integration - Web Services Invocation - QoS for Web Services (e.g., security, privacy, reliability, performance, fault tolerance, etc.) - Web Services Assessment (i.e., validation & verification) - Web Services-based Testing Methodologies - Service-oriented Software Engineering - Service-oriented Project Management - Semantic Web Services - IT Infrastructure Management for Web Services - Solution Management for Web Services - Multimedia Web Services - Web Services-driven Business Process Management - Web Services-based Mobile Computing - Web Services-based Grid Applications - Domain Specific Web Services Applications and Solutions Venue ~~~~~~~ SOAIS 2007 will be co-located in Salt Lake City, Utah with 2007 IEEE International Conference on Services Computing (SCC 2007 ) and 2007 IEEE International Conference on Web Services (ICWS 2007 ). Co-Chairs ~~~~~~~~~~~ - Tony Shan, Chief SOA Strategist/Architect, Strategy & Architecture Group, Bank of America - Ali Arsanjani, Chief Architect, SOA and Web services Center of Excellence, IBM Important Dates ~~~~~~~~~~~~~~~~~~ Abstract Submission Deadline: February 15, 2007 Decision Notification (Electronic): March 15, 2007 Camera-Ready Copy & Pre-registration Due: March 31, 2007 Event: July 9-13, 2007. Salt Lake City, Utah, USA. Inquiry ~~~~~~~~ Contact Tony Shan (tonycshan at gmail.com) Paper submission ~~~~~~~~~~~~~~ http://www.servicesscience.org/soasummit07/ Authors are invited to submit original, unpublished research papers that are not being considered in another forum. Please note that the same paper should not be submitted to SCC 2007 and ICWS 2007 simultaneously. Such duplicate submissions will be rejected from both conferences without review. Please follow the IEEE Computer Society Press Proceedings Author Guidelines to prepare your papers. Electronic submission of manuscripts (in PDF or Word format) is required. At least one author of each accepted paper is required to attend the conference and present the paper. The enhanced version of the selected papers published in SCC 2007 will be invited for publication in the International Journal of Business Process Integration and Management (IJBPIM) , the International Journal of Web Services Research (JWSR) , the International Journal of Grid and Utility Computing (IJGUC) , and possibly other reputable journals. Sponsored by IEEE Computer Society Technical Committee on Services Computing (tab.computer.org/tcsc ) From anuska at udc.es Wed Jan 17 12:34:17 2007 From: anuska at udc.es (anuska at udc.es) Date: Wed, 17 Jan 2007 12:34:17 +0100 Subject: CALL FOR CHAPTERS for the book Advancing Artificial Intelligence through Biological Process Applications Message-ID: <20070117203152.1D0F59C3@smtp.udc.es> *************************************************** CALL FOR CHAPTERS Submission Deadline: January 30, 2007 ******************************** "Advancing Artificial Intelligence through Biological Process Applications" A book edited by Ana B. Porto, Alejandro Pazos, University of A Coru�a, Spain and Washington Bu�o, Cajal Institute (CSIC), Madrid. Spain http://sabia.tic.udc.es/bookAIthroughBIO/ *** Introduction As time goes by, researchers are discovering the way living beings behave, the way their internal organs function, how intercellular substance exchange is produced and which is the composition of the smallest molecule. Most of these biological processes have been imitated by many scientific disciplines with the purpose of trying to solve different problems. One of these disciplines is Artificial Intelligence, where diverse research teams analyse and study biological systems implementing computational models to solve real world problems. This book aims to describe biological processes never used before until now in Artificial Intelligence, some of them recently discovered. It also presents the benefits of the new techniques created from this processes not only to Artificial Intelligence, but also to the science of Biology. ***The objectives of this book consist of: � Presenting recent advances in the study of certain biological processes related to information processing that are being or could be applied to Artificial Intelligence. Such advances refer to the areas of Neuroscience, Genetics, Molecular Biology, etc. � Illustrate some of the more recent applications of biological processes to computational systems implicated in the information processing. Reviewed will not only be the different approaches for integration, but also the areas of application of these systems ***The Target Audience This is a reference book for students, researchers and professionals interested in studying and analysing different biological processes that may be applied to Computer Science. Such processes allow optimizing several techniques in Artificial Intelligence and designing new methods of information processing based on biological behaviour. The book draws on the experience of people who have worked into multidisciplinary groups (Computational Neuroscience, Biomolecular Computing, Hybrid Systems, Evolutionary Computation, etc). ***Suggested Topics: 1. Recent advances in Biological processes related to Information Processing. Advances in: � Neuroscience � Molecular Biology � Genetics � Psychology � Biochemistry � Biophysics � Etc. 2. New Biologically Inspired Artificial Intelligence Models: � Neural Computation � Evolutionary Computation � Hybrid Intelligent Systems � Biomolecular Computing � Artificial Creative Systems � Adaptive Systems � Cognitive Systems � Emergent Behaviours � Etc. 3. Real-Life Applications with the Models to: � Biomedicine � Neuroscience � Molecular Biology � Psychology � Computers � Business � Etc. ***SUBMISSION PROCEDURE Researchers are invited to submit on or before -- January 30, 2007 --, a 2-5 page manuscript proposal on suggested topics, clearly explaining the mission and concerns of the proposed chapter. Inquiries and submissions can be forwarded by mail to Ana B. Porto, editor at anuska at udc.es. Your proposal should include: your name, affiliation, selected topic title, and brief description of the proposed chapter (1,000-1,500 words). Authors will be notified about the status of their proposal by -- February 15, 2007 --. Full chapters expected to be submitted by -- May 31, 2007 --. The book is scheduled to be published by Idea Group Inc., www.idea-group.com, publisher of the Idea Group Publishing, Information Science Publishing, IRM Press, CyberTech Publishing and Idea Group Reference imprints. Upon acceptance of your proposal, you will have two months to prepare your chapter (9,000-10,000 words) and chapter organizational guidelines will be sent. ***Important Dates: January 30, 2007 Receive proposals / invitation acceptance February 15, 2007 Proposal acceptance notification May 31, 2007 Chapters due June 30, 2007 Deadline for reviewers to return chapters August 31, 2007 Revised chapters due from authors September 30, 2007 Final acceptance and revision notification October 31, 2007 Receive final accepted chapters and original Author Warranty form Further details and updates can be found at: http://sabia.tic.udc.es/bookAIthroughBIO/ If you have any questions or concerns, or if we can be of any assistance, please let us know. We look forward to hearing from you soon. Best Regards, Ana B. Porto, Alejandro Pazos & Washington Bu�o Editors of the book Advancing Artificial Intelligence through Biological Process Applications. Inquiries and submissions can be forwarded to: Ana B. Porto Pazos Departamento de Tecnolog�as de la Informaci�n y las Comunicaciones Facultad de Inform�tica. Campus de Elvi�a 15071 A Coru�a. ESPA�A Phone: +34 981 167000 Fax: +34 981 167160 e-mail: anuska at udc.es From event-request at in.tu-clausthal.de Tue Jan 9 20:37:49 2007 From: event-request at in.tu-clausthal.de (event Report) Date: Tue, 09 Jan 2007 20:37:49 +0100 Subject: Subscriber cvidal@lia.ufc.br Failed Message-ID: cvidal at lia.ufc.br subscription confirmation timed-out It has been unsubscribed from the 'event' list From event-request at in.tu-clausthal.de Tue Jan 9 20:37:49 2007 From: event-request at in.tu-clausthal.de (event Report) Date: Tue, 09 Jan 2007 20:37:49 +0100 Subject: Subscriber lilia@macs.hw.ac.uk Failed Message-ID: lilia at macs.hw.ac.uk subscription confirmation timed-out It has been unsubscribed from the 'event' list From djcox at fuse.net Thu Jan 18 01:26:33 2007 From: djcox at fuse.net (David Cox) Date: Wed, 17 Jan 2007 19:26:33 -0500 Subject: [Event@CIG] CALL FOR CHAPTERS for the book Advancing Artificial Intelligence through Biological Process Applications In-Reply-To: References: Message-ID: <20070118002627.JMUH14101.gx4.fuse.net@SONYVAIO.fuse.net> Friends, There is a Web site that visually demonstrates the logic in any complex system. It was invented at Procter & Gamble and is now in the public domain and freely available. My interest is simply to make people in science, business, government, education aware of the method. The diagrams resemble architectural floor layouts of rooms and corridors showing only valid passageways. Your colleagues and book chapter authors may find it useful in explaining complex topics. My best wishes for your important book. Cheers, David Cox Cincinnati Ohio USA At 05:44 PM 1/17/2007 Wednesday +0100, you wrote: >*************************************************** >CALL FOR CHAPTERS >Submission Deadline: January 30, 2007 >******************************** > >"Advancing Artificial Intelligence through Biological Process Applications" > > A book edited by Ana B. Porto, Alejandro Pazos, University of A >Coruña, Spain and Washington Buño, Cajal Institute (CSIC), Madrid. Spain > >http://sabia.tic.udc.es/bookAIthroughBIO/ > > >*** Introduction > > As time goes by, researchers are discovering the way living beings >behave, the way their internal organs function, >how intercellular substance exchange is produced >and which is the composition of the smallest >molecule. Most of these biological processes >have been imitated by many scientific >disciplines with the purpose of trying to solve >different problems. One of these disciplines is >Artificial Intelligence, where diverse research >teams analyse and study biological systems >implementing computational models to solve real world problems. > > This book aims to describe biological processes never used before until >now in Artificial Intelligence, some of them recently discovered. It also >presents the benefits of the new techniques created from this processes not >only to Artificial Intelligence, but also to the science of Biology. > > >***The objectives of this book consist of: > >· Presenting recent advances in the study of certain biological >processes related to information processing that are being or could be >applied to Artificial Intelligence. Such advances refer to the areas of >Neuroscience, Genetics, Molecular Biology, etc. > >· Illustrate some of the more recent applications of biological >processes to computational systems implicated in the information processing. >Reviewed will not only be the different approaches for integration, but >also the areas of application of these systems > > >***The Target Audience > > This is a reference book for students, researchers and professionals >interested in studying and analysing different biological processes that may >be applied to Computer Science. Such processes allow optimizing several >techniques in Artificial Intelligence and designing new methods of >information processing based on biological behaviour. > > The book draws on the experience of people who have worked into >multidisciplinary groups (Computational Neuroscience, Biomolecular >Computing, Hybrid Systems, Evolutionary Computation, etc). > > >***Suggested Topics: > > 1. Recent advances in Biological processes related to Information >Processing. Advances in: > >· Neuroscience >· Molecular Biology >· Genetics >· Psychology >· Biochemistry >· Biophysics >· Etc. > >2. New Biologically Inspired Artificial Intelligence Models: > >· Neural Computation >· Evolutionary Computation >· Hybrid Intelligent Systems >· Biomolecular Computing >· Artificial Creative Systems >· Adaptive Systems >· Cognitive Systems >· Emergent Behaviours >· Etc. > >3. Real-Life Applications with the Models to: > >· Biomedicine >· Neuroscience >· Molecular Biology >· Psychology >· Computers >· Business >· Etc. > > > ***SUBMISSION PROCEDURE > > Researchers are invited to submit on or before -- January 30, 2007 --, a >2-5 page manuscript proposal on suggested topics, clearly explaining the >mission and concerns of the proposed chapter. Inquiries and submissions can >be forwarded by mail to Ana B. Porto, editor at anuska at udc.es. > > Your proposal should include: your name, affiliation, selected topic >title, and brief description of the proposed chapter (1,000-1,500 words). >Authors will be notified about the status of their proposal by -- February 15, >2007 --. Full chapters expected to be submitted by -- May 31, 2007 --. The >book is scheduled to be published by Idea Group >Inc., www.idea-group.com, publisher of the Idea >Group Publishing, Information Science >Publishing, IRM Press, CyberTech Publishing and Idea Group Reference imprints. > > Upon acceptance of your proposal, you will have two months to prepare >your chapter (9,000-10,000 words) and chapter organizational guidelines will >be sent. > > ***Important Dates: > >January 30, 2007 Receive proposals / invitation acceptance >February 15, 2007 Proposal acceptance notification >May 31, 2007 Chapters due >June 30, 2007 Deadline for reviewers to return chapters >August 31, 2007 Revised chapters due from authors >September 30, 2007 Final acceptance and revision notification >October 31, 2007 Receive final accepted >chapters and original Author Warranty form > >Further details and updates can be found at: >http://sabia.tic.udc.es/bookAIthroughBIO/ > > If you have any questions or concerns, or if we can be of any >assistance, please let us know. We look forward to hearing from you soon. > >Best Regards, > >Ana B. Porto, Alejandro Pazos & Washington Buño >Editors of the book Advancing Artificial Intelligence through Biological >Process Applications. > > >Inquiries and submissions can be forwarded to: > >Ana B. Porto Pazos >Departamento de Tecnologías de la Información y las Comunicaciones >Facultad de Informática. Campus de Elviña >15071 A Coruña. ESPAÑA >Phone: +34 981 167000 Fax: +34 981 167160 >e-mail: anuska at udc.es > > >------------------------------------------------------------------------ >This e-mail was delivered to you by event [at] tu-clausthal.de, what is a >moderated list run by Computational Intelligence Group of Clausthal >University of Technology, Germany. > >In the case of any requests, questions, or comments, do not hesitate and >contact the list administrator event-request [at] tu-clausthal.de ASAP. > >For all the information on the list, please visit our website >http://cig.in.tu-clausthal.de/event/ where you can also find an archive >of this list. > >To unsubscribe, E-mail to: >To switch to the DIGEST mode, E-mail to >To switch to the INDEX mode, E-mail to >Send administrative queries to > >Computational Intelligence Group, Department of Computer Science >Clausthal University of Technology >Germany, http://cig.in.tu-clausthal.de/ From conf at deweerdt.org Fri Jan 19 10:33:54 2007 From: conf at deweerdt.org (Mathijs de Weerdt) Date: Fri, 19 Jan 2007 10:33:54 +0100 Subject: CfP: AAMAS Workshop on Coordinating Agents' Plans and Schedules Message-ID: <45B09082.9060603@deweerdt.org> ************************************************************ 2nd Call for Papers Workshop on Coordinating Agents' Plans and Schedules (CAPS07) (+ special issue for Multiagent and Grid Systems http://www.iospress.nl/loadtop/load.php?isbn=15741702 ) Honolulu, May 14th or 15th 2007 (workshop at the AAMAS conference) URL: http://www.st.ewi.tudelft.nl/~mathijs/caps07/ ************************************************************ 1 Description ************************************************************ Multiagent planning is concerned with planning by (and for) multiple agents. Nowadays a major issue in multiagent planning is the coordination of single-agent planners. Here, coordination is studied not only during the execution of plans, but also in the (pre)-planning phase. A wide range of real applications could benefit from such coordinated planning technology, for example, in transportation and logistics, health care management, space missions, military tasks, and disaster management. Also, planning in the context of human-computer (or human-robot) interaction is inherently a multiagent planning task. Coordinating the plans of the involved entities up front has the potential to improve the efficiency of the whole system. However, currently, a great amount of research seems to focus solely on either planning, or the coordination of agents without the context of a plan. The purpose of this workshop is to address the problems that arise when coordinating the plans and schedules of multiple agents. We therefore solicit papers with original work, as well as position statements or surveys that relate to one or more of the following questions: 1. Which applications require decentralized planning? (a) Can we derive benchmark problems from these applications? 2. How can we evaluate multiagent planning techniques? (a) How to measure communication costs, privacy loss, flexibility and robustness? (b) How to measure plan quality when agents are self-interested (e.g., multi-objective optimization, or game theoretical concepts such as Pareto optimal solutions)? 3. What are efficient techniques to deal with the many problems inherent to a dynamic and uncertain multiagent world? (a) How to deal with local autonomy, privacy issues, and conflicting preferences? (b) How to deal with uncertainty and incomplete information? (c) How to coordinate multiagent plan diagnosis and (local) plan repair? (d) How to coordinate plans when agents' objectives (tasks, intentions, preferences,...) evolve over time? Paper should clarify their relevance to these questions. To summarize, specific topics of interest include (but are not limited to): * multiagent planning and scheduling applications * strategies for testing/evaluating distributed plan/schedule management techniques * self-interested planning agents * privacy in distributed planning * game theoretic planning * managing local autonomy in team planning/scheduling * mixed initiative and adjustable autonomy in distributed planning/scheduling * negotiation over tasks/intentions in distributed planning/scheduling * distributed continual planning/scheduling * plan/schedule maintenance in single and multiagent systems * plan/schedule repair in stochastic and adversarial domains * active (distributed) monitoring to trigger plan/schedule maintenance * distributed planning under uncertainty * multiagent planning with sparse or unreliable communication ************************************************************ 2 Paper submissions ************************************************************ Authors are encouraged to submit papers or position statements electronically in PDF format. Submitted papers should be formatted according to ACM specifications. ACM style guides, as well as templates and style sheets for Microsoft Word, WordPerfect, and LaTeX can be found at the ACM webpage. (http://www.acm.org/sigs/pubs/proceed/template.html) Papers should be no more than 8 pages. Please submit your paper at the workshop website no later than February 5, 2007. Accepted papers will be distributed as informal working notes, printed copies of which will be available at the workshop. Authors of selected papers are invited to publish a revised version of their workshop paper in a special issue of Multiagent and Grid Systems, an International Journal. ************************************************************ 3 Important dates ************************************************************ * Deadline for submissions: February 5, 2007 * Notifications: March 5, 2007 * Deadline for camera-ready copy: March 19, 2007 * Workshop: half a day at May 14th or 15th, 2007 ************************************************************ 4 Program committee ************************************************************ Organizers * Michael Brenner, Albert-Ludwigs-Universität Freiburg (brenner at informatik.uni-freiburg.de) * Brad Clement, Jet Propulsion Laboratory, Pasadena (bclement at jpl.nasa.gov) * Mathijs de Weerdt, Delft University of Technology (M.M.deWeerdt at tudelft.nl) Program committee * Anthony Barrett, Jet Propulsion Laboratory, Pasadena * Keith Decker, University of Delaware * Ed Durfee, University of Michigan * Boi Faltings, Swiss Federal Institute of Technology * Piotr Gmytrasiewicz, University of Illinois at Chicago * Nick Hawes, University of Birmingham * Sven Koenig, University of Southern California * Roman van der Krogt, University College Cork * Victor Lesser, University of Massachusetts * Karen Myers, SRI International * Jeff Rosenschein, Hebrew University of Jerusalem * Reid Simmons, Carnegie Mellon University * Steve Smith, Carnegie Mellon University * Tom Wagner, DARPA * Cees Witteveen, Delft University of Technology * Shlomo Zilberstein, University of Massachusetts ************************************************************ Please feel free to forward this message to anyone who might be interested. (My apologies if you received this message multiple times.) From iclp07-publicity at di.uevora.pt Sun Jan 21 01:01:53 2007 From: iclp07-publicity at di.uevora.pt (ICLP07 publicity) Date: Sun, 21 Jan 2007 00:01:53 +0000 Subject: CFP: ICLP 2007 Doctoral Consortium Message-ID: <98764EF9-4708-4638-A875-06AD12A1B7D1@di.uevora.pt> (apologies for cross-posting) ---------------------------------------------------------------------- International Conference on Logic Programming Third Doctoral Consortium Porto, Portugal August 8-13, 2006 http://www.cs.nmsu.edu/~epontell/DC2007 ----------- The 2007 ICLP Doctoral Consortium (DC) is the third international doctoral consortium to be offered as part of the International Conference on Logic Programming. The DC will take place during ICLP 2007 in Porto, Portugal. The Doctoral Consortium is designed for doctoral students working in areas related to logic programming, as well as Master's students interested in pursuing doctoral degrees in the field of logic programming. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedbacks from peers as well as world-renown experts in the field. The Doctoral Consortium will also offer invited speakers and panels discussions. ------------ The Doctoral Consortium is held the during the regular activities of the ICLP 2007 Conference. The aims of the Doctoral Consortium are: * To provide doctoral students working in the field of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback * To provide students with relevant information about important issues for doctoral candidates and future academics * To develop a supportive community of scholars and a spirit of collaborative research. * To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Masters program and interested in doctoral studies). The Consortium is for students at any stage of their doctoral studies are welcome to apply. Applicants are expected to be conducting research in the field of Logic Programming; topics of interest include (but are not limited to): * Theoretical Foundations of Logic and Constraint Logic Programming * Sequential and Parallel Implementation Technology * Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification * Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) * Innovative Applications of Logic Programming The Consortium allows participants to interact with established researchers and with other students, through presentations, question- answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. The Doctoral Consortium will be held on a date to be determined, in parallel with the regular activities of the ICLP 2007 conference; the ICLP conference will run from September 8th to September 13th, 2007. Doctoral Consortium participants will be offered the opportunity to have their abstracts published in the ICLP 2007 conference proceedings. Discussants: Several renowned faculty members and researchers in the field of Logic Programming will join in evaluating the submission packets and will participate in the Doctoral Consortium, providing feedback to the presenters. The list of the discussants will be published at a later date. -------- Detailed submission instructions can be found in the ICLP 2007 Doctoral Consortium web site, at: http://www.cs.nmsu.edu/~epontell/DC2007 -------- Important Dates Submission Deadline: May 2nd, 2007 (strict) Acceptance Notification: May 20th, 2007 Last Date to Update Research Summary: June 5th, 2007 (strict) Doctoral Consortium: September 8-13, 2007 (TBA) ICLP 2006 Conference: September 8-13, 2007 ------------ Doctoral Consortium Chairs: Enrico Pontelli Ines de Castro Dutra Department of Computer Science COPPE/Sistemas New Mexico State University Universidade Federal do Rio MSC CS, Box 30001 de Janeiro Las Cruces, NM 88003, USA Rio de Janeiro, Brasil epontell _a_t_ cs.nmsu _dot_ edu ines _a_t_ cos.ufrj _dot_ br From klusch at dfki.de Mon Jan 22 12:39:02 2007 From: klusch at dfki.de (Matthias Klusch) Date: Mon, 22 Jan 2007 12:39:02 +0100 Subject: CFP: CIA 2007 - 11th Int Wshp on Cooperative Information Agents Message-ID: <45B4A256.5010605@dfki.de> We apologize if you receive this message more than once. CALL FOR PAPERS ********************************************* Eleventh International Workshop on Cooperative Information Agents (CIA 2007) September 19 - 21, 2007 Delft University of Technology, Delft, The Netherlands ********************************************* http://www.dfki.de/~klusch/cia2007 Co-sponsored by TU Delft ICT Research Whitestein Technologies, Switzerland IEEE FIPA ------------------------------------------- IMPORTANT DATES Submission of papers: MARCH 26, 2007 Notification of authors: May 29, 2007 Camera-ready papers: June 15, 2007 ------------------------------------------- AIM & SCOPE =========== An intelligent information agent is a computational software entity that is capable of accessing one or multiple, heterogeneous and distributed information sources, proactively searching for, mediating, and maintaining relevant information or services on behalf of its human users, or other agents, at any time and anywhere. One key challenge of the development of intelligent and cooperative information system is to balance the autonomy of networked data, information, and knowledge sources with the potential payoff of leveraging them by the appropriate use of such agents. Research on intelligent information agents and systems is inherently cross disciplinary covering themes from domains such as artificial intelligence, HCI, Internet and Web technologies, information systems, information retrieval, P2P and grid computing, pervasive computing, and multiagent system technologies as well. The objective of the international workshop series on cooperative information agents (CIA), since its establishment in 1997, is to provide a small but distinguished, interdisciplinary forum for researchers, programmers, and managers to get informed about, present, and discuss latest high quality results in research and development of agent-based intelligent and cooperative information systems, and applications for the Internet and Web. INVITED SPEAKERS ================ To be announced. TOPICS ====== Topics of interest are but not exclusive: Systems and Applications of Information Agents Architectures of information agents. Prototypes and fielded systems of information agents. Recommender systems; collaborative cases. Issues of programming information agents. Information Agents and Grid Computing Agent-based grid computing services and infrastructure Agent-based grid computing applications Advanced Means of Collaboration and Coordination Social filtering, cooperative search, group forming, negotiation, etc. Cooperation in real-time and open environments. Self-organising information agent systems. Capability-based mediation between information agents. Collaboration in peer-to-peer networks. Agent-Based Knowledge Discovery Agent-based distributed data mining. Distributed information retrieval, text, and Web mining. Information Agents, Web Services, and the Semantic Web Agent-based information search in the semantic web. Agent-based service discovery and composition. Agent-based service matchmaking and brokering Agent-based distributed ontology mapping and learning. Mobile Information Agents Mobile information agents for distributed information retrieval. Engineering of mobile information agents. Cooperative mobile information agents. Information Agents for Pervasive Computing Environments Visions, applications, surveys; collaborative cases. Rational Information Agents for E-Business Models of economic rationality. Trust and reputation. Issues of privacy of communication, data security, and jurisdiction for agent-mediated trading. Coalition and team formation algorithms. Intelligent Interfaces for Information Agents Human-agent interaction for (systems of) information agents. Life-like characters and avatars. Information agents for/applied to digital cities. Advanced, personalized 3-d visualizations of information spaces. Personalization; collaborative cases. Adaptive Information Agents Adaptive information retrieval; collaborative cases. Reasoning with imperfect information: collaborative cases. Multi-strategy and meta-learning for cooperative information agents. PROCEEDINGS =========== The proceedings of the CIA workshop series are regularly published as volume of the Springer LNCS subseries LNAI (Lecture Notes on Artificial Intelligence). Former volumes of the series are CIA-1997: LNAI 1202, CIA-1998: LNAI 1435, CIA-1999: LNAI 1652, CIA-2000: LNAI 1860, CIA-2001: LNAI 2182, CIA-2002: LNAI 2446, CIA-2003: LNAI 2782, CIA 2004: LNAI 3191, CIA 2005 (MATES 2005): LNAI 3550, CIA-2006: LNAI 4149 The proceedings of the CIA 2007 workshop will be available to the participants of the workshop at the registration desk. SUBMISSION ========== For preparation of (camera-ready) papers to be submitted please follow the instructions for authors available at the Springer LNCS Web page: http://www.springer.de/comp/lncs/authors.html For those not using the Springer LNCS style files: The paper must be formatted in A4 size using 10 point Times. (If Times is not available, please use one of the similar fonts widely used in phototypesetting.) Printing area should be 12.2 x 19.3 cm, and the interline distance should be arranged in such a way that some 42 to 45 lines occur on a full-text page. The length of each paper should not exceed 15 pages. All papers must be written in English. Please submit your paper online at http://www.easychair.org/CIA2007 In case of problems, please contact us immediately for assistance! Submission of full paper including all figures and references is either in POSTSCRIPT or PDF format only. In any case, please check whether the file is really printable on a postscript-level-2 printer before submitting it. Double Submission Policy ------------------------ CIA 2007 will not accept papers which have already been published, or accepted for publication. However, these restrictions apply ONLY to journals, NOT to conferences, workshops, or symposia. Though, full copies of papers that are published elsewhere are, of course, not acceptable; there have to be significant modifications. Papers not conforming to the above requirements may be rejected without review. Submissions will be reviewed for quality, correctness, sufficient originality, and relevance. STUDENT SUPPORT =============== There will be limited financial support provided to a limited number of students as (co-)authors of accepted papers to present their work at the CIA 2007 workshop. AWARDS ====== The CIA 2007 workshop issues both a BEST PAPER award, and a SYSTEM INNOVATION award to acknowledge and honor highly innovative research and development, respectively, in the area of intelligent information agents for the Internet and Web. The prize money is 300 euros. The CIA 2007 SYSTEM INNOVATION AWARD is sponsored by Whitestein Technologies. The prize money is 500 euros. Nominations for the CIA 2007 SYSTEM INNOVATION AWARD are eligible either by means of regular paper submission, or external explicit request for nomination by submitting a brief (max. 4 pages, 10pt Times) description of the system in terms of its core functionalities, main techniques used to implement them, and (publicly available reference to) experimental results, as well as a summary of the innovative features in comparison to other existing systems. After confidential voting by the PC, chairs, and sponsors of the award the top ranked nominees will be requested to demonstrate a running prototype of their system at the workshop to all participants and the jury for a final public voting. The prize money is 500 euros. ORGANISATION ============ Matthias Klusch (DFKI, Germany), general chair Koen Hindriks (TU Delft, The Netherland) Mike P. Papazoglou (U Tilburg, The Netherlands) Leon Sterling (U Melbourne, Australia) PROGRAM COMMITTEE ================= Wolfgang Benn (TU Chemnitz, Germany) Sonia Bergamaschi (U Modena, Italy) Abraham Bernstein (U Zurich, Switzerland) Monique Calisti (Whitestein Technologies, Switzerland) Boi Faltings (EPF Lausanne, Switzerland) Rune Gustavsson (TH Blekinge, Sweden) Heikki Helin (TeliaSonera, Finland/Sweden) Michael Huhns (U South Carolina, USA) Catholijn Jonker (TU Delft, The Netherlands) Hillol Kargupta (UMBC, USA) Uwe Keller (DERI Innsbruck, Austria) Ryszard Kowalczyk (Swinburne U, Australia) Manolis Koubarakis (TU Crete, Greece) Sarit Kraus (Bar-Ilan U, Israel) Daniel Kudenko (U York, UK) Alain Leger (France Telecom, France) Victor Lesser (U Massachusetts, USA) Jiming Liu (Hongkong Baptist U, China) Stefano Lodi (U Bologna, Italy) Werner Nutt (FU Bozen-Bolzano, Italy) Sascha Ossowski (U Rey Juan Carlos, Spain) Terry Payne (U Southampton, UK) Adrian Pearce (U Melbourne, Australia) Alun Preece (U Aberdeen, UK) Cartic Ramakrishnan (U Georgia, USA) Jeffrey Rosenschein (Hebrew U, Israel) Amit Sheth (Wright State U, USA) Steffen Staab (U Koblenz, Germany) Katia Sycara (Carnegie Mellon U, USA) Jan Treur (VU Amsterdam, The Netherlands) Rainer Unland (U Duisburg-Essen, Germany) Gottfried Vossen (U Muenster, Germany) Gerhard Weiss (SCCH, Austria) Steve Willmott (UPC Barcelona, Spain) CONTACT ======= Please do not hesitate to contact us, if you have any question on this event. Matthias Klusch klusch at dfki.de Koen Hindriks koen at wenen.twi.tudelft.nl Leon Sterling leon at csse.unimelb.edu.au Mike Papazoglou mikep at uvt.nl ------------------------------------------------ From nza at Cs.Nott.AC.UK Mon Jan 22 13:44:05 2007 From: nza at Cs.Nott.AC.UK (nza at Cs.Nott.AC.UK) Date: 22 Jan 2007 12:44:05 +0000 Subject: PhD Scholarships in Verifying Requirements for Resource-Bounded Agents Message-ID: <200701221244.aa23991@pat.Cs.Nott.AC.UK> Applications are invited for two 3-year PhD positions on an EPSRC-funded project `Verifying requirements for resource-bounded agents.' The aim of the project is to define epistemic logics, computational models and automated verification tools for the representation, specification and verification of resource-bounded agents (agents with limited memory and communication bandwith whose reasoning takes time). The students will be based at the School of Computer Science and IT, University of Nottingham (UK) supervised by Natasha Alechina and Brian Logan, but will also spend several months at the ITC-irst in Trento Italy) working with Piergiorgio Bertoli, Chiara Ghidini and Luciano Serafini. Successful candidates should have a background in logic and/or planning. Please address preliminary inquiries to Natasha Alechina (nza(at)cs.nott.ac.uk). The (extended) deadline for applications is the 15th of February 2007. For more information, see http://www.cs.nott.ac.uk/~nza/trento-epsrc.html This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From segura.eduardo at gmail.com Tue Jan 23 01:00:24 2007 From: segura.eduardo at gmail.com (eduardo segura) Date: Mon, 22 Jan 2007 16:00:24 -0800 Subject: CFP: SPAC 07 - Software Patterns: Addressing Challenges In-Reply-To: References: Message-ID: *The First IEEE International Workshop on **Software Patterns: Addressing Challenges **SPAC 2007 **Call for Papers* *Beijing, China, July 24-27, 2007 (in conjunction with COMPSAC 2007)* * * http://conferences.computer.org/compsac/2007/ (COMPSAC 2007 Link) http://conferences.computer.org/compsac/2007/workshops/SPAC (Workshop Link-1) http://www.engr.sjsu.edu/~fayad/workshops/COMPSAC07(Workshop Link-2) http://www.vrlsoft.com/workshops/SPAC07 (WorkshopLink-3)* * *THEME OF THE WORKSHOP* As software increases in size and becomes more complex and costly, the need for techniques to ease software development is likewise increasing. Over the last decade, pattern community has evolved and received more interest in both academia and industry. Developing software using patterns holds the promise to reduce the cost and condensing the time of developing software systems, while simultaneously maintaining the quality of these systems. However, the potential of using patterns in developing systems is not fully realized and we need to address many challenges. For example, developing pattern repositories and catalogs, from which patterns can be retrieved and reused, still forms a challenge to software engineering, knowledge engineering and information systems communities. In addition, the need for (semi-) automated approaches for patterns mining and integration poses several open research questions to the software engineering community. Many think these challenges and others preclude the realization of the benefit of patterns as a reuse approach. This workshop aims at bringing together researchers and practitioners who are interested in resolving research challenges or who have practical experience with the different issues of patterns reuse and integration to discuss and advance the state-of-the-art and the state-of-the-practice in patterns reuse. Patterns have emerged as a promising reuse technique for both improving the quality and reducing the cost and time of software development. However, there is an immense belief that patterns have not fulfilled the expectations software developers wanted. Nevertheless, this belief does not rebuff the fact that patterns, as a concept, have the potential to play a key role in developing systems in the near future. This near future will never come unless there are serious attempts from both developers and researchers to investigate and provide creative solutions to current challenges that hinder utilizing patterns in practice. Among these challenges, this workshop focuses on investigating how to develop systems using patterns. We are sure that this topic will attract many developers and researchers in the field to participate in this workshop. *WORKSHOP CHALLENGES* The workshop will address software patterns challenges and debate several issues related to the following questions. We want researchers, framework developers, and application developers to discuss and debate the following questions related to: *I. **Pattern Creation and Development* a. Leaving experience claim on the side, can you show how to create and develop patterns? b. What are the bases of creating patterns? c. Are there guidelines, methodologies, and/or processes for pattern creations and developments? d. Would you show an example or two? *II. **Patterns Selection Process: * a. How does one select analysis and design patterns to build any system? b. What is the basis for selecting these patterns? c. If someone would like to build a system from patterns, how does she select patterns? d. What kind of patterns should one select to build a system from patterns? e. Is there a guideline for the selection process? *III. **Patterns Composition* a. How does one integrate the selected patterns to build any system? or How does one compose any system from patterns? b. What are the various claims related to patterns composition? Are they true? c. Are there guidelines or techniques for patterns composition? Would you illustrate how to use them? *IV. **System of Patterns and General Reuse* a. What do we mean when we say "systems of patterns"? b. Are the various claims related to building any system from patterns reasonable? c. How to develop pattern repositories and catalogs, from which patterns can be retrieved and reused? d. Are there automated approaches for patterns mining and integration? e. What other concepts will help build any system from patterns? . *V. **Impacts* a. What is the impact of software stability on the above issues? Check any of the following websites for all columns and accepted position papers: http://conferences.computer.org/compsac/2007/workshops/SPAC (Main Link) www.engr.sjsu.edu/~fayad//workshops/COMPSAC07(Workshop Link 2) www.vrlsoft.com/workshops/SPAC07 (Workshop Link 3 -- Under Construction) *PAPER FORMAT AND SUBMISSIONS* Detailed instructions for electronic paper submission and review process can be found at http://www.compsac.org/. People interested in participating in the workshop are requested to submit a short position paper (*3-5 pages*) or regular workshop paper (limited to *6 pages*, double spaced, including figures) representing views and experiences relevant to the discussion topic. The title page should include a maximum 150-word abstract, five keywords, full mailing address, e-mail address, phone number, fax number, and a designated contact author. Papers will be selected depending on the originality, quality and relevance to the workshop. All submitted papers will be evaluated according to its originality, significance, correctness, presentation and relevance. Papers should be submitted electronically at: http://compsac.cs.iastate.edu/2007/SPAC/. Please follow the instructions given by the web page. Camera Ready manuscripts must be submitted following IEEE conference proceedings style and guidelines. We encourage authors to present novel ideas, critique of existing work, and practical studies. Each accepted paper must be presented in person by the author or one of the authors. To foster lively discussions, each author is encouraged to present open questions and one or two main statements that will be discussed at the workshop. Submissions must be either MS-Word or RTF formats (please, DO NOT compress files). Depending on the number and spread of contributions, the scope may be narrowed to ensure effective communication and information sharing. Accepted position papers will be distributed to the participants before the workshop and made generally available through the WWW and FTP. Accepted papers will be published in the Workshop Proceedings of the 31st IEEE Computer Software and Applications Conference (COMPSAC 2007). At least one of the authors of each accepted paper must register as a full participant in the workshop to have the paper published in the COMPSAC 2007 Proceedings. The workshop selected best papers will be published in online Journal of International Journal Of Patterns (IJOP) – *www.ijop.org* *WORKSHOP PARTICIPATION* Interested in participating in the workshop without submission are requested to fill out the participation form and e-mail to the co-chair Haitham Hamza , Eduardo Segura , or to the workshop chair M.E. Fayad . ------------------------------------------------- PARTICIPATION FORM: Name and Affiliation: Position: Address: E-mail: URL: Areas of interest: Why would you like to participate? ------------------------------------------------- Please note that registration is required in order to participate in the workshop. An early registration discount is available. An overhead projector and a flipchart will be available. For more information please visit any of the following websites: * * http://conferences.computer.org/compsac/2007/workshops/SPAC (Main Link) www.engr.sjsu.edu/~fayad//workshops/COMPSAC07(Workshop Link 2) www.vrlsoft.com/workshops/SPAC07 (Workshop Link 3 -- Under Construction) You may also contact the organizers. *PROPOSED AGENDA* 1. Welcome and introduction of participants. The organizers will first give a short overview of any open issues and of the main arguments arising out of the position papers. (Estimated time: 20-30 minutes) 2. Selected authors (representing the main trends) will be given 20 minutes to explain how their position relates to other positions and what each sees as the three major issues. We expect about 5-10 position papers. (Estimated time: 120-130 minutes) 3. The organizers will propose an identification of the major issues, and the participants will then discuss and select what they think are the hottest issues to be examined. (Estimated time: 10-15 minutes) 4. The participants will work for 70-95 minutes in small groups, with a designated moderator in each group. The groups will each deal with two different hot issues identified and will produce a summary in the form of points and counterpoints, showing either how several views are irreducibly opposed or how they are complementary. The number of groups will depend on the number of participants and number of issues selected; ideally there should be 3-5 p people in each group. (Estimated time: 60-70 minutes) 5. Each group will be given 10-15 minutes to present its findings to the workshop. A closing discussion will follow. The workshop report will be written on the basis of these findings and will include an agenda for future exploration and cooperation; it will be made available through the WWW and FTP. (Estimated time: 50-60 minutes for five teams) (Total estimated time: 285-315 minutes, i.e. about five hours +/- 15 minutes; lunch and breaks are not included.) *IMPORTANT DATES* We will be updated based on acceptance process *Feb. 23, 2007*: Full paper and short paper due *Mar. 25, 2007*: Decision notification (electronic) *Apr. 30, 2007*: Camera-ready copy and author registration due *July 24-27, 2007**:* The workshop Date *ORGANIZERS* * * *Chair and Point of Contact:* *Dr.** M.E.** Fayad * Professor of Computer Engineering Computer Engineering Dept., College of Engineering San José State University One Washington Square, San José, CA 95192-0180 Ph: (408) 924-7364, Fax: (408) 924-4153 E-mail: m.fayad at sjsu.edu, mefayad at gmail.com http://www.engr.sjsu.edu/fayad *Co-Chairs:* Dr. H.S. Hamza (Co-Chair) Faculty of Computers and Informatics, Information Technology Department Cairo University, Orman, Giza 12613 - Egypt Ph: (02) 335-8355 (office) E-mail: hshamza at gmail.com * * Eduardo M. Segura vrlSoft, Inc. 2065 Martin Ave., Suite 103 Santa Clara, CA 95050-2707 Phone/Fax: (408) 654-8972 E-mail: esegura at vrlsoft.com, eduardo.segura at sjsu.edu http://www.vrlsoft.com *PROGRAM COMMITTEE* *Leonor Barroca **Open University, England* *Sjaak Brinkkemper Utrecht University, the Netherlands * *Chia-Chu Chiang University of Arkansas at Little Rock, USA* *Rogerio Atem de Carvalho CEFET Campos, Brazil* *Andrea D'Ambrogio University of Roma TorVergata, Italy* *Issam Wajih Damaj Dhofar University, Salalah - Sultanate of Oman * *Khalil DRIRA LAAS-CNRS, France* ** *Islam A. M. El-Maddah Ain Shams University, Egypt* *M.E. Fayad San Jose State University & vrlSoft, Inc., USA* *Joao M. Fernandes Universidade do Minho, Portugal* *IanGraham * *Trireme International Ltd, London, England* *Jiang Guo California State University Los Angeles, USA* *Wilhelm Hasselbring University of Oldenburg, Germany* *Tarek Helmy King Fahd Univ. of Petroleum and Minerals, Saudi Arabia* *H.S. Hamza Cairo University, Egypt* *Pilar Herrero Universidad Politécnica de Madrid , Spain.* *Hoda Hosny American University in Cairo, Egypt* *Pao-Ann Hsiung National Chung Cheng University, Chiayi, TAIWAN* *Ali Jaoua University of Qatar, Qatar* *Mohamed-Khireddine KHOLLADI University of Constantine, France* *Dae-Kyoo Kim Oakland University, MI, USA* *Seok-Won Lee The University of North Carolina at Charlotte, USA* *Jeff Lei University of Texas at Arlington, USA* *Ricardo J. Machado Universidade do Minho, Portugal* *Ahmed Mahdy Texas A&M University - Corpus Christi, USA* *Michael Oudshoorn ** Montana State University**, MT, USA* *Srini Ramaswamy University of Arkansas at Little Rock, USA* *Gustavo Rossi LIFIA, Facultad de Informatica, UNLP, Argentina* *Stuart Rubin SPAWAR, SSC-San Diego, USA* *Kannamma Sampath Coimbatore Institute of Technology, India* *Sanchez, Arturo University of North Florida, USA* *Kassem A. Saleh American University of Sharjah, UAE* *Arno Schmidmeier AspectSoft, Hersbruck, Germany * *E.M. Segura San Jose State University & vrlSoft, Inc., USA* *Manolis Tzagarakis Research Academic Technology Institute (RACTI), Greece* *Laurence** T. Yang St Francis Xavier University, Canada* *I-Ling Yen University of Texas at Dallas, USA* -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From peter.novak at tu-clausthal.de Tue Jan 23 09:39:09 2007 From: peter.novak at tu-clausthal.de (Peter Novak) Date: Tue, 23 Jan 2007 09:39:09 +0100 Subject: Multi-Agent Programming Contest (ProMAS 2007) - *** New deadlines *** Message-ID: <20070123083909.GW21956@tu-clausthal.de> [apologies for multiple copies] **************************************************************** *** *** New submission deadline *** *** **************************************************************** Multi-Agent Programming Contest in association with ProMAS 2007 May 14/15 2007 Honolulu, Hawaii http://cig.in.tu-clausthal.de/AgentContest/ =============================================================== Aims and Scope: This competition is an attempt to stimulate research in the area of multi-agent programming by 1- identifying key problems and 2- collecting suitable benchmarks that can serve as milestones for testing agent-oriented programming languages, platforms and tools. We also expect that participating at the contest helps to debug a system and to identify weak parts in it. The performance of a particular system will be determined in a series of games where the systems compete against each other. While winning the competition is not the main point, we hope it will shed light on the applicability of certain frameworks to particular domains. * History This is the third such contest. The first two were organized within the CLIMA conference series. * Scenario description This year, the contest is organised as part of the ProMAS workshop (a workshop organized within AAMAS 07). It consists of applying (or developing from scratch) a multi-agent system to solve a cooperative task in a dynamically changing environment. The environment of the multi-agent system is a grid-like world where agents can move from one cell to a neighbouring cell if there is no agent or obstacle already in that cell. In this environment, gold can appear in the cells. Participating agent teams explore the environment, avoid obstacles and compete with another agent team for the gold in the environment. We encourage submissions that specify and design a multi-agent system in terms of high-level concepts such as goals, beliefs, plans, roles, communication, coordination, negotiation, and dialogue in order to generate an efficient and effective solution for the above mentioned application. Moreover, the use of agent-oriented programming languages, platforms, tools, and techniques in the implementations of multi-agent system is appreciated. * Participation requirements: The participation in this contest consists of two parts: 1- Submission of the description of analysis, design and implementation of a multi-agent system for the above application. Existing multi-agent system methodologies such as Gaia, Prometheus or Tropos can be used to describe the system. For the description of the implementation, it should be explained how the design is implemented. This can be done by explaining, for example, which programming language, platform, tools, and techniques are used to implement the multi-agent system. The maximum length of this description is 5 pages according to the LNCS format. 2- Participation in the contest tournament by means of an (executable) implementation of a multi-agent system. The agents from each participating systems (agent teams) will be executed locally (on the participant's hardware) while the simulated environment, in which all agents from competing teams perform actions, is run on the remote contest simulation server. Interaction/communication between agents from one team should be managed locally, but the interaction between individual agents and their environment (run on the simulation server) will be via Internet. Participating agents connect to the simulation server that provides the information about the environment. Each agent from each team should connect and communicate to the simulation server using one TCP connection. Further technical details on how to participate in this contest can be found on the contest webpage http://cig.in.tu-clausthal.de/AgentContest/ The source code together with instructions on how to install it including precise instructions on software and hardware requirements should be submitted just before the competition starts. * How To Submit: Please announce your intention to attend the contest by subscribing to the mailing list (details on the home page) **now**. Please submit a 5 page description of your solution to Mehdi Dastani (mehdi at cs.uu.nl). Several days before the start of the competition, the contest organisers will contact participants via e-mail with details on time and Internet coordinates (IP addresses/ports) of the simulation server. * Important Dates: * Submission of the description : March 6, 2007 *New deadline!* * Notification : March 10, 2007 * Camera-Ready of the description : March 19, 2007 (hard deadline) * Competition : TBA (in April) * Winner announcement : May 14/15, 2007 * Winning Criteria: The winner of the contest will be the best performing team with the highest number of points from the tournament. The original, innovative, and effective application of agent-oriented programming languages, platforms, tools, and techniques for the implementation of multi-agent systems will influence the final decision as well. -- peter.novak at tu-clausthal.de | http://cig.in.tu-clausthal.de/ Department of Informatics | Clausthal University of Technology Julius-Albert-Str. 4 | D-38678 Clausthal-Zellerfeld | Germany Tel +49 5323 72 71 90 | Fax +49 5323 72 71 39 From riemsdijk at pst.ifi.lmu.de Tue Jan 23 13:37:53 2007 From: riemsdijk at pst.ifi.lmu.de (Birna van Riemsdijk) Date: Tue, 23 Jan 2007 13:37:53 +0100 Subject: 2nd CFP: DALT@AAMAS'07 - submission now open!!! Message-ID: <45B601A1.8090602@pst.ifi.lmu.de> [Please accept our apologies if you receive multiple postings.] ***************************************************************** 5th International Workshop on Declarative Agent Languages and Technologies (DALT 2007) 14 or 15 May 2007 Hawaii Convention Center, Hawaii (held in conjunction with AAMAS 2007) URL: http://www.di.unito.it/~baldoni/DALT-2007/ ***************************************************************** CALL FOR PAPERS ***************************************************************** The workshop on Declarative Agent Languages and Technologies (DALT), in its fifth edition this year, is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems. Building complex agent systems calls for models and technologies that en- sure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can sat- isfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of of- fering solutions satisfying the needs for both specifying and de- veloping multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the seman- tic web, service-oriented computing, security, and electronic contracting. For instance, some convergence points between the areas of formal methods for dealing with web services and formal methods for agents are emerging and gaining more and more atten- tion. DALT 2007 will be held as a satellite workshop of AAMAS 2007, the 6th International Joint Conference on Autonomous Agents and Mul- tiagent Systems, in May 2007 in Honolulu, Hawaii. Following the success of four previous editions, DALT will again aim at provid- ing a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of re- searchers working on declarative languages and technologies. ***************************************************************** TOPICS OF INTEREST ***************************************************************** DALT topics of interest include, but are not limited to: General themes: * specification of agents and multiagent systems * declarative approaches to engineering agent systems Formal techniques: * (constraint) logic programming approaches to agent systems * distributed constraint satisfaction * modal and epistemic logics for agent modelling * model checking agents and multiagent systems Declarative models: * declarative models of agent beliefs, goals and capabilities * declarative models of bounded rationality * declarative paradigms for the combination of heterogeneous agents * electronic institutions * agent-inspired declarative approaches to web services or service-oriented architectures Applications of declarative techniques to: * agents and the semantic web * service-oriented multiagent systems * agent communication and coordination languages * protocol specification and conformance checking * description of contracts and negotiation policies * security in multiagent systems Evaluation of declarative approaches: * experimental analysis of declarative agent technologies * industrial experiences with declarative agent technologies ***************************************************************** SUBMISSION INSTRUCTIONS ***************************************************************** We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publication elsewhere. Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 16 pages. Paper submission is electronic via the conference website. ***************************************************************** WORKSHOP PROCEEDINGS ***************************************************************** Printed copies of the proceedings will be available at the workshop. Assuming a sufficient number of high-quality submissions, we are again going to consider the publication of formal post-proceedings with an international publisher. The post-proceedings of DALT 2003 (LNAI 2990), DALT 2004 (LNAI 3476), DALT 2005 (LNAI 3904), and DALT 2006 (LNAI 4327) have been published by Springer-Verlag in the Lecture Notes in Artificial Intelligence series. ***************************************************************** IMPORTANT DATES ***************************************************************** * Paper submission deadline: 5 February 2007 * Notification of authors: 5 March 2007 * Final versions due: 19 March 2007 * Workshop: 14 or 15 May 2007 ***************************************************************** PROGRAMME COMMITTEE ***************************************************************** * Marco Alberti (University of Ferrara, Italy) * Natasha Alechina (University of Nottingham, UK) * Grigoris Antoniou (University of Crete, Greece) * Matteo Baldoni (University of Torino, Italy) -- co-chair * Cristina Baroglio (University of Torino, Italy) * Rafael Bordini (University of Durham, UK) * Keith Clark (Imperial College London, UK) * Ulle Endriss (University of Amsterdam, Netherlands) * Benjamin Hirsch (Technical University Berlin, Germany) * Shinichi Honiden (National Institute of Informatics, Japan) * John Lloyd (Australian National University, Australia) * Viviana Mascardi (University of Genova, Italy) * John-Jules Meyer (University of Utrecht, Netherlands) * Enrico Pontelli (New Mexico State University, USA) * Birna van Riemsdijk (Ludwig-Maximilians-Universitaet Muenchen, Germany) -- co-chair * Chiaki Sakama (Wakayama University, Japan) * Munindar Singh (North Carolina State University, USA) * Tran Cao Son (New Mexico State University, USA) -- co-chair * Wamberto Vasconcelos (University of Aberdeen, UK) * Mirko Viroli (University of Bologna, Italy) * Michael Winikoff (RMIT University, Australia) -- co-chair ***************************************************************** ORGANISING COMMITTEE ***************************************************************** * Matteo Baldoni (University of Torino, Italy) * Tran Cao Son (New Mexico State University, USA) * M. Birna van Riemsdijk (Ludwig-Maximilians-Universitaet Muenchen, Germany) * Michael Winikoff (RMIT University, Australia) ***************************************************************** STEERING COMMITTEE ***************************************************************** * João Leite (New University of Lisbon, Portugal) * Andrea Omicini (University of Bologna-Cesena, Italy) * Leon Sterling (University of Melbourne, Australia) * Paolo Torroni (University of Bologna, Italy) * Pinar Yolum (Bogazici University, Turkey) ***************************************************************** From mitchell at cs.sfu.ca Tue Jan 23 20:09:24 2007 From: mitchell at cs.sfu.ca (David Mitchell) Date: Tue, 23 Jan 2007 11:09:24 -0800 (PST) Subject: subscribe Message-ID: <200701231909.l0NJ9Ov23456@css.css.sfu.ca> From mitchell at cs.sfu.ca Tue Jan 23 20:35:33 2007 From: mitchell at cs.sfu.ca (David G Mitchell) Date: Tue, 23 Jan 2007 11:35:33 -0800 (PST) Subject: Confirmation Request (1349105176) In-Reply-To: References: Message-ID: From m.kohlhase at iu-bremen.de Tue Jan 23 17:02:23 2007 From: m.kohlhase at iu-bremen.de (Michael Kohlhase) Date: Tue, 23 Jan 2007 17:02:23 +0100 Subject: CADE-21 2nd CfP (Invited Speakers, Workshops, Travel Award, Submission) Message-ID: <45B6318F.5000802@iu-bremen.de> UPDATE: invited speakers, affiliated workshops, travel grants, submissions open Deadline for abstract submission: February 16! 2nd Call for Papers CADE-21 21st International Conference on Automated Deduction International University Bremen, Germany July 17-20, 2007 (workshops July 15-16) http://www.cadeconference.org/meetings/cade21 CALL FOR PAPERS CADE is the major forum for the presentation of research in all aspects of automated deduction. - Logics of interest include propositional, first-order, equational, higher-order, classical, intuitionistic, constructive, modal, temporal, many-valued, substructural, description, and meta-logics, logical frameworks, type theory and set theory. - Methods of interest include resolution, tableaux, term rewriting, induction, unification, constraint solving, SAT solving, decision procedures, saturation, model generation, model checking, natural deduction, sequent calculi, proof planning, proof presentation, proof checking, and explanation. - Applications of interest include hardware and software development, systems analysis and verification, deductive databases, functional and logic programming, computer mathematics, natural language processing, computational linguistics, robotics, planning, knowledge representation, and other areas of AI. Invited speakers: Peter Baumgartner, NICTA and Australian National University Rustan Leino, Microsoft Research Colin Stirling, University of Edinburgh Ashish Tiwari, SRI International Affiliated workshops (July 15-16, 2007): ADDCT - Automated Deduction: Decidability, Complexity, Tractability CVF - Fourth International Workshop on Constraints in Formal Verification DISPROVING - Workshop on Disproving: Non-Theorems, Non-Validity, Non-Provability ESARLT - Empirically Successful Automated Reasoning in Large Theories ISABELLE-WS - Isabelle Workshop LFMTP - International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice VERIFY - 4th International Verification Workshop Woody Bledsoe student travel awards: Nominations must be made by June 1; details available at http://www.cadeconference.org/meetings/cade21/calls/bledsoe-award.txt Paper submission: Submission is electronic in PostScript or PDF format via the EasyChair system. Submitted papers must conform to the Springer LNCS style, preferrably using LaTeX2e and the Springer llncs class files available at http://www.springer.com/lncs. Submissions can be full papers, for work on foundations, applications, or implementation techniques (15 pages), as well as system descriptions (5 pages), for describing publicly available systems. The proceedings will be published in the Springer LNCS series. Submissions are now open at http://www.easychair.org/CADE21/ Important dates: Submission of title and abstract: February 16, 2007 Submission papers: February 23, 2007 Notification of acceptance: April 16, 2007 Final version due: May 11, 2007 Workshops and tutorials: July 15-16, 2007 Conference: July 17-20, 2007 Conference Chair: Michael Kohlhase (IUB) Workshop and Tutorial Chair: Christoph Benzmueller (Cambridge) Program Chair: Frank Pfenning (CMU) -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62 Professor for Computer Science Campus Ring 12, School of Engineering & Science D-28759 Bremen, Germany International University Bremen* tel/fax: +49 421 200-3140/-493140 http://kwarc.eecs.iu-bremen.de/kohlhase * Jacobs University Bremen as of Spring 2007 ---------------------------------------------------------------------- From jv at imm.dtu.dk Tue Jan 23 21:13:27 2007 From: jv at imm.dtu.dk (Joergen Villadsen) Date: Tue, 23 Jan 2007 21:13:27 +0100 Subject: 2nd CFP: International Workshop on Hybrid Logic 2007 (HyLo 2007) Message-ID: <20070123201327.B7D3B8A006E@pfepc.post.tele.dk> ******************************************************************* SECOND CALL FOR PAPERS International Workshop on Hybrid Logic 2007 (HyLo 2007) http://hylomol.ruc.dk/HyLo2007 6 - 10 August, 2007 organized as part of the European Summer School on Logic, Language and Information ESSLLI 2007 https://www.cs.tcd.ie/esslli2007 6 - 17 August, 2007 in Dublin ******************************************************************* ORGANIZERS: Torben Braüner (Roskilde University, Denmark, torben at ruc.dk) - Chair Jørgen Villadsen (Technical University of Denmark, jv at imm.dtu.dk) WORKSHOP PURPOSE: Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic. The topic of the HyLo workshop of 2007 is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power. The workshop HyLo 2007 will be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop continues a series of previous workshops on hybrid logic, most recently the LICS-affiliated HyLo 2006 (http://hylomol.ruc.dk/HyLo2006/). The workshop aims to provide a forum for advanced PhD students and researchers to present and discuss their work with colleagues and researchers who work in the broad subject areas represented at ESSLLI. For more general background on hybrid logic, and many of the key papers, see the Hybrid Logics homepage (http://hylo.loria.fr/). SUBMISSION DETAILS: We invite the contribution of papers reporting new work from researchers interested in hybrid logic. Papers should not exceed 10 pages including references. More details about the submission procedure will be announced in the last call for papers. The accepted papers will appear in the workshop proceedings published by ESSLLI. One author for each accepted paper must attend the workshop in order to present the paper. It is planned to publish revised versions of the accepted papers in a special issue of Journal of Logic, Language and Information. WORKSHOP FORMAT: The workshop is part of ESSLLI and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session. On the first day the workshop organizers will give an introduction to the topic. INVITED SPEAKERS: Balder ten Cate (University of Amsterdam, The Netherlands) Ian Hodkinson (Imperial College, UK) PROGRAM COMMITTEE: Carlos Areces (INRIA Lorraine, France) Patrick Blackburn (INRIA Lorraine, France) Thomas Bolander (Technical University of Denmark) - Co-Chair Torben Braüner (Roskilde University, Denmark) - Chair Mai Gehrke (New Mexico State University, USA) Valeria de Paiva (PARC, USA) Jørgen Villadsen (Technical University of Denmark) IMPORTANT DATES: Deadline for submissions: March 8, 2007 Notification of acceptance: April 21, 2007 Preliminary programme: April 24, 2007 ESSLLI early registration: May 1, 2007 Deadline for final versions: May 17, 2007 Final programme: June 21, 2007 Workshop dates: 6 - 10 August, 2007 LOCAL ARRANGEMENTS: All workshop participants including the presenters will be required to register for ESSLLI. The registration fee for authors presenting a paper will correspond to the early student/workshop speaker registration fee. Moreover, a number of additional fee waiver grants will be made available by the ESSLLI local organizing committee on a competitive basis and workshop participants are eligible to apply for those. There will be no reimbursement for travel costs and accommodation. Workshop speakers who have difficulty in finding funding should contact the local organizing committee to ask for the possibilities for a grant. FURTHER INFORMATION: About the workshop: http://hylomol.ruc.dk/HyLo2007 About ESSLLI: https://www.cs.tcd.ie/esslli2007 From winikoff at cs.rmit.edu.au Tue Jan 23 23:53:56 2007 From: winikoff at cs.rmit.edu.au (Michael Winikoff) Date: Wed, 24 Jan 2007 09:53:56 +1100 Subject: ProMAS CFP Message-ID: <20070123225356.GA19458@cs.rmit.edu.au> (please accept our apologies if you receive multiple postings) CALL FOR PAPERS: ProMAS'07 Fifth International Workshop on Programming Multi-Agent Systems (ProMAS'07) ProMAS'07 is a satellite workshop at AAMAS 2007 Hawaii, USA, 14-18 May 2007 Even though the contributions of the multi-agent systems (MAS) community can make a significant impact in the development of open distributed systems, the techniques resulting from such contributions will only be widely adopted when suitable programming languages and development tools are available. Furthermore, such languages and tools must incorporate those techniques in a principled but practical way, so as to support the ever more complex task of professional programmers, in particular when the systems have to operate in dynamic environments. The ProMAS workshop series aims to address the theoretical and practical programming issues related to developing and deploying multi-agent systems. In particular, ProMAS aims to address how multi-agent systems designs or specifications can be effectively implemented. In its previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, requirements, and principles that are important for multi-agent programming technology. We encourage the submission of proposals for programming languages and development tools that provide specific programming constructs to facilitate the implementation of the essential concepts used in multi-agent system analysis and specifications (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. Further, we are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry. Specific topics for this workshop include, but are not limited to: - Programming Languages for multi-agent systems - Extensions of traditional languages for multi-agent programming - Theoretical and practical aspects of multi-agent programming - Computational complexity of MAS - Semantics for multi-agent programming languages - High-level executable multi-agent specification languages - Algorithms, techniques, or protocols for multi-agent issues (e.g., coordination, cooperation, negotiation) - Agent communication issues in multi-agent programming - Implementation of social and organisational aspects of MAS - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS - Test and debugging tools and techniques - Agent development tools and platforms - Generic tools and infrastructures for multi-agent programming - Interoperability and standards for MAS - Programming mobile agents - Safety and security for mobile MAS deployment - Fault tolerance and load balancing for mobile MAS - Application areas for multi-agent programming languages - Applications using legacy systems - Programming MAS for Grid-based applications - Programming MAS for the Semantic Web - Deployed (industrial-strength) MAS - Benchmarks and testbeds for comparing MAS languages and tools Important Dates: ---------------- Paper submission deadline: 5 February, 2007 Notifications of acceptance/rejection: 5 March, 2007 Camera-ready copies due: 19 March, 2007 Workshop Date: 14th/15th May, 2007 (TBA) Submission Details: ------------------- Authors can submit their papers via a conference management system, available at the following address: http://confs.deis-ce.unibo.it/ProMAS07 First, you will be asked to register into the system, then you will get a user id and a password that you can use to submit your paper. Papers should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. Accepted papers will be published as a technical report and distributed among participants during the workshop. As was the case for previous editions of the ProMAS workshop, we are planning to publish extended versions of selected papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. Organising Committee: --------------------- - Mehdi Dastani (Utrecht University, The Netherlands) http://www.cs.uu.nl/~mehdi - Amal El Fallah Seghrouchni (University of Paris VI, France) http://www-poleia.lip6.fr/~elfallah/ - Alessandro Ricci (DEIS, Universita' di Bologna, Italy) http://lia.deis.unibo.it/~ari - Michael Winikoff (RMIT University, Australia) http://www.cs.rmit.edu.au/~winikoff Steering Committee: --------------------- - Rafael Bordini (University of Durham, UK) - Juergen Dix (Clausthal University of Technology, Germany) From franconi at inf.unibz.it Wed Jan 24 07:16:24 2007 From: franconi at inf.unibz.it (Enrico Franconi) Date: Wed, 24 Jan 2007 19:16:24 +1300 Subject: European MSc in Computational Logic - scholarships available Message-ID: *** EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC *** http://www.computational-logic.eu The Faculty of Computer Science at the Free University of Bozen- Bolzano (FUB), in Italy (at the heart of the Dolomites mountains in South-Tyrol), is offering the European Masters Program in Computational Logic as part of its Master of Science in Computer Science offer (Laurea Specialistica). The European Masters Program in Computational Logic is an international distributed Master of Science course, in cooperation with the computer science departments in the following universities: * Free University of Bozen-Bolzano, Italy * Technische Universitaet Dresden, Germany * Universidade Nova de Lisboa, Portugal * Technische Universitaet Wien, Austria * Universidad Politecnica de Madrid, Spain This program, completely in English, involves studying one year at the Free University of Bozen-Bolzano, and possibly completing the second year with a stay in one of the partner universities. After this, the student will obtain, together with the European degree, two Master of Science degrees: the Laurea Specialistica degree from the Free University of Bozen-Bolzano, with legal value in Italy, and the respective Master of Science degree from the visited university, with legal value in its country. APPLICATION DEADLINES: - * 10 FEBRUARY 2007 *: deadline for non-European students requesting an Erasmus Mundus scholarship (notification of acceptance: 10 March 2007) - 15 June 2007: deadline for all European and non-European students (notification of acceptance: 15 July 2007) - 24 August 2007: last deadline only for European students starting at the Free University of Bozen-Bolzano, Italy (notification of acceptance: 10 September 2007) ** NOTE **: 10 FEBRUARY 2007 is the final deadline for requesting an Erasmus Mundus scholarship for non-European students! SCHOLARSHIPS & MONEY SUPPORT: In 2007 the European Masters Program in Computational Logic will offer 24 new Erasmus Mundus scholarships for non-European citizens (in 2004, 2005 and 2006 more than 50 Erasmus Mundus scholarships were given). Special scholarships are offered to students from India, China, Bosnia-Herzegovina, Serbia, Montenegro, Kosovo, Albania, and the African, Caribbean, Pacific ACP Group of States. Each scholarship for each student amounts to 21,000 EUR per academic year; this includes 10 monthly grants of 1,600 EUR and a fixed amount of 5,000 EUR for fees, travel expenses, relocation costs, etc. The 10th of February 2007 is the final deadline for requesting an Erasmus Mundus scholarship for non-European students. European citizens or non-European citizens with residence in Italy can apply to scholarships which are granted purely on the basis of the yearly income of the applicant and of her/his parents or husband/wife. Scholarships amount up to more than 6,000 EUR per academic year, including facilities on the accommodation and total reimbursement of the enrolment fees. The Free University of Bozen-Bolzano has a tuition-waiver budget for reimbursing the total tuition/enrolment fees to all the applicants studying in Bozen-Bolzano and who do not have already a scholarship; so, applicants studying in Bozen-Bolzano are entitled not to pay any tuition/enrolment fees. Check the web page for detailed info on applications and scholarships: http://www.computational-logic.eu THE STUDY PROGRAMME: The European Masters Program in Computational Logic is designed to meet the demands of industry and research in this rapidly growing area. Based on a solid foundation in mathematical logic, theoretical computer science, artificial intelligence and declarative programming students will acquire in-depth knowledge necessary to specify, implement and run complex systems as well as to prove properties of these systems. In particular, the focus of instruction will be in deduction systems, knowledge representation and reasoning, artificial intelligence, formal specification and verification, syntax directed semantics, logic and automata theory, logic and computability. This basic knowledge is then applied to areas like logic and natural language processing, logic and the semantic web, bioinformatics, information systems and database technology, software and hardware verification. Students will acquire practical experience and will become familiar in the use of tools within these applications. In addition, students will be prepared for a future PhD, they will come in contact with the international research community and will be integrated into ongoing research projects. They will develop competence in foreign languages and international relationships, thereby improving their social skills. Applicants should have a Bachelor degree (Laurea triennale) in Computer Science, Computer Engineering, or other relevant disciplines; special cases will be considered. The programme is part of the Master in Computer Science (Laurea Specialistica in Informatica) and it has various strengths that make it unique amongst Italian and European universities: * Curriculum taught entirely in English: The programme is open to the world and prepares the students to move on the international scene. * Possibility of a strongly research-oriented curriculum. * Possibility for project-based routes to obtain the degree and extensive lab facilities. * Other specialisations with streams in the hottest Computer Science areas, such as Web Technologies, Information and Knowledge Management, Databases and Software Engineering. * International student community. * Direct interaction with the local and international industry and research centres, with the possibility of practical and research internships that can lead to future employment. * Excellent scholarship opportunities and student accommodations. The European Masters Program in Computational Logic is one of the few European Masters awarded by the European Union's Erasmus Mundus programme from its first year of existence in 2004. The Erasmus Mundus programme is a co-operation and mobility programme in the field of higher education which promotes the European Union as a centre of excellence in learning around the world. It supports European top-quality Masters Courses and enhances the visibility and attractiveness of European higher education in third-countries. It also provides EU-funded scholarships for third-country nationals participating in these Masters Courses, as well as scholarships for EU-nationals studying in third-countries. The European Masters Program in Computational Logic is sponsored scientifically by the European Network of Excellence on Computational Logic (CoLogNET), the European Association of Logic, Language and Information (FoLLI), the European Coordinating Committee for Artificial Intelligence (ECCAI), the Italian Association for Artificial Intelligence (AI*IA), the Italian Association for Informatics (AICA, member of the Council of European Professional Informatics Societies), the Italian Association for Logic and its Applications (AILA), and the Portuguese Association for Artificial Intelligence (APPIA). THE FREE UNIVERSITY OF BOZEN-BOLZANO: The Free University of Bozen-Bolzano, founded in 1997, boasts modern premises in the centre of Bozen-Bolzano. The environment is multilingual, South Tyrol being a region where three languages are spoken: German, Italian and Ladin. Studying in a multilingual area has shown that our students acquire the cutting edge needed in the international business world. Many of our teaching staff hails from abroad. Normal lectures are complemented with seminars, work placements and laboratory work, which give our students a vocational as well as theoretical training, preparing them for their subsequent professional careers. Studying at the Free University of Bozen-Bolzano means, first and foremost, being guided all the way through the student's educational career. Bozen-Bolzano, due to its enviable geographical position in the centre of the Dolomites, also offers our students a multitude of opportunities for spending their free-time. The city unites the traditional with the modern. Young people and fashionable shops throng the city centre where ancient mercantile buildings are an attractive backdrop to a city that is in continual growth. To the south there is the industrial and manufacturing area with prosperous small and medium-sized businesses active in every economic sector. Back in the 17th century Bozen-Bolzano was already a flourishing mercantile city that, thanks to its particular geographic position, functioned as a kind of bridge between northern and southern Europe. As a multilingual town and a cultural centre Bozen-Bolzano still has a lot to offer today. Its plethora of theatres, concerts with special programmes, cinemas and museums, combined with a series of trendy night spots that create local colour make Bozen-Bolzano a city that is beginning to cater for its increasingly demanding student population. And if you fancy a very special experience, go and visit the city's favourite and most famous resident - "Oetzi", the Ice Man of Similaun, housed in his very own refrigerated room in the recently opened archaeological museum. Bozen-Bolzano and its surroundings are an El Dorado for sports lovers: jogging on the grass alongside the River Talfer-Talvera, walks to Jenesien-S.Genesio and on the nearby Schlern-Sciliar plateau, excursions and mountain climbing in the Dolomites, swimming in the numerous nearby lakes and, last but not least, skiing and snowboarding in the surrounding ski areas. FURTHER INFORMATION: Prof. Enrico Franconi at info at fub.computational-logic.eu European Masters Program in Computational Logic Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani, 3 I-39100 Bozen-Bolzano BZ, Italy Phone: +39 0471 016 000 Fax: +39 0461 173 9006 Email: info at fub.computational-logic.eu Web site: http://www.computational-logic.eu From tic.encyclopedia.ai at udc.es Wed Jan 24 10:59:59 2007 From: tic.encyclopedia.ai at udc.es (tic.encyclopedia.ai at udc.es) Date: Wed, 24 Jan 2007 10:59:59 +0100 Subject: Reminder: Extended deadline - Call for articles for Encyclopedia of Artificial Intelligence Message-ID: <20070124185904.3B1CF170@smtp.udc.es> "Encyclopedia of Artificial Intelligence". Editors: Juan R. Rabu�al, Juli�n Dorado & Alejandro Pazos. tic.encyclopedia.ai at udc.es http://sabia.tic.udc.es/encyclopediaAI/ *************************************************************************** IMPORTANT EXTENDED DEADLINE January 30, 2007 � RECEIVE PROPOSALS FOR ARTICLES *************************************************************************** ** Introduction Nature has always been a source of inspiration for science problem solving. Areas such as Pharmacy, Physics or Aeronautics use biological concepts to reach beyond their current limits. As far as Computing Science � and more specifically, Artificial Intelligence (AI) � is concerned, the use of biological concepts is highly reliable for achieving good results. At the early stages of AI (1950s), Artificial Neural Networks (ANN) - quite successful as classification and pattern recognition systems - were developed by using the structure of the nervous system as a basis. After these systems, biology has inspired the development of other techniques � among which the evolutionary systems are the most promising ones when dealing with new problems that use a vast amount of data � such as Biomedical Computing or weather forecasting. Both the techniques based in cell or natural organisms performance, as well as those based on evolutionary theories, have a wide success record when applied to real problems. These types of techniques currently represent a very active area of research, as not only a high number of companies use them, but also many related high level scientific congresses are being held annually on these techniques. ** Coverage To meet this need, currently we are in the process of editing the "Encyclopedia of Artificial Intelligence " that will provide comprehensive coverage and definitions of the most important issues, concepts, trends and technologies in Artificial Intelligence. This important new publication will be distributed worldwide among academic and professional institutions and will be instrumental in providing researchers, scholars, students and professionals with access to the latest knowledge related to Artificial Intelligence techniques. To ensure that this publication has the most current and relevant coverage of all topics related to Artificial Intelligence, we are asking scholars, well-known for their particular area of research, to contribute short articles of 1,500-3,500 words on any of the following topics: -- Artificial Intelligence Overview -- Theory -- Artificial Neural Networks -- Knowledge Engineering (Expert Systems) -- Intelligent Knowledge Management -- Evolutionary Computation -- Agents -- Ontologies -- Fuzzy Logic and systems -- Ambient Intelligence and Ubiquitous -- Knowledge Discovery & DataMining -- Natural Language Processing -- Bioinspired Computation -- Bioinformatics -- Emergent Technologies: NBIC -- Robotics -- Computer Games -- Artificial Vision -- Hybrid Systems -- Applications in Real-Life A more detailed list of topics may be found at http://sabia.tic.udc.es/encyclopediaAI/ ** Submission Procedure We would like to invite you to consider submitting a proposal on any of the above topics for this upcoming encyclopedia by submitting a brief (75-100 words) description of your proposed topic to us by no later than December 15, 2006. You will then have until March 31, 2007 to prepare your full submission (1,500-3,500 words in length) and 7-10 related terms and their appropriate definitions. A copy of a sample article and terms with definitions can be found at http://sabia.tic.udc.es/encyclopediaAI/ All submitted articles will undergo a double-blind, peer-review process upon its receipt. We invite you also to visit the site http://sabia.tic.udc.es/encyclopediaAI/ for additional information about this publication. Please forward your proposal to Juan R. Rabu�al, Juli�n Dorado & Alejandro Pazos, editors, at tic.encyclopedia.ai at udc.es. This book is tentatively scheduled for publishing by Information Science Reference (formerly Idea Group Reference), www.idea-group.com/reference, (an imprint of Idea Group Inc.) in 2008. IMPORTANT DEADLINES January 30, 2007 � Receive proposals for articles February 15, 2007 � Notification of accepted proposals March 31, 2007 � Full articles due July, 31, 2007 � Full article final acceptance If you have any questions or concerns, or if we can be of any assistance, please let us know. We look forward to hearing from you soon. Kind Regards, Juan R. Rabu�al, Juli�n Dorado & Alejandro Pazos Editors of Encyclopedia of Artificial Intelligence tic.encyclopedia.ai at udc.es Dept. of Information & Communications Technologies University of A Coru�a Spain EDITORIAL ADVISORY BOARD Dr. Jose Mar�a Barreiro. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain Dr. Stefano Cagnoni. Dipartimento di Ingegneria dell'Informazione. Universit� degli Studi di Parma. Italia Dr. Paul M. Chapman. Dept. of Computer Science. University of Hull. England Dr. Jose Crespo del Arco. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain Dr. Darryl Davis. Dept. of Computer Science. University of Hull. England Dr. Anselmo del Moral. University of Deusto. Spain Dr. Norberto Ezquerra. Georgia Institute of Technology. USA Dr. Llu�s Jofre. Polytechnical University of Catalunya. Spain Dr. Daniel Manrique. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain Dr. Juan Pazos. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain Dr. Javier Pereira. University of A Coru�a. Spain Dr. Ana Belen Porto. Dept. of Information & Communications Technologies. University of A Coru�a. Spain Dr. Juan R�os. Dept. of Artificial Intelligence. Polytechnical University of Madrid. Spain Dr. Peter Smith. University of Sunderland. England From walid.chainbi at lycos.com Wed Jan 24 11:57:24 2007 From: walid.chainbi at lycos.com (Walid Chainbi) Date: Wed, 24 Jan 2007 05:57:24 -0500 (EST) Subject: CFP: Agent Technology and Autonomic Computing (ATAC'2007) Message-ID: <20070124055724.HM.0000000000000VJ@walid.chainbi.bos-mail-wwl17.lycos.com> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From event-request at in.tu-clausthal.de Wed Jan 24 14:10:05 2007 From: event-request at in.tu-clausthal.de (event Report) Date: Wed, 24 Jan 2007 14:10:05 +0100 Subject: Subscriber wxkna@tw.wunderman.com Failed Message-ID: wxkna at tw.wunderman.com failed and it has been unsubscribed from the 'event' list From basili at info.uniroma2.it Thu Jan 25 16:08:51 2007 From: basili at info.uniroma2.it (Roberto Basili) Date: Thu, 25 Jan 2007 16:08:51 +0100 Subject: Call for Paper AI*IA 2007: "Artificial Intelligence and Human-oriented Computing" Message-ID: <5.2.1.1.0.20070125160535.02019470@mail.disp.uniroma2.it> *** Apologize for multiple posting *** Call For Papers "AI*IA '07" "Artificial Intelligence and Human-oriented Computing" 10th Congress of the Italian Association for Artificial Intelligence September 10-13, 2007 - University of Rome, Tor Vergata (Italy) Web: http://aiia.info.uniroma2.it/ * * * Submission deadline: April 12, 2007 * * * Current Information Technologies are faced with problems of increasing complexity. Artificial Intelligence paradigms and ideas are central in most of the critical research areas of computer science, where the software interoperability in the Semantic Web or the automatic control required by multiagent systems or autonomous robots are only some examples. The influence of AI is notable in all applications centred on humans as users, producers and consumers of complex, conceptual, distributed and critical information. This is true for applications ranging from intelligent search on the Web to complex decision making, from automatic control in autonomous systems to computing in Ambient Intelligence or collaborative environments. The convergence of traditional ideas from AI with human-centered applications will thus motivate most of the technical sessions of the conference, with a particular emphasis on specific topics covered by some Special Tracks. We invite the submission of papers to the AI*IA07 Congress. AI*IA07 is the 10th in a series of international Congresses on Advances in Artificial Intelligence held bi-annually in Italy by the Italian Association for Artificial Intelligence (AI*IA). This year the focus is on human-oriented computing as a unifying paradigm for most of the traditional research and application areas of AI. The technical program for the conference will include invited lectures, workshops and presentations of refereed papers and posters in the main areas of AI. Three special tracks are dedicated to relevant trends in the AI research. Papers are invited on substantial, original, and unpublished research on all aspects of artificial intelligence, including, but not limited to: Search Constraint Satisfaction Reasoning Inference Machine learning Learning in adaptive systems Knowledge Representation Knowledge Engineering Knowledge Acquisition Information Agents Multiagent Systems Distributed AI Ontologies Semantic Web Natural Language Processing Web and Data Mining Information Retrieval and Extraction Human Computer Interaction Soft and Evolutionary Computing Computing Uncertainty Planning and Scheduling Temporal Reasoning Cognitive Robotics Vision Cognitive modeling AI architectures Mathematical Foundations Philosophical Foundations AI Applications AI in Art and Music Conference Chairs Roberto Basili (University of Roma, Tor Vergata, Italy) Maria Teresa Pazienza (University of Roma, Tor Vergata, Italy) Program Committee Khurshid Ahmad (Trinity College Dublin, Rep. of Ireland) Luigia Carlucci Aiello (University of Roma La Sapienza, Italy) Stefania Bandini (University of Milano Bicocca, Italy) Ernesto Burattini (CIB-CNR, Italy) Marc Cavazza (University of Teesside, UK) Roberto Cordeschi (University of Roma La Sapienza, Italy) Walter Daelemans (CNTS, University of Antwerp, Belgium) Floriana Esposito (University of Bari, Italy) Salvatore Gaglio (University of Palermo, Italy) Attilio Giordana (University of Torino, Italy) Marco Gori (University of Siena, Italy) Gregory Grefenstette (Commissariat pur l'Energie Atomique, France) Nicola Guarino (LOA-CNR Trento, Italy) Eduard Hovy (Information Sciences Institute - USC, USA) Leonardo Lesmo (University of Torino, Italy) Robert Meersman (Free University Of Brussels, Belgium) Enrico Motta (KMI, Open University, UK) Sergei Nirenburg (University of Maryland Baltimore County, USA) Andrea Omicini (University of Bologna, Italy) Patrizia Paggio (Centre for Language Technology, Denmark) Lorenza Saitta (University of Torino, Italy) Kiril Simov (LMD, Bulgarian Academy of Sciences, Bulgaria) Giovanni Soda (University of Firenze, Italy) Konstantinos Spyropoulos (NCSR 'Demokritos', Greece) Steffen Staab (University Koblenz-Landau, Germany) Oliviero Stock (ITC-IRST, Italy) Tokunaga Takenobu (Tokyo Institute of Technology, Japan) Roman Yangarber (University of Helsinki, Finland) Three Special Tracks are considered about the following specific topics: - AI and Robotics: Cognitive Robotics, Robotic Perception, Robotic Learning, Human Robot Interaction Emotional Robotics, Humanoid Robots, Bioinspired Robotics, Service Robotics - AI for Intelligent Access to Multimedia Data: Multimedia processing and AI technologies, Semantic-driven multimedia indexing and retrieval, Integration of content analysis with language and speech processing, Semantic media annotation, Ontologies and Multimedia, Cross-media machine learning and data mining, - AI for Expressive Media: Affective Computing, AI and Media Studies, AI and Creativity, AI in Entertaiment, Computational Humor, AI in Game Design and Programming, Autonomous Animated Characters, Emotional Interfaces, Interactive Storytelling, Intelligent Virtual Environments The Special Tracks will be announced in a separate Call for Paper and information can be found at: http://aiia.info.uniroma2.it/specialprogram.html Best Paper Award Submitted technical papers will be considered for the Best Paper Award sponsored by the AI*IA. The award will be assigned under further evaluation by the members of the AI*IA07 Program Committee Submissions Submission of technical papers will be electronic, using the paper submission software that will be accessible through the conference web page. The only accepted format for submitted papers is Adobe PDF. The papers must be submitted no later than April 12, 2007. Please consult the submission web page for details of the submission procedure. Submitted papers should not have been previously published in any journals or refereed conferences or workshops. Full length papers must be in English and not exceed 8 pages, including references and figures. The PDF files must be formatted according to the Springer Verlag Proceedings style. Please access the Conference Web site for links to the LNCS Series "Author Instruction". Accepted papers must be presented at the AI*IA07 conference. All accepted papers and posters will be published in the AI*IA 2007 Congress proceedings on the Springer-Verlag LNAI series. Important Dates Submissions Due: April 12, 2007 Notification: May 25, 2007 Final Copies Due: June 10, 2007 Workshop Proposal: March 15, 2007 A separate AI*IA07 Call for Workshop is foreseen. Information can be found at: http://aiia.info.uniroma2.it/cfw.html Conference Venue The conference will take place at Villa Mondragone (Monte Porzio Catone, Roma), one of the historical and most beautiful buildings of the "Ville Tuscolane", dating back to the XVI century. Property of the University of Tor Vergata, the Villa is located between Frascati and Monte Porzio Catone, in the hart of the world famous area of Castelli Romani. Roma is only 20 km north-west from the conference venue. ------------------------------------------------------------------------------------ Roberto BASILI Department of Computer Science, Systems and Production AI Research Group University of Roma, Tor Vergata Via del Politecnico 1 00133 Roma, Italy Tel. +39-06-72597391. Lab. +39-06-72597332, Fax. +39-06-72587460 URL: ai-nlp.info.uniroma2.it/basili ------------------------------------------------------------------------------------ From basili at info.uniroma2.it Fri Jan 26 11:20:55 2007 From: basili at info.uniroma2.it (Roberto Basili) Date: Fri, 26 Jan 2007 11:20:55 +0100 Subject: AI*IA 2007: Special Track Call for Paper Message-ID: <5.2.1.1.0.20070126111902.020ae1a0@mail.disp.uniroma2.it> (Please apologize multiple postings) ***************************** "AI*IA07" Special Track Call for Paper ***************************** Artificial Intelligence and Human-oriented Computing 10th Congress of the Italian Association for Artificial Intelligence September 10-13, 2007 - University of Roma Tor Vergata (Italy) Web: http://aiia.info.uniroma2.it/ * * * Submission deadline: April 25, 2007 * * * This year bi-annual Congress of the Italian Association for Artificial Intelligence will include three Special Tracks about the following specific topics: · AI and Robotics · AI for Intelligent Access to Multimedia Data · AI for Expressive Media AI*IA invites the submission of papers to the Special Tracks. Each special track will span one full day of the Congress, running in parallel with the other AI*IA 07 program sections. The Special Track programs will include presentation of technical papers and an invited talk. All Special Tracks have separated Web portals for the electronic submissions of technical papers although they share the same deadlines (see "Intruction for Authors" below). All accepted papers will be published in the AI*IA 2007 Congress proceedings on the Springer-Verlag LNAI series (previous volumes, AI*IA 2005, AI*IA 2003). All information about AI*IA07 Special Tracks are published at: http://aiia.info.uniroma2.it/specialprogram.html ******************************************* AI*IA-07 Special Track on "AI and Robotics" ******************************************* Description The acceptance and success of robotics in real environments is still substantially depending on the ability of robots to effectively act, possibly in cooperation with other robots or devices, in unknown and dynamic environments as well as to naturally interact with humans. The goal of the special track on "AI and Robotics" is to provide a forum for discussion of the research approaches that face some of the scientific challenges raised by the attempt to build robotic systems, regarded as intelligent agents: companions, assistants, teammates. In particular, we welcome contributions that exploit AI techniques and approaches to the design of intelligent robotic agents. The European Robotic Platform, in addition to industry, indicates two major commercial targets for robotics, service and security/space. Consequently, we encourage presentation of research work specifically in these application areas. Topics of interest include, but are not limited to: - Cognitive Robotics - Robotic Perception - Robotic Learning - Human Robot Interaction - Emotional Robotics - Humanoid Robots - Bioinspired Robotics - Service Robotics - Space Robotics - Security Robotics Program Committee Andrea Bonarini, Politecnico Milano (Italy) Antonio Chella, Università di Palermo (Italy) Daniele Nardi, Università "La Sapienza" Roma (Italy) (chair) Stefano Nolfi, ICST-CNR, Roma (Italy) Enrico Pagello, Università di Padova (Italy) Fiora Pirri, Università "La Sapienza" Roma (Italy) Alessandro Saffiotti, Orebro University, Sweden Bruno Siciliano, Università "Federico II", Napoli (Italy) ************************************************************************ AI*IA-07 Special Track on "AI for Intelligent Access to Multimedia Data" ************************************************************************ Description The full exploitation of multimedia archives is only viable through technologies that allow filling the so-called Semantic Gap between low-level multimedia descriptors and the semantics of human interpretation. Although technologies for indexing of AV material are now available, locating the suitable information given the scale and the heterogeneity of the current and growing archives is still an open problem. As the tradition and trends in information retrieval and Web search suggests, information integration at a conceptual level and automatic knowledge discovery and acquisition are required. The role of AI is here twofold. On one side knowledge representation technologies are requested to support the managemenet of the overall complexity according to current standard formalisms and best practices applied in the Semantic Web. On the other hand, the typical redundancy in multimedia data opens the way to intelligent inductive technologies. Data mining and machine learning methods can be successfully applied to enrich data descriptions, increase their abstraction leveland scale up to the suitable dimensions. Mining the huge information and knowledge embodied by the audiovisual archives represents an important step forward. In this special track, researchers and practitioners from academic and industrial institutions are expected to present their work in the area of multimedia content processing and artificial intelligence. Recent theoretical and applicative results about representation, indexing, acquisition and delivery of multimedia semantics in real scenarios will be presented and discussed. The outcome will represent a possibly heterogenous but wide picture of the area that surveys current results and stimulates cross-fertilization among independent research fields. Program Committee Werner Bailer Joanneum Research, (Austria) Roberto Basili, University of Roma, Tor Vergata (Italy) (chair) Hamish Cunningham, University of Sheffield (UK) Daniela D'Aloisi, Fondazione Ugo Bordoni (Italy) Alberto Messina, RAI-CRIT (Italy) Borislav Popov, Sirma Lab., Ontotext, (Bulgaria), Giovanni Semeraro, University of Bari (Italy) Valentin Tablan, University of Sheffield (UK) Fabio Vignoli, Philips Research Lab. Europe (The Netherlands) Topics Topics of interest include, but are not limited to: - Integration of multimedia processing and Artificial Intelligence technologies - Semantic-driven multimedia indexing and retrieval - Integration of content-based image/video analysis with natural language and speech processing - Methods for Semantic media annotation - Ontologies and Multimedia - Standards bridging the multimedia and knowledge domains - Cross-media machine learning and data mining - Multimodal learning and reasoning techniques - Dimensionality Issues: low-level and high-level feature engineering - Knowledge based inference over semantic media annotation - Browsing large multimedia archives - Scalable, semantic-driven multimedia content adaptation and summarization - Interfaces and personalisation for large multimedia repositories - Semantics-driven multimedia presentation generation - Intelligent content, user and network-aware media engineering *************************************************** AI*IA-07 Special Track on "AI and Expressive Media" *************************************************** AI techniques are widespread in novel communication forms, especially in those that aim at shaping audience/user's emotions through expressive contents, e.g. behavior models of acting virtual characters, engines for game programming, planning formalisms in interactive storytelling, learning techniques for music composition and performance. The goal of the Special Track on "AI and Expressive Media" is to provide a definition of the Expressive Media in extensional terms (through reworked examples of applications), to improve the general awareness of the AI techniques that are mostly employed (together with revealing new interesting problems to be modeled), to stimulate the sharing of AI approaches among researchers in different communication forms. Researchers, developers and practitioners working in artificial intelligence, human sciences, media studies, music, art and design, and other related areas, are invited to submit their works. Particular attention to cross-fertilization is solicited; each paper will also be reviewed by one non-expert of some particular communication form in order to improve the circulation of ideas. The program will include presentation of the selected papers and posters, one invited talk and a final panel, and will occupy one full day of the Congress in parallel with the other Special Tracks. Program Committee Marc Cavazza, University of Teesside, UK David Cope, University of California, Santa Cruz, USA Craig Lindley, Gotland University and Blekinge Technical College, Sweden Vincenzo Lombardo, Università di Torino, Italy (Chair) Ramon Lopez de Mantaras, IIIA - AI Research Institute CSIC, Bellaterra, Spain Frank Nack, Université Claude Bernard, Lyon 1, France Anton Nijholt, University of Twente, The Netherlands Ana Paiva, Technical University of Lisbon, Portugal Oliviero Stock, ITC-IRST, Trento, Italy Topics The topics listed for this special track summarize and generalize over several initiatives that have been arising on the relationship between AI and expressive media. However, it is by no means exhaustive. Affective Computing AI and Media Studies AI and Creativity AI in Communication Design AI in Entertaiment AI in Music and Art AI in Interaction Paradigms AI in Game Design and Programming Autonomous Animated Characters Computational Humor Emotional Interfaces Interactive Storytelling Intelligent Virtual Environments ****************************************** Important Dates (for all Special tracks) ****************************************** Paper due: April 25 2007 Acceptance Notification: June, 2 2007 Final Paper due: June, 25 2007 Conference: September 10-13, 2007 ************************ Instructions for Authors ************************ All Special Track will consist of paper and poster presentations. The submissions to each Special Track are managed by three independent Web submission portal. Please check on the Special Track portal at for the details. Papers must be submitted no later than 15th of April 2007. All papers should consist of max. 8 pages (inclusive of references, tables, figures and equations), in English. PDF files should be submitted formatted according to the Springer Verlag Proceedings style. Latex style files and word document templates can be found at: LNCS Series: Author Instruction All accepted papers and posters will be published in the AI*IA 2007 Congress proceedings on the Springer-Verlag LNAI series (the previous volume can be found at AI*IA 2005 (URL: http://www.springerlink.com/content/48ue1vxmf0wl/). **************** Conference Venue **************** The conference will take place at Villa Mondragone (Monte Porzio Catone, Roma), one of the historical and most beautiful buildings of the "Ville Tuscolane", dating back to the XVI century. Property of the University of Tor Vergata, the Villa is located between Frascati and Monte Porzio Catone, in the hart of the world famous area of Castelli Romani. Roma is only 20 km north-west from the conference venue. ------------------------------------------------------------------------------------ Roberto BASILI Department of Computer Science, Systems and Production AI Research Group University of Roma, Tor Vergata Via del Politecnico 1 00133 Roma, Italy Tel. +39-06-72597391. Lab. +39-06-72597332, Fax. +39-06-72587460 URL: ai-nlp.info.uniroma2.it/basili ------------------------------------------------------------------------------------ From Stephanie.Chow at uoit.ca Fri Jan 26 16:01:10 2007 From: Stephanie.Chow at uoit.ca (Stephanie Chow) Date: Fri, 26 Jan 2007 10:01:10 -0500 Subject: 2007 IEEE International Services Computing Contest (SCC Contest 2007) Message-ID: Sorry if you receive the message multiple times 2007 IEEE International Services Computing Contest (SCContest 2007) http://iscc.servicescomputing.org/2007/ Services Computing has become a cross discipline that covers the science and technology of bridging the gap between Business Services including the next generation Internet Business and IT Services. After the successful 2006 IEEE International Services Computing Contest, the 2007 IEEE International Services Computing Contest (SCContest 2007) is launched formally at the beginning of the Year 2007. It will again focus on using the SOA methodologies and tools to better solve business issues facing today and bringing together worldwide talented students for the industrial wave. The top six winners of the contest will be announced in the 2007 IEEE International Conference on Web Services (ICWS 2007) and the IEEE International Conference on Services Computing (SCC 2007) in July 2007. In addition, the technical papers of the winners will be published in the proceedings of IEEE SCC 2007. The theme of SCContest 2007 is Service-Oriented Architecture (SOA). It is sponsored by IEEE Computer Society Technical Committee on Services Computing . SCContest 2007 is supported by IBM Research ( Services Computing ) and SAP Research (USA). Procedures and Important Dates • Participant teams should register their participation at http://iscc.servicescomputing.org/2007/ before January 27, 2007. • Contest problems will be distributed to those registered participants on January 29, 2007. • The final paper submission is due on April 7, 2007. The paper should include problem background, modeling analysis, technical explanation, result analysis, SOA methodology, innovation and a web site that hosts a live demonstration. It should be limited to 8 pages and follows the IEEE Computer Society Press Proceedings Author Guidelines. • The contest review result will be notified on May 5, 2007. 50% of the participation teams will receive a framed certification from IEEE Computer Society Technical Committee on Services Computing, among which no more than six teams will be selected to the SCC 2007 Conference. These teams will have their paper published in the SCC 2007 proceeding per some pre-requisite. The actual standing will be reviewed again and announced at the conference. • A camera-ready paper copy is due on May 19, 2007 for those selected to be published in the SCC 2007 proceedings. At least one author is required to attend the conference and present the paper. Team Structure A contest team is made of at most 5 full-time undergraduate/graduate students, a professor as an advisor and/or coordinator Software Platforms There is no special preference on particular software platform. Participants can choose their preferred software platform in their contest. Contest Awards • A framed certificate presented by IEEE Computer Society Technical Committee on Services Computing , • Contest Exhibition with live demo and posters, co-located with SCC2007 and ICWS2007 conferences, • One Complementary Registration for SCC2007 under that condition that one team member should register first, • Total around $1000 cash award will be given the teams. SCContest Chairs Zhixiong Chen Charles A. SHONIREGUN Yuan-Chwen You sccontest2007 at servicescomputing.org From Belaid.Benhamou at cmi.univ-mrs.fr Fri Jan 26 17:46:57 2007 From: Belaid.Benhamou at cmi.univ-mrs.fr (benhamou) Date: Fri, 26 Jan 2007 17:46:57 +0100 Subject: Last CFP of TABLEAUX 2007 In-Reply-To: <458C0FEC.4030407@cmi.univ-mrs.fr> References: <200601291711.k0THB45e018819@birkhoff.cas.mcmaster.ca> <458C0FEC.4030407@cmi.univ-mrs.fr> Message-ID: <45BA3081.6040905@cmi.univ-mrs.fr> (We apologize for multiple copies of this Call) ======================================================================== %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Call for Papers, Call for Tutorials and %% %% Call for Workshop Proposals %% %% %% %% TABLEAUX 2007 %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% International Conference TABLEAUX 2007 Automated Reasoning with Analytic Tableaux and Related Methods Aix en Provence, France 3-6 July 2007 http://tableaux2007.univ-cezanne.fr/ IMPORTANT DATES Tutorial proposal submission deadline: January 10, 2007 (Now closed) Notification of acceptance of tutorials: January 20, 2007 Workshop proposal submission deadline: January 31, 2007 Notification of acceptance of workshops: February 15, 2007 Title and abstract submission deadline: February 2, 2007 Paper submission deadline: February 9, 2007 Notification of acceptance of papers: April 2, 2007 Final version of papers due: April 16, 2007 Conference: July 3-6, 2007 GENERAL INFORMATION This conference is the 16th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods. In July 2007, the conference will be held in Aix en Provence, France. The conference proceedings will be published in LNAI series as in the previous editions of the conference. See http://tableaux2007.univ-cezanne.fr/ for more information on TABLEAUX 2007, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series. TOPICS Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods. Topics of interest include (but are not restricted to): * analytic tableaux for various logics (theory and applications) * related techniques and concepts, e.g., model checking and BDDs * related methods (model elimination, sequent calculi, connection method, ...) * new calculi and methods for theorem proving in classical and non-classical logics (modal, description, intuitionistic, linear, temporal, many-valued...) * systems, tools, implementations and applications. TABLEAUX 2007 puts a special emphasis on applications. Papers describing applications of tableaux and related methods in areas such as, for example, hardware and software verification, knowledge engineering, semantic web, etc. are particularly invited. One or more tutorials and workshops will be part of the conference program. SUBMISSIONS The conference will include contributed papers, tutorials, system descriptions, position papers and invited lectures. Submissions are invited in four categories: A Research papers (reporting original theoretical and/or experimental research, up to 15 pages) B System descriptions (up to 5 pages) C Position papers and brief reports on work in progress D Tutorials in all areas of analytic tableaux and related methods from academic research to applications (proposals up to 5 pages) Submissions in categories A and B will be reviewed by peers, typically members of the program committee. They must be unpublished and not submitted for publication elsewhere. Accepted papers in these categories will be published in the conference proceedings . For category B submissions a working implementation must exist and be available to the referees. Submissions in category C will be reviewed by members of the program committee and a collection of the accepted papers in this category will be published as a Technical Report of the LSIS/Université Paul Cézanne. Tutorial submissions (Category D) may be at introductory, intermediate, or advanced levels. Novel topics and topics of broad interest are preferred. The submission should include the title, the author, the topic of the tutorial, its level, its relevance to conference topics, and a description of the interest and the scientific contents of the proposed tutorial. Tutorial proposals will be reviewed by members of the program committee. Authors of accepted papers are expected to present their work at the conference. CALL FOR WORKSHOP PROPOSALS TABLEAUX 2007 launches a Call for Workshop Proposal on specialised subjects in the range of the conference topics. We can accept up to 2 proposals. The proposals are reviewed by members of the PC committee. The purpose of a workshop is to offer an opportunity of presenting novel ideas, ongoing research, and to discuss the state of the art of an area in a less formal but more focused way than the conference itself. It is also a good opportunity for young researchers to present their own work and to obtain feedback. The format of a workshop is left to the organizers, but it is expected to contain significant time for discussion. The intended schedule is for one-day workshops. Further information and instructions about submissions will be available on the conference website at http://tableaux2007.univ-cezanne.fr/. PROGRAM COMMITTEE Nicola Olivetti, LSIS, Paul Cézanne University, Marseilles, France (Chair) Peter Baumgartner, Peter Baumgartner, NICTA, Canberra, Australia Bernhard Beckert, University of Koblenz-Landau, Germany Patrick Blackburn, INRIA Lorraine, France Marta Cialdea, University of Roma 3, Italy Roy Dyckhoff, University of St Andrews, Scotland Christian G. Fermüller, University of Wien, Austria Ulrich Furbach, University of Koblenz-Landau, Germany Didier Galmiche, LORIA, Henri Poincaré University, Nancy, France Martin Giese, RICAM, Austrian Academy of Sciences, Linz, Austria Rajeev P. Goré, Australian National University, Canberra, Australia Jean Goubault-Larrecq, LSV, ENS Cachan, France Reiner Hähnle, University of Chalmers, Gothenburg, Sweden Ullrich Hustadt, University of Liverpool, UK Christoph Kreitz, University of Potsdam, Germany Carsten Lutz, University of Dresden, Germany Angelo Montanari, University of Udine, Italy Ugo Moscato, University of Milano-Bicocca, Italy Neil V. Murray, ILS Institute, University at Albany, USA Ilkka Niemelä, Helsinki University of Technology, Finland Lawrence C. Paulson, University of Cambridge, UK Camilla Schwind, LIF-CNRS, Marseille, France Viorica Sofronie-Stokkermans, Max-Planck-Institut für Informatik, Saarbrücken, Germany (Workshop Chair) Arild Waaler, University of Oslo, Norway ORGANIZING COMMITTEE Conference chair: Nicola Olivetti, LSIS, Paul Cézanne University, Marseilles, France Publicity Chair: Belaïd Benhamou, LSIS, Université de Provence, Marseilles, France Local Organisers: Belaïd Benhamou, LSIS, University of Provence, Marseilles, France Djamal Habet, LSIS, Paul Cézanne University, Marseilles, France Philippe Jégou, LSIS, Paul Cézanne University, Marseilles, France Richard Ostrowski, LSIS, University of Provence, Marseilles, France Cyril Pain-Barre, LSIS, University of Mediterranean, Marseilles, France Odile Papini, LSIS, University of Toulon, France Nicolas Prcovic, LSIS, Paul Cézanne University, Marseilles, France Vincent Risch, LSIS, University of Mediterranean, Marseilles, France Pierre Siegel, LSIS, University of Provence, Marseilles, France Cyril Terrioux, LSIS, Paul Cézanne University, Marseilles, France Eric Würbel, LSIS, University of Toulon, France ===================================================================================== Best regards Belaïd Benhamou (Publicity chair) Université de Provence Aix-Marseille I, CMI-LSIS, 39 Joliot-Curie 13453 Mareille cedex 13, France Tel: 0033491113622 Fax: 0033491113692 From ruy at cin.ufpe.br Sat Jan 27 11:27:25 2007 From: ruy at cin.ufpe.br (ruy at cin.ufpe.br) Date: Sat, 27 Jan 2007 08:27:25 -0200 (BRST) Subject: WoLLIC'2007 - CfP Message-ID: <4983.200.164.147.77.1169893645.squirrel@webmail.cin.ufpe.br> [** sincere apologies for duplicates **] Call for Papers 14th Workshop on Logic, Language, Information and Computation (WoLLIC'2007) Rio de Janeiro, Brazil July 2-5, 2007 WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Fourteenth WoLLIC will be held in Rio de Janeiro, Brazil, from July 2 to July 5, 2007, and sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the European Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computacao (SBC), and the Sociedade Brasileira de Logica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at www.cin.ufpe.br/~wollic/wollic2007/instructions.html A title and single-paragraph abstract should be submitted by February 23, and the full paper by March 2 (firm date). Notifications are expected by April 13, and final papers for the proceedings will be due by April 27 (firm date). PROCEEDINGS Proceedings, including both invited and contributed papers, will be published in advance of the meeting. Publication venue: Springer's Lecture Notes in Computer Science. INVITED SPEAKERS: Veronique Cortier (LORIA Nancy) Martin Escardo (Birmingham) Georg Gottlob (Oxford) Achim Jung (Birmingham) Louis Kauffman (U Illinois Chicago) Sam Lomonaco (U Maryland Baltimore) Paulo Oliva (London/QM) John Reif (Duke) Yde Venema (Amsterdam) STUDENT GRANTS ASL sponsorship of WoLLIC'2007 will permit ASL student members to apply for a modest travel grant (deadline: April 1, 2007). See www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES February 23, 2007: Paper title and abstract deadline March 2, 2007: Full paper deadline (firm) April 12, 2007: Author notification April 26, 2007: Final version deadline (firm) PROGRAM COMMITTEE Samson Abramsky (U Oxford) Michael Benedikt (Bell Labs) Lars Birkedal (ITU Copenhagen) Andreas Blass (U Michigan) Thierry Coquand (Chalmers U, Goteborg) Jan van Eijck (CWI, Amsterdam) Marcelo Finger (U Sao Paulo) Rob Goldblatt (Victoria U, Wellington) Yuri Gurevich (Microsoft Redmond) Hermann Haeusler (PUC Rio) Masami Hagiya (Tokyo U) Joseph Halpern (Cornell U) John Harrison (Intel UK) Wilfrid Hodges (U London/QM) Phokion Kolaitis (IBM Almaden Research Center) Marta Kwiatkowska (U Birmingham) Daniel Leivant (Indiana U) (Chair) Maurizio Lenzerini (U Rome) Jean-Yves Marion (LORIA Nancy) Dale Miller (Polytechnique Paris) John Mitchell (Stanford U) Lawrence Moss (Indiana U) Peter O'Hearn (U London/QM) Prakash Panangaden (McGill, Montreal) Christine Paulin-Mohring (Paris-Sud, Orsay) Alexander Razborov (Steklov, Moscow) Helmut Schwichtenberg (Munich U) Jouko Vaananen (U Helsinki) ORGANISING COMMITTEE Marcelo da Silva Correa (U Fed Fluminense) Renata P. de Freitas (U Fed Fluminense) Ana Teresa Martins (U Fed Ceara') Anjolina de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco, co-chair) Petrucio Viana (U Fed Fluminense, co-chair) WEB PAGE www.cin.ufpe.br/~wollic/wollic2007 --- From Martin.Nordio at inf.ethz.ch Sun Jan 28 11:10:44 2007 From: Martin.Nordio at inf.ethz.ch (Martin Nordio) Date: Sun, 28 Jan 2007 11:10:44 +0100 Subject: LASER Summer School on Software Engineering Message-ID: LASER Summer School on Software Engineering Applied Software Verification Practical advances towards a Grand Challenge September 9-15, 2007, Elba, Italy http://laser.inf.ethz.ch Application deadline: April 30, 2007 Goals The LASER school is intended both for researchers (including PhD students) and for professional software engineers and managers who want to benefit from the best in software technology advances. The focus of LASER is resolutely practical, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers. Topics and speakers The 2007 LASER school is part of the ongoing "Grand Challenge" on software verification, initiated by Tony Hoare. It has a special focus on tools for software verification. This means in particular that it has a highly practical character and will provide participants with a clear view of techologies and tools available today to verify software. The school brings together six speakers, each closely involved with tools for verification: * Thomas Ball, Microsoft Research * Gérard Berry, Esterel Technologies * Tony Hoare, Microsoft Research * Bertrand Meyer, ETH Zurich * Peter Müller, ETH Zurich * Natarajan Shankar, SRI International How to apply? Use the online registration form available on the LASER website http://laser.inf.ethz.ch. Registration is open until 30 April 2007. The number of participants is strictly limited to ensure quality interaction with the lecturers and the rest of the audience. For more information, visit our website or contact the organizers at laser at se.inf.ethz.ch. Venue As in previous years, LASER is held in the magnificent setting of the Elba island off the coast of Tuscany, easily reachable by plane (Pisa) and train. Time is set aside to avoid the amenities of the 4-star Hotel del Golfo (private beach, tennis court etc.) as well as the natural and cultural riches of Elba, a history-laden jewel of the Mediterranean. From franconi at inf.unibz.it Tue Jan 30 00:49:47 2007 From: franconi at inf.unibz.it (Enrico Franconi) Date: Tue, 30 Jan 2007 12:49:47 +1300 Subject: European MSc in Computational Logic - scholarships available Message-ID: <7A5B0A2C-EB93-4CB8-B933-8CF0FCE4DA3D@inf.unibz.it> (apologies if you get multiple copies; this fixes a previous erroneous announcement) *** EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC *** http://www.computational-logic.eu The Faculty of Computer Science at the Free University of Bozen- Bolzano (FUB), in Italy (at the heart of the Dolomites mountains in South-Tyrol), is offering the European Masters Program in Computational Logic as part of its Master of Science in Computer Science offer (Laurea Specialistica). The European Masters Program in Computational Logic is an international distributed Master of Science course, in cooperation with the computer science departments in the following universities: * Free University of Bozen-Bolzano, Italy * Technische Universitaet Dresden, Germany * Universidade Nova de Lisboa, Portugal * Technische Universitaet Wien, Austria * Universidad Politecnica de Madrid, Spain This program, completely in English, involves studying one year at the Free University of Bozen-Bolzano, and possibly completing the second year with a stay in one of the partner universities. After this, the student will obtain, together with the European degree, two Master of Science degrees: the Laurea Specialistica degree from the Free University of Bozen-Bolzano, with legal value in Italy, and the respective Master of Science degree from the visited university, with legal value in its country. APPLICATION DEADLINES: - *** 10 FEBRUARY 2007* ** : first deadline for all European and non- European students, and final deadline for non-European students requesting an Erasmus Mundus scholarship (notification of acceptance: 10 March 2007) - 15 June 2007: deadline for all European and non-European students (notification of acceptance: 15 July 2007) - 24 August 2007: last deadline only for European students starting at the Free University of Bozen-Bolzano, Italy (notification of acceptance: 10 September 2007) SCHOLARSHIPS & MONEY SUPPORT: In 2007 the European Masters Program in Computational Logic will offer 24 new Erasmus Mundus scholarships for non-European citizens (in 2004, 2005 and 2006 more than 50 Erasmus Mundus scholarships were given). Special scholarships are offered to students from India, China, Bosnia-Herzegovina, Serbia, Montenegro, Kosovo, Albania, and the African, Caribbean, Pacific ACP Group of States. Each scholarship for each student amounts to 21,000 EUR per academic year; this includes 10 monthly grants of 1,600 EUR and a fixed amount of 5,000 EUR for fees, travel expenses, relocation costs, etc. The 10th of February 2007 is the final deadline for requesting an Erasmus Mundus scholarship for non-European students. European citizens or non-European citizens with residence in Italy can apply to scholarships which are granted purely on the basis of the yearly income of the applicant and of her/his parents or husband/wife. Scholarships amount up to more than 6,000 EUR per academic year, including facilities on the accommodation and total reimbursement of the enrolment fees. Check the web page for detailed info on applications and other kind of available scholarships: http://www.computational-logic.eu THE STUDY PROGRAMME: The European Masters Program in Computational Logic is designed to meet the demands of industry and research in this rapidly growing area. Based on a solid foundation in mathematical logic, theoretical computer science, artificial intelligence and declarative programming students will acquire in-depth knowledge necessary to specify, implement and run complex systems as well as to prove properties of these systems. In particular, the focus of instruction will be in deduction systems, knowledge representation and reasoning, artificial intelligence, formal specification and verification, syntax directed semantics, logic and automata theory, logic and computability. This basic knowledge is then applied to areas like logic and natural language processing, logic and the semantic web, bioinformatics, information systems and database technology, software and hardware verification. Students will acquire practical experience and will become familiar in the use of tools within these applications. In addition, students will be prepared for a future PhD, they will come in contact with the international research community and will be integrated into ongoing research projects. They will develop competence in foreign languages and international relationships, thereby improving their social skills. Applicants should have a Bachelor degree (Laurea triennale) in Computer Science, Computer Engineering, or other relevant disciplines; special cases will be considered. The programme is part of the Master in Computer Science (Laurea Specialistica in Informatica) and it has various strengths that make it unique amongst Italian and European universities: * Curriculum taught entirely in English: The programme is open to the world and prepares the students to move on the international scene. * Possibility of a strongly research-oriented curriculum. * Possibility for project-based routes to obtain the degree and extensive lab facilities. * Other specialisations with streams in the hottest Computer Science areas, such as Web Technologies, Information and Knowledge Management, Databases and Software Engineering. * International student community. * Direct interaction with the local and international industry and research centres, with the possibility of practical and research internships that can lead to future employment. * Excellent scholarship opportunities and student accommodations. The European Masters Program in Computational Logic is one of the few European Masters awarded by the European Union's Erasmus Mundus programme from its first year of existence in 2004. The Erasmus Mundus programme is a co-operation and mobility programme in the field of higher education which promotes the European Union as a centre of excellence in learning around the world. It supports European top-quality Masters Courses and enhances the visibility and attractiveness of European higher education in third-countries. It also provides EU-funded scholarships for third-country nationals participating in these Masters Courses, as well as scholarships for EU-nationals studying in third-countries. The European Masters Program in Computational Logic is sponsored scientifically by the European Network of Excellence on Computational Logic (CoLogNET), the European Association of Logic, Language and Information (FoLLI), the European Coordinating Committee for Artificial Intelligence (ECCAI), the Italian Association for Artificial Intelligence (AI*IA), the Italian Association for Informatics (AICA, member of the Council of European Professional Informatics Societies), the Italian Association for Logic and its Applications (AILA), and the Portuguese Association for Artificial Intelligence (APPIA). THE FREE UNIVERSITY OF BOZEN-BOLZANO: The Free University of Bozen-Bolzano, founded in 1997, boasts modern premises in the centre of Bozen-Bolzano. The environment is multilingual, South Tyrol being a region where three languages are spoken: German, Italian and Ladin. Studying in a multilingual area has shown that our students acquire the cutting edge needed in the international business world. Many of our teaching staff hails from abroad. Normal lectures are complemented with seminars, work placements and laboratory work, which give our students a vocational as well as theoretical training, preparing them for their subsequent professional careers. Studying at the Free University of Bozen-Bolzano means, first and foremost, being guided all the way through the student's educational career. Bozen-Bolzano, due to its enviable geographical position in the centre of the Dolomites, also offers our students a multitude of opportunities for spending their free-time. The city unites the traditional with the modern. Young people and fashionable shops throng the city centre where ancient mercantile buildings are an attractive backdrop to a city that is in continual growth. To the south there is the industrial and manufacturing area with prosperous small and medium-sized businesses active in every economic sector. Back in the 17th century Bozen-Bolzano was already a flourishing mercantile city that, thanks to its particular geographic position, functioned as a kind of bridge between northern and southern Europe. As a multilingual town and a cultural centre Bozen-Bolzano still has a lot to offer today. Its plethora of theatres, concerts with special programmes, cinemas and museums, combined with a series of trendy night spots that create local colour make Bozen-Bolzano a city that is beginning to cater for its increasingly demanding student population. And if you fancy a very special experience, go and visit the city's favourite and most famous resident - "Oetzi", the Ice Man of Similaun, housed in his very own refrigerated room in the recently opened archaeological museum. Bozen-Bolzano and its surroundings are an El Dorado for sports lovers: jogging on the grass alongside the River Talfer-Talvera, walks to Jenesien-S.Genesio and on the nearby Schlern-Sciliar plateau, excursions and mountain climbing in the Dolomites, swimming in the numerous nearby lakes and, last but not least, skiing and snowboarding in the surrounding ski areas. FURTHER INFORMATION: Prof. Enrico Franconi at info at fub.computational-logic.eu European Masters Program in Computational Logic Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani, 3 I-39100 Bozen-Bolzano BZ, Italy Phone: +39 0471 016 000 Fax: +39 0461 173 9006 Email: info at fub.computational-logic.eu Web site: http://www.computational-logic.eu From event-request at in.tu-clausthal.de Tue Jan 30 10:05:14 2007 From: event-request at in.tu-clausthal.de (event Report) Date: Tue, 30 Jan 2007 10:05:14 +0100 Subject: Subscriber Maurice.Bruynooghe@cs.kuleuven.be Failed Message-ID: Maurice.Bruynooghe at cs.kuleuven.be failed and it has been unsubscribed from the 'event' list From gelevdp at cablebg.net Tue Jan 30 10:55:57 2007 From: gelevdp at cablebg.net (Dimitar P. Guelev) Date: Tue, 30 Jan 2007 11:55:57 +0200 Subject: request to broadcast a CfP Message-ID: <000e01c74454$d75a27e0$76028255@ddns.cablebg.net> Dear Moderator, Please broadcast the attached CfP to the clausthal mailing list. Sincerely yours, Dimitar P. Guelev/Dang Van Hung, Paritosh K. Pandya ------------ Dimitar P. Guelev Section of Logic Institute of Mathematics and Informatics Bulgarian Academy of Sciences Bl. 8, Acad. G. Bonchev Str. 1113 Sofia, Bulgaria http://www.math.bas.bg/~gelevdp Home: +359 2 9673819 -------------- nächster Teil -------------- Ein eingebundener Text mit undefiniertem Zeichensatz wurde abgetrennt. Name: 15yDC.txt URL: From Stephanie.Chow at uoit.ca Tue Jan 30 18:25:23 2007 From: Stephanie.Chow at uoit.ca (Stephanie Chow) Date: Tue, 30 Jan 2007 12:25:23 -0500 Subject: Call for Contributions: Journal of Database Management (JDM) Message-ID: Apologies for cross-postings. Please send it to interested colleagues and students. Thanks. CALL FOR PAPERS Journal of Database Management (JDM) Special Issue on XML Data Services: Technology Evolution and Challenges ======================================================================== = http://redmaple.hrl.uoit.ca/~jdmseiw2007 The Extensible Markup Language (XML) is used to represent fine-grained data that originates in repositories in machine readable format by providing structure and the possibility of adding type information, such as XML Schema. A Web service is a software system that supports interoperable application-to-application interaction over the Internet. Web services are based on a set of XML standards, such as Web Services Description Language (WSDL), Simple Object Access Protocol (SOAP), and Universal Description, Discovery and Integration (UDDI). Each service makes its functionality available through well-defined or standardized XML interfaces. The result of this approach is a Service-Oriented Architecture (SOA). XML is playing an important role in the data transport protocol for Web services. For example, SOAP messages are used both by service requestors to invoke Web services, and by Web services to answer requests. The interactions of SOAP messages between Web services form the theoretical model of SOAP Message Exchange Patterns (MEP). This workshop aims to explore and investigate various research issues of XML data that is encapsulated by Web services over the network. In particular, we call these networked services as XML data services. New challenges arise in the study of services engineering, an emerging research area devoted to the software engineering of service-oriented applications. Services engineering is an important area of the Services Computing Discipline, as promoted by the IEEE Computer Society, ACM, academia and industry. Its goal is to formulate effective solutions to the quality development, deployment and management of these applications. Topics of interest include, but are NOT limited to: * Services engineering in XML data services * Models and languages of XML data services * Design and implementation of XML data services * Interoperability and integration of XML data services * Requirements engineering for XML data services * Generation of XML data from Web services * Data modeling concepts for XML data in Web services * Ontology and semantic Web services * Security, privacy and trust with XML data services * Transaction management in XML data services * BPEL and Web service orchestration with XML data * XML-related languages like XML Schema, XPath, XQuery for Web services * Convergence of Web services and XML database technology (queries, views, updates, integration, etc.) * XML-based middleware for Web services * SOAP Message Exchange Patterns * UDDI, WSDL and SOAP enhancements * Case studies for XML data services * Quality of XML data services and deployment issues * Dependability of XML data services * Technical architecture and framework of XML data services * Design tools and methodologies for XML data services * Usage and usefulness analysis of XML data services The goal of this proposed special issue is to crystallize the emerging XML data technologies and trends into positive efforts to focus on the most promising solutions in e-business services computing. The papers will provide clear proof that XML data technologies are playing an ever increasing important and critical role in supporting business service processes. It is also expected that the papers will further research new best practices and directions in XML data services. Author Instructions Submissions to this special issue will be required to have some theoretical/experimental/empirical results. Authors should create an account and submit via our online submission system at http://redmaple.hrl.uoit.ca/~jdmseiw2007 (available soon). Papers must be submitted as either a Word file or PDF. For detailed submission information, please refer to Guidelines for Submission at http://www.idea-group.com/journals/details.asp?ID=198&v=guidelines Important Dates Submissions due: April 2, 2007 Review Outcome: July 2, 2007 Revision Due: October 1, 2007 Acceptance/Rejection Notification: November 5, 2007 Final Paper Due: November 26, 2007 Special Issue Co-Editors Patrick C. K. Hung Faculty of Business and Information Technology University of Ontario Institute of Technology (UOIT), Canada Chengfei Liu Faculty of Information and Communication Technology Swinburne University of Technology, Australia For further information about submissions, please contact Patrick C. K. Hung by email at patrick.hung at uoit.ca. PLEASE DO NOT REPLY TO THE IRMA-L LISTSERV From gelevdp at cablebg.net Tue Jan 30 17:32:27 2007 From: gelevdp at cablebg.net (Dimitar P. Guelev) Date: Tue, 30 Jan 2007 18:32:27 +0200 Subject: 15 Years of Duration Calculus. Call for papers Message-ID: <004b01c7448c$3d069420$76028255@ddns.cablebg.net> Call for Papers 15 YEARS OF DURATION CALCULUS 22-23 September, 2007 - UNU/IIST, Macau SAR, China, Workshop affiliated with ICTAC 2007 During the 15 years since its introduction in 1991 the Duration Calculus has become an established formal method for the specification and verification of real-time systems. The fitness of DC for the study of real-time systems has been confirmed by numerous case studies. The needs of applications have made DC a topic of intense research and brought to life several variants and extensions of DC and the development of model-checking and automated proof-search tools. DC is the extension of Interval Temporal Logic by real-valued measurements of the duration of state. The connections between DC and other formalisms for modelling various measurements over timed behaviour remains an important area of investigation too. PURPOSE AND SCOPE The purpose of this workshop is to promote the study of the fundamental and practical aspects of DC, ITL and the related formal methods and to provide a forum for scientific exchange in the area of DC, interval temporal logics and other related systems. Countibutions should present original unpublished work on DC and its variants, ITLs and related formalisms. Particular topics of the workshop include: o modelling of system requirements in ITLs and DC o variants and extensions of ITLs and DC and their expressive power o non-determinism and probability in ITLs and DC o model-checking, decision procedures and complexity o proof systems and proof search o interval algebras and spatio-temporal reasoning o planning with temporal constraints o tools, case studies and applications o ITLs, DC and timed automata o connections between ITLs, DC and other formal approaches to real-time o applications to temporal representation in AI PROGRAMME COMMITTEE: Henning Dierks, OFFIS, Oldenburg, Germany; Catalin Dima, University of Paris 12, France; Martin Fraenzle, Oldenburg University, Germany; Valentin Goranko, University of the Witwatersrand, South Africa; Dimitar Guelev, IMI/BAS, Bulgaria (co-chair); Dang Van Hung, UNU-IIST, Macao (co-chair); Yassine Lakhnech, Verimag, France; Xuandong Li, Nanjing University, China; Angelo Montanari, University of Udine, Italy; Ben Moszkowski, De Montfort University, UK; Gethin Norman, University of Birmingham, UK; Paritosh Pandya, TIFR, India (co-chair); Arun K Pujari, University of Hyderabad, India; Alexander Rabinovich, Tel Aviv University, Israel; Anders P. Ravn, Aalborg University, Denmark; Ji Wang, Changsha, China; Yi Wang, Uppsala University, Sweden; James Worrell, Oxford University Computing Laboratory, UK; Qiwen Xu, UoM, Macao; Naijun Zhan, IoS, China SUBMISSION GUIDELINES You are invited to contribute a talk to the workshop. Manuscripts should be prepared using the LaTeX style of ENTCS (available from www.entcs.org) and submitted electronically at the workshop website, in either .ps or .pdf. The length of submissions should not exceed 10 A4 pages, including the list of references. Additional pages can be used for an appendix of proofs, but the understanding of the main part should not depend on that. At least one of the authors of accepted papers will be required to register for the workshop and present their contribution. PUBLICATION OF PROCEEDINGS The workshop proceedings will be published as an issue of the ENTCS journal, Elsevier. A preliminary version will be made available at the workshop, and the final version will be published online. IMPORTANT DATES Deadline for submissions: 18 June, 2007 Notification of acceptance: 25 July, 2007 Camera-ready copy: 15 August, 2007 Provisional programme: 20 August, 2007 Final programme: 5 September, 2007 Workshop dates: 22-23 September, 2007 CORRESPONDENCE AND FURTHER INFORMATION Send all correspondence to the workshop organizers at: dvh at iist.unu.edu gelevdp at math.bas.bg pandya at tifr.res.in More information can be found at the workshop website: http://www.iist.unu.edu/15yearsofDC/ Dang Van Hung, Dimitar P. Guelev, Paritosh K. Pandya From hra at pixel.cviog.uga.edu Wed Jan 31 04:58:15 2007 From: hra at pixel.cviog.uga.edu (Hamid R. Arabnia) Date: Tue, 30 Jan 2007 22:58:15 -0500 Subject: WORLDCOMP'07: Call For Papers - joint conferences in computer science, computer engineering and applied computing; June 25-28, 2007, USA Message-ID: <200701310358.l0V3wFES007842@pixel.cviog.uga.edu> Can you please share the announcement below with those who may be interested? I would be most grateful. Thank you in advance, Hamid R. Arabnia, PhD. Professor, Computer Science Editor-in-Chief, The Journal of Supercomputing (Springer) University of Georgia, USA ----- Call For Papers The 2007 World Congress in Computer Science, Computer Engineering, and Applied Computing WORLDCOMP'07 Date and Location: June 25-28, 2007, Las Vegas, USA Academic Sponsors: Research Labs at MIT, Harvard, Purdue, Univ. of Texas at Austin, ... Paper Submission Deadline: February 20, 2007 Dear Colleagues: You are invited to submit a draft/full paper for consideration. All accepted papers will be published in the conference proceedings. The 2007 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'07) is composed of the following 25 conferences (all will be held simultaneously, same location and dates: June 25-28, 2007, USA). o The 2007 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'07) o The 2007 International Conference on Grid Computing and Applications (GCA'07) o The 2007 International Conference on Computer Design (CDES'07) o The 2007 International Conference on Scientific Computing (CSC'07) o The 2007 International Conference on Artificial Intelligence (ICAI'07) o The 2007 International Conference on Genetic and Evolutionary Methods (GEM'07) o The 2007 International Conference on Machine Learning; Models, Technologies and Applications (MLMTA'07) o The 2007 International Conference on Bioinformatics and Computational Biology (BIOCOMP'07) o The 2007 International Conference on Software Engineering Research and Practice (SERP'07) o The 2007 International Conference on Wireless Networks (ICWN'07) o The 2007 International Conference on Image Processing, Computer Vision, and Pattern Recognition (IPCV'07) o The 2007 International Conference on Modeling, Simulation and Visualization Methods (MSV'07) o The 2007 International Conference on Computer Graphics and Virtual Reality (CGVR'07) o The 2007 International Conference on Multimedia Systems and Applications (MSA'07) o The 2007 International Conference on Internet Computing (ICOMP'07) o The 2007 International Conference on Semantic Web and Web Services (SWWS'07) o The 2007 International Conference on Security and Management (SAM'07) o The 2007 International Conference on Data Mining (DMIN'07) o The 2007 International Conference on Information and Knowledge Engineering (IKE'07) o The 2007 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government (EEE'07) o The 2007 International Conference on Embedded Systems and Applications (ESA'07) o The 2007 International Conference on Frontiers in Education: Computer Science and Computer Engineering (FECS'07) o The 2007 International Conference on Foundations of Computer Science (FCS'07) o The 2007 International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA'07) o The 2007 International Conference on Communications in Computing (CIC'7) (a link to each conference's URL can be found at http://www.worldacademyofscience.org/worldcomp07) Coordinator/General Chair: H. R. Arabnia, PhD Professor, Computer Science Editor-in-Chief, The Journal of Supercomputing (Springer) The University of Georgia Department of Computer Science 415 Graduate Studies Research Center Athens, Georgia 30602-7404, USA email: hra at cs.uga.edu Submission of Papers: Prospective authors are invited to submit their draft/full paper (about 5 to 8 pages - single space, font size of 10 to 12) to H. R. Arabnia by Feb. 20, 2007 (hra at cs.uga.edu). E-mail submissions in MS Doc or PDF formats are preferable (postal mail submissions are also fine.) All reasonable typesetting formats are acceptable (later, the authors of accepted papers will be asked to follow a particular typesetting format to prepare their papers for publication.) The length of the Camera-Ready papers (if accepted) will be limited to 7 (IEEE style) pages. Papers must not have been previously published or currently submitted for publication elsewhere. The first page of the draft paper should include: title of the paper, name, affiliation, postal address, email address, and telephone number for each author. The first page should also identify the name of the author who will be presenting the paper (if accepted) and a maximum of 5 topical keywords that would best represent the content of the paper. Finally, the name of the conference that the paper is being submitted to must be stated on the first page. Papers will be evaluated for originality, significance, clarity, impact, and soundness. Each paper will be refereed by two experts in the field who are independent of the conference program committee. The referees' evaluations will then be reviewed by two members of the program committee who will recommend a decision to the chair of the track that the paper has been submitted to. The track chair will make the final decision. Lastly, the Camera-Ready papers will be reviewed by one member of the program committee. Members of Program and Organizing Committees: The Program Committee includes members of chapters of World Academy of Science (chapters: supercomputing; scientific computing; artificial intelligence; imaging science; databases; simulation; software engineering; embedded systems; internet and web technologies; communications; computer security; and bioinformatics.) Many members of the program committee for individual conferences include renowned leaders, scholars, researchers, scientists and practitioners of the highest ranks; many are directors of large research laboratories, IEEE Fellows, heads/chairs of departments, deans and provosts. Each committee also includes two Student Members (in their final stages of their PhD programs) who are identified as such. Refer to the conference web sites for the list of members of program committee. Co-Sponsors (a partial list): Academic Co-Sponsors of WORLDCOMP'07 include: - Massachusetts Institute of Technology (MIT) Media Laboratory, MIT (Cambridge, Massachusetts) - Statistical Genomics and Computational Biology Laboratory, Department of Statistics, Harvard University (Cambridge, Massachusetts) - Texas Advanced Computing Center, The University of Texas at Austin (Austin, Texas) - Statistical and Computational Intelligence Laboratory of Purdue University (West Lafayette, Indiana) - University of Iowa's Medical Imaging HPC Lab (Iowa City, Iowa) - Institute for Informatics Problems of the Russian Academy of Sciences, Moscow, Russia); Other Co-sponsors include: - HPCwire - GRIDtoday - STEM Education Society - HPCSoft, HPC Software Inc. - International Technology Institute (ITI) - H2cM - Hodges' Health, UK Location of Conferences: The conferences will be held in the Monte Carlo Resort hotel, Las Vegas, Nevada, USA. This is a mega hotel with excellent conference facilities and over 3,000 rooms. The hotel is minutes from the airport with 24-hour shuttle service to and from the airport. This hotel has many recreational attractions, including: waterfalls, spa, pools, sunning decks, Easy River water ride, wave pool, lighted tennis courts, health spa (with workout equipment, whirlpool, sauna, ...), nightly shows, snack bars, many restaurants, shopping area, bars, ... Many of these attractions are open 24 hours a day and most are suitable for families and children. The negotiated room rate for conference attendees is very reasonable. The hotel is within walking distance from most other attractions (major shopping areas, night clubs, free street shows, Golf courses, ...). Purpose / History: This set of joint conferences is the largest annual gathering of researchers in computer science, computer engineering and applied computing. Many of the 25 joint conferences in WORLDCOMP are the premier conferences for presentation of advances in their respective fields. Most of these conferences have been evaluated and determined to be top tier research conferences (see http://www.cs-conference-ranking.org/index.html for an example). We anticipate to have 2000 or more attendees from over 75 countries participating in the 2007 joint conferences. The motivation is to assemble a spectrum of affiliated research conferences into a coordinated research meeting held in a common place at a common time. The main goal is to provide a forum for exchange of ideas in a number of research areas that interact. The model used to form these annual conferences facilitates communication among researchers from all over the world in different fields of computer science, computer engineering and applied computing. Both inward research (core areas of computer science and engineering) and outward research (multi-disciplinary, inter-disciplinary, and applications) will be covered during the conferences. Important Dates: Feb. 20, 2007: Submission of full/draft papers (about 5 to 8 pages) March 20, 2007: Notification of acceptance April 20, 2007: Camera-Ready papers and Registration due June 25-28, 2007: The 2007 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'07 - 25 joint conferences) From dix at tu-clausthal.de Wed Jan 31 10:12:50 2007 From: dix at tu-clausthal.de (Prof. Dr. Juergen Dix) Date: Wed, 31 Jan 2007 10:12:50 +0100 Subject: Fwd: WORLDCOMP'07: Call For Papers - joint conferences in computer science, computer engineering and applied computing; June 25-28, 2007, USA In-Reply-To: References: Message-ID: <45C05D92.6050409@tu-clausthal.de> Mailing-Listen der Informatik schrieb: > Hi Juergen, > I guess, this shouldn't make its way through our Event at CIG list. Right? > Absolutely!! J From Uta.Schwertel at ifi.lmu.de Wed Jan 31 18:41:45 2007 From: Uta.Schwertel at ifi.lmu.de (Uta Schwertel) Date: Wed, 31 Jan 2007 18:41:45 +0100 Subject: Announcement: Summer School "Reasoning Web 2007" Message-ID: <45C0D4D9.3090706@ifi.lmu.de> Apologies for multiple postings. ------------------------------------------------ Announcement: Summer School "Reasoning Web 2007" ------------------------------------------------ Technical University of Dresden 3 to 7 September 2007 http://reasoningweb.org The summer school "Reasoning Web 2007" provides an introduction into Semantic Web methods and issues with a particular focus on reasoning. It is primarily intended for young researchers from industry, PhD students, or postdoc researchers investigating the Semantic Web and related issues. The number of participants is limited. Participation depends on prior application and a reviewing process. Application: 1 February to 30 April 2007 For details see http://reasoningweb.org "Reasoning Web 2007" is supported by the European Network of Excellence REWERSE (http://rewerse.net). From amilcar at dei.uc.pt Wed Jan 31 23:58:40 2007 From: amilcar at dei.uc.pt (=?ISO-8859-1?Q? F._Am=EDlcar_Cardoso ?=) Date: Wed, 31 Jan 2007 22:58:40 +0000 Subject: CfP: Computational Creativity Message-ID: <5ED8CB39-6E81-47EA-8A3F-BC3097FD43E1@dei.uc.pt> Apologies for cross-posting. --------------------------------------------------------------------- CALL FOR PAPERS 4th INTERNATIONAL JOINT WORKSHOP ON COMPUTATIONAL CREATIVITY Goldsmiths' College, University of London London, UK, 17-19 June 2007 ---> Submission deadline: 17 March website: http://doc.gold.ac.uk/isms/CC07/ The Program Committee of the 4th International Joint Workshop on Computational Creativity invites submissions of technical and position papers. The workshop will be held at Goldsmiths, University of London, UK, on 17-19 June 2007. -------------------------- Workshop Objectives -------------------------- The aim of the workshop is to facilitate the exchange of ideas on the topic of computational creativity. We aim to bring together people from AI, Cognitive Science and related areas such as Psychology, Philosophy and the Arts who research questions related to the notion of creativity with respect to computers. The workshop will address issues such as how we assess creativity in computers, how computers can be used to enhance human creativity, and how we can write creative software. We aim for papers on various frameworks for computational creativity to be presented at the workshop, and for the applications of computational creativity to the sciences, creative industries and arts to be showcased. The workshop will provide a forum for identifying trends and opportunities for research on creativity and promising practices concerning the development of creative systems. In addition, we will organise a "show and tell" session, which will be devoted to demonstrations of systems exhibiting behaviour which would be deemed creative in humans. -------------------------- Topics -------------------------- Original contributions are solicited in all areas related to Creative Systems, including but not limited to: - Computational models of creativity - Cognitive models of creativity - Metrics, frameworks and formalizations for the evaluation of creativity in computational systems - Computational tools for supporting creativity - Specific applications to music, language and the arts, to architecture and design, to scientific discovery, to education and to entertainment - Philosophical discussions of computational creativity - Detailed system descriptions of creative systems, including engineering difficulties faced, example sessions and artefacts produced, and applications of the system ----------------------- Important Dates ----------------------- March 17, 2007 Submission deadline April 21, 2007 Authors' Notification May 19, 2007 Deadline for final camera-ready copies -------------------------- Submission Requirements -------------------------- Authors should produce their papers according to the LaTeX format which will be posted shortly on the workshop web site. Papers should be no longer than eight pages; longer papers will not be reviewed. All submissions will be reviewed in terms of quality, impact and relevance to the area of computational creativity. Contributions will be subject to anonymous, blind peer review: reviewers will not be aware of the identities of the authors. This requires that authors exercise some care not to identify themselves in their contributions. Authors will receive feedback in the form of reviewers' comments. All Submissions will be made by electronic means, in postscript or PDF format. Detailed instructions about the submission procedure will be available on the workshop web site soon. -------------------------- Show and tell session -------------------------- The fact that we now have implemented systems which exhibit creative behaviour and produce artefacts of value sets the computational creativity field apart from other domains which investigate notions of creativity. To emphasise this, we plan to hold a "show and tell" session, where implemented systems are demonstrated. There will be no set format, but we hope each presentation will cover topics such as: (a) implementation details, (b) how to run the system, (c) how to use and interpret the artefacts created by the system, (d) engineering innovations which have been required in order to implement the system. For each system, we will encourage the presenter to demonstrate the program at work and to supply a 'gallery' of the most appealing artefacts generated over the years by the system. Participation in the show and tell session is at the discretion of the workshop organisers. Please use the submission procedure that soon will be available on the workshop web site if you would like to show your system and tell us about it at the event. ---------------------------- Previous events ---------------------------- This workshop is the first completely autonomous edition of the series of International Joint Workshops on Computational Creativity that were held in association with other major events: IJWCC 2004, Madrid, Spain, ECCBR'2004 IJWCC 2005, Edinburgh, UK, IJCAI'2005 IJWCC 2006, Riva del Garda, Italy, ECAI'2006 This joint series results from two previous streams of events that have, since 1997, solidified and added rigour to the computational treatment of creative processes. These events have been symposia and workshops associated with AISB 99, AISB 00, ICCBR 01, AISB 01, ECAI 02, AISB 02, IJCAI 03, AISB 03 and LREC 04. ------------------------- Workshop Chairs ------------------------- Amilcar Cardoso Center for Informatics and Systems (CISUC) University of Coimbra, Portugal http://www.dei.uc.pt/~amilcar Geraint A. Wiggins Centre for Cognition, Computation and Culture Goldsmiths' College, University of London, UK http://www.doc.gold.ac.uk/~mas02gw/ ------------------------- Local Organising Committee ------------------------- Oliver Bown Marcus T. Pearce Geraint A. Wiggins Intelligent Sound and Music Systems Group Centre for Cognition, Computation & Culture Department of Computing Goldsmiths, University of London New Cross, London SE14 6NW, United Kingdom ---------------------------------- Program Committee (to be extended) ---------------------------------- John Barnden (University of Birmingham, UK) Oliver Bown (Goldsmiths College, London, UK) David Brown (Worcester Polytechnic Institute, USA) Simon Colton (Imperial College London, UK) John Collomosse (University of Bath, UK) Pablo Gervás (Universidad Complutense de Madrid, Spain) Paulo Gomes (University of Coimbra, Portugal) Robert Keller (Harvey Mudd College, Claremont, California, USA) João Leite (New University of Lisbon, Portugal) Jesús López (University of Southern Queensland, Australia) Penousal Machado (University of Coimbra, Portugal) Lorenzo Magnani (University of Pavia, Italy) Ramon López de Màntaras (IIIA-CSIC, Spain) David C. Moffat (Glasgow Caledonian University, UK) Diarmuid O'Donoghue (National University of Ireland, Maynooth, Ireland) Marcus Pearce (Goldsmiths College, London, UK) Alison Pease (University of Edinburgh, UK) Francisco C. Pereira (University of Coimbra, Portugal) Sarah Rauchas (Goldsmiths College, London, UK) Graeme Ritchie(University of Aberdeen, UK) Rob Saunders (University of Sydney, Australia) Oliviero Stock (Istituto per la Ricerca Scientifica e Tecnologica, Trento, Italy) Tony Veale (University College Dublin, Ireland) Gerhard Widmer (University of Linz, Austria) ------------------------- IJWCC Steering Committee ------------------------- Amilcar Cardoso (University of Coimbra, Portugal) Simon Colton (Imperial College London, UK) Pablo Gervás (Universidad Complutense de Madrid, Spain) Tony Veale (University College Dublin, Ireland) Geraint A. Wiggins (Goldsmiths College, London, UK) From core at cic.ipn.mx Tue Jan 30 23:46:28 2007 From: core at cic.ipn.mx (core) Date: Tue, 30 Jan 2007 16:46:28 -0600 (CST) Subject: Second Call for Papers CORE 2007 Message-ID: CORE 2007 8th Conference on Computing A new event of the series of international conferences CORE! www.cic.ipn.mx/core/2007 May 16-18, 2007 Mexico City PUBLICATION: Special issue of the journal "Research in Computing Science", ISSN 1870-4069. SUBMISSION GUIDELINES: Up to 12 pages, Springer LNCS format, in English. COMPETITIONS: - Software competition - Prototypes competition TOPICS: Artificial Intelligence, Natural Language Processing, Fuzzy Logic, Computer Vision, Multi-agent Systems, Bioinformatics, Neural Networks, Evolutionary Algorithms, Cellular Automata, Knowledge Representation, Semantic Web, Database Systems, Data Mining, Software Engineering, Web Design, Compilers, Formal Languages, Operating Systems, Distributed Systems, Parallelism, Real Time Systems, Algorithm Theory, Scientific Computing, High-Performance Computing, Geoprocessing, Networks and Connectivity, Cryptography, Informatics Security, Digital Systems Design, Digital Signal Processing, Control Systems, Robotics, Virtual Instrumentation, Computer Architecture, etc. IMPORTANT DATES: Paper submission�deadline: February 11 Acceptance notification: March 25 Camera-ready deadline: April 22 KEYNOTE SPEAKERS: To be announced. CULTURAL PROGRAM: - Excursion to Teotihuacan Indian pyramids - Banquet (for separate fee) - More to be announced. WORKING LANGUAGES: English REGISTRATION FEE: Author and public early / public on site: US$ 120 / 200 Full US$ 75 / 200 Student Entrance: Free CONFERENCE PLACE: National Polytechnic Institute Center for Computing Research Info: www.cic.ipn.mx/core/2007 core at cic.ipn.mx From ci-listen at in.tu-clausthal.de Tue Jan 9 11:51:09 2007 From: ci-listen at in.tu-clausthal.de (Mailing-Listen der Informatik) Date: Tue, 09 Jan 2007 11:51:09 +0100 Subject: [from Peter] Fwd: Call For Contributions: Eleventh International IEEE EDOC Conference (EDOC 2007) Message-ID: Hi Juergen, should we accept this one for the Event at CIG list? Thanks, Peter. --- the forwarded message follows --- -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: "Stephanie Chow" Betreff: Call For Contributions: Eleventh International IEEE EDOC Conference (EDOC 2007) Datum: Mon, 8 Jan 2007 21:23:49 -0500 Größe: 18956 URL: From ci-listen at in.tu-clausthal.de Tue Jan 30 16:48:55 2007 From: ci-listen at in.tu-clausthal.de (Mailing-Listen der Informatik) Date: Tue, 30 Jan 2007 16:48:55 +0100 Subject: request to broadcast a CfP In-Reply-To: <000e01c74454$d75a27e0$76028255@ddns.cablebg.net> References: <000e01c74454$d75a27e0$76028255@ddns.cablebg.net> Message-ID: On Tue, 30 Jan 2007 11:55:57 +0200 "Dimitar P. Guelev" wrote: > Dear Moderator, > > Please broadcast the attached CfP to the clausthal >mailing list. > > Sincerely yours, > Dimitar P. Guelev/Dang Van Hung, Paritosh K. Pandya Dear organizers, please send the CfP in plain to the list event at in.tu-clausthal.de. I will then redistribute it ASAP. I do not want to send your post as it is as it includes a message for me what is of no interest to our subscribers. Best regards, Peter Novak, Event at CIG administrator. From ci-listen at in.tu-clausthal.de Wed Jan 31 09:48:34 2007 From: ci-listen at in.tu-clausthal.de (Mailing-Listen der Informatik) Date: Wed, 31 Jan 2007 09:48:34 +0100 Subject: Fwd: WORLDCOMP'07: Call For Papers - joint conferences in computer science, computer engineering and applied computing; June 25-28, 2007, USA Message-ID: Hi Juergen, I guess, this shouldn't make its way through our Event at CIG list. Right? Best, Peter. --- the forwarded message follows --- -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: "Hamid R. Arabnia" Betreff: WORLDCOMP'07: Call For Papers - joint conferences in computer science, computer engineering and applied computing; June 25-28, 2007, USA Datum: Tue, 30 Jan 2007 22:58:15 -0500 Größe: 11623 URL: