From anne.hakansson at dis.uu.se Thu Jan 1 12:41:37 2009 From: anne.hakansson at dis.uu.se (Anne =?iso-8859-1?b?SOVrYW5zc29u?=) Date: Thu, 01 Jan 2009 12:41:37 +0100 Subject: CALL FOR PAPERS: Extended deadline: Jan 15, KES AMSTA 2009 - AGENTS AND MULTI-AGENT SYSTEMS Message-ID: <20090101124137.93g2nisqo08sg4w0@webmail6.uu.se> ****** Apologies for multiple postings ******* * please distribute to interested colleagues * CALL FOR PAPERS The 3rd KES International Symposium on AGENTS AND MULTI-AGENT SYSTEMS - TECHNOLOGIES AND APPLICATIONS (KES-AMSTA-2009) Uppsala, SWEDEN June 3 - June 5, 2009 http://amsta-09.kesinternational.org/ INTRODUCTION KES-AMSTA-2009 is an international scientific symposium for research in the field of agent and multi-agent systems. The aim of the symposium is to provide an internationally respected forum for scientific research in the technologies and applications of agent and multi-agent systems. Agents and multi-agent systems are related to a modern software paradigm which has long been recognized as a promising technology for constructing autonomous, complex and intelligent systems. This symposium will provide and excellent opportunity for researchers to discuss modern approaches and techniques for agent and multi-agent systems and their applications. KES-AMSTA-2009 is organized by KES International and Uppsala University, Sweden, and will take place in Uppsala. IMPORTANT DATES Submission of Papers: 29 December 2008 Extended to: 15 January 2009 Notification of acceptance: 1 February 2009 Final papers to be received: 20 February 2009 Authors / Early registration: 28 February 2009 Symposium: 4 Jun - 5 Jun 2009 TOPICS OF INTEREST Agent Systems Formal models of agency. Agent architectures. BDI architecture. Learning, evolution, and adaptation. Perception and action. Communication: languages, semantics, pragmatics, protocols, and conversations. Knowledge representation Computational complexity. Autonomous or humanoid robots. Social robots and robot teams. Autonomy aspect. Cognitive models, including emotions and philosophies. Embodied and believable agents. Emergent behaviour. Ontologies. Multi-agent Systems Cooperative distributed problem solving. Task and resource allocation. Mechanism design, auctions, and game theory. Modelling other agents and self. Multi-agent planning. Negotiation protocols. Multi-agent learning. Conflict resolution. Trust and reputation management. Privacy, safety and security. Scalability, robustness and dependability. Social and organizational structures. Verification and validation. Novel computing paradigms (autonomic, grid, P2P, ubiquitous computing). Brokering and matchmaking. Agent-oriented software engineering, including implementation languages and frameworks. Mobile agents. Per-formance, scalability, robustness, and dependability. Verification and validation. E-business agents. Pervasive computing. Privacy, safety, and security. Tools and Applications Simulation systems. Web services and service-oriented computing. Artificial social systems. Autonomic computing. Case studies and reports on deployments. Computational infrastructures. Information retrieval. Web services and semantic web. E-learning sys-tems. E-institutions. E-commerce. INFORMATION FOR AUTHORS Papers are invited from prospective authors with interests on the indicated symposium topics and related areas of application. All contributions should be original and not published elsewhere or intended to be published during the review period. Contributions from more applied related fields in industry and commerce are very welcome. All accepted papers must be presented by one of the authors who must register for the conference and pay the fee. To ensure high quality, all papers will be thoroughly reviewed by the KES-AMSTA-09 International Programme Committee. The symposium proceedings are planned to be published by Springer-Verlag in LNCS/LNAI series (subject to confirmation). Submitted papers should be prepared in LNCS/LNAI style and should not exceed 10 pages. Extended versions of selected papers will be considered for publication in special issues to be included in several journals indexed by ISI, KES Journal and Int. Journal of Intelligent Information and Database Systems. Ph.D. students are invited to submit papers to Doctoral Track. Special sessions are also welcome. POST-CONFERENCE PUBLICATION A selected number of accepted and personally presented papers will be expanded and revised for possible inclusion in special issues for the following prestigious international journals and books: - Knowledge and Information Systems: An International Journal (Springer, ISI/SCI indexed) - International Journal of Software Engineering and Knowledge Engineering (Springer, ISI/SCI indexed) - Journal of Universal Computer Science (Graz University, ISI/SCI indexed) - Journal of Intelligent & Fuzzy Systems 17(3) (IOS Press, ISI/SCI indexed) - International Journal of Intelligent Information and Databse Systems (Inderscience, EI, Inspec, DBLP indexed) - Edited book (title will be announced later), to be published by Springer in series Studies in Computational Intelligence - Edited book (title will be announced later) to be published by IGI Global Publishers in series Computational Intelligence and its Applications Note that only papers personally presented at the symposium will be considered for invitation to the special issues and books. PAPER SUBMISSION AND PUBLICATION The symposium proceedings are planned to be published by Springer-Verlag in LNCS/LNAI series (subject to confirmation). Submitted papers should be prepared in LNCS/LNAI style and should not exceed 10 pages. Extended versions of selected papers will be considered for publication in special issues to be included in several journals indexed by ISI, KES Journal and Int. Journal of Intelligent Information and Database Systems. Ph.D. students are invited to submit papers to Doctoral Track. Special sessions are also welcome. ORGANIZATION COMMITTEES Honorary Chair: L. Magnusson, Uppsala University, Sweden General Co-Chairs: A. Håkansson, Uppsala University, Sweden and N.T. Nguyen, Wroclaw University of Technology, Poland Executive Chair: R.J. Howlett, University of Brighton, UK Program Co-Chairs: R.L. Hartung, Franklin University, USA, and D. Sharma, Canberra University, Australia Local Organizing Chair: T. Palm, Uppsala University, Sweden Publicity Co-Chairs: Z. Kiziltan, University of Bologna, Italy and E. Moradian, Uppsala University, Sweden Invited Session Chair: L.C. Jain, University of South Australia, Australia Doctoral Track Chair: A. Pietrusiewicz, Wroclaw University of Technology, Poland KES-AMSTA-2009 is part of the AMSTA Series Chair: N.T. Nguyen, which is a sub-series of KES International Conference Series, Chairs L.C. Jain and R.J. Howlett CONTACT DETAILS Email: amsta-09 at kesinternational.org Postal Address:- KES International_2nd Floor, 145-157 St John Street London EC1V 4PY United Kingdom Best regards, KES-AMSTA-09 Organizing Committee From jacek.kopecky at sti2.at Sun Jan 4 20:51:52 2009 From: jacek.kopecky at sti2.at (Jacek Kopecky) Date: Sun, 04 Jan 2009 20:51:52 +0100 Subject: [Last call for participation] 1st Semantic Web Services Winter Retreat Message-ID: <1231098712.13843.11.camel@Kalb> [[ Please forward this to anyone who might be interested. ]] --------------------------------------------------------------------- FIRST SEMANTIC WEB SERVICES WINTER RETREAT Call for participation March 1-7, 2009 Seefeld Olympic Region, Tyrol, Austria Deadline for applications: Jan 10, 2009 http://education.sti2.org/events/sws-retreat-09/ --------------------------------------------------------------------- INTRODUCTION: The Semantic Web Service (SWS) Retreat aims to be an intensive 5 day course, training existing and new researchers and practitioners in the field of Semantic Web Services, so as to encourage their participation in this growing field and to give them access to its top experts. In particular, the retreat will bring together 20–30 students and 10 tutors, allowing the participants to immerse themselves within the community and to interact on a one-to-one level with established researchers to gain deeper insights and clarity. The SWS Retreat is organized by STI International and by STI Innsbruck. The retreat is partially funded by the Austrian FIT-IT funding agency and by the EU project Service Web 3.0. PROGRAM: The program for the retreat, detailed on the website, combines theoretical lectures, tutorials and hands-on sessions, and mini-project teamwork, to maximize the knowledge gained by the participants. On top of these formal parts, the program also contains social networking activities for deeper interaction, and also a skiing afternoon. The lectures and tutorials will present the following topics: 1. Service-Oriented Architecture (SOA) 2. Semantic technologies, ontologies 3. Web Services Modeling Ontology (WSMO) and Language (WSML) 4. SWS Automation Tools, incl. Web Services Modeling Tool (WSMT) 5. Invited talks on advanced topics, such as Business Process Modeling, Enterprise perspective on SWS, or RESTful Web services More information at http://education.sti2.org/events/sws-retreat-09/ ACCOMMODATION, TRAVEL AND LOCAL INFORMATION: The retreat will be held in a hotel in the Seefeld Olympic Region, with full board and accommodation provided for each participant. Seefeld is a mountain resort that hosted the Nordic events of the 1964 and 1976 Winter Olympics. It is located 17km northwest from Innsbruck, Austria, at the heart of the Alps. The nearest airport is in Innsbruck, with many wintertime connections. The major airport in Munich offers further connections. Seefeld is accessible easily by train and by car, both from Innsbruck and from Munich. In case of sufficient demand, we will organize a bus from Innsbruck to the SWS Retreat venue. PARTICIPATION: We welcome applications from anywhere in the world, with some degree of preference given to Austrian applicants. We especially target postgraduate students and industry professionals in relevant fields. Some basic acquaintance with the principles of Service-Oriented Architectures and Semantic Technologies is useful. Accepted attendees are expected to participate fully in the activities of the SWS Retreat for its complete duration. We will not consider applications from persons who cannot commit themselves to full participation for the whole duration of the retreat. COST AND APPLICATION: The cost for each participant is €400, which covers lecture materials, accommodation, full board (three meals per day) and the social events. We also plan to organize a skiing afternoon, which will be paid by the participants themselves and should not exceed €50 for ski-pass plus equipment rental. To apply for participation in the retreat, please fill out the application form at http://education.sti2.org/sws-retreat.php All applications will be carefully considered and accepted participants will be notified in mid-January. Participants from Austrian institutions can apply for a lower rate of €300. Please email a short CV and justification to jacek.kopecky at sti2.at IMPORTANT DATES: Application deadline: 10 January 2009 Notification of acceptance: 15 January 2009 Deadline for registration/payments: 1 February 2009 Retreat: 1-7 March 2009 ORGANIZATION COMMITTEE: Jacek Kopecky, STI Innsbruck, jacek.kopecky at sti2.at Dr. Elena Simperl, STI Innsbruck, elena.simperl at sti2.at Alexander Wahler, STI International, alexander.wahler at sti2.org From wcom at worldcomp.cviog.uga.edu Mon Jan 5 09:29:40 2009 From: wcom at worldcomp.cviog.uga.edu (WORLDCOMP'09 Congress Conferences) Date: Mon, 05 Jan 2009 03:29:40 -0500 Subject: Call For Papers: Computer Science & Computer Engineering Conferences - July 13-16 2009, USA, WORLDCOMP'09 Message-ID: <20090105082940.DEC204B0C5@worldcomp.cviog.uga.edu> CALL FOR PAPERS WORLDCOMP'09 The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing July 13-16, 2009, Las Vegas, USA http://www.world-academy-of-science.org You are invited to submit a paper. All accepted papers will be published in the respective conference proceedings (both, in printed conference proceedings/book as well as online). The sponsors of the congress include (this is a partial list but it also includes the 2008 sponsors pending their final approval for 2009), Academic Sponsors: Computational Biology & Functional Genomics Lab., Harvard U.; Int'l. Society of Intelligent Biological Medicine; Horvath Lab., UCLA; Minnesota Supercomputing Institute; Functional Genomics Lab., U. of Illinois at Urbana-Champaign; BioMedical Informatics & Bio-Imaging Lab., Georgia Institute of Tech. and Emory U.; Intelligent Data Exploration and Analysis Lab., U. of Texas at Austin; Biomedical Cybernetics Lab., HST of Harvard U. & MIT; Center for the Bioinformatics & Computational Genomics, Georgia Institute of Tech.; Harvard Statistical Genomics & Computational Lab., Harvard U.; Bioinformatics & Computational Biology Program, George Mason U.; Hawkeye Radiology Informatics, U. of Iowa; Medical Image HPC & Informatics Lab (MiHi Lab), U. of Iowa; U. of North Dakota; PSU of Saudi; and NEMO/European Union. Corporate Sponsors include: Google, Inc.; Salford Systems; Synplicity, Inc.; Supermicro, Inc.; NIIT Technologies. The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'09) is composed of the following 22 conferences (all will be held simultaneously, same location and dates: July 13-16, 2009, USA): o BIOCOMP'09: The 2009 International Conference on Bioinformatics and Computational Biology o CDES'09: The 2009 International Conference on Computer Design o CGVR'09: The 2009 International Conference on Computer Graphics and Virtual Reality o CSC'09: The 2009 International Conference on Scientific Computing o DMIN'09: The 2009 International Conference on Data Mining o EEE'09: The 2009 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government o ERSA'09: The 2009 International Conference on Engineering of Reconfigurable Systems and Algorithms o ESA'09: The 2009 International Conference on Embedded Systems and Applications o FCS'09: The 2009 International Conference on Foundations of Computer Science o FECS'09: The 2009 International Conference on Frontiers in Education: Computer Science and Computer Engineering o GCA'09: The 2009 International Conference on Grid Computing and Applications o GEM'09: The 2009 International Conference on Genetic and Evolutionary Methods o ICAI'09: The 2009 International Conference on Artificial Intelligence o ICOMP'09: The 2009 International Conference on Internet Computing o ICWN'09: The 2009 International Conference on Wireless Networks o IKE'09: The 2009 International Conference on Information and Knowledge Engineering o IPCV'09: The 2009 International Conference on Image Processing, Computer Vision, and Pattern Recognition o MSV'09: The 2009 International Conference on Modeling, Simulation and Visualization Methods o PDPTA'09: The 2009 International Conference on Parallel and Distributed Processing Techniques and Applications o SAM'09: The 2009 International Conference on Security and Management o SERP'09: The 2009 International Conference on Software Engineering Research and Practice o SWWS'09: The 2009 International Conference on Semantic Web and Web Services (a link to each conference's URL can be found at http://www.world-academy-of-science.org ) COORDINATOR: H. R. Arabnia, PhD Professor, Computer Science Editor-in-Chief, The Journal of Supercomputing (Springer) Advisory Board, IEEE Technical Committee on TCSC Vice President, Int'l Society of Intelligent Biological Medicine The University of Georgia Department of Computer Science 415 Boyd Building Athens, Georgia 30602-7404, USA Tel: (706) 542-3480 email: 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 joint conferences in WORLDCOMP are the premier conferences for presentation of advances in their respective fields. We anticipate to have 2,400 or more attendees from over 85 countries participating in the 2009 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'09 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. David A. Patterson (U. of California, Berkeley); Prof. Michael J. Flynn (Stanford U.); Prof. John H. Holland (U. of Michigan, Ann Arbor); Prof. Brian D. Athey (U. of Michigan, Ann Arbor), Prof. H. J. Siegel (Colorado State U.); Prof. Barry Vercoe (MIT); Prof. Ruzena Bajcsy (U. of California, Berkeley); Prof. Jun Liu (Harvard U.); Dr. Jim Gettys (OLPC + developer of X Window); Dr. Chris Rowen (President and CEO, Tensilica, Inc.); and many other distinguished speakers. SUBMISSION OF PAPERS: Prospective authors are invited to submit their draft papers by uploading them to http://worldcomp.cviog.uga.edu/ . Submissions must be received by Feb. 25, 2009 and they must be in either MS doc or pdf formats (about 5 to 7 pages - single space, font size of 10 to 12). 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, and email address 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. IMPORTANT DATES: Feb. 25, 2009: Submission of papers (about 5 to 7 pages) March 25, 2009: Notification of acceptance April 25, 2009: Camera-Ready papers and Registration due July 13-16, 2009: The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'09 - 22 joint conferences) 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, a short biography together with research interests and the name of the conference offering to help with. Many who have already joined the committees of individual tracks are renowned leaders, scholars, researchers, scientists and practitioners of the highest ranks; many are directors of research laboratories, fellows of various societies, heads/chairs of departments, deans and provosts. 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, ...) =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= This email was sent to: event at in.tu-clausthal.de To opt out of this email list: http://worldcomp.cviog.uga.edu/cgi-bin/rm/full.cgi?1BC32490-BA23-11DD-ABA0-FC776EE9E895 From simon.miles at kcl.ac.uk Mon Jan 5 13:52:23 2009 From: simon.miles at kcl.ac.uk (Simon Miles) Date: Mon, 5 Jan 2009 12:52:23 +0000 Subject: AAMAS-09 Final Call for Demonstrations Message-ID: (apologies if you receive multiple copies of this call) Eighth International Joint Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2009) Call for Demonstrations AAMAS 2009 will include a demonstration session. Demonstration submissions are be invited for four different categories: * INDUSTRIAL SOFTWARE * ACADEMIC SOFTWARE * ROBOTICS * STUDENT PROJECTS. A best demo award will be chosen separately for each category. A price of 1000 Euro is provided for the winner in the category "student projects." The award selection will be done in consultation by the advisory board and the exhibits and demo co-chairs. Demonstrators are expected to present a live interactive demo at assigned time slots during the conference. Developers of software or robotic system based on autonomous agents or multi-agent techniques, especially those showing novel technology, are welcome to submit a demo. Examples of demos include but are not limited to: * Multi-agent software systems * Industrial and military applications (including prototypes) * Agent-based games * Agent platforms and development environments * Open-source software tools * Robotic systems (single and multi-agent) * Virtual agents and interactive virtual environments * Simulation environments The demonstration sessions will be held as part of the AAMAS main conference. The goal of the AAMAS demonstrations is to give participants, from industry and academia an opportunity to present their latest developments on software and/or robotic system. In addition, we strongly encourage students to submit valuable demos resulting from their projects or thesis work. Submissions accepted for the demonstration session will be advertised on the AAMAS website and in the conference booklet, which will contain abstracts of all available demos. Each demo submission should consist of three parts: 1. A 2-page paper in which the authors describe the system to be demonstrated. The paper should describe the application domain/problem/scenario, the technology used, the agent/multi-agent techniques involved, the innovations of the system, its live and interactive aspects, etc. Papers have to be prepared in PDF format using the AAMAS style (follow the instructions at http://www.conferences.hu/AAMAS2009/). 2. A demonstration movie (youtube compatible) that clearly shows the purpose and use of the demo. Alternatively, the authors can submit a scenario that consists of a series of snapshots of the demo annotated with an explanation. 3. Only for student projects: 1 page statement in which the student clearly describes his personal contribution to the project. The content of the statement must be confirmed by the student's supervisor. Submissions of student projects will only be considered from authors who are regular students at the time of the demo presentation during AAMAS. 4. Additional information in a plain text file including the following information: - Demonstration title - Authors (name, affiliation, email, address, phone fax) - The corresponding author with her/his email address - Abstract (max. 150 words) - Keywords - URL (if available) - Paper ID if the demo is related to a paper at the main conference - Equipment you will bring (e.g., laptop, robot) - Equipment you will need (e.g., table, poster board, power sockets) - Special requirements (e.g., space for robot and if so how much, video projector) - A discussion of the present state of your demo (e.g., ready to demonstrate now, but if not, include a realistic estimate for conclusion and what remains to be done before you have a demonstrable software/robotic system). - The category of the submission Accepted demos will have the 2-page papers included in the AAMAS proceedings. Submissions All demonstration proposals should be send to demos at aamas09.org Submissions are open from October 27, 2009 Submission Deadline: January 12, 2009, 23:59 UTC Selection Process The submission and selection processes for the AAMAS 2009 demos will be separate from that of the main conference. Each submission will be assessed by the demo co-chairs and at least one member of the advisory board. The authors will receive a brief report with the result of the evaluation with the notification. The main evaluation criteria are: * Relevance to AAMAS * Quality and soundness of the underlying technology * Novelty of the application domain * Maturity of the (deployed) system * Potential for public interaction Notification of acceptance or rejection of submitted demos will be sent to the corresponding author by January 30, 2009. At least one author of each accepted demonstration is required to register and to attend the conference to give the demonstration. Important Dates Submission deadline: January 12, 2009. Notification of acceptance/rejection: January 30, 2009. Camera-ready paper: February 6, 2009 Contact Information For more information, contact the demos co-chairs: demos at aamas09.org AAMAS 2009 Advisory Board James Odell, Independent consultant, USA Andrea Omicini, Università di Bologna, Italy H. Van Dyke Parunak, NewVectors LLC, Ann Arbor, USA Juan Pavón, Universidad Complutense Madrid, Spain Giovanni Rimassa, Whitestein Technologies Michael Winikoff, RMIT Melbourne, Australia AAMAS 2009 Demo & Exibits Co-Chairs Paolo Giorgini, University of Trento, Povo (Italy) Danny Weyns, Katholieke Universiteit Leuven (Belgium) -- Dr Simon Miles Agents and Intelligent Systems Group Department of Computer Science Kings College London, UK From dietmar.jannach at cs.uni-dortmund.de Tue Jan 6 08:47:12 2009 From: dietmar.jannach at cs.uni-dortmund.de (Dietmar Jannach) Date: Tue, 6 Jan 2009 08:47:12 +0100 Subject: CFP: IJCAI'09 Wks Intelligent Techniques for Web Personalization & Recommender Systems Message-ID: ====================================================================== CALL FOR PAPERS 7th Workshop on Intelligent Techniques for Web Personalization & Recommender Systems In conjunction with IJCAI 2009 July 11-17, 2009 - Pasadena, California, USA http://maya.cs.depaul.edu/~mobasher/itwp09/ Submission Deadline: March 6, 2009 ====================================================================== Web Personalization can be defined as any set of actions that can tailor the Web experience to a particular user or set of users. The experience can be something as casual as browsing a Web site or as (economically) significant as trading stocks or purchasing a car. The actions can range from simply making the presentation more pleasing to anticipating the needs of a user and providing customized and relevant information. To achieve effective personalization, organizations must rely on all available data, including the usage and click-stream data (reflecting user behaviour), the site content, the site structure, domain knowledge, as well as user demographics and profiles. Efficient and intelligent techniques are needed to mine this data for actionable knowledge, and to effectively use the discovered knowledge to enhance the users' Web experience. These techniques must address important challenges emanating from the size of the data, the fact that they are heterogeneous and very personal in nature, as well as the dynamic nature of user interactions with the Web. These challenges include the scalability of the personalization solutions, data integration, and successful integration of techniques from machine learning, information retrieval and filtering, databases, agent architectures, knowledge representation, data mining, text mining, statistics, information security and privacy, user modelling and human-computer interaction. Recommender systems represent one special and prominent class of such personalized Web applications, which particularly focus on the user-dependent filtering and selection of relevant information and – in an e-Commerce context - aim to support online users in the decision-making and buying process. Recommender Systems have been a subject of extensive research in AI over the last decade, but with today's increasing number of e-commerce environments on the Web, the demand for new approaches to intelligent product recommendation is higher than ever. There are more online users, more online channels, more vendors, more products and, most importantly, increasingly complex products and services. These recent developments in the area of recommender systems generated new demands, in particular with respect to interactivity, adaptivity, and user preference elicitation. These challenges, however, are also in the focus of general Web Personalization research. In the face of this increasing overlap of the two research areas, the aim of this workshop is to bring together researchers and practitioners of both fields, to foster an exchange of information and ideas, and to facilitate a discussion of current and emerging topics related to "Web Intelligence". PAPER SUBMISSION AND PARTICIPATION We invite original contributions in a variety of areas related to Web personalization and Recommender Systems, including Data Modeling and Integration; Systems and Architectures; Enabling Technologies; and Evaluation Methodologies, Metrics, and Case Studies. For a detailed list of topics, please see the workshop Web site: http://maya.cs.depaul.edu/~mobasher/itwp09/ All submissions must be sent electronically to S.S.Anand at warwick.ac.uk. The format for submissions is the same as that of IJCAI-09. Please check the IJCAI-09 website for the style files. (http://ijcai-09.org/fcfp.html) Papers should be no longer than 12 pages inclusive of all references and figures. All papers must be submitted in PDF. All papers must be original, and must not have not been published or submitted elsewhere. At least one author for each accepted paper is expected to attend the workshop. Non-archival working notes will be produced containing the papers presented at the workshop. Selected papers from the workshop may be considered for expansion and inclusion in a special issue of a journal. The workshop is open to all those interested in attending. IMPORTANT DATES * March 6, 2009: Deadline for electronic submission * April 17, 2009: Author Notification * May 8, 2009: Submission of camera-ready * July 11-13, 2009: IJCAI-09 Workshop Program WORKSHOP ORGANIZERS Bamshad Mobasher, School of Computer Science, DePaul University, Chicago, USA E-mail: mobasher at cs.depaul.edu Sarabjot Singh Anand, Department of Computer Science, University of Warwick, UK E-mail: S.S.Anand at warwick.ac.uk Alfred Kobsa, School of Information and Computer Sciences University of California, Irvine, USA E-mail: kobsa at uci.edu Dietmar Jannach, Department of Computer Science Technische Universität Dortmund, Germany E-mail: dietmar.jannach at udo.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Jean-Pierre.Briot at lip6.fr Tue Jan 6 18:04:23 2009 From: Jean-Pierre.Briot at lip6.fr (Jean-Pierre Briot) Date: Tue, 6 Jan 2009 15:04:23 -0200 Subject: 2nd Call for Papers - ProMAS'09 Workshop - Programming Multi-Agent Systems Message-ID: ** apologies for possible duplications ** ------------------------------------------------------------------------ -------- Call for Papers =================== Sixth international Workshop on Programming Multi-Agent Systems (ProMAS'09) ProMAS'09 is a satellite workshop at AAMAS 2009 Budapest, Hungary, 10-15 May 2009 Even though the contributions of the multi-agent systems (MAS) community can make a significant impact in the development of open distributed systems, the techniques resulting from such contributions will only be widely adopted when suitable programming languages and tools are available. Furthermore, such languages and tools must incorporate those techniques in a principled but practical way, so as to support the ever more complex task of professional programmers, in particular when the systems have to operate in dynamic environments. The ProMAS workshop series aims to address the practical programming issues related to developing and deploying multi-agent systems. In particular, ProMAS aims to address how multi-agent systems designs or specifications can be effectively implemented. In its previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, requirements, and principles that are important for multi-agent programming technology. We encourage the submission of proposals for programming languages and tools that provide specific programming constructs to facilitate the implementation of the essential concepts used in multi-agent system analysis and specifications (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. Further, we are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry. Specific topics for this workshop include, but are not limited to: - Programming Languages for multi-agent systems - Programming models and abstractions for multi-agent systems - Extensions of traditional languages for multi-agent programming - Theoretical and practical aspects of multi-agent programming - Computational complexity of MAS - Semantics for multi-agent programming languages - High-level executable multi-agent specification languages - Algorithms, techniques, or protocols for multi-agent issues (e.g., coordination, cooperation, negotiation) - Agent communication issues in multi-agent programming - Implementation of social and organisational aspects of MAS - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS - Agent development tools and platforms - Generic tools and infrastructures for multi-agent programming - Interoperability and standards for MAS - Programming mobile agents - Safety and security for mobile MAS deployment - Fault tolerance and load balancing for mobile MAS - Application areas for multi-agent programming languages - Applications using legacy systems - Programming MAS for Grid-based applications - Programming MAS for the Semantic Web - Deployed (industrial-strength) MAS - Benchmarks and testbeds for comparing MAS languages and tools - Integration of agent and mainstream technology Important Dates: ---------------- Paper submission deadline: 01 February, 2009 Notifications of acceptance/rejection: 01 March, 2009 Camera-ready copies due: 15 March, 2009 Workshop Date: 10th/11th May, 2009 (TBA) Submission Details: ------------------- Authors should submit their papers via a conference management system. Papers should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. Accepted papers will be published as a technical report and distributed among participants during the workshop. As was the case for previous editions of the ProMAS workshop, we are planning to publish extended versions of selected papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. Programme Committee: -------------------- Matteo Baldoni (University of Torino, Italy) Juan Botia Blaya (University of Murcia, Spain) Guido Boella (University of Torino, Italy) Olivier Boissier (Ecole des Mines de St Etienne, France) Keith Clark (Imperial College, UK) Rem Collier (University College Dublin, Ireland) Louise Dennis (University of Liverpool, UK) Ian Dickinson (HP Labs, UK) Bernd Farwer (Durham University, UK) Michael Fisher (University of Liverpool, UK) Jorge Gomez-Sanz (Universidad Computense Madrid, Spain) Vladimir Gorodetsky (Russian Academy of Sciences, Russia) Dominic Greenwood (Whitestein Technologies, Switzerland) James Harland (RMIT, Australia) Koen Hindriks (Delft University of Technology, The Netherlands) Benjamin Hirsch (Technical University of Berlin, Germany) Jomi Hubner (State University of Blumenau, Brazil) Joao Leite (University Nova de Lisboa, Portugal) John Lloyd (Australian National University, Australia) Viviana Mascardi (Genova University, Italy) John-Jules Meyer (Utrecht University, The Netherlands) David Morley (SRI, USA) Jorg Muller (Clausthal University of Technology, Germany) Peter Novak (Clausthal University of Technology, Germany) Andrea Omicini (University of Bologna, Italy) Frederic Peschanski (LIP6, France) Michele Piunti (CNR, Italy) Agostino Poggi (Universita degli Studi di Parma, Italy) Alexander Pokahr (University of Hamburg, Germany) Alessandro Ricci (University of Bologna, Italy) Birna van Riemsdijk (Ludwig-Maximilians-University, Germany) Ralph Ronnquist (Intendico, Australia) Sebastian Sardina (RMIT University, Australia) Ichiro Satoh (NII, Japan) Munindar Singh (North Carolina State University, USA) Kostas Stathis (City University London, UK) Leon van der Torre (University of Luxembourg, Luxembourg) Paolo Torrini (Bologna University, Italy) Cao-Son Tran (New Mexico State University, USA) Gerhard Weiss (Software Competence Center Hagenberg, Austria) Wayne Wobke (University of New South Wales, Australia) Neil Yorke-Smith (SRI, USA) Yingqian Zhang (Delft University of Technology, The Netherlands) Organising Committee: --------------------- Lars Braubach (University of Hamburg, Germany) Jean-Pierre Briot (LIP6, France) John Thangarajah (RMIT University, Australia) Steering Committee: --------------------- Rafael Bordini (University of Durham, UK) Mehdi Dastani (Utrecht University, The Netherlands) Jurgen Dix (Clausthal University of Technology, Germany) Amal El Fallah Seghrouchni (LIP6, France) ------------------------------------------------------------------------ -- From Brigitte.Trousse at sophia.inria.fr Wed Jan 7 00:55:19 2009 From: Brigitte.Trousse at sophia.inria.fr (Brigitte.Trousse at sophia.inria.fr) Date: Tue, 6 Jan 2009 21:55:19 -0200 (Etc/GMT) Subject: KDD-09: Calls for Papers, Panels, Tutorials, Workshops Message-ID: ------------------------------------------------------------------------- KDD-2009: The Fifteenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD'09) June 28 - July 1, 2009. Paris, France www.kdd.org/kdd2009/ ------------------------------------------------------------------------- The annual ACM SIGKDD conference is the premier international forum for data mining researchers and practitioners from academia, industry, and government to share their ideas, research results and experiences. KDD-09 will feature keynote presentations, oral paper presentations, poster sessions, workshops, tutorials, panels, exhibits, demonstrations, and the KDD Cup competition. We invite submissions on all aspects of knowledge discovery and data mining. We especially encourage papers relevant to KDD that cut across disciplines such as machine learning, pattern recognition, statistics, databases, theory, mathematical optimization, data compression, cryptography, and high performance computing. Papers are expected to describe innovative ideas and solutions that are rigorously evaluated and well-presented. Submissions that describe minor variations of existing methods or only make small or questionable improvements to existing algorithms are discouraged. Due dates (in 2009): KDD-09 Call For Workshop Proposals, due Jan 19 KDD-09: Call for Research Papers, abstracts due Feb 2, papers due Feb 6 KDD-09: Industrial/Government Applications Papers, due Feb 6 KDD-09 call for Panels, due Feb 23 KDD'09 Call For Tutorial Proposals, due Feb 23 For more details, see www.kdd.org/kdd2009/ or www.kdd2009.com John Elder and Francoise Soulie Fogelman, General Chair Brigitte Trousse, KDD-09 Publicity Chair for Europe From reiner at chalmers.se Wed Jan 7 10:11:26 2009 From: reiner at chalmers.se (=?ISO-8859-15?Q?Reiner_H=E4hnle?=) Date: Wed, 7 Jan 2009 10:11:26 +0100 (CET) Subject: 10 PhD, PostDoc, and Engineering Positions in EU Formal Methods Project Message-ID: 10 PhD, PostDoc, and Engineering Positions offered!! ----------------------------------------------------------------------- | HATS: Highly Adaptable and Trustworthy Software using Formal Models | ----------------------------------------------------------------------- HATS is a new Integrated Project funded by the European Union, within the programme "Future and Emerging Technologies" (FET) of the 7th Framework Programme (subject to contract) starting March 2009. The project partners from Chalmers Technical University, Gothenborg, Sweden University of Oslo, Norway Royal Institute of Technology, Stockholm, Sweden Technical University of Madrid, Spain IMDEA Software, Spain Technical University of Kaiserslautern, Germany, University of Bologna, Italy, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, Netherlands Norwegian Computer Center, Oslo, Norway Fredhopper B.V., Amsterdam, Netherlands Fraunhofer Institute for Experimental SE, Kaiserslautern, Germany, Katholieke Universiteit Leuven, Belgium are jointly advertising several 3-5 year PhD, PostDoc, and Engineering positions. The goal of HATS is a tool-supported framework and formal methodology for the development of long-lived and trustworthy software systems. Specifically, HATS will turn software product family (SWPF) development into a rigorous approach. The technical core of the project is an Abstract Behavioral Specification language which will allow precise description of SWPF features and components and their instances. For further information see: http://www.hats-project.eu Topic areas: Applicants should have a background and/or interest in one of the topics software modeling, modeling and programming languages, formal methods, verification, language-based security, type systems, or concurrency theory. The following positions are offered: * 2 PhD positions with emphasis on formal modeling and verification at Chalmers University of Technology. One of the positions is in the EU project CHARTER which is closely related to HATS. Application deadline is 31 January. Contact: Prof. Reiner Haehnle. Further details and information on how to apply at http://www.chalmers.se/en/sections/news/vacancies/. * A Research Software Engineer at Fredhopper (Amsterdam). The position will comprise of industrial research on modeling and verification of key components of Fredhopper's flagship product within the EU-funded HATS research project. Fredhopper is the Nr. 1 provider of Search & Merchandising solutions for online business in Europe and industrial leader in the HATS project. Apply by 31 January 2009 for the most optimal procedure. Contact for project information: Dr. Nikolay Diakov. More information and how to apply at: http://www.fredhopper.com/public/company-opps.php?cat=0&subcat=0#research-software-engineer * 2 PostDoc positions at the University of Bologna. The emphasis is on formal modeling and verification of the kind of concurrent systems studied in Hats using various techniques, including behavioural techniques and type systems. Application deadline is 31 January (later applications may also be taken into account). Contact: Prof. Davide Sangiorgi, see: http://www.cs.unibo.it/~sangio/Hats/vacancies.txt * 3 PhD positions with emphasis on static analysis and security at the Technical University of Madrid/IMDEA Software. One of the positions is in the DOVES Spanish project, which is closely related to HATS. The application deadline is 15 January. Later applications may also be taken into account if the positions are not covered. Contact: Prof. German Puebla. Further details and information on how to apply at http://clip.dia.fi.upm.es/Job_Openings/hats-doves-phd-grants.html * 1 PhD and 1 PostDoc position in the area of software modeling and verification at the University of Kaiserslautern. The emphasis in the area of software modeling is on semantically founded integration of behavioral software models, feature-based descriptions of variability and programs. The emphasis in verification is on modular techniques for object-oriented models and model refinement. Application deadline is January 31. Later applications may also be taken into account. Contact: Prof. A. Poetzsch-Heffter. Further details and information on how to apply at http://softech.informatik.uni-kl.de/Homepage/OffeneStellen * Further positions will be announced at this space! Applicants should have (or expect to have at the start of employment): * For a PhD position: a good Masters level or excellent Bachelor level degree (or equivalent) in computer science, mathematics, or a closely related discipline with knowledge in the areas above. Please see also individual requirements at each site which can differ. * For a Postdoc position: a PhD in computer science or mathematics, preferably with research experience in one of the listed topic areas. * For a software engineer position: a Masters or PhD level level degree (or equivalent) in computer science, mathematics, or a closely related discipline with good knowledge in the areas of program verification, automata theory or discrete math. Knowledge of Java and some programming experience count as a plus. Regardless of the specific application instructions, each application should contain: 1) a full CV including letters of recommendation 2) a research statement, indicating the research directions you are interesting in and what relevant experience you have 3) transcripts of degree results where available. To apply, please follow the links given above. Expressions of interest received by 15 January 2009 are guaranteed full consideration. Specific application deadlines may vary. Early contact would be appreciated. From R.Bordini at durham.ac.uk Tue Jan 6 18:51:01 2009 From: R.Bordini at durham.ac.uk (Rafael H Bordini) Date: Tue, 6 Jan 2009 17:51:01 +0000 Subject: Jason Version 1.2 - 5th Anniversary Release Message-ID: We are proud to announce Jason version 1.2 which is its "5th anniversary" release. Jason was first released on 6th Jan 2004, and it has evolved a great deal since then. It has also grown significantly in popularity. Last year there has been an average of some 500 downloads per month, and version 1.1.2 alone had well over 1000 downloads. There has been 29 releases of Jason since January 2004, and it's now very stable even though improvements are often made. We are also very proud to have published a book (joint with Mike Wooldridge) which really helps those interested in learning a new programming paradigm or developing multi-agent systems. If you never wrote a multi-agent system using an agent-oriented programming language, why not commemorate Jason's 5th birthday with some programming fun?! The Jason website is: http://jason.sf.net and the book website is: http://jason.sf.net/jBook Jomi Hubner & Rafael Bordini From rzantout at yahoo.com Wed Jan 7 11:55:01 2009 From: rzantout at yahoo.com (Rached Zantout) Date: Wed, 7 Jan 2009 02:55:01 -0800 (PST) Subject: subscribe Message-ID: <829593.98170.qm@web38001.mail.mud.yahoo.com> subscribe  Rached Zantout, Ph.D. Associate Professor Electrical And Computer Engineering Department Faculty of Engineering Hariri Canadian University P.O.Box 100, Damour Mechref 2010 Lebanon Tel: (05) 601386-90 x 502 Fax: (05) 601381 From rached at cyberia.net.lb Wed Jan 7 11:56:13 2009 From: rached at cyberia.net.lb (rached zantout) Date: Wed, 07 Jan 2009 12:56:13 +0200 Subject: Kein Betreff Message-ID: <7320f6ea5ed0.4964a66d@cyberia.net.lb> Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : nicht verfügbar Dateityp : multipart/mixed Dateigröße : 47 bytes Beschreibung: nicht verfügbar URL : From rzantout at yahoo.com Wed Jan 7 12:12:25 2009 From: rzantout at yahoo.com (Rached Zantout) Date: Wed, 7 Jan 2009 03:12:25 -0800 (PST) Subject: Confirmation Request (1509161023) References: Message-ID: <735616.8917.qm@web38006.mail.mud.yahoo.com>  Rached Zantout, Ph.D. Associate Professor Electrical And Computer Engineering Department Faculty of Engineering Hariri Canadian University P.O.Box 100, Damour Mechref 2010 Lebanon Tel: (05) 601386-90 x 502 Fax: (05) 601381 ----- Original Message ---- > From: event administration > To: Rached Zantout > Sent: Wednesday, January 7, 2009 1:01:44 PM > Subject: Confirmation Request (1509161023) > > 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: 1509161023, >   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 rached at cyberia.net.lb Wed Jan 7 12:08:49 2009 From: rached at cyberia.net.lb (rached zantout) Date: Wed, 07 Jan 2009 13:08:49 +0200 Subject: Confirmation Request (3866639609) In-Reply-To: References: Message-ID: <73c0a432cbd.4964a961@cyberia.net.lb> ----- Original Message ----- From: event administration Date: Wednesday, January 7, 2009 1:05 pm Subject: Confirmation Request (3866639609) To: rached zantout > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the unsubscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 3866639609, > the reply is directed to clausthal.de>, and the 'From' address of your reply is > . > If you do not want to confirm the requested operation, simply do > nothing > All requests about this mailing list > should be sent to > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From franconi at inf.unibz.it Wed Jan 7 16:10:02 2009 From: franconi at inf.unibz.it (Enrico Franconi) Date: Wed, 7 Jan 2009 16:10:02 +0100 Subject: European Master in Computational Logic - scholarships for non-European and European students Message-ID: <8E9D35EA-2629-4AED-A010-0BA375CD4E2E@inf.unibz.it> *** EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC *** http://www.computational-logic.eu The Faculty of Computer Science at the Free University of Bozen- Bolzano (FUB), in Italy (at the heart of the Dolomites mountains in South-Tyrol), is offering the European Masters Program in Computational Logic as part of its Master of Science in Computer Science offer (Laurea Specialistica). The European Masters Program in Computational Logic is an international distributed Master of Science course, in cooperation with the computer science departments in the following universities: * Free University of Bozen-Bolzano, Italy * Technische Universitaet Dresden, Germany * Universidade Nova de Lisboa, Portugal * Technische Universitaet Wien, Austria * Universidad Politecnica de Madrid, Spain This program, completely in English, involves studying one year at the Free University of Bozen-Bolzano, and completing the second year with a stay in one of the partner universities. After this, the student will obtain, together with the European degree, two Master of Science degrees: the Laurea Specialistica degree from the Free University of Bozen-Bolzano, with legal value in Italy, and the respective Master of Science degree from the visited university, with legal value in its country. APPLICATION DEADLINES: - *** 10 FEBRUARY 2009* ** : first deadline for all European and non- European students, and final deadline for non-European students requesting an Erasmus Mundus scholarship (notification of acceptance: 10 March 2009) - 31 May 2009: deadline for all European and non-European students (notification of acceptance: 15 June 2009) - 22 August 2009: last deadline only for European students starting at the Free University of Bozen-Bolzano, Italy (notification of acceptance: 5 September 2009) SCHOLARSHIPS & MONEY SUPPORT: In 2009 the European Union will offer several new Erasmus Mundus scholarships for non-European citizens (in 2004, 2005, 2006, 2007, 2008 more than 90 Erasmus Mundus scholarships were given). Each scholarship for each student amounts to 21,000 EUR per academic year; this includes 10 monthly grants of 1,600 EUR and a fixed amount of 5,000 EUR for fees, travel expenses, relocation costs, etc. The 10th of February 2009 is the final deadline for requesting an Erasmus Mundus scholarship for non-European students. European citizens can apply to scholarships which are granted purely on the basis of the yearly income of the applicant and of her/his parents or husband/wife. This scholarship is only for the year of study at FUB and it may amount up to more than 6,000 EUR per academic year, plus support on the accommodation and reimbursement of the local enrolment fees. These scholarships are also available to non-European citizens with residence in Italy. European students will also get a LLP Socrates Erasmus scholarship for the second year of study abroad, which is 330 EUR per month. NEW! Several tuition fee waivers are available to European students with good qualifications. All European applicants will be considered for tuition fee waivers. The IBM Center for Advanced Studies sponsors an annual "IBM & KRDB" award for the best thesis on a Computational Logic related topic defended at the Free University of Bozen-Bolzano; each winner will receive a laptop computer from IBM. In addition to that, the Italian site in Rome of the IBM Center for Advanced Studies supports scholarships of up to 2,400 EUR to work on a research project or on the thesis at their labs in Rome. Every year 10 students with European citizenship can visit Australia (Canberra, Sidney, Melbourne or Brisbane) up to 3 months to work on a research project, sponsored by the European Master. The study period in Australia is part of the study programme and it is fully recognised by the European Master's Program in Computational Logic. The guaranteed scholarship is of 3,100 EUR and it covers the travel and living expenses in Australia. Check the web page for detailed info on other available scholarships: http://www.computational-logic.eu THE STUDY PROGRAMME: The European Masters Program in Computational Logic is designed to meet the demands of industry and research in this rapidly growing area. Based on a solid foundation in mathematical logic, theoretical computer science, artificial intelligence and declarative programming students will acquire in-depth knowledge necessary to specify, implement and run complex systems as well as to prove properties of these systems. In particular, the focus of instruction will be in deduction systems, knowledge representation and reasoning, artificial intelligence, formal specification and verification, syntax directed semantics, logic and automata theory, logic and computability. This basic knowledge is then applied to areas like logic and natural language processing, logic and the semantic web, bioinformatics, information systems and database technology, software and hardware verification. Students will acquire practical experience and will become familiar in the use of tools within these applications. In addition, students will be prepared for a future PhD, they will come in contact with the international research community and will be integrated into ongoing research projects. They will develop competence in foreign languages and international relationships, thereby improving their social skills. Applicants should have a Bachelor degree (Laurea triennale) in Computer Science, Computer Engineering, or other relevant disciplines; special cases will be considered. The programme is part of the Master in Computer Science (Laurea Specialistica in Informatica) and it has various strengths that make it unique amongst Italian and European universities: * Curriculum taught entirely in English: The programme is open to the world and prepares the students to move on the international scene. * Possibility of a strongly research-oriented curriculum. * Possibility for project-based routes to obtain the degree and extensive lab facilities. * Other specialisations with streams in the hottest Computer Science areas, such as Web Technologies, Information and Knowledge Management, Databases and Software Engineering. * International student community. * Direct interaction with the local and international industry and research centres, with the possibility of practical and research internships that can lead to future employment. * Excellent scholarship opportunities and student accommodations. The European Masters Program in Computational Logic is sponsored scientifically by the European Network of Excellence on Computational Logic (CoLogNET), the European Association of Logic, Language and Information (FoLLI), the European Coordinating Committee for Artificial Intelligence (ECCAI), the Italian Association for Artificial Intelligence (AI*IA), the Italian Association for Informatics (AICA, member of the Council of European Professional Informatics Societies), the Italian Association for Logic and its Applications (AILA), and the Portuguese Association for Artificial Intelligence (APPIA). THE FREE UNIVERSITY OF BOZEN-BOLZANO: The Free University of Bozen-Bolzano, founded in 1997, boasts modern premises in the centre of Bozen-Bolzano. The environment is multilingual, South Tyrol being a region where three languages are spoken: German, Italian and Ladin. Studying in a multilingual area has shown that our students acquire the cutting edge needed in the international business world. Many of our teaching staff hails from abroad. Normal lectures are complemented with seminars, work placements and laboratory work, which give our students a vocational as well as theoretical training, preparing them for their subsequent professional careers. Studying at the Free University of Bozen-Bolzano means, first and foremost, being guided all the way through the student's educational career. Bozen-Bolzano, due to its enviable geographical position in the centre of the Dolomites, also offers our students a multitude of opportunities for spending their free-time. The city unites the traditional with the modern. Young people and fashionable shops throng the city centre where ancient mercantile buildings are an attractive backdrop to a city that is in continual growth. To the south there is the industrial and manufacturing area with prosperous small and medium-sized businesses active in every economic sector. Back in the 17th century Bozen-Bolzano was already a flourishing mercantile city that, thanks to its particular geographic position, functioned as a kind of bridge between northern and southern Europe. As a multilingual town and a cultural centre Bozen-Bolzano still has a lot to offer today. Its plethora of theatres, concerts with special programmes, cinemas and museums, combined with a series of trendy night spots that create local colour make Bozen-Bolzano a city that is beginning to cater for its increasingly demanding student population. And if you fancy a very special experience, go and visit the city's favourite and most famous resident - "Oetzi", the Ice Man of Similaun, housed in his very own refrigerated room in the recently opened archaeological museum. Bozen-Bolzano and its surroundings are an El Dorado for sports lovers: jogging on the grass alongside the River Talfer-Talvera, walks to Jenesien-S.Genesio and on the nearby Schlern-Sciliar plateau, excursions and mountain climbing in the Dolomites, swimming in the numerous nearby lakes and, last but not least, skiing and snowboarding in the surrounding ski areas. FURTHER INFORMATION: Sergio Tessaris (director) or Enrico Franconi at info at fub.computational-logic.eu European Masters Program in Computational Logic Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani, 3 I-39100 Bozen-Bolzano BZ, Italy Phone: +39 0471 016 000 Fax: +39 0471 016 009 Email: info at fub.computational-logic.eu Web site: http://www.computational-logic.eu From c.orasan at wlv.ac.uk Wed Jan 7 20:37:13 2009 From: c.orasan at wlv.ac.uk (Constantin Orasan) Date: Wed, 07 Jan 2009 19:37:13 +0000 Subject: Extended deadline: PhD Studentship in Interactive Question Answering Message-ID: <1231357033.13497.25.camel@dinel-work> [Apologies for cross-postings] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ PhD Studentship in Interactive Question Answering (£12,000 per year) Closing date: 31st Jan 2009 (extended deadline) http://clg.wlv.ac.uk/jobs/ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The Research Group in Computational Linguistics, University of Wolverhampton invites applications for a three-year-funded PhD studentship in Computational Linguistics. The successful candidate is expected to carry out research in the domain of interactive question answering. We are looking for candidates with a good degree in Computational Linguistics, Linguistics, Computer Science or Information Sciences, with programming skills and some experience in Natural Language Processing. The studentship is part funded by Unilever. Required skills: - degree in Computational Linguistics, Linguistics, Computer Science or Information Sciences - experience with at least one of the following: Java, Perl, C++, .NET - experience in Natural Language Processing - good command of the English language Desirable skills: - Master's degree in Computational Linguistics, Linguistics, Computer Science or Information Sciences - experience in question answering, information extraction and/or dialogue systems - familiarity with a wide range of programming environments and operating systems Applications should be sent to Dr. Constantin Orasan Research Institute of Information and Language Processing University of Wolverhampton Stafford St. Wolverhampton WV1 1SB United Kingdom E-mail: C.Orasan at wlv.ac.uk and must include: - completed application form available from http://clg.wlv.ac.uk/jobs/PhD-application.pdf - CV - copy of university degree (in English) - copy of transcript listing all university marks (in English) - evidence of postgraduate qualification if applicable - a covering letter in which candidates explain why they have applied for the studentship, give details of their research interests/experience, background, programming skills and an outline of any experience in Natural Language Processing or Linguistics. Applications should be made both by email and surface mail. The closing date for applications is 31st January 2009. The short-listed applicants will be interviewed by email and telephone in the week beginning 2nd February 2009. The studentship includes a maintenance grant of 12,000 GBP a year and also covers the tuition fees for 3 years. The successful candidate is expected to start as soon as possible. She or he will be working in a vibrant research environment, engaging in active research. The studentship is part-funded by Unilever. Established by Prof. Ruslan Mitkov in 1998, the Research Group in Computational Linguistics is a highly successful one, delivering cutting-edge research in a number of NLP areas such as anaphora resolution, automatic summarisation, question answering, lexical knowledge acquisition, text categorisation, named entity recognition, information extraction, corpus construction and annotation, automatic terminology processing, multilingual processing, and multiple-choice question generation. To a large extent, this research has been undertaken in projects funded by major UK funding bodies and commercial partners. The results from the recent Research Assessment Exercise announced on 17 December 2008 confirm the Research Group in Computational Linguistics as one of the top performers in UK research. The research group was entered in Unit of Assessment "Linguistics" and Wolverhampton was ranked joint 3rd with 2 more universities. According to the league tables of the Guardian, The Times and Research Fortnight, research in Linguistics at the University of Wolverhampton is one of the top 6 best in the UK. -- Dr. Constantin Orasan Senior Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton -- Scanned by iCritical. From nza at Cs.Nott.AC.UK Thu Jan 8 12:26:56 2009 From: nza at Cs.Nott.AC.UK (nza at Cs.Nott.AC.UK) Date: 08 Jan 2009 11:26:56 +0000 Subject: Workshop on Logics and Agent Programming Languages Message-ID: <200901081126.aa03117@pat.Cs.Nott.AC.UK> Call for Papers WORKSHOP ON LOGICS AND AGENT PROGRAMMING LANGUAGES July 27-31 2009 http://www.agents.cs.nott.ac.uk/events/lapl09 to be held as part of ESSLLI 2009 (21st European Summer School in Logic, Language and Information, Bordeaux, France) July 20-31 2009 http://esslli2009.labri.fr/ WORKSHOP DESCRIPTION To create a language for programming entities capable of intelligent behaviour (`agents'), researchers and developers must address deep questions such as: what are the basic constituent parts of an intelligent agent; how should the agent `think' (e.g., which deliberation strategy should it employ -- should it plan a precise sequence of actions in advance or should it adopt an abstract plans with gaps `to be filled-in later'); what relationship should there be between the agent's beliefs and its goals, etc. In seeking to address these questions, researchers have drawn heavily on formal models of agents and on agent logics, including epistemic logics, logics of action, dynamic logic, coalition logics etc. For example, the development of agent programming languages such as AgentSpeak were heavily influenced by the BDI (Beliefs, Desires and Intentions) logics developed to understand what an agent's behaviour should be. These interactions have resulted in an extremely fruitful cross fertilisation between work in logic and computation, and the application of logical techniques to address key practical issues such as the verification of agent programs (i.e., will an agent program meet the specification set out by its developers). The development of agent programming languages continues to go hand in hand with the development of logics to express properties of agent programs and associated verification techniques, with work on various aspects of agent programming, agent logics and verification. The workshop will provide a forum for advanced PhD students and researchers in these areas to compare methodologies, exchange ideas and identify challenges in agent programming languages and writing reliable agent programs. Topics of interest include (but are not limited to): * agent programming languages * agent logics * verification of agent programs PUBLICATION Accepted papers will appear in pre-proceedings published by ESSLLI. We aim to publish a selection of revised and expanded papers as a journal special issue. SUBMISSIONS Authors are invited to submit a paper describing original or recently published work. Submissions should not exceed 15 pages in LaTeX 11pt article style. The following formats are accepted: pdf, ps. Please submit on line at http://www.easychair.org/conferences/?conf=lapl09 All enquiries to lapl09 at cs.nott.ac.uk IMPORTANT DATES February 15 2009 Deadline for submissions April 15 2009 Notification of acceptance June 1 2009 Deadline for proceedings ORGANISERS Natasha Alechina University of Nottingham, UK Brian Logan University of Nottingham, UK INVITED SPEAKER Giuseppe De Giacomo Sapienza Universita' di Roma, Italy PROGRAMME COMMITTEE Thomas Agotnes Bergen University College, Norway Rafael Bordini University of Durham, UK Mehdi Dastani Universiteit Utrecht, Netherlands JŸrgen Dix Technische Universitaet Clausthal, Germany Amal El Fallah Seghrouchni, University Paris VI, France Michael Fisher University of Liverpool, UK Giuseppe De Giacomo Sapienza Universita' di Roma, Italy Andreas Herzig IRIT, UniversitŽ Paul Sabatier, France Koen Hindriks Delft University of Technology, Netherlands Gerhard Lakemeyer Aachen University of Technology, Germany Yves LespŽrance York University, Canada Hector Levesque, University of Toronto, Canada John-Jules Ch. Meyer Universiteit Utrecht, Netherlands Steven Shapiro University of Toronto, Canada Neil Yorke-Smith, AIC, SRI International, USA This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From kordoni at CoLi.Uni-SB.DE Thu Jan 8 17:00:29 2009 From: kordoni at CoLi.Uni-SB.DE (Valia Kordoni) Date: Thu, 08 Jan 2009 17:00:29 +0100 Subject: !Deadline approaching!: Erasmus Mundus Scholarships for M.Sc. in Language and Communication Technologies (LCT) Message-ID: <4966231D.9020803@coli.uni-sb.de> Apologies for multiple postings -- Erasmus Mundus European Masters Program in Language and Communication Technologies (LCT) Scholarships amount: 21000 EURO per year The following consortium of Universities 1. Saarland University in Saarbruecken, Germany (coordinator) 2. Free University of Bozen - Bolzano, Italy 3. University of Malta 4. University of Nancy 2, France 5. Charles University in Prague, Czech Republic 6. Rijksuniversiteit Groningen, The Netherlands are offering the European Masters Program in Language and Communication Technologies (LCT; http://lct-master.org) under the auspices of the Erasmus Mundus Program of the European Union (http://ec.europa.eu/education/external-relation-programmes/doc72_en.htm). The Erasmus Mundus Masters Program in Language and Communication Technologies is an international distributed Master of Science course. The program involves studying one year at one of the Universities of the consortium, and completing the second year with a stay in one of the other partner Universities. After this, the student will obtain two Master degrees with legal value in each of the countries of issue. The Program in brief Objectives: The Erasmus Mundus Masters Program in Language and Communication Technologies provides students with profound knowledge and insight into the various disciplines that contribute to the methods of language and communication technologies and it strengthens their ability to work according to scientific methods. Moreover, the students acquire practice-oriented knowledge by choosing appropriate combinations of modules in Language Technology, Computational and Theoretical Linguistics, and Computer Science. As such, the European Masters Program in LCT is designed to meet the demands of industry and research in the rapidly growing area of Language Technology. It offers education and training opportunities for future generations of leaders in research and innovation. Duration: 2 years (120 ECTS credits) Language of instruction: English Summary of Study Programme: The course consists of compulsory core modules, as well as elective advanced modules in Language Technology and Computer Science, optionally complemented by a project, and completed by a Masters dissertation. APPLICATION DEADLINES: Applications to the LCT and the Erasmus Mundus Scholarships scheme for the academic years 2009-2011 can be made online at http://lct-master.org/registration-2008/index.php?authorsInstructions=1 Study Requirements Applicants must satisfy the following study requirements: 1. a Bachelor degree or equivalent in the area of (Computational) Linguistics, Language Technology, Cognitive Sciences, Computer Science, Mathematics, Artificial Intelligence, or other relevant disciplines 2. proficiency in English (for non-native speakers) must be certified by one of the following (for more details, please check http://lct-master.org/index.php?id=prerequisites): a. TOEFL score of at least 250 (computer-based test) or 575 (paper-based test) b. Cambridge Proficiency Exam -- pass c. IELTS -- > 6.5 d. Possession of a first degree taught in English e. Internet-based TOEFL score: 79 For detailed info on applications, please, check the web pages: http://lct-master.org/index.php?id=deadlines For further information please contact: Dr. Valia Kordoni at kordoni at coli.uni-sb.de Program coordinators: Prof. Hans Uszkoreit (hansu at coli.uni-sb.de) Dr. Valia Kordoni (kordoni at coli.uni-sb.de) Further contacts can be found at: http://lct-master.org/index.php?id=local -- PD Dr. Valia Kordoni, Computational Linguistics-Saarland University, P.O. Box 15 11 50, 66041 Saarbruecken, Germany and LT-Lab DFKI GmbH Tel: +49 681 302 4682 Fax: +49 681 302 4700 E-mail: kordoni at coli.uni-sb.de http://www.coli.uni-saarland.de/~kordoni/ http://www.lct-master.org/ From Klaus.Fischer at dfki.de Thu Jan 8 18:19:13 2009 From: Klaus.Fischer at dfki.de (Klaus Fischer) Date: Thu, 08 Jan 2009 18:19:13 +0100 Subject: 2nd CFP: ATOP@AAMAS2009 - Agent-based Technologies and applications for enterprise interOPerability Message-ID: <49663591.6050007@dfki.de> Call for Papers Agent-based Technologies and applications for enterprise interOPerability ATOP 2009 (http://www-ags.dfki.uni-sb.de/~kuf/atop) Workshop to be held at the Eighth International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2009) (http://www.conferences.hu/AAMAS2009/workshops.html) Budapest, Hungary 11 or 12th May 2009 MOTIVATION Today's enterprises must adapt their software processes to work in open settings, such as online marketplaces and, more generally, the Web, where business relationships exhibit a high degree of dynamism. Moreover, open settings are characterized by the autonomy and heterogeneity of the enterprises. In such settings, interoperability is a key concern: how do we ensure that diverse enterprises can work together toward a mutually desirable end? Interoperability problems occur at different levels: at the business level (how organizations do business together, what needs to be described and how?), at the knowledge level (different formats, schemas, and ontologies), and at the infrastructure level (the underlying information and communication technologies and systems). Agents, Model-Driven Architecture (MDA), and Service-Oriented Architecture (SOA) are complementary approaches to addressing the enterprise interoperability problem. Agents enable dynamic collaboration and orchestration in changing and unpredictable situations; MDA provides mechanisms that generate artifacts for different platforms; SOA gives us late-binding interoperability between business process requirements and providers of service implementations. This workshop aims to bring together research that combines ideas from MDA and SOA with agents in presenting new solutions for enterprise interoperability. WORKSHOP TOPICS We would like to focus the ATOP 2009 around modeling and metamodels for interoperability in agent-based systems and business applications. Ideally submitted papers should deal with model-driven agent technologies and methodologies in the context of: * simulation and validation of business systems * decision-support in value creation networks * enterprise and business process modeling * case studies of implemented interoperability solutions and systems * coordination and negotiation in distributed business networks * cross-organizational business processes * normative environments for enterprise agents interoperability * decentralized and peer-to-peer models and enactment of business processes * goal-driven and adaptive business process management * semantic annotations of business process descriptions * intelligent enterprise application integration * business process modeling, enactment and integration * intelligent execution, monitoring, management, and optimization of business processes * service-oriented architectures and related topics like service choreography, orchestration, composition, brokering, and mediation * autonomic computing and adaptive autonomous architectures * model-driven architectures for business processes and systems * models and meta-models for agent-based systems * platform-independent models and their relation to agent models * model-to-model and model-to-text transformations * knowledge representations and ontologies in the context of (collaborative) business processes * agent communication languages and standards * self-organization and adaptation in the context of interoperable systems SUBMISSION DETAILS Authors should submit original research papers (must not exceed 12 pages including all figures and tables) including an abstract of about 200 words or position papers (must not exceed 3 pages). In any case submission of preliminary abstracts some time before the official submission deadline is very much appreciated. All submissions must be sent electronically to Klaus.Fischer at dfki.de Acceptable formats are PDF and PostScript. It is planned to structure the workshops into invited talks, technical presentations and panel discussions. A publication of selected workshop papers is planned in Springer's new LNBIP series. Formatting instructions can be found at http://www.springer.de/comp/lncs/authors.html and should be strictly followed. The first page should include the full name and contact details of at least one author (email and full postal address). IMPORTANT DATES Submissions due February 2 2009 Notifications sent February 24 2009 Final papers due March 11 2009 Workshop May 11 or 12 2009 ORGANIZING COMMITTEE Arne-Jorgen Berre, SINTEF, Norway Klaus Fischer, DFKI, Germany James Odell, CSC, USA Joerg P. Mueller, Technische Universitaet Clausthal, Germany PROGRAM COMMITTEE Sahin Albayrak, TU Berlin, Germany Bernhard Bauer, University Augsburg, Germany Sebastian Brenner, IWi, Germany Amit Chopra, University of Trento, Italy Michael Georgeff, Monash University, Australia Dominic Greenwood, Whitestein Technologies, Switzerland Axel Hahn, University Oldenburg, Germany Christian Hahn, DFKI, Germany Oystein Haugen, SINTEF, Norway Stefan Kirn, Hohenheim University, Germany Margaret Lyell, IAI, USA Saber Mansour, Oslo Software, France Nikolay Mehandjiev, Manchester Business School, UK Michele Missikoff, LEKS; IASI-CNR, Italy Eugenio Oliveira, University of Porto, Portugal Herve Panetto, University Nancy, France Omer Rana, Cardiff University, UK Ralph Ronnquist, Intendico Pty. Ltd., Australia Rainer Ruggaber, SAP, Germany Omair Shafiq, Semantic Technology Institute (STI) Innsbruck, Austria Iain Stalker, Unversity of Teesside, UK Ingo Timm, Goethe-University Frankfurt/Main, Germany Joerg Ziemann, DFKI-IWi, Germany Ingo Zinnikus, DFKI, Germany -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : smime.p7s Dateityp : application/x-pkcs7-signature Dateigröße : 3356 bytes Beschreibung: S/MIME Cryptographic Signature URL : From claudia.damato at di.uniba.it Thu Jan 8 20:26:17 2009 From: claudia.damato at di.uniba.it (Claudia d'Amato) Date: Thu, 08 Jan 2009 20:26:17 +0100 Subject: CFP IRMLeS'09: 1st Int. Workshop on Inductive Reasoning and Machine Learning on the,Semantic Web Message-ID: <49665359.2030502@di.uniba.it> ------------- Apologies for multiple cross-postings --------------------- 1st CALL FOR PAPERS IRMLeS'09 1st Int. Workshop on Inductive Reasoning and Machine Learning on the Semantic Web http://irmles2009.di.uniba.it To be held as part of the 6th European Semantic Web Conference (ESWC) in June of 2009 in Heraklion, Crete (Greece). Open, distributed and inherently incomplete nature of the Semantic Web environment posses problems for deductive approaches, traditionally employed to reason with logic-based ontological data. Hence, one may witness a recent trend in the Semantic Web community to propose complementary forms of reasoning, preferably more efficient and noise-tolerant. Promising and already successful approach is the use of inductive and statistical methods as complement to deductive one (for example by adding data mining support to SPARQL query evaluation). It is especially valid when data comes from distributed sources and may be inconsistent. The IRMLeS workshop puts special attention on the problem of ontology mining and inductive and statistical approximate reasoning. The focus of the workshop is on discussion how machine learning techniques, such as statistical learning methods and inductive forms of reasoning, can work directly on the richly structured Semantic Web data and exploit the Semantic Web technologies, and what is the added value of machine learning methods in the Semantic Web context. The workshop is meant to be a forum for scientific exchange amongst researchers interested in an interdisciplinary research on the intersection of the Semantic Web with Knowledge Discovery and Machine Learning fields. AUDIENCE The intended audience for this workshop includes: . Semantic Web researchers interested in methods for intelligent data analysis and inductive and statistical approximate reasoning . Researchers in machine learning and data mining with interest in the Semantic Web technologies . Developers of applications of the Semantic Web technologies that contain components realizing inductive and statistical approximate reasoning, data mining and/or machine learning tasks . Knowledge engineers and ontology developers interested in semi-automatic methods for ontology mining, namely ontology construction and evolution TOPICS The topics of interest of the workshop include, but are not limited to: . Knowledge Discovery and Ontologies - Data mining techniques using ontologies - Ontology Mining and Knowledge Discovery in ontological knowledge bases - Ontology-based interpretation and validation of discovered knowledge - Graph mining for ontologies - Evaluation methodologies and metrics for the interaction of knowledge discovery and ontologies . Inductive Reasoning with Concept Languages - inductive concept retrieval and query answering - approximate classification - inductive methods for ontology construction - concept change and novelty detection for ontology evolution - rule induction for ontology mapping - fuzzy reasoning for ontology construction and evolution . Statistical learning in the context of standard Semantic Web languages - refinement operators for concept and rule languages - concept learning and Web rules learning - kernels and instance-based learning for structured representations - semantic distances, dissimilarity measures and conceptual clustering - extensions of Bayesian methods for concept and rule languages . Knowledge-intensive learning from: - Linked Open Data and Semantic Networks - semi-structured data e.g. semantic mark-up mixed with text content (RSS, RDFa, microformats, DublinCore) . Applications (life sciences, cultural heritage, semantic multimedia,.) and Tools FORMAT The workshop will include invited talk(s), presentations (technical, application and position papers) and a wrap-up discussion. SUBMISSIONS Submissions (in PDF or PostScript format) should be written in English, and not longer than 12 pages (full paper) or 5 pages (position paper), following the ESWC formatting style (Springer LNCS). All submissions will be reviewed by at least 2 reviewers. In addition to the ESWC workshop proceedings, depending on the quality and quantity of submissions, it is intended to publish a selection of revised accepted papers in a journal special issue or a book volume. ORGANIZING COMMITTEE Claudia d'Amato, University of Bari, Italy Nicola Fanizzi, University of Bari, Italy Marko Grobelnik, Jožef Stefan Institute, Slovenia Agnieszka Lawrynowicz, Poznan University of Technology, Poland Vojtech Svatek, University of Economics, Prague, Czech Republic PROGRAM COMMITTEE Sarabjot S. Anand - University of Warwick Bettina Berendt - Katholieke Universiteit Leuven Sonia Bergamaschi - University of Modena-Reggio Emila Sebastian Blohm - University of Karlsruhe Floriana Esposito - University of Bari Mohand-Said Hacid - Univ. Lyon 1 Pascal Hitzler - University of Karlsruhe Andreas Hotho - University of Kassel Jose Iria - University of Sheffield Maciej Janik - University of Koblenz-Landau Matthias Klush - DFKI - German Research Center for Artificial Intelligence Francesca Alessandra Lisi - University of Bari Thomas Lukasiewicz - Oxford University Matthias Nickles - University of Bath Sebastian Rudolph - University of Karlsruhe Steffen Staab - University of Koblenz-Landau Umberto Straccia - ISTI-CNR York Sure - SAP Valentina Tamma - University of Liverpool Johanna Voelker - University of Karlsruhe DATES Deadline: March 7, 2009 Notification: April 4, 2009 Camera ready: April 18, 2009 Workshop day: June 1st, 2009 FURTHER INFORMATION http://irmles2009.di.uniba.it -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : claudia_damato.vcf Dateityp : text/x-vcard Dateigröße : 334 bytes Beschreibung: nicht verfügbar URL : From tkutsia at risc.uni-linz.ac.at Thu Jan 8 20:52:54 2009 From: tkutsia at risc.uni-linz.ac.at (Temur Kutsia) Date: Thu, 8 Jan 2009 20:52:54 +0100 Subject: 2nd CFP: WWV 2009 Message-ID: <20090108195254.GA28966@risc.uni-linz.ac.at> [Apologies if you receive multiple copies] *********************************************************** * CALL FOR PAPERS * * * * WWV 2009 * * Automated Specification and Verification of Web Systems * * 5th International Workshop * * * * Castle of Hagenberg, Austria. July 17, 2009 * * http://www.risc.uni-linz.ac.at/conferences/wwv09/ * * * * Part of the RISC Summer 2009 * * http://www.risc.uni-linz.ac.at/conferences/summer2009/ * *********************************************************** IMPORTANT DATES Abstract Submission February 2, 2009 Full Paper Submission February 9, 2009 Acceptance Notification April 20, 2009 Camera Ready June 1, 2009 Workshop July 17, 2009 SCOPE The increased complexity of Web sites and the explosive growth of Web-based applications has turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects. We solicit original papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as: * rule-based approaches to Web site analysis, certification, specification, verification, and optimization * algebraic methods for verification and certification of Web systems * formal models for describing and reasoning about Web sites * model-checking, synthesis and debugging of Web sites * abstract interpretation and program transformation applied to the semantic Web * intelligent tutoring and advisory systems for Web specifications authoring * Web quality and Web metrics * Web usability and accessibility * Testing and evaluation of Web systems and applications The WWV series provides a forum for researchers from the communities of Rule-based programming, Automated Software Engineering, and Web-oriented research to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. The previous WWV editions were: WWV'08 (Siena, Italy), WWV'07 (Venice, Italy), WWV'06 (Paphos, Cyprus), and WWV'05 (Valencia, Spain). LOCATION WWV'09 will be held at the Research Institute for Symbolic Computation (RISC), which is an institute of the Johannes Kepler University in Linz. It is located in the Castle of Hagenberg, a romantic, medieval castle amidst the lovely, hilly landscape of the M�hlviertel region, 20 km north east of Linz, the provincial capital of Upper Austria, located halfway between Salzburg and Vienna. For more information about RISC, please visit: http://www.risc.uni-linz.ac.at/ The workshop is a part of the RISC Summer 2009 conference series: http://www.risc.uni-linz.ac.at/about/conferences/summer2009/ SUBMISSION PROCEDURE Submissions must be received by February 9, 2009. In addition, an ASCII version of the title and abstract must be submitted by February 2, 2009. Submitted papers should be prepared in LaTeX, formatted according to the Springer llncs style, and should not exceed 15 pages. Submission is web-based via this link: http://www.easychair.org/conferences/?conf=wwv09 PUBLICATION Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop. After the workshop, a special issue of the Journal of Symbolic Computation on the topic of the WWV workshop is planned. PROGRAM CO-CHAIRS Demis Ballis University of Udine, Italy Temur Kutsia Johannes Kepler University Linz, Austria WORKSHOP CO-CHAIRS Temur Kutsia Johannes Kepler University Linz, Austria Wolfgang Schreiner Johannes Kepler University Linz, Austria INVITED SPEAKERS Fran�ois Bry Ludwig Maximilian University of Munich, Germany Axel Polleres National University of Ireland, Galway, Ireland PROGRAM COMMITTEE Maria Alpuente Technical University of Valencia, Spain Demis Ballis University of Udine, Italy Wlodzimierz Drabent Link�ping University, Sweden, and Institute Of Computer Science, Polish Academy of Sciences, Poland Santiago Escobar Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy M�rio Florido University of Porto, Portugal Temur Kutsia Johannes Kepler University Linz, Austria Massimo Marchiori University of Padova, Italy Mircea Marin University of Tsukuba, Japan Catherine Meadows Naval Research Laboratory, USA Rosario Pugliese University of Florence, Italy I.V. Ramakrishnan Stony Brook University, USA Antonio Vallecillo University of Malaga, Spain From asaffio at aass.oru.se Thu Jan 8 01:43:00 2009 From: asaffio at aass.oru.se (Alessandro Saffiotti) Date: Thu, 8 Jan 2009 01:43:00 +0100 (CET) Subject: WARNING! (2898487181) In-Reply-To: Message-ID: On Thu, 8 Jan 2009, 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: 2898487181, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > _/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/ Prof Alessandro Saffiotti www.aass.oru.se/~asaffio AASS Mobile Robotics Lab asaffio at aass.oru.se Dpt of Technology, Orebro University Tel: +46 19 30 3794 S-70182 Orebro, Sweden Fax: +46 19 30 3463 _/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/ From braubach at informatik.uni-hamburg.de Thu Jan 8 09:15:43 2009 From: braubach at informatik.uni-hamburg.de (Lars Braubach) Date: Thu, 08 Jan 2009 09:15:43 +0100 Subject: WARNING! (2930867369) In-Reply-To: References: Message-ID: <4965B62F.8040909@informatik.uni-hamburg.de> event administration schrieb: > 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: 2930867369, > 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 k.v.hindriks at tudelft.nl Fri Jan 9 10:55:00 2009 From: k.v.hindriks at tudelft.nl (Koen Hindriks) Date: Fri, 9 Jan 2009 10:55:00 +0100 Subject: Call for Participation: First International School on Human Technology Interaction 2009 Message-ID: <002101c97240$56cfeb70$046fc250$@v.hindriks@tudelft.nl> ====== Last Call for Participation HTI2009 ====== * Apologies for cross posting. Please help forward to interested people * * Early registration closes on December 19 * * Registration closes on Monday 19 January 2009 at noon * For members of SIKS research school: the event is part of SIKS educational program. Therefore Phd-students working on the school topics are strongly encouraged to participate. CALL FOR PARTICIPATION First International School on Human Technology Interaction January 26-30 2009 Website of the School: http://www.mmi.tudelft.nl/HTIcourses Location: Best Western Hotel Landgoed Ehzerworld te Almen (near Zutphen). Website http://www.ehzerwold.nl/ontspanning-en-omgeving.html The First International School on Human Technology Interaction (HTI2009) will be held in Almen, The Netherlands, during January 26-30 2009. Our environments and the products inhabiting these spaces become increasingly dynamic and interactive. A growing variety of consumer and professional products is being equipped with sensors, data storage capacity, information processing technology, actuators and new display technologies. Advancements in network and wireless communication technology begin to make it feasible to connect such products into smart environments that can sense and reason about user intentions, experiences and emotions in a natural setting and react and anticipate accordingly. In these smart environments humans will be continuously connected to each other and information will be available anytime everywhere. In order to investigate how these new technologies can be geared to the needs and wishes of humans, one should focus on the technological development, the human-product interaction and the changing role of humans as individuals and as community members. This will be the first school in a row in which we will explore these issues. This first school will present a broad multidisciplinary view of how fundamental insights into human physical and cognitive capabilities can be used to design human-centered technologies that can collaborate symbiotically with humans to enhance human capabilities well outside the range of normal biological variation. ===== KEYNOTE SPEAKERS ===== * Dr. Bernice Rogowitz (IBM) - Interfaces and human perception * Prof. Dr. John Flach (Wright State Univ.) - User Modelling * Prof. Dr. Gilbert Cockton (Univ. of Sunderland) - User experience sampling ===== TARGET AUDIENCE ===== Master/graduate students, (postdoctoral) researchers in human computer interaction, artificial intelligence, computer science, and related fields. ===== SETUP ===== The format of the school is as follows. Participants of the school will be in-house for a week. During 5 days, there will be lectures and some pratical sessions, where the participants will work in groups. Each day (except Friday) will be concluded by some drinks and a dinner. ===== PARTICIPATION ===== Note that participation is limited. When you are interested in attending the school, you have to register (see below). After the registration deadline, we notify you within a week about your participation. We aim for as many participants as possible to attend for whom the school is directly relevant to their area of research and/or practice. ===== IMPORTANT DATES ===== * 19 December: Early registration deadline * 26-30 January: HTI2009 school ===== REGISTRATION FEE ===== Early registration fee: 3TU-student or employee € 600 Member of SIKS € 600 Others € 700 Late registration: early fee + € 150. ===== REGISTRATION ===== You can register by following the instructions on the school website: http://www.mmi.tudelft.nl/HTIcourses ===== VENUE ===== HTI2009 will take place at Best Western Hotel Landgoed Ehzerworld te Almen near Zutphen). Website http://www.ehzerwold.nl/ontspanning-en-omgeving.html ===== ACCOMMODATION ===== A number of rooms have been reserved at the Best Western Hotel. Please, indicate if you don't need a room. ===== ORGANISING COMMITTEE ===== Coordinators: • Anton Nijholt (UT) • Catholijn Jonker (TUD, penvoerder) • Huib de Ridder (TUD) • Armin Kohlrausch (TUe) Organisation support: • Matthijs Noordzij (UT) • Raymond Cuijpers, Wijnand IJsselsteijn (TUe) • Sylvia Pont, Ted Barendse (TUD) For more information on organisational matters please contact Ted Barendse (t.j.m.barendse at tudelft.nl). For more information on content matters please contact Catholijn Jonker (c.m.jonker at tudelft.nl). -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.artikis at gmail.com Fri Jan 9 13:10:07 2009 From: a.artikis at gmail.com (Alexander Artikis) Date: Fri, 9 Jan 2009 14:10:07 +0200 Subject: 2nd FCP: COIN@AAMAS 2009 Message-ID: <130ef5930901090410q4206fc62u577dbb2bb4874c4@mail.gmail.com> Apologies for cross-posting. ========================================= CALL FOR PAPERS ========================================= "Coordination, Organization, Institutions and Norms" (COIN) May 2009 A satellite workshop of AAMAS 2009 http://www.csd.abdn.ac.uk/coin at aamas2009 AIMS & SCOPE: ============= Multi-agent systems (MAS) are complex artifacts in which a multitude of autonomous software agents interact, pursuing individual and/or collective goals. Such a view usually assumes some form of organization, a set of norms or conventions that articulate or restrain interactions in order to enable agents to achieve their goals. The engineering of effective coordination or regulatory mechanisms is a key problem for the design of open, complex MAS. In recent years, social and organizational aspects of agency have become a major issue in MAS research, especially in applications for Service-Oriented Computing, Grid Computing and Ambient Intelligence. These applications enforce the need for using social and organizational aspects in order to ensure social order. Openness of MAS poses new demands on traditional MAS interaction models. Therefore, the view of coordination and control has to be expanded to consider not only an agent-centric perspective but also societal and organization-centric views. The workshop aims to bring together the topics of Coordination, Organization, Institutions and Norms. These topics have become an established area of agent research and a significant number of influential papers on these topics have been appearing in AAMAS and other agent conferences and workshops. The series of COIN workshops are thus aimed at consolidating and expanding the subject by providing focused events in which researchers from different communities participate. THEMES & TOPICS: ================ Topics of interest for COIN at AAMAS09 include (but are not limited to): -Modeling (dynamic) multi-agent organizations. -Agent communities, electronic institutions and virtual organizations. -Languages for norms: expressiveness VS efficiency. -Norms, institutions and organizations: authority, (institutional) power, sanctions, contracts, trust, reputation. -Issues in regulated MAS implementation. -Simulation, analysis and verification of (dynamic) regulated MAS. -Scaling and control issues in (dynamic) agent organizations. -Organized Adaptation of regulated MAS: protocols and frameworks, -Models of norm (law, policy) change: norm revision, conflict detection, norm updates. -Legal implications of organized adaptation. COIN at AAMAS09 merges the COIN workshop series with the workshop on Organized Adaptation for Multi-Agent Systems (OAMAS). Therefore, *papers that explore the dynamic aspects of norms, organizations and institutions are particularly welcome* in COIN at AAMAS09. IMPORTANT DATES: ================ Submission Deadline : January 25, 2009 Notification: February 25, 2009 Final Version Submission Deadline: March 5, 2009 PROCEEDINGS & SUBMISSION: ========================= Informal proceedings will be available at the workshop. As with previous COIN workshops, selected, revised and extended versions of the papers of the 2009 COIN editions will be published in a single Springer LNCS volume. The length of each paper, including figures and references, may not exceed 16 pages. Further formatting guidelines and instructions on how to submit a paper may be found at the workshop web page. The 2nd version of COIN 2009 will take place at IJCAI 2009: http://www.les.inf.puc-rio.br/coin at ijcai09/ From kutsia at risc.uni-linz.ac.at Fri Jan 9 15:30:44 2009 From: kutsia at risc.uni-linz.ac.at (Temur Kutsia) Date: Fri, 9 Jan 2009 15:30:44 +0100 Subject: 2nd CfP: JSC Special Issue on Symbolic Computation in Software Science Message-ID: <20090109143044.GA5825@risc.uni-linz.ac.at> [Apologies for multiple copies] ========================================================== JOURNAL OF SYMBOLIC COMPUTATION Special Issue on Symbolic Computation in Software Science http://www.risc.uni-linz.ac.at/people/tkutsia/jsc-scss.html ========================================================== SCOPE ----- This special issue is related to the topics of the workshop SCSS'08 (http://www.risc.uni-linz.ac.at/conferences/scss2008/): Symbolic Computation in Software Science, which took place in Hagenberg, Austria, on July 12-13, 2008. Both participants of the workshop and other authors are invited to submit contributions. Symbolic Computation is the science of computing with symbolic objects (terms, formulae, programs, representations of algebraic objects etc.). Powerful symbolic algorithms have been developed during the past decades like resolution, model checking, proving methods for various inductive domains, rewriting techniques, cylindric algebraic decomposition, Groebner bases, characteristic sets, telescoping for recurrence relations, etc. In this special issue, we concentrate on the application of symbolic algorithms to software science. Topics include but are not limited to the application of symbolic techniques to: * algorithm (program) synthesis * algorithm (program) verification * termination analysis of algorithms (programs) * complexity analysis of algorithms (programs) * extraction of specifications from algorithms (programs) * generation of inductive assertions for algorithms (programs) * algorithm (program) transformations * component-based programming * querying (e.g. XML) * semantic web * ... SUBMISSION ---------- We expect original articles (typically 15-30 pages; submission of larger papers will be evaluated depending on editorial constraints) that present high-quality contributions that have not been previously published and that must not be simultaneously submitted for publication elsewhere. Submissions must comply with JSC's author guidelines. They must be written in English and should be prepared in LaTeX using the "Elsevier Article Class (elsart.cls)" with "JSC add-on style (yjsco.sty)" and "Harvard style references (elsart-harv.bst)". The package "JSC LaTex" (that contains all the necessary style files and a template) can be obtained from http://www4.ncsu.edu/~hong/jsc/JSC_LaTex_2007_Mar_12.zip. The introduction of the paper MUST explicitly address the following questions in succinct and informal manner: * What is the problem? * Why is the problem important? * What has been done so far on the problem? * What is the main contribution of the paper on the problem? * Is the contribution original? Explain why. * Is the contribution non-trivial? Explain why. All the main definitions, theorems and algorithms must be illustrated by simple but meaningful examples. Without these, the paper will not be considered. We also encourage tutorials/surveys. They will be reviewed for - Quality of Presentation - Fair/complete crediting of the people who worked on the subject. It must contain: - List of the main problems/questions - Motivation/importance - Description of main ideas/algorithms/improvements so far - List of important open problems - Complete bib The target audience should be "non-expert" on the subject. (starting PhD students or experts on other subjects). The problems, ideas, algorithms, etc should be illustrated by well-chosen examples. If you plan to submit a tutorial or a survey, make sure that the title contains a phrase, such as "tutorial on ......." or "survey of .....", etc. Submissions to this special issue are hereby encouraged via the EasyChair submission system: http://www.easychair.org/conferences/?conf=jscscss2009. IMPORTANT DATES --------------- * Submission of papers: March 23, 2009. * Notification of acceptance/rejection: July 27, 2009. * Final version: September 14, 2009. GUEST EDITOR ------------ * Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) From iclp09.dc at gmail.com Fri Jan 9 18:58:26 2009 From: iclp09.dc at gmail.com (iclp09.dc at gmail.com) Date: Fri, 9 Jan 2009 11:58:26 -0600 (CST) Subject: ICLP'09 Doctoral Consortium Message-ID: <200901091758.n09HwQWf007279@krlab.cs.ttu.edu> ********************************************************************** International Conference on Logic Programming Fifth ICLP Doctoral Consortium Pasadena (California, USA) July 14-17, 2009 http://www.cs.kuleuven.be/~toms/DC2009/ ----------- The 2009 ICLP Doctoral Consortium (DC) is the fifth international doctoral consortium to be offered as part of the International Conference on Logic Programming. The DC will take place during ICLP 2009 in Pasadena, California, USA. The Doctoral Consortium is designed for doctoral students working in areas related to logic programming, as well as Master's students interested in pursuing doctoral degrees in the field of logic programming. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedback from peers as well as world-renowned experts in the field. The Doctoral Consortium will also offer invited speakers and panel discussions. ------------ The Doctoral Consortium is held the during the regular activities of the ICLP 2009 Conference. The aims of the Doctoral Consortium are: * To provide doctoral students working in the field of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback * To provide students with relevant information about important issues for doctoral candidates and future academics * To develop a supportive community of scholars and a spirit of collaborative research. * To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply. Applicants are expected to be conducting research in the field of Logic Programming; topics of interest include (but are not limited to): * Theoretical Foundations of Logic and Constraint Logic Programming * Sequential and Parallel Implementation Technology * Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification * Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) * Innovative Applications of Logic Programming The Consortium allows participants to interact with established researchers and with other students, through presentations, question- answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. The Doctoral Consortium will be held on a date to be determined, in parallel with the regular activities of the ICLP 2009 conference; the ICLP conference will run from July 14th to July 17th, 2009. Doctoral Consortium participants will be offered the opportunity to have their abstracts published in the ICLP 2009 conference proceedings. Discussants: Several renowned faculty members and researchers in the field of Logic Programming will join in evaluating the submission packets and will participate in the Doctoral Consortium, providing feedback to the presenters. The list of the discussants will be published at a later date. -------- Detailed submission instructions can be found in the ICLP 2009 Doctoral Consortium web site, at: http://www.cs.kuleuven.be/~toms/DC2009/ -------- Important Dates Submission Deadline: April 10, 2009 (strict) Acceptance Notification: April 20, 2009 Last Date to Update Research Summary: May 5, 2009 (strict) Doctoral Consortium: July 14-17, 2009 (TBA) ICLP 2009 Conference: July 14-17, 2009 ------------ Doctoral Consortium Chairs: Tom Schrijvers Marcello Balduccini Departement of Computer Science Intelligent Systems Department Catholic University of Leuven Kodak Research Labs Leuven, Belgium Rochester, NY (USA) tom.schrijvers _a_t_ cs.kuleuven.be marcello.balduccini _a_t_ gmail.com From esmiralda.moradian at dis.uu.se Sat Jan 10 00:18:17 2009 From: esmiralda.moradian at dis.uu.se (Esmiralda Moradian) Date: Sat, 10 Jan 2009 00:18:17 +0100 Subject: CALL FOR PAPERS: AGENTS AND MULTI-AGENT SYSTEMS: submit until 20th of January Message-ID: <20090110001817.70ky376i0o8gcg08@webmail5.uu.se> ****** Apologies for multiple postings ******* * please distribute to interested colleagues * CALL FOR PAPERS The 3rd KES International Symposium on AGENTS AND MULTI-AGENT SYSTEMS - TECHNOLOGIES AND APPLICATIONS (KES-AMSTA-2009) Uppsala, SWEDEN June 3 - June 5, 2009 http://amsta-09.kesinternational.org/ INTRODUCTION KES-AMSTA-2009 is an international scientific symposium for research in the field of agent and multi-agent systems. The aim of the symposium is to provide an internationally respected forum for scientific research in the technologies and applications of agent and multi-agent systems. Agents and multi-agent systems are related to a modern software paradigm which has long been recognized as a promising technology for constructing autonomous, complex and intelligent systems. This symposium will provide and excellent opportunity for researchers to discuss modern approaches and techniques for agent and multi-agent systems and their applications. KES-AMSTA-2009 is organized by KES International and Uppsala University, Sweden, and will take place in Uppsala. IMPORTANT DATES Submission of Papers: 29 December 2008 Extended to: 20 January 2009 Notification of acceptance: 10 February 2009 Final papers to be received: 1 March 2009 Authors / Early registration: 6 March 2009 Symposium: 4 Jun - 5 Jun 2009 TOPICS OF INTEREST Agent Systems Formal models of agency. Agent architectures. BDI architecture. Learning, evolution, and adaptation. Perception and action. Communication: languages, semantics, pragmatics, protocols, and conversations. Knowledge representation Computational complexity. Autonomous or humanoid robots. Social robots and robot teams. Autonomy aspect. Cognitive models, including emotions and philosophies. Embodied and believable agents. Emergent behaviour. Ontologies. Multi-agent Systems Cooperative distributed problem solving. Task and resource allocation. Mechanism design, auctions, and game theory. Modelling other agents and self. Multi-agent planning. Negotiation protocols. Multi-agent learning. Conflict resolution. Trust and reputation management. Privacy, safety and security. Scalability, robustness and dependability. Social and organizational structures. Verification and validation. Novel computing paradigms (autonomic, grid, P2P, ubiquitous computing). Brokering and matchmaking. Agent-oriented software engineering, including implementation languages and frameworks. Mobile agents. Per-formance, scalability, robustness, and dependability. Verification and validation. E-business agents. Pervasive computing. Privacy, safety, and security. Tools and Applications Simulation systems. Web services and service-oriented computing. Artificial social systems. Autonomic computing. Case studies and reports on deployments. Computational infrastructures. Information retrieval. Web services and semantic web. E-learning sys-tems. E-institutions. E-commerce. INFORMATION FOR AUTHORS Papers are invited from prospective authors with interests on the indicated symposium topics and related areas of application. All contributions should be original and not published elsewhere or intended to be published during the review period. Contributions from more applied related fields in industry and commerce are very welcome. All accepted papers must be presented by one of the authors who must register for the conference and pay the fee. To ensure high quality, all papers will be thoroughly reviewed by the KES-AMSTA-09 International Programme Committee. The symposium proceedings are planned to be published by Springer-Verlag in LNCS/LNAI series (subject to confirmation). Submitted papers should be prepared in LNCS/LNAI style and should not exceed 10 pages. Extended versions of selected papers will be considered for publication in special issues to be included in several journals indexed by ISI, KES Journal and Int. Journal of Intelligent Information and Database Systems. Ph.D. students are invited to submit papers to Doctoral Track. Special sessions are also welcome. POST-CONFERENCE PUBLICATION A selected number of accepted and personally presented papers will be expanded and revised for possible inclusion in special issues for the following prestigious international journals and books: - Knowledge and Information Systems: An International Journal (Springer, ISI/SCI indexed) - International Journal of Software Engineering and Knowledge Engineering (Springer, ISI/SCI indexed) - Journal of Universal Computer Science (Graz University, ISI/SCI indexed) - Journal of Intelligent & Fuzzy Systems 17(3) (IOS Press, ISI/SCI indexed) - International Journal of Intelligent Information and Databse Systems (Inderscience, EI, Inspec, DBLP indexed) - Edited book (title will be announced later), to be published by Springer in series Studies in Computational Intelligence - Edited book (title will be announced later) to be published by IGI Global Publishers in series Computational Intelligence and its Applications Note that only papers personally presented at the symposium will be considered for invitation to the special issues and books. PAPER SUBMISSION AND PUBLICATION The symposium proceedings are planned to be published by Springer-Verlag in LNCS/LNAI series (subject to confirmation). Submitted papers should be prepared in LNCS/LNAI style and should not exceed 10 pages. Extended versions of selected papers will be considered for publication in special issues to be included in several journals indexed by ISI, KES Journal and Int. Journal of Intelligent Information and Database Systems. Ph.D. students are invited to submit papers to Doctoral Track. Special sessions are also welcome. ORGANIZATION COMMITTEES Honorary Chair: L. Magnusson, Uppsala University, Sweden General Co-Chairs: A. H?kansson, Uppsala University, Sweden and N.T. Nguyen, Wroclaw University of Technology, Poland Executive Chair: R.J. Howlett, University of Brighton, UK Program Co-Chairs: R.L. Hartung, Franklin University, USA, and D. Sharma, Canberra University, Australia Local Organizing Chair: T. Palm, Uppsala University, Sweden Publicity Co-Chairs: Z. Kiziltan, University of Bologna, Italy and E. Moradian, Uppsala University, Sweden Invited Session Chair: L.C. Jain, University of South Australia, Australia Doctoral Track Chair: A. Pietrusiewicz, Wroclaw University of Technology, Poland KES-AMSTA-2009 is part of the AMSTA Series Chair: N.T. Nguyen, which is a sub-series of KES International Conference Series, Chairs L.C. Jain and R.J. Howlett CONTACT DETAILS Email: amsta-09 at kesinternational.org Postal Address:- KES International_2nd Floor, 145-157 St John Street London EC1V 4PY United Kingdom Best regards, KES-AMSTA-09 Organizing Committee From justinwilliams9 at gmail.com Sat Jan 10 20:33:08 2009 From: justinwilliams9 at gmail.com (Justin Williams) Date: Sat, 10 Jan 2009 14:33:08 -0500 Subject: MULTICONF-09 call for papers Message-ID: MULTICONF-09 call for papers The 2009 Multi Conference in Computer Science, Information Technology and Control systems and Computational Science and Computer Engineering (MULTICONF-09) (website: http://www.PromoteResearch.org) will be held during July 13-16 2009 in Orlando, FL, USA. We invite draft paper submissions. The event consists of the following conferences: · International Conference on Artificial Intelligence and Pattern Recognition (AIPR-09) · International Conference on Automation, Robotics and Control Systems (ARCS-09) · International Conference on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-09) · International Conference on Enterprise Information Systems and Web Technologies (EISWT-09) · International Conference on High Performance Computing, Networking and Communication Systems (HPCNCS-09) · International Conference on Information Security and Privacy (ISP-09) · International Conference on Recent Advances in Information Technology and Applications (RAITA-09) · International Conference on Software Engineering Theory and Practice (SETP-09) · International Conference on Theory and Applications of Computational Science (TACS-09) · International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-09) The website http://www.PromoteResearch.org contains more details. Sincerely Justin Williams Publicity committee -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sofronie at mpi-sb.mpg.de Sat Jan 10 22:49:07 2009 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Sat, 10 Jan 2009 22:49:07 +0100 (CET) Subject: Tableaux 2009: Final CfP Message-ID: [We apologize for multiple copies] %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% Final Call for Papers %% %% %% %% TABLEAUX 2009 %% %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% International Conference TABLEAUX 2009 Automated Reasoning with Analytic Tableaux and Related Methods Oslo, Norway 6.-10. July 2009 http://tableaux09.ifi.uio.no/ IMPORTANT DATES Abstract and Title submission: Monday, 19. January 2009 Paper Submission: Monday, 26. January 2009 Notification: Tuesday, 24. March 2009 End of rebuttal phase: Friday, 27. March 2009 Final Notification: Friday, 3. April 2009 Final Versions: Friday, 24. April 2009 Workshops: Monday, 6. July 2009 Conference: Tuesday, 7. to Friday, 10. July 2009 GENERAL INFORMATION This conference is the 18th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods. In July 2009, the conference will be held in Oslo, Norway. The conference proceedings will be published in the LNAI series as in the previous editions of the conference. See http://tableaux09.ifi.uio.no/ for more information on TABLEAUX 2009, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series. Tableaux 2009 will be collocated with FTP 2009, the workshop on First-Order Theorem Proving, see http://www.mpi-inf.mpg.de/~sofronie/ftp09/ TOPICS Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods. Topics of interest include (but are not restricted to): * analytic tableaux for various logics (theory and applications) * related techniques and concepts, e.g., model checking and BDDs * related methods (model elimination, sequent calculi, connection method, ...) * new calculi and methods for theorem proving in classical and non-classical logics (modal, description, intuitionistic, linear, temporal, many-valued...) * systems, tools, implementations and applications. As in previous years, TABLEAUX 2009 puts a special emphasis on applications. Papers describing applications of tableaux and related methods in areas such as hardware and software verification, semantic technologies, knowledge engineering, etc. are particularly invited. One or more tutorials will be part of the conference program. SUBMISSIONS The conference will include contributed papers, tutorials, system descriptions, position papers and invited lectures. Submissions are invited in four categories: A Research papers (reporting original theoretical and/or experimental research, up to 15 pages) B System descriptions (up to 5 pages) C Position papers and brief reports on work in progress D Tutorials in all areas of analytic tableaux and related methods from academic research to applications (proposals up to 5 pages) Submissions in categories A and B will be reviewed by peers, typically members of the program committee. They must be unpublished and not submitted for publication elsewhere. For category B submissions a working implementation must exist and be available to the referees. After the notification, there will be a rebuttal phase of three days during which the authors of rejected papers will have the opportunity to respond to the reviews. Accepted papers in these categories will be published in the conference proceedings. Submissions in category C will be reviewed by members of the program committee and a collection of the accepted papers in this category will be published as a Technical Report of the University of Oslo. The deadline for the submission of tutorial (Category D) and workshop proposals is Friday, 9. Jan 2009. Check information on the web page for details. Authors of accepted papers are expected to present their work at the conference. STUDENT SPONSORING Apart from significantly reduced conference fees, students will have access to budget accommodation at a rate of about 100 EUR for the whole week. If necessary, we will be able to provide further financing help. Lack of funds should not prevent you from submitting a paper to Tableaux 2009! INVITED SPEAKERS We are pleased to announce that the following speakers have accepted to give invited talks at Tableaux 2009: * Patrick Blackburn, INRIA Nancy, France * Peter Jeavons, Oxford University Computing Laboratory, UK * Pierre Wolper, Université de Liege, France PROGRAM COMMITTEE PC Chairs * Martin Giese, Univ. of Oslo, Norway * Arild Waaler, Univ. of Oslo, Norway PC Members * Peter Baumgartner, NICTA, Canberra, Australia * Bernhard Beckert, Univ. of Koblenz-Landau, Germany * Christoph Benzmüller, Saarland Univ., Saarbrücken, Germany * Marc Bezem, Univ. of Bergen, Norway * Torben Braüner, Roskilde Univ., Denmark * Agata Ciabattoni, TU Wien, Austria * Marta Cialdea Mayer, Univ. of Rome 3, Italy * Stéphane Demri, CNRS, Cachan, France * Roy Dyckhoff, Univ. of St Andrews, Scotland * Ulrich Furbach, Univ. of Koblenz-Landau, Germany * Didier Galmiche, LORIA, Henri Poincaré Univ., Nancy, France * Valentin Goranko, Univ. of the Witwatersrand, Johannesburg, South Africa * Rajeev Goré, The Australian National Univ., Canberra, Australia * Reiner Hähnle, Chalmers Univ., Göteborg, Sweden * Ullrich Hustadt, Univ. of Liverpool, UK * Christoph Kreitz, Univ. Potsdam, Germany * George Metcalfe, Vanderbilt Univ., Nashville, USA * Neil V. Murray, Univ. at Albany - SUNY, USA * Nicola Olivetti, Paul Cézanne University, Marseille, France * Jens Otten, Univ. Potsdam, Germany * Nicolas Peltier, LIG, Grenoble, France * Ulrike Sattler, Univ. of Manchester, UK * Viorica Sofronie-Stokkermans, MPI, Saarbrücken, Germany * Frank Wolter, Univ. of Liverpool, UK ORGANIZING COMMITTEE Conference co-Chairs: * Martin Giese, Univ. of Oslo, Norway * Arild Waaler, Univ. of Oslo, Norway Local organisers: * Terje Aaberge * Roger Antonsen * Roar Fjellheim * Christian M. Hansen * Bjarne Holen (webmaster) * Magdalena Ivanovska * Espen H. Lian * Martin G. Skjæveland * Evgenij Thorstensen From gianluca.moro at unibo.it Sun Jan 11 17:52:45 2009 From: gianluca.moro at unibo.it (Gianluca Moro) Date: Sun, 11 Jan 2009 17:52:45 +0100 Subject: AP2PC 2009 Call for Papers: Eighth International Workshop on Agents and Peer-to-Peer Computing Message-ID: [Apologies for multiple copies] CALL FOR PAPERS Eighth International Workshop on AGENTS AND PEER TO PEER COMPUTING (AP2PC 2009) http://p2p.ingce.unibo.it/ to be held at AAMAS 2009 Eighth International Joint Conference on Autonomous Agents and Multiagent Systems Budapest, Hungary May 10-15, 2009 SCOPE P2P networking is the term being used to describe a new crop of decentralized approaches to self-organize large overlay networks where participants can share and exploit enormous autonomous resources. At their heart P2P systems embody the earliest principles of the internet, decentralised systems of similarly enabled 'peers'. What makes P2P networking different is that the times have changed; the numbers of peers involved has multiplied, their rate of turn-over has increased, and they now operate as an overlay within the network application layer. New techniques such as distributed hash-tables (DHTs), semantic routing, and Plaxton Meshes are being combined with traditional concepts such as Hypercubes, Trust Metrics and caching techniques to pool together the untapped computing power at the "edges" of the internet. The possibilities of this paradigm have generated a lot of interest in research, industrial and social networks. P2P network collaboration is redefining the way of communicating, publishing, doing business and building collective knowledge thanks mainly to the advent of free or affordable technologies. For instance, the major film studios and the music corporations after realizing the economic potential of p2p networks, have started selling their product online. Citizen journalism is an example based on P2P interactions, in which the idea is that people without professional journalism training can use the tools of modern technology and the global distribution of the Internet to create, augment or fact-check media on their own or in collaboration with others; P2P reputation-based mechanisms are used to validate facts/news. P2P lending allows person to skip the bank and borrow from individuals; people can borrow from complete strangers or just use P2P lending services to structure loans between friends and family (e.g. Booper, Zopa, Kiva). Recently projects based on P2P architectures, for exchanging and sharing knowledge among companies (e.g. NeP4B), have been funded; the companies of any nature, size and geographic location will be able to search for partners, exchange data, negotiate and collaborate without limitations and constraints. For these and other similar phenomena has been coined at Harvard Law School the term Commons-based peer production to describe a new model of economic production in which the creative energy of large numbers of people is coordinated into large, meaningful projects, mostly without traditional hierarchical organization or financial compensation. The Internet is going to be revolutionized by applications able to harness the power of P2P networking to bring together communities of people and organizations with similar interests or goals, and the agent technology offers the potential for developing such systems. In P2P computing peers and services organise themselves dynamically without central coordination in order to foster knowledge sharing and collaboration, both in cooperative and non-cooperative environments. The success of P2P systems strongly depends on a number of factors. First, the ability to ensure equitable distribution of content and services. Economic and business models which rely on incentive mechanisms to supply contributions to the system are being developed, along with methods for controlling the "free riding" issue. Second, the ability to enforce provision of trusted services. Reputation based P2P trust management models are becoming a focus of the research community as a viable solution. The trust models must balance both constraints imposed by the environment (e.g. scalability) and the unique properties of trust as a social and psychological phenomenon. Recently, we are also witnessing a move of the P2P paradigm to embrace mobile computing and sensor networks in an attempt to achieve even higher ubiquitousness. The possibility of services related to physical location and the relation with agents in physical proximity introduces new opportunities and also new technical challenges. The MultiAgent community can make substantial contributions with respect to all of these issues. The agent paradigm serves to embody the description of the task environments, the decision-support capabilities, the collective behavior, and the interaction protocols of peers. Agent research puts its emphasis on addressing issues of user autonomy, coordination, trust, and decision making in the context of activities of other agents. P2P systems are now providing infrastructures which are sufficiently robust and scalable in order to enable the realization and application of agent-based coordination strategies to large-scale systems. Research on P2P computing is currently performed in a wide range of areas, such as distributed computing, MultiAgent systems, databases, computational trust and mobile networks. Although this research is based on similar concepts, exchange of ideas among the communities is non-trivial, due to the different perspectives, the focus on different problems or applications and the huge differences in the methodological frameworks and technical approaches being applied. To achieve progress by exploiting the work of distinct areas these barriers have to be overcome. Thus this workshop is of interest to all of the aforementioned communities that see the potential of the agent paradigm in P2P computing for several important research issues, such as semantic interoperability, trustworthiness, negotiation, just to cite only some of them. Research in agent systems in particular appears to be most relevant because, since their inception, MultiAgent Systems have always been thought of as collections of peers. Moreover for the MultiAgent community the workshop opens an opportunity to explore P2P systems as real large scale open environments of heterogeneous and autonomous agents in which studying, developing and tuning their methodological framework and technical solutions having also the possibility to disseminate their results to other areas working on P2P infrastructures. This workshop will bring together researchers working on agent systems and P2P computing with the intention of strengthening this connection. Researchers from other related areas such as distributed systems, networks and database systems will also be welcome (and, in our opinion, have a lot to contribute). We seek original contributions on the following non-exhaustive list of topics: - Intelligent agent techniques for P2P computing - P2P computing techniques for MultiAgent Systems - The Semantic Web, Semantic Coordination Mechanisms and P2P systems - Scalability, coordination, robustness and adaptability in P2P systems - Self-organization and emergent behavior in P2P networks - E-commerce and P2P computing - Participation and Contract Incentive Mechanisms in P2P Systems - Computational Models of Trust and Reputation - Social Networks, Community of interest building, regulation and behavioral norms - P2P Data Mining Agents - P2P architectures - Scalable Data Structures for P2P systems - Services in P2P systems (service definition languages, service discovery, filtering and composition etc.) - Knowledge Discovery and P2P Data Mining Agents - P2P oriented information systems - Information ecosystems and P2P systems - Security issues in P2P networks - Pervasive computing in mobile system, ad-hoc, mesh and sensor networks - Environments or solutions for bioinformatics based on P2P and Agent paradigms - Grid computing solutions based on agents and P2P paradigms - Legal issues and Intellectual property rights in P2P systems - P2P body sensor networks - Agents and P2P networks for Ambient Intelligence IMPORTANT DATES Paper submission: 6th February 2009 Acceptance notification: 1st March 2009 Workshop: 10-15 May 2009 Springer post-proceedings camera-ready: 30th May 2009 SUBMISSION AND PUBLICATION Unpublished papers should be formatted according to the LNCS/LNAI author instructions for proceedings and they should not be longer than 12 pages (about 5000 words including figures, tables, references, etc.). Papers should be submitted as a pdf file through the conference management system, at the following url: https://cmt.research.microsoft.com/AP2PC09/ As in preceding editions accepted papers will be published by Springer in the Lecture Notes on Computer Science series (LNCS). REGISTRATION AND ACCOMMODATION The accommodation and workshop registrations will be handled by the AAMAS 2009 organization along with the main conference registration. (further details are available at http://p2p.ingce.unibo.it/) From areces at pluton.loria.fr Mon Jan 12 17:14:46 2009 From: areces at pluton.loria.fr (Carlos Areces) Date: Mon, 12 Jan 2009 17:14:46 +0100 Subject: CFP: HyLo 2009 Message-ID: <200901121614.n0CGEkPa006534@pluton.loria.fr> *************************************************************** Please excuse for multiple posts and distribute as widely as possible *************************************************************** FIRST CALL FOR PAPERS International Workshop on Hybrid Logic 2009 (HyLo 2009) "Conmemorating the Ten Years of HyLo" http://hylo.loria.fr/content/Hylo09 15 - 17 July, 2009 Nancy, France *************************************************************** WORKSHOP PURPOSE: Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications, as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic. But more generally, the topic of HyLo 2009 is not only standard hybrid-logical machinery (like nominals, satisfaction operators, binders, etc) but also extensions of modal logic that increase its expressive power in one way or other. HyLo 2009 will be an special event, conmemorating the ten years since the organization of the first HyLo workshop in 1999. HyLo 2009 will be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop continues a series of previous workshops on hybrid logic. The workshop aims to provide a forum for advanced PhD students and researchers to present and discuss their work with colleagues and researchers. For more general background on hybrid logic, and many of the key papers, see the Hybrid Logics homepage (http://hylo.loria.fr/). SUBMISSION DETAILS: We invite the contribution of papers reporting new work from researchers interested in hybrid logic. Details about the submission procedure will be announced in the second call for papers. The accepted papers will appear in the workshop proceedings, and selected papers will be included in a special volume to conmemorate the 10th aniversary of the first Hybrid Logic Workshop. One author for each accepted paper must attend the workshop in order to present the paper. INVITED SPEAKERS: To be announced ORGANIZERS: Carlos Areces (INRIA Nancy Grand Est, areces at loria.fr) Patrick Blackburn (INRIA Nancy Grand Est, blackbur at loria.fr) PROGRAM COMMITTEE: Carlos Areces (INRIA Nancy Grand Est, co-chair) Patrick Blackburn (INRIA Nancy Grand Est, co-chair) Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University) Stephane Demri (LSV Cachan) Santiago Figueira (University of Buenos Aires) Valentin Goranko (University of the Witwatersrand) Ian Hodkinson (Imperial College London) Ulrike Sattler (University of Manchester) Thomas Schneider (University of Manchester) Balder ten Cate (University of Amsterdam) IMPORTANT DATES: Deadline for submissions: Sunday, 1st March 2009 Notification of acceptance: Monday, 30th of April 2009 Deadline for final versions: Friday, 1st of May 2009 Workshop dates: 15 to 17 July, 2009 FURTHER INFORMATION: http://hylo.loria.fr/content/Hylo09 From t.dinoia at poliba.it Mon Jan 12 17:28:34 2009 From: t.dinoia at poliba.it (Tommaso Di Noia) Date: Mon, 12 Jan 2009 17:28:34 +0100 Subject: CFP EC-WEB 2009 Message-ID: <1231777714.6790.11.camel@tdn-sisinf03> [We apologize for multiple copies] ======================= CALL FOR PAPERS ============================ 10th International Conference on Electronic Commerce and Web Technologies EC-Web 09 http://sisinflab.poliba.it/ecweb09/ Johannes Kepler University of Linz Linz, Austria 31 August - 4 September 2009 ==================================================================== EC-Web 2009 After the initial enthusiastic initiatives and investments and the eventual bubble, Electronic Commerce has changed and evolved in a well established and founded reality both from a technological point of view and from a scientific one. Nevertheless, together with its evolution, new challenges and topics have emerged as well as new questions have raised related to many aspects of Electronic Commerce. After the lesson learned during last years, for its 10th edition EC-Web completely renews its structure trying to provide a clearer description of the Electronic Commerce universe focusing on some relevant topics. The main focus is not only on Internet related techniques and approaches. The aim of EC-Web 2009 is to cover also aspects related to theoretical foundation of E-Commerce, Business Processes as well as new approaches exploiting recently emerged technologies and scenarios such as Semantic Web, Web services, SOA architectures, mobile and ubiquitous computing, just to cite a few. Due to their central role in any realistic e-commerce infrastructure security and privacy issues are widely considered, without excluding legal and regulatory aspects. We encourage papers that present innovative solutions for classical E-Commerce issues, such as e-negotiation, recommender systems, secure payments, as well as for new emerging areas, such as the Semantic Web, applied Web services, applied soft computing and information retrieval techniques in web and/or e-commerce environments. Although the conference seems naturally focused on computer science issues, we welcome and encourage research contributions from economics, business administration, law, sociology and other disciplines. In particular, papers about web marketing and its non-technical aspects, as well as about social aspects of e-commerce are encouraged. We also welcome papers reporting about innovative applications and case studies in the field of E-Commerce and/or Web Applications, like, e.g., Electronic Voting and Sponsored web search. In order to provide a better categorization and classification of its main goals, Ec-Web 2009 will be organized as a multi-track conference. Each track will be organized as a mini-conference with corresponding reference area chairs. Even though the main focus of the conference concerns the relationship between E-commerce and emerging technologies, with strong attention toward semantics aspects, contributions about theoretical issues as well as cross-track contributions are very welcome. TRACKS * Service Oriented E-Commerce and Business Process o Business process modeling and analysis o Software architectures o Processes and service composition o Business process and e-service repositories o Quality of Service in business processes o Security in business processes o Cross-organizational process support, contracts o Workflow management systems o Process modeling and enactment in ERP, CRM, and SCM systems o SOA and Process Management o Resource management in business process execution o Enterprise Application Integration o Inter-organizational Systems o SOA approaches to E-Commerce o Virtual enterprises, supply chains, coalitions * Recommender Systems o Innovative applications of recommender technology o Recommendation learning and reasoning o Industrial application of recommendation technology o Recommender system user interfaces and conversational approaches o Explanations in recommender systems o Group recommender systems o Consumer decision making and consumer buying behavior models o Collaborative Filtering o Appraisal of Recommender Systems o User Issues in Recommender Systems o Recommendation Interfaces o Computational advertising o Decision theory and preferences * E-Payment, Security and Trust o Payment and authentication protocols o Micropayments o Access Control o Privacy-enhancing technologies o Information Hiding and Watermarking o Reputation and trust systems o Security and privacy issues in electronic commerce o E-Commerce Dependability o Transactions and Contracts o Legal and Regulatory Issues o Electronic voting * Electronic Commerce and Web 3.0 o Ontology engineering for E-Commerce o Taxonomies and Web directories for semantic E-Commerce o Semantic-based discovery of resources in a marketplace o Semantic electronic markets o Semantic Web Service architecture for E-Commerce o Semantic E-Procurement o Ontology-based user profiling o Application of standard and non-standard reasoning in E-Commerce o User tagging for item annotation and discovery o Cloud computing in E-Commerce scenarios o User interface to exploit Web 3.0 technologies in E-Commerce o Emerging languages for E-Commerce o Mobile and Pervasive Commerce o P2P E-Commerce o Experience with e-commerce systems o Usability of e-commerce systems CONFERENCE CHAIRS * Francesco Buccafurri - Università Mediterranea di Reggio Calabria * Tommaso Di Noia - Politecnico di Bari TRACK CHAIRS Service Oriented E-Commerce and Business Process * Stefan Tai - Karlsruhe University Recommender Systems * Giovanni Semeraro - Università degli Studi di Bari E-Payment, Security and Trust * Barbara Masucci - Università di Salerno Electronic Commerce and Web 3.0 * Martin Hepp - Bundeswehr University Munich IMPORTANT DATES - Submission of abstracts: March 16, 2009 - Submission of full papers: March 21, 2009 - Notification of acceptance: May 15, 2009 - Camera-ready copies due: June 10, 2009 SUBMISSION Authors are invited to submit original research contributions in English, following the LNCS format (http://www.springer.de/comp/lncs/authors.html). Duplicate submissions are not allowed and will be rejected Papers should not exceed 12 pages (i.e. 12 LNCS formatted pages). Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. All accepted papers will be published in "Lecture Notes in Computer Science" (LNCS) by Springer Verlag. At least one author is required to attend the conference and present the paper. For paper registration, electronic submission and further information please see http://sisinflab.poliba.it/ecweb09/ and http://www.dexa.org. From sebastian.schaffert at salzburgresearch.at Tue Jan 13 08:48:52 2009 From: sebastian.schaffert at salzburgresearch.at (Sebastian Schaffert) Date: Tue, 13 Jan 2009 08:48:52 +0100 Subject: 2nd Call for Papers: 4th Workshop on Semantic Wikis (SemWiki2009) Message-ID: <496C4764.40706@salzburgresearch.at> ***2nd Call for Papers*** Fourth Workshop on Semantic Wikis The Semantic Wiki Web [SemWiki2009] co-located with ESWC 2009, Heraklion, Crete 1st June 2009 http://www.semwiki.org/ Supported by the EU Project KiWi - Knowledge in a Wiki (http://www.kiwi-project.eu) Goals and Motivation ==================== Wikis are a major success of Web 2.0. They are used for a large number of purposes, such as encyclopedias, project documentation, and coordination, both in open communities and in enterprises. Wikis have demonstrated how it is possible to transform a community of strangers into a community of collaborators. By integrating Semantic Web technologies, semantic wikis one the one hand allow this new community of contributors to produce formalized knowledge readable by machines and on the other hand support the users in ways ordinary wikis are not capable of, e.g. by personalisation, integration with other services, and reasoning. Authoring and usage of informal and formal data take place in the same system, leading to instant gratification. Some systems simply tag existing wiki content, others are full-fledged ontology editors, but the majority covers the large scale between informal and fully formalized content, guiding users from informal knowledge contained in texts to more formal structures. Semantic wikis are a very promising way to establish a partnership between human and automated collaborators, creating communities for collaborative knowledge building and sharing. Some important steps have already been achieved with systems that are already adopted outside of the original Semantic Web community. Semantic wikis are thus even now a major success story of the Semantic Web and a reference that combines the advantage of Web 2.0 and the Web of data and have the potential to significantly contribute to the adoption of semantic technologies throughout the Web. The goal of this workshop is to study how interactions within a semantic wiki between humans and between humans and machines can help both parties to collaboratively produce and share knowledge that is usable for human and computers. As semantic wikis contain many of the core Semantic Web challenges in an integrated fashion, we are also concerned about contributing results obtained in semantic wiki "petri dishes" to the overall Semantic Web effort. Workshop Audience and Topics ============================ We want to bring together researchers and practitioners active in the development and application of traditional and semantic wiki systems, as well as researchers interested in knowledge acquisition in general and in computer supported cooperative work. This includes researchers working on semantic portals, personal and enterprise knowledge management systems and ontology authoring. We address researchers working on (but not limited to): * Applications of semantic wikis in - e-science and e-learning - software and knowledge engineering - enterprise workflows and knowledge management - personal knowledge management - ... and other fields * Integration and reuse of semantic wikis or (semantic) wiki content: - integrations with other semantic applications; mashups - wikis and Linked Open Data; scaling wikis to the web - giving semantics to non-semantic wikis (e.g. Wikipedia) - reusing semantics gained from wikis (e.g. DBpedia) * Human and social factors of semantic wikis - usability studies, empirical studies, analyses of semantic wiki contributors and their contributions - overcoming entrance barriers, giving incentives for contributing - connecting knowledge and social interaction - community building * Knowledge representation and reasoning in semantic wikis - combining formal and informal knowledge, transforming informal to formal knowledge, making formal knowledge accessible - coping with inconsistencies - change management, truth maintenance, versioning, and undoing semantic changes - utilizing emerging knowledge models - semantic wikis for rapid prototyping of schema-driven applications - collaborative ontology engineering with wikis * Technologies for semantic wikis - privacy: permissions, trust, licensing, access control - browsing, navigating, visualizing semantically enhanced linked data - distributed semantic wikis: offline/distributed/real-time/multi- synchronous editing - innovative plugins and extensions for existing systems (e.g. Semantic MediaWiki) Organisation Committee ====================== * Christoph Lange, Jacobs University Bremen, Germany ch.lange at jacobs-university.de * Sebastian Schaffert, Salzburg Research, Austria sebastian.schaffert at salzburgresearch.at * Hala Skaf-Molli, INRIA-Nancy University, France skaf at loria.fr * Max Völkel, University of Karlsruhe, Germany voelkel at fzi.de Programme Committee =================== * David Aumüller, Universität Leipzig (DE) * Sören Auer, Universität Leipzig (DE) * Joachim Baumeister, Universität Würzburg (DE) * Björn Decker, IESE (DE) * Sebastian Dietzold, Universität Leipzig (DE) * Ludger van Elst, DFKI (DE) - pending * Michael Erdmann, Ontoprise (DE) * Herman Geuvers, Radboud Univ. Nijmegen (NL) * Tudor Groza, DERI (IE) * Fabian Gandon, INRIA - Edelweiss (FR) * Siegfried Handschuh, DERI (IE) * Martin Hepp, UniBW M√ºnchen (DE) * Malte Kiesel, DFKI (DE) * Michael Kohlhase, Jacobs University Bremen (DE) * Tobias Kuhn, Universität Zürich (CH) * Pascal Molli, Nancy Univerity, INRIA (FR) * Christine Müller, Jacobs University Bremen (DE) * Claudia Müller, Universität Stuttgart (DE) * Amedeo Napoli, CNRS, LORIA (FR) * Viktoria Pammer, Know-Center Graz (AT) * Jochen Reutelshöfer, Universität Würzburg (DE) * Jean Rohmer, Thales (FR) * Matthias Samwald, Semantic Web Company (AT) * Daniel Schwabe, University of Rio de Janeiro (BR) * Elena Simperl, STI Innsbruck (AT) * Harold Solbrig, Mayo Clinic (US) * Steffen Staab, Universität Koblenz-Landau (DE) * Jakob Vo√ü, GBV Göttingen (DE) * Friedel Völker, City Wiki Pforzheim-Enz (DE) * Peter Yim, CIM Engineering Inc. (US) * Alicia Diaz,LIFIA, Fac Informatica, UNLP (ARG) Further invitations are planned. Submission and Proceedings ========================== We invite the following different kinds of contributions: * full research or application papers (15 pages) describing recent research outcomes, mature work, prototypes, applications, or methodologies; authors of accepted full papers will be able to present their work in a 20 minute talk at the workshop * short position papers (5-10 pages) describing early work and new ideas that are not yet fully worked out; authors of short papers will be able to present their work in a 5-10 minute lightning talk at the workshop * demo outlines (5 pages) describing the demonstration of a software prototype in the poster and demo session during the workshop * poster descriptions (2 pages) outlining a poster to be presented in the poster and demo session during the workshop Independently of the type of submission, all papers should be formatted according to the Springer Lecture Notes in Computer Science (LNCS) format. For complete details on this issue see Springer's Author Instructions at http://www.springer.com/computer/lncs?SGWID=0-164-2-72376-0. Papers will be submitted using the EasyChair system. Access to EasyChair will be given in time on the workshop homepage (http://www.semwiki.org). In addition to ordinary submissions, all attendees of the workshop are encouraged to informally present their work in an open space session during the workshop if they are not (yet) able to submit a description of their work or to also discuss more recent work that has been done after the submission deadline of the workshop. Important Dates =============== Paper Submission: 22nd February 2009 Author Notification: 4th April 2009 Workshop: 1st June 2009 In case of questions, feel free to contact any of the organisers at chair at semwiki.org -- Sebastian | Dr. Sebastian Schaffert sebastian.schaffert at salzburgresearch.at | Salzburg Research Forschungsgesellschaft http://www.salzburgresearch.at | Knowledge Based Information Systems +43 662 2288 423 | Jakob-Haringer Strasse 5/II | A-5020 Salzburg PGP Key fingerprint = 13 1D 2E 4F 20 3E C9 1F 4C 57 52 87 8A 80 48 4D F5 E9 97 EC From Davy.Monticolo at utbm.fr Tue Jan 13 15:15:21 2009 From: Davy.Monticolo at utbm.fr (Davy.Monticolo at utbm.fr) Date: Tue, 13 Jan 2009 15:15:21 +0100 Subject: [KAD 09] 2nd Call of paper CIE'39, special Track on Knowledge Management Aided Design Message-ID: <1231856121.496ca1f922e96@webmail.utbm.fr> ======================================================================= CALL FOR PAPERS - deadline : February 1, 2009 ======================================================================= Special Track on Knowledge Management Aided Design in conjunction with the International Conference on Computers & industrial Engineering ======================================================================= KAD 2009 First edition of the International Track on Knowledge Management Aided Design (KAD 2009) In conjunction with the International Conference on Computers & industrial Engineering July 6-8, 2009- Troyes, France – http://www.utt.fr/cie39/ Track chairs : Dr Samuel Gomes, University of Technology UTBM, France Dr. Davy Monticolo, University of Technology UTBM, France Dr Louis Rivest, École de technologie supérieure, Canada Topics include (but are not limited to): ======================================== Submissions on substantial, original and previously unpublished research in all areas related to the Knowledge Management approaches used in product design organisations (PDO). Major identified areas are (but not restricted to): Information Systems in Product Design Organisation (PDO) Knowledge Management in PDO Distributed Infrastructures for PDO Innovation and business strategies for PDO Tools and techniques for knowledge acquisition, knowledge update and knowledge validation for PDO Web-based approaches for knowledge management CSCW and cooperative approaches for knowledge management aided design Agent-based approaches for knowledge management aided design Evaluation of knowledge acquisition techniques for PDO Knowledge acquisition, machine learning and knowledge discovery Languages and frameworks for knowledge and knowledge modeling Ontology-based approaches for knowledge management for PDO Integration of knowledge acquisition techniques with decision support systems Knowledge-based approaches for knowledge management Corporate Semantic Webs for knowledge management Peer-to-peer approaches for knowledge management ... Description ================ In today’s challenging global market, companies have to innovate in order to improve competitiveness and business performance. They must bring innovative products to market more effectively and more quickly to maximize customer interest and sales. The pressures to reduce time, improve product quality, and lower costs have not gone away; they are being reaffirmed and folded into programs that focus on delivering the “right” product. Product leadership companies must continue to enter new markets with innovative products. This requires leveraging and reusing the product-related intellectual capital created by partners working together. Business innovation must occur in several dimensions: project organization, product definition, production engineering, ergonomics design, environmental impacts, etc. In this context, knowledge-based systems have received increased attention as being instrumental to strategy formulation. The synergy of these approaches with knowledge management initiatives during products design projects is intuitive and their use in a common framework is discussed in this Track to show the importance of methods and instruments to mapping and assessing the knowledge assets of an organisation. This Track will focus on the theoreticians and practitioners concerned with developing methods and systems that assist the knowledge management process in mechanical design projects or organisations. Thus, the Track includes all aspects of acquiring, modeling and managing knowledge, and their role in the construction of knowledge-based systems. Knowledge acquisition still remains the bottleneck for building a knowledge based system. Reuse and sharing of knowledge bases are major issues and no satisfactory solutions have been agreed upon yet. There is a wide range of research. Much of the work in this field has been knowledge acquisition. The advent of the age of digital information has brought the problem of knowledge reuse and knowledge evaluation. Our ability to analyze, evaluate and assist user in reusing knowledge present a great challenge of the next years. A new generation of computational techniques and tools is required to support the acquisition, the reuse and the evaluation of useful knowledge from the rapidly growing volume of information. All of these are to be discussed in this Track. Program Committee ================ Benoit Eynard, University of Technology UTC,France Abe Akinori, ATR Knowledge Science Lab, Japan Alain Bernard, Ecole Centrale de Nantes, France Angelina Tzacheva University of South Carolina, USA Ashley Lloyd Curtin Business School, Perth, Australia Asun Gomez Perez Universidad Politecnica de Madrid, Spain Balachandran, Bala University of Canberra, Australia Carlos Alberto Costa UCS, Brazil Chimay J. Anumba Loughborough University, UK Damiani, Ernesto University of Milan, Italy Edgard Dias Batista Jr UNESP, Brazil Enrico Motta The Open University, UK Fatima Farinha Algarve University, Portugal Francis Pahng Zionex, Inc. South Korea, Geilson Loureiro Brazilian Institute for Space Research (INPE), Brazil Håkansson, Anne University of Upsala, Sweden Hojjat Adeli, The Ohio State University, USA Jerzy Pokojski Warsaw University of Technology, Poland Jianzhong Cha Beijing Jiaotong University, China Jos P. van Leeuwen Eindhoven University of Technology, The Netherlands Laurent Genest Ecole Nationale d'Ingénieurs de TARBES, France Liping Fang Ryerson University, Canada Maciej Pietrzyk Akademia Gorniczo-Hutnicza, Poland Marcelo da Silva Hounsell UDESC, Santa Catarina, Brazil Martin Dzbor Open University, UK Martin Hardwick RPI, STEP Tools, Inc, USA Michael W. Sobolewski, Texas Tech University, USA, USA Mumford, Christine  Cardiff University, UK Nada Matta University of Technology UTT, France Nuernberger, Andreas  University of Magdeburg, Germany  Ong Soh Khim National University of Singapore, Singapore Osiris Canciglieri Junior Pontifícia Universidade Católica do Paraná, brazil P.M. (Nel) Wognum University of Twente, the Nederlands Pavel Ikonomov Western Michigan University, USA Rajkumar Roy SIMS, Cranfield University, UK Ricky Curran Queen's University Belfast, Ireland Roger Jiao Jianxin Georgia Institute of Technology, Atlanta USA Roland Maranzana University of Quebec, Canada Sanjay Goel University at Albany, USA Shuichi Fukuda Tokyo Metropolitan Institute of Technology, Japan Suren N. Dwivedi University of Louisiana at Lafayette, USA Turchetti, Claudio Uni Politechnica delle Marche, Italy  Yiping Lu Beijing Jiaotong University (BJTU), China I Wayan I Wayan Simri Wicaksana, Gunadarma University, Indonesia Important Dates: ================ Express your intention of submission and send your full paper to davy.monticolo at utbm.fr. you will find a template to http://www.utt.fr/cie39/Submission.htm January 15, 2009: deadline for abstract submission (1 page) February 1, 2009 : deadline for paper submission (6 pages) March 1, 2009: notification of acceptance/reject April 30, 2009: deadline for final paper and registration. From Bertram.Fronhoefer at inf.tu-dresden.de Tue Jan 13 19:54:35 2009 From: Bertram.Fronhoefer at inf.tu-dresden.de (=?ISO-8859-1?Q?Bertram_Fronh=F6fer?=) Date: Tue, 13 Jan 2009 19:54:35 +0100 Subject: European Master's Program in Computational Logic Message-ID: <04826CBB-B3AD-4DD2-A485-0E208C4719FE@inf.tu-dresden.de> Dear all, I'd like to draw your attention to the fact that fresh scholarships are available for students who enroll in our European Master's Program in Computational Logic in the fall of 2009. The deadline for application is Feb 10, 2009. More details are given below. In particular, I'd like to draw your attention to the fact that we have selected the National ICT of Australia (NICTA) as our partner and are able to provide grants to EU-students for doing their project in Australia. Many thanks ******************************************************************************************************* The European Master's Program in Computational Logic We are glad to offers you the possibility to join our European Master Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universität Dresden in Germany, the Universidade Nova de Lisboa in Portugal, the Universidad Politecnica de Madrid in Spain and the Technische Universität Wien in Austria. Within this program you have the choice to study at two of the five European universities. You will graduate with a MSc in Computer Science from each of the two universities you have selected. Information on the universities and the program including the application form are provided here: http://european.computational-logic.org Language of instruction is English. Tuition fees are 3.000 EUR per year. We would like to draw your attention to the ERASMUS-MUNDUS scholarship program. The ERASMUS-MUNDUS consortium offers 2-year scholarships of 42.000 EUR for non-EU students in our European Master Program in Computational Logic. EU-students may apply for a three-month scholarship of 3100 EUR for doing their project at NICTA in Australia. Application deadline is February 10, 2009. Online-applications (pdf- files, ONLY) are possible and must contain: # Application form # Curriculum Vitae # Reports on university examinations (transcripts) and diploma (first degree or bachelor degree). If the bachelor degree will only be available after the deadline, students are required to send us a PRELIMINARY certificate. # English language certificate (TOEFL and IELTS) More information on the application procedure are available from: http://european.computational-logic.org/content/course/how_to_apply.php?id=69 Do not hesitate to contact us again if you have any further questions. Kind regards -- Steffen Hölldobler Steffen Hoelldobler sh at iccl.tu-dresden.de From peter.novak at tu-clausthal.de Tue Jan 13 22:06:37 2009 From: peter.novak at tu-clausthal.de (Peter Novak) Date: Tue, 13 Jan 2009 22:06:37 +0100 Subject: Call For Papers: DALT 2009 Message-ID: <20090113210637.GN23764@tu-clausthal.de> [Please accept our apologies if you receive multiple postings.] ***************************************************************** ***************************************************************** 7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009) 11 or 12 May 2009 Budapest, Hungary (held in conjunction with AAMAS 2009) URL: http://www.di.unito.it/~baldoni/DALT-2009/ ***************************************************************** ***************************************************************** !!!! NEWS: POST-PROCEEDINGS in LNAI !!!! ***************************************************************** ***************************************************************** ***************************************************************** CALL FOR PAPERS ***************************************************************** The workshop on Declarative Agent Languages and Technologies (DALT), in its seventh edition this year, is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems. Building complex agent systems calls for models and technologies that en- sure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can sat- isfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of of- fering solutions satisfying the needs for both specifying and de- veloping multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the seman- tic web, service-oriented computing, security, and electronic contracting. For instance, some convergence points between the areas of formal methods for dealing with web services and formal methods for agents are emerging and gaining more and more atten- tion. DALT 2009 will be held as a satellite workshop of AAMAS 2009, the 8th International Joint Conference on Autonomous Agents and Mul- tiagent Systems, in May 2009 in Budapest, Hungary. Following the success of six previous editions, DALT will again aim at provid- ing a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of re- searchers working on declarative languages and technologies. ***************************************************************** TOPICS OF INTEREST ***************************************************************** DALT topics of interest include, but are not limited to: General themes: * specification of agents and multiagent systems * declarative approaches to engineering agent systems Formal techniques: * (constraint) logic programming approaches to agent systems * distributed constraint satisfaction * modal and epistemic logics for agent modelling * game theory and mechanism design for multi-agent systems * semantics of agent communication * model checking agents and multi-agent systems Declarative models: * declarative models of agent beliefs, goals and capabilities * declarative models of bounded rationality * declarative approaches for agent-based grid computing * declarative paradigms for the combination of heterogeneous agents * declarative approaches to organizations and electronic institutions * agent-inspired declarative approaches to Web services and service-oriented architectures Applications of declarative techniques to: * agents and the semantic web * multi-agent systems for service-oriented computing * agent-based grid computing * agent communication and coordination languages * protocol specification and conformance checking * declarative description of contracts and negotiation policies * security and trust in multiagent systems Evaluation of declarative approaches: * experimental analysis of declarative agent technologies * industrial experiences with declarative agent technologies ***************************************************************** SUBMISSION INSTRUCTIONS ***************************************************************** We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publication elsewhere. Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 16 pages. Paper submission is electronic via the conference website. ***************************************************************** WORKSHOP PROCEEDINGS ***************************************************************** Printed copies of the proceedings will be available at the workshop. The post-proceedings will be published by Springer- Verlag in the Lecture Notes in Artificial Intelligence series. ***************************************************************** IMPORTANT DATES ***************************************************************** Submission Deadline: 1 February 2009 Notification of Acceptance/Rejection: 1 March 2009 Camera Ready Due: 15 March 2009 Workshop: 11 or 12 May 2009 ***************************************************************** PROGRAMME COMMITTEE ***************************************************************** Thomas Agotnes (Bergen University College, Norway) Marco Alberti (University of Ferrara, Italy) Natasha Alechina (University of Nottingham, UK) Cristina Baroglio (University of Torino, Italy) Rafael Bordini (University of Durham, UK) Jan Broersen (University of Utrecht, The Netherlands) Federico Chesani (University of Bologna, Italy) Amit Chopra (North Carolina State University, USA) Keith Clark (Imperial College London, UK) James Harland (RMIT University, Australia) Andreas Herzig (Paul Sabatier University, France) Koen Hindriks (Delft University of Technology, The Netherlands) Shinichi Honiden (National Institute of Informatics, Japan) Yves Lesperance (York University, Canada) Alessio Lomuscio (Imperial College London, UK) Viviana Mascardi (University of Genova, Italy) Nicolas Maudet (University of Paris-Dauphine, France) John-Jules Meyer (University of Utrecht, NL) Peter Novak (Clausthal University of Technology, Germany) Enrico Pontelli (New Mexico State University, USA) Azzurra Ragone (Polytechnic of Bari, Italy) Chiaki Sakama (Wakayama University, Japan) Guillermo Simari (Universidad Nacional del Sur, Argentina) Tran Cao Son (New Mexico State University, USA) Eugenia Ternovska (Simon Fraser University, Canada) Wamberto Vasconcelos (University of Aberdeen, UK) Marina De Vos (University of Bath, UK) Michael Winikoff (RMIT University, Australia) ***************************************************************** ORGANISING COMMITTEE ***************************************************************** Matteo Baldoni (University of Torino, Italy) Jamal Bentahar (Concordia University, Canada) John Lloyd (Australian National University, Australia) M. Birna van Riemsdijk (Delft University of Technology, The Netherlands) ***************************************************************** STEERING COMMITTEE ***************************************************************** Matteo Baldoni (University of Torino, Italy) Andrea Omicini (University of Bologna-Cesena, Italy) M. Birna van Riemsdijk (Delft University of Technology, The Netherlands) Tran Cao Son (New Mexico State University, USA) Paolo Torroni (University of Bologna, Italy) Pinar Yolum (Bogazici University, Turkey) Michael Winikoff (University of Otago, New Zealand) ***************************************************************** From baldoni at di.unito.it Wed Jan 14 08:40:43 2009 From: baldoni at di.unito.it (Matteo Baldoni) Date: Wed, 14 Jan 2009 08:40:43 +0100 Subject: 2nd CFP: DALT@AAMAS'09 (LNAI postproceedings!) Message-ID: <496D96FB.9070709@di.unito.it> [Please accept our apologies if you receive multiple postings.] ***************************************************************** ***************************************************************** 7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009) 11 or 12 May 2009 Budapest, Hungary (held in conjunction with AAMAS 2009) URL: http://www.di.unito.it/~baldoni/DALT-2009/ ***************************************************************** ***************************************************************** !!!! NEWS: POST-PROCEEDINGS in LNAI !!!! ***************************************************************** ***************************************************************** ***************************************************************** CALL FOR PAPERS ***************************************************************** The workshop on Declarative Agent Languages and Technologies (DALT), in its seventh edition this year, is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems. Building complex agent systems calls for models and technologies that en- sure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can sat- isfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of of- fering solutions satisfying the needs for both specifying and de- veloping multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the seman- tic web, service-oriented computing, security, and electronic contracting. For instance, some convergence points between the areas of formal methods for dealing with web services and formal methods for agents are emerging and gaining more and more atten- tion. DALT 2009 will be held as a satellite workshop of AAMAS 2009, the 8th International Joint Conference on Autonomous Agents and Mul- tiagent Systems, in May 2009 in Budapest, Hungary. Following the success of six previous editions, DALT will again aim at provid- ing a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of re- searchers working on declarative languages and technologies. ***************************************************************** TOPICS OF INTEREST ***************************************************************** DALT topics of interest include, but are not limited to: General themes: * specification of agents and multiagent systems * declarative approaches to engineering agent systems Formal techniques: * (constraint) logic programming approaches to agent systems * distributed constraint satisfaction * modal and epistemic logics for agent modelling * game theory and mechanism design for multi-agent systems * semantics of agent communication * model checking agents and multi-agent systems Declarative models: * declarative models of agent beliefs, goals and capabilities * declarative models of bounded rationality * declarative approaches for agent-based grid computing * declarative paradigms for the combination of heterogeneous agents * declarative approaches to organizations and electronic institutions * agent-inspired declarative approaches to Web services and service-oriented architectures Applications of declarative techniques to: * agents and the semantic web * multi-agent systems for service-oriented computing * agent-based grid computing * agent communication and coordination languages * protocol specification and conformance checking * declarative description of contracts and negotiation policies * security and trust in multiagent systems Evaluation of declarative approaches: * experimental analysis of declarative agent technologies * industrial experiences with declarative agent technologies ***************************************************************** SUBMISSION INSTRUCTIONS ***************************************************************** We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publication elsewhere. Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 16 pages. Paper submission is electronic via the conference website. ***************************************************************** WORKSHOP PROCEEDINGS ***************************************************************** Printed copies of the proceedings will be available at the workshop. The post-proceedings will be published by Springer- Verlag in the Lecture Notes in Artificial Intelligence series. ***************************************************************** IMPORTANT DATES ***************************************************************** Submission Deadline: 1 February 2009 Notification of Acceptance/Rejection: 1 March 2009 Camera Ready Due: 15 March 2009 Workshop: 11 or 12 May 2009 ***************************************************************** PROGRAMME COMMITTEE ***************************************************************** Thomas Agotnes (Bergen University College, Norway) Marco Alberti (University of Ferrara, Italy) Natasha Alechina (University of Nottingham, UK) Cristina Baroglio (University of Torino, Italy) Rafael Bordini (University of Durham, UK) Jan Broersen (University of Utrecht, The Netherlands) Federico Chesani (University of Bologna, Italy) Amit Chopra (North Carolina State University, USA) Keith Clark (Imperial College London, UK) James Harland (RMIT University, Australia) Andreas Herzig (Paul Sabatier University, France) Koen Hindriks (Delft University of Technology, The Netherlands) Shinichi Honiden (National Institute of Informatics, Japan) Yves Lesperance (York University, Canada) Alessio Lomuscio (Imperial College London, UK) Viviana Mascardi (University of Genova, Italy) Nicolas Maudet (University of Paris-Dauphine, France) John-Jules Meyer (University of Utrecht, NL) Peter Novak (Clausthal University of Technology, Germany) Enrico Pontelli (New Mexico State University, USA) Azzurra Ragone (Polytechnic of Bari, Italy) Chiaki Sakama (Wakayama University, Japan) Guillermo Simari (Universidad Nacional del Sur, Argentina) Tran Cao Son (New Mexico State University, USA) Eugenia Ternovska (Simon Fraser University, Canada) Wamberto Vasconcelos (University of Aberdeen, UK) Marina De Vos (University of Bath, UK) Michael Winikoff (RMIT University, Australia) ***************************************************************** ORGANISING COMMITTEE ***************************************************************** Matteo Baldoni (University of Torino, Italy) Jamal Bentahar (Concordia University, Canada) John Lloyd (Australian National University, Australia) M. Birna van Riemsdijk (Delft University of Technology, The Netherlands) ***************************************************************** STEERING COMMITTEE ***************************************************************** Matteo Baldoni (University of Torino, Italy) Andrea Omicini (University of Bologna-Cesena, Italy) M. Birna van Riemsdijk (Delft University of Technology, The Netherlands) Tran Cao Son (New Mexico State University, USA) Paolo Torroni (University of Bologna, Italy) Pinar Yolum (Bogazici University, Turkey) Michael Winikoff (University of Otago, New Zealand) ***************************************************************** -- Matteo Baldoni Dipartimento di Informatica | Universita` degli Studi di Torino | Tel. +39 011 6706756 C.so Svizzera, 185 | Fax. +39 011 751603 I-10149 Torino (Italy) | URL http://www.di.unito.it/~baldoni ----------------------------------------------------------------------- Please avoid sending me Word or PowerPoint attachments. See http://www.gnu.org/philosophy/no-word-attachments.html ----------------------------------------------------------------------- From berndt.farwer at durham.ac.uk Wed Jan 14 11:54:19 2009 From: berndt.farwer at durham.ac.uk (Berndt Farwer) Date: Wed, 14 Jan 2009 10:54:19 +0000 Subject: 1st Call for Papers - LAM'09 Message-ID: 1st Call for Papers Second International Workshop on Logics for Agents and Mobility (LAM'09) 9-10 August 2008, Los Angeles, California, USA organised as satellite workshop at the Twenty-Fourth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2009), 11–14 August 2009, Los Angeles, California, USA Workshop Organizer: Berndt Farwer (berndt.farwer at durham.ac.uk) Workshop Purpose: Our aim is to bring together active researchers in the area of logics and mobile systems, especially in the field of logics and calculi for mobility, agents, and multi-agent systems. Many notions used in the theory of agents are derived from philosophy, logic, and linguistics (belief, desire, intention, speech act, etc.), and interdisciplinary discourse has proved fruitful for the advance of this domain. Outside of academia, 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). 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 with a focus on logics for specification and verification of dynamic, mobile systems. Scopes of Interest: The main topics of interest include - logics for specification and reasoning about agents, MAS, and mobile systems in a broader sense - treatment of location and resources in logics (e.g. Linear Logic, BI- Logic, ambient calculus) - security in ad-hoc networks - temporal logics and model checking - type systems and static analysis - logic programming. Format of the Workshop: The workshop will be held as a one-and-a-half-day event before LICS. There will be a general introduction and brief survey of the field by the organiser as an introduction to the workshop. The workshop will contain invited talks, contributed talks, and a discussion session. The latter is meant to give the participants a chance to discuss informally research directions, open problems, and possible co-operations. Submission details: Authors are invited to submit a full paper of original work in the areas mentioned above. The workshop chair should be informed of closely related work submitted to a conference or journal in advance of submission. One author of each accepted paper will be expected to present it at the LAM’09 workshop. Submissions should not exceed 15 pages, preferably using the LaTeX article class. The following formats are accepted: PDF, PS. Please send your submission electronically to LAM.09 at durham.ac.uk by the deadline listed below. The submissions will be reviewed by the workshop's programme committee and additional reviewers. Accepted papers will appear in informal workshop pre-proceedings and authors will be encouraged to re-submit papers to formal proceedings likely to be published as a special journal issue. Invited Speakers: TBA Local Arrangements: TBA Important Dates: Submission Deadline: 1 May 2009 Notification: 12 June 2009 Preliminary programme: 19 June 2009 Final papers for proceedings: 10 July 2009 Workshop: 9–10 August 2009 Programme Committee: Thomas Agotnes, Bergen, Norway Matteo Baldoni, Torino, Italy Marina De Vos, Bath, UK Louise Dennis, Liverpool, UK Jürgen Dix, Clausthal, Germany Berndt Farwer (chair), Durham, UK Didier Galmiche, Nancy, France João Leite, Lisbon, Portugal James Harland, Melbourne, Australia Andreas Herzig, Toulouse, France Wojtek Jamroga, Clausthal, Germany Michael Köhler-Bußmeier, Hamburg, Germany Alessio Lomuscio, London, UK Dale Miller, INRIA, France Frederic Peschanski, Paris, France Vladimiro Sassone, Southampton, UK Mark-Oliver Stehr, Menlo Park, USA Wamberto Vasconcelos, Aberdeen, UK Further Information: About the workshop: About LICS: -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From arcoe-09 at aifb.uni-karlsruhe.de Wed Jan 14 17:14:03 2009 From: arcoe-09 at aifb.uni-karlsruhe.de (ARCOE-09) Date: Wed, 14 Jan 2009 17:14:03 +0100 Subject: ARCOE-09 Second Call for Participation Message-ID: <52c479f40901140814v341fc67vb9818f0b45649e12@mail.gmail.com> Apologies for Multiple Postings ======================= CALL FOR PARTICIPATION ARCOE-09 at IJCAI-09 July 11-12, 2009 Pasadena, CA, USA ======================= The IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-09) http://km.aifb.uni-karlsruhe.de/ws/ARCOE-09 July 11-12, 2009 Pasadena, California, USA held at the International Joint Conference on Artificial Intelligence (IJCAI-09) http://ijcai-09.org ARCOE-09 Highlights: McGuinness' and Baader's Invited Talks; IJCAI set workshop dates to July 11-12, 2009 -- Description of the workshop -- Methods of automated reasoning have solved a large number of problems in Computer Science by using formal ontologies expressed in logic. Over the years, though, each problem or class of problems has required a different ontology, and sometimes a different version of logic. Moreover, the processes of conceiving, controlling and maintaining an ontology and its versions have turned out to be inherently complex. All this has motivated much investigation in a wide range of disparate disciplines -- from logic-based Knowledge Representation and Reasoning to Software Engineering, from Databases to Multimedia -- about how to relate ontologies to one another. ARCOE-09 aims at bringing together researchers and practitioners from core areas of Artificial Intelligence (Knowledge Representation and Reasoning, Contexts, and Ontologies) to discuss these kinds of problems and relevant results. Historically, there have been at least three different, yet interdependent motivations behind this type of research: defining the relationship between an ontology and its context, providing support to ontology engineers, enhancing problem solving and communication for software agents. Ontology and Context. Most application areas have recognised the need for representing and reasoning about knowledge that is distributed over many resources. Such knowledge depends on its context, i.e., on the syntactic and/or semantic structure of such resources. Research on information integration, distributed knowledge management, the semantic web, multi-agent and distributed reasoning have pinned down different aspects of how ontologies relate to and/or develop within their context. Ontology Engineering. Ontology engineers are not supposed to succeed right from the beginning when (individually or collaboratively) developing an ontology. Despite their expertise and any assistance from domain experts, revision cycles are the rule. Research on the automation of the process of engineering an ontology has improved efficiency and reduced the introduction of unintended meanings by means of interactive ontology editors. Moreover, ontology matching has studied the process of manual, off-line alignment of two or more known ontologies. Problem Solving and Communication for Agents. Agents that communicate with one another without having full access to their respective ontologies or that are programmed to face new non-classifiable situations must change their own ontology dynamically at run-time -- they cannot rely on human intervention. Research on this problem has either concentrated on non-monotonic reasoning and belief revision or on changes of signature, i.e., of the grammar of the ontology's language, with a minimal disruption to the original theory. ARCOE-09 will provide a multi-disciplinary forum, where differences in methodologies, representation languages and techniques are over-arched and hopefully overcome. Accordingly, the workshop will be structured into four tracks: three of them will focus on specific areas, the fourth one will foster links and integration. Track 1: Context and Ontology This track will select and present works about Context and Ontology, a well-established research area that has mainly concentrated on the relationship between contexts and ontologies for distributed information and for the enhancement of software agents. Track 2: Common Sense and Non-Monotonic Reasoning for Ontologies This track will select and present works about logic-based Knowledge Representation and Reasoning, a classic area of AI, which since its origins has produced remarkable results on logic-based methods for supporting knowledge engineers and for enhancing software agents. Track 3: Automated Ontology Evolution This track will select and present works about Automated Ontology Evolution, an area which in recent years has been drawing the attention of Artificial Intelligence and Knowledge Representation and Reasoning on the automation of ontology evolution. Track 4: Links and integration This track will foster links and integration by means of invited talks and (panel) discussions. Topics that are likely to be covered are: the formalisation of software engineering concepts for ontology development; the relationship between automated reasoning and information retrieval; relationships between representation languages; relationships between canonical domains; relationships between contexts and ontology evolution and between Non-Monotonic Reasoning and ontology evolution. Prof. Deborah McGuinness and prof. Franz Baader have recently accepted ARCOE-09's invitation to deliver an invited talk. The titles of their contributions will be made available after the submission deadline. ARCOE-09 will bring the participants to position the various approaches with respect to one another. Hopefully, though, the workshop will also start a process of cross-pollination and set out the constitution of a truly interdisciplinary research-community dedicated to automated reasoning about contexts and ontology evolution. -- Topics -- Track 1: Context and Ontology Submissions are welcome on the role of context and ontology in areas that include but are not limited to the following ones: - Information Integration - The role of context and ontology in Distributed Reasoning and Knowledge Management - The role of context and ontology in Semantic Web - Multi-Agent Systems - Data Grid and Grid Computing - Pervasive Computing and Ambient Intelligence - Peer-to-peer Information Systems - Comparison of uses of contexts and ontologies Track 2: Common Sense and Non-Monotonic Reasoning Submissions are welcome on the role of common sense and non-monotonic reasoning for ontologies in areas that include but are not limited to the following ones: - Ontology Debugging, Update and Merging - Inconsistency Handling, Belief Revision and Theory Change for DL ontologies - Uncertainty Handling, Defeasible Reasoning and Argumentation in ontologies - Heuristic and Approximate Reasoning - Planning and Reasoning about Action and Change on the Semantic Web - Rules and Ontologies - Temporal and Spatial Reasoning Track 3: Automated Ontology Evolution Submissions are welcome on the role of automated ontology evolution in areas that include but are not limited to the following ones: - Ontology fault diagnosis and repair - Problem Solving - Agent Communication - Persistent Agents in Changing Environment - Multimedia on the Web - IT and Automated Reasoning -- Attendance -- Following IJCAI-09 policy, the total number of participants in ARCOE-09 will be limited to 75 people. This includes organisers, PC members, invited speakers, authors and attendees. Authors will be selected on significance of their submission and will be preferred to simple attendees. Attendees will be selected on a first-come-first-served basis. Please check http://ijcai-09.org for registration procedure and fees. -- Submission Requirements and Dates -- ARCOE-09 will accept submissions of long abstracts, for both long presentations and poster presentations. The distinction during the selection-phase will be based on the significance and the quality of submissions as well as oriented towards fostering cross-pollination and discussions during the event. All selected abstracts will be included in the IJCAI-09 Working Notes. Authors are kindly requested to provide keywords upon submission. The format for submissions is the same as that of IJCAI-09. Please check http://ijcai-09.org for the style files. Submissions should be no longer than 3 pages. - Submission deadline: March 6, 2009 - Notification to authors: April 17, 2009 - Camera-ready version: May 8, 2009 - Workshop dates: July 11-12, 2009 -- Submit to -- Please submit to http://www.easychair.org/conferences/?conf=arcoe09 -- Workshop Co-Chairs -- - Alan Bundy School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Tel: +44-131-650-2716, Fax No.: +44-131-650-6899. - Jos Lehmann School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Tel: +44-131-650-2725, Fax No.: +44-131-650-6899. - Guilin Qi Institute AIFB, Universitaet Karlsruhe, D-76128 Karlsruhe, Germany. Tel: +49-721-608-6038. - Ivan Jose Varzinczak Meraka Institute, Meiring Naude Road, CSIR, 0001 Pretoria, South Africa. Tel: +27-12-841-33-23. Please send all enquiries and communications to: arcoe-09 at aifb.uni-karlsruhe.de -- Program Committee -- - Richard Booth (Mahasarakham University, Thailand) - Paolo Bouquet (University of Trento, Italy) - Jerome Euzenat (INRIA Grenoble Rhone-Alpes, France) - Chiara Ghidini (FBK Fondazione Bruno Kessler, Italy) - Alain Leger (France Telecom R&D, France) - Deborah McGuinness (Rensselaer Polytechnic Institute, USA) - Thomas Meyer (Meraka Institute, South Africa) - Maurice Pagnucco (The University of New South Wales, Australia) - Valeria de Paiva (Palo Alto Research Center (PARC), USA) - Luciano Serafini (FBK Fondazione Bruno Kessler, Italy) - Pavel Shvaiko (Informatica Trentina S.P.A., Italy) - John F. Sowa (VivoMind Intelligence, Inc., USA) - Holger Wache (University of Applied Sciences, Northwestern Switzerland) - Renata Wassermann (Universidade de Sao Paulo, Brasil) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ruy at cin.ufpe.br Wed Jan 14 16:15:55 2009 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Wed, 14 Jan 2009 13:15:55 -0200 Subject: WoLLIC 2009 - Second Call for Papers (DEADLINE: Feb 28) In-Reply-To: <48FE214B.9050600@cin.ufpe.br> References: <48FE214B.9050600@cin.ufpe.br> Message-ID: <496E01AB.1080901@cin.ufpe.br> [** sincere apologies for duplicates **] Call for Papers /*16th Workshop on Logic, Language, Information and Computation*/ (/*WoLLIC 2009*/) Tokyo, Japan June 21-24, 2009 (SPECIAL: There will be a screening of George Csicsery's "N is a Number: A Portrait of Paul Erdos" http://zalafilms.com/films/nisanumber.html with kind permission of the film director) 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 Sixteenth WoLLIC will be held at the National Institute of Informatics in Tokyo, Japan, from June 21 to 24, 2009. It is jointly sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the 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). *SPECIAL EVENT* 2009 will mark the 60-th anniversary of the publication of Paul Erdos' elementary proof of the Prime Number Theorem. WoLLIC will celebrate this by screening the documentary about Paul Erdos which was directed by George Csicsery "N is a number - A Portrait of Paul Erdos" http://zalafilms.com/films/nisanumber.html *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 http://wollic.org/wollic2009/instructions.html A title and single-paragraph abstract should be submitted by February 28, and the full paper by March 8 (firm date). Notifications are expected by April 19, and final papers for the proceedings will be due by May 3 (firm date). *PROCEEDINGS* The proceedings of WoLLIC 2009, 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/ series (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 2009 issue of a scientific journal. *INVITED SPEAKERS* Arnold Beckmann (Swansea U, UK) Carlos Caleiro (UT Lisbon, Portugal) Thomas Eiter (Tech U Wien, Austria) Sylvain Salvati (INRIA, France) Taisuke Sato (Tokyo Inst Tech, Japan) Michiel van Lambalgen (U Amsterdam, NL) Frank Wolter (U Liverpool, UK) *STUDENT GRANTS* ASL sponsorship of WoLLIC 2009 will permit ASL student members to apply for a modest travel grant (deadline: April 1, 2009). See http://www.aslonline.org/studenttravelawards.html for details. *IMPORTANT DATES* February 28, 2009: Paper title and abstract deadline March 8, 2009: Full paper deadline (firm) April 19, 2009: Author notification May 3, 2009: Final version deadline (firm) *PROGRAM COMMITTEE* Toshiyasu Arai (Kobe U, Japan) Matthias Baaz (Tech U Wien) Alexandru Baltag (Oxford U) Josep Maria Font (U Barcelona) Silvio Ghilardi (U Milano) Katsumi Inoue (Nat Inst of Informatics, Japan) Marcus Kracht (U Bielefeld) Hiroakira Ono (JAIST, Japan) (Chair) Masanao Ozawa (Nagoya U) John Slaney (Australian Nat U) Mark Steedman (Edinburgh U) Hans Tompits (Tech U Wien) *ORGANISING COMMITTEE* Makoto Kanazawa (Nat Inst of Informatics, Japan, co-chair) Anjolina de Oliveira (U Fed Pernambuco, Brazil) Ruy de Queiroz (U Fed Pernambuco, Brazil, co-chair) Ken Satoh (Nat Inst of Informatics, Japan) *STEERING COMMITTEE* Samson Abramsky , Johan van Benthem , Joe Halpern , Wilfrid Hodges , Daniel Leivant , Angus Macintyre , Grigori Mints , Ruy de Queiroz *WEB PAGE* wollic.org/wollic2009/ --- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From robert at grid.chu.edu.tw Wed Jan 14 16:19:00 2009 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Wed, 14 Jan 2009 23:19:00 +0800 Subject: Call For Papers (MUE-09, ISA-09, HPCC-09, SSDU-09, CPI-09, CIT-09, ScalCom-09, CSE-09, CloudCom-09, ISPAN-09) Message-ID: <200901141519.n0EFJ0sR016129@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ed.dodds at gmail.com Wed Jan 14 20:48:27 2009 From: ed.dodds at gmail.com (Ed Dodds) Date: Wed, 14 Jan 2009 13:48:27 -0600 Subject: [swikig] European Master's Program in Computational Logic Message-ID: <6984d82a0901141148s4894b51btd698adc7dee8203f@mail.gmail.com> Steffen: It would be excellent if this program could one day be offered via distance education and made globally available, perhaps in conjunction with the GLOSAS Global University Project. **************************************************************************** *** * Takeshi Utsumi, Ph.D., P.E., Chairman, GLOSAS/USA * * (GLObal Systems Analysis and Simulation Association in the U.S.A.) * * Laureate of Lord Perry Award for Excellence in Distance Education * * Founder and V.P. for Technology and Coordination of * * Global University System (GUS) * * 43-23 Colden Street, Flushing, NY 11355-5913, U.S.A. * * Tel: 718-939-0928; Email: utsumi at columbia.edu * *http://www.itu.int/wsis/goldenbook/search/display.asp?Quest=8032562&lang=en * * http://www.friends-partners.org/GLOSAS/ * * U.S. Federal Tax Exempt ID: 11-2999676 * * New York State Tax Exempt ID: 217837 * **************************************************************************** Best regards, Ed Dodds http://www.linkedin.com/in/ed_dodds http://twitter.com/ed_dodds http://blog.conmergence.com Dear all, I'd like to draw your attention to the fact that fresh scholarships are available for students who enroll in our European Master's Program in Computational Logic in the fall of 2009. The deadline for application is Feb 10, 2009. More details are given below. In particular, I'd like to draw your attention to the fact that we have selected the National ICT of Australia (NICTA) as our partner and are able to provide grants to EU-students for doing their project in Australia. Many thanks ******************************************************************************************************* The European Master's Program in Computational Logic We are glad to offers you the possibility to join our European Master Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universität Dresden in Germany, the Universidade Nova de Lisboa in Portugal, the Universidad Politecnica de Madrid in Spain and the Technische Universität Wien in Austria. Within this program you have the choice to study at two of the five European universities. You will graduate with a MSc in Computer Science from each of the two universities you have selected. Information on the universities and the program including the application form are provided here: http://european.computational-logic.org Language of instruction is English. Tuition fees are 3.000 EUR per year. We would like to draw your attention to the ERASMUS-MUNDUS scholarship program. The ERASMUS-MUNDUS consortium offers 2-year scholarships of 42.000 EUR for non-EU students in our European Master Program in Computational Logic. EU-students may apply for a three-month scholarship of 3100 EUR for doing their project at NICTA in Australia. Application deadline is February 10, 2009. Online-applications (pdf- files, ONLY) are possible and must contain: # Application form # Curriculum Vitae # Reports on university examinations (transcripts) and diploma (first degree or bachelor degree). If the bachelor degree will only be available after the deadline, students are required to send us a PRELIMINARY certificate. # English language certificate (TOEFL and IELTS) More information on the application procedure are available from: http://european.computational-logic.org/content/course/how_to_apply.php?id=69 Do not hesitate to contact us again if you have any further questions. Kind regards -- Steffen Hölldobler Steffen Hoelldobler sh at iccl.tu-dresden.de _______________________________________________ swikig mailing list swikig at aifb.uni-karlsruhe.de http://www.aifb.uni-karlsruhe.de/mailman/listinfo/swikig From leon.vandertorre at uni.lu Thu Jan 15 18:11:21 2009 From: leon.vandertorre at uni.lu (Leon van der Torre) Date: Thu, 15 Jan 2009 18:11:21 +0100 Subject: Vacancy postdoc and PhD student "Security & Games" Message-ID: <496F6E39.9090105@uni.lu> POSTDOC AND PHD POSITION IN SECURITY & GAMES AT THE UNIVERSITY OF LUXEMBOURG Game-theoretic Approaches to Security (1 Postdoc position + 1 PhD student position): The project aims to develop new approaches to the design and analysis of secure systems based on the observation that the security of a system can be considered as the result of a game between a defender and an attacker of the system. This observation opens up a wealth of analysis methods from the field of game theory. It is expected that game theoretic approaches have an impact on the design and analysis of fair-exchange protocols and other types of security protocols. Research will be conducted on the study of security attacks and counter-measures to prevent or mitigate such attacks. The project will focus on the application of non-zero sum games and games of imperfect information. ----------------------------------------------------------------- Requirements for the PhD student position: - A master's (or equivalent) degree in Computer Science, Mathematics or a related field, with a strong interest in Security. Knowledge in Game Theory is an advantage. - Inquisitiveness, commitment, and a critical attitude. - Very good written and oral English skills, a working knowledge in German and/or French is an advantage. Requirements for the Postdoc position: - A PhD in Computer Science, Mathematics, or a related field with expertise in security. Expertise in game theory is required. - A strong publication record. - Very good written and oral English skills, a working knowledge in German and/or French is an advantage. ----------------------------------------------------------------- Application procedure: The PhD student will be employed for a period of 3 or 4 years (40 hrs/week). The Postdoc will be employed for a period of 3 years (40 hrs/week). The project will be supervised by Prof. Dr. Leon van der Torre and Prof. Dr. Sjouke Mauw. The Postdoc and PhD student will be appointed by the University of Luxembourg. The Postdoc shall start on April 1, 2009 (or shortly after) and the PhD students shall start in the first half of 2009. The remuneration for the PhD position is around 24.000 EUR/year netto, and for the Postdoc position between 43.000 and 52.500 EUR/year netto. Deadline for application is February 20, 2009. ----------------------------------------------------------------- Information: For inquiries about the project and its positions, please contact Prof. Dr. Leon van der Torre (leon.vandertorre at uni.lu, +352 4666445261) or Prof. Dr. Sjouke Mauw (sjouke.mauw at uni.lu, +352 4666445480). From leon.vandertorre at uni.lu Thu Jan 15 18:01:42 2009 From: leon.vandertorre at uni.lu (Leon van der Torre) Date: Thu, 15 Jan 2009 18:01:42 +0100 Subject: subscribe Message-ID: <496F6BF6.10500@uni.lu> From leon.vandertorre at uni.lu Thu Jan 15 18:34:07 2009 From: leon.vandertorre at uni.lu (Leon van der Torre) Date: Thu, 15 Jan 2009 18:34:07 +0100 Subject: Confirmation Request (1752885229) In-Reply-To: References: Message-ID: <496F738F.6040705@uni.lu> event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 1752885229, > 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 simon.miles at kcl.ac.uk Fri Jan 16 18:28:16 2009 From: simon.miles at kcl.ac.uk (Simon Miles) Date: Fri, 16 Jan 2009 17:28:16 +0000 Subject: AAMAS-09: Final Call for Doctoral Mentoring Program Message-ID: (apologies if you receive multiple copies of this call) Final Call for Doctoral Mentoring Program The Eighth International Joint Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2009) Budapest, Hungary Symposium Date: May 10, 2009 Conference Dates: May 10-15, 2009 http://www.conferences.hu/AAMAS2009/ AAMAS 2009 will include a doctoral mentoring program, intended for PhD students in advanced stages of their research. This program will provide an opportunity for students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers. Specifically, the goals of the program are: * To match each student with an established researcher in the community (who will act as a mentor). The mentor will interact closely with the student, will provide feedback on research, help form new contacts, etc. * To allow students an opportunity to present their work to a friendly audience of other students as well as mentors. * To provide students with contacts and professional networking opportunities. * The doctoral mentoring program will consist of opportunities for interactions between mentors and their mentorees prior to the conference, as well as a one day doctoral symposium. A.1 Submission Requirements We encourage submissions from PhD students at advanced stages of their research within the Autonomous Agents and Multi Agent Systems field. Based on the submissions, the organizing committee will select a group of students that will be invited to participate in the program. Participants will be expected to take active part in all doctoral mentoring program activities. Each submission should include a set of documents from the students, and a recommendation letter from the advisor. The submission package should include: 1. A two-page extended abstract of the student's thesis (in the AAMAS submission format) 2. A personal research statement (one page) 3. A short (2-page) resume (CV) 4. A recommendation letter from the advisor. Submissions of the first three items should be sent in electronic form (PDF), to the doctoral mentoring chair (Stacy Marsella, mentoring at aamas09.org), by January 31, 2009. In addition, the dissertation advisor should send the last item (a letter of recommendation) by e-mail to mentoring at aamas09.org. The letter should address the expected benefit of attending (to the student), the significance of the research, and the expected date for thesis submission. This letter can be sent in either plain text or PDF format. The student's name must be clearly pointed out in the letter. A.2 Important Dates * January 31: Submission package due * February 28: Acceptance notifications * March 12: Camera-ready copy due * May 10: Doctoral Mentoring Symposium The one-day symposium will be held on the first day of the conference. Doctoral Mentoring Chair Stacy Marsella University of Southern California marsella [at] ict.usc.edu Web page: http://www.conferences.hu/AAMAS2009/mentoring.html -- Dr Simon Miles Agents and Intelligent Systems Group Department of Computer Science Kings College London, UK From cfp at clip.dia.fi.upm.es Sun Jan 18 14:16:26 2009 From: cfp at clip.dia.fi.upm.es (cfp at clip.dia.fi.upm.es) Date: Sun, 18 Jan 2009 14:16:26 +0100 Subject: ICLP 2009: Call for workshop proposals Message-ID: <18803.11178.994814.541966@clip.dia.fi.upm.es> *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2009 25th International Conference on Logic Programming Pasadena, California, USA July 14-17, 2009 URL: http://www.ist.unomaha.edu/iclp2009/ ICLP 2009, the 25th International Conference on Logic Programming, will be held in Pasadena (USA), from July 14 to 17, 2009. Workshops co-located with international conferences are one of the best venue for the presentation and discussion of preliminary work, novel ideas, and new open problems to a wide and interested audience. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP 2009 can cover any areas related to logic programming, (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time must be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP 2009 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years. * The (preliminary) required number of half-days allotted to the workshop and an estimate of the number of expected attendees. * The names, affiliation, and contact details (email, web page, phone, fax) of the workshop organizer(s) together with a designated contact person. * The previous experience of the workshop organizing committee in workshop/conference organization. Proposals are expected in ASCII or PDF format. All proposals should be submitted to the Workshop Chair (Manuel Carro) by email by February 9th, 2009. Reviewing Process: ================== Each submitted proposal is reviewed by the Workshops Chair and the Conference Program Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by February 23rd, 2009. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting place and arrange the distribution of the workshop proceedings, whose preparation is however in charge to the workshop organizers. The workshop registration fees will be handled together with the conference fees. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the net and/or other means. Please provide a web page URL which can be linked into the ICLP 2009 home page by March 9th, 2009. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the workshop chair. * Sending workshop program and workshop proceedings in pdf format to the workshop chair for distribution at the conference. * The use of the Computing Research Repository (CoRR) for the workshop proceedings is strongly suggested. See http://www.logicprogramming.org/ for guidelines. We encourage reading these instructions in advance so that you can ask paper authors to prepare accordingly the final versions of their papers. Location: ========= All workshops will take place in Pasadena at the site of the main conference. See the ICLP 2009 web site for location details. Important Dates: ================ February 9, 2009: Proposal submission deadline. February 23, 2009: Notification. March 9, 2009: Deadline to receive the CFP and URL for the web page of the workshop June 1, 2009: Deadline for preliminary proceedings. July 14-17, 2009: ICLP 2009 workshops. Workshop Chair: =============== Manuel Carro [mcarro AT fi dot upm dot es] (www.clip.dia.fi.upm.es/~mcarro) From bojanm at turing.mi.sanu.ac.rs Sun Jan 18 23:25:43 2009 From: bojanm at turing.mi.sanu.ac.rs (Bojan Marinkovic) Date: Sun, 18 Jan 2009 23:25:43 +0100 Subject: seedi 2009 In-Reply-To: References: Message-ID: <9490dea20901181425r4559e36bl1871918459e2bf52@mail.gmail.com> ------------------------------------------------------------------------- WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE ------------------------------------------------------------------------- Please feel free to forward and redistribute this email to everyone who may be interested in this event ------------------------------------------------------------------------- The Fifth SEEDI Conference Digitization of cultural and scientific heritage Banja Luka, Bosna i Hercegovina September 9-13, 2009 SEEDI SEEDI (http://www.ncd.matf.bg.ac.yu/seedi/ ) is an international effort to develop awareness about digitization of cultural and scientific heritage in the South-Eastern European countries and to bring together: - Archivists, librarians and curators responsible for the preservation of and permanent access to cultural and scientific heritage; - Information technology researchers developing projects on digitization of cultural and scientific heritage, - Scholars in the arts and humanities, social sciences, history and computer science, students and all the other interested in digitization of cultural and scientific heritage. ABOUT THE CONFERENCE The aim of the Conference is to present and exchange experiences with new information technologies, standards and the other fields in the area of digitization of cultural and scientific heritage, including, but not limited to: - digital capture and transformation from analogue to digital form, - describing and representations of heritage objects and documentation about them, - processing of digitized content, - presentation and long term preservation of digitized content. ACTIVITIES The Conference will have plenary sessions, invited lectures and round tables. CALL FOR PAPERS Contributions related to all aspects of digitization of cultural and scientific heritage are encouraged. Papers that report on applications of information technologies in the field of digitization are particularly welcome. The proposed papers will be selected by the Program committee. CONFERENCE PROCEEDINGS Presented papers, selected after a review by the international editorial board, will be published in the Review of the National Center for Digitization, Serbia (http://www.ncd.matf.bg.ac.yu/?page=publications&lang=en). CONFERENCE VENUE The Conference will take place in Banja Luka, Republika Srpska, Bosnia and Hercegovina. PROGRAM COMMITTEE Dzenana Aladjuz (Bosnia and Hercegovina) Umit Atabek (Turkey) Boris Badurina (Croatia) Nicolae Constantinescu (Romania) Jelena Djurovic (Montenegro) Milena Dobreva (Bulgaria) Nikola Ikonomov (Bulgaria) Smile Markovski (Macedonia) Zarko Mijajlovic (Serbia) Zoran Ognjanovic (Serbia) Nada Puvacic (Bosnia and Hercegovina) Ranko Risojevic (Bosnia and Hercegovina) IMPORTANT DATES April, 2009: Second announcement May 1, 2009: Abstracts submission May 15, 2009: Papers submission June 1, 2009: Authors notification July 1, 2008: Final papers submission and Registration SUGGESTIONS All suggestions and comments are welcome. Please, send us your ideas about possible invited speakers to ncd at matf.bg.ac.yu. From ncardoso at xldb.di.fc.ul.pt Mon Jan 19 10:06:05 2009 From: ncardoso at xldb.di.fc.ul.pt (Nuno Cardoso) Date: Mon, 19 Jan 2009 10:06:05 +0100 Subject: Call for participation in GikiCLEF 2009 Message-ID: <4974427D.4060005@xldb.di.fc.ul.pt> Apologies for cross-postings ========================================================================= GikiCLEF - Cross-language Geographic Information Retrieval from Wikipedia A CLEF 2009 track ========================================================================= http://www.linguateca.pt/GikiCLEF/ ---------------------- Call for Participation ---------------------- You are invited to participate in GikiCLEF 2009, a CLEF track (http://www.clef-campaign.org/), whose aim is to evaluate systems which find Wikipedia entries / documents that answer a particular information need which requires geographical reasoning of some sort. GikiCLEF is the follow-up of the GikiP 2008 pilot task which ran under GeoCLEF 2008, and is one of the tracks under CLEF, whose workshop will take place in Corfu Greece in connection with ECDL 2009. TASK DESCRIPTION: ================= Systems will receive a list of 50 questions and will have to return a list of answers (in the form of titles of Wikipedia entries) for each, from the GikiCLEF collection. GikiCLEF LANGUAGES: =================== Questions and answers are to be found in the nine languages (and ten Wikipedia versions) below: Bulgarian (BG), Dutch (NL), English (EN), German (DE), Italian (IT), Norwegian (NN and NO), Portuguese (PT), Romanian (RO) and Spanish (ES). Systems may participate in any language subset, although the best system would have to process all languages. GikiCLEF COLLECTION: =================== The GikiCLEF collection comprehends the June 2008 Wikipedia document collections for the above mentioned languages, processed by the WikiXML tool developed by the University of Amsterdam (http://ilps.science.uva.nl/WikiXML/xmlformat.php). Also available to the participants are the June 2008 MediaWiki SQL and HTML dumps for the GikiCLEF languages. TOPICS: ======= Topics (or rather, questions) will be released early March 2009, in all GikiCLEF languages. The topic choice committee will devise topics with crosslingual and cultural interest, so that the need for looking in Wikipedia in different languages is not artificial. See the Web site for topic examples and previous GikiP topics. EVALUATION: =========== After pooling all answers returned by the participant systems, they will be manually assessed by the organization. The systems will be evaluated according to the number of correct hits and precision in all languages, so that multilinguality is rewarded. IMPORTANT DATES: ================ 18 January 2009: Final registration required. February 2009: Discussion / Publication of the final definition of the GikiCLEF task. March 2009: Topic release and run submission. (2 weeks after topic release): Deadline for run submission. June 2009: Assessment and GikiCLEF results made available. 14 August 2009: Submission of Papers for Working Notes 30 Sep/2 Oct 2009: CLEF Workshop (in Corfu, Greece) From shilov at iis.nsk.su Mon Jan 19 14:52:44 2009 From: shilov at iis.nsk.su (shilov at iis.nsk.su) Date: Mon, 19 Jan 2009 19:52:44 +0600 Subject: WARNING! (3519295298) In-Reply-To: References: Message-ID: <1366480559.20090119195244@iis.nsk.su> Hello event, Sunday, January 18, 2009, 6:48:09 AM, you wrote: ea> This is an automated message from the ea> mailing list manager ea> List messages sent to your address have bounced. ea> If you read this message, your mail system has been probably fixed. ea> To clear the bounce counter and to prevent automatic cancelation of ea> your subscription, use the Reply command in your mailer. ea> Check that the Subject of the reply message contains ea> the confirmation ID: 3519295298, ea> and the reply is directed to ea> , ea> and the 'From' address of your reply is . ea> All requests about this mailing list ea> should be sent to -- Best regards, shilov mailto:shilov at iis.nsk.su From pierregrenon at gmail.com Mon Jan 19 14:51:11 2009 From: pierregrenon at gmail.com (Pierre Grenon) Date: Mon, 19 Jan 2009 13:51:11 +0000 Subject: CFP: ExaCt 2009 (IJCAI 09 Workshop on Explanation-aware Computing) Message-ID: ** Apologies if you receive multiple copies of this announcement ** ** Please forward to anyone who might be interested ** CALL FOR PAPERS for the 4th International and IJCAI-09 Workshop on EXPLANATION-AWARE COMPUTING (ExaCt 2009) 11-12 July 2009, Pasadena, CA, USA http://exact2009.workshop.hm ** Paper submission deadline: March 6, 2009** Both within AI systems and in interactive systems, the ability to explain reasoning processes and results can have substantial impact. Within the field of knowledge-based systems, explanations have been considered as an important link between humans and machines. There, their main purpose has been to increase the confidence of the user in the system's result (persuasion) or the system as a whole (satisfaction), by providing evidence of how it was derived (transparency). More recently, in recommender systems good explanations have also been used to help to inspire user trust and loyalty (trust), and make it quicker and easier (efficiency) for users to find what they want (effectiveness). Additional AI research has focused on how computer systems can themselves use explanations, for example to form new generalizations (learning). Explanations have also been used to increase the external user's understanding of a domain (education). Current interest in mixed-initiative systems provides a new context in which explanation issues may play a crucial role. When knowledge-based systems are partners in an interactive socio-technical process, with incomplete and changing problem descriptions, communication between human and software systems is a central part. Thus explanations exchanged between human agents and software agents may play an important role in mixed-initiative problem solving. This workshop series aims to draw on multiple perspectives on explanation, to examine how explanation can be applied to further the development of robust and dependable systems, and increase transparency, user sense of control (scrutability), trust, acceptance and decision support. If you would like to participate in discussions on this topic or like to receive further information about this workshop you might consider joining the Yahoo!-group http://groups.yahoo.com/group/explanation-research. Information on explanation research is also collected at http://on-explanation.net. GOALS AND AUDIENCE We invite original contributions to the research on explanations from a variety of areas and communities such as computer science, cognitive science, linguistics, philosophy of science, psychology, and education. In addition to presentations and discussions of invited contributions and invited talks, this workshop will offer organised and open sessions for targeted discussions and creating an interdisciplinary community. Demonstration sessions will provide the opportunity to showcase explanation-enabled/-aware applications. TOPICS OF INTEREST Suggested topics for contributions (not restricted to IT views): * Models and knowledge representations for explanations * Integrating application and explanation knowledge * Explanation-awareness in (designing) applications * Methodologies for developing explanation-aware systems * Explanations and learning * Context-aware explanation vs. explanation-aware context * Confidence and explanations * Privacy, security, trust, and explanation * Empirical studies of explanations * Requirements and needs for explanations to support human understanding * Explanation of complex, autonomous systems * Co-operative explanation * Visualising explanations * Dialogue management and natural language generation Submissions on additional topics are welcome as well. SUBMISSIONS AND STYLE Workshop submissions will be electronic, in pdf format only, using the EasyChair submission system linked from the workshop website. Papers must be written in English and not exceed 12 pages in the Springer LNCS format. At least one author of each accepted paper must register for the workshop and present the contribution in order to be published in the workshop proceedings. The organising committee is considering editing a special issue of an appropriate international journal (e.g., Kluwer's Knowledge-based Systems, Elsevier's Expert Systems with Applications, or Springer's Information System Frontiers) depending on the number and quality of the submissions. Those wishing to participate providing a live system demonstration should submit a proposal (1-2 pages). Those wishing to participate without paper or demo submission should submit a brief synopsis of their relevant work or at least a brief statement of interest. Non-archival working notes will be produced containing the papers presented at the workshop. If you have questions please contact the chairs at the following email address: exact2009 at dfki.uni-kl.de. IMPORTANT DATES Submission deadline: March 6, 2009 Notification of acceptance: April 17, 2009 Camera-ready versions of papers: May 8, 2009 IJCAI-09 Workshop Program: July 11-12, 2009 WORKSHOP SCHEDULE The schedule will be made available on the workshop website. See the workshop website for an agenda overview und links to past workshops. INVITED TALKS Talks by two invited speakers, each representing a different community addressing explanation issues, are planned. CHAIRS Thomas R. Roth-Berghofer, German Research Center for Artificial Intelligence DFKI GmbH, Germany thomas.roth-berghofer at dfki de Nava Tintarev, Department of Computer Science, University Of Aberdeen, UK n.tintare at abdn ac uk David B. Leake Computer Science Department, Indiana University, USA leake at cs indiana edu PROGRAMME COMMITTEE Agnar Aamodt, Norwegian Uni of Science and Technology (NTNU) David W. Aha, Navy Center for Applied Research in AI, USA Patrick Brézillon, LIP6, France Jörg Cassens, NTNU Francisco Javier Díez, UNED Madrid, Spain Babak Esfandiari, Carleton University, Canada Pierre Grenon, IFOMIS, University of Saarbrücken, Germany Anders Kofod-Petersen, SINTEF, Norway Hector Muñoz-Avila, Lehigh University, USA Paulo Pinheiro da Silva, University of Texas, El Paso, USA Enric Plaza, IIIA-CSIC, Spain Michael M. Richter, University of Calgary, Canada Sven Schwarz, DFKI, Germany Gheorghe Tecuci, George Mason University, Fairfax, VA, USA Douglas Walton, University of Winnipeg, Canada From bruno at csl.sri.com Mon Jan 19 18:58:41 2009 From: bruno at csl.sri.com (Bruno Dutertre) Date: Mon, 19 Jan 2009 09:58:41 -0800 Subject: SMT 2009: CFP Message-ID: <200901191758.n0JHwfrO029999@box.csl.sri.com> ====================================================================== SMT Workshop '09 7th International Workshop on Satisfiability Modulo Theories http://ie.technion.ac.il/SMT09/ Affiliated with CADE-22, McGill University, Montreal, Canada, 2-3 August 2009 ---CALL FOR PAPERS--- ====================================================================== Background ---------- Deciding the satisfiability of first-order formulas modulo background theories, known as the Satisfiability Modulo Theories (SMT) problem, has proved to be useful in verification, compiler optimization, scheduling, and other areas. The success of SMT techniques depends on the development of both domain-specific decision procedures for each concrete theory (e.g. linear arithmetic, the theory of arrays, or the theory of bit-vectors) and combination methods that allow one to obtain more versatile SMT tools. These two ingredients together make SMT techniques well-suited for use in larger automated reasoning and formal verification efforts. Aims and Scope -------------- The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Continuing with the PDPAR tradition, we especially encourage submission of papers focused on pragmatic aspects. Relevant topics include but are not limited to: * New decision procedures and new theories of interest * Combination of decision procedures * Novel implementation techniques * Benchmarks and evaluation methodologies * Applications and case studies * Theoretical results Important dates --------------- Submission deadline : May 22, 2009 Notification of acceptance/rejection : June 22, 2009 Final version due : June 29, 2009 Workshop : August 2-3, 2009 Paper Submission and Proceedings -------------------------------- * Extended abstracts: contain preliminary report of work in progress. These will be judged based on the expected level of interest for the SMT community. They will be included in the informal proceedings. * Original papers: contain original research (simultaneous submissions are not allowed) and sufficient detail to assess the merits and relevance of the submission. For papers reporting experimental results, authors are strongly encouraged to make their data available. Work in progress is welcome. Papers in this category will be included in the informal proceedings and published after the workshop in the ACM International Conference Proceedings Series (ISBN 978-1-60558-484-3). * Presentation-only papers: describe work recently published or submitted and will not be included in the proceedings. We see this as a way to provide additional access to important developments that SMT Workshop attendees may be unaware of. Papers in all three categories will be peer-reviewed. Papers should not exceed 10 pages (Postscript or PDF) and should be written in LaTeX, 11pt, one column, a4paper, standard margins. Technical details may be included in an appendix to be read at the reviewers' discretion. Full submission guidelines are at the workshop web page. Workshop Chairs --------------- Bruno Dutertre SRI International Ofer Strichman Technion Program Committee ----------------- Domagoj Babic Clark Barrett New York University Armin Biere Johannes Kepler University Aaron Bradley CU Colorado Sylvain Conchon Paris Sud University Leonardo de Moura Microsoft Research Daniel Kroening Oxford University Sava Krstic Intel Corporation Robert Nieuwenhuis Technical University of Catalonia Silvio Ranise LORIA, Nancy Roberto Sebastiani Universita di Trento Cesare Tinelli University of Iowa From C.Orasan at wlv.ac.uk Mon Jan 19 22:28:34 2009 From: C.Orasan at wlv.ac.uk (Constantin Orasan) Date: Mon, 19 Jan 2009 21:28:34 +0000 Subject: CFP: International Symposium on SM-MT-CL Message-ID: <1232400514.21191.8.camel@dinel-desktop> [Apologies for cross-posting] --------------------------------------------------------------------------- ISMTCL - International Symposium on SM-MT-CL (Data and Sense Mining, Machine Translation and Controlled Languages, and their application to emergencies, and safety critical domains) --------------------------------------------------------------------------- University of Franche-Comté, Besançon, France, July 1-3, 2009 Research in Natural Language Processing and Computational Linguistics began over 50 years ago. Research in the 3 disciplines of controlled languages, machine translation and data and sense mining has however been done separately for the most part, and it would be useful to combine these three disciplines. The primary objective of this conference is to bring together researchers and practitioners in controlled languages, machine translation and sense mining. Some controlled languages already take into account machine translation but they have not yet been linked to research done in the field of sense mining. In the field of controlled languages the objective is to eliminate as much ambiguity as possible. In contrast, in the field of sense mining, the objective is to identify the important elements amongst large amounts of texts (sometimes even badly structured texts), in order to extract their meaning. Machine translation quality is governed and aided by minimising the representation of utterances. In consequence, the combination of these approaches could be of considerable use in creating new machine translation theories. The combination of controlled languages and machine translation is certainly not new, but there is still much work to be done. Other combinations are deemed to be of interest too and it certainly seems to be the case that the separate disciplines can profit from their mutual interrelation. In particular, multi-disciplinary contributions are welcomed, especially concerning these disciplines and related disciplines, whether linguistic or operational. Particular attention will be given to results where the applications demand high quality and maximum utility and where orthogonal constraints intervene. For example in domains such as aeronautics, natural catastrophes and pandemics, both temporal as well as functional quality constraints co-exist where these various disciplines and their overlaps are involved in aids to crisis management (CL & MT: rapid reliable writing of alerts and their dependable translation with no time for pre- or post-edition; SM: dependability in decision support scenarios). Papers are invited in the following areas: * Controlled Languages * Machine Translation * Data and Sense Mining * Speech Recognition * Speech Synthesis * Natural Language Generation * Anaphora Resolution * Word Sense Disambiguation * Text and Speech Interfaces * Information Extraction * Information Retrieval * Corpus Analysis * Need for normalisation, * Medical needs and applications, * Aeronautic needs and applications * Civil security needs and applications * General security needs and applications Papers for presentation must be submitted before March 31, 2009. Guidelines for submission are available at: http://www.ismtcl.com/ Organising Committee: * Sylviane Cardey-Greenfield (Chair) UFC (University of Franche-Comté) * Dominique Vuitton UFC * Mariette Mercier UFC * Peter Greenfield UFC * Julie Renahy UFC * Gabriel Sekunda UFC * Izabella Thomas UFC * Mohand Beddar UFC * Gan Jin UFC * Dilber Devitre UFC * Raksi Anantalapochai UFC * Ziad Mitaki UFC CM-MT-SM is sponsored by: * The European Community * The ANR (Agence Nationale de la Recherche, France) * Centre Tesnière, Université de Franche-Comté * Universitat Autònoma de Barcelona * University of Wolverhampton * Uniwersytet Warszawski * Airbus , France * Equipe Carcinogénèse épithéliale : facteurs prédictifs et pronostiques of the Université de Franche-Comté *Université Es Sénia, Oran Keynote Speakers: * John Hutchins (England) * Igor Mel’čuk (Canada) * Makoto Nagao (Japan) Scientific Committee: J. Baptista – U. of Algarve, Portugal C. Bogacki – U. of Warsaw, Poland X. Blanco – U. A. of Barcelona, Spain F. Bouhadiba – U. of Oran, Algeria A. Catena – U. A. of Barcelona, Spain S. Cardey – U. of Franche-Comté, France S. Cerrella Bauer – Euroscript, Switzerland I. Csury –U. of Debrecen, Hungary S. Chaudiron, U. of Lille, France R. Delmonte – U. of Venice, Italy Z. Gavriilidou – Democritus University of Thrace, Greece A. Gelboukh – Center of Computing Research of the NPI, Mexico P. Greenfield – U. of Franche-Comté, France G. Gonzalez – E-trad, Buenos Aires, Argentina I. Isahara – NICT, Japan Y. Karpetova –U. de Baranovici, Belarus Z.A. Kharitonchik –U. de Minsk, Belarus R. Kinash – Lviv Polytechnic, Ukraine R. Kittredge, CoGenTex, Inc, USA S. Khruathong – Naresuan University, Thailand I. Melcuk – U. of Montréal, Canada R. Mitkov – U. of Wolverhampton, England E. Morgadinho – ERDIL, France M. Netzell – Ordkonsult, Sweden C. Orasan – U. of Wolverhampton, England P. Pognan – INALCO, France G. Sekunda – U. of Franche-Comté, France L. Spaggiari – Airbus, France I. Thomas – U. of Franche-Comté, France S. Vienney – ERDIL, France D. Vuitton – U. of Franche-Comté, France X. Wu – U. of Franche-Comté, France E. Yuste – Google, Ireland Committee for end-users F. Beaujard – Airbus, France G. Capellier, Chief of Emergency Service and Reanimation, University Hospital, Besançon, France Jones – Austin Hospital, Melbourne, Australia M. Lallemant – Chiangmai University, Thailand A. Mahemuti – Cardiologist, China A. Perrignon – Northern Health,Australia N. Roubil – U. of Saida, néphrologie, Lebanon I. Sabbah – U. of Saida, Public Health, Lebanon H. Wen – Médical U. of Xinjiang, Urumqi, Surgeon, China Important dates Papers due before March 31, 2009 Notification of acceptance April 20, 2009 Camera-ready papers due May 11, 2009 Contact: contact at ismtcl.com -- Dr. Constantin Orasan Senior Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton -- Scanned by iCritical. From icard at stanford.edu Tue Jan 20 04:27:34 2009 From: icard at stanford.edu (Thomas Icard) Date: Mon, 19 Jan 2009 19:27:34 -0800 (PST) Subject: ESSLLI Student Session - final call Message-ID: <1083776591.1794131232422054549.JavaMail.root@zm02.stanford.edu> ** 2009 ESSLLI Student Session – Final call for papers ** The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one’s research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The extended deadline for submission is February 14, 2009. For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call From a.artikis at gmail.com Wed Jan 21 12:21:25 2009 From: a.artikis at gmail.com (Alexander Artikis) Date: Wed, 21 Jan 2009 13:21:25 +0200 Subject: COIN@AAMAS09: Deadline Extension Message-ID: <130ef5930901210321iea09ae9i94c2b16409ee34d8@mail.gmail.com> Apologies for cross-posting. *New submission deadline: January 30, 2009.* ========================================= CALL FOR PAPERS ========================================= "Coordination, Organization, Institutions and Norms" (COIN) May 2009 A satellite workshop of AAMAS 2009 http://www.csd.abdn.ac.uk/coin at aamas2009 AIMS & SCOPE: ============= Multi-agent systems (MAS) are complex artifacts in which a multitude of autonomous software agents interact, pursuing individual and/or collective goals. Such a view usually assumes some form of organization, a set of norms or conventions that articulate or restrain interactions in order to enable agents to achieve their goals. The engineering of effective coordination or regulatory mechanisms is a key problem for the design of open, complex MAS. In recent years, social and organizational aspects of agency have become a major issue in MAS research, especially in applications for Service-Oriented Computing, Grid Computing and Ambient Intelligence. These applications enforce the need for using social and organizational aspects in order to ensure social order. Openness of MAS poses new demands on traditional MAS interaction models. Therefore, the view of coordination and control has to be expanded to consider not only an agent-centric perspective but also societal and organization-centric views. The workshop aims to bring together the topics of Coordination, Organization, Institutions and Norms. These topics have become an established area of agent research and a significant number of influential papers on these topics have been appearing in AAMAS and other agent conferences and workshops. The series of COIN workshops are thus aimed at consolidating and expanding the subject by providing focused events in which researchers from different communities participate. THEMES & TOPICS: ================ Topics of interest for COIN at AAMAS09 include (but are not limited to): -Modeling (dynamic) multi-agent organizations. -Agent communities, electronic institutions and virtual organizations. -Languages for norms: expressiveness VS efficiency. -Norms, institutions and organizations: authority, (institutional) power, sanctions, contracts, trust, reputation. -Issues in regulated MAS implementation. -Simulation, analysis and verification of (dynamic) regulated MAS. -Scaling and control issues in (dynamic) agent organizations. -Organized Adaptation of regulated MAS: protocols and frameworks, -Models of norm (law, policy) change: norm revision, conflict detection, norm updates. -Legal implications of organized adaptation. COIN at AAMAS09 merges the COIN workshop series with the workshop on Organized Adaptation for Multi-Agent Systems (OAMAS). Therefore, *papers that explore the dynamic aspects of norms, organizations and institutions are particularly welcome* in COIN at AAMAS09. IMPORTANT DATES: ================ Submission Deadline : January 30, 2009 Notification: February 25, 2009 Final Version Submission Deadline: March 5, 2009 PROCEEDINGS & SUBMISSION: ========================= Informal proceedings will be available at the workshop. As with previous COIN workshops, selected, revised and extended versions of the papers of the 2009 COIN editions will be published in a single Springer LNCS volume. The length of each paper, including figures and references, may not exceed 16 pages. Further formatting guidelines and instructions on how to submit a paper may be found at the workshop web page. The 2nd version of COIN 2009 will take place at IJCAI 2009: http://www.les.inf.puc-rio.br/coin at ijcai09/ From behrens at in.tu-clausthal.de Wed Jan 21 15:00:07 2009 From: behrens at in.tu-clausthal.de (Tristan Behrens) Date: Wed, 21 Jan 2009 15:00:07 +0100 Subject: Multi Agent Contest 2009 Call Message-ID: <49772A67.60403@in.tu-clausthal.de> =================== Call for Submissions ===================== Multi-Agent Programming Contest 2009 http://www.multiagentcontest.org Tristan Behrens, Mehdi Dastani, Jürgen Dix Michael Köster, Peter Novak =============================================================== * Aims and Scope: This competition is an attempt to stimulate research in the area of multi-agent system development and programming by 1- identifying key problems and 2- collecting suitable benchmarks that can serve as milestones for testing multi-agent programming languages, platforms and tools. * Short scenario description: It consists of applying (or developing from scratch) a multi-agent system to solve a cooperative task in a highly dynamic environment. The environment of the multi-agent system is a grid-like world in which animals (e.g., cows) are moving around collectively in one or more groups showing swarm like behaviour. There are two corrals each belongs to one of the agent teams. The teams of agents compete to control the behavior of animals and lead them to their own corral. The winning agent team is the one that has a higher number of cows collected in its corral. The scenario description of the scenario will be available soon on the contest webpage. * Participation requirements: The participation in this contest consists of two parts: 1- Submission of the description of analysis, design and implementation of a multi-agent system for the above application. The maximum length is 5 pages according to the LNCS format. 2- Participation in the contest tournament by means of an (executable) implementation of a multi-agent system. Further technical details on how to participate in this contest can be found on the contest webpage http://www.multiagentcontest.org/ * How To Submit: Please announce your intention to attend the contest by subscribing to the mailing list **now**. Participants and all interested colleagues are invited to subscribe to the mailing list agentcontest2009 [at] in.tu-clausthal.de All the important details and announcements including scenario and communication protocol specifications as well as software release announcements and bug reports will be announced and discussed via this list. To subscribe, send an e-mail to agentcontest2009-subscribe [at] in.tu-clausthal.de with the subject "subscribe". The confirmation request and welcome message will be sent to you shortly afterwards. Please follow the instructions in the automatic mailing list replies. Please submit a 5 page description of your solution to Mehdi Dastani using the email address mehdi [at] cs.uu.nl * Important Dates: Publication of the scenario: March 30, 2009 Submission of the description: April 20, 2009 Notification: April 27, 2009 Camera-Ready of the description: May 4, 2009 Publication of protocol/packages: May 11, 2009 Testing phase: July 13, 2009 Competition: July 20, 2009 Winner announcement: July 27, 2009 From H.vandenHeuvel at let.ru.nl Thu Jan 22 10:08:16 2009 From: H.vandenHeuvel at let.ru.nl (Henk van den Heuvel) Date: Thu, 22 Jan 2009 10:08:16 +0100 Subject: Two PhD positions in Computational Linguistics at CLST, Radboud University Nijmegen Message-ID: 2 PhD positions Computational linguistics Radboud University Vacancy number 23.09.09 The Centre for Language Studies (CLS) of the Radboud University Nijmegen invites applications for two PhD positions in computational linguistics (for 3,5 years). Job description The PhD projects are part of a larger research program 'A computational model of language acquisition'. The goal of this research programme is to advance our understanding of the emergence of phonetic, phonological and lexical representations during the early stages of first language acquisition, and ultimately develop a computational model of the first stages of language acquisition that only assumes very general perceptual and learning capabilities. The PhD students will each investigate a pivotal aspect of language acquisition in depth. One PhD student (PhD1) will focus on models based on data mining and structure discovery that can explain how continuous signals develop into discrete representations of words, sub-word units, phonemes and features. PhD2 will focus on modelling the developmental phase in language acquisition when perception becomes more language specific and gradually a mental lexicon is established. The successful candidate is expected to start as soon as possible. She or he will be working in a vibrant research environment, engaging in active research, and they will participate in the MPI research school. Organization The Faculty of Arts consists of eleven departments in the area of language and culture, history, history of arts, linguistics and business communication, which together cater for about 2,700 students and collaborate closely in teaching and research. The project will be carried out at the research institute Centre for Language Studies as part of the Linguistic Information Processing and Grammar and Cognition research programmes. Website: www.ru.nl Conditions of employment Employment: 1,0 fte Duration of the contract: Initial contract for 1.5 years, with the possibility for an extension with two years. The starting gross salary is € 2.000 euro per month based upon a full-time employment. *Required skills:* - Degree in Computational Linguistics, Computer Science, Psycholinguistics, Artificial Intelligence, or Cognitive Science - Programming skills (e.g. Matlab) - Especially for PhD1: experience with methods for structure mining - Especially for PhD2: experience with Natural Language Processing - Interest in first language acquisition - Good command of the English language *Applications must include:* - CV - copy of university degree (in English or Dutch) - copy of transcript listing all university marks (in English or Dutch) - a covering letter in which candidates explain why they have applied for the position, give details of their research interests/experience, background, programming skills and their knowledge of Linguistics and Psycholinguistics Applications (with reference to vacancy number 23.09.09) can be made both by email and surface mail to the following address: Radboud University Nijmegen Faculty of Arts, Personel Department Postbus 9103 6500 HD Nijmegen E-mail: vacatures at let.ru.nl The closing date for applications is February 15, 2009. The short-listed applicants will be interviewed by email and/or telephone in the last week of February 2009. For further information please contact Prof. Lou Boves (l.boves at let.ru.nl) or Prof. Paula Fikkert (p.fikkert at let.ru.nl). -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From H.vandenHeuvel at let.ru.nl Thu Jan 22 10:03:54 2009 From: H.vandenHeuvel at let.ru.nl (Henk van den Heuvel) Date: Thu, 22 Jan 2009 10:03:54 +0100 Subject: Job positions for S2S at CLST, Radboud University Nijmegen Message-ID: Research assistantships for the annotation of casual speech corpora (Czech, Dutch, English, and Norwegian) Radboud University Nijmegen, The Netherlands Several research assistantships are available within the Marie Curie Training Network "Sound to Sense" (S2S) (www.sound2sense.eu). S2S involves collaborative speech research amongst 14 universities in 11 European countries. Due to EU mobility requirements, these positions are* *not open for people with Dutch nationality or who have lived in the Netherlands for 12 months during the last 36 months. *Work*** The research assistants will be hired for the annotation of several corpora of casual speech. In the first, most time consuming step, the assistants will manually orthographically transcribe the corpora. In the second step, the resulting transcriptions will be automatically aligned with the speech signal. The research assistants will prepare the corpus for this second step, be involved in the automatic alignment, and verify the resulting alignment. *Training*** The research assistants will receive extensive training in the annotation of casual speech and in other areas in which the Research Training Network is specialized. This includes attendance at the workshops organized by this network. *Location*** The research assistants will be located in Nijmegen (The Netherlands), in the building of the Max Planck Institute for Psycholinguistics. This guarantees an interdisciplinary environment, where phoneticians, psycholinguists, and computer scientists work together. *Duration*** The research assistants will receive full-time contracts of between 3 months and 1 year, depending on the language(s) to be transcribed. *Qualifications*** You should speak and write with native or near-native ability one or more of Czech, Dutch, Norwegian, and English. We are looking for people who have obtained their masters degree within the last 48 months or have equivalent experience. If you have a PhD you are not eligible to apply. *Salary*** €2645 per month plus generous travel allowances. *Deadline for application* The posts are available immediately and will remain open until filled. *How to apply*** Informal inquiries can be made to Dr. Mirjam Ernestus (m.ernestus at let.ru.nl). Your formal application should comprise a curriculum vitae including nationality and residence, 2 letters of reference, and a statement of interests. Please submit electronically to m.ernestus at let.ru.nl *and* soundsen at hermes.cam.ac.uk . -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From qapl09 at tcs.inf.tu-dresden.de Thu Jan 22 15:13:57 2009 From: qapl09 at tcs.inf.tu-dresden.de (QAPL 2009) Date: Thu, 22 Jan 2009 15:13:57 +0100 Subject: QAPL 2009 Call for Presentations Message-ID: <49787f25.hOgq7HKVezntYzt5%qapl09@tcs.inf.tu-dresden.de> ****************************************************************************** [Apologies for multiple copies] ******************************************************************************* CALL FOR PRESENTATIONS Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009) Affiliated with ETAPS 2009 March 28-29, 2009, York, UK http://wwwtcs.inf.tu-dresden.de/ALGI/qapl09/ ******************************************************************************* SCOPE: Quantitative aspects of computation are important and sometimes essential in characterising the behavior 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: * Vincent Danos, Universite Paris Diderot - Paris 7, France. * Jane Hillston, University of Edinburgh, UK. 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 in PDF format and use the ENTCS style files. Submissions can be made on the following website: www.easychair.org/conferences/?conf=qapl09 The program co-chairs can be contacted at: qapl09chairs at tcslist.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. For regular papers: Submission (title + abstract): closed Submission (regular paper): closed Notification: January 28, 2009 Final version (ETAPS proceedings): February 2, 2009 Final version (ENTCS proceedings): TBA For presentations: Submission: January 28, 2009. Notification: January 31, 2009. ORGANIZATION: PC Chairs: * Alessandra Di Pierro, University of Verona, Italy * Christel Baier, University of Dresden, Germany. Program Committee: * Alessandro Aldini, University of Urbino, Italy * Christel Baier, University of Dresden, Germany * Nathalie Bertrand, IRISA/INRIA Rennes, France * Patricia Bouyer, Oxford University, UK * Jeremy Bradley, Imperial College London, UK * Tomas Brazdil, Masaryk University, Czech Republic * Flavio Corradini, University of Camerino, Italy * Josee Desharnais, University of Laval, Canada * Alessandra Di Pierro, University of Verona, Italy * Maurizio Gabbrielli, University of Bologna, Italy * Marcus Groesser, Technical University Dresden, Germany * Cosimo Laneve, University of Bologna, Italy * Mieke Massink, NR-ISTI Pisa, Italy * Paulo Mateus, Technical University of Lisbon, Portugal * Annabelle McIver, Maquarie University, Australia * Gethin Norman, Oxford University, UK * Jeremy Sproston, University of Torino, Italy * Franck van Breugel, York University, Toronto, Canada * Herbert Wiklicky, Imperial College London, UK From fink at kr.tuwien.ac.at Thu Jan 22 18:54:32 2009 From: fink at kr.tuwien.ac.at (Michael Fink) Date: Thu, 22 Jan 2009 18:54:32 +0100 Subject: PhD Position at the Knowledge-Based Systems Group, Vienna University of Technology Message-ID: <4978B2D8.70500@kr.tuwien.ac.at> The Knowledge-Based Systems Group (http://www.kr.tuwien.ac.at/) at the Vienna University of Technology (http://www.tuwien.ac.at/) is looking for excellent candidates to work as a researcher in a forthcoming WWTF funded project on Inconsistency Management for Knowledge-Integration Systems (see http://www.wwtf.at/). The objective of this project is to extend and develop methods and techniques for inconsistency handling beyond homogenous data settings. In particular, inconsistency handling for knowledge exchange systems, where the information flow is described by so-called bridge rules, will be investigated. In addition to a general formalism for inconsistency management, the project aims at efficient algorithms for detecting, evaluating, and potentially resolving conflicts based on computational logic tools. The successful candidate will be expected to work on the theoretical foundations of inconsistency management for modern knowledge exchange systems, as well as on the development of efficient methods and algorithms for basic inconsistency management tasks. The candidate should have: * a Master's degree in Mathematics or Computer Science * experience in academic research, i.e., an experienced PhD student. * a strong background/interest in Logic Programming and its applications * a solid academic education in Knowledge Representation and Computational Logic * a willingness work on project deliverables * a willingness to travel to project partners and to work in an international team * good proficiency in English The full-time equivalent position is for a total of 3 years and expected to start March 1st 2009, or as soon as possible after this date; the salary will be according to Austrian guidelines (http://www.fwf.ac.at/de/projects/personalkostensaetze_2008.html). The candidate will also work towards a PhD degree in Computer Science. We encourage interested candidates to send their resume, list of publications, digital versions of their most relevant work, and optional recommendation letters to Dr. Michael Fink fink at kr.tuwien.ac.at The Knowledge-Based Systems group is lead by Prof. Dr. Thomas Eiter and has a strong expertise in areas such as Knowledge Representation and Reasoning, Computational Logic and Complexity, and Declarative Problem Solving. For more information, see http://www.kr.tuwien.ac.at/. Vienna University of Technology is an Equal Opportunities Employer. Women therefore are especially encouraged to apply. In case of equal qualification, women applying are to be given priority unless reasons specific to an individual male candidate tilt the balance in his favor according to judgments of the EU Court of Justice. From robert at grid.chu.edu.tw Fri Jan 23 11:42:25 2009 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Fri, 23 Jan 2009 18:42:25 +0800 Subject: Call For Papers (902) : (HPCC-09,ISA-09,CPI-09,CIT-09,ScalCom-09,CSE-09,CloudCom-09,ISPAN-09) Message-ID: <200901231042.n0NAgPJE032636@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From simon.miles at kcl.ac.uk Sun Jan 25 14:05:57 2009 From: simon.miles at kcl.ac.uk (Simon Miles) Date: Sun, 25 Jan 2009 13:05:57 +0000 Subject: Call for IFAAMAS-08 Victor Lesser Distinguished Dissertation Award nominations Message-ID: Call for IFAAMAS-08 Victor Lesser Distinguished Dissertation Award nominations Nominations are invited for the 2008 Victor Lesser Distinguished Dissertation Award sponsored by IFAAMAS, the International Foundation for Autonomous Agents and Multiagent Systems (http://www.ifaamas.org). This award includes a certificate signed by the IFAAMAS Chair and 1500EUR. Eligible doctoral dissertations are those defended between January 1, 2008 and December 31, 2008 in the area of Autonomous Agents or Multiagent Systems. The originality, significance, and real or potential impact of the work. Evidence of such impact may come from existing pre- or post-defense publications of the work at highly selective conferences and journals, and/or from comments of the supervisor and references. Work that resulted primarily from the student's initiative will be considered more favourably. The selection committee will be the final arbiter in the decision process. The selection committee might decide to consult external assessors and reserves the right not to award the prize if the nominations do not meet the expected quality level. The dissertation must be nominated by the thesis supervisor and must be supported by the following documents: *A.* A pdf file of the dissertation. If the dissertation is not written in English, the nomination must include a long paper in English, with the nominee as the first author, published in a journal or a prestigious conference. *B.* A list of citations to published papers based primarily on work reported in the dissertation with links to corresponding pdf files." *C.* A recommendation from the supervisor nominating the dissertation for the IFAAMAS-08 Victor Lesser Distinguished Dissertation Award. The recommendation should argue the merit of the dissertation and highlight, where relevant, how the work resulted from the initiative of the student. This document, not to exceed 500 words, should also certify the eligibility of the PhD by asserting that the PhD was defended in calendar year 2008. *D.* Up to three reference letters of no more than 500 words in length, signed and scanned as pdf files, from researchers familiar with the research of the candidate and with related research expertise. These documents must be placed on a web page and only a link to this page e-mailed to the chair of the selection committee, Makoto Yokoo, at yokoo at is.kyushu-u.ac.jp on or before February 13, 2009. Though the nomination is to be submitted by the student's supervisor, it is assumed that the student has consented that the dissertation be considered for this award and, if selected, commits to attend the AAMAS09 conference where he/she will receive the award and will give an hour-long presentation on this work in a special session. The cost of attending the conference is not covered by the award. Selection committee: Vincent Conitzer Les Gasser Radu Jurca Sarit Kraus Sandip Sen Makoto Yokoo (Chair) -- Dr Simon Miles Agents and Intelligent Systems Group Department of Computer Science Kings College London, UK From Jean-Pierre.Briot at lip6.fr Tue Jan 27 21:11:33 2009 From: Jean-Pierre.Briot at lip6.fr (Jean-Pierre Briot) Date: Tue, 27 Jan 2009 21:11:33 +0100 Subject: Last Call for Papers - ProMAS'09 Workshop - Programming Multi-Agent Systems - deadline: 1st February Message-ID: ** apologies for possible duplications ** ------------------------------------------------------------------------ -------- Call for Papers =================== Sixth international Workshop on Programming Multi-Agent Systems (ProMAS'09) ProMAS'09 is a satellite workshop at AAMAS 2009 Budapest, Hungary, 10-15 May 2009 Even though the contributions of the multi-agent systems (MAS) community can make a significant impact in the development of open distributed systems, the techniques resulting from such contributions will only be widely adopted when suitable programming languages and tools are available. Furthermore, such languages and tools must incorporate those techniques in a principled but practical way, so as to support the ever more complex task of professional programmers, in particular when the systems have to operate in dynamic environments. The ProMAS workshop series aims to address the practical programming issues related to developing and deploying multi-agent systems. In particular, ProMAS aims to address how multi-agent systems designs or specifications can be effectively implemented. In its previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, requirements, and principles that are important for multi-agent programming technology. We encourage the submission of proposals for programming languages and tools that provide specific programming constructs to facilitate the implementation of the essential concepts used in multi-agent system analysis and specifications (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. Further, we are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry. Specific topics for this workshop include, but are not limited to: - Programming Languages for multi-agent systems - Programming models and abstractions for multi-agent systems - Extensions of traditional languages for multi-agent programming - Theoretical and practical aspects of multi-agent programming - Computational complexity of MAS - Semantics for multi-agent programming languages - High-level executable multi-agent specification languages - Algorithms, techniques, or protocols for multi-agent issues (e.g., coordination, cooperation, negotiation) - Agent communication issues in multi-agent programming - Implementation of social and organisational aspects of MAS - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS - Agent development tools and platforms - Generic tools and infrastructures for multi-agent programming - Interoperability and standards for MAS - Programming mobile agents - Safety and security for mobile MAS deployment - Fault tolerance and load balancing for mobile MAS - Application areas for multi-agent programming languages - Applications using legacy systems - Programming MAS for Grid-based applications - Programming MAS for the Semantic Web - Deployed (industrial-strength) MAS - Benchmarks and testbeds for comparing MAS languages and tools - Integration of agent and mainstream technology Important Dates: ---------------- Paper submission deadline: 01 February, 2009 Notifications of acceptance/rejection: 01 March, 2009 Camera-ready copies due: 15 March, 2009 Workshop Date: 10th/11th May, 2009 (TBA) Submission Details: ------------------- (See Submission details in the workshop Web page http:// www.cs.rmit.edu.au/agents/PROMAS2009/) Authors should submit their papers via a conference management system (https://www.easychair.org/login.cgi?conf=promas09). Papers should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. Accepted papers will be published as a technical report and distributed among participants during the workshop. As was the case for previous editions of the ProMAS workshop, we are planning to publish extended versions of selected papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. Programme Committee: -------------------- Matteo Baldoni (University of Torino, Italy) Juan Botia Blaya (University of Murcia, Spain) Guido Boella (University of Torino, Italy) Olivier Boissier (Ecole des Mines de St Etienne, France) Keith Clark (Imperial College, UK) Rem Collier (University College Dublin, Ireland) Louise Dennis (University of Liverpool, UK) Ian Dickinson (HP Labs, UK) Bernd Farwer (Durham University, UK) Michael Fisher (University of Liverpool, UK) Jorge Gomez-Sanz (Universidad Computense Madrid, Spain) Vladimir Gorodetsky (Russian Academy of Sciences, Russia) Dominic Greenwood (Whitestein Technologies, Switzerland) James Harland (RMIT, Australia) Koen Hindriks (Delft University of Technology, The Netherlands) Benjamin Hirsch (Technical University of Berlin, Germany) Jomi Hubner (State University of Blumenau, Brazil) Joao Leite (University Nova de Lisboa, Portugal) John Lloyd (Australian National University, Australia) Viviana Mascardi (Genova University, Italy) John-Jules Meyer (Utrecht University, The Netherlands) David Morley (SRI, USA) Jorg Muller (Clausthal University of Technology, Germany) Peter Novak (Clausthal University of Technology, Germany) Andrea Omicini (University of Bologna, Italy) Frederic Peschanski (LIP6, France) Michele Piunti (CNR, Italy) Agostino Poggi (Universita degli Studi di Parma, Italy) Alexander Pokahr (University of Hamburg, Germany) Alessandro Ricci (University of Bologna, Italy) Birna van Riemsdijk (Delft University of Technology, The Netherlands) Ralph Ronnquist (Intendico, Australia) Sebastian Sardina (RMIT University, Australia) Ichiro Satoh (NII, Japan) Munindar Singh (North Carolina State University, USA) Kostas Stathis (City University London, UK) Leon van der Torre (University of Luxembourg, Luxembourg) Paolo Torrini (Bologna University, Italy) Cao-Son Tran (New Mexico State University, USA) Gerhard Weiss (Software Competence Center Hagenberg, Austria) Wayne Wobke (University of New South Wales, Australia) Neil Yorke-Smith (SRI, USA) Yingqian Zhang (Delft University of Technology, The Netherlands) Organising Committee: --------------------- Lars Braubach (University of Hamburg, Germany) Jean-Pierre Briot (LIP6, France) John Thangarajah (RMIT University, Australia) Steering Committee: --------------------- Rafael Bordini (University of Durham, UK) Mehdi Dastani (Utrecht University, The Netherlands) Jurgen Dix (Clausthal University of Technology, Germany) Amal El Fallah Seghrouchni (LIP6, France) ------------------------------------------------------------------------ -- From Wiebe.van-der-Hoek at liverpool.ac.uk Tue Jan 27 23:00:15 2009 From: Wiebe.van-der-Hoek at liverpool.ac.uk (Wiebe van der Hoek) Date: Tue, 27 Jan 2009 22:00:15 +0000 Subject: PhD studentship at Liverpool, UK References: <6F5B72C104B0C2449B024F83100E4F83442ECC@EVSSTAFF2.livad.liv.ac.uk> Message-ID: <1497372E-931B-4F0F-B625-C691ECD20A6C@liverpool.ac.uk> The Computer Science department at the University of Liverpool has funds to support a PhD student to begin during the next few months. To be eligible, a candidate would have to be from the EU. More details are at http://www.csc.liv.ac.uk/~pwg/2009-studentships.htm People interested in applying are encouraged to contact me informally, also to check the web pages that give an overview of main research interests at the department: http://www.csc.liv.ac.uk/research.html Wiebe van der Hoek ---------------------------------------------------------- Prof. Wiebe van der Hoek Head of Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 79 47480/54292 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Klaus.Fischer at dfki.de Wed Jan 28 00:17:54 2009 From: Klaus.Fischer at dfki.de (Klaus Fischer) Date: Wed, 28 Jan 2009 00:17:54 +0100 Subject: Final CFP: ATOP@AAMAS2009 - Agent-based Technologies and applications for enterprise interOPerability Message-ID: <497F9622.1020800@dfki.de> Call for Papers Agent-based Technologies and applications for enterprise interOPerability ATOP 2009 (http://www-ags.dfki.uni-sb.de/~kuf/atop) Workshop to be held at the Eighth International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2009) (http://www.conferences.hu/AAMAS2009/workshops.html) Budapest, Hungary 11 May 2009 (date still to be confirmed please check Web pages for changes) MOTIVATION Today's enterprises must adapt their software processes to work in open settings, such as online marketplaces and, more generally, the Web, where business relationships exhibit a high degree of dynamism. Moreover, open settings are characterized by the autonomy and heterogeneity of the enterprises. In such settings, interoperability is a key concern: how do we ensure that diverse enterprises can work together toward a mutually desirable end? Interoperability problems occur at different levels: at the business level (how organizations do business together, what needs to be described and how?), at the knowledge level (different formats, schemas, and ontologies), and at the infrastructure level (the underlying information and communication technologies and systems). Agents, Model-Driven Architecture (MDA), and Service-Oriented Architecture (SOA) are complementary approaches to addressing the enterprise interoperability problem. Agents enable dynamic collaboration and orchestration in changing and unpredictable situations; MDA provides mechanisms that generate artifacts for different platforms; SOA gives us late-binding interoperability between business process requirements and providers of service implementations. This workshop aims to bring together research that combines ideas from MDA and SOA with agents in presenting new solutions for enterprise interoperability. WORKSHOP TOPICS We would like to focus the ATOP 2009 around modeling and metamodels for interoperability in agent-based systems and business applications. Ideally submitted papers should deal with model-driven agent technologies and methodologies in the context of: * simulation and validation of business systems * decision-support in value creation networks * enterprise and business process modeling * case studies of implemented interoperability solutions and systems * coordination and negotiation in distributed business networks * cross-organizational business processes * normative environments for enterprise agents interoperability * decentralized and peer-to-peer models and enactment of business processes * goal-driven and adaptive business process management * semantic annotations of business process descriptions * intelligent enterprise application integration * business process modeling, enactment and integration * intelligent execution, monitoring, management, and optimization of business processes * service-oriented architectures and related topics like service choreography, orchestration, composition, brokering, and mediation * autonomic computing and adaptive autonomous architectures * model-driven architectures for business processes and systems * models and meta-models for agent-based systems * platform-independent models and their relation to agent models * model-to-model and model-to-text transformations * knowledge representations and ontologies in the context of (collaborative) business processes * agent communication languages and standards * self-organization and adaptation in the context of interoperable systems SUBMISSION DETAILS Authors should submit original research papers (must not exceed 12 pages including all figures and tables) including an abstract of about 200 words or position papers (must not exceed 3 pages). In any case submission of preliminary abstracts some time before the official submission deadline is very much appreciated. All submissions must be sent electronically to Klaus.Fischer at dfki.de Acceptable formats are PDF and PostScript. It is planned to structure the workshops into invited talks, technical presentations and panel discussions. A publication of selected workshop papers is planned in Springer's new LNBIP series. Formatting instructions can be found at http://www.springer.de/comp/lncs/authors.html and should be strictly followed. The first page should include the full name and contact details of at least one author (email and full postal address). IMPORTANT DATES Submissions due February 2 2009 Notifications sent February 24 2009 Final papers due March 11 2009 Workshop May 11 2009 (date still to be confirmed) ORGANIZING COMMITTEE Arne-Jorgen Berre, SINTEF, Norway Klaus Fischer, DFKI, Germany James Odell, CSC, USA Joerg P. Mueller, Technische Universitaet Clausthal, Germany PROGRAM COMMITTEE Sahin Albayrak, TU Berlin, Germany Bernhard Bauer, University Augsburg, Germany Amit Chopra, University of Trento, Italy Michael Georgeff, Monash University, Australia Dominic Greenwood, Whitestein Technologies, Switzerland Axel Hahn, University Oldenburg, Germany Christian Hahn, DFKI, Germany Oystein Haugen, SINTEF, Norway Sebastian Kaemper, IWi, Germany Stefan Kirn, Hohenheim University, Germany Margaret Lyell, IAI, USA Saber Mansour, Oslo Software, France Nikolay Mehandjiev, Manchester Business School, UK Michele Missikoff, LEKS; IASI-CNR, Italy Eugenio Oliveira, University of Porto, Portugal Herve Panetto, University Nancy, France Omer Rana, Cardiff University, UK Ralph Ronnquist, Intendico Pty. Ltd., Australia Rainer Ruggaber, SAP, Germany Omair Shafiq, Semantic Technology Institute (STI) Innsbruck, Austria Iain Stalker, Unversity of Teesside, UK Ingo Timm, Goethe-University Frankfurt/Main, Germany Joerg Ziemann, DFKI-IWi, Germany Ingo Zinnikus, DFKI, Germany From Brigitte.Trousse at sophia.inria.fr Wed Jan 28 01:57:35 2009 From: Brigitte.Trousse at sophia.inria.fr (Brigitte.Trousse at sophia.inria.fr) Date: Wed, 28 Jan 2009 01:57:35 +0100 (CET) Subject: KDD-09: Calls for Papers (abstracts due Feb 2.), Panels, Tutorials Message-ID: <8ed65f0a12a57cc51dbee5cfdabe7655.squirrel@imap-sop.inria.fr> ----------------------------------------------------------------- KDD-2009: The Fifteenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD'09) June 28 - July 1, 2009. Paris, France www.kdd.org/kdd2009/ ------------------------------------------------------------------ The annual ACM SIGKDD conference is the premier international forum for data mining researchers and practitioners from academia, industry, and government to share their ideas, research results and experiences. KDD-09 will feature keynote presentations, oral paper presentations, poster sessions, workshops, tutorials, panels, exhibits, demonstrations, and the KDD Cup competition. We invite submissions on all aspects of knowledge discovery and data mining. We especially encourage papers relevant to KDD that cut across disciplines such as machine learning, pattern recognition, statistics, databases, theory, mathematical optimization, data compression, cryptography, and high performance computing. Papers are expected to describe innovative ideas and solutions that are rigorously evaluated and well-presented. Submissions that describe minor variations of existing methods or only make small or questionable improvements to existing algorithms are discouraged. Due dates (in 2009): KDD-2009: The Fifteenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD'09) June 28 - July 1, 2009. Paris, France www.kdd.org/kdd2009/ The annual ACM SIGKDD conference is the premier international forum for data mining researchers and practitioners from academia, industry, and government to share their ideas, research results and experiences. KDD-09 will feature keynote presentations, oral paper presentations, poster sessions, workshops, tutorials, panels, exhibits, demonstrations, and the KDD Cup competition. We invite submissions on all aspects of knowledge discovery and data mining. We especially encourage papers relevant to KDD that cut across disciplines such as machine learning, pattern recognition, statistics, databases, theory, mathematical optimization, data compression, cryptography, and high performance computing. Papers are expected to describe innovative ideas and solutions that are rigorously evaluated and well-presented. Submissions that describe minor variations of existing methods or only make small or questionable improvements to existing algorithms are discouraged. Due dates (in 2009): KDD-09 Call For Workshop Proposals, due Jan 19 (closed) KDD-09: Call for Research Papers, abstracts due Feb 2, papers due Feb 6 KDD-09: Industrial/Government Applications Papers, due Feb 6 KDD-09 call for Panels, due Feb 23 KDD'09 Call For Tutorial Proposals, due Feb 23 For more details, see www.kdd.org/kdd2009/ or www.kdd2009.com KDD-09: Call for Research Papers, abstracts due Feb 2, papers due Feb 6 KDD-09: Industrial/Government Applications Papers, abstract due Feb 2, papers due Feb 6 KDD-09 call for Panels, due Feb 23 KDD'09 Call For Tutorial Proposals, due Feb 23 For more details, see www.kdd.org/kdd2009/ or www.kdd2009.com From a.artikis at gmail.com Wed Jan 28 09:35:25 2009 From: a.artikis at gmail.com (Alexander Artikis) Date: Wed, 28 Jan 2009 10:35:25 +0200 Subject: Final Reminder: COIN@AAMAS09 Message-ID: <130ef5930901280035r79ffc1d3of9420ef58c776ba5@mail.gmail.com> Apologies for cross-posting. *New submission deadline: January 30, 2009.* ========================================= CALL FOR PAPERS ========================================= "Coordination, Organization, Institutions and Norms" (COIN) May 2009 A satellite workshop of AAMAS 2009 http://www.csd.abdn.ac.uk/coin at aamas2009 AIMS & SCOPE: ============= Multi-agent systems (MAS) are complex artifacts in which a multitude of autonomous software agents interact, pursuing individual and/or collective goals. Such a view usually assumes some form of organization, a set of norms or conventions that articulate or restrain interactions in order to enable agents to achieve their goals. The engineering of effective coordination or regulatory mechanisms is a key problem for the design of open, complex MAS. In recent years, social and organizational aspects of agency have become a major issue in MAS research, especially in applications for Service-Oriented Computing, Grid Computing and Ambient Intelligence. These applications enforce the need for using social and organizational aspects in order to ensure social order. Openness of MAS poses new demands on traditional MAS interaction models. Therefore, the view of coordination and control has to be expanded to consider not only an agent-centric perspective but also societal and organization-centric views. The workshop aims to bring together the topics of Coordination, Organization, Institutions and Norms. These topics have become an established area of agent research and a significant number of influential papers on these topics have been appearing in AAMAS and other agent conferences and workshops. The series of COIN workshops are thus aimed at consolidating and expanding the subject by providing focused events in which researchers from different communities participate. THEMES & TOPICS: ================ Topics of interest for COIN at AAMAS09 include (but are not limited to): -Modeling (dynamic) multi-agent organizations. -Agent communities, electronic institutions and virtual organizations. -Languages for norms: expressiveness VS efficiency. -Norms, institutions and organizations: authority, (institutional) power, sanctions, contracts, trust, reputation. -Issues in regulated MAS implementation. -Simulation, analysis and verification of (dynamic) regulated MAS. -Scaling and control issues in (dynamic) agent organizations. -Organized Adaptation of regulated MAS: protocols and frameworks, -Models of norm (law, policy) change: norm revision, conflict detection, norm updates. -Legal implications of organized adaptation. COIN at AAMAS09 merges the COIN workshop series with the workshop on Organized Adaptation for Multi-Agent Systems (OAMAS). Therefore, *papers that explore the dynamic aspects of norms, organizations and institutions are particularly welcome* in COIN at AAMAS09. IMPORTANT DATES: ================ Submission Deadline : January 30, 2009 Notification: February 25, 2009 Final Version Submission Deadline: March 5, 2009 PROCEEDINGS & SUBMISSION: ========================= Informal proceedings will be available at the workshop. As with previous COIN workshops, selected, revised and extended versions of the papers of the 2009 COIN editions will be published in a single Springer LNCS volume. The length of each paper, including figures and references, may not exceed 16 pages. Further formatting guidelines and instructions on how to submit a paper may be found at the workshop web page. The 2nd version of COIN 2009 will take place at IJCAI 2009: http://www.les.inf.puc-rio.br/coin at ijcai09/ From alexander.friedmann at uqam.ca Wed Jan 28 04:39:42 2009 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Tue, 27 Jan 2009 22:39:42 -0500 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Tue, Jan 27, 2009 at 8:50 PM, event administration < event-subscribe at in.tu-clausthal.de> 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: 2900068290, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > -- email: alexander.friedmann at uqam.ca en cas de panne UQAM / if problems with this adress please use: alexfri7 at gmail.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Wiebe.Van-Der-Hoek at liverpool.ac.uk Wed Jan 28 17:54:55 2009 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Wiebe van der Hoek) Date: Wed, 28 Jan 2009 16:54:55 +0000 Subject: Two Lectureships in Computer Science (Economics & Computation) Message-ID: <52C37CAB-A854-4311-9B6A-DB6CAAA96889@liverpool.ac.uk> THE UNIVERSITY OF LIVERPOOL -- DEPARTMENT OF COMPUTER SCIENCE LECTURESHIPS IN ECONOMICS AND COMPUTATION (2 POSTS) SALARY IN RANGE GBP 30,594 - GBP 35,469 pa The Department of Computer Science was ranked in the top 10 UK Computer Science departments in RAE2008, and building on this success, we seek to significantly expand current research around existing strengths at the intersection of economics/game theory and computer science. The successful candidates will join Professor Paul Goldberg and Dr Piotr Krysta in establishing a new research group in this area. The group will carry out research in the computational foundations of economics/game theory and economic theory in computer science. The group will enjoy close collaborative links with the existing Complexity, Theory and Algorithms research group and the Agent Applications, Research, and Technology research group. Relevant topics of interest include (but are not restricted to) algorithmic game theory; mechanism design and auction theory; complexity and computation of solution concepts; optimization problems in economics and computational social choice. You should have an excellent track record of research at the intersection of computer science and economics/game theory, and will join a world-class Department. The post attracts a special HEFCE-funded `Golden Hello' to the value of GBP 9K, subject to individuals satisfying the eligibility criteria. Job Ref: A-569104 ** Closing Date: 27 February 2009 ** For informal discussions please contact Prof Paul Goldberg, Head of Group (mailto:goldberg at liverpool.ac.uk). For full details, or to request an application pack, visit http://www.liv.ac.uk/working/job_vacancies/ or e-mail jobs at liv.ac.uk tel 0151 794 2210 (24 hr answerphone). Please quote Job Ref A-569104 in all enquiries. ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 79 47480/54292 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk From wcom at worldcomp.cviog.uga.edu Wed Jan 28 22:58:26 2009 From: wcom at worldcomp.cviog.uga.edu (WORLDCOMP'09 Congress Conferences) Date: Wed, 28 Jan 2009 16:58:26 -0500 Subject: Call For Papers: Computer Science & Computer Engineering Conferences - July 13-16 2009, USA, WORLDCOMP'09 Message-ID: <20090128215826.B277220A18@worldcomp.cviog.uga.edu> C A L L F O R P A P E R S =============================== WORLDCOMP'09 The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing Date and Location: July 13-16, 2009, Las Vegas, USA http://www.world-academy-of-science.org You are invited to submit a paper. All accepted papers will be published in the respective conference proceedings (both, in printed book as well as online). The sponsors of the congress include universities, research centers, research laboratories, and various USA government agencies and associations (see below for a list). WORLDCOMP'09 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. David A. Patterson (U. of California, Berkeley); Prof. Michael J. Flynn (Stanford U.); Prof. John H. Holland (U. of Michigan, Ann Arbor); Prof. Brian D. Athey (U. of Michigan, Ann Arbor), Prof. H. J. Siegel (Colorado State U.); Prof. Barry Vercoe (MIT); Prof. Ruzena Bajcsy (U. of California, Berkeley); Prof. Jun Liu (Harvard U.); Dr. Jim Gettys (OLPC + developer of X Window); Dr. Chris Rowen (President and CEO, Tensilica, Inc.); and many other distinguished speakers. Prof. Ian Foster (Father of Grid Computing) has already accepted to deliver a keynote for WORLDCOMP'09 (others will be announced later). The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'09) is composed of the following conferences (all will be held simultaneously, same location and dates: July 13-16, 2009, USA): o BIOCOMP'09: The 2009 International Conference on Bioinformatics and Computational Biology; o CDES'09: The 2009 International Conference on Computer Design o CGVR'09: The 2009 International Conference on Computer Graphics and Virtual Reality o CSC'09: The 2009 International Conference on Scientific Computing o DMIN'09: The 2009 International Conference on Data Mining o EEE'09: The 2009 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government o ERSA'09: The 2009 International Conference on Engineering of Reconfigurable Systems and Algorithms o ESA'09: The 2009 International Conference on Embedded Systems and Applications o FCS'09: The 2009 International Conference on Foundations of Computer Science o FECS'09: The 2009 International Conference on Frontiers in Education: Computer Science and Computer Engineering o GCA'09: The 2009 International Conference on Grid Computing and Applications o GEM'09: The 2009 International Conference on Genetic and Evolutionary Methods o ICAI'09: The 2009 International Conference on Artificial Intelligence o ICOMP'09: The 2009 International Conference on Internet Computing o ICWN'09: The 2009 International Conference on Wireless Networks o IKE'09: The 2009 International Conference on Information and Knowledge Engineering o IPCV'09: The 2009 International Conference on Image Processing, Computer Vision, and Pattern Recognition o MSV'09: The 2009 International Conference on Modeling, Simulation and Visualization Methods o PDPTA'09: The 2009 International Conference on Parallel and Distributed Processing Techniques and Applications o SAM'09: The 2009 International Conference on Security and Management o SERP'09: The 2009 International Conference on Software Engineering Research and Practice o SWWS'09: The 2009 International Conference on Semantic Web and Web Services (a link to each conference's URL can be found at http://www.world-academy-of-science.org ) SUBMISSION OF PAPERS: Prospective authors are invited to submit their draft papers by uploading them to http://worldcomp.cviog.uga.edu/ . Submissions must be received by Feb. 25, 2009 and they must be in either MS doc or pdf formats (about 5 to 7 pages - single space, font size of 10 to 12). 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, and email address 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. IMPORTANT DATES: Feb. 25, 2009: Submission of papers (about 5 to 7 pages) March 25, 2009: Notification of acceptance April 25, 2009: Camera-Ready papers and Registration due July 13-16, 2009: The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'09 - 22 joint conferences) COORDINATOR: H. R. Arabnia, PhD Professor, Computer Science Editor-in-Chief, The Journal of Supercomputing (Springer) Advisory Board, IEEE Technical Committee on TCSC Vice President, Int'l Society of Intelligent Biological Medicine The University of Georgia Department of Computer Science 415 Boyd Building Athens, Georgia 30602-7404, USA Tel: (706) 542-3480 email: hra at cs.uga.edu CO-SPONSORS: This is a partial list but it also includes the 2008 sponsors pending their final approval for 2009), Academic Sponsors: United States Military Academy, Network Science Center; Argonne's Leadership Computing Facility (of Argonne National Lab); SECLAB/Italy (U. Naples Federico II, U. of Naples Parthenope, & 2nd U. of Naples); Computational Biology & Functional Genomics Lab., Harvard U.; Int'l. Society of Intelligent Biological Medicine; Horvath Lab., UCLA; Minnesota Supercomputing Institute; Functional Genomics Lab., U. of Illinois at Urbana-Champaign; BioMedical Informatics & Bio-Imaging Lab., Georgia Institute of Tech. and Emory U.; Intelligent Data Exploration and Analysis Lab., U. of Texas at Austin; Biomedical Cybernetics Lab., HST of Harvard U. & MIT; Center for the Bioinformatics & Computational Genomics, Georgia Institute of Tech.; Harvard Statistical Genomics & Computational Lab., Harvard U.; Bioinformatics & Computational Biology Program, George Mason U.; Hawkeye Radiology Informatics, U. of Iowa; Medical Image HPC & Informatics Lab (MiHi Lab), U. of Iowa; U. of North Dakota; NEMO/European Union; Knowledge Management & Intelligent System Center of U. Siegen/Germany; various divisions of European Commission (UNESCO NGO pending); ... Corporate Sponsors include: Google, Inc.; Salford Systems; Synplicity, Inc.; Supermicro, Inc.; NIIT Technologies; ... 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 joint conferences in WORLDCOMP are the premier conferences for presentation of advances in their respective fields. We anticipate to have 2,400 or more attendees from over 85 countries participating in the 2009 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. WORLDCOMP'09 will be composed of research presentations, keynote lectures, invited presentations, tutorials, panel discussions, and poster presentations. One registration fee provides full access to all events/sessions of all conferences (including tutorials). The registration fee is set at the low end of the academia range for conferences. 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, a short biography together with research interests and the name of the conference offering to help with. Many who have already joined the committees of individual tracks are renowned leaders, scholars, researchers, scientists and practitioners of the highest ranks; many are directors of research laboratories, fellows of various societies, heads/chairs of departments, deans and provosts. 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, ...) =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= This email was sent to: event at in.tu-clausthal.de To opt out of this email list: http://worldcomp.cviog.uga.edu/cgi-bin/rm/full.cgi?1BC32490-BA23-11DD-ABA0-FC776EE9E895 From friedmann.alexander at uqam.ca Wed Jan 28 18:18:31 2009 From: friedmann.alexander at uqam.ca (ALEX FRIEDMANN) Date: Wed, 28 Jan 2009 12:18:31 -0500 (EST) Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Wed, 28 Jan 2009, 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: 2900068290, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > ------- Alex Friedmann tel: (514) 987-3000 ext. 3219 Dept. d'Informatique fax: (514) 987-8477 U.Q.A.M. e-mail :alexander dot friedmann dot uqam.ca C.P. 8888 Centre-Ville Montreal Canada, H3C 3P8 From secretariat at chaos2009.net Wed Jan 28 20:22:25 2009 From: secretariat at chaos2009.net (Secretariat CHAOS2009 Conference) Date: Wed, 28 Jan 2009 21:22:25 +0200 Subject: 2nd Chaotic Modeling and Simulation International Conference (CHAOS2009) , Abstract/Paper Submission and Special Session Proposals Message-ID: <64465086896114459417@PC100855613103> Dear Colleague, You are kindly invited to participate to the forthcoming Nonlinear Analysis Conference titled: 2nd Chaotic Modeling and Simulation International Conference (CHAOS2009), Chania, Crete, Greece, June 1-5, 2009. The forthcoming International Conference (Chaos2009) on Chaotic Modeling, Simulation and Applications will take place at the MAICh Conference Centre, Chania, Crete, Greece (June 1-5, 2009). The general topics and the special sessions proposed for the Conference (Chaos2009) include but are not limited to: Chaos and Nonlinear Dynamics, Stochastic Chaos, Chemical Chaos, Data Analysis and Chaos, Hydrodynamics, Turbulence and Plasmas, Optics and Chaos, Chaotic Oscillations and Circuits, Chaos in Climate Dynamics, Geophysical Flows, Biology and Chaos, Neurophysiology and Chaos, Hamiltonian Systems, Chaos in Astronomy and Astrophysics, Chaos and Solitons, Micro- and Nano- Electro-Mechanical Systems, Neural Networks and Chaos, Ecology and Economy. For more information and Abstract/Paper submission and Special Session Proposals please visit the conference website at: http://www.chaos2009.net Kind regards On behalf of the Conference Committee Prof. Christos H. Skiadas Data Analysis and Forecasting Laboratory Technical University of Crete Chania, Crete, Greece skiadas at chaos2009.net ; skiadas at asmda.net New book from Chapman & Hall/CRC: Chaotic Modelling and Simulation: Analysis of Chaotic Models, Attractors and Forms Previous Conference: Chaotic Modeling and Simulation International Conference (CHAOS2008), 3-6 June 2008, Chania Crete Greece If you don't like to receive messages regarding the CHAOS2009 Conference, please click here: Remove -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Jean-Pierre.Briot at lip6.fr Fri Jan 30 09:20:47 2009 From: Jean-Pierre.Briot at lip6.fr (Jean-Pierre Briot) Date: Fri, 30 Jan 2009 09:20:47 +0100 Subject: ProMAS'09 Workshop CfP - Deadline extension: 08 February Message-ID: <2D1883CE-7F85-4101-9052-17282DD89B27@lip6.fr> ** apologies for possible duplications ** ------------------------------------------------------------------------ -------- *** ProMAS'09 submission deadline extended until 08 February, 2009 (Hard deadline) *** Call for Papers =================== Sixth international Workshop on Programming Multi-Agent Systems (ProMAS'09) ProMAS'09 is a satellite workshop at AAMAS 2009 Budapest, Hungary, 10-15 May 2009 Even though the contributions of the multi-agent systems (MAS) community can make a significant impact in the development of open distributed systems, the techniques resulting from such contributions will only be widely adopted when suitable programming languages and tools are available. Furthermore, such languages and tools must incorporate those techniques in a principled but practical way, so as to support the ever more complex task of professional programmers, in particular when the systems have to operate in dynamic environments. The ProMAS workshop series aims to address the practical programming issues related to developing and deploying multi-agent systems. In particular, ProMAS aims to address how multi-agent systems designs or specifications can be effectively implemented. In its previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, requirements, and principles that are important for multi-agent programming technology. We encourage the submission of proposals for programming languages and tools that provide specific programming constructs to facilitate the implementation of the essential concepts used in multi-agent system analysis and specifications (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. Further, we are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry. Specific topics for this workshop include, but are not limited to: - Programming Languages for multi-agent systems - Programming models and abstractions for multi-agent systems - Extensions of traditional languages for multi-agent programming - Theoretical and practical aspects of multi-agent programming - Computational complexity of MAS - Semantics for multi-agent programming languages - High-level executable multi-agent specification languages - Algorithms, techniques, or protocols for multi-agent issues (e.g., coordination, cooperation, negotiation) - Agent communication issues in multi-agent programming - Implementation of social and organisational aspects of MAS - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS - Agent development tools and platforms - Generic tools and infrastructures for multi-agent programming - Interoperability and standards for MAS - Programming mobile agents - Safety and security for mobile MAS deployment - Fault tolerance and load balancing for mobile MAS - Application areas for multi-agent programming languages - Applications using legacy systems - Programming MAS for Grid-based applications - Programming MAS for the Semantic Web - Deployed (industrial-strength) MAS - Benchmarks and testbeds for comparing MAS languages and tools - Integration of agent and mainstream technology Important Dates: ---------------- Paper submission deadline: 08 February, 2009 (Extended -- Hard deadline) Notifications of acceptance/rejection: 01 March, 2009 Camera-ready copies due: 15 March, 2009 Workshop Date: 10th/11th May, 2009 (TBA) Submission Details: ------------------- (See Submission details in the workshop Web page http:// www.cs.rmit.edu.au/agents/PROMAS2009/) Authors should submit their papers via a conference management system (https://www.easychair.org/login.cgi?conf=promas09). Papers should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. Accepted papers will be published as a technical report and distributed among participants during the workshop. As was the case for previous editions of the ProMAS workshop, we are planning to publish extended versions of selected papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. Programme Committee: -------------------- Matteo Baldoni (University of Torino, Italy) Juan Botia Blaya (University of Murcia, Spain) Guido Boella (University of Torino, Italy) Olivier Boissier (Ecole des Mines de St Etienne, France) Keith Clark (Imperial College, UK) Rem Collier (University College Dublin, Ireland) Louise Dennis (University of Liverpool, UK) Ian Dickinson (HP Labs, UK) Bernd Farwer (Durham University, UK) Michael Fisher (University of Liverpool, UK) Jorge Gomez-Sanz (Universidad Computense Madrid, Spain) Vladimir Gorodetsky (Russian Academy of Sciences, Russia) Dominic Greenwood (Whitestein Technologies, Switzerland) James Harland (RMIT, Australia) Koen Hindriks (Delft University of Technology, The Netherlands) Benjamin Hirsch (Technical University of Berlin, Germany) Jomi Hubner (State University of Blumenau, Brazil) Joao Leite (University Nova de Lisboa, Portugal) John Lloyd (Australian National University, Australia) Viviana Mascardi (Genova University, Italy) John-Jules Meyer (Utrecht University, The Netherlands) David Morley (SRI, USA) Jorg Muller (Clausthal University of Technology, Germany) Peter Novak (Clausthal University of Technology, Germany) Andrea Omicini (University of Bologna, Italy) Frederic Peschanski (LIP6, France) Michele Piunti (CNR, Italy) Agostino Poggi (Universita degli Studi di Parma, Italy) Alexander Pokahr (University of Hamburg, Germany) Alessandro Ricci (University of Bologna, Italy) Birna van Riemsdijk (Delft University of Technology, The Netherlands) Ralph Ronnquist (Intendico, Australia) Sebastian Sardina (RMIT University, Australia) Ichiro Satoh (NII, Japan) Munindar Singh (North Carolina State University, USA) Kostas Stathis (City University London, UK) Leon van der Torre (University of Luxembourg, Luxembourg) Paolo Torrini (Bologna University, Italy) Cao-Son Tran (New Mexico State University, USA) Gerhard Weiss (Software Competence Center Hagenberg, Austria) Wayne Wobke (University of New South Wales, Australia) Neil Yorke-Smith (SRI, USA) Yingqian Zhang (Delft University of Technology, The Netherlands) Organising Committee: --------------------- Lars Braubach (University of Hamburg, Germany) Jean-Pierre Briot (LIP6, France) John Thangarajah (RMIT University, Australia) Steering Committee: --------------------- Rafael Bordini (University of Durham, UK) Mehdi Dastani (Utrecht University, The Netherlands) Jurgen Dix (Clausthal University of Technology, Germany) Amal El Fallah Seghrouchni (LIP6, France) ------------------------------------------------------------------------ -- From ci-listen at in.tu-clausthal.de Wed Jan 7 10:37:53 2009 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG) Date: Wed, 07 Jan 2009 10:37:53 +0100 Subject: Fwd: Jason Version 1.2 - 5th Anniversary Release Message-ID: Hi Juergen, Rafael is trying to post the message below through the Event at CIG list. Well, I am not sure I want to send it through... This is not an announcement in general interest, nor does it fit our moderation policy (http://cig.in.tu-clausthal.de/). So unless you rule otherwise, I will discard this message. With a notification of a reason to Rafael of course. Best, Peter. --- the forwarded message follows --- -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: Rafael H Bordini Betreff: Jason Version 1.2 - 5th Anniversary Release Datum: Tue, 6 Jan 2009 17:51:01 +0000 Größe: 3065 URL: From ci-listen at in.tu-clausthal.de Wed Jan 7 15:34:54 2009 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG) Date: Wed, 07 Jan 2009 15:34:54 +0100 Subject: Jason Version 1.2 - 5th Anniversary Release In-Reply-To: References: Message-ID: Dear Rafael, I decided not to let your post through as it does not fit our moderation policy. I do not think it is of general interest to the Event at CIG audience. Sorry, Peter.] P.S. BTW, all the best in the New Year 2009. On Tue, 6 Jan 2009 17:51:01 +0000 Rafael H Bordini wrote: > We are proud to announce Jason version 1.2 which is its > "5th anniversary" release. > > Jason was first released on 6th Jan 2004, and it has > evolved a great deal since then. It has also grown > significantly in popularity. Last year there has been > an average of some 500 downloads per month, and > version 1.1.2 alone had well over 1000 downloads. > There has been 29 releases of Jason since January > 2004, and it's now very stable even though > improvements are often made. > > We are also very proud to have published a book > (joint with Mike Wooldridge) which really helps those > interested in learning a new programming paradigm or > developing multi-agent systems. > > If you never wrote a multi-agent system using an > agent-oriented programming language, why not > commemorate Jason's 5th birthday with some > programming fun?! > > The Jason website is: > > http://jason.sf.net > > and the book website is: > > http://jason.sf.net/jBook > > > Jomi Hubner & Rafael Bordini