From axel.polleres at deri.org Wed Dec 1 11:38:21 2010 From: axel.polleres at deri.org (Axel Polleres) Date: Wed, 1 Dec 2010 10:38:21 +0000 Subject: ESWC2011 Semantic Data Management Track (abstract deadline approaching!!!!!) Call for Papers Message-ID: Dear all, I'd be grateful if you could distribute the call below and consider submission yourselves! Note that the abstract deadline (Dec 6th) is approaching! thanks, Axel (Apologies for cross posting) --------------------------------------------------------------------- CALL FOR PAPERS *abstract deadline - 6 December 2010 - approaching!!! * --------------------------------------------------------------------- The 8th Extended Semantic Web Conference (ESWC), Research Track: SEMANTIC DATA MANAGEMENT http://www.eswc2011.org/ May 29 - June 2, 2011, Heraklion, Greece Chairs: Vassilis Christophides and Axel Polleres Abstract submission: December 6, 2010 Full-paper submission: December 13, 2010 http://www.eswc2011.org/content/cfp#Semantic%20Data%20Management During last years we have witnessed a tremendous increase in the amount of semantic data that is available on the Web in almost every field of human activity. Billions of RDF triples from Wikipedia, U.S. Census, CIA World Factbook, open government sites in the US and the UK, news and entertainment sources, as well as various ontologies (especially in eScience) have been created and published online. For the successful discovery, sharing, distribution and organization of this emerging information universe, the ability to understand and manage the semantics of the data is of paramount importance. Semantic data management refers to a range of techniques that can be employed for storing, querying, manipulating and integrating data based on its meaning. It essentially enables sustainable solutions for a range of IT environments, where the usage of today's mainstream semantic technology is either inefficient or entirely unfeasible, namely, enterprise data integration, life science research, and collaborative data sharing in SaaS architectures. In a nutshell, semantic data management aims to support a more comprehensive usage of larger scale and more complex semantic datasets at lower cost. To achieve this vision, interdisciplinary synergies are required among researchers in the Semantic Web, data management systems as well as information retrieval communities. To this end, ESWC's Semantic Data Management track will be organized along the following key themes. TOPICS OF INTEREST ================== * Semantic repositories and databases - Storage schemas optimized for RDF data - Reasoning supported by data management infrastructures - Indexing structures for schema-less or schema-relaxed semantic data, storage - Density and performance improvements - Efficient query processing - Embedded semantic data processing (stored procedures and storage engine extension APIs) * Semantic access to legacy data - Efficient publishing from and to other data formats (e.g. XML, relational data) from RDF and ontologies - Semantic query optimization techniques; * Virtualized semantic stores and scalability - Identification and composition of (fragments of) data sets by abstracting the applications from the specific set-up of the data management service (e.g., local vs. remote and distribution) - Semantic data partitioning - Replication - Federation on the cloud * Exploratory semantic searching and browsing - Dataspaces for the Semantic Web - Semantic data analytics - Data dynamics - Emergent data semantics - Data- and query- specific strategies for dynamic data materialization - Adaptive, multi-query optimization - Multi-modal retrieval (quantitative and statistical) and ranking algorithms (FTS, co-occurrence, concordance, temporal, spatial); * Security and privacy - Access control specification languages and enforcement strategies - Consistency checking of access control policies - Incremental maintenance of security annotations - Privacy aware access control models * Traceability and trustworthiness - Probabilistic RDF data and query answering - Provenance models for SPARQL queries and RDFS/OWL programs - Provenance models of dataflows and mash-ups - Automated reasoning over abstract provenance information - Efficient storage and querying of provenance data * Benchmarking - Foundations, methods and tools for semantic systems benchmarking - Performance evaluation of existing semantic query, update and reasoning services - Analysis of synthetic and real large-scale semantic data repositories SUBMISSIONS =========== The proceedings of the conference will be published in Springer's Lecture Notes in Computer Science series. Paper submission and reviewing will be electronic. Papers must not exceed fifteen (15) pages in length and must be formatted according to the information for LNCS authors: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Papers must be submitted as PDF (Adobe's Portable Document Format) and will not be accepted in any other format. Papers that exceed 15 pages or do not follow the LNCS guidelines risk being rejected automatically without a review. The contributions to the Semantic Data Management track should be submitted through the track submission site at: http://www.easychair.org/conferences/?conf=eswc2011datamanagement IMPORTANT DATES =============== Abstract submission: Dec. 6, 2010 (compulsory) Full paper submission: Dec. 13,2010 (11:59 pm Hawaii time) Notifications: Feb. 21,2011 Camera-ready due: March 7,2011 PROGRAM COMITTEE ================ Karl Aberer Abraham Bernstein Aidan Boran Stefano Ceri Vassilis Christophides Oscar Corcho Orri Erling George H. L. Fletcher Irini Fundulaki Claudio Gutierrez Steve Harris Andreas Harth Panagiotis Karras Greg Karvounarakis Anastasios Kementsietsidis Atanas Kiryakov Manolis Koubarakis Reto Krummenacher Georg Lausen Josiane Parreira Axel Polleres Sherif Sakr Andy Seaborne Amit Sheth Umberto Straccia Giovanni Tummarello Yannis Velegrakis Maria Esther Vidal From behrens at in.tu-clausthal.de Wed Dec 1 15:30:43 2010 From: behrens at in.tu-clausthal.de (Tristan Behrens) Date: Wed, 01 Dec 2010 15:30:43 +0100 Subject: Multi-Agent Programming Contest -- Opening Discussion Message-ID: <4CF65C13.2000406@in.tu-clausthal.de> === DISCUSSION INVITATION ================ Multi-Agent Programming Contest (MAPC 2011) http://www.multiagentcontest.org ======================================== 1. 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, 2. collecting suitable benchmarks, and 3. gathering test cases which require and enforce coordinated action that can serve as milestones for testing multi-agent programming languages, platforms and tools. 2. HISTORY The Multi-Agent Programming Contest was initiated in 2005 and since then it has passed through three distinct phases. The first phase began in 2005 with the "food-gatherers"-scenario, where a pre-specified multi-agent system had to be implemented. These MASs were later examined in order to determine the winner. From 2006 - 2007 we ran the "goldminers"-scenario. This time we provided the environment by means of an online-architecture, and automatically determined the winner. Then from 2008 - 2010 we ran the "cows and cowboys"-scenario. Again on the same online-architecture, but this time with a slightly changed objective. 3. THE FOURTH PHASE: "AGENTS ON MARS" We begin the fourth phase with the definition of a new scenario: "Agents on Mars". The goal is to implement a team of cooperating agents with different roles in order to occupy zones on planet Mars. 4. DISCUSSION INVITATION For the MAPC 2011, we intend to enforce and promote even more the decentralization of the agents' team. We are proposing that not only the scenario should be changed, but also some features the platform. The contest for 2011 will thus bring out more significant changes and we think it would be fruitful for both participants and organizers to have a deep discussion about the details of the simulation. The description of the new "Agents on Mars"-scenario is available at http://multiagentcontest.org/downloads?func=startdown&id=500 You can find a implementation-prototype at http://multiagentcontest.org/agentContestProto2011-JNLP.html We would like to invite potential participants to evaluate this new proposal, join the MAPC 2011 list, post comments there, and help us to setup a suitable environment to achieve the goals of the contest. To join the discussion, please subscribe to this mailing-list. To subscribe, send an e-mail to agentcontest2011-subscribe [at] in.tu-clausthal.de with the subject "subscribe". The confirmation request and welcome message will be sent to you shortly afterwards. Pleasefollow the instructions in the automatic mailing list replies. 5. ROUGH TIMELINE Now: commencing the scenario-discussion. January 2011: release of the first software package. Until June 2011: shaping of the final software package as a community effort. June 2011: release of the final software package. September 2011: tournament. 6. PEOPLE Organizers: Tristan Behrens (Clausthal University of Technology) Jürgen Dix (Clausthal University of Technology) Jomi Hübner (Federal University of Santa Catarina) Michael Köster (Clausthal University of Technology) Federico Schlesinger (Clausthal University of Technology) Steering Committee: Mehdi Dastani (Utrecht University) Jürgen Dix (Clausthal University of Technology) Peter Novak (Czech Technical University) From Thomas.Lukasiewicz at comlab.ox.ac.uk Thu Dec 2 02:01:50 2010 From: Thomas.Lukasiewicz at comlab.ox.ac.uk (Thomas Lukasiewicz) Date: Thu, 02 Dec 2010 01:01:50 +0000 Subject: AAAI-11: Final Call for Tutorials Message-ID: <4CF6EFFE.6070509@comlab.ox.ac.uk> /Call for Proposals/ *AAAI-11 Tutorial Forum* Twenty-Fifth AAAI Conference on Artificial Intelligence August 7-11, 2011 * San Francisco, California, USA http://www.aaai.org/Conferences/AAAI/2011/aaai11tutorialcall.pdf /Sponsored by the Association for the Advancement of Artificial Intelligence/ The AAAI-11 Program Committee invites proposals for the Tutorial Forum of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11). The Tutorial Forum will be held August 7-8, 2011 in San Francisco. Anyone interested in presenting a tutorial at AAAI-11 should submit a proposal to the 2011 Tutorial Forum Cochairs (listed below) via EasyChair. * * *What Is the Tutorial Forum?* The Tutorial Forum provides an opportunity for junior and senior researchers to spend two days each year freely exploring exciting advances in disciplines outside their normal focus. We believe this type of forum is essential for the cross fertilization, cohesiveness, and vitality of the AI field. We all have a lot to learn from each other; the Tutorial Forum promotes the continuing education of each member of the AAAI. To encourage full participation by technical conference registrants, no separate fee will be charged for admittance to the Tutorial Forum in 2011. * * *Topics* AAAI is interested in proposals for advanced tutorials at the leading edge of AI. We are particularly interested in tutorials that offer two types of knowledge. The first type provides in-depth background tools to help educate researchers and students for the purpose of conducting AI research; examples of this type of tutorials from AAAI-10 include "Sampling Techniques for Probabilistic and Deterministic Graphical Models," "Voting Theory," and "Reinforcement Learning Algorithms for MDPs." A second type of tutorial provides a broad overview for an AI area that potentially crosses boundaries with an interesting application area; examples of this type of tutorial from AAAI-10 include "Exploiting Statistical and Relational Information on the Web and in Social Media: Applications, Techniques, and New Frontiers," "Towards Intelligent Web Search: Inferring Searcher Intent," and "Machine Learning Meets Knowledge Representation in the Semantic Web." Our goal is to present a diverse program that includes core areas of AI, new techniques from allied disciplines that can inform research within AI, and conversely emerging applications of AI techniques to new areas. Previous years' tutorial programs provide an indication of the scope and variety of possible topics. The list is not exclusive; indeed, we are expressly interested in topics that we would not have imagined to mention. Finally, note that we very much welcome proposals for educational approaches that go beyond the traditional format of four-hour tutorials, exploiting the flexibility that the open format program offers. * * *Submission Requirements* We need two kinds of information in the proposals: information that will be used for selecting proposals and information that will appear in the tutorial description brochure. The proposal should provide sufficient information to evaluate the quality of the technical content being taught, the quality of the educational material being used, and the speakers' skill at presenting this material. Each proposal should include at least the following: /Goal of the tutorial:/ Who is the target audience? What will the audience walk away with? What makes the topic innovative? /History:/ List of previous venues and approximate audience sizes, if the same or a similar tutorial has been given elsewhere; otherwise an estimate of the audience size. /Content:/ Detailed outline and list of additional materials, augmented with samples, such as past tutorial slides and survey articles, whenever possible. Be as complete as possible. /Tutorial description:/ A short paragraph summarizing the tutorial outline, and the intended duration of the symposium (default is four hours). /Prerequisite knowledge:/ What knowledge is assumed of the target audience. Please also submit the following information about the team of presenters: name, mailing address, phone number, email address; background in the tutorial area, including a list of publications and/or presentations; any available examples of work in the area (ideally, a published tutorial-level article or presentation materials on the subject); evidence of teaching experience (courses taught or references); and evidence of scholarship in AI or computer science. *Submission Deadline* Proposals must be received by December 3, 2010. Decisions about the tutorial program will be made by January 14, 2011. Speakers should be prepared to submit their tutorial descriptions and bios by January 28, 2011, and to post completed course materials on their websites by July 1, 2011. Submissions must be in pdf format and made via EasyChair at http://www.easychair.org/conferences/?conf=aaai2011tutorialforum. *Tutorial Cochairs* Thomas Lukasiewicz Oxford University Computing Laboratory Wolfson Building, Parks Road Oxford OX1 3QD, UK 0044-1865-522566 0044-1865-273839 (fax) Thomas.Lukasiewicz at comlab.ox.ac.uk Patrick Pantel Microsoft Research One Microsoft Way Redmond, WA 98052 ppantel at microsoft.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wims11 at vestforsk.no Wed Dec 1 08:50:02 2010 From: wims11 at vestforsk.no (WIMS'11) Date: Wed, 1 Dec 2010 08:50:02 +0100 Subject: Call for Breaking News Abstracts, Workshop/Tutorial Proposals: WIMS'11 In-Reply-To: References: Message-ID: [Apologies if you receive this more than once. Kindly disseminate the WIMS'11 call in any lists you subscribe, and among your colleagues and students.] International Conference on Web Intelligence, Mining and Semantics (WIMS'11) Sogndal, Norway (May 25-27, 2011) http://wims.vestforsk.no The WIMS'11 call for papers got a tremendous response. Thanks for your support. Now, the conference program committee would like to invite proposals and/or abstracts for the following 3 new calls. *Call for Breaking News - Abstracts * The WIMS'11 program will feature several invited talks, peer-reviewed contributed talks, tutorials , workshops and posters. However, in addition, as an innovation for WIMS’11, some time at the conference will be set aside for late "breaking news" posters submitted on the basis of a two-page abstract. These posters may report on - ongoing or unpublished projects - projects already completed elsewhere - partially developed ideas - negative results etc. and are meant as informal forum to encourage discussion. Abstracts should summarize and highlight why the projects will be of interest to the WIMS community. Submitted two-page abstracts will be peer reviewed and presentation of these at the Conference will lead to publication in the WIMS’11 Proceedings. Abstracts on all aspects of Web Intelligence, Mining and Semantics are strongly encouraged, including but not limited to: - Semantics-driven Information Retrieval - Semantic Agent Systems - Semantic Data Search - Interaction Paradigms for Semantic Search - Evaluation of Semantic Search - User Interfaces - Knowledge Representation and Reasoning - Web Mining - Ontology Mining and Knowledge Discovery in Knowledge Bases - Ubiquitous Computing - Semantic Deep Web and Intelligent e-Technology - Representation Techniques for Web-based knowledge - Quality of Life Technology for Web Document Access - Rule markup languages and systems - Machine Learning & Knowledge Discovery - Semantic 3D media and content - Optimization-based Data Mining and Web Intelligence - Web Personalization and Recommender Systems - Social Search and Web Logs Analysis - Opinion Mining for Business Intelligence - Natural Language Processing and Web Intelligence - Intelligent Web Interaction - Service-Oriented Intelligence - Collaborative Agents - Human-Oriented Knowledge - Scalability vs. expressivity of reasoning on the Web * Award *The best breaking news poster from all submissions will be determined by the PC and a Best 'Breaking News' Award will be presented at the conference. *How to submit* The length of breaking news abstract is 2 pages in ACM format. Please note that the submission format is MS Word or PDF. The two-page abstracts must be written in English and formatted according to the ACM guidelines. Author instructions and style files can be downloaded at http://www.acm.org/sigs/publications/proceedings-templates Authors of accepted abstracts are expected to attend the conference and present their work. Selected extended abstracts will be invited to appear in a special issues of reputed journals in the field. Submissions will be considered if they are received by 23:59, *March 1st 2011*, Universal Time (Greenwich Mean Time). * * *Breaking news abstracts must be sent to* Chair, Program Committee (E-mail: wims11 at vestforsk.no) *Call for Workshop Proposals * The WIMS'11 international program committee invites proposals for workshops. The accepted workshops from this call will be included in the WIMS'11 main program. Workshop proposals must provide a forum for discussion in areas of special interest within the broader sense of *web intelligence, web mining** *and *web semantics*. The scope of the workshops is also to acknowledge the impact of web intelligence, mining and semantics and their wider applications in the information society. The organisers of successful workshops will be responsible for their own reviewing process, website, and to co-ordinate the collection and delivery of camera ready material and ACM copyright transfer. Accepted papers in workshops will be published in the WIMS'11 proceedings and disseminated through the ACM Digital Library. Selected extended papers will be invited to appear in a special issues of reputed *journals** *in the field. Proposals should be not more than 4 pages in length, should be in text or PDF format. It should contain the following information: - A title of the workshop - Name, affiliation, postal address and email of contact person - Names and affiliations of organisers - A 150 word abstract - Aims and scope - Important dates - Description of the proposed workshop - Duration of the workshop (half day, full day etc.) * * Submissions will be considered if they are received by 23:59, *December 15th 2010*, Universal Time (Greenwich Mean Time). * * *Please send your enquiries and workshop proposals directly to *The Chair, Program Committee (wims11 at vestforsk.no) *Call for Tutorial Proposals* WIMS'11 also welcomes Tutorial and/or Demonstration proposals. WIMS'11 will include tutorials and/or demonstrations (on new applications) providing in-depth background on subjects that are of broad interest to the Web mining and Web semantics community. This track aims to foster interaction and collaboration among participating practitioners and academics, and to provide developers with a place to showcase new practical implementations of state-of-the-art systems in the areas of interest to the Web Intelligence and Semantics community. The tutorials will be part of the main conference technical program. Proposal papers must be no less than 3 pages and no more than 12 pages, and must provide a sense of both the scope of the tutorial and depth within the scope. First page of the proposals should include contact information (name, email, address, telephone number, and FAX number) and a brief bio of the presenters. If the proposed tutorial has been given previously, the proposal should include where the tutorial has been given and how it will be modified for WIMS'11. The intended length of the tutorial (1 or 2 or 3 hours) should also be indicated, together with justification that a high-quality presentation will be achieved within the chosen time period and the indication of the main learning outcomes. Demonstrations will be an opportunity for showcasing innovative Semantic Web related implementations and technologies. Submitted tutorial/demonstration papers will be reviewed prior to publication, and may be rejected for publication, if either the technical quality of the paper is insufficient or the content of the paper does not match the content of the tutorial. Tutorial/Demonstration papers will be published in the conference proceedings as part of the ACM International Proceedings Series and will be disseminated through the ACM Digital Library. Please note that the submission format is MS Word or PDF. The proposal must be written in English and formatted according to the ACM guidelines. Author instructions and style files can be downloaded at http://www.acm.org/sigs/publications/proceedings-templates * * Submissions will be considered if they are received by 23:59, *December 15th 2010*, Universal Time (Greenwich Mean Time). * * *Tutorial proposals must be sent to* Robert Engels (E-mail: robert.engels at esis.no) ____________________________________ *Contact*: Vestlandsforsking, PO Box 163, NO-6851 SOGNDAL, NORWAY Phone: +47 916 85 607 Fax: +47 947 63 727 E-mail: wims11 at vestforsk.no More tweets from @wims2011 Please visit the official conference website for further information: http://wims.vestforsk.no/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From admin at cyberjournals.com Thu Dec 2 17:11:46 2010 From: admin at cyberjournals.com (admin at cyberjournals.com) Date: Thu, 02 Dec 2010 09:11:46 -0700 Subject: Cyber Journals Call For Paper - Submission Deadline: December 10th] Message-ID: <20101202091146.d1c5e7308455e5f882b16c30ca598fcb.be748e0ad6.wbe@email12.secureserver.net> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Thomas.Agotnes at infomedia.uib.no Thu Dec 2 19:37:14 2010 From: Thomas.Agotnes at infomedia.uib.no (=?ISO-8859-1?Q?Thomas_=C5gotnes?=) Date: Thu, 2 Dec 2010 19:37:14 +0100 Subject: Call for contributions: Formal models of awareness (book) Message-ID: CALL FOR CONTRIBUTIONS Volume on FORMAL MODELS OF AWARENESS and limited reasoning (tentative title), Springer's Synthese Library Models of the concept of awareness (and unawareness) has been of recent interest in several different fields, including computer science, economics, and philosophy. An edited volume on state-of-the-art research on this emerging interdisciplinary topic is planned, to be published as a part of the the Synthese Library (Springer). We invite researchers in all fields to submit contributions. Submissions will be peer-reviewed. The selection will aim to strike a balance between contributions from different fields. Submission deadline: 31 January 2011 Submission format and page limit: up to 30 pages in Springer Latex style. Submit by e-mail to thomas.agotnes at infomedia.uib.no. The volume will be edited by Thomas Agotnes, Natasha Alechina, Brian Logan and Giacomo Sillari. ---------------------------------------------------------------------- Thomas Ågotnes Department of Information Science and Media Studies University of Bergen P.O. Box 7802, N-5020 Bergen, Norway Tel: (+47) 55584105 Fax: (+47) 55589149 Thomas.Agotnes at infomedia.uib.no http://folk.uib.no/nmita/ From pnse11 at informatik.uni-hamburg.de Fri Dec 3 16:57:47 2010 From: pnse11 at informatik.uni-hamburg.de (PNSE 11) Date: Fri, 03 Dec 2010 16:57:47 +0100 Subject: CfP: Petri Nets and Software Engineering (PNSE'11) Message-ID: <1291391867.1766.21.camel@tgipc11> Call for Papers __________________________________________________________________ PNSE'11 International Workshop on Petri Nets and Software Engineering Kanazawa, Japan, June 20-21, 2011 a satellite event of Petri Nets 2011 32nd INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY Website: http://www.informatik.uni-hamburg.de/TGI/events/pnse11/ Contact e-mail: pnse11 at informatik.uni-hamburg.de __________________________________________________________________ Important Dates: Deadline for full papers: March 20th, 2011 Deadline for short papers: March 20th, 2011 Notification of paper acceptance: May 1st, 2011 Deadline for posters: May 10th, 2011 Notification of poster acceptance: May 16th, 2011 Deadline for final revisions: May 20th, 2011 Workshop: Monday/Tuesday, June 20/21, 2011 __________________________________________________________________ Scope For the successful realisation of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of crucial importance. Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modelling, validation, and verification. Their popularity is due to the fact that Petri nets capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability. The workshop PNSE'11 (Petri nets and Software Engineering) will take place as a satellite event of Petri Nets 2011. The use of Petri nets (P/T-nets, coloured Petri nets and extensions) in the formal process of software engineering, covering modelling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above. __________________________________________________________________ Topics We welcome contributions describing original research in topics related to Petri nets in combination with software engineering, addressing open problems or presenting new ideas regarding the relation of Petri nets and software engineering. Furthermore we look for surveys addressing open problems and new applications of Petri nets. Topics of interest include but are not limited to: * Modelling + representation of formal models by intuitive modelling concepts + guidelines for the construction of system models + representative examples + process-, service-, state-, event-, object- and agent-oriented approaches + adaption, integration, and enhancement of concepts from other disciplines + views and abstractions of systems + model-driven architecture + modelling software landscapes + web service-based software development * Validation and Execution + prototyping + simulation, observation, animation + code generation and execution + testing and debugging + efficient implementation * Verification + structural methods (e.g. place invariants, reduction rules) + results for structural subclasses of nets + relations between structure and behaviour + state space based approaches + efficient model checking + assertional and deductive methods (e.g. temporal logics) + process algebraic methods + applications of category theory and linear logic * Application of Petri nets in Software Engineering, in particular the use of Petri nets in the domains of + flexible manufacturing, + logistics, + telecommunication, + workflow management and + embedded systems. * Tools in the fields mentioned above __________________________________________________________________ Submissions The programme committee invites submissions of full contributions (up to 15 pages) or short contributions (up to 5 pages). Ongoing work (up to 2 pages) can also be presented in a special poster session. Please note that for full contributions up to 15 pages are recommended. Papers should be submitted in electronic form (PDF) using the Springer LNCS-format (see http://www.springer.de/comp/lncs/authors.html). Submissions should include title, authors' addresses, E-mail addresses, keywords and an abstract. For your submission in PDF format please use the online conference management system at http://www.easychair.org/conferences/?conf=pnse11 Just create a new account and then upload your paper. (Later you will be able to see your reviews there.) The papers will be peer reviewed by at least four members of the PC. Accepted contributions will be included in the workshop proceedings, which will be available at the workshop and on this website. __________________________________________________________________ Some of the best papers from the workshop will be invited for publication in a volume of the journal sub line of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and they will go through a totally new round of reviewing as is standard practice for journal papers. Papers from previous instances of this workshop (PNSE'07, PNDS'08, PNSE'09 and PNSE'10) made it into ToPNoC volumes in the Springer LNCS series (volumes 5100, 5460 and 5800). __________________________________________________________________ Chairs * Michael Duvigneau (University of Hamburg, Germany) * Kunihiko Hiraishi (Japan Advanced Institute of Science and Technology, Japan) * Daniel Moldt (University of Hamburg, Germany) __________________________________________________________________ http://www.informatik.uni-hamburg.de/TGI/events/pnse11/ mailto:pnse11 at informatik.uni-hamburg.de From wmaccaul at stfx.ca Fri Dec 3 19:46:55 2010 From: wmaccaul at stfx.ca (Wendy MacCaull) Date: Fri, 3 Dec 2010 14:46:55 -0400 Subject: PostDoc Opportunity -- Verification of Time Sensitive Safety Critical Systems Message-ID: Post-doc opportunity: Verification of Time Sensitive Safety Critical Systems using High Performance Computing This is a two-year post doctoral position offering the successful candidate the opportunity to be at the forefront in developing technology for safety critical systems targeting health services delivery. The motivational problems involve modeling and verifying workflow systems using innovative workflow management frameworks. Case studies will involve very large workflows for community-based health care programs. The candidate will have the opportunity to: . work with researchers and graduate students in a large interdisciplinary R&D project led by Dr. Wendy MacCaull, at StFX University in Antigonish, Nova Scotia, (see www.logic.stfx.ca); . collaborate with our industry partners; . work closely with a variety of health care professionals; . collaborate and network with the Canadian Consortium in High Performance Computing, and researchers at universities across Canada; . reside in a small town with an affordable lifestyle, close to beaches and scenic landscapes, with a thriving Academic and Arts community, in close proximity (2 hours) to a major metropolitan city. This position is partially supported by the ACEnet (Atlantic Computational Excellence Network see www.ace-net.ca) Research Fellowships Program and by ACOA through the Atlantic Innovation Fund. Qualifications: - PhD in Computer Science and a strong background in formal methods or related area; knowledge and expertise in parallel and distributed computing is an asset; - Commitment to work on applied problems; - Ability to present information in English clearly, both in verbal and written formats; - Enjoys working in a collaborative environment. Salary: $43,000 per year (plus a funding allowance for conference presentations). Second year funding is contingent on satisfactory performance during the first year. To apply: Send (1) a 1 page cover letter briefly describing how your education and experience fit the requirements of this position; (2) a detailed CV with descriptions of previous research projects and applied experience; (3) names and contact information for 3 references (names, addresses, e-mail addresses and phone numbers); (4) copies of recent publications, to Wendy MacCaull at wmaccaul at stfx.ca. Use the subject: Verification Methods for Time Sensitive Safety Critical Systems using HPC - Rnd 3. Review of the applications will begin immediately; the researcher must be in place by mid-March 2011.   Wendy MacCaull, PhD, Professor, Mathematics, Statistics & Computer Science, Director, StFX Centre of Logic and Information, St. Francis Xavier University, Antigonish, NS, Canada, B2G 2W5 Tel: 902 867 3989 FAX: 902 867 1397     Information is this e-mail is confidential and meant only for the addressee.  Please do not circulate it without prior permission. -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : Nov.30.doc Dateityp : application/msword Dateigröße : 30208 bytes Beschreibung: Nov.30.doc URL : From wchen at i-a-i.com Fri Dec 3 23:12:31 2010 From: wchen at i-a-i.com (Wei Chen) Date: Fri, 3 Dec 2010 17:12:31 -0500 Subject: CFP: 2nd International Workshop on Multi-Agent Systems and Collaborative Technologies (I-MASC'11) Message-ID: <000b01cb9337$2e6868f0$8b393ad0$@com> The Second International Workshop on Multi-Agent Systems and Collaborative Technologies (I-MASC 2011) http://cts2011.cisedu.info/2-conference/workshops/workshop-04--imasc CALL FOR PAPERS As part of The 2011 International Conference on Collaboration Technologies and Systems (CTS 2011) http://cts2011.cisedu.info/ May 23 - 27, 2011 The Sheraton University City Hotel Philadelphia, Pennsylvania, USA *** Submission Deadline: January 3, 2011 ================================== INVITED SPEAKER Robert Kohout, Ph.D., DARPA/I2O Program Manager ================================== SCOPE AND OBJECTIVES Multi-Agent Systems (MAS) has grown into an interdisciplinary field that includes various tracks and embraces many previously distinctive research areas. Particularly, multi-agent coordination, a sub-area of MAS, investigates how multiple intelligent computational agents work together to achieve high-level goals beyond the capabilities of single agents. Many different approaches have been investigated, such as the partially observable Markov decision process (POMDP), task structure analysis, coordination communication protocols, etc. Collaborative Technologies and Systems (CTS) have evolved significantly as well. These tend to investigate the design and development of effective environments or tools that help human users work together in a distributed collaborative, possibly virtual, fashion. Some notable examples of CTS include Collaboratories, collaborative design/editing, and on-line collaboration tools and environments. CTS is beginning to look at the challenges of supporting coordinated, purposive activities. MAS is still facing challenges of scaling to large numbers of entities and real-world tasks (see, for example, Hendler's question of, "where are all the intelligent agents?"). This workshop will explore potential synergy between CTS and MAS/coordination because they share a common ground: how multiple entities - intelligent agents or humans alike - work together to carry out potentially related tasks. We will ask questions of whether and how design and development of collaborative systems, promoting coordinated human activity, could be enhanced by incorporating insights from MAS. Collaborative technologies embody practical considerations from the human users' points of view, allowing users to ignore how the underlying (agent) infrastructure is implemented. Meanwhile, MAS/coordination investigates intelligent agents' underlying algorithms and mechanisms and, in some cases, how artificial agents can interact with people as peers. Conversely, intelligent agents will not see significant acceptance, nor will they be able to manage the complexity and knowledge-intensity of meaningful practical applications, without developing some understanding of how to make effective use of human contributions throughout the specification, execution, evaluation, and refinement stages of the software lifecycle. This workshop solicits papers that discuss synergies between MAS and CTS, possible advantages/disadvantages of hybrids between them for designing and developing modern distributed collaborative software systems, and research and/or real-world experience and/or applications and/or lessons learned that involve both CTS and MAS. That is, any paper that addresses both CTS and MAS, preferably in one or a set of applications that share similar underlying research challenges, is of interest to this workshop. An example could be: the design and development of a collaborative environment (say, a distributed planning tool) that enables multiple heterogeneous, human experts and agents to work in combination across computer networks on courses of actions in response to cyber attacks. Another example might be systems or interfaces supporting the division of labor between CTS and MAS elements during execution. The Workshop topics include (but are not limited to) the following: * MAS: Coordination of and by Computational Agents - Agent Communication, Languages and Protocols - Agent Models and Architectures - Multi-Agent Coordination and Cooperation - Human-Agent Interaction - Multi-User/Multi-Agent Interaction - Teamwork, Coalition Formation, Coordination - Peer to Peer Coordination - Modeling the Dynamics of MAS - Agent-based System Development - Collective Decision Making - Bargaining and Negotiation - Auction and Mechanism Design - Cooperative and Non-Cooperative Agents - Complex MAS - Virtual Agents Applications - Conversational Agents - Distributed Task Planning and Execution - Cooperation with Humans and Robots - Collective Intelligence - Agent Reasoning - Mining Agents - Security Agents * CTS: Agent Technologies and Systems Supporting Collaboration Among Humans - Architectures and Design of Collaborative Systems - Frameworks and Methodologies for Collaboration - Cognitive and Psychological Issues in Collaboration - Collaborative Human-Centered Systems - Cultural Aspects & Human Factors in Collaboration - Interfaces for Collaborative Work - Social Software Based Collaboration - Visualization of Collaborative Processes - Web Infrastructure for Collaborative Applications - Information Infrastructure for Collaboration - Management of Metadata for Collaboration - Mobile and Wireless Collaboration Systems - Modeling and Simulation of Collaboration - Platforms for Collaboration - Collaboration in Domain Applications * Important: a submitted paper must have keywords from BOTH lists of MAS and CTS! Synergies of CTS and MAS topics are of interest with respect to any phase of a human or software systems lifecycle: specification, implementation, testing, evaluation, and deployment. PAPER SUBMISSION You are invited to submit original and unpublished research works on the above and other topics related to Collaborative Technologies and Multi-Agent Systems. Submitted papers must not have been published or simultaneously submitted elsewhere. Submission should include a cover page with authors' names, affiliation addresses, fax numbers, phone numbers, and email addresses. Please, indicate clearly the corresponding author and include up to 6 keywords from the above list of topics and an abstract of no more than 450 words. The full manuscript should be at most 8 pages (the cover page does NOT count towards this page limit) using the two-column IEEE format. Additional pages will be charged additional fee. Please include page numbers on all preliminary submissions to make it easier for reviewers to provide helpful comments. Submit a PDF copy of your full manuscript to the Workshop paper submission site at http://www.easychair.org/conferences/?conf=imasc2011. Notably, (1) only PDF files will be accepted; (2) papers should have the following name format for easy identification: 'Surname_Initial_1.PDF', where the Surname is that of the first author; and (3) follow the Easy Chair website instructions to login into the system (or create your account if necessary) and upload your paper accordingly. Each paper will receive a minimum of three reviews. Papers will be selected based on their originality, relevance, technical clarity and presentation. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. Authors of accepted papers must guarantee that their papers will be registered and presented at the workshop. Accepted papers will be published in the Conference proceedings. Instructions for final manuscript format and requirements will be posted on the CTS 2011 Conference web site. It is our intent to have the proceedings formally published in hard and soft copies and be available at the time of the conference. The proceedings is projected to be included in the IEEE Digital Library and indexed accordingly. If you have any questions about paper submission or the workshop, please contact the workshop organizer. IMPORTANT DATES Paper Submissions: ------------------------------------------- January 3, 2011 Acceptance Notification: ------------------------------------- February 1, 2011 Camera Ready Papers and Registration Due: -------------------- March 1, 2011 Conference Dates: ------------------------------------------- May 23 - 27, 2011 WORKSHOP ORGANIZER(S) Dr. Wei Chen (Chair) Intelligent Automation, Inc. 15400 Calhoun Drive, Suite 400, Rockville, MD 20855, USA +1-301-294-5278, wchen at i-a-i.com Dr. Edmund Durfee Computer Science and Engineering, University of Michigan, 2260 Hayward Street, Ann Arbor MI 48109-2121, USA (734) 936-1563, durfee at umich.edu Dr. Robert Neches Information Sciences Institute, University of Southern California 4676 Admiralty Way, Marina del Rey, CA 90292, USA +1-310-448-8481, RNeches at isi.edu International Program Committee (Partial): All submitted papers will be reviewed by the workshop technical program committee members following similar criteria used in CTS 2011. * Myriam Abramson Naval Research Laboratory, USA * Giacomo Cabri University of Modena e Reggio Emilia, Italy * Kevin Cousin Air Force Institute of Technology, USA * Tim Finin University of Maryland, Baltimore County, USA * Zhi Jin Peking University, China * William McQuay Air Force Research Laboratory, USA * Elena Simperl University of Innsbruck, Austria * Brian Slack Boeing, USA * Waleed Smari University of Dayton, USA * Munindar Singh North Carolina State University, USA * Pedro Szekely University of Southern California, USA * John Yen Pennsylvania State University, USA * Chengqi Zhang University of Technology - Sydney, Australia * Laura Zavala University of Maryland, Baltimore County, USA * Haibin Zhu Nipissing University, Canada Previous I-MASC Workshop: 1st I-MASC'10 at CTS10, Chicago, Illinois, USA If you have questions regarding workshop paper submission or the workshop content, please contact the workshop organizers. For information or questions about Conference's paper submission, tutorials, posters, workshops, special sessions, exhibits, demos, panels and forums organization, doctoral colloquium, and any other information about the conference location, registration, paper formatting, etc., please consult the Conference's web site at URL: http://cts2011.cisedu.info/ or contact one of the Conference's organizers or Co-Chairs: Geoffrey C. Fox at gcf at indiana.edu and Waleed W. Smari at Smari at arys.org. __________________________________________________________________________ This message and all attachments are PRIVATE, and contain information that is PROPRIETARY to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose this message or any attachments to any third party whatsoever without the express written consent of Intelligent Automation, Inc. If you received this message in error or you are not willing to view this message or any attachments on a confidential basis, please immediately delete this email and any attachments and notify Intelligent Automation, Inc. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cfpdamp2011 at gmail.com Sun Dec 5 09:20:13 2010 From: cfpdamp2011 at gmail.com (DAMP 2011) Date: Sun, 5 Dec 2010 09:20:13 +0100 Subject: DAMP 2011 - Call for Participation Message-ID: ********************************************************************** CALL FOR PARTICIPATION DAMP 2011 Declarative Aspects of Multicore Programming 23 January 2011 Austin, TX, USA To be held in conjunction with POPL 2011 http://damp2011.cs.uchicago.edu/ ********************************************************************** IMPORTANT DATES Hotel reservation deadline: December 21, 2010 Early registration deadline: December 31, 2010 VENUE DAMP'11 and all POPL'11 affiliated events will take place at the Omni Austin Hotel in downtown Austin, TX. REGISTRATION To register for DAMP'11, follow the link from the POPL 2011 page, at https://regmaster3.com/2011conf/POPL11/register.php SCOPE DAMP 2011 is the sixth in a series of one-day workshops seeking to explore ideas in declarative programming language design that will greatly simplify programming for multicore architectures, and more generally for tightly coupled parallel architectures. The emphasis will be on (constraint-)logic and functional programming, but any declarative programming language ideas that aim to raise the level of abstraction are welcome. DAMP seeks to gather together researchers in declarative approaches to parallel programming and to foster cross fertilization across different approaches. WORKSHOP PROGRAM Welcome: 9:20-9:30 Session 1: Invited Talk (9:30 - 10:30) Domain Specific Compilation in the NVIDIA OptiX Ray Tracing Engine Austin Robison (NVIDIA) Break (10:30-11:00) Session 2: GPUs (11:00-12:30) Accelerating Haskell Array Codes with Multicore GPUs Manuel Chakravarty, Gabriele Keller, Sean Lee, Trevor McDonell and Vinod Grover Breaking the GPU Programming Barrier with the Auto-Parallelising SAC Compiler Jing Guo, Jeyarajan Thiyagalingam and Sven-Bodo Scholz Optimizing an Applicative Array Language for Graphics Processors Bradford Larsen Lunch (12:30-14:00) Session 3: Programming models (14:00-15:30) Computing with Streams Joaquin Aguado and Michael Mendler Parallel Computing with the Pi-calculus Frederic Peschanski Concurrent Programming Constructs in Multi-engine Prolog Paul Tarau Break (15:30-16:00) Session 4: Invited talk (16:00-17:00) Declarative Coordination in a Multicore Environment: The Tyranny of Streams Alex Shafarenko (University of Hertfordshire) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From henry at cs.uu.nl Mon Dec 6 16:08:21 2010 From: henry at cs.uu.nl (Henry Prakken) Date: Mon, 06 Dec 2010 16:08:21 +0100 Subject: Contribution to Event@CIG list Message-ID: <4CFCFC65.3090604@cs.uu.nl> Dear moderator, Please find below a call for papers of a special issue for journal 'argument and Computation'. Your moderation policy is not explicit about whether such calls are allowed. If not, then my apologies. Regards, Henry Prakken ---------------------- 2nd Call for Papers: Special Issue in Memory of John L. Pollock Argument and Computation (http://www.tandf.co.uk/journals/titles/19462166.asp) In September 2009, the “Argument & Computation” community lost one of its great pioneers, with the passing away of John L. Pollock, professor of philosophy and cognitive science at the University of Arizona. Pollock was among the dominant figures in epistemology, and made foundational contributions to the use of argumentation in artificial intelligence and cognitive architectures. He developed OSCAR, one of the most important implementations of defeasible reasoning in autonomous agents. This special issue of “Argument & Computation” is dedicated to the memory of John L. Pollock and aims to acknowledge his contributions to the field. We solicit original research papers on topics including, but not limited to: * Argumentation and cognitive architectures * Formal semantics for argumentation * Argumentation and defeasible reasoning * Argumentation and nonmonotonic logics * Argumentation and Decision Theory The issue will favour papers inspired, in one way or another, by Pollock’s important work in the area. We are also interested in surveys of Pollock’s work. Important Dates: * Submissions due for review: 15 Jan 2011 * Notification of 1st decision: 1 April 2011 * Revisions due: 15 May 2011 * Notification of acceptance: 15 June 2011 * Final version submitted: 15 July 2011 * Issue publication: 2011 or early 2012 Submission Guidelines: Submissions should follow the journal’s style and presentation guidelines (see http://www.tandf.co.uk/journals/tarc). Manuscript submission must be made online via the journal’s Manuscript Central site, at http://mc.manuscriptcentral.com/tarc For inquiries, contact the guest editors: * Henry Prakken (henry at cs.uu.nl) * John Horty (horty at umiacs.umd.edu) From mkr at ii.pw.edu.pl Tue Dec 7 16:17:50 2010 From: mkr at ii.pw.edu.pl (Marzena Kryszkiewicz) Date: Tue, 7 Dec 2010 16:17:50 +0100 Subject: ISMIS'11 CfP In-Reply-To: <006501cb955d$ecd12de0$c67389a0$@pw.edu.pl> References: <2B0C69438EADA348AB1B89DBD59612D3020E7A07@EXEVS01.its.uncc.edu> <00af01cb8a6b$02ca0980$085e1c80$@pw.edu.pl> <00bb01cb8a6c$c618db90$524a92b0$@pw.edu.pl> <006501cb955d$ecd12de0$c67389a0$@pw.edu.pl> Message-ID: <00a101cb9622$44488950$ccd99bf0$@pw.edu.pl> Dear Colleague, Please distribute this short announcement about ISMIS'11 Symposium to your colleagues and friends and encourage them to submit their work. Also, we hope that you will submit your own paper. Thank you, Marzena Kryszkiewicz, Henryk Rybinski, Andrzej Skowron, & Zbyszek Ras >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> ISMIS'11 - Call for Papers: We invite you to submit a paper to ISMIS'11 Symposium in Warsaw, Poland, June 28-30, 2011. Below is a short announcement. The full CfP is on ISMIS'11 web site: http://ismis2011.ii.pw.edu.pl The goal of ISMIS Symposium is to provide a platform for a useful exchange between theoreticians and practitioners, and to foster the cross-fertilization of ideas in the following areas: Active Media Human-Computer Interaction, Autonomic and Evolutionary Computation, Digital Libraries, Intelligent Agent Technology, Intelligent Information Retrieval, Intelligent Information Systems, Intelligent Language Processing, Knowledge Representation and Integration, Knowledge Discovery and Data Mining, Knowledge Visualization, Logic for Artificial Intelligence, Music Information Retrieval, Soft Computing, Text Mining, Web Intelligence, Web Mining, and Web Services. In addition, we solicit papers dealing with Applications of Intelligent Systems in complex/novel domains, e.g. human genome, global change, manufacturing, health care, etc. The ISMIS'11 proceedings will be published by Springer-Verlag in LNAI (Lecture Notes in Artificial Intelligence). Paper submission deadline: February 7, 2011 Notification of the review results: March 21, 2011 Final Paper due: April 4, 2011 ISMIS'11 Invited Presentations: Jaime Carbonell (CMU) "Proactive Machine Learning, methods and applications" Andrzej Czyżewski (Gdańsk Univ. of Technology, Poland) "Intelligent multimedia solutions supporting special education needs" Donato Malerba (Univ. Bari, Italy) "Spatial and spatio-temporal data mining" Luc De Raedt (Katholieke Univ. Leuven, Belgium) (Title will be announced later) >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From r.bordini at acm.org Tue Dec 7 20:55:38 2010 From: r.bordini at acm.org (Rafael H Bordini) Date: Tue, 07 Dec 2010 17:55:38 -0200 Subject: CFP: ProMAS 2011 to be held with AAMAS2011 Message-ID: <4CFE913A.8010700@acm.org> (apologies if you receive multiple copies) --------------- Call for Papers --------------- Ninth International Workshop on Programming Multi-Agent Systems (ProMAS'11) ProMAS'11 is a satellite workshop at AAMAS 2011 Taipei, Taiwan, 2-6 May 2011 The ProMAS workshop series has produced, throughout this decade, a number of solid contributions towards programming languages and development tools that are appropriate for the development of complex autonomous systems that operate in dynamic environments. With applications of autonomous software (e.g., UAVs, companion robots, ambient intelligence, and semantic applications, to name just a few) becoming required with wide commercial interest, it is imperative to support the ever more complex task of professional programmers of multi-agent systems. Importantly, such languages and tools must be developed in a principled but practical way. ProMAS aims to address both theoretical and practical issues related to developing and deploying multi-agent systems. Now in its 9th edition, ProMAS has been an invaluable venue 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. These include the theory and applications of agent programming languages, how to effectively implement a multi-agent system design or specification, the verification and analysis of agent systems, as well as the implementation of social structures in agent-based systems (e.g., organisations, coordination, and communication in multi-agent systems). 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. Topics of Interest ------------------ Specific topics of interest 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 - Programming of social and organisational aspects of MAS - Programming environment 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 Pervasive Applications - Programming MAS for Multi-Robot Systems - Programming MAS for Autonomous Software (e.g., UAVs) - 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 multi-agent and mainstream technologies Important Dates --------------- Paper submission deadline: 30th January 2011 Notifications of acceptance/rejection: 27th February 2011 Camera-ready copies due: 13th March 2011 Workshop Date: 2nd or 3rd May 2011 Submission Details ------------------ Authors should submit their papers via the easychair conference management system: Papers should be formatted using Springer LNCS style and have a maximum of 16 pages. Publication ----------- Accepted papers will be appear in informal proceedings to distributed among participants during the workshop. As was the case with previous editions of the ProMAS workshop, we are planning to publish extended versions of selected and invited papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. Programme Committee ------------------- TBA Organising Committee -------------------- - Olivier Boissier (Ecole des Mines de St Etienne, France) - Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil) - Louise Dennis (University of Liverpool, UK) Steering Committee ------------------ - Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil) - Mehdi Dastani (Utrecht University, Netherlands) - Juergen Dix (Clausthal University of Technology, Germany) - Amal El Fallah Seghrouchni (University of Paris VI, France) From gelevdp at mbox.contact.bg Wed Dec 8 06:03:37 2010 From: gelevdp at mbox.contact.bg (Dimitar P Guelev) Date: Wed, 8 Dec 2010 07:03:37 +0200 Subject: CiE 2011 at Sofia - call for papers Message-ID: Dear colleagues, Please circulate. Apologies for potential crosspostings. I am an OC member. Dimitar ********************************************************************** Intermediate Announcement COMPUTABILITY IN EUROPE 2011 Models of Computation in Context Sofia (Bulgaria), 27 June- 02 July http://cie2011.fmi.uni-sofia.bg Deadline for submissions: January 14, 2011 ********************************************************************** Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. CiE 2011 is the seventh conference in the series and emphasises the connections and context, within the traditional CiE respect for researchers' autonomy and diversity of approach. CiE in Sofia will bring context, multidisciplinary perspective and computability- theoretic focus to a wide spectrum of disciplines - including computer science, mathematics and logic, physics and quantum theory, biology and informatics, linguistics and philosophy, neuroscience and learning theory. CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. We particularly invite papers that build bridges between different parts of the research community. Since women are underrepresented in mathematics and computer science, we emphatically encourage submissions by female authors. The main events in this year conference are as follows: Tutorials: . Jack Lutz (Iowa State University) . Geoffrey Pullum (University of Edinburgh) Confirmed plenary speakers: . Scott Aaronson (MIT) . Christel Baier (University of Bonn) . Michiel van Lambalgen (University of Amsterdam) . Antonio Montalban (University of Chicago) . Alexandra Shlapentokh (East Carolina University) . Theodore Slaman (UC Berkley) . Alasdair Urquhart (University of Toronto) Special sessions: . Computability in Analysis, Algebra, and Geometry (Organizers: Alexandra Shlapentokh, Dieter Spreen) . Classical Computability Theory (Organizers: Doug Cenzer, Bjørn Kjos-Hanssen) . Natural Computing (Organizers: Erzsébet Csuhaj-Varjú, Ion Petre) . Relations between the physical world and formal models of computability (Organizers: Viv Kendon, Sonja Smets) . Theory of transfinite computations (Organizers: Peter Koepke, C.T. Chong) . Computational Linguistics (Organizers: Tejaswini Deoskar, Tinko Tinchev) SUBMISSIONS: The Programme Committee cordially invites all researchers in the area of the conference to submit their papers (in PDF-format, at most 10 pages) for presentation at CiE 2011 to http://www.easychair.org/conferences/?conf=cie2011. The best of the accepted papers will be published in the conference proceedings within the Lecture Notes in Computer Science (LNCS) series of Springer, which will be available at the conference. Other accepted contributed papers together with abstracts of informal presentations will appear in our local pre-conference proceedings volume. Authors of accepted papers are expected to present their work at the conference. Submitted papers must describe work not previously published, and they must neither be accepted nor under review at a journal or at another conference with refereed proceedings. All papers need to be prepared in LNCS-style LaTeX. Papers should not exceed 10 pages; full proofs may appear in a technical appendix which will be read at the reviewers' discretion. Submissions authored or co-authored by members of the Programme Committee are not allowed. IMPORTANT DATES: Deadline for submissions: January 14, 2011 Notification of authors: March 12, 2011 Final version: April 2, 2011 CiE 2011: June 27 - July 2, 2011 PROGRAMME COMMITTEE: Selim Akl, Albert Atserias, Anthony Beavers, Arnold Beckmann, Paola Bonizzoni, Anne Condon, Thierry Coquand, Anuj Dawar, Fernando Ferreira, Denis Hirschfeldt, Radha Jagadeesan, Neil Jones, Natasha Jonoska, Achim Jung, Viv Kendon, Julia Knight, Phokion Kolaitis, Benedikt Löwe, Elvira Mayordomo, Dag Normann (co-chair), Jan-Willem Romeijn, Marie-France Sagot, Dirk Schlimm, Anthony Seda, Nir Shavit, Ivan Soskov (co-chair), Alexandra Soskova, Sarah Teichmann, Peter van Emde Boas, Jan van Leeuwen, Klaus Wagner, Andreas Weiermann. LOCAL ORGANIZING COMMITTEE: Angel Dichev, Hristo Ganchev, Dimitar Guelev, Vladislav Nenchev, Stela Nikolova, Dimitar Shiyachki, Alexandra Soskova (Chair), Mariya Soskova, Stefan Vatev, Mitko Yanchev, Anton Zinoviev, Damir Dzhaferov, Doug Cenzer. Please e-mail your inquiries to cie2011 at fmi.uni-sofia.bg . From pascal.hitzler at wright.edu Wed Dec 8 11:30:33 2010 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Wed, 08 Dec 2010 05:30:33 -0500 Subject: Semantic Web journal: The EBM Special Issues Volume 1, Number 1-2 / 2010 is Online Message-ID: <4CFF5E49.9010105@wright.edu> The Semantic Web journal first issue is out: http://www.semantic-web-journal.net/issues http://iospress.metapress.com/content/j8748565511j/ and it's actually visible to all - no subscription is necessary. It contains vision statements on various Semantic Web topics and so should hopefully be a perfect source of inspiration for research. Pascal. -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From Wiebe.van-der-Hoek at liverpool.ac.uk Wed Dec 8 18:56:35 2010 From: Wiebe.van-der-Hoek at liverpool.ac.uk (Wiebe van der Hoek) Date: Wed, 8 Dec 2010 17:56:35 +0000 Subject: lectureship in multi-agent systems Liverpool UK Message-ID: <961493BD-4F01-4B18-AFE5-7F8B7C5DF5C0@liverpool.ac.uk> Lecturer in Multi-Agent Systems Department of Computer Science University of Liverpool - Faculty of Science and Engineering £36,715 - £46,510 pa The Department, ranked in the top 10 UK Computer Science Departments in RAE2008, is seeking to further strengthen their current research portfolio around existing themes in the Agent ART group including: Logical Approaches to Multi-agent Systems, Co-operation and Game Theory, The Semantic Web and Argumentation and Dialogue. The Agent ART group enjoys close collaborative links with other research groups in the Department (Economics and Computation, Logic and Computation, Complexity Theory and Algorithms). You should have a PhD in computer science or a related discipline, and demonstrated the ability to carry out independent research to a high standard. Job Ref: A-557059/JAC Closing date : 4 January 2011 For full details, or to request an application pack, visit www.liv.ac.uk/working/job_vacancies/ or e-mailjobs at liv.ac.uk Tel 0151 794 2210 (24 hr answerphone) please quote job ref in all enquiries. Committed to diversity and equality of opportunity ------------------------------------------------------------ Prof. Wiebe van der Hoek Head of Department, 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 aguabtni at cse.unsw.edu.au Thu Dec 9 23:43:30 2010 From: aguabtni at cse.unsw.edu.au (Adnene Guabtni) Date: Fri, 10 Dec 2010 09:43:30 +1100 Subject: Call for workshop proposals WI-IAT 2011 Message-ID: * Apologies for cross-posting * This is sent on behalf or the 2011 edition of IEEE/WIC/ACM WI-IAT conference organizing committee. ================================================================== Call for workshop proposals The 2011 IEEE / WIC / ACM International Conferences on Web Intelligence and Intelligent Agent Technology 22 – 27 August 2011, Lyon, France http://wi-iat-2011.org The Program Committees of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT’11) invite proposals for Workshops. The Workshops will be held within the Conference, August, 22, 2011 at Lyon, France. The main goal of the WI-IAT’11 workshops is to stimulate and facilitate active exchange, interaction and comparison of approaches, methods and ideas related to specific topics, both theoretical and applied, in the general areas related to Web Intelligence and Intelligent Agent Technology. The workshops will provide an informal setting where participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas. The workshop organizers will be responsible for advertising the workshop, forming the program committees, reviewing and selecting the papers, and guaranteeing a high quality worthy of the prestige and range of the Conference. All papers accepted for workshops will be included in the Workshop Proceedings published by IEEE Computer Society Press and will be available at the workshops. The workshop organizers will also have the discretion of editing selected papers (after their expansion and revision) into books or special journal issues. Workshops may be full-day or half-day. A full-day workshop should select 10-14 regular papers, while a half-day workshop should select 5-7 regular papers, from a large number of submissions. Submissions accepted as workshop papers will be allocated 4 pages in the proceedings. The workshop organizers should ensure the presence of authors of accepted papers at the workshops. Optionally, the workshop may be started or concluded by a panel focusing on interesting aspects, controversial issues, or unsolved problems to stimulate lively, thoughtful, and thought-provoking debate; we expect the workshop organizers to actively engage the audience and help them gain a deeper understanding of the issues. The goal of a panel is to debate and thus panels should always reflect more than one point of view. Workshop Proposals Submission: Workshop organizers should submit their proposals (PDF) directly to the three Workshop Chairs via e-mail (see their email addresses below). Workshop proposals should include the following elements: - Title of the workshop - Names of workshop organizers, affiliation, mailing address and e-mail address - Short CV of organizers - A description of the topics of the workshop (not exceeding 200 words) - Type of the workshop (full-day or half-day) - A description of how the workshop will contribute to the field of Web Intelligence and/or Intelligent Agent Technology - A short description on how the workshop will be advertised so as to ensure a sufficiently wide range of authors and high quality papers - Information about previous offerings of the proposed workshop. Topics of Interest Each workshop subject will focus on new research challenges and initiatives in Web Intelligence (WI) and Intelligent Agent Technology (IAT). The workshops should provide an informal and vibrant forum for researchers and industry practitioners to share their research results and practical development experiences in these two fields. Suggested, workshop topics include, but are not limited to: - Intelligent e-Technology (including e-Science, e-Business, e-Things and e-Activities, e-Learning, e-Finance, e-Medicine, e-Government, e-Community) - Intelligent Human-Web Interaction - Intelligent Distributed Robots - Distributed Intelligence - Knowledge Grids and Grid Intelligence - Semantics and Ontology Engineering - Sensing Web and Smart World - Social Networks and Ubiquitous Intelligence - Ubiquitous Computing - Web Agents - Web Information Filtering and Retrieval - Web Mining and Farming - Web Data Management - Web Scale Commonsense Knowledge Processing - Web Security, Integrity, Privacy and Trust - Web Services and Grid Services - Web Support Systems - World Wide Wisdom Web (W4) - Convergence of email, instant messaging and social-network tools - Agent Systems Modeling and Methodology - Autonomous Knowledge and Information Agents - Autonomous Auctions and Negotiation - Autonomy-Oriented Computing (AOC) - Learning and Self-Adapting Agents Important Dates Workshop proposal submission: December 17, 2010 Notification to workshop proposers: January 7, 2011 Workshop paper submissions: March 21, 2011 Notification of Workshop paper acceptance: June 1, 2011 Workshops and Industry day: August 22, 2011 Workshop Co-Chairs Jomi F. Hübner (Federal University of Santa Catarina, Brasil, jomi at das.ufsc.br) Jean-Marc Petit (INSA, France,jean-marc.petit at insa-lyon.fr) Einoshin Suzuki (Kyushu University, Japan, suzuki at inf.kyushu-u.ac.jp) ================================================================== -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From yuliya at cs.uky.edu Fri Dec 10 17:06:30 2010 From: yuliya at cs.uky.edu (Yuliya Lierler) Date: Fri, 10 Dec 2010 11:06:30 -0500 (EST) Subject: ICLP 2011 - second call for papers Message-ID: ====================================================================== CALL FOR PAPERS 27th International Conference on Logic Programming (ICLP 2011) Theory and Practice of Logic Programming Lexington, Kentucky, USA, July 6-10, 2011 Submission deadline: Jan 10/17, 2011 http://www.cs.uky.edu/iclp2011/ ====================================================================== CONFERENCE SCOPE Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming including but not restricted to: Theory: Semantic Foundations, Formalisms, Non- monotonic Reasoning, Knowledge Representation. Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics. SUBMISSION DETAILS The four broad categories for submissions are: (1) technical papers for describing technically sound, innovative ideas that can advance the state of the art of logic programming; (2) application papers, where the emphasis will be on their impact on the application domain; (3) system and tool papers, where the emphasis will be on the novelty, practicality, usability and general availability of the systems and tools described; and (4) technical communications, aimed at describing recent developments, new projects, and other materials that are not ready for main publication as standard papers. All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical papers, application papers, and system and tool papers must not exceed 15 pages plus bibliography. The limit for technical communications is 10 pages. Submissions must be made in TPLP format (ftp://ftp.cup.cam.ac.uk/pub/texarchive/journals/latex/tlp-cls/) via the Easychair submission system, available at http://www.easychair.org/conferences/?conf=iclp2011. IMPORTANT DATES Paper registration (abstract): Jan 10, 2011 Submission deadline: Jan 17, 2011 Notification to authors: Mar 11, 2011 Camera-ready copy due: Apr 15, 2011 Conference: Jul 6-10, 2011 PAPER PUBLICATION All accepted long papers will be published in the journal Theory and Practice of Logic Programming (TPLP), Cambridge U. Press (CUP), in one or more special issues. In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period) and/or “shepherding.” The program committee may also recommend standard papers to be published as technical communications. At the time of the conference CUP will make the web page for this(ese) TPLP issue(s) available including volume and issue numbers, table of contents, page numbers, and the papers themselves. All registered attendants at the conference will get a password for on-line access to this web page during the conference and indefinitely from then on (“lifetime access”), which can be used to read papers on line, download them, or print them for personal use. Attendants will also receive all the papers in a memory stick at the conference. The collection of technical communications will appear as a volume of the LIPIcs (Leibniz International Proceedings in Informatics) series, and published online through the Dagstuhl Research Online Publication Server (DROPS). All technical communications will also get space in the program for presentation. The journal issue(s) will also include a listing of the technical communications, with pointers to the LIPIcs/DROPS volume. ICLP 2011 ORGANIZATION General Chair: Mirek Truszczynski (University of Kentucky) Victor Marek (University of Kentucky) Program Co-chairs: John Gallagher (Roskilde University, Denmark and IMDEA, Spain) Michael Gelfond (Texas Tech University, USA) Workshops Chair: Joohyung Lee (Arizona State University) Publicity Chair: Yuliya Lierler (University of Kentucky) Doctoral Consortium: Alessandro Dal Palù (Universit degli Studi di Parma) Stefan Woltran (Vienna University of Technology) Prolog Programming Contest: Tom Schrijvers (K.U. Leuven, Belgium) SPONSOR The conference is sponsored by the Association for Logic Programming (ALP). FINANCIAL ASSISTANCE The Association for Logic Programming has funds to assist financially disadvantaged participants and, specially, students in order to be able to attend the conference. WORKSHOPS The ICLP 2011 program will include several workshops, held before and after the main conference. They are perhaps the best places for the presentation of preliminary work, undeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. DOCTORAL CONSORTIUM The 7th Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and world-renowned experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in a special session of the main ICLP conference. CONFERENCE VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, ponds and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. Traveling to Lexington is easy. The local airport has frequent direct flights to Cincinnati, Atlanta, Detroit, and Chicago. It has also direct but less frequent flights (one or two a day) to several other large US cities such as Dallas-Ft. Worth, Houston and Newark. Thus, it can be reached easily from any place in the world. From torsten at cs.uni-potsdam.de Sun Dec 12 12:50:38 2010 From: torsten at cs.uni-potsdam.de (Torsten Schaub) Date: Sun, 12 Dec 2010 12:50:38 +0100 (CET) Subject: 12 Doctoral and 2 PostDoctoral Positions Message-ID: <20101212115038.E513B201A8@aix.haiti.cs.uni-potsdam.de> Doctoral/Postdoctoral Fellowships The University of Potsdam offers 12 Doctoral Fellowships and 2 Postdoctoral Fellowships in the framework of the interdisciplinary Graduate School "Visualization and Visibility. Hybrid Forms of Image Knowledge" (GRK 1539/1; http://www.uni-potsdam.de/visibility) beginning on 1 April 2011. The graduate program is concerned with image and visualization processes of all kinds in the arts and sciences. Among others, this involves topics in Knowledge Representation and Reasoning and Declarative Problem Solving, eg. Answer Set Programming. People interested in pursuing doctoral studies on the latter topics in an interesting interdisciplinary setting should contact: Prof. Torsten Schaub torsten at cs.uni-potsdam.de http://www.cs.uni-potsdam.de/~torsten General instructions of how to apply can be found at: http://www.uni-potsdam.de/visibility/bewerbung.html http://www.uni-potsdam.de/visibility/ausschreibung.pdf (English version should appear soon.) From sofronie at mpi-inf.mpg.de Sun Dec 12 23:00:53 2010 From: sofronie at mpi-inf.mpg.de (Viorica Sofronie-Stokkermans) Date: Sun, 12 Dec 2010 23:00:53 +0100 (CET) Subject: TABLEAUX 2011: Second Call for Papers Message-ID: [Apologies for multiple copies] Second Call for Papers, Call for Tutorials, and Call for Workshop Proposals TABLEAUX 2011 International Conference TABLEAUX 2011 Automated Reasoning with Analytic Tableaux and Related Methods Bern, Switzerland 4 July - 8 July 2011 http://www.tableaux11.unibe.ch/ IMPORTANT DATES Workshop & Tutorial Submission: Monday, 10 Jan 2011 Workshop & Tutorial Notification: Monday, 24 Jan Abstract and Title Submission: Monday, 24 Jan Paper Submission: Monday, 31 Jan Notification: Monday, 28 Mar Final Versions: Monday, 25 Apr Short Paper Submission: Monday, 2 May Short Paper Notification: Monday, 16 May Workshops: Monday, 4 July Conference: Tuesday, 5 July - Friday, 8 July GENERAL INFORMATION This conference is the 20th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods. In July 2011, the conference will be held in Bern, Switzerland. The conference proceedings will be published in the Springer LNAI series as in the previous editions of the conference. See http://www.tableaux11.unibe.ch/ for more information on TABLEAUX 2011, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series. TOPICS Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods. Topics of interest include (but are not restricted to): * analytic tableaux for various logics (theory and applications) * related techniques and concepts, e.g., model checking and BDDs * related methods (model elimination, sequent calculi, connection method, ...) * new calculi and methods for theorem proving in classical and non-classical logics (modal, description, intuitionistic, linear, temporal, many-valued...) * systems, tools, implementations and applications. As in previous years, TABLEAUX 2011 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 Short papers reporting work in progress (up to 5 pages) 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. 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 Bern. Tutorial submissions (Category D) may be at introductory, intermediate, or advanced levels. Novel topics and topics of broad interest are preferred. The submission should include the title, the author, the topic of the tutorial, its level, its relevance to conference topics, and a description of the interest and the scientific contents of the proposed tutorial. Tutorial proposals will be reviewed by members of the program committee. Note that the deadline for tutorial proposals is Monday, 10. Jan 2011. Authors of accepted papers are expected to present their work at the conference. CALL FOR WORKSHOP PROPOSALS TABLEAUX 2011 launches a Call for Workshop Proposal on specialised subjects in the range of the conference topics. We can accept up to three proposals. The proposals are reviewed by members of the PC committee. The purpose of a workshop is to offer an opportunity of presenting novel ideas, ongoing research, and to discuss the state of the art of an area in a less formal but more focused way than the conference itself. It is also a good opportunity for young researchers to present their own work and to obtain feedback. The format of a workshop is left to the the organizers, but it is expected to contain significant time for discussion. The intended schedule is for one-day workshops. To submit a workshop proposal, please send a description of one or two pages to the PC chairs by Monday, 10. Jan 2011. INVITED SPEAKERS We are pleased to announce that the following speakers have agreed to give invited talks at TABLEAUX 2011: * Maria Paola Bonacina, University of Verona, Italy * Ulrich Furbach, University of Koblenz-Landau, Germany * Kazushige Terui, Kyoto University, Japan PROGRAM COMMITTEE PC Chairs * Kai Brünnler, University of Bern, Switzerland * George Metcalfe, University of Bern, Switzerland PC Members * Arnon Avron, Tel Aviv University, Israel * Peter Baumgartner, NICTA, Canberra, Australia * Bernhard Beckert, Karlsruhe Institute of Technology, Germany * Torben Braüner, Roskilde University, Denmark * Agata Ciabattoni, TU Wien, Austria * Marta Cialdea, University of Rome 3, Italy * Roy Dyckhoff, University of St Andrews, Scotland * Martin Giese, University of Oslo, Norway * Valentin Goranko, Technical University of Denmark * Rajeev Goré, The Australian National University, Canberra, Australia * Reiner Hähnle, Chalmers University, Göteborg, Sweden * Ullrich Hustadt, University of Liverpool, UK * Martin Lange, University of Kassel, Germany * Dale Miller, INRIA, Saclay, France * Neil V. Murray, University at Albany - SUNY, USA * Nicola Olivetti, Paul Cézanne University, Marseille, France * Jens Otten, University of Potsdam, Germany * Dirk Pattinson, Imperial College London, UK * André Platzer, Carnegie Mellon University, USA * Renate Schmidt, University of Manchester, UK * Viorica Sofronie-Stokkermans, MPI, Saarbrücken, Germany * Ulrich Ultes-Nitsche, Fribourg University, Switzerland * Luca Viganò, University of Verona, Italy * Arild Waaler, University of Oslo, Norway ORGANIZING COMMITTEE Conference Chairs: * Kai Brünnler, University of Bern, Switzerland * George Metcalfe, University of Bern, Switzerland Local Organizers: * Samuel Bucheli * Lukas Gerber * Roman Kuznets * Richard McKinley * Nia Stephens From yuliya at cs.uky.edu Mon Dec 13 17:25:25 2010 From: yuliya at cs.uky.edu (Yuliya Lierler) Date: Mon, 13 Dec 2010 11:25:25 -0500 (EST) Subject: ICLP 2011 Final Call for Workshop Proposals (Due: 12/15/2010) Message-ID: ============================================================         *** FINAL CALL FOR WORKSHOP PROPOSALS (DUE: 12/15/2010)***                             ICLP 2011        27th International Conference on Logic Programming                     Lexington, Kentucky, USA                          July 6-10, 2011             URL: http://www.cs.uky.edu/iclp2011/ ICLP 2011, the 27th International Conference on Logic Programming, will be held in Lexington, Kentucky, USA, from July 6 to 10, 2011. Workshops collocated with an international conference are one of the best venues for the presentation and discussion of preliminary work, novel ideas, and new open problems to a wide and interested audience. Collocated workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops collocated with ICLP 2011 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 should 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 2011 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 timeline and relevance of the workshop * A list of some related workshops held in the recent 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 (Joohyung Lee) by email by December 15, 2010. Reviewing Process: ================== Each submitted proposal will be reviewed by the Workshop Chair and the Conference Program Chairs. Proposals that appear well-organized and that fit the goals and the scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by January 12, 2011. 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 Internet and other means. A web page URL which will linked   into the ICLP 2009 home page should be provided by February 2,   2011. * 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 recommended.  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 Lexington at the site of the main conference. See the ICLP 2011 web site for location details. Important Dates: ================ December 15, 2010: Proposal submission deadline January  12, 2011: Notification February  2, 2011: Deadline to receive the CFP and the URL for workshop                  web page June      1, 2011: Deadline for preliminary proceedings July   6-10, 2011: ICLP 2011 and workshops Workshop Chair: =============== Joohyung Lee     peace.eas.asu.edu/joolee     joolee [at] asu [dot] edu From esslli2011stus at gmail.com Tue Dec 14 12:17:19 2010 From: esslli2011stus at gmail.com (Student Session) Date: Tue, 14 Dec 2010 11:17:19 +0000 Subject: Call for papers: ESSLLI 2011 Student Session Message-ID: ***PLEASE DISTRIBUTE WIDELY*** *Deadline for submissions:* March 25, 2011 The Student Session of the 23rd European Summer School in Logic, Language, and Information (ESSLLI) will take place in Ljubljana, Slovenia on August 1-12, 2011. We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and will appear in the proceedings. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience. ESSLLI 2011 will be held in Ljubljana, Slovenia, and will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation. Consult the main ESSLLI websitefor further information, including registration information and course listings . *Instructions for Authors:* Authors must be students, i.e., may not have received the Ph.D. degree before August 2011. All submissions must be in PDF format and be submitted to the conference EasyChair website. Submissions may be singly or jointly authored. No one may submit more than one singly and one jointly authored paper. There are two types of papers. Long papers of up to 8 pages will be considered for both oral presentation and the poster session. Short papers of up to 4 pages will be considered as submissions for the poster session. Submissions must be received by midnight GMT on *March 25, 2011.* Accepted papers will eventually have to be written in LaTeX in standard LNCS format; the easiest thing is to do this in advance by using the Springer class files for LaTeX2e, which can be downloaded here. Springer has continued their support of the Student Session by offering generous prizes for Best Paper, Best Poster, and several Runners-Up. To get a sense of the range and subject matter of the Student Session, take a look at the proceedings from the 2010 Student Sessionand the 2009 Student Session . A Springer volume of selected papers from the 2008-2009 Student Sessions was published and can be found here. Please direct inquiries about submission procedures or other matters relating to the Student Session to the chair, Daniel Lassiter (NYU), at esslli2011stus at easychair.org. For general inquiries about ESSLLI 2011, please consult the main ESSLLI page. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From guido at di.unito.it Tue Dec 14 16:51:48 2010 From: guido at di.unito.it (Guido Boella) Date: Tue, 14 Dec 2010 16:51:48 +0100 Subject: CFP CARE 2011 @ AAMAS, Taipei, Taiwan Message-ID: <4D079294.1090308@di.unito.it> *Third International Workshop* *on* *Collaborative Agents - Research and development* *CARE 2011* in conjunction with AAMAS 2011 Paper submission deadline*30th January 2011* Notification of acceptance/rejection 27th February 2011 Camera-ready copies due13th March 2011 Workshop Date2nd or 3rd May 2011 Do you care? For the lifetime value of customers, patients, products, information, and plan execution? If yes, then how do you work together with those that care for the same entity? Collaborative care is today's primary means to achieve complex outcomes and to increase the lifetime value of the cared entities. Collaboration enables agents to achieve complex goals that are difficult or impossible to attain for an individual agent. This collaboration takes place under conditions of incomplete information, uncertainty, and bounded rationality, much of which has been previously studied in economics and artificial intelligence. However, many real world domains are characterised by even greater complexity, including the possibility of unreliable and non-complying collaborators, complex market and incentive frameworks, and complex transaction costs and organisational structures. How can we create computational models, representations, algorithms and protocols to enable the next generation of intelligent collaborative care technologies? How can we build technologies that support collaboration under this complexity and uncertainty? This workshop aims to foster discussions on computational models of collaboration support in distributed systems, addressing a range of theoretical and practical issues. We seek contributions of members in research and industry that use the agent paradigm to approach their problems. The CARE workshop series not only addresses a gap in the existing agent and AI landscape, but also tries to push the boundaries of existing work by addressing a problem that is relatively new to the agent community and that presents the community with exciting applications. Application domains include healthcare, e-services, intelligent campuses, intelligent work places, business process management, telecommunications, and distance learning. For example, it includes the long term care of patients with a chronic disease (patient care), support of students in their studies (student care), and service provision in telecommunication (customer care). In many cases, caring requires a team of collaborators to work together under various constraints and market conditions. A team needs to achieve desired outcomes while decreasing costs associated with required activities. The one day workshop will feature a mixture of invited talks, discussions and submitted contributions describing current work or work in progress in collaborative agent research and technology. The workshop environment fosters open discussions among all participants, particularly encouraging students to discuss their research topics and seek feedback from senior agent researchers. Topics of interest include, without limitation: * How can we support/guide collaborative teams. How can we offer flexibility in the way how teams execute plans. How can we make team members follow agreed procedures (Incentives? Or more fundamental, by designing a new market?) * How to enable agents to form and follow joint agreements, guidelines and contracts in complex organisational and market driven domains (agreement adherence). * How to enable agents to monitor and change agreements, if required (agreement variation). * How can adherence and variation be achieved under uncertain and incomplete information (comprehensive formation/maintenance framework). * How to enable an effective communication infrastructure for collaborative care (possibly including humans and agents). * How to build a model of the features of individuals (customer/patient behaviour). * How to build comprehensive customer lifecycle management systems for customers, including telecommunication consumers, students and patients. * How to deploy lifecycle management systems in real world applications, such as healthcare, telecommunication, and smart campuses. * How to design markets that are adequate for agents to act with incomplete and uncertain information of the behaviour of collaborating agents. * How to build MAS that work efficiently in partially regulated markets (where governance policy or partnership agreements govern part of the market). * What are the implications of partial regulation on the management of contractual relationships and service delivery. * How organisational structures influence the negotiation of agents and the distribution/execution of tasks. * How to cope with collaborators that exhibit unreliable and non-conformant behaviour, e.g. where agreements are made but are not always conformed with. * How can interventions assist in managing contractual relationships and service delivery. * How can we make individuals encourage to perform activities to stay on-track and achieve desired outcomes (incentive frameworks). * How can we enable flexible, goal-driven and contextualised plan creation and business process management (including intelligent execution, monitoring, management, and optimization of business processes). * How to assign transaction costs to actions in planning, assignment, and execution in organisational structures. * How can transaction costs influence the social outcome of the system which is further influenced by the organisational context under which the collaboration takes place. * How to build an effective monitoring-recognition-intervention framework. * Can lessons learnt in game theoretic computation inform collaborative agent settings. * What role does learning and adaptivity play in building organisational MAS. * How to deal with partially regulated market (free markets are possibly an unrealistic paradigm as they don't really existent). -- ==================================================================== Cristiano Castelfranchi Director *ISTC*- Institute of Cognitive Sciences and Technologies National Research Council via San Martino della Battaglia 44, 00185 - Roma ITALY tel +39 06 44595 -283; fax +39 06 44595 243 E-mail:*cristiano.castelfranchi at istc.cnr.it* http://www.istc.cnr.it/ http://www.istc.cnr.it/createhtml.php?nbr=62 & University of Siena - Dep. of Communication Sciences Full Professor "Cognitive Science" E-mail: castelfranc at unisi.it _________________________________________________ /"Science is like s..x: sometimes something useful comes out,/ /but that is not the reason we are doing it"/ (R. Feynman) /"Quo magis speculativa, magis practica"/ (Leibniz) /«La simplicité est la complexité résolue»/ (Constantin Brancusi) /"Sui sentieri gia' tracciati/ /io mi perdo"/ (Rabindranath Tagore) /"Academico di nulla academia"/ (Giordano Bruno) _________________________________________________ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sakama at sys.wakayama-u.ac.jp Wed Dec 15 00:24:26 2010 From: sakama at sys.wakayama-u.ac.jp (Chiaki Sakama) Date: Wed, 15 Dec 2010 08:24:26 +0900 Subject: DALT 2011: First CfP Message-ID: <4D07FCAA.1000903@sys.wakayama-u.ac.jp> Please accept our apologies if you receive multiple postings. ---------------------------------------------------------------------- 9th International Workshop on Declarative Agent Languages and Technologies (DALT 2011) 2 or 3 May 2011 Taipei, Taiwan (held in conjunction with AAMAS 2011) URL: http://www.cs.rmit.edu.au/~ssardina/DALT2011 ---------------------------------------------------------------------- CALL FOR PAPERS ---------------------------------------------------------------------- The workshop on Declarative Agent Languages and Technologies (DALT), in its ninth 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 ensure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can satisfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of offering solutions satisfying the needs for both specifying and developing multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the semantic web, service-oriented computing, security, and electronic contracting. DALT 2011 will be held as a satellite workshop of AAMAS 2011, the 10th International Joint Conference on Autonomous Agents and Multiagent Systems, in May 2011 in Taipei, Taiwan. Following the success of eight previous editions, DALT will again aim at providing 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 researchers 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. Assuming a sufficient number of high-quality submissions, we are again going to consider the publication of formal post-proceedings with an international publisher. The post-proceedings of DALT 2003 (LNAI 2990), DALT 2004 (LNAI 3476), DALT 2005 (LNAI 3904), DALT 2006 (LNAI 4327), DALT 2007 (LNAI 4897), DALT 2008 (LNAI 5397) and DALT 2009 (LNAI 5948) have been published by Springer-Verlag in the Lecture Notes in Artificial Intelligence series. ---------------------------------------------------------------------- IMPORTANT DATES ---------------------------------------------------------------------- The dates below are tentative; please check the workshop Web page for confirmed dates. Submission Deadline: 23 January 2011 Notification of Acceptance/Rejection: 25 February 2011 Camera Ready Due: 7 March 2011 Workshop: 2 or 3 May 2011 ---------------------------------------------------------------------- PROGRAMME COMMITTEE (TBC) ---------------------------------------------------------------------- * 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, Federal University of Rio Grande do Sul, Brazil * Jan Broersen, University of Utrecht, The Netherlands * Federico Chesani, University of Bologna, Italy * Amit Chopra, University of Trento, Italy * Francesco M. Donini, University of Tuscia, Italy * 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 * Joao Leite, Universidade Nova de Lisboa, Portugal * Yves Lesperance, York University, Canada * Viviana Mascardi, University of Genova, Italy * Nicolas Maudet, University of Paris-Dauphine, France * John-Jules Meyer, University of Utrecht, The Netherlands * Peter Novak, Czech Technical University, Czech Republic * Fabio Patrizi, University of Rome, Italy, * Enrico Pontelli, New Mexico State University, USA * David Pym, University of Aberdeen, UK * Michael Rovatsos, University of Edinburgh, UK * Flavio Correa da Silva, Universidade de Sao Paulo, Brazil * Guillermo Simari, Universidad Nacional del Sur, Argentina * Tran Cao Son, New Mexico State University, USA * Eugenia Ternovska, Simon Fraser University, Canada * Francesca Toni, Imperial College London, UK * Marina De Vos, University of Bath, UK ---------------------------------------------------------------------- ORGANISING COMMITTEE ---------------------------------------------------------------------- Chiaki Sakama (Wakayama University, Japan) Sebastian Sardina (RMIT University, Australia) Wamberto Vasconcelos (University of Aberdeen, UK) Michael Winikoff (University of Otago, New Zealand) ---------------------------------------------------------------------- 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) -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From christian.guttmann at gmail.com Wed Dec 15 06:42:49 2010 From: christian.guttmann at gmail.com (Christian Guttmann) Date: Wed, 15 Dec 2010 09:42:49 +0400 Subject: Do you CARE? -- CFP: 3rd International Workshop on Collaborative Agents - REsearch and Development (CARE) 2011, Taipei, Taiwan Message-ID: <4D085559.4000008@gmail.com> Apologies for cross-postings. (Please CHECK the new initiatives of CARE below!) ************************************************************** CALL FOR PAPERS Third International Workshop on *Collaborative Agents -- REsearch and development (CARE) 2011* Abstract submission: Jan 28th, 2011 Full paper submission: Jan 30th, 2011 http://www.ku.ac.ae/EBTIC/Space4Care/care.html Taipei, Taiwan, 2-3 May 2011 ************************************************************** The workshop is held in conjunction with the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) 2011. Workshop Summary ================ Do you care? For the lifetime value of customers, patients, products, information, and plan execution? If yes, then how do you work together with those that care for the same entity? Collaborative care is today’s primary means to achieve complex outcomes and to increase the lifetime value of the cared entities. Collaboration enables agents to achieve complex goals that are difficult or impossible to attain for an individual agent. This collaboration takes place under conditions of incomplete information, uncertainty, and bounded rationality, much of which has been previously studied in economics and artificial intelligence. However, many real world domains are characterised by even greater complexity, including the possibility of unreliable and non-complying collaborators, complex market and incentive frameworks, and complex transaction costs and organisational structures. How can we create computational models, representations, algorithms and protocols to enable the next generation of intelligent collaborative care technologies? How can we build technologies that support collaboration under this complexity and uncertainty? This workshop aims to foster discussions on computational models of collaboration support in distributed systems, addressing a range of theoretical and practical issues. We seek contributions of members in research and industry that use the agent paradigm to approach their problems. The CARE workshop series not only addresses a gap in the existing agent and AI landscape, but also tries to push the boundaries of existing work by addressing a problem that is relatively new to the agent community and that presents the community with exciting applications. Application domains include healthcare, e-services, intelligent campuses, intelligent work places, business process management, telecommunications, and distance learning. For example, it includes the long term care of patients with a chronic disease (patient care), support of students in their studies (student care), and service provision in telecommunication (customer care). In many cases, caring requires a team of collaborators to work together under various constraints and market conditions. A team needs to achieve desired outcomes while decreasing costs associated with required activities. The one day workshop will feature a mixture of invited talks, discussions and submitted contributions describing current work or work in progress in collaborative agent research and technology. The workshop environment fosters open discussions among all participants, particularly encouraging students to discuss their research topics and seek feedback from senior agent researchers. Important Dates =============== Abstract submission: 28th January 2011 Paper submission deadline: 30th January 2011 Notification of acceptance/rejection: 27th February 2011 Camera-ready copies due: 13th March 2011 Workshop Date: 2nd or 3rd May 2011 Topics of interest include, without limitation: =============================================== • How can we support/guide collaborative teams. How can we offer flexibility in the way how teams execute plans. How can we make team members follow agreed procedures (Incentives? Or more fundamental, by designing a new market?). • How to enable agents to form and follow joint agreements, guidelines and contracts in complex organisational and market driven domains (agreement adherence). • How to enable agents to monitor and change agreements, if required (agreement variation). • How can adherence and variation be achieved under uncertain and incomplete information (comprehensive formation/maintenance framework). • How to enable an effective communication infrastructure for collaborative care (possibly including humans and agents). • How to build a model of the features of individuals (customer/patient behaviour). • How to build comprehensive customer lifecycle management systems for customers, including telecommunication consumers, students and patients. • How to deploy lifecycle management systems in real world applications, such as healthcare, telecommunication, and smart campuses. • How to design markets that are adequate for agents to act with incomplete and uncertain information of the behaviour of collaborating agents. • How to build MAS that work efficiently in partially regulated markets (where governance policy or partnership agreements govern part of the market). • What are the implications of partial regulation on the management of contractual relationships and service delivery. • How organisational structures influence the negotiation of agents and the distribution/execution of tasks. • How to cope with collaborators that exhibit unreliable and non-conformant behaviour, e.g. where agreements are made but are not always conformed with. • How can interventions assist in managing contractual relationships and service delivery. • How can we make individuals encourage to perform activities to stay on-track and achieve desired outcomes (incentive frameworks). • How can we enable flexible, goal-driven and contextualised plan creation and business process management (including intelligent execution, monitoring, management, and optimization of business processes). • How to assign transaction costs to actions in planning, assignment, and execution in organisational structures. • How can transaction costs influence the social outcome of the system which is further influenced by the organisational context under which the collaboration takes place. • How to build an effective monitoring-recognition-intervention framework. • Can lessons learnt in game theoretic computation inform collaborative agent settings. • What role does learning and adaptivity play in building organisational MAS. • How to deal with partially regulated markets (free markets are possibly an unrealistic paradigm as they don’t really existent). Submission and Publication ========================== Authors should submit their papers via the easychair conference management system: Papers should be formatted using Springer LNCS style http://www.springer.de/comp/lncs/authors.html and have a maximum of 12 pages. Submissions will be peer-reviewed by three reviewers per paper. Selection criteria will include relevance, significance, impact, originality, technical soundness, quality of presentation. Some preference may also be given to papers which address emergent trends or important common themes, or which enhance balance of workshop topics. Post-Proceedings are planned to be published with Springer as for the CARE 2009 and 2010. Contact ======= Dr. Christian Guttmann (primary contact) christian.guttmann at kustar.ac.ae Prof. Michael Luck michael.luck at kcl.ac.uk Prof. Milind Tambe tambe at usc.edu Registration and Accommodation ============================= http://www.aamas2011.tw/AttendingAAMAS2011.html Workshop Officials ================== GENERAL CHAIRS Dr. Christian Guttmann (primary contact) christian.guttmann at kustar.ac.ae Prof. Michael Luck michael.luck at kcl.ac.uk Prof. Milind Tambe tambe at usc.edu PROGRAM COMMITTEE Prof. Dr. Gord McCalla (University of Saskatchewan, Canada) Asst. Prof. Dr. Philippe Pasquier (Simon Fraser University, Canada) Prof. Dr. Rainer Unland (University of Duisburg-Essen, Germany) Prof. Dr. Rafael Bordini (Federal University of Rio Grande do Sul, Brazil) Prof. Dr. Toby Walsh (NICTA and UNSW, Australia) Prof. Dr. Gal Kaminka (Bar Illan University, Israel) Dr. Kumari Wickramasinghe (Monash University, Australia) Dr. Sherief Abdallah (British University of Dubai, UAE) Prof. Dr. Liz Sonenberg (Melbourne University, Australia) Dr. Fredrik Heintz (Linkoping University, Sweden) Dr. Samin Karim (University of Melbourne, Australia) Prof. Dr. Michael Thielscher (University of New South Wales, Australia) Prof. Dr. Victor Lesser (University of Massachusetts, USA) Prof. Dr. Cees Witteveen (Delft University of Technology, Netherlands) Asst. Professor Birna van Riemsdijk (Delft University of Technology, Netherlands) Prof. Dr. Cristiano Castelfranchi (Institute of Cognitive Sciences and Technologies, Italy) Prof. Dr. Leonardo Garrido (Tecnológico de Monterrey, Mexico) Prof. Dr. Mathias Klusch (German Research Center for Artificial Intelligence, DFKI, Germany) Dr. Inon Zuckerman (University of Maryland, USA) Prof. Dr. Wayne Wobcke (University of New South Wales, Australia) Dr. Neil Yorke-Smith (American University of Beirut, Lebanon, and SRI International, USA) Dr. Birgit Burmeister (Daimler AG, Germany) Prof. Dr. Magnus Boman (Royal Institute of Technology, Sweden) Dr. Simon Goss (Defence Science and Technology Organisation DSTO, Australia) Dr. Wei Chen (Intelligent Automation, Inc., United States of America) Prof. Dr. Zakaria Maamar (Zayed University, UAE) Novel extensions to CARE’11 =========================== We plan to introduce two novel extensions to CARE’11 to create an environment that encourages productivity and creative thinking and discussions among all participants, particularly among the junior research members. These activities are aimed at placing an emphasis on getting to know each other, and breaking down the usual boundaries of inhibition among a research and engineering audience. They are meant to “break the ice” and to create an atmosphere of open discussion and exchange. In other words, we aim at making the workshop as a workshop is meant to be – participants should constructively talk with each other about the research they are pursuing. The first initiative is a “Crazy and dangerous idea session”. * Each accepted author has 5 min to sketch out a possible (crazy) future direction of CARE * Only one slide is allowed to explain the idea (drawings on whiteboards/screen allowed) * There has to be a clearly identifiable “out of the box” thinking. It should go towards: how can we peel off the main stream? How is CARE already different to the main stream and other research directions, and how can we extend this? The second initiative is to allow a reviewer to provide a limited text to the workshop audience (still anonymous by the organiser). The idea is to extend the current blind reviewing process by transferring valuable reviewer information to the audience to enhance discussion (reviewers often have read papers most rigorously, have deeper reflections on its’ content, but these reflections are seldom discussed in a broader audience). The details are as follows. * A paragraph (at most 200 words) by each reviewer as a comment, they may include 1-3 challenging and constructive questions/extensions about an accepted paper. * The reviewers and the authors can each agree/disagree to make the comment section public. The comments would then be handed to the audience before the talks. The above initiatives are expected to enhance the atmosphere among participants significantly. The future of this workshop's research direction will therefore benefit from these initiatives. Online Discussion Groups For the purpose of announcements and future collaboration on the workshop topics, professional network groups on Linkedin have been created: CARE and AAMAS. CARE has reached a membership of 50 research professionals, and AAMAS has now 300 professional members (mostly professors, senior researchers and PhD students that have made significant contribution to the field of agents, or have a keen interest in the subject matter). These two forums are used extensively to discuss AAMAS as well as CARE specific topics. -- Christian Guttmann, PhD http://www.csse.monash.edu.au/~xtg/ http://www.ku.ac.ae/EBTIC/Staff/Christian_Guttmann.html From dvillatoro at iiia.csic.es Wed Dec 15 14:17:37 2010 From: dvillatoro at iiia.csic.es (Daniel Villatoro) Date: Wed, 15 Dec 2010 14:17:37 +0100 Subject: [CFP] MABS2011 @ AAMAS Message-ID: <4D08BFF1.7060900@iiia.csic.es> [Apologies for multiple copies] *************************************************************************** 1st CALL FOR PAPERS - M A B S 2011 Twelfth International Workshop on MULTI-AGENT-BASED SIMULATION (MABS'11) http://www.iiia.csic.es/~dvillatoro/MABS11 To be held at The Tenth International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS 2011) Taipei, Taiwan, May 2-6, 2011. AIMS AND SCOPE The meeting of researchers from MAS engineering and the social/economic/organizational sciences is extensively recognized for its role in cross-fertilization, and has undoubtedly been an important source of inspiration for the body of knowledge that has been produced in the MAS area. Multi-Agent Based Simulation (MABS) is a vibrant inter-disciplinary area which brings together researchers within the agent-based social simulation community (ABSS) and the Multiagent Systems community (MAS). The focus of ABSS is on simulating and _rganization social behaviours in order to understand real social systems via the development and testing of new concepts. The focus of MAS is on the solution of hard engineering problems related to the construction, deployment and efficient operation of multiagent systems. The MABS workshop series continues to pursue its goal to bring together researchers interested in MAS engineering, with researchers focused on finding efficient solutions to _rganiza complex social systems, in such areas as economics, management, and organizational and social sciences in general. In all of these areas, agent theories, metaphors, models, analysis, experimental designs, empirical studies, and methodological principles, all converge into simulation as a way of achieving explanations and predictions, exploring and testing of hypotheses, better designs and systems. The range of technical issues that MABS has dealt with, and continues to deal with, is quite diverse and extensive. Topics relevant to this workshop include, but are not limited to, the following: Simulation methodologies - standards for MABS - methodologies and simulation languages for MABS - simulation platforms and tools for MABS - _rganizationa and analytic tools - approaches for large-scale simulations - scalability and robustness in MABS - future challenges in MABS Simulation of social and economic organizations - formal and agent models of social organizations - cognitive organizations and social simulation - game theory and simulation - social structure: social networks and simulating organizations - simulating social complexity (e.g. structures and norms, social order, emergence of cooperation and coordinated action, self-organisation, the micro-macro link) Applications / Empirical work - MABS in environmental organizations - agent-based experimental economics - participative-based simulation - MABS and games All of these topics are important for both the MAS community doing simulation, and for economic, social, and organizational scientists doing simulation. MABS WORKSHOP SERIES The workshop is a continuation of the International Workshop series on Multi-Agent-Based Simulation (MABS). More information about MABS can be found at http://www.pcs.usp.br/~mabs . IMPORTANT DATES Submission deadline: January 30, 2011 Notification of acceptance: 27 February, 2011 Final manuscript due: March 13, 2011 Workshop: May 2-3, 2011 PUBLICATION All accepted papers will be printed in the AAMAS workshop proceedings. In addition, following the tradition of the previous MABS workshops, we intend to publish the accepted papers, after a further reviewing process, in Springer-Verlag's Multi-Agent-Based Simulation book series, LNAI, with the title "Multi-Agent-Based Simulation XII, 12th International Workshop, Taipei, Taiwan, May 2011, Revised Papers". The preliminary schedule for the post-proceedings process is the following: Second reviewing: September, 2011 Revised camera-ready papers: October, 2011 Publication: December, 2011 SUBMISSION We invite paper submission for MABS 2011, taking place in Taipei from 2-3 May 2011. All submitted papers must be formatted according to Springer's LNAI layout (http://www.springer.de/comp/lncs/authors.html) and in PDF format. The maximum number of pages is 12. Papers should be submitted via Easychair. Questions should be addressed to Daniel Villatoro (dvillatoro at iiia.csic.es). ACCEPTANCE STANDARDS All submissions will go through a peer review process, with two or three independent PC members reviewing each submission. Only those deemed to be 1) relevant to the workshop's aims, 2) presenting original work, and 3) of good quality and clarity will be accepted. Following the workshop, participants will be required to revise their papers, which will undergo a second review process before publication in the post-proceedings. ORGANISATION Jordi Sabater-Mir (IIIA - CSIC, Spain) Jaime Simão Sichman (University of São Paulo, Brazil); Daniel Villatoro (IIIA - CSIC, Spain) THE MABS STEERING COMMITTEE Frédéric Amblard (Université Toulouse 1, France) Luis Antunes (University of Lisbon, Portugal) Rosaria Conte (National Research Council, Italy) Paul Davidsson (Blekinge Institute of Technology, Sweden) Nigel Gilbert (University of Surrey, UK) Scott Moss (University of Koblenz-Landau, Germany) Keith Sawyer (Washington University in St. Louis, USA) Jaime Simão Sichman (University of São Paulo, Brazil) Keiki Takadama (Tokyo Institute of Technology, Japan) WORKSHOP WEB PAGE http://www.iiia.csic.es/~dvillatoro/MABS2011 From ruy at cin.ufpe.br Thu Dec 16 12:58:11 2010 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Thu, 16 Dec 2010 08:58:11 -0300 Subject: WoLLIC 2011 - CFP - DEADLINE APPROACHING (Jan 1, 2011) Message-ID: *WoLLIC 2011 18th Workshop on Logic, Language, Information and Computation * *May 18th to 21st, 2011 * *University of Pennsylvania Philadelphia, USA* *Scientific Sponsorship* *Interest Group in Pure and Applied Logics (IGPL )* *The Association for Logic, Language and Information (FoLLI )* *Association for Symbolic Logic (ASL )* *European Association for Theoretical Computer Science (EATCS )* *European Association for Computer Science Logic (EACSL )* *Sociedade Brasileira de Computação (SBC )* *Sociedade Brasileira de Lógica (SBL )* *Organisation* *Department of Mathematics , University of Pennsylvania , USA Centro de Informática , Universidade Federal de Pernambuco , Brazil * ------------------------------ There will be a Special Session honoring Max Kanovich on the occasion of his 65-th birthday Speakers include John Mitchell, Mitsuhiro Okada, Paul Rowe, and others (tba) Call for PapersWoLLIC 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 eighteenth WoLLIC will be held at the University of Pennsylvania, Philadelphia, USA, from May 18th to 21st, 2011. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). *Paper submission* Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2011 EasyChair website. (Please go to http://wollic.org/wollic2011/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by January 1, and the full paper by January 8 (firm date). Notifications are expected by February 21, and final papers for the proceedings will be due by March 1 (firm date). *Proceedings* The proceedings of WoLLIC 2011, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. 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 2011 issue of the Annals of Pure and Applied Logic (to be confirmed). *Invited Speakers* *Rajeev Alur* (Philadelphia) *Rosalie Iemhoff* (Utrecht) *John Mitchell* (Stanford) *Vladimir Voevodsky* (Princeton) *Yoad Winter* (Utrecht) *Michael Zakharyaschev* (London) *Student Grants* ASL sponsorship of WoLLIC 2011 will permit ASL student members to apply for a modest travel grant (deadline: February 18, 2011). See http://www.aslonline.org/studenttravelawards.html for details. *Important Dates* January 1, 2011: Paper title and abstract deadline January 8, 2011: Full paper deadline (firm) February 21, 2011: Author notification March 1, 2011: Final version deadline (firm) *Programme Committee* Sergei Artemov (New York) Jeremy Avigad (Pittsburgh) Arnold Beckman (Swansea) Lev Beklemishev (Moscow) (CHAIR) Alessandro Berarducci (Pisa) Andreas Blass (Ann Arbor) (tbc) Sam Buss (San Diego) Achim Jung (Birmingham) Benedikt Löwe (Amsterdam) Janos Makowsky (Haifa) Michael Moortgat (Utrecht) Vincent van Oostrom (Utrecht) Prakash Panangaden (Montréal) Rohit Parikh (New York) Ruy de Queiroz (Recife) Alexander Shen (Marseilles and Moscow) Bas Spitters (Nijmegen) Helmut Veith (Wien) Yde Venema (Amsterdam) Scott Weinstein (Philadelphia) Frank Wolter (Liverpool) *Steering Committee* Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz. *Organising Committee* Vivek Nigam (U Penn) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Andre Scedrov (U Penn) (co-chair) *Further information* Contact one of the Co-Chairs of the Organising Committee. *Web page* http://wollic.org/wollic2011/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From s.van.bakel at imperial.ac.uk Thu Dec 16 14:22:48 2010 From: s.van.bakel at imperial.ac.uk (Steffen van Bakel) Date: Thu, 16 Dec 2010 13:22:48 +0000 Subject: Second CfP: Special Issue APAL on "Classical Logic and Computation" Message-ID: <1FAB3C6A-F49B-492D-8BD2-4085B0DD6AB7@imperial.ac.uk> ANNALS OF PURE AND APPLIED LOGIC THIRD SPECIAL ISSUE ON CLASSICAL LOGIC AND COMPUTATION ************************************************************************ SECOND CALL FOR PAPERS ====================== Contributions on the topic of Classical Logic and Computation are invited for a special issue of Annals of Pure and Applied Logic. On August 22, 2010, the third workshop on "Classical Logic and Computation" took place in Brno - Czech Republic, as a satellite meeting of MFCS/CSL 2010. The workshop covered a broad range of work aiming to explore computational aspects of classical logic and mathematics. The special issue is first of all set up for extended versions of papers presented at the workshop, but the call is open to all researchers. TOPICS Topics of interest for contributions to the journal issue include, but are not limited to: - logic and type theory, - programming language design, - verification, - witness extraction from classical proofs, - game semantic of classical logic, SUBMISSIONS Submissions must be original work which has not been previously published in a journal and is not being considered for publication elsewhere. If related material has appeared in a refereed conference proceedings, the manuscript submitted should be substantially more complete or otherwise different. The title page must include: full title, authors' full names and affiliations, and the address to which correspondence and proofs should be sent. Where possible, e-mail address and telephone number should be included. This should be followed by an abstract of approximately 300 words and five keywords for indexing. IMPORTANT All source files of the final versions of the accepted papers must respect the format of APAL. In order to make a submission, please follow the instructions at http://www.elsevier.com/wps/find/journaldescription.cws_home/505603/authorinstructions Please upload a .pdf file to the following easychair link http://www.easychair.org/conferences/?conf=apalclac10 Deadline for the submission of a title page indicating the intent to submit: January 15, 2011 Deadline for paper submission: February 15, 2011 Guest editors: Steffen van Bakel, Imperial College London, UK Stefano Berardi, Universita` di Torino, Italy Ulrich Berger, Swansea University, UK Contact: s.vanbakel at imperial.ac.uk _______________________________________________ Types mailing list Types at lists.chalmers.se https://lists.chalmers.se/mailman/listinfo/types From ulle.endriss at uva.nl Thu Dec 16 19:20:03 2010 From: ulle.endriss at uva.nl (Ulle Endriss) Date: Thu, 16 Dec 2010 19:20:03 +0100 Subject: EASSS-2011: Call for Tutorial Proposals Message-ID: <4D0A5853.4060700@uva.nl> ********************************************************************** * CALL FOR TUTORIAL PROPOSALS * 13th European Agent Systems Summer School (EASSS-2011) (to be held in Girona, Catalonia, Spain *** 11-15 July 2011) Deadline: 31 January 2011 * http://eia.udg.edu/easss2011 * ********************************************************************** The 13th European Agent Systems Summer School (EASSS) will be held in the historic city of Girona during 11-15 July 2011, in the week preceding IJCAI (the International Joint Conference on Artificial Intelligence), which will be held in nearby Barcelona. As its highly successful earlier incarnations, EASSS-2011 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (www.euramas.org). We are now inviting proposals from members of the research community who are willing to offer tutorials at EASSS-2011. We are interested in tutorial proposals in all areas of current research in Autonomous Agents and Multiagent Systems. As a very rough guideline, any topic that might get covered at the AAMAS conference or in the JAAMAS journal would also be suitable for EASSS. We are looking for a mix of tutorials on fundamental and clearly established topics on the one hand, and overviews of new and emerging areas of research on the other. Tutorials should cover an appropriate selection of approaches and not specifically focus on the tutors' own contributions. We encourage both well-established senior researchers and younger colleagues to put in a proposal. Each tutorial is usually given by one or two people (exceptions are, of course, possible; for proposals by more than two tutors, please justify this choice in the proposal and explain how you intend to ensure the coherence of the tutorial). To be able to offer this summer school and to be able to do so at a reasonable price for students, we are dependent on the support of the research community. To make a modest contribution towards the expenses of tutors, if needed, EASSS can provide accommodation for up to three nights, but unfortunately EASSS cannot cover travel expenses. ********************************************************************** HOW TO SUBMIT A PROPOSAL ********************************************************************** To submit a tutorial proposal, please produce a single PDF document covering the points listed below and submit it via the EasyChair system before 31 January 2011. Submit here: http://www.easychair.org/conferences/?conf=easss2011 (1) Title of the proposed tutorial. (2) A short paragraph describing the tutorial (100-300 words), suitable for publication at the EASSS-2011 website. (3) Additional information on the proposed tutorial. Please include as much detail as you see fit. A detailed list of topics to be covered and a short bibliography would be welcome. (4) Name, affiliation, full contact details, and a link to the personal homepage of each tutor. (5) A short paragraph on the background of the tutor or tutors (around 100 words per tutor), suitable for publication at the EASSS-2011 website. (6) Experience of tutors: Please provide details on relevant teaching experience of the tutor(s). (7) Teaching materials: Please indicate what kind of teaching materials do you intend to provide. Note that we will have to receive any materials to be distributed to the students by EASSS no later than 1 June 2011. (8) Duration: Tutorials are typically 4 hours long. If you have strong reasons for wanting to deviate from this standard, please explain this in your proposal. (9) Equipment: Please list any special equipment (beyond data projector and blackboard) that you might need. (10) Any other information you wish to include. ********************************************************************** IMPORTANT DATES ********************************************************************** Deadline for tutorial proposals: 31 January 2011 Notification of acceptance: 15 March 2011 Teaching materials due: 1 June 2011 Summer school: 11-15 July 2011 ********************************************************************** PREVIOUS EDITIONS OF EASSS ********************************************************************** EASSS has been organised annually in different European locations since 1999, when it was held in Utrecht. Here are the websites of the most recent editions: * EASSS-2010 in Saint-Etienne: http://easss2010.emse.fr/ * EASSS-2009 in Torino: http://agents009.di.unito.it/EASSS.html * EASSS-2008 in Lisbon: http://centria.di.fct.unl.pt/events/easss08/ ********************************************************************** CONTACT ********************************************************************** For all matters concerning the technical programme of EASSS-2011 and this Call for Tutorial Proposals, please contact Ulle Endriss or Nicolas Maudet. For matters concerning the local organisation of the summer school, please contact Didac Busquets. Didac Busquets: easss2011 at eia.udg.edu Ulle Endriss: ulle.endriss at uva.nl Nicolas Maduet: maudet at lamsade.dauphine.fr ********************************************************************** -- Ulle Endriss http://www.illc.uva.nl/~ulle/ Institute for Logic, Language & Computation (ILLC) University of Amsterdam Tel: +31 (0)20 525 6511 Postbus 94242 Fax: +31 (0)20 525 5206 1090 GE Amsterdam (NL) Email: u.endriss at uva.nl From Sylvain.Pogodalla at inria.fr Fri Dec 17 15:42:58 2010 From: Sylvain.Pogodalla at inria.fr (Sylvain Pogodalla) Date: Fri, 17 Dec 2010 15:42:58 +0100 Subject: LACL 2011 - 2nd Call for Paper Message-ID: <19723.30450.72231.54678@localhost.localdomain> [Apologies for Multiple Postings] LACL 2011 Logical Aspects of Computational Linguistics June 29th, 30th and July 1st LIRMM, Montpellier, France http://lacl.gforge.inria.fr PRESENTATION LACL'2011 is the 6th edition of a series of international conferences on logical and formal methods in computational linguistics. It addresses in particular the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models. It will be held at the LIRMM, Montpellier, France. It will be co-located with TALN, the conference of the French association for NLP (ATALA). Topics: Computer scientists, linguists, mathematicians and philosophers are invited to present their work on the use of logical methods in computational linguistics and natural language processing, in natural language analysis, generation or acquisition. * logical foundation of syntactic formalisms o categorial grammars o minimalist grammars o dependency grammars o tree adjoining grammars o model theoretic syntax o formal language theory for natural language processing o data-driven approaches * logic for semantics of lexical items, sentences, discourse and dialog o discourse theories o Montague semantics o compositionality o dynamic logics o game semantics o situation semantics o generative lexicon o categorical semantics * applications of these models to natural language processing o software for natural language analysis o software for acquiring linguistic resources o software for natural language generation o software for information extraction o inference tasks o evaluation o scalability SUBMISSIONS and PROCEEDINGS Articles should be written in the LaTeX format of LNCS/LNAI by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) and should not exceed 16 pages (including figures, bibliography, possible apendices). It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically in PDF format at http://www.easychair.org/conferences/?conf=lacl2011 PROCEEDINGS Proceedings will be available at the conference. INVITED SPEAKERS To be announced. PREVIOUS EDITIONS A selection of the 1995 articles appeared in a special issue of the Journal of Logic, Language and Information (7:4, 1998). The proceedings of the international conferences LACL'96 ,LACL'97, LACL'98, LACL'2001 and LACL'2005 appeared in the series Lecture Notes in Artificial Intelligence (volumes 1328, 1582, 2014, 2099, 3492) published by Springer. IMPORTANT DATES Paper submission deadline: February 6th 2011 Notification of acceptance: March 25th 2011 Camera-ready papers due: April 10th 2011 LACL conference: June 29th, 30th and July 1st 2011 CONTACTS sylvain.pogodalla at inria.fr From mchan at inf.ed.ac.uk Sat Dec 18 01:48:15 2010 From: mchan at inf.ed.ac.uk (Michael Chan) Date: Sat, 18 Dec 2010 00:48:15 +0000 Subject: 1st CFP: IJCAI-11 Workshop on Discovering Meaning On the Go in Large & Heterogeneous Data (LHD-11) Message-ID: <4D0C04CF.9000208@inf.ed.ac.uk> Apologies for cross-posting ------------------------------------------------------------------------------ Call for papers for LHD-11 workshop at IJCAI-11, July 2011, Barcelona: Discovering Meaning On the Go in Large & Heterogeneous Data http://dream.inf.ed.ac.uk/events/lhd-11/ ------------------------------------------------------------------------------ An interdisciplinary approach is necessary to discover and match meaning dynamically in a world of increasingly large data. This workshop aims to bring together practitioners from academia, industry and government for interaction and discussion. The workshop will feature: * A panel discussion representing industrial and governmental input, entitled "Big Society meets Big Data: Industry and Government Applications of Mapping Meaning". Panel members will include: * Peter Mika (Yahoo!) * Alon Halevy (Google) * Tom McCutcheon (Dstl) * (tbc) * An invited talk from Fausto Giunchglia, discussing the relationship between social computing and ontology matching; * Paper and poster presentations; * Workshop sponsored by: Yahoo! Research, W3C and others Workshop Description The problem of semantic alignment - that of two systems failing to understand one another when their representations are not identical - occurs in a huge variety of areas: Linked Data, database integration, e-science, multi-agent systems, information retrieval over structured data; anywhere, in fact, where semantics or a shared structure are necessary but centralised control over the schema of the data sources is undesirable or impractical. Yet this is increasingly a critical problem in the world of large scale data, particularly as more and more of this kind of data is available over the Web. In order to interact successfully in an open and heterogeneous environment, being able to dynamically and adaptively integrate large and heterogeneous data from the Web "on the go" is necessary. This may not be a precise process but a matter of finding a good enough integration to allow interaction to proceed successfully, even if a complete solution is impossible. Considerable success has already been achieved in the field of ontology matching and merging, but the application of these techniques - often developed for static environments - to the dynamic integration of large-scale data has not been well studied. Presenting the results of such dynamic integration to both end-users and database administrators - while providing quality assurance and provenance - is not yet a feature of many deployed systems. To make matters more difficult, on the Web there are massive amounts of information available online that could be integrated, but this information is often chaotically organised, stored in a wide variety of data-formats, and difficult to interpret. This area has been of interest in academia for some time, and is becoming increasingly important in industry and - thanks to open data efforts and other initiatives - to government as well. The aim of this workshop is to bring together practitioners from academia, industry and government who are involved in all aspects of this field: from those developing, curating and using Linked Data, to those focusing on matching and merging techniques. Topics of interest include, but are not limited to: * Integration of large and heterogeneous data * Machine-learning over structured data * Ontology evolution and dynamics * Ontology matching and alignment * Presentation of dynamically integrated data * Incentives and human computation over structured data and ontologies * Ranking and search over structured and semi-structured data * Quality assurance and data-cleansing * Vocabulary management in Linked Data * Schema and ontology versioning and provenance * Background knowledge in matching * Extensions to knowledge representation languages to better support change * Inconsistency and missing values in databases and ontologies * Dynamic knowledge construction and exploitation * Matching for dynamic applications (e.g., p2p, agents, streaming) * Case studies, software tools, use cases, applications * Open problems * Foundational issues Applications and evaluations on data-sources that are from the Web and Linked Data are particularly encouraged. Submission LHD-11 invites submissions of both full length papers of no more than 6 pages and position papers of 1-3 pages. Authors of full-papers which are considered to be both of a high quality and of broad interest to most attendees will be invited to give full presentations; authors of more position papers will be invited to participate in "group panels" and in a poster session. All accepted papers (both position and full length papers) will be published as part of the IJCAI workshop proceedings, and will be available online from the workshop website. After the workshop, we will be publishing a special issue of the Artificial Intelligence Review and authors of the best quality submissions will be invited to submit extended versions of their papers (subject to the overall standard of submissions being appropriately high). All contributions should be in pdf format and should be uploaded via http://www.easychair.org/conferences/?conf=lhd11. Authors should follow the IJCAI author instructions http://ijcai-11.iiia.csic.es/calls/formatting_instructions. Important Dates Abstract submission: March 14, 2011 Notification: April 25, 2011 Camera ready: May 16, 2011 Early registration: TBA Late registration: TBA Workshop: 16th July, 2011 Organising Committee: Fiona McNeill (University of Edinburgh) Harry Halpin (Yahoo! Research) Michael Chan (University of Edinburgh) Program committee: Marcelo Arenas (Pontificia Universidad Catolica de Chile) Krisztian Balog (University of Amsterdam) Paolo Besana (University of Edinburgh) Roi Blanco (Yahoo! Research) Paolo Bouquet (University of Trento) Ulf Brefeld (Yahoo! Research) Alan Bundy (University of Edinburgh) Ciro Cattuto (ISI Foundation) Vinay Chaudri (SRI) James Cheney (University of Edinburgh) Oscar Corcho (Universidad Politécnica de Madrid) Shady Elbassuoni (Max-Planck-Institut für Informatik) Jerome Euzenat (INRIA Grenoble Rhone-Alpes) Eraldo Fernandez (Pontifícia Universidade Católica do Rio de Janeiro) Aldo Gangemi (CNR) Pat Hayes (IHMC) Ivan Herman (W3C) Tom McCutcheon (Dstl) Shuai Ma (Beihang University) Ashok Malhorta (Oracle) Daniel Miranker (University of Texas-Austin) Adam Pease (Articulate Software) Valentina Presutti (CNR) David Roberston (University of Edinburgh) Juan Sequeda (University of Texas-Austin) Pavel Shvaiko (Informatica Trentina) Jamie Taylor (Google) Eveylne Viegas (Microsoft Research) -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. From scranefield at infoscience.otago.ac.nz Sun Dec 19 23:51:51 2010 From: scranefield at infoscience.otago.ac.nz (Stephen Cranefield) Date: Mon, 20 Dec 2010 11:51:51 +1300 (NZDT) Subject: CFP: COIN@AAMAS2011 - Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems Message-ID: <10388733.141292799104385.JavaMail.SJN-NOTEBOOK$@SJN-Notebook> CALL FOR PAPERS 12th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems, at the 10th International Conference on Autonomous Agents and Multiagent Systems (COIN at AAMAS 2011) Taipei, Taiwan on May 2 or 3, 2011 http://coin-aamas2011.iiia.csic.es AIMS and SCOPE The pervasiveness of open systems raises a range of challenges and opportunities for technologies in the area of autonomous agents and multi-agent systems. Open systems comprise loosely coupled entities interacting within a society that usually has some overall measures of quality or efficiency. However, achieving and maintaining a "good" society is difficult to achieve as the participating entities, their modes of interaction or the intended purpose of the system may change over time. Moreover, in the case of open multi-agent systems, the autonomy of the agents can work against the effectiveness of the society. There is therefore a need for tools and techniques for articulating and/or regulating interactions in order to make the system more effective in attaining collective goals, more certain for participants or more predictable. Coordination, organizations, institutions and norms are four key governance elements for the regulation of open multi-agent systems, and the COIN workshops constitute a space for debate and exploration of these four elements that are central in the design and use of open systems. We seek to attract high-quality papers addressing mathematical, logical, computational, philosophical and pragmatic issues related to those four aspects; also papers concerned with modelling, animation and simulation techniques for these types of multi-agent systems; as well as papers that discuss tools, prototypes and actual working systems. Papers that present formal treatment of topics as well as those that provide experimental support to claims are welcome. We also encourage authors to report on their experience with systems that have been deployed, applications based on regulated open multi-agent systems, and tools for their development. Of particular interest for the workshop are those papers that articulate a challenging or innovative view. TOPICS OF INTEREST Topics of particular interest for COIN at AAMAS2011 will include: * logics, languages and tools for specifying coordination and norms, implementing or simulating organizations and institutions; * law of open multi-agent systems: regulatory compliance, penalty and sanctions, dispute resolution and conflict prevention; * agent societies and communities, social networks, electronic institutions and virtual organizations; * formal lifecycle models: formation, maintenance, evolution and dissolution of organizations, institutions and normative multi-agent systems; * formal methods for specifying coordination and organizational structures; models for verification, validation and visualisation; * autonomic institutions and self-organization in multi-agent systems; * frameworks and protocols for organized and organizational adaptation; * mechanisms for governance of common pool resources; * agent environments: physical and institutional resources for physical capability and institutional power; * discovery, openness and inter-operation in organizations and institutions; * mixed human-agent coordination and institutions in virtual worlds; participatory simulation. * reports on implemented systems. IMPORTANT DATES January 30, 2011: Paper submission deadline February 27, 2011: Acceptance notification March 6, 2011: Camera-Ready Copies. May 2-3, 2011: AAMAS 2011 workshops VENUE The workshop will be part of the AAMAS 2011 (Autonomous Agents and Multiagent Systems) workshop programme, and will take place at the Taipei International Convention Center (TICC) in Taipei, Taiwan in the first week of May. PROCEEDINGS Preliminary proceedings will be distributed to AAMAS 2011 registrants in electronic form. Printed workshop notes will NOT be made available to workshop participants. As with previous COIN workshops, revised and extended versions of selected papers will be published in a Springer LNCS volume in combination with the post-proceedings of a second COIN workshop to be held in 2011. That volume will be published as part of the Coordination, Organizations, Institutions, and Norms in Agent Systems book series, with all the indexing, referencing and follow-up benefits associated with an established line of publication. Revised papers must take into account the discussion held during the workshop, hence only those papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume. INSTRUCTIONS FOR AUTHORS For preparation of papers to be submitted please follow the instructions for authors available at the Springer LNCS Web page. The length of each paper including figures and references may not exceed 15 pages. All papers must be written in English and submitted in PDF format. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the workshop to present the work. For submission of papers, please use: http://www.easychair.org/conferences/?conf=coinaamas2011 ORGANIZATION The programm committee will include the following people. See the workshop Web page for updates (http://coin-aamas2011.iiia.csic.es). Alex Artikis (National Centre for Scientific Research "Demokritos", Greece) Guido Boella (University of Torino, Italy) Olivier Boissier (ENS Mines Saint-Etienne, France) Cristiano Castelfranchi (ISTC/CNR, Italy) Antonio Carlos da Rocha Costa (UCPEL, Brazil) Virginia Dignum (University of Utrecht, Netherlands) Nicoletta Fornara (University of Lugano, Switzerland) Jomi-Fred Hubner (University of Blumenau, Brazil) Christian Lemaitre (Metropolitan Autonomous University, Mexico) Victor Lesser (University of Massachusetts Amherst, USA) Eric Matson (Purdue University, USA) John-Jules Meyer (Utrecht University, Netherlands) Simon Miles (Kings College London, UK) Eugenio Oliveira (University of Porto, Portugal) Andrea Omicini (University of Bologna, Italy) Sascha Ossowski (University Rey Juan Carlos, Spain) Julian Padget (University of Bath, UK) Alessandro Ricci (University of Bologna, Italy) Juan-Antonio Rodriguez-Aguilar (IIIA-CSIC, Spain) Tony Savarimuthu (University of Otago, New Zealand) Christophe Sibertin-Blanc (IRIT, France) Jaime Sichman (University of Sao Paulo, Brazil) Viviane Torres da Silva (Fluminense Federal University, Brazil) Munindar Singh (North Carolina State University, USA) Catherine Tessier (ONERA, France) Wamberto Vasconcelos (University of Aberdeen, UK) Javier Vazquez-Salceda (Universitat Politecnica de Catalunya, Spain) Harko Verhagen (Stockholm University, Sweden) Marina de Vos (University of Bath, UK) George Vouros (University of the Aegean, Greece) Pinar Yolum (Bogazici University, Turkey) COIN Steering Committee: * Alex Artikis (National Centre for Scientific Research "Demokritos", Greece) * Eric Matson (Purdue University, USA) * Nicoletta Fornara (University of Lugano, Switzerland) * George Vouros (University of the Aegean, Greece) * Jeremy Pitt (Imperial College London, UK) * Julian Padget (University of Bath, UK) * Javier Vazquez-Salceda (Technical University of Catalonia, Spain) * Vivian Torres da Silva (Fluminense Federal University, Brazil) * Wamberto Vasconcelos (University of Aberdeen, UK) COIN at AAMAS 2011 Co-Chairs: Stephen Cranefield (University of Otago, New Zealand) scranefield at infoscience.otago.ac.nz Pablo Noriega (IIIA-CSIC, Spain) pablo at iiia.csic.es From gini at cs.umn.edu Mon Dec 20 13:33:24 2010 From: gini at cs.umn.edu (Maria Gini) Date: Mon, 20 Dec 2010 06:33:24 -0600 Subject: doctoral consortium and scholarships for IJCAI 2011 Message-ID: <20101220123323.GA18546@cs.umn.edu> Graduate students are invited to apply for admission to the doctoral consortium to be held at the IJCAI conference, July 16-22, 2011, Barcelona. == Deadline for applications: February 8, 2011 == Notification of acceptance: mid March 2011 Requirements: 1. a two-page extended abstract on thesis research, formatted following the IJCAI requirements. Accepted abstracts will be included in the IJCAI Proceedings and be presented briefly at the doctoral consortium in a small group. Acceptance for publication is not a requirement for admission to the doctoral consortium 2. a curriculum vitae (max 2 pages) 3. a personal statement (1-2 pages max) with answers to a few questions. Full details at http://ijcai-11.iiia.csic.es/calls/application Students from the US are invited to apply for a NSF scholarship and for an extended (6-8 weeks) paid research visit to a European research group. Many of the research groups are part of the European program on Cognitive Systems, Interaction, Robotics. Details and additional requirements at http://ijcai-11.iiia.csic.es/calls/us_applications Students can also submit papers to IJCAI (deadline January 19 -- see http://ijcai-11.iiia.csic.es/calls/call_for_papers) and apply for IJCAI travel grants -- see http://ijcai-11.iiia.csic.es/travel_grants For additional information and questions contact: Maria Gini Professor Department of Computer Science & Engineering, University of Minnesota email: gini at cs.umn.edu or Judy Goldsmith Professor Department of Computer Science, University of Kentucky email: goldsmit at cs.uky.edu From xavier.parent at uni.lu Mon Dec 20 16:41:30 2010 From: xavier.parent at uni.lu (xavier parent) Date: Mon, 20 Dec 2010 15:41:30 +0000 Subject: Junior researcher/ PhD student in Computer Science Message-ID: The University of Luxembourg invites applications for the following vacancy in its Computer Science and Communications Research Unit (http://csc.uni.lu): Junior researcher/ PhD student in Computer Science (M/F) * Ref: F1-080008A * Fixed-term contract of 2+2 years, full-time (40 hours/week), * Student and employee status, limited teaching activities * Starting as soon as possible. Tasks * Perform research in the area of normative reasoning in computer science, e.g. on normative multi-agent systems * Prepare a doctoral thesis at the Computer Science and Communications(CSC) research unit, working under the supervision of Prof. Dr. Leon van der Torre, head of the Individual and Collective Reasoning (ICR) group, within the Interdisciplinary Lab of Intelligent and Adaptive Systems * Contribute to teaching activities, one to three hours per week and semester (Bachelor and/or Master) * Collaborate actively with other group members Profile * Master degree in computer science or equivalent research fields, giving access to PhD studies * Strong background in logic-based approaches to artificial intelligence and/or multi-agent systems * Strong analytical skills and innovation potential * Good oral and written English skills. Offer * An international dynamic research-oriented environment Application * Applications should include an introduction letter indicating the motivation, a detailed CV including copies of the MSc diploma and information about the grades, and the names and contact details of two referees. We accept only electronic submissions, which should be sent to Xavier Parent (xavier.parent(at)uni.lu) and Leon van der Torre (leon.vandertorre(at)uni.lu), quoting the reference number for this position : F1-0080008A. * The deadline for applications is January 15th, 2011. All applications will be handled in strict confidence. For more info on the ICR group, visit http://icr.uni.lu The University of Luxembourg offers a competitive salary. Women are strongly encouraged to apply. The University of Luxembourg is an equal opportunity employer. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From CSIE2011CFP at cust.edu.cn Mon Dec 20 17:04:27 2010 From: CSIE2011CFP at cust.edu.cn (Mingfen Li) Date: Tue, 21 Dec 2010 00:04:27 +0800 Subject: Congress on Computer Science & Information Engineering, Jilin, China (EI/ISTP/IEEE Xplore) Message-ID: <492861402.10989@cust.edu.cn> Dear Author, Due to many requests, CSIE 2011 is open for a second round submissions with a deadline 31 December. Submissions in each round will follow its own timetable for review and registration. Authors are encouraged to submit papers in both rounds, but please do not submit papers already submitted to the first round again to the second round. Please forward this announcement to your colleagues/students in your department. Thank you. 2011 2nd World Congress on Computer Science and Information Engineering (CSIE 2011) 17-19 June 2011, Changchun, China http://world-research-institute.org/conferences/CSIE/2011 Call for Papers & Exhibits CSIE 2011 intends to be a global forum for researchers and engineers to present and discuss recent advances and new techniques in computer science and information engineering. Topics of interests include, but are not limited to, data mining & data engineering, intelligent systems, software engineering, computer applications, communications & networking, computer hardware, VLSI, & embedded systems, multimedia & signal processing, computer control, robotics, and automation. All papers in the CSIE 2011 conference proceedings will be indexed in Ei Compendex and ISTP, as well as included in the IEEE Xplore (The previous conference CSIE 2009 has already been indexed in Ei Compendex and included in the IEEE Xplore). IEEE Catalog Number: CFP1160F-PRT. ISBN: 978-1-4244-8361-7. The registration fee of US$410 or CNY 2700 includes lunches, dinners, coffee breaks, and banquet. Changchun is the capital city of Jilin province, situated in the central section of China's northeast region. There are many natural attractions to entertain residents and visitors around Changchun. The grand Changbai Mountain renowned for its spectacular landscape, charming scenery, glamorous legends, as well as rich resources and products, has been praised as the first mountain in the northeast, outstanding as one of the China’s top-ten famous mountains. Other attractions in or around Changchun include Songhua lake (Songhuahu), Jingyue Lake (Jingyuetan), Changchun Movie Wonderland, Changchun Puppet Palace (Weihuanggong), Changchun World Sculpture Park, and Changchun World Landscape Park, etc. Important Dates: Second Round Submission Timetable: Paper Submission Deadline: 31 December 2010 Review Notification: 31 January 2011 Final Paper and Author Registration Deadline: 9 March 2011 First Round Submission Timetable: Paper Submission Deadline: 5 November 2010 Review Notification: 6 December 2010 Final Paper and Author Registration Deadline: 6 January 2011 Contact Information If you have any inquiries, please email us at CSIE2011 at cust.edu.cn Please forward to others in your school/department. To unsubscribe, please reply with “unsubscribe event at tu-clausthal.de ” as your email subject. With kind regards, Mingfen Li CSIE 2011 Committee -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From torben at ruc.dk Mon Dec 20 16:54:22 2010 From: torben at ruc.dk (Torben Brauner) Date: Mon, 20 Dec 2010 16:54:22 +0100 Subject: New book Message-ID: <4D0F7C2E.7050102@ruc.dk> BOOK ANNOUNCEMENT Hybrid Logic and its Proof-Theory by Torben Braüner Applied Logic Series, Vol. 37 Springer, 2011 ISBN 978-94-007-0001-7 * This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. * There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic). * All these proof systems can be motivated independently, but the fact that the systems can be given in a uniform way shows that hybrid logic and hybrid-logical proof-theory is a natural enterprise. * Further information can be found at http://www.springer.com/philosophy/logic+and+philosophy+of+language/book/978-94-007-0001-7 From ecal.cfp2011 at gmail.com Tue Dec 21 14:20:46 2010 From: ecal.cfp2011 at gmail.com (ecal2011 ecal2011) Date: Tue, 21 Dec 2010 14:20:46 +0100 Subject: ECAL 2011: CALL FOR PAPERS Message-ID: C A L L F O R P A P E R S : E C A L 2 0 1 1 << Back to the origins of Alife >> ECAL 2011, European Conference on Artificial Life, an international conference on the simulation and synthesis of living systems 8-12 August 2011, Paris, France www.ecal11.org ==================== Artificial Life is an interdisciplinary undertaking that investigates the fundamental properties of living systems through the simulation and synthesis of biological entities and processes. It also attempts to design and build artificial systems that display properties of organisms, or societies of organisms, out of abiotic or virtual parts. ECAL, the European Conference on Artificial Life, is a biennial event that alternates with the US-based Alife conference series. In the early 1990's, the first two ECAL conferences in Paris and Brussels were mainly centered on theoretical biology and the physics of complex systems. Today, we feel that Alife can look back on these origins and take more inspiration from new developments at the intersection between computer science and theoretical biology — thus it is our wish to refocus the conference on complex biological systems. Closing a loop, this ECAL will mark the 20th anniversary of the 1st ECAL and will be framed as a tribute to the late Francisco Varela, co-organizer in 1991 with two of this year's committee members (Paul Bourgine and Hugues Bersini). You are invited to submit papers to this exciting event! (Please forward this call responsibly.) IMPORTANT DATES --------------------- o Paper and abstract submission: 6 April 2011 o Paper and abstract notification: 10 June 2011 o Camera ready papers: 1 July 2011 o Early registration: 10 June 2011 o End of registration: 31 July 2011 THEMES --------------------- A new body of disciplines: Over the past two decades, biological knowledge has grown at an unprecedented rate, giving rise to new disciplines such as systems biology —- testimony of the striking progress of modeling and quantitative methods across the field. During the same period, highly speculative ideas have matured, and entire conferences and journals are now devoted to them. Synthesizing artificial cells, simulating large-scale biological networks, storing and making intelligent use of an exponentially growing amount of data (e.g., microarrays), exploiting biological substrates for computation and control, and deploying bio-inspired engineering are all cutting-edge topics today. ECAL 2011 will leverage the remarkable development of biological modeling and extend the topics of Artificial Life to the fundamental properties of living organisms: their multiscale pattern-forming morphodynamics, their autopoiesis, robustness, capacity to self-repair, cognitive capacities, and co-adaptation at all levels, including ecological ones. ECAL 2011 will bring together a large interdisciplinary community of biologists, computer scientists, physicists, and mathematicians. It will invite them to reflect on how traditional boundaries between disciplines have become blurred, and to revisit in depth what constitutes “life”. Papers are welcome in all areas of the field, including: - Artificial Chemistries - Biological & Chemical Information Processing and Production - Complex Networks - Emergent Engineering - Evolutionary and Learning Dynamics - Minimal Cognition and Physical Intelligence - Minimal (Bottom up) Synthetic Cells - Mixed Living (Technology) Systems - Modular Robotics - Multilevel Ecologies - Organizations & Collective Intelligence - Origins of Life - Protocellular Energetics & Metabolic Networks - Philosophy of Artificial Life & Living Technology - Robotic Energy Autonomy - Robotic Self-Assembly - (Chemical) Self-Assembly & Complexity - Socio-Technical Systems - Systems Biology - Swarm Intelligence - Theoretical and Computational Frameworks - Top Down Artificial Cells All authors are encouraged to explain how their work sheds light on the fundamental properties of living systems and makes progress on the important open questions identified during previous meetings. PAPER/ABSTRACT FORMAT --------------------- There are two options for submission: either full paper format or abstract format. 1. Full papers have an 8-page maximum length, which should report on new, unpublished work 2. Abstracts are limited to 2 pages and should discuss work previously published in a journal. It is therefore essential that a reference to the previously published article is cited. All submissions will be subject to peer review, and all accepted submissions will be allocated either an oral presentation slot or a poster slot with no distinction being made between the two submission formats. All formatting guidelines (including Word and LaTeX style files) and submission instructions will be available on the conference website within the next few weeks at http://www.ecal11.org/call-for-papers PUBLICATION --------------------- Every accepted full-paper and abstract submission will be published by MIT Press in a single online open-access proceedings volume. The top 10 accepted publications will have the opportunity to publish a revised and expanded version of their conference paper in the Artificial Life journal. LOCATION --------------------- The conference will be held at the Cité Internationale Universitaire de Paris (CIUP), located on a wooded park at the southern edge of the French capital. See more information at http://www.ecal11.org/venue Registration information will be posted soon at http://www.ecal11.org/registration ORGANIZATION --------------------- * René Doursat, Chair * Hugues Bersini * Paul Bourgine * Mario Giacobini & Tom Lenaerts, Program Chairs * Marco Dorigo CONTACT --------------------- For further information about the conference program and travel arrangements, please see the website, http://www.ecal11.org. For questions about the submission, reviewing process and other issues, email to: contact at ecal11.org. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From asaffio at aass.oru.se Tue Dec 21 16:58:45 2010 From: asaffio at aass.oru.se (Alessandro Saffiotti) Date: Tue, 21 Dec 2010 16:58:45 +0100 (CET) Subject: Three PhD student positions at University of Orebro, Sweden Message-ID: ---------------------------------------------------------------------- ***** Three PhD Student Position Available ***** Center for Applied Autonomous Sensor Systems (AASS) Orebro University, Sweden ---------------------------------------------------------------------- Three PhD positions in Computer Science are available at the AASS Mobile Robotics Lab of Örebro University, Sweden, on the following research topics. * Topic 1: Human-Aware Planning for Mobile Robots. This project is concerned with artificial intelligence techniques for robot task planning where one or several domestic robots gather information about the activities of the human inhabitants. This information is then used when the robots plan how to perform their tasks, in order to e.g. avoid interference. * Topic 2: Cognitive Electronic Noses. This project aims to develop a system which combines low -level signals from olfactory (gas) sensors with high-level knowledge representing the context, causes and composition of odours. The aim is to create a recognition system that can be applied to a number of application domains within medical diagnosis, environmental monitoring and food quality monitoring. * Topic 3: Robotics Ubiquitous Cognitive Network. This project combines traditional artificial intelligence reasoning techniques for networked robot systems with dynamic learning. The research is part of a larger European research project aiming at the creation of a self-organising and goal oriented ecology of networked robotic devices. Candidates should have a strong background in computer science and specifically in artificial intelligence. Detailed information about the positions and the application procedure can be found at http://aass.oru.se/Research/Robots/positions.html Application deadline is January 14, 2011. ---------------------------------------------------------------------- Two words about the working place: Orebro University (www.oru.se) is a modern university currently enrolling about 18,000 students. It is located in Orebro, a city of 130,000 inhabitants situated in central Sweden (www.orebro.se). The AASS Mobile Robotics Lab (www.aass.oru.se/Research/Robots) is one of the three research groups within the Center for Applied Autonomous Sensor Systems at Orebro University. AASS performs multi-disciplinary research in robotics, machine learning, artificial intelligence, and measurement technology. The research and human environment at AASS is young and enthusiastic. Researchers come from a dozen different countries, in Europe and worldwide, and have different scientific and cultural backgrounds. AASS also frequently hosts international researchers and is involved in several international projects. This means that the enrolled PhD students will have the opportunity to travel and to cooperate with people in other countries. The AASS Mobile Robotics Lab is internationally renowned for its work in cognitive robotics, robot ecologies and artificial olfaction. The three proposed topics belong to these research lines, which means that the selected students will be at the forefront of world research in their respective area. ---------------------------------------------------------------------- _/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/ Prof Alessandro Saffiotti www.aass.oru.se/~asaffio Head of AASS Mobile Robotics Lab asaffio at aass.oru.se School of Science and Technology Tel: +47 19 303794 Orebro University, Orebro, Sweden Fax: +46 19 303463 _/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/ From organization at arcoe.org Wed Dec 22 10:21:46 2010 From: organization at arcoe.org (ARCOE) Date: Wed, 22 Dec 2010 11:21:46 +0200 Subject: IJCAI-11 Workshop ARCOE - first Call for Papers Message-ID: Sincere apologies for multiple postings. ======================= CALL FOR PAPERS ARCOE-11 at IJCAI-11 Date: July 17-18 2011 Barcelona, Spain ======================= The IJCAI-11 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-11) http://www.arcoe.org held on 17 and 18 July 2011 at the International Joint Conference on Artificial Intelligence (IJCAI-11) -- 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-based languages. 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 designing, controlling and maintaining an ontology as well as its different 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-11 aims at bringing together researchers and practitioners from core areas of Artificial Intelligence (Knowledge Representation and Reasoning, Contexts, and Ontologies) and related disciplines 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, as well as its intrinsic relevance and usability, depends on its context. The latter is determined by the syntactic and/or semantic structure of the resources, the scope of the underlying language, among other things. 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 and maintaining an ontology. Despite their expertise and any assistance from domain experts, revision cycles are the rule. Moreover quite often different ontologies have to be integrated in such a way for them to be operable together (merging). 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 that provide support for ontology change (debugging, updates and repair), maintenance (versioning) and integration (merging). 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 solely on human intervention. Research on this problem has either concentrated on techniques borrowed from the non-monotonic reasoning and belief revision communities or on changes of signature, i.e., of the grammar of the ontology's language, with a minimal disruption to the original theory. This is also an important issue in the emerging area of General Game Playing. ARCOE-11 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 consist of presentations and discussions around the theme of 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 consist of presentations and discussions around the theme of Common Sense and Non-Monotonic Reasoning in logic-based Knowledge Representation and Reasoning for ontologies. These are classic areas of AI, which since their origins have produced remarkable results on logic-based methods for supporting knowledge engineers and for enhancing software agents. Track 3: Automated Ontology Evolution This track will consist of presentations and discussions around the theme of Automated Ontology Evolution for agents and general problem solving, an area which in recent years has been drawing the attention of Artificial Intelligence and Knowledge Representation and Reasoning on the assessment of change impact and 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. ARCOE-11 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 -- ARCOE-11 welcomes submissions on the tracks below as well on their intersection. (The division in tracks is only for organizational purposes during the workshop. Authors are not required to assign themselves to a specific track at the time of submission.) 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 the 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 - Non-classical belief revision - 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 - Ontology versioning - Adaptive systems and reconfiguration - General problem solving - Agent communication - Persistent agents in changing environment - Multimedia on the Web - IT and automated reasoning -- Attendance -- Authors and submissions will be selected on the significance of the contribution, on how the work positions itself with respect to Tracks 1-3 above, and on the submission's potential to foster discussions and integration. Also, authors will be preferred to simple attendees. Attendees are welcome, but will be selected on a first-come-first-served basis. Please check the IJCAI-11 website for registration procedure, fees as well as cancellation policies. -- Submission Requirements and Dates -- ARCOE-11 will accept submissions of long abstracts, for both long presentations and poster presentations. The distinction during the selection-phase will be based on 1) Relevance, significance and quality of the submission; 2) Degree of interdisciplinarity of the contribution with respect to Tracks 1-3 above, i.e., the contribution's potential to foster cross-pollination and discussions on ARCOE main themes during the event. In an effort to integrate this relatively new research area, submissions to ARCOE-11 should be able to explicitly and uniformly introduce their work relative to the call for papers and to other approaches. For instance, given specific approaches such as DL-based belief revision, or Context Logic integrated by Natural Language Processing (NLP), or Higher-Order Logic (HOL) or Machine Learning (ML), the authors are expected to introduce their proposals by clearly positioning themselves relative to: 1) Specific canonical problems in their respective area; 2) Paradigms, tools and applications within their own approach; 3) ARCOE's list of canonical problems in Tracks 1-3, i.e., the contribution should be able to make clear how it is positioned relative to ontology and context, ontology engineering and/or general problem solving and communication for agents. All selected abstracts will be included in the Working Notes. Authors are kindly requested to provide keywords upon submission. The format for submissions is the same as that of IJCAI-11. Please check the IJCAI author instructions website for the style files. Submissions should be no longer than 5 pages and in PDF format. The possibility is being considered of publishing extended versions of the best works from the workshop in a special issue of a peer-reviewed journal. Submission deadline: March 14, 2011 Notification: April 25, 2011 Camera ready: May 16, 2011 Early registration: [TBA] Late registration: [TBA] Workshop dates: 17 and 18 July 2011 -- Submit to -- Please submit to http://www.easychair.org/conferences/?conf=arcoe11 -- 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: +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: +44-131-650-6899 Ivan Varzinczak (primary contact) CSIR Meraka Institute Meiring Naude Road, CSIR, 0001 Pretoria, South Africa. Tel: +27-12-841-2594, Fax: +27-12-841-4720 -- Program Committee -- - Franz Baader (TU Dresden, Germany) - Christoph Benzmueller (Articulate Software, USA) - Richard Booth (University of Luxembourg and Mahasarakham University, Thailand) - Paolo Bouquet (University of Trento, Italy) - Jim Delgrande (Simon Fraser University, Canada) - Jerome Euzenat (INRIA & LIG, France) - Nicola Fanizzi (University of Bari, Italy) - Giorgos Flouris (FORTH, Greece) - Chiara Ghidini (FBK Fondazione Bruno Kessler, Italy) - Fausto Giunchiglia (University of Trento, Italy) - Deborah McGuinness (Rensselaer Polytechnic Institute, USA) - Thomas Meyer (Meraka Institute, South Africa) - Alessandra Mileo (Digital Enterprise Research Institute, Ireland) - Amedeo Napoli (LORIA CNRS, France) - Maurice Pagnucco (The University of New South Wales, Australia) - Valeria de Paiva (Cuil Inc., USA) - Jeff Pan (University of Aberdeen, UK) - Dimitris Plexousakis (FORTH, Greece) - Guilin Qi (Southeast University, China) - Marcio Ribeiro (University of Sao Paulo, Brazil) - Luciano Serafini (FBK Fondazione Bruno Kessler, Italy) - Renata Wassermann (University of Sao Paulo, Brazil) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From martin.lange at uni-kassel.de Wed Dec 22 15:10:57 2010 From: martin.lange at uni-kassel.de (Martin Lange) Date: Wed, 22 Dec 2010 15:10:57 +0100 Subject: Senior Research Associate in Computational Logic at the University of Kassel, Germany In-Reply-To: <4C972B05.6000701@uni-kassel.de> References: <4C972B05.6000701@uni-kassel.de> Message-ID: <4D1206F1.4040104@uni-kassel.de> *** apologies for multiple copies *** The Department of Electrical Engineering and Computer Science at the University of Kassel, Germany, announces a senior research associate position in the area of computational logic. The position is full-time, available immediately for almost 5 years, and is part of the research group "Formal Methods and Verification" headed by Prof. Martin Lange. An appointment will initially be made for two years and can be expected to extend until 30/11/2015. The position is funded via the ERC project "Model Checking Unleashed" which will investigate non-standard applications of model checking techniques in various areas of computer science and related subjects. The successful candidate - must have a PhD in (theoretical) computer science or related areas; - ideally has some experience of working at post-doc level already; - must have a good background in computational logic; - should have some knowledge in the area of model checking; - should provide evidence of being able to carry out research tasks independently (e.g. through publications at conferences and in journals, through initiatives to attract funding for research projects, through supervision of students, etc.) - should be interested in inter-disciplinary research involving computational logic; - will be required to carry out parts of the research plan for the project, bring in ideas of their own, help to select and supervise more junior team members, etc. The position is paid according to the financially attractive pay scale TV-H EG14(!), equivalent to the former BAT Ib and being one level above the ordinary scale EG13 for research assistants. Funding for conference trips etc. is available. Knowledge of the German language is not a requirement for this position, and the post comes without teaching obligations. Informal inquiries are welcome and should be directed to Martin Lange via "martin lange uni kassel de" or +49/0 561 804 6261. Applications containing the usual documents (CV, publication record) should - clearly state the reference number 15167, - explain the candidate's suitability according to the criteria listed above, - contain contact details of people who would be able to provide letters of recommendation, - be directed to the HR department at the University of Kassel, preferably electronically via "pvabt3 at uni-kassel.de". Deadline for applications: January 31st, 2011 Official job announcement (in German): http://www.uni-kassel.de/pvabt3/stellen/extern/15167.ghk From jleite at di.fct.unl.pt Wed Dec 22 19:38:01 2010 From: jleite at di.fct.unl.pt (Joao Leite) Date: Wed, 22 Dec 2010 19:38:01 +0100 Subject: Preliminary CFP: CLIMA XII - 12th Int'l Workshop on Computational Logic in Multi-Agent Systems Message-ID: [Please accept our apologies if you receive multiple postings.] ++++++++++++++++++++++++++++++++++++++++++++++++++++ Preliminary Call for Papers CLIMA XII 12th International Workshop on Computational Logic in Multi-Agent Systems with special sessions on: * Norms and Normative Multi-Agent Systems. * Logics for Games and Social Choice. http://centria.di.fct.unl.pt/events/climaXII/ Barcelona, Spain, July 17-18, 2011. Affiliated with IJCAI'11. Submission deadline: April 4/8th. Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++ The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. Following the previous ten, very successful, editions, the 12th CLIMA will be affiliated with IJCAI'11 and will take place in Barcelona, Spain, on the 17th and 18th of July 2011. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions: * Norms and Normative Multi-Agent Systems * Logics for Games and Social Choice We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXII/ Important dates: * Submission: April 4th (Abstracts) / April 8th (Papers) * Notification: May 4th * Camera Ready: May 16th CLIMA XII Chairs: * João Leite, New University of Lisbon, Portugal * Paolo Torroni, University of Bologna, Italy Special Session Organisers: Norms and Normative Multi-Agent Systems: * Guido Boella, University of Turin, Italy * Leon van der Torre, Univ. of Luxembourg, Luxembourg Logics for Games and Social Choice: * Thomas Ågotnes, University of Bergen, Norway Please send all enquiries about CLIMA XII to clima2011 at easychair.org. -- --------------------------------------------------------------- Joao Leite FCT-UNL - Universidade Nova de Lisboa, Faculdade de Ciencias e Tecnologia, Departamento de Informatica e-mail: jleite at di.fct.ul.pt web: http://centria.di.fct.unl.pt/~jleite --------------------------------------------------------------- From guido.governatori at nicta.com.au Thu Dec 23 01:47:13 2010 From: guido.governatori at nicta.com.au (Guido Governatori) Date: Thu, 23 Dec 2010 10:47:13 +1000 Subject: RuleML2011@IJCAI Call for Papers Message-ID: <061361F8-791D-4D0E-809D-2D3009BE4502@nicta.com.au> CALL FOR PAPERS RuleML 2011 at IJCAI 5th International Symposium on Rules: Research Based, Industry Oriented Barcelona, Spain, 19-21 July 2011 http://2011.ruleml.org About RuleML 2011 Symposia -------------------------- The International Symposium on Rules, RuleML, has evolved from an annual series of international workshops since 2002, international conferences in 2005 and 2006, and international symposia since 2007. In 2011 two instalments of the RuleML Symposium will take place. The first one will be held in conjunction with IJCAI 2011 (International Joint Conference on Artificial Intelligence) in Barcelona in July, and the second will be co-located with the Business Rule Forum to be held in late October-early November in North America including Challenge Award that this year will be dedicate to Rules and Ontologies. For RuleML-2011 at IJCAI a selection of the best papers will be presented during a joint session with IJCAI, and the authors of such papers will be invited to submit a revised version of their papers for inclusion in the IJCAI proceedings. Objectives ---------- RuleML-2011 at IJCAI is a research-based, industry-focused symposium: its main goal is to build a bridge between academia and industry in the field of rules and semantic technology, and so to stimulate the cooperation and interoperability between business and research, by bringing together rule system providers, participants in rule standardization efforts, open source communities, practitioners, and researchers. The concept of the symposium has also advanced continuously in the face of extremely rapid progress in practical rule and event processing technologies. As a result, RuleML-2011 will feature hands-on demonstrations and challenges alongside a wide range of thematic tracks. It will thus be an exciting venue to exchange new ideas and experiences on all issues related to the engineering, management, integration, interoperation, and interchange of rules in distributed enterprise intranets and open distributed environments. Topics ------ As in the previous years the Symposium will be organized in tracks, specifically for RuleML-2011 at IJCAI the focus will be on the following areas: - Rules and Automated Reasoning - Logic Programming and Non-monotonic Reasoning - Rules, Workflows and Business Processes - Rules, Agents and Norms - Rule-Based Distributed/Multi-Agent Systems - Rule-Based Policies, Reputation and Trust - Rule-based Event Processing and Reaction Rules - Fuzzy Rules and Uncertainty - Rule Transformation and Extraction - Vocabularies, Ontologies, and Business rules Submission Guidelines --------------------- Authors are invited to submit original contributions of practical relevance and technical rigor in the field, experience reports and show case/use case demonstrations of effective, practical, deployable rule-based technologies or applications in distributed environments. Papers must be in English and may be submitted at http://www.easychair.org/conferences/?conf=ruleml2011 at ijcai as: Full Papers (15 pages in the proceedings) Short Papers (8 pages in the proceedings) Please upload all submissions as PDF files in LNCS format (http://www.springer.de/comp/lncs/authors.html). To ensure high quality, submitted papers will be carefully peer-reviewed by at least 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Publications ------------ The selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series. Authors of the best papers will be invited to submit a revised version of their papers for inclusion in the IJCAI 2011 Proceedings. Important Dates --------------- Abstract submission: February 25, 2011 (11:59PM, UTC-12) Paper submission: March 4, 2011 (11:59PM, UTC-12) Notification of acceptance/rejection: March 31, 2011 Camera-ready copy due: April 15, 2011 RuleML-2011 dates: July 19-21, 2011 Other Activities ---------------- Apart from the rigorous scientific paper sessions, few other collocated activities are planned, such as workshops focused on rule-specific areas, a PhD student workshop, and a poster-demo session, where researchers can demonstrate hands-on experience about solving real-world problems with rule-based applications. Optionally, demos can also be considered for the RuleML Challenge that will take place at the RuleML at BRF. Stay tuned on the symposium site for future announcements about these activities. Program Committee ----------------- General Chairs Georg Gottlob, University of Oxford, UK Juergen Dix, TU Clausthal, Germany Program Chairs Adrian Paschke, Freie Universitaet Berlin, Germany Guido Governatori, NICTA, Australia Nick Bassiliades, Aristotle University of Thessaloniki, Greece Organization Chairs Luis Polo, CITIC, Spain Gines Moreno, Universidad de Castilla La Mancha, Spain Steering Chairs John Hall, Model Systems, UK Christian Saint Marie, IBM ILog, France The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. From invitation at iarianews.org Fri Dec 24 02:00:57 2010 From: invitation at iarianews.org (InfoWare 2011) Date: Thu, 23 Dec 2010 20:00:57 -0500 (EST) Subject: 2nd CfP || InfoWare 2011: June 19-24, 2011 - Luxembourg Message-ID: <328377.12912.1293152457265.JavaMail.owner@OWNER-PC> INVITATION Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events. The submission deadline is February 5, 2011. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= InfoWare 2011: June 19-24, 2011 - Luxembourg see: http://www.iaria.org/conferences2011/InfoWare11.html InfoWare 2011 is a federated event focussing on advanced topics concerning computation, wireless and mobile communications, internet, access networks, and collaboative systems and applications. Submission (full paper) deadline: February 5, 2011. Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html. For details on the each conference's topics, see the individual Call for Papers for each conference. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. Extended versions of selected papers will be published in IARIA on-line Journals (http://www.iariajournals.org) and in Special issues of different journals mentioned on the entry page of each conference. All tracks/topics are open to both research and industry contributions. -- ICCGI 2011, The Sixth International Multi-Conference on Computing in the Global Information Technology http://www.iaria.org/conferences2011/ICCGI11.html -- ICWMC 2011, The Seventh International Conference on Wireless and Mobile Communications http://www.iaria.org/conferences2011/ICWMC11.html -- INTERNET 2011, The Third International Conference on Evolving Internet http://www.iaria.org/conferences2011/INTERNET11.html -- ACCESS 2011, The Second International Conference on Access Networks http://www.iaria.org/conferences2011/ACCESS11.html -- COLLA 2011, The First International Conference on Advanced Collaborative Networks, Systems and Applications http://www.iaria.org/conferences2011/COLLA11.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about InfoWare, please reply with "DROP InfoWare event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From bcseet at ieee.org Tue Dec 28 15:34:39 2010 From: bcseet at ieee.org (Boon-Chong Seet) Date: Wed, 29 Dec 2010 03:34:39 +1300 Subject: CFP: Journal Theme Issue on Sensor-Driven Computing and Applications for Ambient Intelligence Message-ID: CALL FOR PAPERS ACM/Springer Journal of Personal and Ubiquitous Computing (SCI-indexed) Theme Issue on "Sensor-Driven Computing and Applications for Ambient Intelligence" Ambient Intelligence (AmI) is essentially a sensor-driven, user-centric computing and application paradigm. It represents a vision of a world of digitally augmented physical environment where sensors are embedded ubiquitously and transparently into everyday objects and living spaces, to enable fine-grain capture of user and ambient context information that provides the basis of intelligence for higher-order cognitive systems, i.e. systems that can perceive, reason, learn, and react intelligently to their environments. Sensors provide the important bridge between the physical world and the computing systems for AmI applications. Through a myriad of sensing modalities, information about the state of the users, objects they interacted with, activities they engaged in, and their surroundings, can be acquired and translated to contextual knowledge for 'cognitizing' computing systems, making them ever sensitive and responsive to the needs and situation of the humans under their support or care. This theme issue aims to present the state-of-the-art in all aspects of sensor-driven computing and innovative sensor-driven applications for ambient intelligence. It seeks original research papers that report significant contributions to the field, as well as review articles that analyze and discuss recent advances, trends and challenges. We hope that this issue will become an essential reference for researchers in the field and will stimulate a wider discussion that in turn paves the way for further advances towards technology maturity of sensor-based AmI systems and applications. Topics of interest include (but are not limited to): . User and ambient context modeling and reasoning . User intent and activity inference and learning algorithms . Cyber-physical computing for human-centric applications . Sensor or sensor-embedded object localization and position tracking . Sensor augmented user-system interfaces for smart spaces . Sensor-driven bio-inspired computing for AmI applications . Sensor-driven user profiling and personalization of AmI services . Sensor-enabled social interaction in AmI environments . Innovative AmI systems, applications, and services Important Dates Full manuscript due: Feb 15, 2011 Notification of the first review process: May 2, 2011 Revised manuscript due: Jun 15, 2011 Final acceptance notification: Jul 1, 2011 Publication date: 4th Quarter 2011 (Tentative) Submissions Submissions should be prepared according to the author instructions available at the journal homepage. Manuscripts should be submitted as a PDF file to the corresponding editor Boon-Chong Seet (bseet at aut.ac.nz). Information about the manuscript (title, full list of authors, corresponding author's contact, abstract, and keywords) must be included in the submission email. In addition, authors should submit names, addresses, and email addresses of four experts in the subject of their papers who are personally unknown to them, are not members of the editorial board of the journal, are not from their institution, and at least two of whom must be from a country different from that of their institution. If the manuscript is an extended version of a conference/workshop paper, it must have at least 30% new content, and must be declared in the submission email and as a footnote on the first page of the paper. Guest Editors Dr. Boon-Chong Seet Department of Electrical and Electronic Engineering Auckland University of Technology, New Zealand bseet at aut.ac.nz Dr. Ana M. Bernardos ETSI Telecommunications Technical University of Madrid, Spain abernardos at grpss.ssr.upm.es Prof. Naoki Wakamiya Graduate School of Information Science and Technology Osaka University, Japan wakamiya at ist.osaka-u.ac.jp This CFP is also available on: http://www.springer.com/computer/hci/journal/779 (click on the link "Call for Papers" with the above theme issue title) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: