From chenfei87646 at gmail.com Fri Nov 2 06:11:05 2007 From: chenfei87646 at gmail.com (Fei Chen) Date: Fri, 2 Nov 2007 13:11:05 +0800 Subject: BMEI'08-CISP'08, Sanya, China: Deadline 10 November Message-ID: ** Our apologies if you receive multiple copies of this announcement * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2008 International Conference on BioMedical Engineering and Informatics (BMEI 2008) 2008 International Congress on Image and Signal Processing (CISP 2008) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 28 - 30 May 2008, Sanya, Hainan, China Submission Deadline: 10 November 2007 http://www.hainu.edu.cn/BMEI2008 http://www.hainu.edu.cn/CISP2008 Call for Papers, Invited Sessions & Sponsorship The aim of the joint BMEI'08-CISP'08 is to bring together researchers working in many different areas of biomedical engineering and informatics, image and signal processing to foster exchange of new ideas. The BMEI'08-CISP'08 proceedings will be published by the IEEE and will be indexed in both EI and ISTP. Selected good papers will be recommended for publication in SCI/SCI-E indexed international journals. Keynote speakers include Professor Maciej Ogorzalek, President-Elect, IEEE Circuits and Systems Society, Editor-in-Chief, IEEE Circuits and Systems Magazine, IEEE Fellow; Dr. Roderic Pettigrew, Director of National Institute of Biomedical Imaging and Bioengineering (NIBIB), USA; Professor Jing Bai, IEEE Fellow. ABOUT SANYA Sanya is one of China's premier tourist destinations, with white-sand beaches, charming scenery, hot-springs, and popular activities such as scuba-diving and rafting. More than 20 ethnic groups, including Han, Li, Miao, and Hui, inhabit Sanya and make Sanya a wonderful place to appreciate the various cultures of China. For more information, visit the conference web pages or email the secretariats at bmei2008 at hainu.edu.cn for BMEI 2008 and cisp2008 at hainu.edu.cn for CISP 2008, respectively. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From clu at tcs.inf.tu-dresden.de Thu Nov 1 18:35:45 2007 From: clu at tcs.inf.tu-dresden.de (Carsten Lutz) Date: Thu, 01 Nov 2007 18:35:45 +0100 (CET) Subject: DL08 Call for Papers Message-ID: --------------------------------------------------------------------- 21st International Workshop on Description Logics (DL'08) CALL FOR PAPERS Dresden, Germany May 13-16, 2008 http://dl.kr.org/dl2008/ The DL workshop is the major annual event of the description logic research community. The workshop is a gathering forum to meet, discuss and exchange experiences among all those, both in academia and industry, who are interested in description logics and their applications. ---------------------------------------------------------------------- IMPORTANT DATES Paper submission deadline: 15 February 2008 Notification of acceptance: 23 March 2008 Camera ready papers due: 13 April 2008 DL'07 Workshop: 13-16 May 2008 (3 or 4 days, to be decided) ---------------------------------------------------------------------- INVITED SPEAKERS * Bernhard Ganter, Dresden, Germany * Georg Gottlob, Oxford, UK * Maarten Marx, Amsterdam, The Netherlands * Kent Spackman, Oregon, USA ---------------------------------------------------------------------- SCOPE We invite contributions on all aspects of description logics. Possible subjects include: * Foundations of description logics, including expressive power, decidability and complexity of reasoning, novel inference problems, and reasoning techniques for solving these problems. * Extensions of description logics, including, but not limited to, closed world reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, and query languages. * Integration of description logics with other formalisms, such as object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems. * Use of description logics in applications or areas such as ontology engineering, ontology languages, databases, semi-structured data, document management, natural language, learning, planning, semantic web, and grid computing. * Building systems based on description logics, with special emphasis on optimization and implementation techniques. * Tools that exploit description Logic reasoning, such as ontology editors, database schema design, query optimization, and data integration tools. ---------------------------------------------------------------------- SUBMISSION DETAILS We invite submissions of papers in Springer LNCS style, see http://www.springer.com/comp/lncs/Authors.html to arrive no later than February 15, 2008. The length of submissions is limited to 11 pages, including title and abstract (if any), and list of references. Submitted papers must be in PDF format. Submission is via EasyChair, see http://www.easychair.org/DL08/ The workshop proceedings will be made available electronically in the CEUR Workshop Proceedings series, see http://www.CEUR-ws.org/ ---------------------------------------------------------------------- WORKSHOP CHAIRS * Franz Baader, Dresden, Germany (General chair) * Carsten Lutz, Dresden, Germany (PC Chair) ---------------------------------------------------------------------- PROGRAM COMMITTEE * Carlos Areces, Nancy, France * Alessandro Artale, Bozen-Bolzano, Italy * Alex Borgida, Rutgers, USA * Sebastian Brandt, Machester, UK * Diego Calvanese, Bozen-Bolzano, Italy * Giuseppe de Giacomo, Rome, Italy * Volker Haarslev, Montreal, Canada * Ian Horrocks, Oxford, UK * Ulrich Hustadt, Liverpool, UK * Pascal Hitzler, Karlsruhe, Germany * Carsten Lutz, Dresden, Germany (Chair) * Maja Milicic, Dresden, Germany * Boris Motik, Oxford, UK * Ralf Moeller, Hamburg, Germany * Bijan Parsia, Manchester, UK, * Peter Patel-Schneider, Alcatel Lucent, USA * Riccardo Rosati, Rome, Italy * Uli Sattler, Manchester, UK * Umberto Straccia, Pisa, Italy * David Toman, Waterloo, Canada * Frank Wolter, Liverpool, UK * Misha Zakharyaschev, London, UK ---------------------------------------------------------------------- RESOURCES * Information regarding registration, travel information, hotels, etc will be made available on the DL2008 homepage http://dl.kr.org/dl2008/ * Enquiries about the DL2008 workshop can be made by mailing to lutz at tcs.inf.tu-dresden.de * The general Description Logic home page is at http://dl.kr.org/ ---------------------------------------------------------------------- From R.Bordini at durham.ac.uk Mon Nov 5 15:30:36 2007 From: R.Bordini at durham.ac.uk (Rafael H Bordini) Date: Mon, 5 Nov 2007 14:30:36 +0000 Subject: =?ISO-8859-1?Q?New_Book:_Programming_Multi-Agent_Systems_in_Agen?= =?ISO-8859-1?Q?tSpeak_using_Jason_by_Bordini,_H=FCbner,_Wooldrid?= =?ISO-8859-1?Q?ge?= Message-ID: <4AB42FC5-2DD6-448E-8FBE-B5854CA1D125@durham.ac.uk> ** New Book ** ** New Book ** ** New Book ** ** New Book ** PROGRAMMING MULTI-AGENT SYSTEMS IN AGENTSPEAK USING JASON by Rafael H. Bordini, Jomi Fred Hübner, and Michael Wooldridge http://jason.sf.net/jBook/ ** New Book ** ** New Book ** ** New Book ** ** New Book ** INTRODUCTION Since it was introduced by Rao in 1996, AgentSpeak has proved to be one of the most influential programming languages available for multi-agent systems. AgentSpeak provides the features of complex PRS-style reactive planning systems in a simple and elegant framework. This book provides a practical introduction to programming in AgentSpeak using Jason, a fully-featured, freely-available implementation of AgentSpeak. The book provides a brief introduction to multi-agent systems and the BDI agent architecture on which AgentSpeak is based, and then describes Jason’s AgentSpeak variant and provides a comprehensive, practical guide to using Jason for programming multi-agent systems. The book is illustrated with many practical examples, the source code for which is available at the book's web site. This essential guide to AgentSpeak and Jason will be invaluable to senior undergraduate and postgraduate students studying multi-agent systems. The book will also be of interest to software engineers, designers, developers, and programmers interested in multi-agent systems. CONTENTS Preface 1 Introduction 2 The BDI Agent Model 3 The Jason Agent Programming Language 4 Jason Interpreter 5 Environments 6 Communication and Interaction 7 User-Defined Components 8 Advanced Goal-Based Programming 9 Case Studies 10 Formal Semantics 11 Conclusions A Reference Guide Bibliography PUBLICATION DETAILS Published by John Wiley / Hardback / 273 pages / October 2007 / ISBN10: 0470029005 / ISBN13: 9780470029008 From qapl08 at tcs.inf.tu-dresden.de Tue Nov 6 12:23:09 2007 From: qapl08 at tcs.inf.tu-dresden.de (QAPL 2008) Date: Tue, 06 Nov 2007 12:23:09 +0100 Subject: QAPL 2008 Call for Papers Message-ID: <47304e9d.rzH6qTuxa/ta06z5%qapl08@tcs.inf.tu-dresden.de> [Apologies for multiple copies] ******************************************************************************** CALL FOR PAPERS Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008) Affiliated with ETAPS 2008 March 29-30, 2008, Budapest, Hungary http://wwwtcs.inf.tu-dresden.de/ALGI/qapl08/ ******************************************************************************** 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. In particular, the workshop focuses on: * the design of probabilistic, real-time, quantum languages and the definition of semantical models for such languages * the discussion of methodologies for the analysis of probabilistic and timing properties (e.g. security, safety, schedulability) and of other quantifiable properties such as reliability (for hardware components), trustworthiness (in information security) and resource usage (e.g., worst-case memory/stack/cache requirements) * the probabilistic analysis of systems which do not explicitly incorporate quantitative aspects (e.g. performance, reliability and risk analysis) * applications to safety-critical systems, communication protocols, control systems, asynchronous hardware, and to any other domain involving quantitative issues 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 SPEAKER: * Simon Gay, University of Glasgow, UK * Jean-Francois Raskin, Universite Libre de Bruxelles, Belgium SUBMISSIONS: In order to encourage participation and discussion, this workshop solicits two types of submissions - regular papers and presentations: 1. Regular paper submissions must be original work, and must not have been previously published, nor be under consideration for publication elsewhere. Regular paper submission must not exceed 15 pages, possibly followed by a clearly marked appendix which will be removed for the proceedings and contains technical material for the reviewers. 2. A presentation reports on recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop. There is no restriction as for previous/future publication of the contents of a presentation. Typically, a presentation is based on a paper which recently appeared (or which is going to appear) in the proceedings of another recognized conference, or which has not yet been submitted. The (extended) abstract of presentation submissions should not exceed 4 pages. All Submissions must be as PDF and use to the ENTCS style files. Submissions can be made on the following website: www.easychair.org/QAPL2008. The program co-chairs can be contacted at qapl08chairs at tcs.inf.tu-dresden.de. The workshop PC will review all submissions of both types to select appropriate ones for acceptance in each category, based on their relevance, merit, originality, and technical content. The authors of the accepted submissions of both types are expected to present and discuss their work at the workshop. Accepted regular papers will be published in Elsevier's ENTCS. Publication of a selection of the papers in a special issue of a journal is under consideration. IMPORTANT DATES: Submission (regular paper): December 17, 2007. Notification (regular paper): January 28, 2008. Submission (presentation): January 28, 2008. Notification (presentation): January 31, 2008. ORGANIZATION: PC Chairs: * Alessandro Aldini, University of Urbino, Italy. * Christel Baier, University of Dresden, Germany. Program Committee: * Rajeev Alur, University of Pennsylvania, US * Nathalie Bertrand, IRISA/INRIA Rennes, France * Patricia Boyer, Oxford University, UK * Tomas Brazdil, Masaryk University, Czech Republic * Flavio Corradini, University of Camerino, Italy * Josee Desharnais, University of Laval, Canada * Alessandra Di Pierro, University of Pisa, Italy * Maurizio Gabbrielli, University of Bologna, Italy * Marcus Groesser, Technical University Dresden, Germany * Marta Kwiatkowska, University of Oxford, UK * Mieke Massink, NR-ISTI Pisa, Italy * Paulo Mateus, Technical University of Lisbon, Portugal * Annabelle McIver, Maquarie University, Australia * Prakash Panangaden, McGill University, Canada * Paul Petersson, University Uppsala, Sweden * Jeremy Sproston, University of Torino, Italy * Franck van Breugel, York University, Toronto, Canada * Herbert Wiklicky, Imperial College London, UK From trefler at cs.uwaterloo.ca Tue Nov 6 22:41:37 2007 From: trefler at cs.uwaterloo.ca (Richard Trefler) Date: Tue, 06 Nov 2007 16:41:37 -0500 Subject: CONCUR 2008 Call for Workshop Proposals Message-ID: <4730DF91.2080507@cs.uwaterloo.ca> Dear Colleagues, Please forward as appropriate the enclosed Call for Workshop Proposals affiliated with the 19th International Conference on Concurrency Theory. Thanks very much, Richard Trefler ============================================================================ 19th International Conference on Concurrency Theory CONCUR 2008 Toronto, Canada Call for Affiliated Workshops Conference Dates: August 19-22, 2008 Affiliated Workshop Dates: August 23-24, 2008 The 19th Conference on Concurrency Theory will be held this coming summer in Toronto, Canada, and will be co-locate with the 27th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2008). Researchers and practitioners are invited to submit proposals for workshops on topics related to concurrency theory and its applications. Example topics include, semantics, logics, and verification techniques for concurrent systems. Past CONCUR conferences have been accompanied by successful workshops on a variety of topics, like formal and foundational methods, models of systems (biological, timed), security issues, semantical issues, verification methods. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. Proposals should include: * The name and the preferred date of the proposed workshop. * A very brief cv of the organizers. * A short scientific summary of the topic, its scope and significance, including a discussion on its relation to the themes of CONCUR. * A description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance. * Procedures for selecting papers, plans for dissemination (for example, special issues of journals), and the expected number of participants. Important Dates: Workshop proposals due December 1st, 2007. Notification of acceptance December 15th, 2007. Electronic submissions to trefler 'at' cs.uwaterloo.ca The CONCUR organization offers: * Link from CONCUR and Workshop web sites. * Setup of meeting space, and related equipment. * Coffee-breaks. The main responsibility of organizing a workshop goes to the chairperson(s) of the workshop, financial issues included. The format of each workshop is to be determined by its organizers. Workshop organization includes: * Workshop publicity, call for papers, and submission and review process. * Providing a brief description of the workshop for inclusion in the CONCUR web page. * Scheduling workshop activities in collaboration with the CONCUR local organizers. Please contact the workshop chair for further details about the support CONCUR 2008 is planning to offer to organizers. - Richard Trefler (trefler (at) cs.uwaterloo.ca) From alexander.friedmann at uqam.ca Tue Nov 6 05:37:58 2007 From: alexander.friedmann at uqam.ca (Alex Friedmann) Date: Mon, 05 Nov 2007 23:37:58 -0500 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: <6bplrs$5a4ov5@toip5.srvr.bell.ca> At 06:07 PM 11/5/2007, you wrote: >This is an automated message from the > mailing list manager > >List messages sent to your address have bounced. > >If you read this message, your mail system has been probably fixed. From C.M.Jonker at tudelft.nl Wed Nov 7 11:45:45 2007 From: C.M.Jonker at tudelft.nl (Catholijn M. Jonker) Date: Wed, 07 Nov 2007 11:45:45 +0100 Subject: job opening: assistant/associate professorship Intelligent Interaction Support Message-ID: <47319759.7030905@mmi.tudelft.nl> Dear editor, I kindly request your help in posting the attached job opening for an assistant or associate professorship in Intelligent Interaction Support to the list. I attached the full text in a Word document, and an abstract in plain text below. Could you please let me know of your decision? Would you appreciate another format? Best, Catholijn Assistant/Associate Professor Intelligent Interaction Support ============================================================= The Man-Machine Interaction group has a vacancy for an Assistant/Associate Professor Intelligent Interaction Support. Job description --------------- The research of the MMI section aims at engineering user experiences. In this research programme, the design of intelligent, multimodal, context-sensitive systems plays an important role. The focus is on designing systems that can interact both intelligently as well as naturally with its users. A negotiation support system is one example of such a system. The applicant should have experience in Artificial Intelligence techniques, such as (dynamic) Bayesian processing, (hidden) Markov models, agent technology, and cognitive modelling. Ideally, the applicant has experience in the design of cognitive models emulating the perception, reasoning and behaviour of human beings. Experience in emotion recognition from facial expressions or speech is appreciated. To assess the context and state of the user, it is necessary to capture and analyse various signals, both verbal and nonverbal. The research must be fundamental as well as applied. The applicant should be able to design new models and algorithms and also be able to implement those models and algorithms in specific applications. For more information see: http://www.vacaturesindelft.nl/ To apply, please send a detailed CV together with a letter of application, at least three references and no more than five key publications before November 30, 2007 to Delft University of Technology, Faculty of EWI, Attn: Jamila Eddini, Mekelweg 4, 2628 CD Delft, The Netherlands or send your application online to peno-ewi at tudelft.nl. When applying for this job always mention vacancy number EWI 2007.43. -- Prof. Dr. C.M. Jonker Man Machine Interaction Group Department of Mediametics Faculty of Electrical Engineering, Mathematics and Computer Science Delft University of Technology Mekelweg 4 2628 CD Delft The Netherlands Room: HB 12.300 Telephone: +31.15.2781315 Mobile phone: +31.6.48875207 Fax: +31.15.2787141 -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : EWI2007-43_final.doc Dateityp : application/msword Dateigröße : 34816 bytes Beschreibung: nicht verfügbar URL : From thor at informatik.uni-leipzig.de Wed Nov 7 16:07:06 2007 From: thor at informatik.uni-leipzig.de (Andreas Thor) Date: Wed, 07 Nov 2007 16:07:06 +0100 Subject: Preliminary CFP: WAIM08 - Web Age Inf. Mgt., Zhangjiajie, China Message-ID: <4731D49A.4090500@informatik.uni-leipzig.de> [Apologies if you receive multiple copies of this message.] WAIM 2008 Preliminary Call for Papers The Ninth International Conference on Web-Age Information Management URL: http://waim2008.nudt.edu.cn/index.html Email: waim2008 at nudt.edu.cn July 20-22, 2008, Zhangjiajie, China Organized by National Laboratory for Parallel and Distributed Processing, China. Sponsored by: Database Society, Chinese Computer Federation; Natural Science Foundation of China The rapid development and prevalent use of the World Wide Web continue to stimulate the need for new technologies for the design, implementation and management of better Web-based information systems. With widely distributed data of diverse types (structured records, texts, images, video/audio, etc) from millions of autonomous sites and hundreds of millions of users, the Web introduces new challenges beyond the capabilities of traditional database and information retrieval systems. These challenges include the development of effective and efficient techniques and tools for querying, retrieving, integrating, analyzing, and managing the data on the Web. WAIM'08 will continue the fine tradition of the previous WAIM conferences in providing an international forum for researchers and practitioners in the Web and database communities to share and exchange new ideas, results, experience, techniques and tools related to all aspects of Web data management. The conference invites original research and industrial papers on the theory, design and implementation of Web-based information systems, as well as proposals for demonstrations, tutorials and panels. WAIM'08 is expected to attract outstanding researchers from all over the world to Zhangjiajie, one of the most beautiful areas in China. WAIM'08 topics include but are not limited to the following areas - Advanced application of databases - Biological and genome information systems - Data mining and knowledge discovery - Data and information quality control - Data grid - Data migration and integration - Database security - Emerging Web technologies - Information retrieval - Interoperability and heterogeneous systems - Location dependent data management - Mobile data management - Multidimensional databases and OLAP - Multimedia information systems - Parallel and distributed database systems - Peer-to-peer data management - Performance and benchmarking - Query processing and optimization - Semantic web and web ontology - Spatial and temporal databases - Storage management and access methods - Web community analysis - Web mining - Web data management - Web services and information management - Workflow and E-services - XML and semi-structured data management PUBLICATION and PAPER SUBMISSION The proceedings will be published by IEEE Computer Society Press (agreement pending). All submitted manuscripts must be in English. Only original manuscripts whose main technical contents have not been published by or submitted to other conferences and journals are allowed. If a paper is accepted, at least one author is required to attend the conference to present the work. Authors are required to submit a paper title and short abstract (about 100 words) before submitting the paper. Paper submission will be electronic through the WAIM'08 paper submission site (https://cmt.research.microsoft.com/WAIM2008/Default.aspx). Information about paper format is forthcoming at the WAIM 2008 website. Papers not satisfying the above requirements will be rejected without review. WORKSHOP, PANELS, TUTORIALS, INDUSTRIAL PAPERS AND DEMOS In addition to technical contributions, WAIM'08 invites proposals for workshops, panels and tutorials, as well as industrial and demo papers. For workshops, WAIM'08 will provide administrative support for workshop room booking, registration, and publication. Information about the format for industrial papers and demo proposals will be available at the WAIM 2008 website soon. All submitted industrial and demo papers must have not been published by or submitted to other conferences and journals. All accepted industrial and demo papers will be published in the main proceedings of the conference. Papers accepted by WAIM'08 workshops will be published separately. Workshop, panel and tutorial Proposals and industrial and demo papers should be sent as e-mail attachments to the corresponding chairs. IMPORTANT DATES Abstracts of research papers due: January 8, 2008 Full research papers due: January 15, 2008 Industrial/Demo papers due: January 15, 2008 Acceptance notification: March 17, 2008 Camera-ready copy: April 17, 2008 Workshop proposals: January 22, 2008 Panel/Tutorial Proposals: March 24, 2008 ORGANIZING COMMITTEE Honorary Conference Chair: Huowang Chen, National Laboratory for Parallel and Distributed Processing, China General Co-Chairs: Jianzhong Li, Harbin Institute of Technology, China. Clement Yu, University of Illinois at Chicago, USA. Program Committee Co-Chairs: Yan Jia, National Laboratory for Parallel and Distributed Processing, China. Weiyi Meng, State University of New York at Binghamton, USA. Proceedings Chair: Ning Jing, National University of Defense Technology, China. Industrial Track Chair: Jiangning Liu, CVIC Software Engineering CO., China Demonstration Track Chair: Dongwon Lee, Penn State University, USA Tutorial Chair: Susan Gauch, University of Arkansas, USA Workshop Chair: Weihong Han, National Laboratory for Parallel and Distributed Processing, China Panel Chair: Aoying Zhou, Fudan University, China Publicity Co-Chairs: Andreas Thor, University of Leipzig, Germany Wai Gen Yee, Illinois Institute of Technology, USA Lihua Yue, University of Science and Technology of China, China Local Arrangements Co-Chairs: Shuqiang Yang, National Laboratory for Parallel and Distributed Processing, China Wei Xiong, National University of Defense Technology, China Steering Committee Liaison: Sean X. Wang, University of Vermont, USA PROGRAM COMMITTEE -James Bailey, University of Melbourne, Australia -Sourav S. Bhowmick, Nanyang Technological University, Singapore -Lei Chen, Hong Kong Univ. of Sci. & Tech., Hong Kong -Qiming Chen, Hewlett-Packard Laboratories, USA -Reynold Cheng, Hong Kong Polytechnic University, Hong Kong -Gao Cong, Microsoft Research Asia, China -Alfredo Cuzzocrea, University of Calabria, Italy -Xiaoyong Du, Renmin University of China, China -Ling Feng, Tsinghua University, China -Ophir Frieder,Illinois Institute of Technology, USA -Madhusudhan Govindaraju, State University of New York at Binghamton,USA -Stephane Grumbach, LIAMA(The Sino-French IT Lab Institute of Automation), China -Giovanna Guerrini, Universita di Genova, Italy -Weihong Han, National Laboratory for Parallel and Distributed Processing,China -Yoshiharu Ishikawa, Nagoya University, Japan -Ruoming Jin, Kent State University, USA -Hiroyuki Kitagawa, University of Tsukuba, Japan -Chiang Lee, National Cheng-Kung University, Taiwan -Dik Lun Lee, Hong Kong University of Science and Technology, China -Wang-Chien Lee, Pennsylvania State University, USA -Yoon-Joon Lee, Korea Advanced Institute of Science and Technology (KAIST), Korea -Jinyan Li, Nanyang Technological University, Singapore -Qing Li, City University of Hong Kong, Hong Kong -Quanzhong Li, IBM, USA -Ee Peng Lim, Nanyang Technological University, Singapore -Xuemin Lin, University of New South Wales, Australia -Chengfei Liu, Swinburne University of Technology, Australia -Huan Liu, Arizona State University, USA -Jiangning Liu, CVIC Software Engineering CO, China -Qiong Luo, Hong Kong Univ. of Sci. & Tech., Hong Kong -Xiaofeng Meng, Renmin University, China -Mukesh K Mohania, IBM India Research Lab., India -Anne H. H. Ngu, Texas State University, USA -Wilfred Siu-Hung Ng, Hong Kong University of Science and Technology,China -Jian Pei, Simon Fraser University, Canada -Zhiyong Peng, Wuhan University, China -Evaggelia Pitoura, University of Ioannina, Greece -Weining Qian, Fudan University, China -Vijay Raghavan, University of Louisiana at Lafayette, USA -Keun Ho Ryu, Chungbuk National University, Korea -Albrecht Schmidt, Aalborg University, Denmark -Heng Tao Shen, University of Queensland, Australia -Timothy K. Shih, Tamkang University, Taiwan -Markus Schneider, University of Florida, USA -Changjie Tang, Sichuan University, China -David Taniar, Monash University, Australia -Yufei Tao, Chinese University of Hong Kong, Hong Kong -Anthony Tung, National University of Singapore, Singapore -Guoren Wang, Northeastern University, China -Haixun Wang, IBM T. J. Watson Research Center, USA -Jianyong Wang, Tsinghua University, China -Ling Tok Wang, National University of Singapore, Singapore -Shan Wang, Renmin University, China -X. Sean Wang, University of Vermont, USA -Wei Wang, Fudan University, China -Wei Wang, University of New South Wales, Australia -Jirong Wen, Microsoft Research Asia, China -Raymond Wong, University of New South Wales, Australia -Wei Xiong,National University of Defense Technology, China -Shuqiang Yang,National Laboratory for Parallel and Distributed Processing, China -Lei Yu, State University of New York at Binghamton, USA -Jian Yang, Macquarie University, Australia -Jun Yang, Duke University, USA -Ge Yu, Northeastern University, China -Jeffrey Xu Yu, Chinese University of Hong Kong, China -Philip S. Yu, IBM, USA -Qing Zhang, CSIRO, Australia -Yanchun Zhang, Victoria University, Australia -Aoying Zhou, Fudan University, China -Lizhu Zhou, Tsinghua University, China -Qiang Zhu, University of Michigan, USA From C.M.Jonker at tudelft.nl Wed Nov 7 16:42:59 2007 From: C.M.Jonker at tudelft.nl (Catholijn M. Jonker) Date: Wed, 07 Nov 2007 16:42:59 +0100 Subject: job opening: assistant/associate professorship Intelligent Interaction Support In-Reply-To: References: <47319759.7030905@mmi.tudelft.nl> Message-ID: <4731DD03.1040109@mmi.tudelft.nl> Dear Peter, Thank you! I will adjust the text to plain text with an html reference in it and send it in. By the way, how did the paper for AAMAS go, did you submit it? (Koen is away to IAT at the moment, so I don't know.) Best, Catholijn Administrator of mailing lists of CIG wrote: > Dear Catholijn, > thanks for your post. > > On Wed, 07 Nov 2007 11:45:45 +0100 > "Catholijn M. Jonker" wrote: >> Dear editor, >> >> I kindly request your help in posting the attached job opening for an >> assistant or associate professorship in Intelligent Interaction >> Support to the list. I attached the full text in a Word document, >> and an abstract in plain text below. >> Could you please let me know of your decision? Would you appreciate >> another format? > > I would suggest either 1) writing the announcement in plain text, or > 2) publishing it somewhere as an HTML document and link to it from the > summary in plain text, or finally 3) converting it to PDF and sending > it through the list. Although reluctantly, we can accept PDF. > Generally, I think there shouldn't be a problem letting your e-mail > through. > > And of course strip the introductory request from the e-mail ;-). > > Best regards, > > Peter Novak, Event at CIG administrator. > > >> Assistant/Associate Professor Intelligent Interaction Support >> ============================================================= >> >> The Man-Machine Interaction group has a vacancy for an >> Assistant/Associate Professor Intelligent Interaction Support. >> >> Job description >> --------------- >> >> The research of the MMI section aims at engineering user experiences. >> In this research programme, the design of intelligent, multimodal, >> context-sensitive systems plays an important role. The focus is on >> designing systems that can interact both intelligently as well as >> naturally with its users. A negotiation support system is one example >> of such a system. The applicant should have experience in Artificial >> Intelligence techniques, such as (dynamic) Bayesian processing, >> (hidden) Markov models, agent technology, and cognitive modelling. >> Ideally, the applicant has experience in the design of cognitive >> models emulating the perception, reasoning and behaviour of human >> beings. Experience in emotion recognition from facial expressions or >> speech is appreciated. >> >> To assess the context and state of the user, it is necessary to >> capture and analyse various signals, both verbal and nonverbal. The >> research must be fundamental as well as applied. The applicant should >> be able to design new models and algorithms and also be able to >> implement those models and algorithms in specific applications. >> >> For more information see: http://www.vacaturesindelft.nl/ >> >> To apply, please send a detailed CV together with a letter of >> application, at least three references and no more than five key >> publications before November 30, 2007 to Delft University of >> Technology, Faculty of EWI, Attn: Jamila Eddini, Mekelweg 4, 2628 CD >> Delft, The Netherlands or send your application online to >> peno-ewi at tudelft.nl. >> >> When applying for this job always mention vacancy number EWI 2007.43. >> >> >> >> >> >> -- >> Prof. Dr. C.M. Jonker >> Man Machine Interaction Group >> Department of Mediametics >> Faculty of Electrical Engineering, Mathematics and Computer Science >> Delft University of Technology >> Mekelweg 4 >> 2628 CD Delft >> The Netherlands >> Room: HB 12.300 >> Telephone: +31.15.2781315 >> Mobile phone: +31.6.48875207 >> Fax: +31.15.2787141 -- Prof. Dr. C.M. Jonker Man Machine Interaction Group Department of Mediametics Faculty of Electrical Engineering, Mathematics and Computer Science Delft University of Technology Mekelweg 4 2628 CD Delft The Netherlands Room: HB 12.300 Telephone: +31.15.2781315 Mobile phone: +31.6.48875207 Fax: +31.15.2787141 From joerg.hoffmann at deri.at Wed Nov 7 20:01:11 2007 From: joerg.hoffmann at deri.at (Joerg Hoffmann) Date: Wed, 07 Nov 2007 20:01:11 +0100 Subject: ESWC 2007 Call for System Demonstrations Message-ID: <47320B77.6060109@deri.at> Call for System Demos 5th European Semantic Web Conference 01 - 05 June 2008 Tenerife (Spain) http://www.eswc2008.org/ The ESWC is the leading European Conference on Theory, Practice and Applications of Semantic Web Technologies, constantly attracting a high number of high quality submissions and participants from academia and industry. Besides the research paper and poster tracks, ESWC asks for demonstrations of semantic web systems and applications. This includes applications, demonstrations of innovative technologies or infrastructures that support the deployment of semantic web applications in any area covered by topics of interest for ESWC'08. To submit a demo to ESWC'08, the authors are requested to submit a demo description. The description must be submitted as a PDF file; it must be formatted in LNCS style, and it must be no longer than 5 pages maximum. The demo descriptions will be published as part of the ESWC'08 proceedings. As such, quality assurance will be strict, and the demos will be subject to review by a separate Programme Committee. All demos must show relevance, novelty and significance. The descriptions should contain sections answering the following questions, as appropriate: 1. What is the research background and application context of the demonstration? 2. What is the employed key technology, and how does it relate to pre-existing work? 3. What exactly will be demonstrated? 4. What exactly will a visitor of the demonstration learn? Submission and reviewing of demo descriptions will be electronic via the ESWC'08 conference submissions site at http://www.eswc2008.org/submissions.html Important Dates Submission of demo descriptions: January 11, 2008 Notification: February 29, 2008 Camera Ready: March 14, 2008 Joerg Hoffmann (ESWC 2008 Demonstrations Chair) From nicola.olivetti at univ-cezanne.fr Thu Nov 8 15:33:47 2007 From: nicola.olivetti at univ-cezanne.fr (Nicola OLIVETTI) Date: Thu, 8 Nov 2007 15:33:47 +0100 (CET) Subject: REMINDER CFP, Journal of Logic and Computation, Special Issue Message-ID: <13023214.17631194532427308.JavaMail.root@frontal1> Call for papers Special issue of the JOURNAL OF LOGIC AND COMPUTATION on AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS IMPORTANT DATES Paper submission: December 15, 2007 Notification of acceptance: April 15, 2008 Publication: by the end of 2008 GENERAL INFORMATION 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. This special issue has its origins in the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'07), which was held in Aix en Provence (France) in July 2007. It will be published in the Journal of Logic and Computation by Oxford University Press. TOPICS This special issue focuses on automated reasoning with analytic tableaux. Topics of interest include the following: * 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. SUBMISSIONS This special issue welcomes original high-quality contributions that have been neither published in nor submitted to any journals or refereed conferences. Authors of papers presented at TABLEAUX 2007 are welcome to submit extended and revised versions of their papers. However, contributions are not limited to those based on papers presented at TABLEAUX 2007; other submission are welcome as well. All submissions will be refereed to usual journal standards. Submissions should not exceed 30 pages and preferably be written in LaTeX and be formatted according to JLC's author’ guidelines (see the link on the special issue's web page below). Submissions should be sent to (as a Postscript or PDF file): nicola.olivetti at univ-cezanne.fr EDITOR Nicola Olivetti (LSIS, Paul Cézanne University, Marseille, France) FURTHER INFORMATION For further information visit the web page: http://tableaux2007.univ-cezanne.fr/CFPJLC.htm Home page of TABLEAUX 2007: http://tableaux2007.univ-cezanne.fr/ Nicola Olivetti Chair of TABLEAUX 2007 -- Nicola Olivetti LSIS - UMR CNRS 6168 Université Paul Cézanne (Aix-Marseille 3) Domaine Universitaire de Saint-Jérôme Avenue Escadrille Normandie-Niemen 13397 Marseille Cedex 20 (France) email: nicola.olivetti at univ-cezanne.fr, nicola.olivetti at lsis.org phone: +33 (0)49128 9094 fax: +33 (0) 49128 8334 http://www.lsis.org/olivetti/ From danaild at cc.bas.bg Fri Nov 9 14:48:20 2007 From: danaild at cc.bas.bg (Danail Dochev) Date: Fri, 9 Nov 2007 15:48:20 +0200 Subject: 13th Int. Conf. on Artificial Intelligence: Methodology, Systems, Applications AIMSA 2008 Message-ID: <010c01c822d7$3059e590$e7f460c3@cc.bas.bg> Please include this announcement in your events list. Sincerely yours, ---------------------------------------------- Danail Dochev, Assoc. Prof., PhD Head, Artificial Intelligence Dept. Scientific Secretary Institute of Information Technologies - Bulgarian Academy of Sciences Acad. Bonchev st., bl 29A, Sofia 1113 Bulgaria Phone: +359 2 870 75 86 Fax: +359 2 72 04 97 Mobile: +359 889 71 36 22 E-mail: dochev at iinf.bas.bg ----------------------------------------------- FIRST CALL FOR PAPERS The 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications AIMSA 2008 AI at work - Varna, Bulgaria, 4-6th September, 2008 http://www.aimsaconference.org **** Submission deadline: April 15th **** **** Proceedings published by Springer/LNCS **** SCOPE The AIMSA conference series has provided a biennial forum for the presentation of Artificial intelligence research and development since 1984. The conference, which is held in Bulgaria, covers the full range of topics in Artificial Intelligence and related disciplines and provides an ideal forum for international scientific exchange between Central/Eastern Europe and the rest of the world. For AIMSA 2008, we would like to put the emphasis on the works on theories, experimentations, applications, and case studies that demonstrate in practice the added value and the impact of AI science, methodologies and techniques for the market, society, and culture. We believe that this vision of "AI at WORK" truly reflects the original intention of AIMSA, a conference dedicated to Artificial Intelligence in its entirety but with a special emphasis on "Methodology, Systems, and Applications", as explicitly stated in its name. According to this vision, we will also pay special attention to works that "cross the boundaries of AI", i.e., works that demonstrate the influence of AI to different fields of research and different scientific communities, such as Software Engineering, Data Bases, Distributed Systems, Information Systems, Information Retrieval, Service Oriented Applications, etc. TOPICS The conference welcomes submissions of original, high quality papers in all areas of Artificial Intelligence, including but not limited to: * AI in education * Ambient intelligence * Automated reasoning * Computer vision * Data mining and data analysis * Data semantics * Dialogue management and argumentation * Distributed AI * Human-computer interaction and AI * Information integration * Information retrieval * Intelligent decision support * Intelligent user interfaces * Knowledge engineering * Knowledge representation and reasoning * Large scale knowledge management * Logic and constraint programming * Machine learning * Multi-agent systems * Multimedia systems * Natural language processing * Neural networks * Ontologies (creating, linking, merging, reconciliation) * Planning * Robotics * Semantic peer-to-peer and grid systems * Semantic interoperability * Semantic web for e-business and e-learning * Semantic web inference schemes * Semantic web services (description, invocation, composition) * Social desktop and personalisation * Social network analysis * Tools and methodologies for multi-agent software systems * Trust, privacy, and security on the web * Visualization and modelling and AI * Web-based technology and AI All submissions will be subject to academic peer review by at least two members of the program committee. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. For each accepted paper, at least one author is required to attend the conference to present the paper. The best paper of the conference, as selected by the AIMSA 2008 programme committee, will receive the Best Paper Award during the conference. IMPORTANT DATES Submission deadline: April 15, 2008 Notification of acceptance: May 30, 2008 Deadline for camera-ready: June 20, 2008 Conference: September 4-6, 2008 SUBMISSION DETAILS Papers have to be submitted electronically. Details on the submission web site and procedure will soon be available on the conference web site: . Papers should be written in English and should be no more than 10 pages, font Times 11pt. Authors are requested to follow the LNCS Style. The first page should contain the title of the paper, names and addresses of all authors (including e-mail, if available), an abstract (100-150 words) and a list of keywords. Submissions should describe original research. Papers accepted for presentation at AIMSA 2008 cannot be presented or have been presented at another meeting with publicly available published proceedings. Papers that are being submitted to other conferences must indicate this on the title page, as must papers that contain significant overlap with previously published work. Over lengthy or late submissions will be rejected without review. Notification of receipt and acceptance of papers will be sent to the first author. PROCEEDINGS The proceedings will be published by Springer-Verlag in their Lecture Notes in Artificial Intelligence subline of the Lecture Notes in Computer Science series. LANGUAGE The official language of the conference is English. LOCATION AIMSA will be held at the Sunny Day Tourist Complex, 10km from the north-east of Varna and 16km from Varna airport. More information is available in the brochure at the conference web site. PROGRAMME CHAIR Paolo Traverso Scientific and Technology Research (IRST) Fondazione Bruno Kessler (FBK) traverso at fbk.eu I-38100 Trento, Italy ORGANISERS Bulgarian Artificial Intelligence Association Institute of Information Technologies at the Bulgarian Academy of Sciences (IIT - BAS) REGISTRATION The registration information will soon be available on the conference web site: . -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mascardi at disi.unige.it Fri Nov 9 16:23:35 2007 From: mascardi at disi.unige.it (Viviana Mascardi) Date: Fri, 09 Nov 2007 16:23:35 +0100 Subject: CFP: MAGS Special Issue on "Agents, Web Services and Ontologies: Integrated Methodologies" Message-ID: <47347B77.2010406@disi.unige.it> C A L L F O R P A P E R S International Journal Multiagent and Grid Systems IOS Press Special Issue on "Agents, Web Services and Ontologies: Integrated Methodologies" Guest Editors ------------- Matteo Baldoni (baldoni at di.unito.it) Cristina Baroglio (baroglio at di.unito.it) Viviana Mascardi (mascardi at disi.unige.it) Aims of the special issue ------------------------- The realisation of distributed, open, dynamic, and heterogeneous software systems is a challenge that involves many facets, from formal theories to software engineering and practical applications. Scientists in various research areas are attacking this problem from different perspectives. In particular, in the last years service-oriented software technologies, and especially Web Services, have been gaining popularity, becoming a leading paradigm in the development of IT solutions. The current web service technology, however, does not yet supply valid methodologies for developing cross-enterprise systems which require complex interactions among the parties nor it supports the automatic retrieval and composition of web services as well as desired. These issues, actually, demand for semantic descriptions and for a formal representation of organizational aspects that are at the heart of research in other fields, such as Agents and Multi-Agent Systems and Ontologies, where the concepts of autonomy, proactivity, heterogeneity, interaction, inference, flexibility, semantic matching have a central role. Each of the mentioned research fields has its specific competencies, among them: - MAS face the representation of distributed, open systems from an abstract point of view, supplying theories, methodologies, and tools for modelling systems of heterogeneous, interacting entities. - Agent-Oriented Software Engineering studies how existing techniques can be adapted or extended in order to engineer this kind of complex distributed systems, and offers methodologies, notations, and techniques suitable for analysing, modelling, prototyping and finally implementing them following the "Multiagent System" metaphor. - Web Services provide an already available and widely accepted infrastructure for supporting interoperable machine-to-machine interaction over a network, allowing heterogeneous software applications written in various programming languages and running on various platforms both to expose themselves as WSs, and to use other WSs. - The need of sharing either a common, sophisticated conceptualisation of the application domain, or just a simple vocabulary, is more and more often addressed by means of Ontologies. Ontologies are a key technology both in the Agent-Oriented Software Engineering field, where they are used to make the exchange of meaningful information among autonomous entities possible, and in the Web Services field, where they represent the means for moving from Web Services to Semantic Web Services. This Special Issue attempts to collect and compare such diverse experiences with the aim of fostering cross-fertilization. It is *not necessary* that the submitted works tackle all of the mentioned aspects, but emphasis on inter- connections between the fields will be appreciated. This Special Issue is a follow-up of the MALLOW-AWESOME'007 workshop, held at Durham, UK in September 2007 (http://awesome007.disi.unige.it), which has provided a discussion forum for researchers working on Agents, Web Services, and Ontologies. A selection of extended and revised works presented at the workshop will be considered for publication, together with new works, which have not been presented at MALLOW-AWESOME and that will be submitted by answering to this call. Topics ------ Topics of interest are all those concerned with integrated and/or cross-field approaches for engineering Agents, Web Services, Ontologies. They include, but are not limited to: * Semantic Web Agents and Semantic Web Services * Integrated Methodologies, Notations, Infrastructures, Languages for Agents, WSs, Ontologies * Enhancement of communication among Agents/WSs by means of Ontologies * Formal aspects for Agents, WSs and Ontologies * Service-Oriented Multiagent systems * Implementing agents with WS technologies * Agent-inspired Declarative Approaches to WSs or SOA * Exploiting AOSE for engineering WSs and Ontologies * Orchestrations, choreographies, and Interaction Protocols: languages, theory and practice * Formal Description of contracts and negotiation policies * Tools for Semantic Web Services/Agents * Applications of Semantic Web Services/Agents Instructions for Authors ------------------------ Authors are requested to submit their manuscripts by email as PDF files to the Special Issue guest editors (baldoni at di.unito.it, baroglio at di.unito.it, mascardi at disi.unige.it). Please, clearly state in the email message both the journal name and the special issue title. If you mean to contribute to the special issue, please, send an email, containing *tentative title*, *authors*, *short abstract*, and *keywords*, to the guest editors as soon as possible (and no later than January, 15th, 2008). Manuscripts must be formatted according to the guidelines that can be retrieved through the link http://www.iospress.nl/html/15741702.php (accessible also through the MALLOW-AWESOME'007 workshop web page: http://awesome007.disi.unige.it/specialissue.html). Notice that paper submission is to be done by email to the guest editors and *not* by means of the IOS Press submission system, which can be used only for papers that are not to be included in a special issue. Important dates --------------- * Deadline for abstracts: January, 15th, 2008. * Deadline for submission: February, 20th, 2008 * Deadline for review: March, 24th, 2008 From iea-aie at pwr.wroc.pl Mon Nov 12 16:41:14 2007 From: iea-aie at pwr.wroc.pl (IEA-AIE 2008) Date: Mon, 12 Nov 2007 16:41:14 +0100 Subject: CfP (Extended deadline): IEA/AIE 2008 "Int. Conf. on Industrial, Engineering & Other Applications of Applied Intelligent Systems." Message-ID: -- C A L L F O R P A P E R S -- Extended deadline – 25 November 2007 ======================================================================= The Twenty First International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE 2008) Wroclaw, Poland, June 18-20 2008 Conference web site [http://www.ieaaie.pwr.wroc.pl/] ======================================================================== IEA/AIE 2008 continues the long term tradition of concentrating on applications of applied intelligent systems to solve real-life problems in all areas of industry, engineering, science, automation & robotics, business & finance, medicine and biomedicine, bioinformatics, cyberspace, and man-machine interactions. Similarly to previous editions IEA/AIE-08 will include oral presentations, invited speakers, special sessions, doctoral track and poster presentations. Previous IEA/AIE conferences have been held in New-Orleans (2000, LNCS 1821), Budapest (2001, LNCS 2070), Cairns (2002, LNCS 2358), Loughborough (2003, LNCS 2718), Ottawa (2004, LNAI 3029), Bari (2005, LNAI 3533) and Annecy (2006, LNAI 4031), Kyoto (2007, LNAI 4570). IEA/AIE 2008 is sponsored by International Society of Applied Intelligence and Institute of Information Science and Engineering, Wroclaw University of Technology. It is organized in cooperation with: American Association for Artificial Intelligence (AAAI); Association for Computing Machinery (ACM/SIGART); Canadian Society for the Computational Studies of Intelligence (CSCSI/SCEIO); European Neural Network Society (ENNS); International Neural Network Society (INNS); Japanese Society for Artificial Intelligence (JSAI); Taiwanese Association for Artificial Intelligence (TAAI); Texas State University - San Marcos. ======================================================================== Proceedings and Submissions The proceedings of IEA/AIE'08 will be published in Springer Verlag LNCS/LNAI Series. Authors are invited to submit papers, written in English, of up to 10 single spaced pages, presenting results of original research or innovative practical applications relevant to the conference. Practical experiences with state-of-the-art AI methodologies are also acceptable when they reflect lessons of unique value to the conference attendees. Shorter works, up to 6 pages, to be presented in 10 minutes, may be submitted as SHORT PAPERS representing work in progress or suggesting possible research directions. All paper submissions will be done electronically, as indicated in the instructions on the conference web site [www.iea-aie.pwr.wroc.pl.] ======================================================================== Best Paper Award and Post-Conference Journal Issues An award will be given to the best paper (or papers) submitted to the conference as judged by the Program Chairs in collaboration with the Program Committee. All papers, but particularly those nominated for the Best Paper competition, will be automatically considered for publication in an expanded form in the International Journal of Applied Intelligence and other prestigious international journals as well as editorial books (see the list on the conference web site [www.iea-aie.pwr.wroc.pl.]) ======================================================================== Important Dates -- Papers: Full Paper Submission: November 15, 2007 Extended: November 25, 2007 Notification: February 1, 2008 Camera Ready: February 28, 2008 Conference: June 18-20, 2008 ======================================================================== Topics of Interest: Active Mining Adaptive Control Application to Design Applications to Manufacturing Autonomous Agents Bio-informatics Case-based Reasoning Chance Discovery Computer Vision Constraint Satisfaction Conversational Informatics Data Mining & KDS Distributed Problem Solving Expert Systems Fuzzy Logic Genetic Algorithms Genetic Programming Heuristic Search Human Robot Interaction Integration Systems for Real Life Applications Intelligent Interfaces Intelligent Systems Intelligent Systems in Education Internet Applications KBS Methodology Knowledge Management Knowledge Processing Machine Learning Model-based Reasoning Multi-Agent Systems Natural Language Processing Neural Networks Planning and Scheduling Reasoning under Uncertainty Spatial Reasoning Speech Recognition System Temporal Reasoning -- Ngoc Thanh Nguyen Institute of Information Science and Engineering Wroclaw University of Technology thanh at pwr.wroc.pl http://www.iit.pwr.wroc.pl/~nguyen/eng_index.html ............................................................................... IEA-AIE 2008 Organizing Committee 21st Int. Conf. on Industrial, Engineering & Other Applications of Applied Intelligent Systems 18-20 June 2008, Wrocław, Poland http://www.ieaaie.pwr.wroc.pl/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ccml06 at hndx02.hainu.edu.cn Mon Nov 12 08:41:10 2007 From: ccml06 at hndx02.hainu.edu.cn (CISP2008) Date: Mon, 12 Nov 2007 15:41:10 +0800 Subject: Extended Deadline: 1 December 2007, CISP 2008, Sanya, China Message-ID: <200711121112409531715@hainu.edu.cn> ** Our apologies if you receive multiple copies of this announcement * ** As per author requests, we are extending the deadline for paper * ** submissions and invited session proposals to 1 December 2007. * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2008 International Congress on Image and Signal Processing (CISP 2008) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 28 - 30 May 2008, Sanya, Hainan, China Extended Submission Deadline: 1 December 2007 http://www.hainu.edu.cn/CISP2008 Call for Papers, Invited Sessions & Sponsorship The aim of CISP 2008 is to bring together researchers working in many different areas of image and signal processing to foster exchange of new ideas. The CISP 2008 proceedings will be published by the IEEE and will be indexed in both EI and ISTP. Selected good papers will be recommended for publication in SCI/SCI-E indexed international journals. CISP 2008 will be co-located with the 2008 International Conference on BioMedical Engineering and Informatics (BMEI 2008: http://www. hainu.edu.cn/BMEI2008), in order to promote cross-fertilization between the broad areas of biomedical engineering and signal processing. ABOUT SANYA Sanya is one of China's premier tourist destinations, with white-sand beaches, charming scenery, hot-springs, and popular activities such as scuba-diving and rafting. More than 20 ethnic groups, including Han, Li, Miao, and Hui, inhabit Sanya and make Sanya a wonderful place to appreciate the various cultures of China. For more information, visit the conference web page or email the secretariat at cisp2008 at hainu.edu.cn 2007-11-12 CISP2008 -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sean.bechhofer at manchester.ac.uk Wed Nov 14 03:43:49 2007 From: sean.bechhofer at manchester.ac.uk (Sean Bechhofer) Date: Wed, 14 Nov 2007 11:43:49 +0900 Subject: 2nd CFP: European Semantic Web Conference (ESWC2008) Message-ID: <2A3E0543-60F7-44E8-B239-320F0B272DD3@manchester.ac.uk> [Apologies for cross and multiple postings. Please circulate to colleagues and prospective interested parties.] -- SECOND CALL FOR PAPERS -- ======================================================================= 5th European Semantic Web Conference (ESWC2008) Tenerife, Spain, June 1-5 2008. ======================================================================== The vision of the Semantic Web is to enhance today's Web by exploiting machine-processable metadata. The explicit representation of the semantics of data, enriched with domain theories (ontologies), will enable a web that provides a qualitatively new level of service. It will weave together a large network of human knowledge and makes this knowledge machine-processable. Various automated services will help the users to achieve their goals by accessing and processing information in machine-understandable form. This network of knowledge systems will ultimately lead to truly intelligent systems, which will be employed for various complex decision-making tasks. Semantic Web research can benefit from ideas and cross-fertilization with many other areas: Artificial Intelligence, Natural Language Processing, Databases and Information Systems, Information Retrieval, Multimedia, Distributed Systems, Social Networks and Web Engineering. Many advances within these areas can contribute towards the realization of the Semantic Web. The 5th Annual European Semantic Web Conference (ESWC 2008) will present the latest results in research and applications of Semantic Web technologies. ESWC 2008 will also feature a tutorial program, system descriptions and demos, a posters track, a Ph.D. symposium and a number of collocated workshops. The calls for these events are separate and can be found on the conference Web site [http://www.eswc2008.org]. ESWC 2008 is sponsored by STI2, Semantic Technology Institutes International. For more information on STI2, please visit [http://www.sti2.org]. ======================================================================== Submissions ESWC 2008 welcomes the submission of original research and application papers dealing with all aspects of the Semantic Web. We particularly encourage the submission of papers on industrial efforts and experiences with Semantic Web projects. We encourage theoretical, methodological, empirical, and applications papers. The proceedings of this conference will be published in Springer's Lecture Notes in Computer Science series. Paper submission and reviewing for ESWC 2008 will be electronic via the conference submissions site: [http://www.eswc2008.org/submissions.html]. Papers should not exceed fifteen (15) pages in length and must be formatted according to the information for LNCS authors. Papers must be submitted in PDF (Adobe's Portable Document Format) format and will *not* be accepted in any other format. Papers that exceed 15 pages or do not follow the LNCS guidelines risk being rejected automatically without a review. Authors of accepted papers will be required to provide semantic annotations for the abstract of their submission -- details of this process will be provided on the conference Web page at the time of acceptance. At least one author of each accepted paper must register for the conference. ======================================================================== Best Paper Award An award will be given to the best paper (or papers) submitted to the conference as judged by the Program Chairs in collaboration with the Program Committee. ======================================================================== Important Dates Authors must submit an initial abstract. Full papers can then be submitted up to the full paper submission date. Abstract Submission: December 7, 2007 Full Paper Submission: December 14, 2007 Notification: February 29, 2008 Camera Ready: March 14, 2008 Conference: June 1-5, 2008 ======================================================================== Topics of Interest Topics of interest to ESWC 2008 include, but are not limited to: * Ontology Management (creation, evolution, evaluation, etc.) * Ontology Alignment (mapping, matching, merging, mediation and reconciliation) * Ontology Learning and Metadata Generation (e.g., HLT and ML approaches) * Multimedia and Semantic Web * Semantic Annotation of Data * Semantic Web Trust, Privacy, Security and Intellectual Property Rights * Query Languages and Optimization for the Semantic Web * Rule Languages for the Semantic Web * Database Technologies for the Semantic Web * Data Semantics and Web Semantics * Semantic Interoperability * Logics for the Semantic Web * Semantic Web Mining * Reasoning on the Semantic Web * Behavior in the Semantic Web * Searching, Querying, Visualizing, Navigating and Browsing the Semantic Web * Personalization and User Modelling * User Interfaces and Semantic Web * Semantics in P2P Computing and the Grid * Semantic Web Services (description, discovery, invocation, composition, choreography, etc.) * Semantics in Middleware * Semantic Web-based Knowledge Management (e.g. Semantic Desktop, Knowledge Portals) * Semantic Web for e-Business, e-Science, e-Health, e-Culture, e-Government, e-Learning and other application domains * Evaluation of Semantic Web Technologies * Social networks and processes on the Semantic Web * Semantic web technology for collaboration and cooperation We particularly welcome application papers which clearly show benefits of Semantic Web technologies in practical settings. From hra at pixel.cviog.uga.edu Wed Nov 14 16:47:42 2007 From: hra at pixel.cviog.uga.edu (Hamid R. Arabnia) Date: Wed, 14 Nov 2007 10:47:42 -0500 Subject: Call For Papers: WORLDCOMP'08; 25 Int'l Joint Conferences in Computer Science, July 2008, USA Message-ID: <20071114154742.C0831224556C@pixel.cviog.uga.edu> Dear Colleagues: Please disseminate the following announcement to those who may be interested. I would be most grateful. Thank you, Hamid ----- Call For Papers and Call For Session Proposals The 2008 World Congress in Computer Science, Computer Engineering, and Applied Computing WORLDCOMP'08 (composed of 25 Joint Conferences) July 14-17, 2008, Las Vegas, USA You are invited to submit a paper and/or a proposal to organize a session/workshop. All accepted papers will be published in the respective conference proceedings. The Academic Co-sponsors of WORLDCOMP'08 will soon be finalized which will include research laboratories affiliated with major institutions (Academic Co-sponsors of WORLDCOMP'07 included: major research laboratories at Massachusetts Institute of Technology, Harvard University, The University of Texas at Austin, Purdue University, Indiana University, Georgia Institute of Technology, Columbia University, Russian Academy of Sciences, and others. Corporate sponsors included: Google, Inc.; Intel Corporation; and Salford Systems). The 2008 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'08) is composed of the following 25 conferences (all will be held simultaneously, same location and dates: July 14-17, 2008, USA): o The 2008 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'08) o The 2008 International Conference on Grid Computing and Applications (GCA'08) o The 2008 International Conference on Computer Design (CDES'08) o The 2008 International Conference on Scientific Computing (CSC'08) o The 2008 International Conference on Artificial Intelligence (ICAI'08) o The 2008 International Conference on Genetic and Evolutionary Methods (GEM'08) o The 2008 International Conference on Machine Learning; Models, Technologies and Applications (MLMTA'08) o The 2008 International Conference on Information Theory and Statistical Learning (ITSL'08) o The 2008 International Conference on Bioinformatics and Computational Biology (BIOCOMP'08) o The 2008 International Conference on Software Engineering Research and Practice (SERP'08) o The 2008 International Conference on Wireless Networks (ICWN'08) o The 2008 International Conference on Image Processing, Computer Vision, and Pattern Recognition (IPCV'08) o The 2008 International Conference on Modeling, Simulation and Visualization Methods (MSV'08) o The 2008 International Conference on Computer Graphics and Virtual Reality (CGVR'08) o The 2008 International Conference on Internet Computing (ICOMP'08) o The 2008 International Conference on Semantic Web and Web Services (SWWS'08) o The 2008 International Conference on Security and Management (SAM'08) o The 2008 International Conference on Data Mining (DMIN'08) o The 2008 International Conference on Information and Knowledge Engineering (IKE'08) o The 2008 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government (EEE'08) o The 2008 International Conference on Embedded Systems and Applications (ESA'08) o The 2008 International Conference on Frontiers in Education: Computer Science and Computer Engineering (FECS'08) o The 2008 International Conference on Foundations of Computer Science (FCS'08) o The 2008 International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA'08) o The 2008 International Conference on Communications in Computing (CIC'8) (a link to each conference's URL can be found at http://www.world-academy-of-science.org - the web site is currently under construction; servers are being replaced - the link shown above would take you to the 2007 offering of WORLDCOMP; later, the same link would take you to the the 2008 WORLDCOMP.) General Chair and Coordinator: 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 Tel: (706) 542-3480 Fax: (706) 542-2966 E-mail: hra at cs.uga.edu 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. We anticipate to have 2,600 or more attendees from over 80 countries participating in the 2008 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. WORLCOMP'08 will be composed of research presentations, keynote lectures, invited presentations, tutorials, panel discussions, and poster presentations. In recent past, keynote and/or tutorial speakers included: Prof. Michael J. Flynn (Stanford U.); Prof. John H. Holland (U. of Michigan, Ann Arbor); Prof. H. J. Siegel (Colorado State U.); Prof. Barry Vercoe (MIT); Prof. Ruzena Bajcsy (U. of California, Berkeley); Prof. A. K. Dunker (Indiana U. and Purdue U.); Prof. Jun Liu (Harvard U.); Dr. Jim Gettys (developer of X Window, ...); Dr. Chris Rowen (President and CEO, Tensilica, Inc.); and many other distinguished speakers. Proposal for Organizing Sessions/Workshops: Each session will have at least 6 paper presentations from different authors (12 papers in the case of workshops). The session chairs will be responsible for all aspects of their sessions; including, soliciting papers, reviewing, selecting, ... The names of session chairs will appear as Associate Editors in the conference proceedings and on the cover of the books. Proposals to organize sessions should include the following information: name and address (+ email) of proposer, title of session, a 100-word description of the topic of the session, the name of the conference the session is submitted for consideration, and a short description on how the session will be advertised (in most cases, session proposers solicit papers from colleagues and researchers whose work is known to the session proposer). email your proposal to H. R. Arabnia (address is given above). We would like to receive the proposals by December 10, 2007. Submission of Papers: Prospective authors are invited to submit their draft paper (about 5 to 8 pages - single space, font size of 10 to 12) to H. R. Arabnia by Feb. 25, 2008. email submissions in MS document or PDF formats are preferable (Fax or postal 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 Contact Author 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 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; AI; imaging science; databases; simulation; software engineering; embedded systems; internet and web technologies; communications; computer security; and bioinformatics.) The Program Committee for individual conferences is currently being formed. Those interested in joining the Program Committee should email H. R. Arabnia (hra at cs.uga.edu) the following information: Name, affiliation and position, complete mailing address, email address, tel/fax numbers, a short biography together with research interests and the name of the conference offering to help with. Location of Conferences: The conferences will be held in the Monte Carlo hotel, Las Vegas, Nevada, USA (with any overflows at other near-by hotels). This is a mega hotel with excellent conference facilities and over 3,000 rooms. It 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, wave pool, lighted tennis courts, health spa, nightly shows, a number of restaurants, ... The negotiated room rate for conference attendees is very reasonable. The hotel is within walking distance from most other attractions (recreational destinations, Golf courses, ...) Important Dates: Dec. 10, 2007: Proposals for organizing/chairing sessions/workshops Feb. 25, 2008: Submission of papers (about 5 to 8 pages) March 25, 2008: Notification of acceptance April 25, 2008: Camera-Ready papers and Registration due July 14-17, 2008: The 2008 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'08 - 25 joint conferences) Topical Scope for each Conference: To receive the complete list of topics for each of the 25 conferences, send an email to hra at cs.uga.edu or wait for the conferences' url's to be constructed. Future Announcements: If you do not wish to receive future announcements about this event, please send an email to hra at cs.uga.edu. From ccml06 at hndx02.hainu.edu.cn Sun Nov 11 16:47:03 2007 From: ccml06 at hndx02.hainu.edu.cn (CISP-BMEI2008) Date: Sun, 11 Nov 2007 23:47:03 +0800 Subject: Extended Deadline: 1 December 2007, BMEI 2008, Sanya, China Message-ID: <200711112128102180650@hainu.edu.cn> ** Our apologies if you receive multiple copies of this announcement * ** As per author requests, we are extending the deadline for paper * ** submissions and invited session proposals to 1 December 2007. * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2008 International Conference on BioMedical Engineering and Informatics (BMEI 2008) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 28 - 30 May 2008, Sanya, Hainan, China Extended Submission Deadline: 1 December 2007 http://www.tjut.edu.cn/BMEI2008 Call for Papers, Invited Sessions & Sponsorship The aim of BMEI2008 is to bring together researchers working in many different areas of biomedical engineering and informatics to foster international collaborations and exchange of new ideas. The BMEI 2008 conference proceedings will be published by the IEEE and will be indexed in both EI and ISTP. Selected good papers will be recommended for publication in SCI/SCI-E indexed international journals. The BMEI 2008 will be co-located with the 2008 Congress on Image and Signal Processing (CISP 2008: http://www.tjut.edu.cn/CISP2008), in order to promote cross-fertilization between the broad areas of biomedical engineering and signal processing. ABOUT SANYA Sanya is one of China premier tourist destinations, with white-sand beaches, charming scenery, hot-springs, and popular activities such as scuba-diving and rafting. More than 20 ethnic groups, including Han, Li, Miao, and Hui, inhabit Sanya and make Sanya a wonderful place to appreciate the various cultures of China. For more information, visit the conference web page or email the secretariat at bmei2008 at hainu.edu.cn 2007-11-11 CISP-BMEI2008 -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dix at tu-clausthal.de Thu Nov 15 12:05:44 2007 From: dix at tu-clausthal.de (Prof. Dr. Juergen Dix) Date: Thu, 15 Nov 2007 12:05:44 +0100 Subject: Fwd: WoLLIC 2008 - Call for Papers In-Reply-To: References: Message-ID: <473C2808.50605@tu-clausthal.de> Administrator of mailing lists of CIG h schrieb: > Hi Juergen, > what do you think about this one for Event at CIG list? > > Should I send it through? > Yes. > Thanks, > > Peter. > > P.S. > Today we got also an annual call from Hamid Arabnia > on the Worldcomp conference. You know, the International > Joint Blab bla held in Las Vegas and collocating 25(!) > conferences in parallel! ;-). I discarded it right away. > Yes. J From ruy at cin.ufpe.br Thu Nov 15 02:57:28 2007 From: ruy at cin.ufpe.br (ruy at cin.ufpe.br) Date: Wed, 14 Nov 2007 23:57:28 -0200 (BRST) Subject: WoLLIC 2008 - Call for Papers Message-ID: <34684.189.1.6.77.1195091848.squirrel@webmail.cin.ufpe.br> [** sincere apologies for duplicates **] Call for Papers 15th Workshop on Logic, Language, Information and Computation (WoLLIC 2008) Edinburgh, Scotland July 1-4, 2008 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 Fifteenth WoLLIC will be held in Edinburgh, Scotland, from July 1 to July 4, 2008. It is 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/wollic2008/instructions.html A title and single-paragraph abstract should be submitted by February 24, 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 The proceedings of WoLLIC 2008, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's Lecture Notes in Computer Science (tbc). In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2008 issue of the Journal of Logic and Computation (tbc). INVITED SPEAKERS Olivier Danvy (BRICS) Anuj Dawar (Cambridge, UK) Makoto Kanazawa (Nat Inst of Informatics, Japan) Mark Steedman (Edinburgh U) Henry Towsner (CMU) (more to come...) STUDENT GRANTS ASL sponsorship of WoLLIC 2008 will permit ASL student members to apply for a modest travel grant (deadline: April 1, 2008). See www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES February 24, 2008: Paper title and abstract deadline March 2, 2008: Full paper deadline (firm) April 13, 2008: Author notification April 27, 2008: Final version deadline (firm) PROGRAM COMMITTEE Lev Beklemishev (Utrecht) Eli Ben-Sasson (Technion) Xavier Caicedo (U Los Andes, Colombia) Mary Dalrymple (Oxford) Martin Escardo (Birmingham) Wilfrid Hodges (Queen Mary, U London) (Chair) Achim Jung (Birmingham) Louis Kauffman (Maths, U Ill at Chicago) Ulrich Kohlenbach (Darmstadt) Leonid Libkin (Edinburgh U) Giuseppe Longo (Ecole Normal Superieure, Paris) Michael Moortgat (Utrecht) Valeria de Paiva (PARC, USA) Andre Scedrov (Maths, U Penn) Valentin Shehtman (Inst for Information Transmission Problems, Moscow) Joe Wells (Heriot-Watt U, Scotland) ORGANISING COMMITTEE Mauricio Ayala-Rincon (U Brasilia, Brazil) Fairouz Kamareddine (Heriot-Watt U, Scotland, co-chair) Anjolina de Oliveira (U Fed Pernambuco, Brazil) Ruy de Queiroz (U Fed Pernambuco, Brazil, co-chair) WEB PAGE www.cin.ufpe.br/~wollic/wollic2008/ --- From jun.liu.68 at gmail.com Fri Nov 16 07:28:18 2007 From: jun.liu.68 at gmail.com (Jun Liu) Date: Fri, 16 Nov 2007 14:28:18 +0800 Subject: Extended Deadline: 1 December 2007, BMEI 2008, Sanya, China Message-ID: ** Our apologies if you receive multiple copies of this announcement * ** As per author requests, we are extending the deadline for paper * ** submissions and invited session proposals to 1 December 2007. * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2008 International Conference on BioMedical Engineering and Informatics (BMEI 2008) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 28 - 30 May 2008, Sanya, Hainan, China Extended Submission Deadline: 1 December 2007 http://www.hainu.edu.cn/BMEI2008 Call for Papers, Invited Sessions & Sponsorship The aim of BMEI2008 is to bring together researchers working in many different areas of biomedical engineering and informatics to foster international collaborations and exchange of new ideas. The BMEI 2008 conference proceedings will be published by the IEEE and will be indexed in both EI and ISTP. Selected good papers will be recommended for publication in SCI/SCI-E indexed international journals. The BMEI 2008 will be co-located with the 2008 Congress on Image and Signal Processing (CISP 2008: http://www.hainu.edu.cn/CISP2008), in order to promote cross-fertilization between the broad areas of biomedical engineering and signal processing. ABOUT SANYA Sanya is one of China's premier tourist destinations, with white-sand beaches, charming scenery, hot-springs, and popular activities such as scuba-diving and rafting. More than 20 ethnic groups, including Han, Li, Miao, and Hui, inhabit Sanya and make Sanya a wonderful place to appreciate the various cultures of China. For more information, visit the conference web page or email the secretariat at bmei2008 at hainu.edu.cn -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pfeiffer at math.tu-berlin.de Fri Nov 16 20:54:09 2007 From: pfeiffer at math.tu-berlin.de (Olivier Pfeiffer) Date: Fri, 16 Nov 2007 20:54:09 +0100 Subject: Subscribe me! Message-ID: <473DF561.4010900@math.tu-berlin.de> From pfeiffer at math.tu-berlin.de Fri Nov 16 21:03:14 2007 From: pfeiffer at math.tu-berlin.de (Olivier Pfeiffer) Date: Fri, 16 Nov 2007 21:03:14 +0100 Subject: Confirmation Request (1242367677) In-Reply-To: References: Message-ID: <473DF782.6090100@math.tu-berlin.de> event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe(digest) operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 1242367677, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > > > From berndt.farwer at durham.ac.uk Mon Nov 19 14:51:02 2007 From: berndt.farwer at durham.ac.uk (Berndt Farwer) Date: Mon, 19 Nov 2007 13:51:02 +0000 Subject: CFP Logics for Agents and Mobility (LAM'08) Message-ID: <2D3CB937-7416-4674-B74A-7AE9F069E6BA@durham.ac.uk> ****************************************************** 1st CALL FOR PAPERS Workshop on Logics for Agents and Mobility (LAM'08) http://www.dur.ac.uk/berndt.farwer/lam08 4-8 August 2008 ****************************************************** organized as part of the European Summer School on Logic, Language and Information ESSLLI 2008 (http://www.illc.uva.nl/ESSLLI2008/), 4 - 15 August, 2008 in Hamburg, Germany Workshop Organizers: Berndt Farwer (berndt.farwer at durham.ac.uk) Michael Köhler-Bußmeier (koehler at informatik.uni-hamburg.de) Workshop Purpose: Our aim is to bring together active researchers and PhD students in the area of logics and mobile systems, especially in the field of agents and multi-agent systems. Many notions used in the theory of agents are derived from philosophy and linguistics (belief, desire, intention, speech act, etc.), and interdisciplinary discourse has proved fruitful for the advance of this domain. On the other hand, the deployment of large-scale pervasive infrastructures (mobile ad-hoc networks, mobile devices, RFIDs, etc.) is becoming a reality. This raises a number of scientific and technological challenges for the software modelling and programming models for such large-scale, open and highly-dynamic distributed systems. The agent and multi-agent systems approach seems particularly adapted to tackle this challenge, but there are many issues remaining to be investigated. For instance, the agents must be location-aware since the actual services available to them may depend on their (physical or virtual) location. The quality and quantity of resources at their disposal is also largely fluctuant, and the agents must be able to adapt to such highly dynamic environments. Moreover, mobility itself raises a large number of difficult issues related to safety and security, which require the ability to reason about the software (e.g. for analysis or verification). The logics and type systems with temporal or other kinds of modalities (relating to location, resource and/or security- awareness) play a central role in the semantic characterisation and then verification of properties about mobile agent systems. There are still many open problems and research questions in the theory of such systems. The workshop is intended to showcase results and current work being undertaken in these areas. Workshop Topics: - logics for specification and reasoning about agents, MAS, and mobile systems in a broader sense - the aspects of location and resource in logics - security in ad-hoc networks - temporal logics and model checking - type systems and static analysis - logic programming. Submission details: Authors are invited to submit a full paper of original work in the areas mentioned above. Submissions should not exceed 15 pages, preferably using the LaTeX article class and A4 paper. The following formats are accepted: PDF, PS. Please send your submission electronically to lam08 at mac.com by the deadline listed below. The submissions will be reviewed by the workshop's programme committee and additional reviewers. The accepted papers will appear in the workshop proceedings published by ESSLLI. 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 to 3 slots for paper presentation and discussion per session. On the first day the workshop organizers will give an introduction to the topic or if the topic is relatively new to the field, an extended lecture to familiarize the audience with the topic. Invited Speakers: Up to two invited speaker will be named by the end of 2007. Workshop Programme Committee: Berndt Farwer (chair), Durham, UK Michael Köhler (local chair), Hamburg, Germany Thomas Agotnes, Bergen, Norway Matteo Baldoni, Torino, Italy Rafael Bordini, Durham, UK Louise Dennis, Liverpool, UK Marina De Vos, Bath, UK Michael Fisher, Liverpool, UK James Harland, Melbourne, Australia Andreas Herzig, Toulouse, France Koen Hindriks, Delft, Netherlands Wojtek Jamroga, Clausthal, Germany João Leite, Lisbon, Portugal Dale Miller, INRIA, France Frederic Peschanski, Paris, France Wamberto Vasconcelos, Aberdeen, UK Important Dates: Submission Deadline: 8 March 2008 Notification: 21 April 2008 Preliminary programme: 24 April 2008 ESSLLI early registration: 1 May 2008 Final papers for proceedings: 17 May 2008 Final programme: 21 June 2008 Workshop dates: 4-8 August 2008 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. There will be no reimbursement for travel costs and accommodation. Further Information: About the workshop: http://www.dur.ac.uk/berndt.farwer/lam08 About ESSLLI: http://www.illc.uva.nl/ESSLLI2008/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lig at sei.pku.edu.cn Tue Nov 20 11:52:02 2007 From: lig at sei.pku.edu.cn (lig at sei.pku.edu.cn) Date: Tue, 20 Nov 2007 18:52:02 +0800 Subject: ICSR 2008 - Beijing: Final Call for Paper. Message-ID: <200711201852019537808@sei.pku.edu.cn> Call for Papers International Conference on Software Reuse - ICSR May 25-29, 2008 Beijing, China IMPORTANT DATES * Research Paper Submission Deadline: December 20, 2007 * Workshop Proposal Submission Deadline: November 10, 2007 * Notification of Workshop Proposals: November 30, 2007 * Tutorial, Doctoral Symposium, Tool Demonstration Deadline: December 15, 2007 * Notifications of Technical Paper, Tutorial, and Doctoral Symposium: February 25, 2008 * Notifications of Tool Demonstration Notifications: February 28, 2008 * Final Paper Version due: March 5, 2008 * Conference Starts Sunday: May 25, 2008 * Conference Ends Thursday: May 29, 2008 ICSR is the premier international conference in the field of software reuse. The main goal of ICSR is to present the advances and improvements within the software reuse domain, as well as to promote interaction between researchers and practitioners. The 10th International Conference on Software Reuse (ICSR 2008) will be held on May 25-29, 2008 in Beijing, China. We invite Research Papers, Workshop Proposals, Tutorial Proposals, Symposium Descriptions and Tool Demonstrations to be presented and discussed in the conference. The theme of this year is “High Confidence Software Reuse in Large Systems”. A high confidence system is one that behaves in a well-understood and predictable fashion. It must withstand malicious attacks as well as naturally occurring hazards, and must not cause or contribute to accidents or unacceptable losses. Achieving high confidence is becoming more difficult as systems become more complex, especially in large software systems. Today’s trends towards widespread use of commercial off-the-shelf (COTS) technology, increased integration, continuous evolution, and larger scale are yielding more complex software systems. So, the problem of how to build high confidence complex systems and how to reuse software with a high level of confidence become new attractive problems for research. On the other hand, high level software asset reuse has been a goal for the last twenty to thirty years, and it can still be considered an unsolved question. Components Based Development, MDA-MDE-MDD, Extreme Programming, and other techniques or methods are promising approaches to software reuse that still need more research. ICSR 2008 in Beijing will address these new scenarios and their major challenges. We invite authors to submit articles that present results, position papers or experiences relevant to software reuse. The suggested topics for paper submissions include, but are not limited to: * High Confidence Software Reuse Methods * Confidence Ensuring and Evaluating Methods * Best Practice of Software Reuse in Very Large Systems * Architecture Based Software Reuse * Reuse in Service-oriented Environment * Reuse of Service-oriented/SOA Systems * Reliability and security of OTS components and legal issues * Documentation of OTS component * Processes to identify and select OTS components * Software integration and evolution problems * Interaction with the developer community, or with the vendor * Software variability management * Aspect-oriented software reuse * Software generators and domain-specific languages * Software product lines, software product families, and domain engineering * Component-based software engineering * Application of MDD * Asset search and retrieval techniques * Evolution of component-based software systems * Lightweight approaches to software reuse * Managing the transition towards a reuse organization * Legal, managerial, and economic issues of software development with reuse * Benefit and risk analysis of reuse investments * Reuse in the e-commerce context: how to address fast-evolving markets * Generation of non-code artifacts * Testing of components and generators * Quality aspects of reuse, e.g. security and reliability * Success and failure stories of reuse approaches from industrial context RESEARCH PAPERS Research papers should describe original and significant work in the research and practice of software reuse. Case studies, empirical research, and experiments are particularly welcome. We also welcome papers that present leading edge and novel ideas in software reuse. Submissions should conform to the same format as Springer's Lecture Notes in Computer Science, and must not exceed 10 pages (About 5000 words) in length, in English. The authors of accepted papers are advised to follow in the preparation of the camera ready copy the Springer guidelines. For detailed information, please access our conference website: http://www.sei.pku.edu.cn/conference/icsr2008/ ***Submit by December 20, 2007*** WORKSHOPS ICSR 2008 also invites submissions of workshop proposals. The workshops co-located with the conference should provide an opportunity for exchanging views, advancing ideas, and discussing preliminary results on software reuse research and applications. Workshop proposals should not exceed 3 pages, including one page preliminary call for papers, their relevance to the conference, expected number of presenters and participants, and a brief description of workshop organizers. Proposals for workshops can be sent to Dr. Jianjun Zhao (Email: zhao-jj at cs.sjtu.edu.cn), ICSR 2008 Workshops Chair. For detailed information about the workshop proposals delivery, please access our conference website: http://www.sei.pku.edu.cn/conference/icsr2008/ ***Submit by November 10, 2007*** TUTORIALS Tutorials are an integral component of the ICSR conferences. They should offer participants the opportunity to explore software reuse topics in depth; to gain new insights, knowledge, and skills; and to learn from some of the leaders in the field. Proposals for tutorials are invited on any theme that is relevant to the software reuse community. However, we are particularly keen to offer tutorials aimed at disseminating the results of research and experience to practitioners. Proposals for tutorials can be sent to Dr. Jeffrey Poulin (Email: jeffrey.poulin at lmco.com), ICSR 2008 Tutorials Chair. For detailed information, please access our conference website: http://www.sei.pku.edu.cn/conference/icsr2008/ ***Submit by December 15, 2007*** DOCTORAL SYMPOSIUM The Doctoral Symposium track is for those who are currently working on or who have recently completed their PhD thesis. The track offers an opportunity to present research problems, solution directions, results obtained thus far, and research plans towards the completion of the PhD studies. The paper should be a 2 page summary of your PhD project, and can be sent to Dr. Gregory Kulczycki (Email: gregwk at vt.edu), ICSR 2008 Doctoral Symposium Chair. For detailed information, please access our conference website: http://www.sei.pku.edu.cn/conference/icsr2008/ ***Submit by December 15, 2007*** TOOL DEMONSTRATIONS We invite proposals for tool demonstrations on any topics related to software reuse. Demonstrations will be in an open session to allow individual interaction with the participants. Submissions should not exceed two pages in proceedings format. Proposals for tool demonstrations can be sent to Dr. Jose Luis Barros (Email: jbarros at uvigo.es), ICSR 2008 Demos Chair. For detailed information, please access our conference website: http://www.sei.pku.edu.cn/conference/icsr2008/ ***Submit by December 15, 2007*** MORE INFORMATION The Conference URL is: http://www.sei.pku.edu.cn/conference/icsr2008/ The Call for Papers URL is: http://www.sei.pku.edu.cn/conference/icsr2008/icsr_2008_call_for_paper.htm GENERAL CHAIR Juan Llorens, University Carlos III of Madrid, Spain. PROGRAM CHAIR Hong Mei, Peking University, China. PROGRAM COMMITTEE Sidney Bailin, Knowledge Evolution, USA Jose Luis Barros, Unversidad de Vigo, Spain Ted Biggerstaff, SoftwareGenerators.com, USA Sholom Cohen, Software Engineering Institute, USA Reidar Conradi, Norwegian University of Science and Technology, Norway Hakan Erdogmus, NRC Institute for Information Technology, Canada John Favaro, Consulenza Informatica, Italy Robert Feldt, Blekinge Institute of Technology, Sweden Bill Frakes, Virginia Tech, USA Cristina Gacek, University of Newcastle upon Tyne, UK Gonzalo Genova, Universidad Carlos III Madrid, Spain Birgit Geppert, Avaya Labs, USA Hassan Gomaa, George Mason Univ, USA Yanxiang He, Wuhan University, China Zhi Jin, Institute of Mathematics Chinese Academy of Sciences, China Merijn de Jonge, Philips, Netherlands Kyo Kang, Postech, Korea Gregory Kulczycki, Virginia Tech, USA Patricia Lago, Vrije Universiteit Amsterdam, Netherlands Filippo Lanubile, Universita' di Bari, Italy Xuandong Li, Nanjing University, China Chuck Lillie, ISASE, USA Chao Liu, Beihang Universtiy, China Juan Llorens, Universidad Carlos III Madrid, Spain Mike Mannion, Glasgow Caledonian University, UK Masao Matsumoto, Kyushu Sangyo University, Japan Hong Mei, Peking University, China Ali Mili, New Jersey Institute of Technology, USA Maurizio Morisio, Polytechnic of Turin, Italy Markku Oivo, University of Oulu, Finland Rob van Ommering, Philips Research Laboratory, Netherlands Witold Pedrycz, University of Alberta, Canada Jeff Poulin, Lockheed Martin Systems Integration- Owego, USA Wolfgang Pree, University of Salzburg, Austria Ruben Prieto-Diaz, James Madison University, USA Klaus Schmid, University of Hildesheim, Germany Alberto Sillitti, Free University of Bolzano/Bozen, Italy Ioannis Stamelos, Aristotle University of Thessaloniki, Greace Claudia Werner, University of Rio de Janeiro, Brazil Jianjun Zhao, Shanghai Jiao Tong University, China Wenyun Zhao, Fudan University, China From mehdi at cs.uu.nl Tue Nov 20 13:55:22 2007 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Tue, 20 Nov 2007 13:55:22 +0100 Subject: EUMAS-07: call for participation Message-ID: <4742D93A.8060403@cs.uu.nl> ===================================================================== The Fifth European Workshop On Multi-Agent Systems Call for Participation ***** Registration is Open ***** Hammamet, Tunisia 13-14 December, 2007 http://www.atia.rnu.tn/eumas/ ===================================================================== The EUMAS'07 workshop aims at presenting an overview of state-of-the art research and development in multi-agent systems. The workshop programme consists of 52 paper presentations and invited talks by Cees Witteveen (Delft University of Technology) and Leila Amgoud (IRIT, Toulouse). The workshop will be held at Abou Nawas hotel in Hammamet (North Hammamet), Tunisia. The Fifth Technical Forum on multi-agent system (TF5), which is co-located with the EUMAS workshop, takes place on December 12th. The programmes of these two events are available on the workshop website. Please visit http://www.atia.rnu.tn/eumas/ to register now. Early Registration: 30th November Late Registration: 10th December Fifth Technical Forum: 12th December EUMAS'07 Workshop: 13th and 14th December From virginia at cs.uu.nl Tue Nov 20 21:04:43 2007 From: virginia at cs.uu.nl (Virginia Dignum) Date: Tue, 20 Nov 2007 21:04:43 +0100 Subject: Postdoc Position "Coordination Web Services" - EU-FP7 Project ALIVE Message-ID: <47433DDB.2070209@cs.uu.nl> Postdoc Coordination Web Services (1,0 fte) =========================================== Job description For the European project ALIVE (Coordination, Organisation and Model Driven Approaches for Dynamic, Flexible, Robust Software and Services Engineering), we are looking for one postdoctoral researcher in the area of agent organisations and web services. The ALIVE projects aims at the adaptation and reuse of coordination and organization mechanisms often seen in human and other societies as underlying model for new generations of software systems. The postdoctoral researcher will work on the modelling and specification of contexts for web services integration. Such contexts provide an abstract level of description of web service functionalities and requirements to enable a natural representation of the social interactions and dynamic changes in the web service environment. It should provide robust descriptions of the distributed system, account for the autonomous nature of the service providers/consumers and define a wide range of strategies and mechanisms to keep the system as a whole functioning coherently and robust in changing circumstances. The work will include both theoretical research as well as prototype development. A detailed description of the project is available on request. Information on the department: http://www.cs.uu.nl/research Qualifications Candidates should have a PhD in Computer Science, Artificial Intelligence or related discipline. Experience with multi-agent systems modelling and implementation is a must. Knowledge of normative, onto logic and organizational concepts in MAS is important. Scientific creativity and productivity must be shown by publications in international journals and conferences within the indicated areas. Terms of employment A fulltime position as a postdoctoral researcher for a period of 30 months starting by 1 February 2008. The salary will be min. € 2,279.- and max € 3,597.- gross per month (scale 10) depending on qualifications and experience. The salary is supplemented with a holiday allowance of 8%, and an end-of year bonus of 3% gross per year. In addition we offer: partially paid parental leave, subsidy for child care, flexible employment conditions in which you may trade salary for vacation days or vice versa. The employment conditions are based on the Collective Employment Agreement of the Dutch Universities Further details For more information contact Dr Virginia Dignum, virginia at cs.uu.nl or Dr Frank Dignum, dignum at cs.uu.nl How to apply To apply, please send your application in writing, including a curriculum vitae, list of publications and minimal two references before 7 December 2007 to the Personnel Department of the Faculty of Science, Budapestlaan 6, 3584 CD Utrecht, The Netherlands, or submit by e-mail to science.PenO at uu.nl. Please cite vacancy number 62722. Faculty of Science The Faculty of Science consists of six departments: Biology, Pharmaceutical Sciences, Information and Computing Sciences, Physics and Astronomy, Chemistry and Mathematics. The Faculty is home to 3500 students and nearly 2000 staff and is internationally renowned for the quality of its research. The Faculty's academic programmes reflect developments in today's society. Publication date: 08-11-2007 From koen at mmi.tudelft.nl Tue Nov 20 21:43:29 2007 From: koen at mmi.tudelft.nl (Koen Hindriks) Date: Tue, 20 Nov 2007 21:43:29 +0100 Subject: job opening: assistant/associate professorship Intelligent Interaction Support Message-ID: <000901c82bb6$0274cb30$0700000a@meije> Assistant/Associate Professor Intelligent Interaction Support ============================================================= The Man-Machine Interaction group of the TU Delft has a vacancy for an Assistant/Associate Professor Intelligent Interaction Support. Job description --------------- The research of the MMI section aims at engineering user experiences. In this research programme, the design of intelligent, multimodal, context-sensitive systems plays an important role. The focus is on designing systems that can interact both intelligently as well as naturally with its users. A negotiation support system is one example of such a system. The applicant should have experience in Artificial Intelligence techniques, such as (dynamic) Bayesian processing, (hidden) Markov models, agent technology, and cognitive modelling. Ideally, the applicant has experience in the design of cognitive models emulating the perception, reasoning and behaviour of human beings. Experience in emotion recognition from facial expressions or speech is appreciated. To assess the context and state of the user, it is necessary to capture and analyse various signals, both verbal and nonverbal. The research must be fundamental as well as applied. The applicant should be able to design new models and algorithms and also be able to implement those models and algorithms in specific applications. For more information see: http://www.vacaturesindelft.nl/ ----------------------------------------------------------- To apply, please send a detailed CV together with a letter of application, at least three references and no more than five key publications before November 30, 2007 to Delft University of Technology, Faculty of EWI, Attn: Jamila Eddini, Mekelweg 4, 2628 CD Delft, The Netherlands or send your application online to peno-ewi at tudelft.nl. When applying for this job always mention vacancy number EWI 2007.43. For more information about Delft University of Technology, please visit www.tudelft.nl. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jleite at di.fct.unl.pt Mon Nov 26 03:01:51 2007 From: jleite at di.fct.unl.pt (Joao Leite) Date: Mon, 26 Nov 2007 02:01:51 +0000 Subject: WARNING! (0839223855) In-Reply-To: References: Message-ID: On Nov 26, 2007 1:59 AM, event administration wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 0839223855, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > From heiner at informatik.uni-mannheim.de Mon Nov 26 17:52:14 2007 From: heiner at informatik.uni-mannheim.de (Heiner Stuckenschmidt) Date: Mon, 26 Nov 2007 17:52:14 +0100 Subject: ESWC 2008: Final Call for Workshop Proposals Message-ID: <000001c8304c$d356fbc0$a50f9b86@informatik.unimannheim.de> Final Call for Workshop Proposals 5th European Semantic Web Conference 01 - 05 June 2008 Tenerife, Spain http://www.eswc2008.org/ The ESWC is the leading European Conference on Theory, Practice and Applications of Semantic Web Technologies, constantly attracting a high number of high quality submissions participants from academia and industry. Besides the main technical programme, ESWC will host a number of workshops on topics related to the general theme of the conference. The role of the workshops is to provide a platform for a more intensive scientific exchange amongst researchers interested in a particular topic and as a meeting point for the community. The workshops should provide the opportunity to present and discuss ongoing work and new ideas in subfield of Semantic Web research. In order to meet these goals, workshop should address topics that satisfy the following criteria: - the topic falls in the general scope of the ESWC conference (compare http://www.eswc2008.org/) - there is a clear focus on a specific technology, problem or application - there is a sufficiently large community interested in the topic In particular, we encourage the submission of workshop proposals on - fundamental problems of the semantic web such as heterogeneity, scalability and distribution - applications of semantic web technologies in specific domains - important enabling technologies and their adaptation to the needs of the semantic web - aspects of semantic web research that have been neglected so far Workshop proposals should be sent to the workshop chair (heiner at informatik.uni-mannheim.de) before December 2007 as a single PDF file of no more than 5 pages and should contain the following information - name, address and experience of the workshop organizers - the proposed topic and its role in the semantic web - a clear explanation of the scope of the workshop - a description of the community addressed, information about it size and related activities - if possible a tentative list of PC members Proposers of accepted workshops have to prepare a workshop webpage containing a call for papers and detailed information about the workshop organization and timelines by mid January. Other relevant dates are the following. Important Dates: Workshop Proposals Due: December 1, 2007 Notification of Acceptance: December 15, 2007 Workshop URL due: January 11, 2008 Proposed timeline for workshops: Deadlines: march 7, 2008 Notifications: April 4, 2008 Camera ready: April 18, 2008 Workshop Notes due: May 1, 2008 Heiner Stuckenschmidt (ESWC 2008 Workshop Chair) -- ============================================= Prof. Dr. Heiner Stuckenschmidt Institut für Informatik Universität Mannheim A5, 6 68159 Mannheim Room C216 tel.: +49 621 181 2530 fax: +49 621 181 2679 email: heiner at informatik.uni-mannheim.de www: http://ki.informatik.uni-mannheim.de --------------------------------------------- Life is a lemon and I want my money back! From mehdi at cs.uu.nl Tue Nov 27 13:01:05 2007 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Tue, 27 Nov 2007 13:01:05 +0100 Subject: EUMAS-07: Final call for participation Message-ID: <474C0701.9070103@cs.uu.nl> ===================================================================== The Fifth European Workshop On Multi-Agent Systems Final Call for Participation ***** Early registration ***** ***** 30 November 2007 ***** Hammamet, Tunisia 13-14 December, 2007 http://www.atia.rnu.tn/eumas/ ===================================================================== The EUMAS'07 workshop aims at presenting an overview of state-of-the art research and development in multi-agent systems. The workshop programme consists of 52 paper presentations and invited talks by Cees Witteveen (Delft University of Technology) and Leila Amgoud (IRIT, Toulouse). The workshop will be held at Abou Nawas hotel in Hammamet (North Hammamet), Tunisia. The Fifth Technical Forum on multi-agent system (TF5), which is co-located with the EUMAS workshop, takes place on December 12th. The programmes of these two events are available on the workshop website. Please visit http://www.atia.rnu.tn/eumas/ to register now. Early Registration: 30th November Late Registration: 10th December Fifth Technical Forum: 12th December EUMAS'07 Workshop: 13th and 14th December From alexander.friedmann at uqam.ca Tue Nov 27 18:42:15 2007 From: alexander.friedmann at uqam.ca (Alex Friedmann) Date: Tue, 27 Nov 2007 12:42:15 -0500 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: <6buhm2$4trlmc@toip7.srvr.bell.ca> At 08:59 PM 11/25/2007, you wrote: >This is an automated message from the > mailing list manager > >List messages sent to your address have bounced. From leucker at in.tum.de Wed Nov 28 16:04:02 2007 From: leucker at in.tum.de (Martin Leucker) Date: Wed, 28 Nov 2007 16:04:02 +0100 Subject: FinalCFP: RV'08 - Runtime Verification Message-ID: <20071128150402.GA9369@in.tum.de> We apologize if you receive multiple copies of this email. ---------------------------------------------------------------------- Call for Papers RV'08 8th Workshop on Runtime Verification http://rv08.in.tum.de/ March 30, 2008 Budapest, Hungary Affiliated with ETAPS'08 http://etaps08.mit.bme.hu/ ---------------------------------------------------------------------- RV'08 brings together researchers in order to debate how to monitor and analyze the execution of programs. The focus of runtime verification varies from testing software before deployment to detecting errors after deployment. Approaches to runtime verification include checking conformance with a formal specification written in a temporal or history-tracking logic. One of the longer-term goals of the workshop is to investigate the use of lightweight formal methods applied at runtime as a viable complement to methods aimed mainly at proving programs correct prior to execution, e.g., theorem proving and model checking. Moreover, the focus of RV has been extended from detecting (non)-conformance to triggering fault protection mechanisms in case non-conformance has been detected. This allows for new software design and programming paradigms. Thus, RV's topics partially overlap with those found in other directions such as aspect oriented programming, self-healing systems, autonomous systems, adaptive systems, etc. The subject covers several technical fields as outlined below. * Specification languages and logics: Formal methods scientists have investigated logics and developed technologies that are suitable for model checking and theorem proving, but monitoring can reveal new observation-based foundational logics. * Aspect oriented languages with trace predicates: New results in extending aspect languages, such as for example AspectJ, with trace predicates replacing the standard pointcuts. Aspect oriented programming provides specific solutions to program instrumentation and program guidance. * Program instrumentation in general: Any techniques for instrumenting programs, at the source code or object code/byte code level, to emit relevant events to an observer. * Program Guidance in general: Methodologies, architectures, and techniques for guiding the behavior of a program once its specification is violated, for developing self-healing, autonomous, or adaptive systems. Techniques ranging from standard exceptions to advanced planning lead to new development methodologies and software architectures such as monitor-oriented programming or monitor-based runtime reflection. * Combining static and dynamic analysis: Monitoring a program with respect to a temporal formula can have an impact on the monitored program, with respect to execution time as well as memory consumption. Static analysis can be used to minimize the impact by optimizing the program instrumentation. Runtime monitors can be seen as proof obligations left over from proofs - what is left that could not be proved. * Dynamic program analysis: Techniques that gather information during program execution and use it to conclude properties about the program, either during test or in operation. Algorithms for detecting multi-threading errors in execution traces, such as deadlocks and data races. Algorithms for generating specifications from runs - dynamic reverse engineering, including also program visualization. * Security analysis: Monitoring for the enforcement of security policies. Successful applications include operating system and middleware access control, firewalls, stack inspection based sandboxing, detecting the threats of untrustworthy (malicious or buggy) code, intrusion detection etc. * Contract Security analysis: Monitoring for the enforcement of contract fulfillment in SOA and web-services, especially in contract-oriented software development. Both foundational and practical aspects are encouraged. PROCEEDINGS: Preliminary workshop proceedings will be available at the meeting as a technical report. As for RV'07, revised final papers will appear as Springer Lecture Notes in Computer Science (LNCS). SUBMISSIONS: * All submissions should be made electronically on the Submission Page. * Manuscripts of regular papers are limited to a maximum of 15 pages (excluding technical appendices) in PDF format (LNCS style mandatory). DATES: Abstracts: December 9, 2007 Submissions: December 14, 2007 Notification: January 14, 2008 Camera ready copy: January 28, 2008 Workshop: March 30, 2008 INVITED SPEAKER: Jean Goubault-Larrecq: Orchids, and Bad Weeds PROGRAM COMMITTEE: Mehmet Aksit (University of Twente, NL) Howard Barringer (University of Manchester, UK) Mads Dam (KTH Stockholm, SE) Bernd Finkbeiner (Saarland University, DE) Klaus Havelund (NASA Jet Propulsion Laboratory, US) Bengt Jonsson (Uppsala Univesitet, SE) Moonzoo Kim (KAIST, KR) Martin Leucker (Chair) (Technical University of Munich, DE) Dejan Nickovic (Verimag, FR) Doron Peled (Bar Ilan University, IL) Mauro Pezze (University of Lugano, CH) Shaz Qadeer (Microsoft Research, US) Grigore Rosu (University of Illinois, Urbana-Champaign, US) Gerardo Schneider (University of Oslo, NO) Henny Sipma (Stanford University, US) Oleg Sokolsky (University of Pennsylvania, US) Scott Stoller (State University of New York, US) Mario Sudholt (Ecole des Mines de Nantes-INRIA, LINA, FR) Serdar Tasiran (Koc University, TR) Stavros Tripakis (Cadence Labs, US) Yaron Wolfsthal (IBM, IL) STEERING COMMITTEE: Klaus Havelund (NASA Jet Propulsion Laboratory) Gerard Holzmann (NASA Jet Propulsion Laboratory) Insup Lee (University of Pennsylvania) Grigore Rosu (University of Illinois, Urbana-Champaign) From marcello.balduccini at gmail.com Wed Nov 28 19:16:48 2007 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Wed, 28 Nov 2007 13:16:48 -0500 Subject: subscribe Message-ID: <00b001c831ea$d7f783d0$87e68b70$@balduccini@gmail.com> -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From marcello.balduccini at gmail.com Wed Nov 28 20:23:37 2007 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Wed, 28 Nov 2007 14:23:37 -0500 Subject: Confirmation Request (2276505317) In-Reply-To: References: Message-ID: <00e001c831f4$2d3f17f0$87bd47d0$@balduccini@gmail.com> > -----Original Message----- > From: event administration [mailto:event-subscribe at in.tu-clausthal.de] > Sent: Wednesday, November 28, 2007 2:17 PM > To: Marcello Balduccini > Subject: Confirmation Request (2276505317) > > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2276505317, > the reply is directed to , > and the 'From' address of your reply is > . > > If you do not want to confirm the requested operation, simply do > nothing > > All requests about this mailing list > should be sent to From Serge.Autexier at dfki.de Thu Nov 29 13:24:05 2007 From: Serge.Autexier at dfki.de (Serge Autexier) Date: Thu, 29 Nov 2007 13:24:05 +0100 Subject: MKM'08: First Call for Papers and Workshops Message-ID: <474eaf65.lGYWUfu07vxiNqes%Serge.Autexier@dfki.de> [Please post - apologies for multiple copies] MKM 2008 The Seventh International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT http://events.cs.bham.ac.uk/cicm08/mkm08/ 28-30 July 2008 Birmingham, UK FIRST CALL FOR PAPERS AND WORKSHOPS Mathematical Knowledge Management is an innovative field at the intersection of mathematics, computer science, library science, and scientific publishing. Its development is driven by on the one hand new technological possibilities which computer science, the Internet, and intelligent knowledge processing offer, and on the other hand the increasing demand by engineers and scientists for new techniques for producing, transmitting, consuming, and managing sophisticated mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. Topics covered include, but are not limited to: Representations of mathematical knowledge Repositories of formalized mathematics Mathematical digital libraries Diagrammatic representations Multi-modal representations Mathematical OCR Mathematical search and retrieval Deduction systems Math assistants, tutoring and assessment systems Authoring languages and tools MathML, OpenMath, and other mathematical content standards Web presentation of mathematics Data mining, discovery, theory exploration Computer Algebra Systems Collaboration tools for mathematics Challenges and Solutions for Mathematical workflows PAPER SUBMISSIONS All papers submitted to the Conference will be reviewed. Submission is electronic in Postscript or PDF format via the EasyChair system (http://www.easychair.org/MKM08). Submitted papers must conform to the Springer LNCS style, preferably using LaTeX2e and the Springer llncs class files available at http://www.springer.com/lncs. Submitted papers should not exceed 15 pages, must be original and not submitted for publication. Submission website: http://www.easychair.org/MKM08 PROCEEDINGS The conference proceedings will be published in the Springer-Verlag series Lecture Notes in Artificial Intelligence (LNAI). WORKSHOPS The following workshops take place in conjunction with MKM 2008: * The "Mathematical User-Interfaces" Workshop 2008 (MathUI08), which is organized by Paul Libbrecht. * A Workshop "Towards Future Digital Mathematics Libraries", which is organized by Petr Sojka. If you are interested in organizing one, contact the co-chairs Serge Autexier and Masakazu Suzuki at mkm08 at ags.uni-sb.de as soon as possible. IMPORTANT DATES Submission of title and abstract: March 7, 2008 Submission of full papers: March 14, 2008 Notification: May 2, 2008 Camera ready version: May 16, 2008 Conference in Birmingham: July 28-30, 2008 PROGRAM COMMITTEE Andrea Asperti University of Bologna, Italy Serge Autexier (Co-Chair) DFKI Saarbruecken & Saarland University., Germany Laurent Bernardin Maplesoft, Canada Thierry Bouche Universite de Grenoble I, France Paul Cairns University College London, England Olga Caprotti University of Helsinki, Finland Simon Colton Imperial College, London, England Mike Dewar NAG Ltd., England William Farmer McMaster University, Hamilton, Canada Herman Geuvers Radboud University Nijmegen, The Netherlands Eberhard Hilf Inst. for Science Networking Oldenburg, Germany Tetsuo Ida University of Tsukuba, Japan Mateja Jamnik University of Cambridge, England Fairouz Kamareddine Heriot-Watt University, Scotland Manfred Kerber University of Birmingham, England Michael Kohlhase Jacobs University Bremen, Germany Paul Libbrecht DFKI Saarbruecken, Germany Bruce Miller NIST, USA Robert Miner Design Science, Inc., USA Bengt Nordstroem Chalmers University of Technology, Sweden Eugenio Rocha University of Aveiro, Portugal Alan Sexton University of Birmingham, England Petr Sojka Masaryk University, Brno, CZ Volker Sorge University of Birmingham, England Masakazu Suzuki (Co-Chair) Kyushu University, Japan Andrzej Tryblec University of Bialystok, Poland Stephen Watt The University of Western Ontario, Canada Abdou Youssef George Washington University, Washington DC, USA CONFERENCE CHAIR Volker Sorge University of Birmingham, England RELATED LINKS MKM IG http://www.mkm-ig.org/ Calculemus'08 http://events.cs.bham.ac.uk/cicm08/calculemus08/ AISC'08 http://events.cs.bham.ac.uk/cicm08/aisc08/ CICM'08 http://events.cs.bham.ac.uk/cicm08 -- Serge Autexier Tel: +49-681-302-2133 DFKI GmbH & Fax: +49-681-302-5076 Informatics, Saarland University Email: autexier at dfki.de 66123 Saarbruecken WWW: www.dfki.de/~serge/ From clu at tcs.inf.tu-dresden.de Thu Nov 29 14:52:11 2007 From: clu at tcs.inf.tu-dresden.de (Carsten Lutz) Date: Thu, 29 Nov 2007 14:52:11 +0100 Subject: KR08 Doctoral Consortium, Call for Applications Message-ID: KR2008 DOCTORAL CONSORTIUM Call for Application September 16 - 19, 2008 Sydney, Australia The 11th International Conference on Principles of Knowledge Representation and Reasoning (KR2008) invites PhD students to apply for the Doctoral Consortium program. The aims of the consortium are: - to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; - to promote contacts among PhD students working in similar areas; - to support students with information and advice on academic, research and industrial careers; The Doctoral Consortium is a student mentoring program that introduces students to senior researchers with similar interests. Students accepted into the Doctoral Consortium are waived registration fee for KR2008 and present their work during a poster session. They can apply for a scholarship that partly covers their travel expenses. We encourage submissions from PhD students at any level, and from any topic area within Knowledge Representation and Reasoning. Applications must be submitted via our online submission site (see below). Each application must contain the following materials: - Thesis summary. A description of the problem being addressed, the motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. It must be four pages maximum in the usual KR double-column style. - Letter of recommendation. A letter from your thesis advisor that states that (s)he supports your participation in the DC. IMPORTANT DATES May 1, 2008 Deadline for application May 25, 2008 Acceptance notification September 16-19, 2008 Doctoral consortium Application Submission The most preferred way of submission is to combine the thesis summary and letter of recommendation into a single PDF or postscript document. If you cannot do that, archive the two documents into a single zip file. In either case, the resulting single file has to be submitted via the EasyChair system at http://www.easychair.org/conferences/?conf=kr08dc For further information, please contact the Doctoral Consortium chair: Carsten Lutz TU Dresden, Germany lutz at tcs.inf.tu-dresden.de From k.balogh at uva.nl Fri Nov 30 11:28:20 2007 From: k.balogh at uva.nl (Kata Balogh) Date: Fri, 30 Nov 2007 11:28:20 +0100 Subject: 1st CfP -- ESSLLI 2008 Student Session Message-ID: [apologies for multiple copies] *********************************************************** 1st Call for Papers ESSLLI 2008 STUDENT SESSION 4-18 August 2008, Hamburg, Germany Submission deadline: 15 February 2008 Website: http://staff.science.uva.nl/~kbalogh/StuS13 *********************************************************** We are pleased to announce the Student Session of the 20th European Summer School in Logic, Language and Information to be held in Hamburg, Germany on August 4-15, 2008. The aim of the Student Session is to give an opportunity to students at all levels (Bachelor-, Master- and PhD-students) to present and discuss their work in progress with a possibility to get feedback from senior researchers. Each year, 18 papers are selected for oral presentation and a number of others for poster presentation. CALL FOR PAPERS The programme committee invites submissions of papers for oral and poster presentation and for appearance in the proceedings. We welcome submissions with topics within the areas of Logic, Language and Computation. *** Submission deadline: 15 February 2008 *** The ESSLLI Student Session encourages submissions from students at any level, undergraduates as well as postgraduates. Papers co-authored by non-students will not be accepted. The Student Session papers should describe original, unpublished work, completed or in progress, that demonstrates insight, creativity, and promise. No previously published papers should be submitted. SUBMISSION Student authors are invited to submit a full paper up to 7 pages inclusive of references. Note that the length of the final version of the accepted papers will not be allowed to exceed 10 pages. The preferred formats of submissions are PostScript or PDF, although other formats will also be accepted. More submission details and all relevant information at: http://staff.science.uva.nl/~kbalogh/StuS13 CONTACT Kata Balogh ESSLLI 2008 Student Session chair email: k.balogh at uva.nl tel.: +31 20 5254544 fax: +31 20 5254503 postal address: Department of Philosophy Universiteit van Amsterdam Nieuwe Doelenstraat 15 1012 CP Amsterdam The Netherlands From geoff at cs.miami.edu Fri Nov 30 14:19:56 2007 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Fri, 30 Nov 2007 08:19:56 -0500 (EST) Subject: IJCAR Call for Papers, and Workshop and Tutorial Proposals Message-ID: <20071130131956.6ADBC11F8C6@mcclellan.cs.miami.edu> IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning Sydney, Australia, 10th - 15th August, 2008 http://2008.IJCAR.org Call for Papers, and Workshop and Tutorial Proposals ---------------------------------------------------- ============================================================ | Workshop and Tutorial Proposal Deadline is 17th December | ============================================================ IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and is a merger of leading events: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems), FTP (Workshop on First-order Theorem Proving) and TABLEAUX (Conference on Analytic Tableaux and Related Methods) IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions and invited talks. There will be two days of workshops and tutorials, 10th and 11th August, and the conference 12th to 15th August. Conference chair: Peter Baumgartner (NICTA) ------------------------------------------------------------------------------ Call for Papers --------------- IJCAR 2008 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. See the IJCAR website for a detailed list of logics, methods, and applications of interest. The proceedings of IJCAR 2008 will be published by Springer-Verlag in the LNAI/LNCS series. Submission details: Submission is electronic, through http://www.easychair.org/IJCAR2008/. Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from http://www.springer.de/comp/lncs/authors.html. The page limit is 15 pages for full papers, and 5 pages for system descriptions. Program co-chairs: Alessandro Armando (Universit`a di Genova) Peter Baumgartner (NICTA) Gilles Dowek (l'Ecole Polytechnique) Important dates: Paper registration deadline: 22nd February 2008 Paper submission deadline: 3rd March 2008 Notification of paper decisions: 18th April 2008 Final version of papers due: 23rd May 2008 Conference dates: 12th-15th August 2008 ------------------------------------------------------------------------------ Call for Workshop and Tutorial Proposals ---------------------------------------- Workshop and tutorial proposals on IJCAR-related topics are solicited. Proposals that promise to bring new topics into IJCAR, of either practical or theoretical importance, or provide a forum for more detailed discussion on central topics of continuing importance are highly welcome. Proposals that close the gap between automated reasoning and related areas, e.g., formal methods or software engineering, are especially encouraged. Proposals must contain information sufficient for the programme committee to judge the importance, quality and community interest in the proposed topic. Each workshop or tutorial must have one or more designated organizers, and may have a programme committee as well. Proposals must be limited to three pages and provide at least the following information: + Title. + Description of the workshop topic and goals. (Why do you believe this is an interesting and significant topic?) + Intended audience. (From which areas do you expect potential participants to come? How many participants do you expect?); + Organization of the workshop. (Describe the intended format of the workshop, its expected duration (from half a day to two days) and preferred dates (August 10th, 11th, or both).) + Organizers' details. (Provide affiliations, backgrounds and contact details (email, etc.) of organizers and committee members) Proposals should be sent as plain text and as PDF to the workshop chair (michael.norrish at nicta.com.au). Workshop and tutorial chair: Michael Norrish (NICTA) Important dates: Deadline for proposal submissions: 17th December 2007 Acceptance/rejection notification: 14th January 2008 Deadline for camera-ready copy of workshop notes: 14th July 2008 Workshop Dates: 10th-11th August 2008 ------------------------------------------------------------------------------ From sean.bechhofer at manchester.ac.uk Fri Nov 30 16:51:37 2007 From: sean.bechhofer at manchester.ac.uk (Sean Bechhofer) Date: Fri, 30 Nov 2007 15:51:37 +0000 Subject: Final CFP: 5th European Semantic Web Conference (ESWC2008) Message-ID: [Apologies for cross and multiple postings. Please circulate to colleagues and prospective interested parties.] -- FINAL CALL FOR PAPERS -- ======================================================================= 5th European Semantic Web Conference (ESWC2008) Tenerife, Spain, June 1-5 2008. ======================================================================== The deadline for submission to the research paper track for the ESWC2008 is now only a week away. Information on topics and submission details are available at the conference web site: [http://www.eswc2008.org]. We look forward to receiving your submissions! ======================================================================== Important Dates Abstract Submission: December 7, 2007 Full Paper Submission: December 14, 2007 Notification: February 29, 2008 Camera Ready: March 14, 2008 Conference: June 1-5, 2008 -- Sean Bechhofer School of Computer Science University of Manchester sean.bechhofer at manchester.ac.uk http://www.cs.manchester.ac.uk/people/bechhofer From jap at cs.bath.ac.uk Fri Nov 30 18:00:27 2007 From: jap at cs.bath.ac.uk (Julian Padget) Date: Fri, 30 Nov 2007 17:00:27 +0000 Subject: Post-doc positions/Bath UK/FP7 Alive project Message-ID: <1196442027.19264.334.camel@jap2> JOB DESCRIPTION Bath Computer Science seeks two full-time post-doctoral researchers to work on the ALIVE (FP7) project. ALIVE will develop new approaches to service-oriented engineering based on the adaptation and reuse of coordination and organisation mechanisms often seen in human and other societies. Such methods provide robust descriptions of distributed systems, account for the individual autonomous nature of service providers / consumers and define a wide range of strategies and mechanisms with known properties to achieve coherent outcomes. The use of such human like concepts also provides an opportunity to make the development of complex software systems more accessible to non-specialists, allowing a variety of actors from users to managers to participate more directly in the design and management of systems. Bath leads the work-package on services, supports on the development of the theoretical framework and contributes to methodology and use cases. Bath's primary domains of expertise that are relevant to this project are (i) specification, verification and on-line reasoning for institutions and (ii) semantic web service description, discovery, brokerage and workflow enactment. The work at Bath will therefore include both theoretical research and prototype development. QUALIFICATIONS Applicants should have - or have nearly completed - a PhD in Computer Science or Artificial Intelligence, preferably in connection with agents and organizations. Demonstrated experience of web services and workflow enactment would be an advantage, along with some knowledge of ontologies, norms and institutions. Successful candidates will be expected to travel frequently to partner sites and spend periods of up to two weeks at a time working there. The working language of the project is English (although there will be the opportunity to practice at least Spanish and Dutch) and so fluency in English is a necessity. THE POSITIONS These are full-time positions as post-doctoral researchers for a period of 30 months, starting February 1, 2008 or as soon as possible thereafter. Salary up to £30,012. FURTHER DETAILS For further information contact Julian Padget (jap at cs.bath.ac.uk) or Marina De Vos (mdv at cs.bath.ac.uk) HOW TO APPLY To find out more about the University of Bath and to apply online please go to http://www.bath.ac.uk/jobs. Alternatively please email: jobs at bath.ac.uk or call 01225 386924 quoting ref number 07H441A. The closing date for applications is January 4th, 2008. THE UNIVERSITY OF BATH The University of Bath (http://www.bath.ac.uk) is one of the leading universities in Britain, with highly-rated teaching and research. It is a small, research-oriented university, founded in 1965, with approximately 12,000 students and about 500 permanent members of academic staff. From 1980 to 2000 Computing was a group within the Mathematics department, then became a separate department (of Computer Science) in 2000. There are three undergraduate programs and a portfolio Masters program. Currently, there are 22 permanent staff and 34 PhD students. The department has three research groups: Human Computer Interaction, Mathematical Logic and Symbolic Computation and Media Technology, with activity in Grids, Artificial Intelligence and Agents cutting across all three. ALIVE PROJECT PARTNERS Universitat Politecnica de Catalunya, University of Bath, Calico Jack Ltd (Dundee), Trinity College Dublin, Thales (Delft), BCN d'Infografia SL (Barcelona), University of Aberdeen, Universiteit Utrecht. From tazi at laas.fr Fri Nov 30 18:22:50 2007 From: tazi at laas.fr (Said Tazi) Date: Fri, 30 Nov 2007 18:22:50 +0100 Subject: CFP IEEE-ICHSL.6 deadline extended Message-ID: <7.0.1.0.2.20071130181212.03c94458@laas.fr> [Accept apologies for cross postings] Call For Papers Submission deadline extended to December 15th IEEE-ICHSL.6: 6th International Conference on Human System Learning Common Innovation in e-learning, Machine Learning and Humanoid http://www.ichsl6.org 14-16 May 2008 – Manufacture des Tabacs, University of Toulouse 1 Toulouse, France Organised by: LAAS-CNRS and the University of Toulouse1 Presentation Human System Learning International Conferences are organized as a cross-platform for the study and analysis of the latest research and developments issues related to Human System Learning. What makes this conference unique is the interaction of different disciplines with regard to their approach, methods and techniques for the application of advanced technologies. Specifics of disciplines are not only the subject of the conference but serve as cases. Cross-platform discussions and interactions help to enhance the scope of these technologies beyond their existing application limits. Furthermore, we seek a discussion of terms and conditions for introducing new concepts and tools (offered by the latest research and developments results) and new strategies (required by the inevitable changes of the professional and educational working environments). Main scope: WHAT IS LEARNING? The Information Society is burgeoning and new technology is shifting educational, learning and training paradigms. Virtual Universities, Cyber-Classrooms, e-Learning, Wireless Based Learning, Humanoid Robots, Data Mining, Text Mining, Web Semantic, etc. may be cryptic catch phrases now but will be within the main learning and teaching norm in a very near future. The sixth ICHSL observes that, Machine Learning, Humanoid (mainly Human Robot Interaction) and e-Learning system have in common a real complex challenge: What learning has become? Whether learning has to occur within Humans, Machines or Interactions between Humans and Machine, the process of learning is still perceived as complex. Learning context has shifted. Learning paradigms have shifted as well as learning Strategies. Learning environment has totally be changed as well as learning assessment, learning control, learning evolving, learning scheduling, etc Topics * Learning environment * Learning Logic * Learning paradigm * Human and Machine Learning Fuzziness * Human Robot Interaction (focused on learning approaches only) * Interactive Learning * Interactive e-learning * Interactive Mining Tools * Learning from electronic dynamic documents * New Learning Support Systems * And ICHSL relevant topics: Cognition, Data Mining, Distributed Artificial Intelligence, Ergonomic, Human-System Interactions, Humanoid, Knowledge Data Discovery, New Educational Technology, System Design, Text Mining, Wireless & Web Based Learning, Web Mining. Instructions to Authors Papers should be maximum 12 pages in length (a full page of text is about 500 words), i.e. your contribution might be around 5000 words long (including references) plus figures. Submissions should be uploaded using the conference website, in PDF, or MS-Word Format. Final papers must be submitted directly to the conference editor in MS-Word format ichsl6 at europia.org. Reviewing All papers will be reviewed using a blind refereeing process by at least two members of the International Advisory Board. The Reviewing process is completely transparent and electronic. Dates Paper submission November 30th, 2007 December 15th Notification January 15th, 2008 Final paper submission March 1st, 2008 Conference May 14-16, 2008 International Steering Committee * Reza Beheshti (TUDelft, The Netherlands) * Michel Diaz (LAAS, France) * Yves Duthen (UT1-IRIT) * Joa Mauricio Rosario (UNICAMP, Brazil) * John Rosbottom (University of Portsmouth, UK) * Imad Saleh (Paragraphe, University Paris 8, France) * Chantal Soulé-Dupuy (UT1-IRIT, France) * Saïd Tazi (LAAS-CNRS, UT1, France) * Khaldoun Zreik (Paragraphe, University Paris 8, France) Local organising committee * Anastase ADONIS(Objective-Networks) * Véronique BAUDIN(LAAS-CNRS) * Hassan KANSO (UT1-IRIT) * Jean Michel PONS (LAAS-CNRS) * Fabrice EVRARD (Irit -ENSEEIHT) * Anthony STENTON (UT1) International Advisory Board * Ronald C. Arkin (Georgia Institute of Technology, USA) / Georgia Tech Lorraine, France) * Nicolas Balacheff (LEIBNIZ - Institut IMAG, France) * Mostafa Bellafkih (INPT, Morocco) * Monique Baron (LIP6, France) * Véronique Baudin (LAAS-CNRS, France) * Reza Beheshti (TUDelft, The Netherlands) * Bernadette Bouchon-Meunier (UPMC, LIP6, France) * Eric Brangier (University of Metz, France) * Stephen Brown (De Montfort University, UK) * Guido Bugmann (School of Computing, University of Plymouth, UK) * Abdelkader El Kamel (LAGIS , Ecole Centrale of Lille, France) * Tristan Cazenave (LIA, Université Paris 8, France) * Bruno Crémilleux (Greyc, University of Caen, France) * Michel Diaz (LAAS-CNRS, France) * Yves Duthen (UT1-IRIT, France) * Dominique Fournier (University of Havre, France) * Mohand-Said Hacid (University of Claude Bernard Lyon 1 , France) * Gilles Kassel (University of Picardie Jules Verne, France) * Christophe Kolski (LAMIH - UMR CNRS 8530, France) * Christophe Lecerf (Ecole des Mines d'Alès, France) * Engelbert MEPHU NGUIFO (University of Artois, France) * Amadeo Napoli (INRIA-Lorraine, Nancy, France) * Violaine Prince (LIRMM, University of Montpellier 2, France) * Mohamed Quafafou (University of Marseille, France) * Mohammed Ramdani (Université Hassan II Mohammedia, Morocco) * Joa Mauricio Rosario (UNICAMP, Brazil) * John Rosbottom (University of Portsmouth, UK) * Jose Rouillard (LIFL-USTL, Lille, France) * Francis Rousseaux (IRCAM, France) * Imad Saleh (Paragraphe, University Paris 8, France) * Chantal Soulé-Dupuy (UT1-IRIT, France) * Vladimir Srdanovic 5University of Belgrade, Serbia) * Saïd Tazi (LAAS-CNRS, UT1, France) * Pierre Tchounikine (LIUM - University of Mans, France) * Charles Tijus (University Paris 8, France) * Rainer Unland (University of Duisburg-Essen, Germany) * Gilles Venturini (University of Tours, France) * Khaldoun Zreik (Paragraphe, University Paris 8, France) Conference Co-Chairs ·Saïd Tazi, LAAS-CNRS, France (tazi at laas.fr) ·Khaldoun Zreik, Pargraphe, University Paris8, France (zreik at univ-paris8.fr) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ci-listen at in.tu-clausthal.de Wed Nov 7 15:39:18 2007 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG) Date: Wed, 07 Nov 2007 15:39:18 +0100 Subject: job opening: assistant/associate professorship Intelligent Interaction Support In-Reply-To: <47319759.7030905@mmi.tudelft.nl> References: <47319759.7030905@mmi.tudelft.nl> Message-ID: Dear Catholijn, thanks for your post. On Wed, 07 Nov 2007 11:45:45 +0100 "Catholijn M. Jonker" wrote: > Dear editor, > > I kindly request your help in posting the attached job >opening for an assistant or associate professorship in >Intelligent Interaction Support to the list. I attached >the full text in a Word document, and an abstract in >plain text below. > Could you please let me know of your decision? Would you >appreciate another format? I would suggest either 1) writing the announcement in plain text, or 2) publishing it somewhere as an HTML document and link to it from the summary in plain text, or finally 3) converting it to PDF and sending it through the list. Although reluctantly, we can accept PDF. Generally, I think there shouldn't be a problem letting your e-mail through. And of course strip the introductory request from the e-mail ;-). Best regards, Peter Novak, Event at CIG administrator. > Assistant/Associate Professor Intelligent Interaction >Support > ============================================================= > > The Man-Machine Interaction group has a vacancy for an >Assistant/Associate Professor Intelligent Interaction >Support. > > Job description > --------------- > > The research of the MMI section aims at engineering user >experiences. In this research programme, the design of >intelligent, multimodal, context-sensitive systems plays >an important role. The focus is on designing systems that >can interact both intelligently as well as naturally with >its users. A negotiation support system is one example of >such a system. The applicant should have experience in >Artificial Intelligence techniques, such as (dynamic) >Bayesian processing, (hidden) Markov models, agent >technology, and cognitive modelling. Ideally, the >applicant has experience in the design of cognitive >models emulating the perception, reasoning and behaviour >of human beings. Experience in emotion recognition from >facial expressions or speech is appreciated. > > To assess the context and state of the user, it is >necessary to capture and analyse various signals, both >verbal and nonverbal. The research must be fundamental as >well as applied. The applicant should be able to design >new models and algorithms and also be able to implement >those models and algorithms in specific applications. > >For more information see: http://www.vacaturesindelft.nl/ > > To apply, please send a detailed CV together with a >letter of application, at least three references and no >more than five key publications before November 30, 2007 >to Delft University of Technology, Faculty of EWI, Attn: >Jamila Eddini, Mekelweg 4, 2628 CD Delft, The Netherlands >or send your application online to peno-ewi at tudelft.nl. > > When applying for this job always mention vacancy number >EWI 2007.43. > > > > > > -- > Prof. Dr. C.M. Jonker > Man Machine Interaction Group > Department of Mediametics >Faculty of Electrical Engineering, Mathematics and >Computer Science > Delft University of Technology > Mekelweg 4 > 2628 CD Delft > The Netherlands > Room: HB 12.300 > Telephone: +31.15.2781315 > Mobile phone: +31.6.48875207 >Fax: +31.15.2787141 From ci-listen at in.tu-clausthal.de Thu Nov 15 11:27:21 2007 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG) Date: Thu, 15 Nov 2007 11:27:21 +0100 Subject: Fwd: WoLLIC 2008 - Call for Papers Message-ID: Hi Juergen, what do you think about this one for Event at CIG list? Should I send it through? Thanks, Peter. P.S. Today we got also an annual call from Hamid Arabnia on the Worldcomp conference. You know, the International Joint Blab bla held in Las Vegas and collocating 25(!) conferences in parallel! ;-). I discarded it right away. --- the forwarded message follows --- -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: ruy at cin.ufpe.br Betreff: WoLLIC 2008 - Call for Papers Datum: Wed, 14 Nov 2007 23:57:28 -0200 (BRST) Größe: 6433 URL: From ci-listen at in.tu-clausthal.de Wed Nov 21 07:32:36 2007 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG) Date: Wed, 21 Nov 2007 07:32:36 +0100 Subject: job opening: assistant/associate professorship Intelligent Interaction Support In-Reply-To: <000901c82bb6$0274cb30$0700000a@meije> References: <000901c82bb6$0274cb30$0700000a@meije> Message-ID: Hi Koen, thanks for your announcement. I guess it's the one Catholijn tried to send about two weeks ago. I have just one small remark. You used the address event-request at in.tu-clausthal.de to send it, but the correct one is event at in.tu-clausthal.de. It's no problem, but that way you can make it easier for me in the future ;-). Best, Peter. P.S. I am still swamped by things flying around and did not manage to write down the transformation of GOAL programs to Jazzyk. Well, we already have a prototype of a bot in the Quake-like game (Nexuiz) and playing with that, together with the next (and past as well :-( ) Agent Contest occupies my time now... BTW, did you decide about your stay in CLZ? On Tue, 20 Nov 2007 21:43:29 +0100 "Koen Hindriks" wrote: > Assistant/Associate Professor Intelligent Interaction >Support > ============================================================= > > > > The Man-Machine Interaction group of the TU Delft has a >vacancy for an > Assistant/Associate Professor Intelligent Interaction >Support. > > > > Job description > > --------------- > > The research of the MMI section aims at engineering user >experiences. In > this research programme, the design of intelligent, >multimodal, > context-sensitive systems plays an important role. The >focus is on designing > systems that can interact both intelligently as well as >naturally with its > users. A negotiation support system is one example of >such a system. The > applicant should have experience in Artificial >Intelligence techniques, such > as (dynamic) Bayesian processing, (hidden) Markov >models, agent technology, > and cognitive modelling. Ideally, the applicant has >experience in the design > of cognitive models emulating the perception, reasoning >and behaviour of > human beings. Experience in emotion recognition from >facial expressions or > speech is appreciated. > > > > To assess the context and state of the user, it is >necessary to capture and > analyse various signals, both verbal and nonverbal. The >research must be > fundamental as well as applied. The applicant should be >able to design new > models and algorithms and also be able to implement >those models and > algorithms in specific applications. > > > >For more information see: http://www.vacaturesindelft.nl/ > > ----------------------------------------------------------- > > > > To apply, please send a detailed CV together with a >letter of application, > at least three references and no more than five key >publications before > November 30, 2007 to Delft University of Technology, >Faculty of EWI, Attn: > Jamila Eddini, Mekelweg 4, 2628 CD Delft, The >Netherlands or send your > application online to peno-ewi at tudelft.nl. > > > > When applying for this job always mention vacancy number >EWI 2007.43. > > > >For more information about Delft University of >Technology, please visit > www.tudelft.nl. > > >