From invitation at iariaannounce.org Mon Feb 1 08:41:56 2010 From: invitation at iariaannounce.org (NetWare 2010) Date: Mon, 1 Feb 2010 02:41:56 -0500 (EST) Subject: 2nd CfP: NetWare 2010 [SENSORCOMM, SENSORDEVICES, SECURWARE, MESH, AFIN, DEPEND, CENICS] July 18-25, 2010 - Venice, Italy Message-ID: <17341484.12698.1265010116281.JavaMail.Onitza@IariaAnnounce> INVITATION Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= NetWare 2010, July 18-25, 2010 - Venice, Italy see: http://www.iaria.org/conferences2010/NetWare10.html NetWare 2010 is a federated event focusing on advances topics concerning sensor networks, security, mesh networks and internet, dependability, and electronics. NetWare 2010 continues the tradition of well-established conferences (SENSORCOMM, SECURWARE, MESH, DEPEND, and CENICS) while complementing them with newer events (SENSORDEVICES and AFIN). Submission (full paper) deadline: February 20, 2010. Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Publisher: CPS ( see: http://www2.computer.org/portal/web/cscps ) Archived: IEEE CSDL (Computer Science Digital Library) and IEEE Xplore Submitted for indexing: Elsevier's EI Compendex Database, EI's Engineering Information Index Other indexes are being considered: INSPEC, DBLP, Thomson Reuters Conference Proceedings Citation Index Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conply 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. All tracks/topics are open to both research and industry contributions. -- SENSORCOMM 2010, The Fourth International Conference on Sensor Technologies and Applications http://www.iaria.org/conferences2010/SENSORCOMM10.html -- SENSORDEVICES 2010, The First International Conference on Sensor Device Technologies and Applications http://www.iaria.org/conferences2010/SENSORDEVICES10.html -- SECURWARE 2010, The Fourth International Conference on Emerging Security Information, Systems and Technologies http://www.iaria.org/conferences2010/SECURWARE10.html -- MESH 2010, The Third International Conference on Advances in Mesh Networks http://www.iaria.org/conferences2010/MESH10.html -- AFIN 2010, The Second International Conference on Advances in Future Internet http://www.iaria.org/conferences2010/AFIN10.html -- DEPEND 2010, The Third International Conference on Dependability http://www.iaria.org/conferences2010/DEPEND10.html -- CENICS 2010, The Third International Conference on Advances in Circuits, Electronics and Micro-electronics http://www.iaria.org/conferences2010/CENICS10.html ------------------------ IARIA Publicity Board ------------------------ To stop receiving notices about NetWare, please reply with "DROP NetWare 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 hak at ca.ibm.com Mon Feb 1 10:33:16 2010 From: hak at ca.ibm.com (Hassan Ait-Kaci) Date: Mon, 1 Feb 2010 10:33:16 +0100 Subject: CFP - RULE 2010 (Edinburgh, UK, July 14, 2010) Message-ID: ------------------------------------------------------------------------ [Although we try avoiding cross-posting, we apologize if that happens] ------------------------------------------------------------------------ RULE 2010 Call For Papers ELEVENTH INTERNATIONAL WORKSHOP ON RULE-BASED SPECIFICATION AND PROGRAMMING RULE-BASED PROGRAMMING IN INDUSTRY AND THE SEMANTIC WEB Edinburgh, UK July 14, 2010 IMPORTANT DATES: Submission deadline: Friday, April 16, 2010 PC meeting: Monday-Friday, May 24-28, 2010 Authors notified: Thursday, June 3, 2010 Final copies due: Friday, June 25, 2010 RULE 2010 Workshop: Wednesday, July 14, 2010, This CFP' URL: http://www.di.uminho.pt/rule2010 (Workshop affiliated to FLoC 2010 as post-conference event of RTA 2010) With the renewed interest in rule-based computing for industrial applications (e.g., Business Rules) especially as it relates to the Semantic Web ( e.g., the W3C's Rule Interchange Format), it is timely to explore the practical benefits delivered by computing with rules and ontologies in the large. Thus, this year's theme will focus on rule-based programming in Industry and the Semantic Web. The emphasis will be on implemented systems that have been actually used in pragmatic situations where the advantages of rule-driven computation and inference have made all the difference, such advantages being: * agility * declarativeness * maintainability * documentability * scalability * meta-programmability * reliability * formal semantics * etc., ... In terms of the Semantic Web, we explicitly call for submissions that probe (in a pragmatic setting) how rule-based approaches complement ontology-based approaches, which share some of the characteristics of rule systems, such as declarativeness and formal semantics. PAPER SUBMISSION We are solliciting papers dealing with topics related to this year's theme discussing any or several of the itemized facets of the combinations of rules and ontologies, going beyond academic experiments and meant for large-scale or industrial applications. Papers should contain no more than 10 pages, including figures, and submitted through EasyChair using the standard EPTCS LaTeX style file. PROGRAM COMMITTEE * Hassan Ait-Kaci, IBM, Canada (co-chair) * Maria Alpuente, Universidad de Valencia, Spain * Harold Boley, National Research Council, Canada * Mike Dean, BBN, USA * Mohand-Said Hacid, Universite Claude Bernard, Lyon, France * Gary Hallmark, Oracle, USA * Pierre-Etienne Moreau, INRIA Nancy, France * Jeff Pan, University of Aberdeen, United Kingdom * Dave Reynolds, Epimorphics Ltd., United Kingdom (co-chair) * Eelco Visser, Delft University of Technology, The Netherlands Workshop venue RULE 2010 will be a satellite workshop of the conference on Rewriting Techniques and Applications (RTA 2010) affiliated to the Federated Logic of Computing conferences (FLoC 2010), to take place in Edinburgh, UK, July 9-21, 2010. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From riadh.benhalima at enis.rnu.tn Mon Feb 1 11:47:57 2010 From: riadh.benhalima at enis.rnu.tn (Riadh Ben Halima) Date: Mon, 1 Feb 2010 11:47:57 +0100 (CET) Subject: PROMASC'2010: Last Call for Papers (Deadline Extension) Message-ID: <20100201104757.ABECAFD58C@bechirzalila.dyndns.org> ------------------------------Call for Papers------------------------------ The First Workshop on Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC'2010) == May 30th, 2010, Tozeur-Tunisia == (http://www.redcad.org/members/benhalima/promasc2010) In conjunction with the NOTERE'2010 Conference -------------------------------------------------------------------------- ::Important Dates:: * Submission deadline: 07 feb 2010 (extended, was 31 Jan 2010) * Notification: 14 March 2010 * Camera Ready: 28 March 2010 * Workshop: 30 May 2010 ::Overview:: As the paradigm service-oriented architecture gains more prominence in the development of applications, the way of management of these applications is becoming a critical feature in order to provide a better quality of service. Cloud Computing is a technology that provides on-demand access to massively scalable resources in the field of Service Computing. The technical foundations of Cloud Computing include service-oriented architecture (SOA) and virtualizations of hardware and software. It has emerged as a new paradigm for deploying, managing and offering services through a shared infrastructure. Provisioning of SOA and Cloud presents a new set of emerging issues and challenges that are expected to be identified and resolved by the research community. It includes issues of the proposed approaches at several levels: modeling, composition, coordination, planning, scheduling, configuration, monitoring and analysis. This workshop intends to provide an effective forum for researchers and industry practitioners to exchange innovative ideas and state-of-the-art research, share experiences and lessons learned from academic research projects as well as real world projects. ::Topics:: Our goal is to bring together researchers and practitioners to stimulate discussions on the features of provisioning and management of SOA and Cloud. We are soliciting contributions from both academia and industrials on the following topics (the list is not exhaustive): * Provisioning of SOA Virtualization * Management of Resources Virtualization * QoS Management of SOA and Cloud Computing * Service Level Agreement (SLA) Negotiation, Automation and Orchestration for Cloud Computing * Provisioning and Scalability in the Cloud * Regulations for Cloud Architectures * Policy Driven Management of SOA and Cloud Computing * Availability, Reliability and Privacy * Assurance and Certification of SOA * Pricing of Cloud Resources ::Submission:: We encourage contributions of short papers or practical experiences (4 Pages) and full papers (max 6 pages) with high quality research contributions and experimental results. Papers should be written in English according to the IEEE double column format. Authors must upload their paper as PDF file using the PROMASC'2010 submission system hosted by Easy Chair: https://www.easychair.org/login.cgi?conf=promasc2010 ::Publication:: All accepted papers will be published within the conference proceedings edited by IEEE. Best workshop papers will be considered -within best NOTERE conference papers- for two special issues: * Wiley Concurrency and Computation: Practice and Experiment Journal * Springer Journal of Supercomputing ::Workshop Organizers:: * Riadh BEN HALIMA, ENI-Sfax, Tunisia [riadh.benhalima [at] enis.rnu.tn] * Mohamad EL MASRI, LAAS-CNRS, Toulouse, France [mmasri [at] laas.fr] ::Technical Program Committee:: * Ramin Yahyapour, Dortmund University, Germany * Mohamed Karim Guennoun, EHTP, Casablanca, Morocco * Vladimir Stantchev, Technical University of Berlin, Germany * Claudio Ardagna, University of Milan, Italy * Luis Miguel Vaquero, Juan Carlos King University, Spain * Roberto Furnari, University of Torino, Italy * Ignacio Martin Llorente, University of Madrid, Spain * Lotfi Ben Romdhane, Faculty of Sciences of Monastir, Tunisia * Ruben Santiago Montero,Complutense University of Madrid, Spain * Eddy Truyen, Catholic University of Leuven, Belgium * Maher Khemakhem, University of Sousse, Tunisia * Lynda Mokdad, University of Paris 12, France * Steffen Heinzl, SAP Research, Germany * Lamolle Myriam, University of Paris 8, France * Ernesto Exposito, LAAS-CNRS, Toulouse, France * Mathieu Gineste, Thales Alenia Space, France * Florian Rosenberg, CSIRO ICT Centre, Australia Please visit http://www.redcad.org/members/benhalima/promasc2010 for more information. -------------------------------------------------------------------------- From wjamroga at in.tu-clausthal.de Mon Feb 1 12:32:13 2010 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Mon, 01 Feb 2010 12:32:13 +0100 Subject: LAMAS @ AAMAS 2010: deadline extended to February 10 Message-ID: <4B66BBBD.1000806@in.tu-clausthal.de> [With apologies for multiple copies] ***** New submission deadline: February 10, 2010 ***** 3rd Workshop on Logical Aspects of Multi-Agent Systems *** LAMAS 2010 *** (satellite workshop of AAMAS 2010) May 10, 2010, Toronto, Canada http://icr.uni.lu/lamas/ Call for Papers INTRODUCTION There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. This workshop is planned to serve two mutually supporting purposes. First, it will be used as a conference workshop, hosting presentation, exchange, and publication of original research ideas. Secondly, we would like to discuss the possibility of setting up a long-term coordination structure for scientists working in logical aspects of MAS. In the long run, LAMAS can play the role of a regular meeting for that structure. The workshop is intended to cover the following subjects: - Logical systems for specification, analysis, and reasoning about MAS - Modeling MAS with logic-based models - Deductive systems for logics for MAS - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS - Applications of logics in MAS. SUBMISSION We encourage submission of papers reporting original unpublished research. Position papers and visionary work in progress can also be submitted. Submissions should be anonymous (subject to double-blind reviewing procedure), and not exceeding 15 pages in the Springer LNCS format. For templates and instructions for authors, see http://www.springer.de/comp/lncs/authors.html . Each submission will be reviewed by at least 2 Program Committee members. PROCEEDINGS AND POST-PROCEEDINGS All the accepted papers will appear in the informal workshop proceedings (published together with the AAMAS proceedings). We envisage that selected papers will be invited to a special issue of JANCL (Journal of Applied Non-Classical Logics). INVITED SPEAKER Wiebe van der Hoek, University of Liverpool, UK IMPORTANT DATES Paper submission (extended): February 10, 2010 Author notification: March 2, 2010 Camera-ready deadline: March 19, 2010 Workshop: May 10, 2010 PROGRAM COMMITTEE Thomas Agotnes, University of Bergen Hans van Ditmarsch, University of Sevilla Juergen Dix, Clausthal University of Technology Barbara Dunin-Keplicz, University of Warsaw Valentin Goranko, Technical University of Denmark Andreas Herzig, University of Toulouse Wojtek Jamroga, University of Luxembourg Joao Leite, New University of Lisbon Alessio Lomuscio, Imperial College London John-Jules Meyer, Utrecht University Wojciech Penczek, Polish Academy of Sciences, Warsaw Mike Wooldridge, University of Liverpool ORGANIZATION AND CONTACT The workshop is organized by Valentin Goranko, Technical University of Denmark, and Wojtek Jamroga, University of Luxembourg. In case of questions, do not hesitate to contact us at vfgo at imm.dtu.dk or wojtek.jamroga at uni.lu . From tommiemeyer at gmail.com Mon Feb 1 12:51:38 2010 From: tommiemeyer at gmail.com (Tommie Meyer) Date: Mon, 1 Feb 2010 13:51:38 +0200 Subject: Final Call for Papers: NMR 2010 - Deadline Extended to February 8 Message-ID: Final Call for Papers: NMR 2010 13th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING May 14-16, 2010, Sutton Place, Toronto, Canada Extended deadline: February 8, 2010 Notification: March 1, 2010 Website: http://www.cs.sfu.ca/NMR2010/ (Collocated with KR 2010, ICAPS 2010, FOIS 2010 and AAMAS 2010) NMR 2010 will be composed of six specialized sub-workshops: * Argument, Dialog and Decision * Declarative Programming for NMR * Action and Belief Change * Preferences and Norm * Commonsense and NMR for Ontologies * NMR and Uncertainty Papers should be submitted to the appropriate sub-workshop. If it is not clear which sub-workshop is most appropriate, please contact the program chairs for clarification. Invited speakers: Franz Baader (to be confirmed) Gerhard Brewka Marc Denecker Jack Minker Torsten Schaub The NMR workshop series is the premier specialized forum for researchers in non-monotonic reasoning and related areas. This will be the 13th workshop in the series. Its aim is to bring together active researchers in the broad area of non-monotonic reasoning, including belief revision, reasoning about actions, argumentation, declarative programming, preferences, non-monotonic reasoning for ontologies, uncertainty, and other related topics. Topics of Interest: NMR'10 welcomes the submission of papers broadly centred on issues and research in non-monotonic reasoning. We welcome papers of either a theoretical or practical nature. Topics of interest include (but are not limited to): foundations of non-monotonic reasoning, default reasoning, representing actions and planning, belief revision and information fusion, reasoning and decision-making under uncertainty, answer set programming, belief updating and inconsistency handling, similarity-based reasoning, empirical studies of reasoning strategies, argument-based non-monotonic logics, abductive reasoning, algorithms and implementations, non-monotonic logics in multi-agent interaction, including negotiation and dispute resolution, non- monotonic reasoning for ontologies, declarative programming for non- monotonic reasoning, and reasoning with preferences. Programme co-chairs: Thomas Meyer tommie.meyer at meraka.org.za http://ksg.meraka.org.za/~tmeyer/ Eugenia Ternovska ter at cs.sfu.ca http://www.cs.sfu.ca/~ter -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From berndt.farwer at durham.ac.uk Tue Feb 2 15:31:04 2010 From: berndt.farwer at durham.ac.uk (Berndt Farwer) Date: Tue, 2 Feb 2010 14:31:04 +0000 Subject: CfP 3rd Int. Workshop LAM'10 Message-ID: Call for Papers 3rd International Workshop on Logics, Agents, and Mobility (LAM'10) http://www.dur.ac.uk/lam.10 15 July 2010, Edinburgh, Scotland, UK organised as satellite workshop at the Twenty-Fifth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2010), Edinburgh, Scotland, UK Workshop Purpose: The aim of this series of workshops is to bring together active researchers in the areas of logics and other formal frameworks that can be used that can be used to describe and analyse dynamic or mobile systems. The main focus is on the field of logics and calculi for mobile agents, and multi-agent systems. Many notions used in the theory of agents are derived from philosophy, logic, and linguistics (belief, desire, intention, speech act, etc.), and interdisciplinary discourse has proved fruitful for the advance of this domain. The workshop intends to encourage discussion and work across the boundaries of the traditional disciplines. Outside of academia, distributed systems are a reality and agent programming is beginning established itself as a serious contender against more traditional programming paradigms. For example, the deployment of large-scale pervasive infrastructures (mobile ad-hoc networks, mobile devices, RFIDs, etc.) raises a number of scientific and technological challenges for the modelling and programming of such large-scale, open and highly-dynamic distributed systems. The agent and multi-agent systems approach seems particularly adapted to tackle this challenge, but there are many issues remaining to be investigated. For instance, the agents must be location-aware since the actual services available to them may depend on their (physical or virtual) location. The quality and quantity of resources at their disposal is also largely fluctuant, and the agents must be able to adapt to such highly dynamic environments. Moreover, mobility itself raises a large number of difficult issues related to safety and security, which require the ability to reason about the software (e.g. for analysis or verification). Logics and type systems with temporal or other kinds of modalities (relating to location, resource and/or security-awareness) play a central role in the semantic characterisation and verification of mobile agent systems. In the past two or three years, some logics have been proposed that would be able to handle certain aspects of these requirements, but there are still many open problems and research questions in the theory of such systems. The workshop is intended to showcase results and current work being undertaken in the areas outlined above with a focus on logics and other formalisms for the specification and verification of dynamic, mobile systems. Scopes of Interest: The main topics of interest include - specification and reasoning about agents, MAS, and mobile systems - modal and temporal logics - model-checking - treatment of location and resources in logics - security - type systems and static analysis - logic programming - concurrency theory with a focus on mobility or dynamics in agent systems. Previous Workshops: LAM'08: 4--8 August 2008 at ESSLI in Hamburg, Germany LAM'09: 10 August 2009 at LICS in Los Angeles, USA Format of the Workshop: The workshop will be held as a one day event after LICS. There will be a short introduction and brief survey of the field by the organiser as an introduction to the workshop. The workshop will contain invited talks, contributed talks, and a discussion session. The latter is will give the participants a chance to discuss informally research directions, open problems, and possible co-operations. Submission details: Authors are invited to submit a full paper of original work in the areas mentioned above. The workshop chair should be informed of closely related work submitted to a conference or journal in advance of submission. One author of each accepted paper will be expected to present it at the LAM’09 workshop. Submissions should not exceed 15 pages, preferably using the LaTeX article class. The following formats are accepted: PDF, PS. Please send your submission electronically via EasyChair by the deadline listed below. The submissions will be reviewed by the workshop's programme committee and additional reviewers. Accepted papers will appear in ETCS and authors will be encouraged to re-submit papers to formal proceedings to be published as a separate publication, e.g. as a special journal issue. Invited Speakers: TBA Important Dates: Submission Deadline: 9 April 2010 Notification: 1 May 2010 Workshop: 15 July 2010 Programme Committee: Thomas Agotnes, Bergen, Norway Matteo Baldoni, Torino, Italy Marina De Vos, Bath, UK Louise Dennis, Liverpool, UK Jürgen Dix, Clausthal, Germany Berndt Farwer (chair), Durham, UK Michael Fisher, Liverpool, UK Didier Galmiche, Nancy, France James Harland, Melbourne, Australia Andreas Herzig, Toulouse, France Wojtek Jamroga, Clausthal, Germany Michael Köhler-Bußmeier, Hamburg, Germany João Leite, Lisbon, Portugal Alessio Lomuscio, London, UK Dale Miller, INRIA, France Frederic Peschanski, Paris, France Vladimiro Sassone, Southampton, UK Wamberto Vasconcelos, Aberdeen, UK Further Information: About the workshop: About LICS: From Klaus.Fischer at dfki.de Tue Feb 2 18:43:14 2010 From: Klaus.Fischer at dfki.de (Klaus.Fischer at dfki.de) Date: Tue, 02 Feb 2010 18:43:14 +0100 Subject: CFP Workshop Agent-based Technologies and applications for enterprise interOPerability (ATOP@AAMAS2010): Submission Deadline Extended to 10 February Message-ID: <4B686432.mail5QX15BCH0@dfki.de> =============================================================================== Call for Papers Agent-based Technologies and applications for enterprise interOPerability ATOP 2010 (http://www-ags.dfki.uni-sb.de/~kuf/atop) Workshop to be held at the Ninth International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2010) (http://www.cse.yorku.ca/AAMAS2010/) Toronto, Canada, 10 or 11th May 2010 IMPORTANT DATES Submissions due: February 10, 2010 (extended) Notifications sent: March 2, 2010 Final papers due: March 10, 2010 Workshop: May 10 or 11 2010 ORGANIZING COMMITTEE Joerg P. Mueller, Technische Universitaet Clausthal, Germany Klaus Fischer, DFKI, Germany Renato Levy, Intelligent Automation, Inc, Rockville, USA SUBMISSIONS Please find further details on the workshop and how to submit contributions at the workshop Web page at http://www-ags.dfki.uni-sb.de/~kuf/atop Please send submissions to: joerg.mueller at tu-clausthal.de BRIEF DESCRIPTION OF WORKSHOP TOPICS ATOP focuses on technologies that support interoperability in networked organizations, on successful applications of these technologies, and on lessons learned. The main goal is to stimulate a discussion on how far agent technologies can support interoperability in this context and to compare current trends in the development of agent technologies with recent developments in service-oriented and model-driven system design with respect to their ability to solve interoperability problems. Regarding model-driven system design the presentation and discussion of metamodels of the underlying technologies like for example agent technologies and service-oriented architectures is especially of interest. We would like to focus the ATOP 2010 around modeling and metamodels for interoperability in agent-based systems and business applications. Ideally submitted papers should deal with model-driven agent technologies and methodologies in the context of: * simulation and validation of business systems * decision-support in value creation networks * enterprise and business process modeling * case studies of implemented interoperability solutions and systems * coordination and negotiation in distributed business networks * cross-organizational business processes * normative environments for enterprise agents interoperability * decentralized and peer-to-peer models and enactment of business processes * goal-driven and adaptive business process management * semantic annotations of business process descriptions * intelligent enterprise application integration * business process modeling, enactment and integration * intelligent execution, monitoring, management, and optimization of business processes * service-oriented architectures and related topics like service choreography, orchestration, composition, brokering, and mediation * autonomic computing and adaptive autonomous architectures * model-driven architectures for business processes and systems * models and meta-models for agent-based systems * platform-independent models and their relation to agent models * model-to-model and model-to-text transformations * knowledge representations and ontologies in the context of (collaborative) business processes * agent communication languages and standards * self-organization and adaptation in the context of interoperable systems =============================================================================== From mdv at cs.bath.ac.uk Tue Feb 2 19:10:59 2010 From: mdv at cs.bath.ac.uk (Marina De Vos) Date: Tue, 02 Feb 2010 18:10:59 +0000 Subject: Final call for papers: COIN@AAMAS2010 (deadline extension) Message-ID: <1265134260.4413.115.camel@Ishtar> Apologies for multiple posts; ----------------------------------------------------------------- CALL FOR PAPERS The AAMAS2010 Workshop on Coordination, Organization, Institutions and Norms (COIN) Toronto, {10th | 11th} May 2010 AIMS and SCOPE >From “the internet of things” and virtual worlds to the “smarterplanet”, through grid, cloud and stream computing, the world is becoming increasingly instrumented and inter-connected. Managing the resultant scale and complexity requires intelligence; in particular an intelligence that is manifested by individual strategies or collective behaviour. Furthermore, system architects have to consider: the inter-operation of heterogeneously designed, developed or discovered components; inter-connection which cross legal, temporal, or organizational boundaries; the absence of global objects or centralised controllers; the possibility that components will not comply with the given specifications; and embedding in an environment which is likely to change, with possible impact on individual and collective objectives. The convergence of the requirement for intelligence with these operational constraints demands: coordination: the collective ability of heterogeneous and autonomous components to arrange or synchronise the performance of specified actions in sequential or temporal order; organization: a formal structure supporting or producing intentional forms of coordination; institution: an organization where (inter alia) the performance of designated actions by empowered agents produces conventional outcomes; and norms: standards or patterns of behaviour in an institution established by decree, agreement, emergence, and so on. The automation and distribution of intelligence is the subject of study in autonomous agents and multi-agent systems; the automation and distribution of intelligence for coordination, organization, institutions and norms is the specialised interest of COIN at AAMAS2010. WORKSHOP GOALS The goal of the workshop is to bring together researchers in autonomous agents and multi-agent systems working on the scientific and technological aspects of organizational theory, electronic institutions and computational economies from an organizational or institutional perspective. We seek to attract high-quality papers addressing all mathematical, logical and computational perspectives of, and modelling, animation and simulation techniques for, these types of multi-agent systems. Through various information and opinion exchange mechanisms before, during and after the workshop, we hope to generate new ideas, consolidate and develop an (already) active community, highlight future challenges and opportunities, and lead/define (at least part of) the future research agenda. TOPIC OF INTEREST Topics of particular interest for COIN at AAMAS2010 will include: * COIN for internet of things, 3-D Internet, green computing, and smarterplanet; * logics, languages and tools for specifying coordination and norms, implementing or simulating organizations and institutions; * formal lifecycle models: formation, maintenance, and dissolution of organizations and institutions; * autonomic institutions, self-organization, and general self-* properties; * law of electronic institutions: regulatory compliance, penalty and sanctions, dispute resolution and conflict prevention; * agent environments: physical and institutional 'resources' for physical capability and institutional power; * formal methods for specifying coordination and organizational structures; models for verification, validation and visualisation; * non-normative behaviour, error-recovery, and reliable computing with unreliable components; * agent societies and communities, social networks, electronic institutions and virtual organizations; * frameworks and protocols for organised and organisational adaptation; * institutional mechanisms for governance of common pool resources; * discovery, openness and inter-operation in organizations and institutions; * analysis of issues in the emergence, evaluation (as fit-for-purpose), compliance to and evolution of norms; * mixed human-agent coordination and institutions in embedded systems and virtual worlds. VENUE The workshop will be part of the AAMAS2010 (Autonomous Agents and Multi-Agent Systems) workshop programme, and will take place at the Sheraton Centre Toronto Hotel in downtown Toronto, Canada. Full details are available at http://www.cse.yorku.ca/AAMAS2010/ PROCEEDINGS Preliminary proceedings will be available at the workshop. As with previous COIN workshops, revised and extended versions of the papers of both the two 2010 workshops (there will be a subsequent event in the Autumn) will be published in a single Springer LNCS volume. Those revised versions 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. IMPORTANT DATES Submission of contributions: Extended to FEBRUARY, 9, 2010 Workshop paper acceptance notification: MARCH 2, 2010 Revised accepted paper submission: MARCH 12, 2010 COIN at AAMAS2010 WORKSHOP: MAY 10|11, 2010 INSTRUCTIONS FOR AUTHORS Although the post-proceedings will be published in Springer LNCS, the preliminary proceedings will follow a different format, namely IFAAMAS style. Submissions to COIN at AAMAS 2010 should be a maximum of 8 pages. If using Latex, please use this style file and see this example of how it is used. For Microsoft Word users, a template is also available. Please note that the submissions should be formatted for American letter paper size, and that your submission must be without page numbers. Details can be found on http://www.cse.yorku.ca/AAMAS2010/#content=camera_ready . The length of each paper including figures and references may not exceed 8 pages in this format. 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=coinaamas2010 ORGANISATION Workshop Chairs Dr Jeremy Pitt Department of Electrical & Electronic Engineering, Imperial College London SW7 2BT UK Email: j.pitt[IsAt]imperial.ac.uk, Tel: +44 (0)20 7594 6318, Fax: +44 (0)20 7594 6274 Dr Marina De Vos Department of Computer Science, University of Bath, BA2 7AY UK Email: mdv[IsAt]cs.bath.ac.uk, Tel: +44 (0)1225 385053, Fax: +44 (0)1225 383493 Program Committee Alexander Artikis (National Centre for Scientific Research Demokritos, Greece) Guido Boella (University of Torino, Italy) Olivier Boissier (ENS Mines Saint-Etienne, France) Dan Corkill (University of Massachusetts Amherst, USA) Antonio Carlos da Rocha Costa (UCPEL, Brazil) Stephen Cranefield (University of Otago, New Zealand) Virginia Dignum (Delft University of Technology, The Netherlands) Nicoletta Fornara (University of Lugano, Switzerland) Olivier Gutknecht (LPDL, France) Jomi Fred Hubner (Federal University of Santa Catarina, Brazil) Fuyuki Ishikawa (National Insitute of Informatics, Japan) Catholijn Jonker (Delft University of Technology, The Netherlands) Christian Lemaitre (Universidad Autonoma Metropolitana, Mexico) Maite Lopez-Sanchez (University of Barcelona, Spain) Eric Matson (Purdue, USA) John-Jules Meyer (Utrecht University, The Netherlands) Daniel Moldt (University of Hamburg, Germany) Pablo Noriega (IIIA-CSI, Spain) Eugenio Oliveira (Universidade do Porto, Portugal) Sascha Ossowski (URJC, Spain) Julian Padget (University of Bath, UK) Eric Platon (National Institute of Informatics, Japan) Juan Antonio Rodriguez Aguilar (IIIA-CSIC, Spain) Christophe Sibertin-Blanc (IRIT, France) Jaime Sichman (University of Sao Paulo, Brazil) Catherine Tessier (ONERA, France) Luca Tummolini (ISTC/CNR, Italy) Leon van der Torre (University of Luxembourg, Luxembourg) Wamberto Vasconcelos (University of Aberdeen, UK) Javier Vazquez-Salceda (University Politecnica de Catalunya, Spain) Harko Verhagen (Stockholm University, Sweden) George Vouros (University of the Aegean, Greece) COIN Steering Committee: Christian Lemaitre (Universidad Autonoma Metropolitana, Mexico) Eric Matson (Purdue University, USA) Guido Boella (University of Torino, Italy) Jaime Sichman (University of Sao Paulo, Brazil) Javier Vazquez Salceda (Universitat Politecnica de Catalunya, Spain) Julian Padget (University of Bath, UK) Jeremy Pitt (Imperial College London, UK) Nicoletta Fornara (University of Lugano, Switzerland) Olivier Boissier (ENS Mines Saint-Etienne, France) Pablo Noriega (Artficial Intelligence Research Institute, Spain) Sascha Ossowski (Universidad Rey Juan Carlos, Spain) Virginia Dignum (Utrecht University, The Netherlands) Wamberto Vasconcelos (University of Aberdeen, UK) George Vouros (University of the Aegean, Greece) From grsimari at gmail.com Tue Feb 2 19:58:54 2010 From: grsimari at gmail.com (Guillermo R. Simari) Date: Tue, 2 Feb 2010 15:58:54 -0300 Subject: Final Call for Papers NMR'2010 Session on Argument, Dialogue and Decision (Deadline Extension Feb 15th) Message-ID: PLEASE NOTE Deadline extension due to several requests - Papers due: February 15 (Monday), 2010 (** extended **) - Notification: March 8 (Monday), 2010 (** extended **) UPDATE: Journal of Philosophical Logic will publish a special NMR 30th anniversary issue, inviting submissions of the best philosophically inclined papers drawn from NMR2010 and KR2010. *************************************************************************** NMR'2010 Special session on Argument, Dialogue and Decision May 14-16, 2010 Sutton Place, Toronto, Canada Session web page: http://www.cs.sfu.ca/NMR2010/NMR_2010/Argument,_Dialog_and_Decision.html *************************************************************************** Since the work of John Pollock, Ronald Loui and others in the eighties, argumentation has proven to be successful in nonmonotonic logic. In the early nineties Dung and others showed that argumentation is also very suitable as a general framework for relating different nonmonotonic logics. Finally, in recent years argument-based logics have been used to facilitate reasoning and communication in multi-agent systems. Argumentation can be studied on its own, but it also has interesting relations with other topics, such as dialogue and decision. For instance, argumentation is an essential component of such phenomena as fact finding investigations, computer supported collaborative work, negotiation, legal procedure, and online dispute mediation. However, only recently researchers have begun to explore the use of argumentation in these contexts. TOPICS This workshop is devoted to the logical study of argumentation and its connections with decision and dialogue. In particular, we invite submissions of original research on the following topics. The study of argument-based logics including • semantics • proof theory • complexity and resource limitations • applications to epistemic and practical reasoning • applications to informal theories of argumentation • comparison with other types of nonmonotonic logic The development of argument-based logical systems in formal models of multi-agent reasoning and interaction, such as • fact finding investigations • negotiation • distributed sense-making • dispute resolution and mediation • decision making SESSION CO-CHAIRS • Iyad Rahwan , British University in Dubai, UAE; University of Edinburgh, UK • Guillermo R. Simari, Universidad Nacional del Sur, Argentina SUBMISSION DETAILS Submissions are limited to 7 pages using KR/AAAI paper format (See http://www.aaai.org/Publications/Author/author.php). Only PDF format will be accepted. Submissions should be sent via EasyChair using the following site: http://www.easychair.org/conferences/?conf=nmr2009add Please contact the co-chairs by e-mail for any queries. IMPORTANT DATES • Submission of papers: February 15 (Monday), 2010 (** extended **) • Notification of acceptance: March 8 (Monday), 2010 (** extended **) • Camera ready copy: April 6, 2010 PROGRAM COMMITTEE • Leila Amgoud, Universite Paul Sabatier, France • Jamal Bentahar, Concordia University, Canada • Carlos Chesnevar, Universidad Nacional del Sur, Argentina • Paul E. Dunne, University of Liverpool, UK • Alejandro Garcia, Universidad Nacional del Sur, Argentina • Anthony Hunter, University College London • Michael Maher, National ICT Australia • Sanjay Modgil, King's College, London, UK • Nir Oren, King's College, London, UK • Simon Parsons, Brooklyn College CUNY, USA • Henry Prakken, Utrecht University and University of Groningen, The Netherlands • Iyad Rahwan, British University in Dubai, UAE; University of Edinburgh, UK • Guillermo R. Simari, Universidad Nacional del Sur, Argentina • Paolo Torroni, University of Bologna, Italy • Bart Verheij, University of Groningen, Netherlands • Simon Wells, University of Dundee, Scotland, UK From mdv at cs.bath.ac.uk Tue Feb 2 20:36:34 2010 From: mdv at cs.bath.ac.uk (Marina De Vos) Date: Tue, 02 Feb 2010 19:36:34 +0000 Subject: Final call for papers: (deadline extension) NMR'10 Special session on Declarative Programming Paradigms and Systems Message-ID: <1265139395.4413.138.camel@Ishtar> Apologies for multiple postings. ----------------------------------------------------------------------------------- CALL FOR PAPERS NMR'10 Special session on Declarative Programming Paradigms and Systems Sub-workshop of Non-Monotonic Reasoning 2010 Toronto, Canada, 14-16 May 2010 http://www.cs.sfu.ca/NMR2010/NMR_2010/Declarative_Programming_for_NMR.html Topics of the workshop include all aspects regarding expressive (domain independent) modeling and knowledge representation languages and inference systems for declarative problem solving. The workshop is a one-day event and the technical program forms a part of the Thirteenth Non-Monotonic Reasoning Workshop (NMR 2010), to be held in Toronto, Canada, collocated with the KR/DL/ICAPS/AAMAS/FOIS 2010 conferences. TOPICS Authors are invited to submit original papers on this field. The list of topics of interest includes, but is not limited to: * Declarative Languages * Extensions and integrations of classical and nonmonotonic logics * Extensions of logic programming * Answer set programming * Abductive logic programming * Declarative agent languages * Inference systems * Model generators * Answer set solvers * Abductive systems * Optimization * Other/new types of inference systems * Computational complexity analysis * Methodology * Representation and programming methodologies * Programming Tools * Program development environments * Debugging tools * Implementations * Algorithms and Implementation of declarative programming systems * Optimization techniques * Benchmarking for NMR systems * Applications of declarative programming * Cognitive robotics systems * Declarative programming languages for dynamic domains * Semantic Web * Multi-Agent systems * Planning * Novel applications * Integration and Comparisons * Comparison of programming paradigms for NMR * Integration of NMR systems: Systems using NMR systems * Comparison of NMR systems * Integration of NMR systems with SAT/SMT/PBO/QBF/CP/ILP solvers * Future challenges for declarative programming systems SUBMISSION Submitted articles will undergo peer-review. Papers must be submitted in AAAI style and in PDF only. The maximum length of a submission is 7 pages including references, figures, and appendixes if any. Papers should be submitted via Easychair using the following link: http://www.easychair.org/conferences/?conf=dpnmr10 IMPORTANT DATES Papers due: Extended until 8 February Notification: March 1 (Monday), 2010 Final version: April 6 (Tuesday), 2010 Workshop: May 14-16, 2010 SESSION CO-CHAIRS * Marc Denecker (Katholieke Universiteit Leuven, Belgium) * Marina De Vos (University of Bath, UK) PROGRAM COMMITTEE * Marcello Balduccini (Kodak Research Labs, USA) * Chitta Baral (Arizona State University, USA) * Martin Brain (University of Bath, UK) * Jürgen Dix (TU Clausthal, Germany) * Thomas Eiter (Vienna University of Technology, Austria) * Esra Erdem (Sabanci University, Turkey) * Michael Fink (Vienna University of Technology, Austria) * Alfredo Gabaldon (New University of Lisbon, Portugal) * Martin Gebser (University of Potsdam, Germany) * Giovambattista Ianni (University of Calabria, Italy) * Katsumi Inoue (National Institute of Informatics, Japan) * Tomi Janhunen (Helsinki University of Technology, Finland) * Joohyung Lee (Arizona State University, USA) * Joao Leite (New University of Lisbon, Portugal) * Yuliya Lierler (University of Texas at Austin, USA) * Vladimir Lifschitz (University of Texas at Austin, USA) * David Mitchell (Simon Fraser University, Canada) * Ilkka Niemela (Helsinki University of Technology, Finland) * Ken Satoh (National Institute of Informatics, Japan) * Terrance Swift (XSB Inc., USA) * Mirek Truszczynski (University of Kentucky, USA) * Johan Wittocx (Katholieke Universiteit Leuven, Belgium) From Y.Bi at ulster.ac.uk Tue Feb 2 21:35:22 2010 From: Y.Bi at ulster.ac.uk (Bi Yaxin) Date: Tue, 2 Feb 2010 20:35:22 -0000 Subject: 4th International Conference on Knowledge Science, Engineering and Management (KSEM`2010) Message-ID: <6F127AEF3EE0114BBFBC03241A81784401FF5BE4@jnexc09.ad.ulster.ac.uk> ================================================ [please accept our apologies for cross-posting] ========================================== 4th International Conference on Knowledge Science, Engineering and Management (KSEM`2010) 1-3 September 2010, Belfast, Northern Ireland, UK http://www.ulster.ac.uk/ksem2010 *Invited speakers Anthony Cohn (University of Leeds, UK) Ian Horrocks (Oxford University, UK) Thierry Denoeux (Université de Technologie de Compiègne, France) *Important dates Paper submission: 30 March, 2010 Author notification: 15 May, 2010 Camera-ready: 30 May, 2010 Early registration: 30 May, 2010 Call for special sessions: 25 January 2010 ============================================ KSEM is an international conference for research on knowledge science, engineering and management, which attracts high quality, state-of-the-art research papers from all over the world. The conference provides a forum for researchers, practitioners and developers to present original work, to share their views, to exchange ideas and to develop new insights into KSEM-related areas. KSEM2010 will be held in Belfast, Northern Ireland, and is the fourth in the conference series, following three successful events in Guilin, China (KSEM'06), Melbourne, Australia (KSEM'07) and Vienna, Austria (KSEM'09). You are invited to submit papers that are original and not yet published. The topics of interest include but are not limited to: *Special sessions Theory and Practice of Ontology for the Semantic Web Application of Data Mining to Seismic Data Analysis for Earthquake Study *Knowledge science Knowledge representation and reasoning Logics of knowledge Formal analysis of knowledge Knowledge complexity and knowledge metrics Reasoning about knowledge in the presence of inconsistency, incompleteness, context-dependency Commonsense knowledge and uncertainty in knowledge Cognitive foundations of knowledge Knowledge in complex systems and multi-agent systems Formal ontology *Knowledge engineering Knowledge extraction Knowledge integration Knowledge fusion Knowledge-based software engineering Knowledge-based systems in life sciences Conceptual modelling in knowledge-based systems Semantic database systems and semantic Web Content engineering and ontological engineering Implementation issues in KBS Knowledge-based systems in earthquake science *Knowledge management Knowledge creation and acquisition Knowledge verification and validation Knowledge dissemination Knowledge management systems Organizational ontology Data mining and knowledge discovery Organizational memory Organizational learning Knowledge management strategies and practices Knowledge management applications *Paper Submission: Prospective participants are requested to electronically submit full papers of their work (12 pages). In accordance with the previous conferences the organisers of KSEM'2010 will publish the conference proceedings with Springer in the Lecture Notes in Artificial Intelligence (LNAI) series. *General conference co-chairs Bryan Scotney, University of Ulster, Northern Ireland, UK Zhi Jin, Peking University, China *Programme co-chairs Yaxin Bi, University of Ulster, Northern Ireland, UK Mary-Anne Williams, University of Technology, Sydney, Australia *Local organization committee (University of Ulster) James Uhomoibhi (co-chair) Hui Wang (co-chair) Anna Jurek Juan C Augsto David Glass Jun Liu Shengli Wu Nicola Burns Jing Liao Haiying Wang *Steering committee members David Bell, Queen's University Belfast, UK Cungen Cao, Chinese Academy of Sciences, China Dimitris Karagiannis, University of Vienna, Austria Zhi Jin, Peking Univeristy, China Jérome Lang, University Paul Sabatier, France Yoshiteru Nakamori, JAIST, Japan Jorg Siekmann, DFKI, Germany Eric Tsui, The Hong Kong Polytechnic University, Hong Kong Zongtuo Wang, Dalian Science and Technology University, China Kwok Kee Wei, City University of Hong Kong, Hong Kong Mingsheng Ying, Tsinghua University, China Zili Zhang (Secretary), Southwest University, China Ruqian Lu (Honorary Chair), Chinese Academy of Sciences, China Chengqi Zhang (Chair), University of Technology, Sydney, Australia *Contact details Email:ksem2010 at ulster.ac.uk website: http://www.ulster.ac.uk/ksem2010 Organization committee of KSEM2010 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.artikis at gmail.com Wed Feb 3 17:49:42 2010 From: a.artikis at gmail.com (Alexander Artikis) Date: Wed, 3 Feb 2010 18:49:42 +0200 Subject: CFP: Agent Communication @ AAMAS 2010 Message-ID: <130ef5931002030849s70448b95v2ac1ccd165843131@mail.gmail.com> Submission Deadline Extended: Submission of abstracts : February 10, 2010 Submission of papers : February 17, 2010 ------------------------------------------------ Call for Papers: Workshop on Agent Communication ------------------------------------------------ You are cordially invited to submit papers to: Workshop on Agent Communication (AC 2010) at the International Joint Conference on Agents and Multiagent Systems (AAMAS 2010), Toronto Agent communication research seeks to address challenges in the development of open multiagent systems. Open systems consist of multiple autonomous and heterogeneous agents who communicate in order to exchange or negotiate information, knowledge, and services. As such, advances in agent communication are critical to advances in the software engineering of applications as diverse as business processes, negotiation and argumentation, virtual organizations, e-governance, collaborative design, and so on. We invite quality submissions that develop new insights, high-level abstractions, patterns, languages, formal theories, reasoning, and methodologies for agent communication. We will also appreciate submissions concerning experiences in application development, programming language and tool support, and communication middleware. Proposals for standardization are also welcome. Specifically, the workshop's focus includes the following topics in relation to agent communication. * Languages (ACLs) * Protocols * Dialogs * Argumentation * Virtual organizations, institutions * Commitments, norms, and other social concepts * Speech acts and illocutionary logic * Trust and deception * Correctness properties and verification ** compliance, ** interoperability, ** conformance, and so on. * Relating agent communication to agent design and execution strategies ** game-theoretic, ** BDI, ** learning, and so on * Multiagent system architecture * Programming languages * Middleware * Patterns The workshop will provide a great opportunity to discuss emerging techniques and identify future trends toward agent communication. The workshop will include an invited talk and one or more position statements by accomplished researchers. Selected papers from the workshop proceedings will be published as a Springer LNCS volume. Program committee: Nicoletta Fornara, Università della Svizzera Italiana, Switzerland Marco Colombetti, Politecnico di Milano, Italy Pinar Yolum, Bogazici University, Turkey Marc-Philippe Huget, University of Savoie, France Wamberto Vasconcelos, University of Aberdeen, UK Koen Hindriks, Delft University of Technology, The Netherlands Michael Rovatsos, University of Edinburgh, UK Rogier van Eijk, Utrecht University, The Netherlands Xavier Parent, University of Luxembourg, Luxembourg Peter McBurney, University of Liverpool, UK Guido Boella, University of Torino, Italy Paolo Torroni, University of Bologna, Italy Michael N. Huhns, University of South Carolina, USA Nirmit Desai, IBM Research, India The workshop is guided by a steering committee consisting of: Frank Dignum, Utrecht University, The Netherlands. Andrew J. I. Jones, King's College London, UK. Munindar P. Singh, North Carolina State University, USA. Organizers: Amit K. Chopra, University of Trento, Italy. Alexander Artikis, National Centre for Scientific Research Demokritos, Greece. Jamal Bentahar, Concordia University, Canada. Frank Dignum, Utrecht University, The Netherlands. From mirek at cs.uky.edu Wed Feb 3 22:12:53 2010 From: mirek at cs.uky.edu (Miroslaw Truszczynski) Date: Wed, 3 Feb 2010 16:12:53 -0500 Subject: PhD position available Message-ID: <5394f5541002031312v2660f4a5teb5bb3c7c7f7829a@mail.gmail.com> Please, distribute the announcement atached. Thanks. Mirek -------------- nächster Teil -------------- A fully funded PhD position at the University of Kentucky Computer Science Department (in Lexington, KY, USA) to work under the supervision of Professor Miroslaw Truszczynski on problems involving representing and reasoning about preferences. Prerequisites include: a background in formal methods (logic, mathematics, AI), an MSc (or equivalent) in computer science, creativity and the ability to do research in a small group at a state university in the USA. If you are interested, please send an email with your CV, research statement and why you consider coming to the University of Kentucky. directly to Professor Truszczynski at . The position is open starting August 16, 2010. I will consider, though, candidates that can start earlier, too. From borgo at loa-cnr.it Thu Feb 4 14:53:38 2010 From: borgo at loa-cnr.it (Stefano Borgo) Date: Thu, 4 Feb 2010 14:53:38 +0100 Subject: Sp. Issue on Functions: second CFP Message-ID: <1F9AAB13-778B-4F8B-8E6F-8B938C5F49F5@loa-cnr.it> Special Issue - Second Call for Papers -- THE ONTOLOGY OF FUNCTIONS: BIOLOGY, ENGINEERING AND BEYOND -- http://www.loa-cnr.it/func_sp_issue2010 Applied Ontology Journal (IOS Press) Abstract Submission: 22-02-2010 Function and functionality play a central role not only in modern science but also in our extra-scientific understanding of the world. Unfortunately, the term 'function' is hereby used with a variety of meanings and is associated with a variety of views as to what functions are. This special issue is devoted to the foundation, the comparison and the application of functional theories in all areas, with particular attention to the biological and engineering domains. The goal is to publish state-of-the-art theoretical and technical contributions related to the description, characterization, and application of functions. We especially welcome contributions in which the theories are presented and motivated with an eye on the underlying ontological aspects and an introduction to their formalization. Contributions may include analyses of the different notions of function that have proven useful in science, proposals towards development of a unifying framework, or criticisms of existing frameworks. The goal is to provide materials for the creation of an ontological treatment of functions and functioning that will: 1) identify and describe functions in a consistent and comprehensive way; 2) list the arguments that lead to a preference of one notion of function over others; 3) make clear the basic assumptions and principles of classification that motivate a given notion of function; 4) discuss formalization issues and relevant application methodologies. TOPICS include, but are not limited to, the following: - comparison of functional theories and models - formalization of functional theories and models - basic functions, functional classification, functional (de)composition - assigning functions to natural and/or artificial entities - functional ontology - unified theory of biological and artifact functions - theory of artifacts - what kinds of biological entities have functions? - how are biological functions related to disease? IMPORTANT DATES * Abstract Submission: 22-02-2010 * Invitation to submit a full paper (20/25 pages): 10-03-2010 * Full papers due: 12-05-2010 * Notification of acceptance/rejection: 24-06-2010 * Revised papers due: 21-07-2010 * Final review: 15-09-2010 * Camera-ready papers due: 12-10-2010 * Publication: Spring 2011 PAPER SUBMISSION Submissions to the first phase (deadline: 22 Feb 2010) should include an abstract of about 1000 words, a separate list of references and a cover page with title, name, address (including e-mail address) and affiliation of author(s) and a list of keywords. Authors are encouraged to submit high-quality, original work that has neither appeared in, nor is under consideration by, other journals. Manuscripts must be written in English. Manuscripts must be submitted to: functions (at) loa-cnr.it Please indicate in the email subject that you are submitting to the ''AOJ Special Issue on Functions''. GUEST EDITORS Stefano Borgo, ISTC-CNR Trento and FUB Bolzano, Italy Riichiro Mizoguchi, The Institute of Scientific and Industrial Research, Osaka University, Japan Barry Smith, University at Buffalo, USA REVIEW COMMITTEE Massimiliano Carrara, University of Padova Randall R. Dipert, University at Buffalo Pawel Garbacz, Katolicki Uniwersytet Lubelski Jana Pawla II John S. Gero, George Mason University Ashok K. Goel, Georgia Institute of Technology W.N. Houkes, Technische Universiteit Eindhoven Yoshinobu Kitamura, Osaka University Peter Kroes, Technische Universiteit Delft Ulrich Krohs, University of Bielefeld Pieter Vermaas, Technische Universiteit Delft -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jleite at di.fct.unl.pt Fri Feb 5 07:05:46 2010 From: jleite at di.fct.unl.pt (Joao Leite) Date: Fri, 5 Feb 2010 17:05:46 +1100 Subject: CFP: CLIMA XI - 11th Int. Workshop on Computational Logic in Multi-Agent Systems Message-ID: [Please accept our apologies if you receive multiple postings.] ++++++++++++++++++++++++++++++++++++++++++++++++++++ Preliminary Call for Papers CLIMA XI 11th International Workshop on Computational Logic in Multi-Agent Systems with special sessions on: * Norms and Normative Multi-Agent Systems. * Logics for Games and Strategic Reasoning. http://centria.di.fct.unl.pt/events/climaXI/ Lisbon, Portugal, August 16-17, 2010. Affiliated with ECAI'10. Submission deadline: May 7th. Proceedings: LNCS/LNAI volume (available at the workshop). AMAI Special Issue: Selected extended papers will be published in a Special Issue of Annals of Mathematics and Artificial Intelligence. ++++++++++++++++++++++++++++++++++++++++++++++++++++ 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 11th CLIMA will be affiliated with ECAI'10 and will take place in Lisbon, Portugal, on the 16th and 17th of August 2010. 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 Strategic Reasoning 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. AMAI 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 Annals of Mathematics and Artificial Intelligence. 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/climaXI/ Important dates: * Submission: May 7th * Notification: June 4th * Camera Ready: June 16th CLIMA XI Chairs: * Jürgen Dix, Technical University of Clausthal, Germany * João Leite, New University of Lisbon, Portugal Special Session Organisers: * Guido Governatori, NICTA, Australia (Norms and Normative Multi-Agent Systems) * Wojtek Jamroga, University of Luxembourg, Luxembourg (Logics for Games and Strategic Reasoning) Please send all enquiries about CLIMA XI to clima2010 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 hr at sti2.at Fri Feb 5 12:35:32 2010 From: hr at sti2.at (HR) Date: Fri, 05 Feb 2010 12:35:32 +0100 Subject: Job ad: PhD Researcher In-Reply-To: <4B6C0262.8030803@sti2.at> References: <46B036DB.1060002@deri.org> <46D3E047.5030103@deri.org> <4A093368.6010004@sti2.at> <4A0933D9.4090109@sti2.at> <4A27D6E4.1010401@sti2.at> <4B0554D8.4010503@sti2.at> <4B6C0262.8030803@sti2.at> Message-ID: <4B6C0284.8070601@sti2.at> Dear All, the Semantic Technology Institute at the University of Innsbruck (Austria) is currently seeking candidates for the following positions: - PhD Researcher More Information on the job and the application procedure can be found at http://orawww.uibk.ac.at/public_prod/owa/karriereportal.karriere_detail?asg_id_in=5845 Best Regards, Human Resources STI Innsbruck Technikerstraße 21a 6020 Innsbruck Austria From s-cube-amc at clip.dia.fi.upm.es Fri Feb 5 13:58:13 2010 From: s-cube-amc at clip.dia.fi.upm.es (S-Cube associate member coordinator) Date: Fri, 05 Feb 2010 13:58:13 +0100 Subject: S-Cube Network of Excellence: 2nd Call for associate members Message-ID: <7smxznrg9m.fsf@fi.upm.es> S-Cube (http://www.s-cube-network.eu/), the European Network of Excellence on Software Services and Systems, has launched its second call for Associate Members. Selected organizations will be given the opportunity to participate in and benefit from the integration and research activities of the Network. Please read more about the benefits of becoming an associate member at http://www.s-cube-network.eu/contact/become-an-associate-member and about the process to be followed at http://www.s-cube-network.eu/contact/subpages/associate-partner-process The deadline to apply is February 22nd, 2010 (strict, since applications have to be revised by the governing board). Please do not hesitate to send any question you may have to: s-cube-amc at clip.dia.fi.upm.es We look forward to your applications! -- S-Cube associate member coordinator From Jan.Sudeikat at gmx.de Sat Feb 6 17:14:39 2010 From: Jan.Sudeikat at gmx.de (Jan Sudeikat) Date: Sat, 06 Feb 2010 17:14:39 +0100 Subject: 1st International Conference on Swarm Intelligence and Emergent Computing - Submission Deadline Extended Message-ID: <4B6D956F.1080604@gmx.de> [Apologies for multiple postings] ***** New submission deadline: March 15, 2010 ***** SIEC 2010 The 1st International Conference on Swarm Intelligence and Emergent Computing In conjunction with the “The 2010 Systemics and Informatics World Network” (SIWN 2010) Chongqing, China, 12-14 July 2010 Complex Adaptive Systems are widespread both in the nature and in socio-economic phenomena. A Multi-Agent Based Complex System has its dynamic behaviour that is inherently emerging as a result of intensive interactions among its massive agents. Examples of Multi-Agent Based Complex Systems include social insects, population aggregations in urbane regions, market based economy, city taxi cabs, etc. Swarm Intelligence represents a methodology for analyzing and modeling Multi-Agent Based Complex Systems, and Emergent Computing is concerned with the methodology for engineering robust, dependable, self-adaptable Multi-Agent Based Complex Systems out of massive, simple, unreliable objects, devices or units. Essentially Emergent Computing represents a new approach which takes a Collective Intelligence point of view upon all types of artificial systems, e.g., web/Internet based systems, social networking, online virtual communities, pervasive/ubiquitous computing, ambient intelligence, socio-technical systems, and so forth. SIEC2010 aims to provide a timely international, multi-disciplinary forum on the latest theories, methods, techniques and applications in Swarm Intelligence and Emergence Computing. Details can be found at: http://siwn.org.uk/2010/SIEC10.htm Topics of particular interest include (but not limited to) the followings. (1) Biological and Scio-economic Inspirations for Swarms - artificial life - biologically inspired computing - biologically inspired interaction mechanisms - biologically inspired process algebra and formal specifications - collective intelligence - computational pheromones, potential field, economy - market economy - models of social insects - self-organization in biological systems - social insets - social intelligence - stigmergy (2) Emergence and Interactions - autonomy based interactions - cybernetic principles and self-organization - formal approaches to handling local/global agent behaviors - game theoretic approaches to emergence in multi-agent systems - interaction mechanisms for self-organization and adaptation - models, methods and tools for achieving global coherent behaviors - multi-agent based complex systems - principles of emergence, understanding, controlling, or exploiting emergent behaviors - relation between high-level goals and local interactions - specification based interaction mechanisms - trust-based interaction mechanisms (3) Swarm Optimization - ant colony optimization (ACO) - ants algorithms - computational swarm models - cultural evolution - evolutionary computing - particle swarm optimization (PSO) - social evolution (4) Emergent Computing - amorphous computing - analytic models of emergent behaviors - cellular automata approaches to emergence in multi-agent systems - cognitive computing - collective intelligence/emergence in cloud/Grid computing, service-oriented computing (SOC) - collective intelligence/emergence in pervasive/ubiquitous computing, ambient intelligence - collective intelligence/emergence in service discovery and delivery, service-oriented architectures (SOA) - collective intelligence/emergence in social networking, online virtual communities - collective intelligence/emergence in web/Internet systems - controllability of emergence - granular computing - molecular/cellular computer, DNA computing - multi-agent based complex systems - nanocomputing - natural computing, evolutionary computation - performance engineering of emergent behaviors in multi-agent systems - quantum computing (5) Applications - industrial automation - network routing - socio-technical systems - traffic scheduling Submission SIWN 2010 only accepts manuscripts of original contributions. A manuscript for submission to the Conference should neither have been published nor have been under consideration for publication elsewhere. A manuscript for submission to the Conference should be prepared according to the Instructions for Authors of the Journal that can be found at http://fatech.org.uk/press/ita.htm along with Sample Word Doc and Latex file of Camera-Ready Versions. There is a page limit of 8 formatted pages for the CRV of an accepted paper. Additional pages are subject to over-length charges. All accepted papers of the Conferences will be included in the electronic Proceedings of SIWN 2010 and at the same time, will be published in the International Journal <> (ISSN 1757-4439). After the Conferences, authors of selected papers will be invited to submit thoroughly expanded papers for publication at special issues of following International Journals: IEEE Transactions on Systems, Man, and Cybernetics International Transactions on Systems Science and Applications Engineering Applications of Artificial Intelligence Advanced Engineering Informatics Important Dates 15 March 2010 Submission of manuscripts 12 April 2010 Notification of acceptance 10 May 2010 Camera-Ready Version (CRV) due 12-14 July 2010 Conference Program Chairs Jan Sudeikat Multimedia Systems Laboratory, Hamburg University of Applied Sciences Berliner Tor 7, 20099 Hamburg, Germany Distributed Systems and Information Systems, Computer Science Department University of Hamburg, Vogt–Kolln–Str. 30, 22527 Hamburg, Germany Jan.Sudeikat at haw-hamburg.de Professor Yu Wu Network and Computation Research Center Chongqing University of Posts and Telecommunications Chongqing 400065, China wuyu at cqupt.edu.cn From j44zhang at cs.uwaterloo.ca Mon Feb 8 04:29:55 2010 From: j44zhang at cs.uwaterloo.ca (Jie Zhang) Date: Sun, 07 Feb 2010 22:29:55 -0500 Subject: PST2010 CFP: EIGHTH INTERNATIONAL CONFERENCE on PRIVACY, SECURITY, and TRUST Message-ID: <20100207222955.48694q9idjzfno74@www.nexusmail.uwaterloo.ca> (Apologies if you receive multiple copies of this message) ******************************************************************** PST 2010 EIGHTH INTERNATIONAL CONFERENCE on PRIVACY, SECURITY, and TRUST Ottawa, Canada August 17-19, 2010 http://pstnet.unb.ca/pst2010 ******************************************************************** Preliminary Call for Papers The PST2010 International Conference on Privacy, Security and Trust (PST) is being held in Ottawa, Ontario, Canada, August 17-19, 2010. PST2010 is the eighth such annual conference focusing on PST technologies. PST2010 provides a forum for researchers world-wide to unveil their latest work in privacy, security and trust and to show how this research can be used to enable innovation. This year's theme is "Privacy, Security and Trust by Design: PbD - The Gold Standard." With the growth and ubiquity of data in today's hyper-networked world, the need for trust has become more critical than ever. We need new paradigms that seek to integrate and build privacy, security and trustworthiness directly into technologies and systems from the outset and by default. IMPORTANT DATES: ---------------- Paper submission due: April 3, 2010 Notification of acceptance: May 29, 2010 Final manuscripts due: June 26, 2010 PST2010 will include an Industry Day followed by two days of high-quality research papers whose topics include, but are NOT limited to, the following: - Privacy Preserving / Enhancing Technologies - Trust Technologies, Technologies for Building Trust in e-Business Strategy - Critical Infrastructure Protection - Observations of PST in Practice, Society, Policy and Legislation - Network and Wireless Security - Digital Rights Management - Operating Systems Security - Identity and Trust management - Intrusion Detection Technologies - PST and Cloud Computing - Secure Software Development and Architecture - Human Computer Interaction and PST - PST Challenges in e-Services - Implications of, and Technologies for, Lawful Surveillance - Network Enabled Operations - Biometrics, National ID Cards, Identity Theft - Advanced Training Tools - PST and Web Services / SOA - Information Filtering, Data Mining & Knowledge from Data - Privacy, Traceability, and Anonymity - National Security and Public Safety - Trust and Reputation in Self-Organizing Environments - Security Metrics - Anonymity and Privacy vs. Accountability - Recommendation, Reputation and Delivery Technologies - Access Control and Capability Delegation - Continuous Authentication - Representations and Formalizations of Trust in Electronic and Physical Social Systems High-quality papers in all PST related areas that, at the time of submission, are not under review and have not already been published or accepted for publications elsewhere are solicited. Accepted papers will be accepted as "regular" papers up to 5 pages and with oral presentations, or "short" papers of up to 2 pages with poster presentations. The standard IEEE two-column conference format should be used for all submission. A copy of the IEEE Manuscript Templates for Microsoft Word or LaTeX and additional information about paper submission and conference topics and events can be found at the conference web site. All accepted papers will be published in the conference proceeding, and by IEEE* and will be accessible* via IEEE Xplore Digital Library. Best Paper and Best Student Paper awards will be presented. Some travel grants to students who are presenting their work in the conference will also be made available. For additional information please visit the conference web site: http://pstnet.unb.ca/pst2010 From hak at ca.ibm.com Mon Feb 8 06:33:50 2010 From: hak at ca.ibm.com (Hassan Ait-Kaci) Date: Mon, 8 Feb 2010 06:33:50 +0100 Subject: CFP - RULE 2010 (Edinburgh, UK, July 14, 2010) In-Reply-To: References: Message-ID: ------------------------------------------------------------------------ [Although we try avoiding cross-posting, we apologize if that happens] ------------------------------------------------------------------------ RULE 2010 Call For Papers ELEVENTH INTERNATIONAL WORKSHOP ON RULE-BASED SPECIFICATION AND PROGRAMMING RULE-BASED PROGRAMMING IN INDUSTRY AND THE SEMANTIC WEB Edinburgh, UK July 14, 2010 IMPORTANT DATES: Submission deadline: Friday, April 16, 2010 PC meeting: Monday-Friday, May 24-28, 2010 Authors notified: Thursday, June 3, 2010 Final copies due: Friday, June 25, 2010 RULE 2010 Workshop: Wednesday, July 14, 2010, This CFP' URL: http://www.di.uminho.pt/rule2010 (Workshop affiliated to FLoC 2010 as post-conference event of RTA 2010) With the renewed interest in rule-based computing for industrial applications (e.g., Business Rules) especially as it relates to the Semantic Web ( e.g., the W3C's Rule Interchange Format), it is timely to explore the practical benefits delivered by computing with rules and ontologies in the large. Thus, this year's theme will focus on rule-based programming in Industry and the Semantic Web. The emphasis will be on implemented systems that have been actually used in pragmatic situations where the advantages of rule-driven computation and inference have made all the difference, such advantages being: * agility * declarativeness * maintainability * documentability * scalability * meta-programmability * reliability * formal semantics * etc., ... In terms of the Semantic Web, we explicitly call for submissions that probe (in a pragmatic setting) how rule-based approaches complement ontology-based approaches, which share some of the characteristics of rule systems, such as declarativeness and formal semantics. PAPER SUBMISSION We are solliciting papers dealing with topics related to this year's theme discussing any or several of the itemized facets of the combinations of rules and ontologies, going beyond academic experiments and meant for large-scale or industrial applications. Papers should contain no more than 10 pages, including figures, and submitted through EasyChair using the standard EPTCS LaTeX style file. PROGRAM COMMITTEE * Hassan Ait-Kaci, IBM, Canada (co-chair) * Maria Alpuente, Universidad de Valencia, Spain * Harold Boley, National Research Council, Canada * Mike Dean, BBN, USA * Mohand-Said Hacid, Universite Claude Bernard, Lyon, France * Gary Hallmark, Oracle, USA * Pierre-Etienne Moreau, INRIA Nancy, France * Jeff Pan, University of Aberdeen, United Kingdom * Dave Reynolds, Epimorphics Ltd., United Kingdom (co-chair) * Eelco Visser, Delft University of Technology, The Netherlands Workshop venue RULE 2010 will be a satellite workshop of the conference on Rewriting Techniques and Applications (RTA 2010) affiliated to the Federated Logic of Computing conferences (FLoC 2010), to take place in Edinburgh, UK, July 9-21, 2010. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grsimari at gmail.com Mon Feb 8 10:42:10 2010 From: grsimari at gmail.com (Guillermo R. Simari) Date: Mon, 8 Feb 2010 06:42:10 -0300 Subject: Last Call for Papers NMR'2010 Session on Argument, Dialogue and Decision (Deadline Extension Feb 15th) Message-ID: PLEASE NOTE Deadline extension due to several requests - Papers due: February 15 (Monday), 2010 (** extended **) - Notification: March 8 (Monday), 2010 (** extended **) UPDATE: Journal of Philosophical Logic will publish a special NMR 30th anniversary issue, inviting submissions of the best philosophically inclined papers drawn from NMR2010 and KR2010. *************************************************************************** NMR'2010 Special session on Argument, Dialogue and Decision May 14-16, 2010 Sutton Place, Toronto, Canada Session web page: http://www.cs.sfu.ca/NMR2010/NMR_2010/Argument,_Dialog_and_Decision.html *************************************************************************** Since the work of John Pollock, Ronald Loui and others in the eighties, argumentation has proven to be successful in nonmonotonic logic. In the early nineties Dung and others showed that argumentation is also very suitable as a general framework for relating different nonmonotonic logics. Finally, in recent years argument-based logics have been used to facilitate reasoning and communication in multi-agent systems. Argumentation can be studied on its own, but it also has interesting relations with other topics, such as dialogue and decision. For instance, argumentation is an essential component of such phenomena as fact finding investigations, computer supported collaborative work, negotiation, legal procedure, and online dispute mediation. However, only recently researchers have begun to explore the use of argumentation in these contexts. TOPICS This workshop is devoted to the logical study of argumentation and its connections with decision and dialogue. In particular, we invite submissions of original research on the following topics. The study of argument-based logics including • semantics • proof theory • complexity and resource limitations • applications to epistemic and practical reasoning • applications to informal theories of argumentation • comparison with other types of nonmonotonic logic The development of argument-based logical systems in formal models of multi-agent reasoning and interaction, such as • fact finding investigations • negotiation • distributed sense-making • dispute resolution and mediation • decision making SESSION CO-CHAIRS • Iyad Rahwan , British University in Dubai, UAE; University of Edinburgh, UK • Guillermo R. Simari, Universidad Nacional del Sur, Argentina SUBMISSION DETAILS Submissions are limited to 7 pages using KR/AAAI paper format (See http://www.aaai.org/Publications/Author/author.php). Only PDF format will be accepted. Submissions should be sent via EasyChair using the following site: http://www.easychair.org/conferences/?conf=nmr2009add Please contact the co-chairs by e-mail for any queries. IMPORTANT DATES • Submission of papers: February 15 (Monday), 2010 (** extended **) • Notification of acceptance: March 8 (Monday), 2010 (** extended **) • Camera ready copy: April 6, 2010 PROGRAM COMMITTEE • Leila Amgoud, Universite Paul Sabatier, France • Jamal Bentahar, Concordia University, Canada • Carlos Chesnevar, Universidad Nacional del Sur, Argentina • Paul E. Dunne, University of Liverpool, UK • Alejandro Garcia, Universidad Nacional del Sur, Argentina • Anthony Hunter, University College London • Michael Maher, National ICT Australia • Sanjay Modgil, King's College, London, UK • Nir Oren, King's College, London, UK • Simon Parsons, Brooklyn College CUNY, USA • Henry Prakken, Utrecht University and University of Groningen, The Netherlands • Iyad Rahwan, British University in Dubai, UAE; University of Edinburgh, UK • Guillermo R. Simari, Universidad Nacional del Sur, Argentina • Paolo Torroni, University of Bologna, Italy • Bart Verheij, University of Groningen, Netherlands • Simon Wells, University of Dundee, Scotland, UK From Bertram.Fronhoefer at inf.tu-dresden.de Sun Feb 7 20:48:22 2010 From: Bertram.Fronhoefer at inf.tu-dresden.de (Bertram =?iso-8859-1?Q?Fronh=C3=B6fer?=) Date: Sun, 7 Feb 2010 20:48:22 +0100 Subject: Announcement: ICCL Summer School 2010 Message-ID: <20100207194817.GA28778@janeway.inf.tu-dresden.de> Call for Participation ICCL Summer School 2010 COGNITIVE SCIENCE, COMPUTATIONAL LOGIC AND CONNECTIONISM Technische Universität Dresden August 29 -- September 11, 2010 http://www.computational-logic.org/iccl-ss-2010 TOPIC The summer school will focus on the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. Connectionist models even show a closer relation between formal reasoning and brain activities. For these reasons this summer school attempts to bring together researchers from various sides for an exchange of views. REGISTRATION If you want to attend the summer school, we'd prefer that you register by April 1, 2010. (See the online registration on the web page mentioned above.) For all who want to apply for a grant, this deadline is obligatory. After April 1, 2010, registration will be possible as long as there are vacant places. (Since we intend to restrict participation to about 60 people, in case of excessive demand, we will have to close the registration to the summer school.) People applying until April 1, 2010, and applying for a grant will be informed about respective decisions on grants at latest by end of April 2010. FEES We ask for a participation fee of 200 EUR. GRANTS A limited number of grants may be available, please indicate in your application if the only possibility for you to participate is via a grant. Applications for grants must include an estimate of travel costs (to be filled in the respective part of the online registration form). INTEGRATED WORKSHOP It will be possible for some participants to present their research work during a small workshop integrated in the summer school. If you would like to do so, please register by means of the online workshop registration form on the web page mentioned above: (The title of your proposed talk, and, in addition, an extended abstract or a full paper of at most 10 pages in postscript or pdf format must be submit by April 1, 2010.) A program committee consisting of the summer school lecturers will select among the submissions. Notification of acceptance of a talk at the integrated workshop will be at latest by end of April 2010. Please note that participation at the summer school is a prerequisite for participation at the workshop. COURSE PROGRAM COGNITION, LANGUAGE, AND NEURAL COMPUTATION. Jerome Feldman (ICSI, Bekeley, USA) NEURO-SYMBOLIC COGNITIVE REASONING Artur d'Avila Garcez (City University London, UK) CONNECTIONIST MODEL GENERATION Steffen Hölldobler (Technische Universität Dresden) COMPLEX NETWORKS OF MINDFUL ENTITIES. Luís Moniz Pereira (Universidade Nova de Lisboa, Portugal) COGNITIVE COMPLEXITY IN DEDUCTIVE REASONING Marco Ragni (University of Freiburg) COMPUTING EVENT STRUCTURES WITH LOGIC PROGRAMS Fritz Hamm / Fabian Schlotterbeck (Universität Tübingen) PEOPLE INVOLVED Chair of the ICCL Summer School 2010 Steffen Hölldobler Organizing Committee Julia Koppenhagen Bertram Fronhöfer NOTE ON FUNDING This Summer School is funded by the German Academic Exchange Service (DAAD) with financial means from the German Federal Foreign Office From alessandro.dalpalu at unipr.it Mon Feb 8 16:28:32 2010 From: alessandro.dalpalu at unipr.it (Alessandro Dal Palu') Date: Mon, 08 Feb 2010 16:28:32 +0100 Subject: [Call for papers] Workshop on Constraint Based Methods for Bioinformatics Message-ID: <201002081616.o18GGYL9012724@nemo3.cce.unipr.it> *Apologies for multiple copies* We would like to invite you to submit a paper to Call for papers WCB10 - Workshop on Constraint Based Methods for Bioinformatics --------------------------------------------------------------- July 21st, 2010 Edinburgh co-located to ICLP/FLOC 2010 http://wcb10.dimi.uniud.it/ Submission: April 1st, 2010 OVERVIEW AND SCOPE Bioinformatics is a challenging and fast growing area of research, which is of utmost importance for our understanding of life. Major contributions to this discipline can have thousands of positive effects in medicine, agriculture, or industry. To pick out only a few examples, Bioinformatics tackles problems related to * Recognition, analysis, and organization of DNA sequences. For instance, Haplotype/Pedigree inference, Phylogenetic reconstruction, Motif localization, and Alignments * Biological systems simulations (for metabolic or regulatory networks) * Prediction of the spatial conformation of a bio-polymer, given its sequence of monomers (in particular for proteins and RNA). The main aim of this workshop is twofold. On the one hand, to share recent results in this area (new ideas, systems and solvers that rely on constraints, but also on Logic Programming, Answer Set Programming, Linear Programming, Mixed Integer Linear Programming, Local Search, and any other AI techniques, possibly combining some of them). On the other hand, to present new challenging problems recently formalized but still beyond current computing capabilities. Submitted papers can be * Extended Abstracts of new results or * Abstract of ongoing works * Systems presentations (with demos at the workshop) * Summaries of already accepted or recently published results in the topics above. Submission style is the standard llncs style. Page limit is 6 pages. Submission is handled by Easychair http://www.easychair.org/ IMPORTANT DATES Submission Deadline: April 1st, 2010 Notification to Authors: April 30th, 2010 Camera-ready: TBA Workshop: July 21st, 2010. The final submission must include latex sources. Participation of at least one author is mandatory. PROGRAM CO-CHAIRS Alessandro Dal Palu' Parma Univ., Italy Agostino Dovier Udine Univ., Italy Sebastian Will Freiburg and MIT, USA PROGRAM COMMITTEE Rolf Backofen, Freiburg Univ., Germany. Pedro Barahona, Univ. Nova de Lisboa, Portugal Alexander Bockmayr, Freie Univ. Berlin, Germany Mats Carlsson, SICS, Uppsala Sweden Esra Erdem, Sabanci Univ., Turkey Alessandro Dal Palù Univ. of Parma, Italy (co-chair) Simon de Givry, INRA, Toulouse, France Agostino Dovier Udine Univ., Italy (co-chair) Francois Fages, INRIA Rocquencourt, France Inês Lynce, INESC-ID Lisboa, Portugal Neil Moore, Univ. of St Andrews, Scotland Enrico Pontelli, NMSU, USA Sebastian Will Freiburg Univ. and MIT, USA, Germany (co-chair) --------------------------------------------------------- Alessandro Dal Palu' Dip. di Matematica, Universita' di Parma Parco Area delle Scienze, 53/A, 43100 Parma, Italy http://www.unipr.it/~dalpalu/ --------------------------------------------------------- From nesi at dsi.unifi.it Mon Feb 8 22:37:47 2010 From: nesi at dsi.unifi.it (nesi) Date: Mon, 08 Feb 2010 22:37:47 +0100 Subject: DMS2010 call for papers: Message-ID: <20100208213838.96EA8328110@dsi-fe3.dsi.unifi.it> DMS 2010: Globalization and Personalization The Sixteenth International Conference on Distributed Multimedia Systems www.ksi.edu/seke/dms10.html Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA October 14 - October 16, 2010 Organized by Knowledge Systems Institute, USA, University of Florence, Italy, University of Leeds. UK Call For Papers The DMS conference is an international conference series, which covers a wide spectrum of paper presentations, technical discussions and demonstrations in the fields of distributed multimedia computing. The theme for DMS2010 is Globalization and Personalization. The conference organizers seek contributions of high quality papers, panels or tutorials, addressing various aspects of distributed multimedia systems and applications, for presentation at the conference and publication in the proceedings. Both research and case study papers or demonstrators describing results in research area as well as industrial development cases and experiences are solicited. Demonstrators prototypes are welcome to support the submission and to be presented at the conference in the discussion sections. Special issue of Journals The DMS conference is closely coordinated with the International Journal of Software Engineering and Knowledge Engineering, the Journal of Visual Languages and Computing and the International Journal of Distance Education Technologies. Usually the best ranked papers from the conference, after rigorous reviews, extensive revisions and further enhancements, will appear in one or more special issues of the above journals. Papers suggested for the special issue(s) will be reviewed by external reviewers following the standard procedure of review stipulated by the respective journal. Information for Authors Papers must be written in English. An electronic version (Postscript, PDF, or MS Word format) of the full paper should be submitted using the following URL: http://conf.ksi.edu/dms2010/submit/SubmitPaper.php. Manuscript must include a 200-word abstract and no more than 6 pages of IEEE double column text (include figures and references). All submissions must not be published or under consideration for publication in a journal or in a conference with proceedings. Papers will be evaluated based on originality, significance, technical soundness and clarify of exposition. Depending upon the results of evaluation a paper may be accepted as regular paper (6 pages), short paper (4 pages) or poster (poster presentation only). If you have any questions please send e-mail to: dms10 at ksi.edu. DMS 2010 Conference Secretariat Knowledge Systems Institute 3420 Main Street Skokie, IL 60076 USA Tel: 847-679-3135 Fax: 847-679-3166 E-mail: dms10 at ksi.edu Important Dates Paper submission due: April 30, 2010 Notification of acceptance: June 30, 2010 Camera-ready copy: July 31, 2010 Early conference registration due: July 31, 2010 DMS'10 Conference Co-Chairs Augusto Celentano, Universita Ca Foscari di Venezia, Italy Atsuo Yoshitaka, JAIST, Japan DMS'10 Program Co-Chairs Paolo Nesi, University of Florence, Italy Kia Ng, University of Leeds, UK DMS'10 Steering Committee Chair Shi-Kuo Chang, University of Pittsburgh, USA DMS'10 Publicity Committee Kao-Shing Hwang, National Chung Cheng University, Taiwan The conference is listed by: DBLP AllConferences.com, a directory of conferences and conventions. The conference is organized by: Knowledge Systems Institute, USA Univeristy of Florence, Italy University of Leeds, UK -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : dms10cfp1.pdf Dateityp : application/pdf Dateigröße : 31249 bytes Beschreibung: nicht verfügbar URL : From walid.chainbi at gmail.com Tue Feb 9 07:53:35 2010 From: walid.chainbi at gmail.com (Walid Chainbi) Date: Tue, 9 Feb 2010 07:53:35 +0100 Subject: CFP: Adaptation of Web Services (AWS'2010) Message-ID: <2ec74e881002082253t5a9fdeady3a5a5467e99a5686@mail.gmail.com> ************************************************** Call For Papers ********************************************************************* * First International Workshop on the Adaptation of Web Services (AWS'2010) * * August 31st, Toronto, Canada, 2010 * * http://www.uc.rnu.tn/aws2010.html * * within WI-IAT’2010 conference * AIMS AND SCOPE ++++++++++++++ Service-Oriented Computing (SOC) is a computing paradigm that utilizes Web services as the basic constructs to support the development of rapid, low-cost and easy composition of distributed applications even in heterogeneous environments. With the advent of SOC, computing environments have become open, and components are no longer under a single organization’s control. Consequently, Web services based applications are becoming difficult to adapt. Moreover, with the rapid growth of communication and information technologies, adaptation has gained a significant attention as it becomes a key feature of Web services allowing them to operate and evolve in highly dynamic environments. Adaptation mechanisms refer to different instantiations including configuration, healing, optimization, and protection. The primary objective of this workshop is to investigate ideas that may contribute to the adaptation of Web services. Theoretical as well as practical aspects are welcome. The workshop organizers welcome participation and contributions from those working or interested in the intersection of technologies such as agent technology and autonomic computing with SOC. TOPICS OF INTEREST ++++++++++++++++++ The topics of interest for AWS’2010 include, but are not limited to: * Adaptation solutions to Web services * Applications of adaptive Web services * Optimization of Web services * Configuration of Web services * Healing of Web services * Protection of Web Services * Self-* Web services * Agents vs. Web services * Agents for Web services * Design and management of self-* Web services. SUBMISSION PROCEDURE and FORMATTING GUIDELINES ++++++++++++++++++++++++++++++++++++++++++++++ Authors should submit their contributions electronically in PDF format by using the WI-IAT CyberChair system http://wi-consortium.org/cyberchair/wiiat10/scripts/ws_submit.php by the deadline given below. Papers should be written in English with a maximum of 15 pages. All submitted papers will be reviewed on the basis of technical quality, relevance, significance, and clarity. Accepted papers will be included in the Workshop Proceedings published by the IEEE Computer Society Press and will be available at the workshop. Depending on the quality of contributions, we are planning to publish a post-proceedings of the papers either as a book or a special issue of an international journal. WORKSHOP CHAIRS +++++++++++++++ Dr. Walid Chainbi Sousse National School of Engineers/ LI3, Sousse University, Tunisia E-mail: Walid.Chainbi at gmail.com Pr. Khaled Ghedira Institut Supérieur de Gestion de Tunis/LI3, Tunis University, Tunisia E-mail:Khaled.Ghedira at isg.rnu.tn PROGRAM COMMITTEE +++++++++++++++++ * Walt Truszkowski, NASA Goaddard Space Flight Center (USA) * Roy Sterritt, University of Ulster at Jordanstown (Northern Ireland) * Huaglory Tianfield, Glasgow Caledonian University (UK) * Jeffrey Kephart, IBM T.J. Watson Research Center (USA) * Walid Chainbi, Sousse National School of Engineers (Tunisia) * Rainer Unland, University of Duisburg-Essen (Germany) * Christoph Reich, Hochschule Furtwangen University (Germany) * Zakaria Maamar, Zaied University (UAE) * Giovanni Russello, Create-net (Italy) * ALi A. Ghorbani, University of New Brunswick (Canada) * David Chess, Thomas J. Watson Research Center, IBM Research Division (USA) * Manish Parashar, Rutgers, The State University of New Jersey (USA) * Hamid Motahari, Hewlett Packard Laboratories, Palo Alto (USA) * Mohand-Said Hacid, University Claude Bernard Lyon 1 (France) IMPORTANT DATES +++++++++++++++ * April, 16, submission due. * June, 7, notification of acceptance. * June, 21, camera-ready due. If you have any question or need clarification on any of the information in this CFP, please contact Dr. Walid Chainbi at: Walid.Chainbi at gmail.com. ********************************************************************************************************************************************* From k.v.hindriks at tudelft.nl Tue Feb 9 11:48:41 2010 From: k.v.hindriks at tudelft.nl (Koen Hindriks) Date: Tue, 9 Feb 2010 11:48:41 +0100 Subject: CFP HUCOM2010 @ GDN: Human Factors and Computational Models in Negotiation Message-ID: <004801caa975$717262b0$54572810$@v.hindriks@tudelft.nl> ================ CALL FOR PAPERS ========================== Second International Working Conference on Human Factors and Computational Models in Negotiation (HuCom 2010 @ GDN) June 21 - 24, 2010, Delft, The Netherlands http://mmi.tudelft.nl/HuCom10/ IMPORTANT DATES: April 1, 2010: Paper Submissions Due April 16, 2010: Notification of paper acceptance/rejection May 1, 2010: Camera-ready copies of accepted papers June 21 - 24, 2010: Working Conference on Human Factors and Computational Models in Negotiation PUBLICATION: We are pleased to solicit original and unpublished papers for publication and presentation in the Working Conference on Human Factors and Computational Models in Negotiation. Articles describing novel ideas and applications in all areas related to human factors and computational models in negotiation are of interest. We also invite submissions of statements of interests or position papers. Submit your paper electronically in either PDF or postscript format. Papers should not be more 6000 words. Submission is entirely automated by a paper management tool, which is available from the main web site: http://www.easychair.org/conferences/?conf=hucom10. Accepted papers will be published in the Proceedings of the Group Decision and Negotiation conference. AIMS AND SCOPE: Negotiation is a complex and sometimes emotional decision-making process aiming to reach an agreement to exchange goods or services. Although a daily activity, extensive research has shown that few people are effective negotiators. Current state of the art negotiation support systems can help make a significant improvement in negotiation performance. In particular, when the negotiation space is well-understood such systems can make a difference, partly because machines can much better deal with the computational complexity involved. However, the negotiation space can only be properly developed if the human parties jointly explore their interests. The inherent semantic problem and the emotional issues involved make that negotiation cannot be handled by artificial intelligence alone, and a human-machine collaborative system is required. Such systems are not only to support humans in providing strategic advice but also in coping with emotions and moods in human-human interactions. In order to develop human-machine collaborative negotiation support systems there is a need for the development of computational models, frameworks, and experimental, user-centred and ergonomic methods that enable the engineering of negotiation support systems. It is important for this purpose to study the role of human factors in negotiation as well as computational models to enable intelligent support for negotiation. To develop the next generation of negotiation support systems there are still many, diverse challenges: models of (qualitative, incomplete) preferences, preference change and strategies, preference elicitation, assessment methods for negotiation performance, learning and adaptativeness in negotiation, models of emotion and user awareness, the use and creation of domain knowledge, user interfaces for negotiation support, human-supported assessment of opponent, conflict handling styles, experimental methods. Topics covered include but are not limited to: - Negotiation strategies (bidding, acceptance) - Argumentation for negotiation - Negotiation interaction - Learning in negotiation - Negotiation domain knowledge - Case studies - Preference elicitation - Qualitative preferences - Incomplete preferences - Ontologies for negotiation (protocols, preferences, domain knowledge) - Negotiation Support Systems - User interfaces for Negotiation Support Systems - Human-machine negotiation - Negotiation, conflict handling, and experiments related to e.g. consensus building - Personality in negotiation (e.g. Big Five) - Emotions in negotiation - Cultural factors in negotiation - Negotiation bidding advice - Negotiation conflict styles - Trust in automatically generated negotiation advice - Negotiation applications - E-commerce - Methods and tools for negotiation tasks - Design and Evaluation of support systems - Conflict handling styles and consensus building - HCI aspects and human factors of negotiation Program Chairs: Koen Hindriks - Delft University of Technology, Delft, The Netherlands Catholijn Jonker - Delft University of Technology, Delft, The Netherlands Pascal Wiggers - Delft University of Technology, Delft, The Netherlands PROGRAM COMMITTEE: TBA INFORMATION: For further information please contact: k.v.hindriks at tudelft.nl -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ndt at dirf.org Tue Feb 9 12:56:05 2010 From: ndt at dirf.org (Digital Information Research Foundation) Date: Tue, 09 Feb 2010 17:26:05 +0530 Subject: CFP:NDT2010:Prague-Czech Republic:July2010 Message-ID: <20100209172605.qianw61x96o4wogc@202.54.156.184> The Second International Conference on 'Networked Digital Technologies' (NDT2010) Prague, Czech Republic, July 7-9, 2010 http://www.dirf.org/ndt2010 ========================================================================== Location: Charles University, Prague, Czech Republic Date: July. 7-9, 2010. ========================================================================= Topics: Information and Data Management Data and Network Mining Intelligent Agent-Based Systems, Cognitive and Reactive Distributed AI Systems Internet Modeling User Interfaces, Visualization and Modeling XML-Based Languages Security and Access Control Trust Models for Social Networks Information Content Security Mobile, Ad Hoc and Sensor Network Management Web Services Architecture, Modeling and Design New Architectures for Web-Based Social Networks Semantic Web, Ontologies (Creation, Merging, Linking and Reconciliation) Web Services Security Quality of Service, Scalability and Performance Self-Organizing Networks and Networked Systems Data management in Mobile Peer-to-Peer Networks Data Stream Processing in Mobile/Sensor Networks Indexing and Query Processing for Moving Objects User Interfaces and Usability Issues form Mobile Applications Mobile Social Networks Peer-to-Peer Social Networks Sensor Networks and Social Sensing Social Search Social Networking Inspired Collaborative Computing Information Propagation on Social Networks Resource and Knowledge Discovery Using Social Networks Measurement Studies of Actual Social Networks Simulation Models for Social Networks Cloud computing Grid computing Green Computing ========================================================================= IMPORTANT DATES: Submission Date: Feb 15, 2010 Notification of acceptance: April 20, 2010 Camera Ready submission: May 10, 2010 Registration: May 15, 2010 Conference date: July 7-9, 2010 ========================================================================= SUBMISSION: Submission instructions are listed at http://www.dirf.org/ndt2010/submission.asp From Manuela.Bujorianu at manchester.ac.uk Tue Feb 9 14:45:24 2010 From: Manuela.Bujorianu at manchester.ac.uk (Manuela Bujorianu) Date: Tue, 09 Feb 2010 13:45:24 +0000 Subject: CFPart: Etaps tutorial on cyber-physical systems Message-ID: <20100209134524.1278243gekprvdv8@webmail.manchester.ac.uk> --------------------------------------------------------------------- Please accept our apologies if you have received multiple copies. Please feel free to distribute it to those who might be interested. --------------------------------------------------------------------- *********************************************************************** * * * Call for Participation * * * * TUTORIAL * * * * Uncertainty Modeling in Cyber-Physical Systems * * * * 21st Marchÿ 2010 * * Paphos, Cyprus * * * * European Joint Conferences on * * Theory And Practice of Software * * (ETAPS 2010) * * * * http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/ * * ETAPStutorial.htm * * * *********************************************************************** Background and Content Cyber physical systems represent an emerging research area that raises many open problems and new research topics. Its root can be traced into recent developments in ubiquitous computing, hybrid systems and networked control systems. This is a holistic approach that focuses on the interaction between system aspects that have been studied in separation until now. Such aspects include physical environments, hybrid discrete continuous behaviours, random perturbations and communication/control co-design. The tutorial has three major purposes: - to introduce the audience into the rich and diverse applications of cyber physical systems; - to illustrate the subtleties of the formal modelling of the cyber physical systems; - to present modern trends based on various concepts of concurrent hybrid systems. Consequently, the tutorial will be structured in three sessions corresponding to each purpose. Organisation The tutorial format is based on a multi-speaker format. The lectures will be presented by: * Manuela Bujorianu (University of Manchester, UK) - coordinator, * Mariken Everdij (NLR Amsterdam, NL), * Anne Remke (University of Twente, NL) and * Tino Teige (Oldenburg University, DE) Important dates * Early registration deadline: February 15, 2010 * Late registration deadline: February 28, 2010 * Tutorial: March 21, 2010 * ETAPS: March 20-28, 2010 From dconf at dline.info Wed Feb 10 13:56:17 2010 From: dconf at dline.info (dconf at dline.info) Date: Wed, 10 Feb 2010 18:26:17 +0530 Subject: CFP::ICBDE2010::Bangalore-India::July2010 Message-ID: <20100210182617.rx3kxjcbsowccc0w@202.54.156.184> The 2010 International Conference on the Business and Digital Enterprises (ICBDE 2010) July, 22-24, 2010 Gopalan Educational Society, Bangalore, India http://dline.info/icbde2010/ ========================================================================== Location: Gopalan Educational society, Bangalore, India Date: July, 22-24, 2010. ========================================================================== Topics: Digital Management products Digital Innovation Management IT Management Business Technology Intelligence E-Business Consumer Electronics Digital Libraries Digital Economy Digital Data Mining Digital Enterprises E-Commerce Technology E-Business Applications and Software E-Commerce in developing countries Global E-Commerce Infrastructure for E-Commerce Marketing on the Web Barriers to E-Business Adoption Cryptography for enabling E-Commerce e-Commerce Strategy & Implementation Internet payment systems E-Logistics E-Government E-Procurement E-Services Business-oriented E-Commerce Consumer-oriented E-Commerce Web advertising and Web Publishing Mobile Commerce Supply Chain Management & E-Fulfilment E-Communities Regulatory/Policy Issues Social Issues in E-Commerce The Regulatory Environment of E-Commerce Trust & Security Issues in E-Commerce Web Services Cloud Technology Security Issues in E-Commerce Multidimensional modelling and queries Online Analytical Processing (OLAP) Operating Systems Green Computing/ Mobile Technologies Artificial Neural Networks High Performance Computing for BI Semantic Web and Ontology for BI Databases for business Digital Business Ecosystems and BI Text Mining and Web Mining Wireless and Mobile Technologies Enterprise Engineering Data Warehousing Technology Data Management Data Modeling ========================================================================== IMPORTANT DATES: Submission Date: Feb. 15, 2010 Notification of acceptance: April 20, 2010 Camera Ready submission: May 10, 2010 Registration: May 15, 2010 Conference date: July 22-24, 2010 ========================================================================== SUBMISSION: Submission instructions are listed at http://dline.info/icbde2010/submission.php From serge.autexier at dfki.de Wed Feb 10 15:13:25 2010 From: serge.autexier at dfki.de (Serge Autexier) Date: Wed, 10 Feb 2010 15:13:25 +0100 Subject: AISC'10: 2nd Call for Papers Message-ID: <4B72BF05.1040604@dfki.de> -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 [Apologies for possible multiple postings.] AISC 2010 - 10th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION Theory, Implementations and Applications http://cicm2010.cnam.fr/aisc/ CNAM, Paris, France, July 5th - July 6th, 2010 2ND CALL FOR PAPERS Artificial Intelligence and Symbolic Computation are two views and approaches for automating problem solving, in particular mathematical problem solving. The two approaches are based on heuristics and on mathematical algorithmics, respectively. Artificial Intelligence can be applied to Symbolic Computation and Symbolic Computation can be applied to Artificial Intelligence. Hence, a wealth of challenges, ideas, theoretical insights and results, methods and algorithms arise in the interaction of the two fields and research communities. Advanced tools of software technology and system design are needed and a broad spectrum of applications is possible by the combined problem solving power of the two fields. Hence, the conference is in the center of interest and interaction for various research communities: * Artificial Intelligence * Logic * Symbolic Computation * Software Technology * Computer Algebra * Semantic Web Technology * Automated Reasoning * Mathematical Knowledge Management * Formal mathematics * Computer-based Math Teaching & Didactics * Machine Learning * Computer-Supported Publishing * Automated Discovery * Language and System Design Topics ====== Topics of particular interest of the conference include: * AI in Symbolic Mathematical Computing * Computer Algebra Systems and Automated Theorem Provers * Symmetries in AI problems * Engineering, Industrial and Operations Research Applications * Foundations and Complexity of Symbolic Computation * Mathematical Modeling of Multi-Agent Systems * Implementations of Symbolic Computation Systems * Programming Languages for Symbolic Computation * Symbolic Computations for Expert Systems and Machine Learning * Symbolic Computation and Ontologies * Logic and Symbolic Computing * Implementation and Performance Issues * Intelligent Interfaces * Symbolic Techniques for Document Analysis Papers on other topics with links to the above research fields and topics will also be welcomed for consideration. Proceedings =========== The proceedings of the conference will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer-Verlag. Accepted papers will have to be prepared in LaTeX and formatted according to the requirements of the Springer's LNAI series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html and are the same for LNCS and LNAI). Submission ========== Theoretical and applied research papers on all topics within the scope of the conference are invited. Submitted papers (in English) must not exceed 15 pages in length (in the LNCS style). The title page should contain the title, author(s) with affiliation(s), e-mail address(es), listing of keywords and abstract plus the topics from the above list to which the paper is related. The program committee (PC) will subject all submitted papers to a peer review. Theoretical papers will be judged on their originality and contribution to their field, and applied papers on the importance and originality of the application. Results must be original and have not been published elsewhere. The web page for electronic submission is at: http://www.easychair.org/conferences/?conf=aisc20100 Best Paper Awards ================= Every submission automatically competes for the Best Paper Award. Papers which have been mainly developed by (PhD) students can be marked as student papers upon submission to also compete for the Best Student Paper Award. Important Dates =============== Abstract Submission deadline: February 19, 2010 Submission deadline: February 26, 2010 Notification: April 18, 2010 Camera Ready Version: April 28, 2010 Conference: July 5 - July 6, 2010 - -- Serge Autexier, serge.autexier at dfki.de, http://www.dfki.de/~serge/ DFKI Bremen, Safe and Secure Cognitive Systems Cartesium, 2.054 Phone: +49 421 218 64272 Enrique-Schmidt-Str. 5, D-28359 Bremen Fax: +49 421 218 9864272 - ---------------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH principal office, *not* the address for mail etc.!!!: Trippstadter Str. 122, D-67663 Kaiserslautern management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff supervisory board: Prof. Hans A. Aukes (chair) Amtsgericht Kaiserslautern, HRB 2313 - ---------------------------------------------------------------------- -----BEGIN PGP SIGNATURE----- Version: GnuPG/MacGPG2 v2.0.12 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAktyvwUACgkQpRemUpqrsYPqPQCfUM/OTFJL59o191/MP4OgetFO j80AnjhxK8JVr+OMBkuE90GsCueoM3pU =M/Pn -----END PGP SIGNATURE----- From tsd2010 at tsdconference.org Wed Feb 10 17:24:54 2010 From: tsd2010 at tsdconference.org (TSD 2010) Date: Wed, 10 Feb 2010 17:24:54 +0100 Subject: TSD 2010 First Call for Paper Message-ID: ********************************************************* TSD 2010 - FIRST CALL FOR PAPERS ********************************************************* Thirteenth International Conference on TEXT, SPEECH and DIALOGUE (TSD 2010) Brno, Czech Republic, 6-10 September 2010 http://www.tsdconference.org/ The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic THE SUBMISSION DEADLINES: March 15 2010 ............ Submission of abstracts March 22 2010 ............ Submission of full papers Submission of abstract serves for better organization of the review process only - for the actual review a full paper submission is necessary. TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from the former East Block countries and their Western colleagues. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. Springer publications are regularly indexed by all major citation databases. TOPICS Topics of the conference will include (but are not limited to): text corpora and tagging transcription problems in spoken corpora sense disambiguation links between text and speech oriented systems parsing issues parsing problems in spoken texts multi-lingual issues multi-lingual dialogue systems information retrieval and information extraction text/topic summarization machine translation semantic networks and ontologies semantic web speech modeling speech segmentation speech recognition search in speech for IR and IE text-to-speech synthesis dialogue systems development of dialogue strategies prosody in dialogues emotions and personality modeling user modeling knowledge representation in relation to dialogue systems assistive technologies based on speech and dialogue applied systems and software facial animation visual speech synthesis Papers on processing languages other than English are strongly encouraged. PROGRAM COMMITTEE Frederick Jelinek, USA (general chair) Hynek Hermansky, Switzerland (executive chair) Eneko Agirre, Spain Genevieve Baudoin, France Jan Cernocky, Czech Republic Attila Ferencz, Romania Alexander Gelbukh, Mexico Louise Guthrie, GB Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Patrick Hanks, Czech Republic Ludwig Hitzenberger, Germany Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Ivan Kopecek, Czech Republic Steven Krauwer, The Netherlands Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Vaclav Matousek, Czech Republic Hermann Ney, Germany Elmar Noeth, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Vladimir Petkevic, Czech Republic Fabio Pianesi, Italy Adam Przepiorkowski, Poland Josef Psutka, Czech Republic James Pustejovsky, USA Leon Rothkrantz, The Netherlands Milan Rusko, Slovakia Ernst G. Schukat-Talamazzini, Germany Pavel Skrelin, Russia Pavel Smrz, Czech Republic Petr Sojka, Czech Republic Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Taras Vintsiuk, Ukraine Yorick Wilks, GB Victor Zakharov, Russia KEYNOTE SPEAKERS John Carroll, University of Sussex, UK Christiane Fellbaum, Princeton University, USA FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. SUBMISSION OF PAPERS Authors are invited to submit a full paper not exceeding 8 pages formatted in the LNCS style (see below). Those accepted will be presented either orally or as posters. The decision about the presentation format will be based on the recommendation of the reviewers. The authors are asked to submit their papers using the on-line form accessible from the conference website. Papers submitted to TSD 2010 must not be under review by any other conference or publication during the TSD review cycle, and must not be previously published or accepted for publication elsewhere. As reviewing will be blind, the paper should not include the authors' names and affiliations. Furthermore, self-references that reveal the author's identity, e.g., "We previously showed (Smith, 1991) ...", should be avoided. Instead, use citations such as "Smith previously showed (Smith, 1991) ...". Papers that do not conform to the requirements above are subject to be rejected without review. The authors are strongly encouraged to write their papers in TeX or LaTeX formats. These formats are necessary for the final versions of the papers that will be published in the Springer Lecture Notes. Authors using a WORD compatible software for the final version must use the LNCS template for WORD and within the submit process ask the Proceedings Editors to convert the paper to LaTeX format. For this service a service-and-license fee of CZK 1500 will be levied automatically. The paper format for review has to be either PDF or PostScript file with all required fonts included. Upon notification of acceptance, presenters will receive further information on submitting their camera-ready and electronic sources (for detailed instructions on the final paper format see http://www.springer.de/comp/lncs/authors.html#Proceedings.) Authors are also invited to present actual projects, developed software or interesting material relevant to the topics of the conference. The presenters of the demonstration should provide the abstract not exceeding one page. The demonstration abstracts will not appear in the conference proceedings. IMPORTANT DATES March 15 2010 ............ Submission of abstracts March 22 2010 ............ Submission of full papers May 15 2010 .............. Notification of acceptance May 31 2010 .............. Final papers (camera ready) and registration July 23 2010 ............. Submission of demonstration abstracts July 30 2010 ............. Notification of acceptance for demonstrations sent to the authors September 6-10 2010 ...... Conference date Submission of abstracts serves for better organization of the review process only - for the actual review a full paper submission is necessary. The contributions to the conference will be published in proceedings that will be made available to participants at the time of the conference. OFFICIAL LANGUAGE The official language of the conference is English. ACCOMMODATION The organizing committee will arrange discounts on accommodation in the 3-star hotel at the conference venue. The current prices of the accommodation will be available at the conference website. ADDRESS All correspondence regarding the conference should be addressed to Dana Hlavackova, TSD 2010 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 33 29 fax: +420-5-49 49 18 20 email: tsd2010 at tsdconference.org The official TSD 2010 homepage is: http://www.tsdconference.org/ LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000. The city is the country's judiciary and trade-fair center. Brno is the capital of Moravia, which is in the south-east part of the Czech Republic. Brno had been a Royal City since 1347 and with its six universities it forms also a cultural center of the region. Brno can be reached easily by direct flights from London, Moscow and Prague and by trains or buses from Prague (200 km) or Vienna (130 km). For the participants with some extra time, some nearby places may also be of interest. Local ones include: Brno Castle now called Spilberk, Veveri Castle, the Old and New City Halls, the Augustine Monastery with St. Thomas Church and crypt of Moravian Margraves, Church of St. James, Cathedral of St. Peter & Paul, Cartesian Monastery in Kralovo Pole, the famous Villa Tugendhat designed by Mies van der Rohe along with other important buildings of between-war Czech architecture. For those willing to venture out of Brno, Moravian Karst with Macocha Chasm and Punkva caves, battlefield of Battle of three emperors (Napoleon, Russian Alexander and Austrian Franz - Battle by Austerlitz), Chateau of Slavkov (Austerlitz), Pernstejn Castle, Buchlov Castle, Lednice Chateau, Buchlovice Chateau, Letovice Chateau, Mikulov with one of the largest Jewish cemeteries in Central Europe, Telc - a town on the UNESCO heritage list, and many others are all within easy reach. From axel.polleres at deri.org Thu Feb 11 16:24:46 2010 From: axel.polleres at deri.org (Axel Polleres) Date: Thu, 11 Feb 2010 15:24:46 +0000 Subject: SPOT2010 - Trust and Privacy on the Social and Semantic Web - 2nd CfP In-Reply-To: <4B55BF0C.3070604@L3S.de> References: <4B55BF0C.3070604@L3S.de> Message-ID: [Please accept our apologies if you received multiple copies of this CFP] CALL FOR PAPERS SPOT2010 Second International Workshop on Trust and Privacy on the Social and Semantic Web http://spot.semanticweb.org/2010/ Co-located with ESWC2010 (the 7th European / Extended Semantic Web Conference) The Semantic Web is becoming reality as it is an integrated component of the Web we are browsing everyday - be it the Open Linked Data movement that nowadays exposes over 10 billion triples of RDF or the annotated and structured information available on Web pages used by major search engines, such as Yahoo! SearchMonkey and Google. Moreover, social data about people and their interaction is made available in machine-understandable format in projects like FOAF or SIOC. Facing this amount of data, privacy and trust consideration is an important step to take right now. The challenging research questions arising from this movement include: * How do people know that the data gathered from several sources for reasoning purposes can be trusted? * How can one avoid that personal data exposed on the Semantic Web will be combined with other available semantic data in a way that sensitive information may be revealed? * How shall a safe reasoning process look like that does not end up in a conflict only because a single Semantic Web peer exposed a contradiction? We expect discussions and results concerning questions like these at SPOT2010 leading to solutions and research results in the realm of Semantic Web and social data for the pervasive issue of privacy and trust on the Web. TOPICS OF INTEREST ================================ The list of topics that aims to be covered by the workshop include, but is not limited to: Semantic Technologies for Trust and Privacy on the Web * Privacy by generalization of answers * Ontologies for trust and privacy * Semantic Web policies * Usage control and accountability * Policy representation and reasoning * Semantic Web technologies for access control Trusted Knowledge Representation and Reasoning on the Semantic Web * Data provenance and trustworthiness of knowledge sources * Trust-enabled linked data * Ontology hijacking * Scalability of trust and privacy on the Semantic Web Trust and Privacy for Social Applications * Trust and privacy in social online communities (e.g., SIOC) * Privacy in Semantic Web sharing applications (e.g., semantic desktop) * User profiling and modeling vs. privacy * Privacy and community mining * Trust and reputation metrics * Usage mining and policy extraction * Privacy awareness in social communities * The Semantic Web as a trust enabler * Social Network annoyance, social software fatigue, social spam * Managing information overload on the Social Web with privacy metrics * Trust and privacy for social software on mobile devices SUBMISSIONS ================================ Papers will have to be formatted using the Springer Publications format for Lecture Notes in Computer Science (LNCS). Submissions for the Research Papers and Demos and Applications will be made using the EasyChair Conference System, and proceedings of the papers will be provided through the CEUR online service. The following types of contributions are welcome: * Research Papers: short (up to 6 pages) and full (up to 12 pages) technical papers that aims to explore how Semantic Web technologies can provide solutions to trust and privacy issues on the Web, focusing on one or more topics from the various ones identified within the main CFP. Especially, we very welcome papers focusing on theoretical work as well as applications regarding the benefits of Semantic Web technologies to solve these issues. The papers should clearly define the motivation of the work with relevant scenarios and should also provide a clear overview and evaluation of the benefits of the proposed approaches; * Demos and Applications: participants have to submit a two-page paper containing a demo description together with a URI where the demo is available on-line and meeting the following conditions: (1) It must use Semantic Web technologies (such as RDF, SPARQL, FOAF, SIOC, etc.); (2) It must deal with person or person-related semantic data (such as profiles, buddylists, reviews, comments, etc.) and (3) additionally, the demo may operate on a real social platform, such as MySpace, Facebook, netvibes or iGoogle. Papers shall be submitted in PDF format to http://www.easychair.org/conferences/?conf=spot2010 IMPORTANT DATES ================================ Submission deadline: March 7, 2010 (23:59 pm Hawaii time, GMT-10) Notification of acceptance: April 5, 2010 Camera-ready paper submission: April 18, 2010 Workshop: May 30 or May 31, 2010 WORKSHOP ORGANIZATION ================================ The workshop will be co-located with the ESWC in Heraklion (Greece), and will be held on the 30th or 31st of May 2010. The workshop will consist of: Keynote: To be announced. Research Track: Full papers will be presented at the workshop in a 25 minutes session including a discussion. We may add small panel sessions at the end of each research session where the presenters are the panelists in order to foster discussion and comparisons about the papers presented. Demo and Application Track: In order to stimulate discussions including practitioners and highlight future directions we plan to include a Demo and Application track. In contrast to the research track, there will be different rules for submissions: participants have to submit a two-page paper containing a demo description together with a URI where the demo is available on-line and meeting the following conditions Lightning Talks Track: We will provide a way for people to present feed- back on research track talks, as well as controversial topics potentially fostering discussions after the workshop. We envision short talks (three minutes maximum). WORKSHOP CHAIRS ================================ Philipp Kaerger, L3S Research Center, Germany (http://www.L3S.de/~kaerger) Daniel Olmedilla, Telefonica R&D, Spain (http://www.olmedilla.info) Alexandre Passant, DERI, NUI Galway, Ireland (http://apassant.net) Axel Polleres, DERI, NUI Galway, Ireland (http://polleres.net) For any enquiries about the workshop, please contact us at spot2010 [at] easychair [dot] org. PROGRAM COMMITTEE ================================ Chris Bizer, Freie Universitaet Berlin, Germany John Breslin, DERI, NUI Galway, Ireland Dan Brickley, FOAF Project, World Juri Luca De Coi, L3S Research Center, Germany Stefan Decker, DERI, NUI Galway, Ireland Fabien Gandon, INRIA Sophia-Antipolis, France Harry Halpin, University of Edinburgh, UK Olaf Hartig, Humboldt-Universitaet zu Berlin, Germany Michael Hausenblas, DERI, NUI Galway, Ireland Bettina Hoser, Universitaet Karlsruhe (TH), Germany Philipp Kaerger, L3S Research Center, Germany Lalana Kagal, Massachusetts Institute of Technology, USA Jens Lehmann, Universitaet Leipzig, Germany Javier Lopez, University of Malaga, Spain Fabio Martinelli, National Research Council - C.N.R., Italy Daniel Olmedilla, Telefonica R&D, Spain Sascha Ossowski, Universidad Rey Juan Carlos, Spain Alexandre Passant, DERI, NUI Galway, Ireland Axel Polleres, DERI, NUI Galway, Ireland Matthew Rowe, University of Sheffield, UK Simon Schenk, University of Koblenz-Landau Daniel Schwabe, Pontificia Universidade Catolica do Rio de Janeiro, Brazil Jean-Marc Seigneur, University of Geneva, Switzerland Nigel Shadbolt, University of Southampton Highfield, UK Carles Sierra, IIIA CSIC, Spain Milan Stankovic, Hypios.com & LaLIC, Universite Paris IV Sorbonne, France Henry Story, Sun Microsystems, France Alessandra Toninelli, Universita di Bologna, Italy Mischa Tuffield, Garlik, UK Claudia Wagner, Joanneum Research, Austria SPONSORS ================================ The SPOT2010 Workshop is supported by the EU funded COST Action IC0801 - Agreement Technologies (AT) and by the Science Foundation Ireland under grant number SFI/08/CE/I1380 (Lion 2). -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From miguelangel.veganzones at ehu.es Thu Feb 11 16:50:21 2010 From: miguelangel.veganzones at ehu.es (Miguel Angel Veganzones) Date: Thu, 11 Feb 2010 16:50:21 +0100 Subject: HAIS 2010: 5th CFP. Special Issues and Special Sessions/Workshops Message-ID: <1265903421.4499.6.camel@ic-experimentos> HAIS 2010: 5th CFP. Special Issues and Special Sessions/Workshops * We apologize if you receive this CFP more than once. * PLEASE CIRCULATE this CFP among your colleagues and students. PAPER SUBMISSION DEADLINE EXTENDED TO THE 22nd February! 5th International Conference on Hybrid Artificial Intelligence Systems (HAIS´10) 23rd-25th June of 2010 San Sebastian, Spain http://www.ehu.es/ccwintco/hais2010/ ---------------------------------------------------------------- Technical Co-Sponsors by: IEEE.-Systems, Man, and Cybernetics Society http://www.ieeesmc.org/index.html IEEE.-Spain Section http://www.ieee.org/spain IEEE.-Systems, Man, and Cybernetics Spanish Chapter http://gicap.ubu.es/IEEE/main/index.shtml Machine Intelligence Research Labs (MIR Labs) http://www.mirlabs.org/ ---------------------------------------------------------------- *** SPECIAL ISSUES: Extended and improved versions of selected papers will be included in special issues of: 1. Neurocomputing.- ELSEVIER 2. Journal of Mathematical Imaging and Vision.- SPRINGER 3. Information Fusion.- ELSEVIER 4. Information Sciences.- ELSEVIER *** PLENARY SPEAKERS: Prof. Ali A. Ghorbani - University of New Brunswick (Canada) Prof. Marios Polycarpou - University of Cyprus (Cyprus) Prof. Mihai Datcu - Paris Institute of Technology, Telecom Paris (France) Prof. Gerhard X Ritter - University of Florida (US) More information soon!! ***SPECIAL SESSIONS AND WORKSHOPS: Special sessions confirmed up to now!! SS01 Real World HAIS Applications and Data Uncertainty SS02 Computational Intelligence for Recommender Systems SS03 Signal Processing and Biomedical Applications SS04 Methods of Classifiers Fusion SS05 Knowledge Extraction based on Evolutionary Learning SS06 Systems, Man, & Cybernetics by HAIS.- Workshop SS07 Hybrid Intelligent Systems on Logistics SS08 Hybrid Reasoning and Coordination Methods on Multi-Agent Systems SS09 HAIS for Computer Security (HAISfCS) SS10 Hybrid and Intelligent Techniques on Multimedia SS11 Hybrid ANNs: Models, Algorithms and Data SS12 Hybrid Artificial Intelligence Systems Based on Lattice Theory SS13 Computational intelligence-based Computer Vision & Graphics (CIV&G) In addition to regular sessions, participants are encouraged to organize special sessions on specialized topics. Each special session should have at least 4 or 5 quality papers. Special session organizers will solicit submissions; conduct reviews jointly with the HAIS´10 PC and in the same way recommend accept/reject decisions on the submitted papers. Submission of Special Sessions are welcome! http:// http://www.ehu.es/ccwintco/hais2010/specialsessions.html For more information, please, send an email to: manuel.grana at ehu.es ***PROCEEDINGS: (Tentative) HAIS'10 proceedings will be published by Springer in its series of LNCS/LNAI- LNAI (Lecture Notes in Artificial Intelligence) as in the last previous editions. All accepted papers must be presented by one of the authors who must register for the conference and pay the fee. -------------------------------------------------------------------- *** 5th International Conference on Hybrid Artificial Intelligence Systems(HAIS´10) combines symbolic and sub-symbolic techniques to construct more robust and reliable problem solving models. Hybrid intelligent systems are becoming popular due to their capabilities in handling many real world complex problems, involving imprecision, uncertainty and vagueness, high-dimensionality. They provide us with the opportunity to use both, our knowledge and row data to solve problems in a more interesting and promising way. HAIS´10 provides an interesting opportunity to present and discuss the latest theoretical advances and real-world applications in this multidisciplinary research field. *** TOPICS *** Topics are encouraged, but not limited to, the combination of at least two of the following areas in the field of Hybrid Intelligent Systems: Fusion of soft computing and hard computing Evolutionary Computation Visualization Techniques Ensemble Techniques Data mining and decision support systems Intelligent agent-based systems (complex systems), cognitive and Reactive distributed AI systems Internet modelling Human interface Case base reasoning Chance discovery Applications in security, prediction, control, robotics, image and speech signal processing, food industry, biology and medicine, business and management, knowledge management, artificial societies, chemicals, pharmaceuticals, geographic information systems, materials and environment engineering and so on. *** PAPER SUBMISSION AND PROCCEEDINGS*** . HAIS'10 proceedings will be published by Springer in its series of Lecture Notes in Artificial Intelligence - LNAI (part of its prestigious Lecture Notes in Computer Science - LNCS series). All submissions will be refereed by experts in the field based on originality, significance, quality and clarity. Every submitted paper to HAIS´10 will be reviewed by at least two members of the Program Committee. Papers must be prepared according to the LNCS-LNAI style template (http://www.springer.de/comp/lncs/authors.html) and must be no more than eight (8) pages long, including figures and bibliography. Additional pages (over 8 pages) will be charged at 100 Euro each. *** IMPORTANT DATES *** Special Session acceptance: 20th January, 2010 Submission of papers by Authors: 22th February, 2010 Notification of provisional acceptance: 15th March, 2010 Submission of final papers: 11th April, 2010 Early registration (special rates): 11th April, 2010 HAIS 2010 Conference: 23rd-25thth June, 2010 Prof. Manuel Graña - University of the Basque Country (Spain) Dr. Emilio Corchado - University of Burgos (Spain) *** CONTACT *** Prof. Manuel Graña GIC Research Group Facultad de Informática de San Sebastián Universidad del País Vasco Paseo Manuel de Lardizabal 1 20018, San Sebastián, Spain Phone: +34 943 01 8044 or +34 943 01 5106 Fax: +34 943 01 5590 Web: GIC Research Group Email: manuel.grana at ehu.es Dr. Emilio Corchado Departamento de Informática y Automática University of Salamanca Salamanca. Spain Email: escorchado at usal.es Phone: +34 616 44 9888 For more information about HAIS´10, please refer to the HAIS´10 website: http://www.ehu.es/ccwintco/hais2010/ * We apologize if you receive this CFP more than once. * PLEASE CIRCULATE this CFP among your colleagues and students. -- Powered by VIC -- http://gicap.ubu.es:8080/vic/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From adrian.paschke at gmx.de Fri Feb 12 14:32:27 2010 From: adrian.paschke at gmx.de (Adrian Paschke) Date: Fri, 12 Feb 2010 14:32:27 +0100 Subject: I-SEMANTICS 2010 and Pragmatic Web (ICPW 2010) - 2nd Call for Papers In-Reply-To: <20100207194629.GA28617@janeway.inf.tu-dresden.de> References: <20100207194629.GA28617@janeway.inf.tu-dresden.de> Message-ID: <01c101caabe7$ed52c4a0$c7f84de0$@paschke@gmx.de> *** Sorry for cross posting *** Call for Papers I-Semantics 2010: 6th International Conference on Semantic Systems Graz, Austria, 1 - 3 September 2010 http://www.i-semantics.at including Call for Papers 5th AIS SigPrag International Conference on Pragmatic Web (ICPW 2010) & Call for Submission 3rd Triplification Challenge Scope ===== I-SEMANTICS 2010 (www.i-semantics.at) is the 6th conference in the I-SEMANTICS series and provides a forum for academic and industrial research & development that focuses on semantic technologies and the Semantic Web. I-SEMANTICS 2010 will bring together both researchers and practitioners in the areas of Linked Data, Social Software and the Semantic Web in order to present and develop innovative ideas that help realising the Social Semantic Web and the Corporate Semantic Web. I-SEMANTICS 2010 will be the host of this year`s regional Pragmatic Web Conference as well as the third edition of the TRIPLIFICATION Challenge. Further on I-SEMANTICS will be complemented by I-KNOW (www..i-know.at), the 10th International Conference on Knowledge Management. This setup is aiming to reflect the increasing importance and convergence of knowledge management and semantic systems. Topics ====== The special focus of I-SEMANTICS 2010 is Towards a Web of Linked Data. As a conference aiming to bring together science and industry, I-SEMANTICS encourages both, scientific (research/application) and industrial contributions. The following table summarises the topics we are interested in: Web of Data and Linked Data --------------------------- -Triplification of existing data -Vocabularies, taxonomies and schemas for use on the Web of Data -Querying, searching and browsing over Linked Data -Coreference detection and dataset reconciliation -Information provenance and quality assessment on the Web of Data -User interaction and visualisation -Applications utilizing open data sets -Linked Enterprise Data, Linked Government Data Corporate Semantic Web ---------------------- -Corporate thesauri, corporate business vocabularies / ontologies and business rules -Semantic Business Information Systems -Semantic Business Process Management -Semantic Decision Management -Semantics, Pragmatics and Semiotics in Organizations -Economic and entrepreneurial aspects and business models of Semantic Enterprises Semantic Social Software ------------------------ -Semantic blogging, wikis and content management systems -Semantic Desktop -Semantic mashups -Semantic/structured tagging -Social semantic web and mobile services Semantic Content Engineering ---------------------------- -Ontology Engineering & Ontology Merging -Ontology Design Patterns -Ontology Life Cycle Management -Ontology Learning -Linguistic and statistic approaches (text-mining, NLP, etc.) for structuring and extracting content and entities -Automated annotation, extreme tagging and digital curation approaches Building Blocks for Semantic Web Applications --------------------------------------------- -Scalable inference, retrieval, and persistence of semantic data -Design processes from requirements to maintenance -Design patterns, Best practices and Reference Models -User-interface components, template languages -Integration of distributed repositories -Policy Awareness & Policy Aware Web -Semantic web services Studies, Metrics & Benchmarks ----------------------------- -Case studies of and benchmarks in semantic systems usage -Evaluation perspectives, methods and Semantic Web research methodologies -Technology assessment, acceptance/media choice theories -Usability and user interaction with semantic technologies -Quality analysis of socially generated semantic content -Trust and privacy issues in semantic applications -Economic effects generated by large scale semmantic systems Pragmatic Web Track =================== The Conference on PRAGMATIC WEB is centered around the study of pragmatics in the Semantic Web. That is, it draws attention to how communicative actions with a pragmatic context are performed via Web media and illuminates how mutual understanding and commitments to actions can evolve in conversations. For further information about the Pragmatic Web see http://www.pragmaticweb.info/ Topics of Interest ------------------ -Pragmatic Web Science -Theories, Frameworks, Models and Methods inspired by Pragmatics and Pragmatism, or less formally, case study reflections on pragmatic uses of the Web that supported the negotiation of social/work relationships and common ground -Applied pragmatic theory -Communication, dialogue and argumentation models -Pragmatic Web media for communicative actions -Pragmatic collaboration and coordination tools -Pragmatic context models (e.g. within conversation-based collaborations) -Pragmatic design principles for Web contents where trust and commitment to action play a role -Vocabularies / ontologies for pragmatic primitives (e.g. speech acts, deontic primitives, etc.) -Linguistic metaphor: its value for framing the Syntactic, Semantic and Pragmatic Web -Pragmatic model of scientific inquiry in Semantic Web research -Negotiation, mediation, conflict resolution, and coordination combining existing ontologies and schemata, collaborative ontology sharing and matching techniques -Integrative frameworks: approaches to integrating insights from component disciplines (e.g. language-action perspectives, cognition, linguistics, semiotics, knowledge representation, philosophy, interaction design, negotiation, media studies) -Pragmatic reasoning supporting adaptive semantic collaboration and virtual collaborative teams -Sense making, analysis and decision-making in a cooperative or non-cooperative pragmatic model -Argumentation, dialogue and debate -Personalized / role-based Pragmatic Web Agents and intelligent conversation or action based web services -Pragmatic Web based human-human and human-computer interaction -Semiotically motivated approaches to information systems -Semiotic engineering and Semiotics in business computing -Semiotic theory, concepts, methods and techniques, and their practical applications Triplification Challenge ======================== The challenge is open to anyone interested in applying Semantic Web and Linked Data technologies. This includes students, developers, researchers, and people from industry. Individual or group submissions are both acceptable. We envision submissions in three categories: -Novel data sets that are published as part of the Web of Data, according to Linked Data principles, and demonstrating potential benefit of use within applications; -Novel generic mechanisms, approaches, and technologies that convert certain types and formats of information into triples, interlink them to other data sets, and expose them as Linked Data; -Applications showcasing the benefits of Linked Data to end-users such as for information syndication, specialized search, browsing, or augmentation of content. Criteria -------- Entries shall consist of a 2-4 page description and will be assessed according to the extent to which they: -demonstrate innovation through the expression of existing data structures as Linked Data; -reasonably reuse existing vocabularies and alignment ontologies (e.g., the datasets from the Linking Open Data cloud.) -highlight the technical capabilities of the Semantic Web and bring real benefits to potential users. All three criteria will be given equal importance in selecting the winning entry. In the event of a tie, the entry deemed to bring greatest benefits to potential users will be awarded the prize. Please find further information at http://triplify.org/Challenge/2010 http://i-semantics.tugraz.at/triplification_challenge Submission Information ====================== All accepted papers of I-SEMANTICS 2010 and the ICPW 2010 will be published in the digital library of the International Conference Proceedings Series of ACM. The assigned ISBN number is 978-1-4503-0014-8. Selected papers will also be published in Elsevier Data & Knowledge Engineering (www.elsevier.com/locate/datak) on Pragmatic Web. (Please consult the conference page for details.) Submissions must be original and must not have been submitted for publication elsewhere. Articles must be submitted via the online submission system available at the conference website as PDF documents (other formats will not be accepted). For the camera-ready version, we will also need the source files (Latex, OpenOffice, Word). Research/Application Papers --------------------------- Research/Application papers report on novel research and/or applications relevant to the topics of the conference. The number of pages of research papers is limited to 8 pages including references and an optional appendix. Posters, Demos & Tutorials -------------------------- The conference also particularly welcomes the submission of posters, demos, and tutorials. Submissions should consist of a 2-4 page description that allows us to judge the quality of your presentation. Descriptions will also be published as part of the proceedings. Important Dates =============== -Paper Submission Deadline: 8 March 2010 -Notification of Acceptance: to be announced -Camera-Ready Paper: to be announced -I-SEMANTICS 2010: 1 - 3 September 2010 Committee (in alphabetical order) ================================= Programme Chairs ---------------- * Andreas Blumauer (Semantic Web Company) * Richard Cyganiak (DERI, National University of Ireland) * Nicola Hinze (University of Hannover) * Adrian Paschke (Freie Universitaet of Berlin) * Bernhard Schandl (University of Vienna) * Juan Sequeda (University of Texas) * Hans Weigand (University of Tilburg) Organisation Chairs ------------------- * Tassilo Pellegrini (Semantic Web Company) Program Committee ----------------- Please go to: http://i-semantics.tugraz.at/scientific-track/program-committee/ From braubach at informatik.uni-hamburg.de Mon Feb 15 10:12:05 2010 From: braubach at informatik.uni-hamburg.de (Lars Braubach) Date: Mon, 15 Feb 2010 10:12:05 +0100 Subject: CFP for Workshop PMBI 2010 Message-ID: <4B790FE5.7040300@informatik.uni-hamburg.de> ********************************* * -- Call for Papers -- * * Deutsche Version weiter unten * ********************************* *** Workshop PMBI 2010 *** *** "Protocol based modelling of business interactions" *** In conjunction with 40th annual conference of the German Gesellschaft für Informatik from 27.9. - 2.10.2010 in Leipzig (Germany) http://www.informatik.uni-kiel.de/en/bit/veranstaltungen/workshop-protocol-based-modelling-of-business-interactions/ ==================================================================================== Duration: 1 day Content ------- This Workshop is intended as continuation of the Workshop "Games, business processes and interaction models of the 39th annual conference of the German Gesellschaft für Informatik 2009 at Lübeck. The relevance of software directly involved in business interactions has enormously grown in modern commerce within the last years. Therefore, it is an obvious requirement that business software which supports business interactions should mirror the orientation of entrepreneurial acting along the business interactions in the simplest possible way. To become runtime relevant from an application perspective, the interpretation of the descriptions of business interactions has to be unambiguously related to computational systems. We expect a promising impetus with respect to the automated implementation of business interactions. Especially small and medium enterprises should benefit as they are currently discouraged to explore this area by the still high initial investments.The starting point of this workshop is the assumption that economics with its game theory based notion describes the same interactions as computer science does with its descriptions of nondeterministic interactions of business processes. Due to the tight formal relation between (economic) game and (computer science) protocol, it is obvious to use the protocol notion not just for informal illustrations, as many contemporary approaches do, but also to view protocol theory as a sound formal base for the description of business interactions in the sense of a theory for consistent finite interaction of (possibly finite) systems. Addressees ---------- This workshop supposes to provide the opportunity to bring together scientist of the field of business informatics with a special interest in business interactions and scientist of the more theoretical oriented field of protocol theory. We therefore invite scientific contributions which demonstrate the relevance of protocol theory for the formal description of nondeterministic business interactions either in practical or theoretical respect, if applicable with a relation to game theory. Important Dates --------------- 25.04.2010 Submission of workshop contributions 24.05.2010 Notification of acceptance/rejection of workshop contributions 03.07.2010 Submission of print-ready contributions for the proceedings 27.09. - 2.10.2010 GI 2010 Conference in Leipzig, Germany (http://www.informatik2010.de) Contributions ------------- All contributions have to be electronically submitted as PDF documents through the website of INFORMATIK 2010 (http://139.18.8.225:8080/ConfISS/) until April 25, 2010. They must be formated according to the guidelines of the GI-Edition "Lecture Notes in Informatics (LNI)" (http://www.gi-ev.de/service/publikationen/lni/) and may not exceed 8 pages in this format. The submissions will be refereed, and accepted contributions will be published in GI-Edition "Lecture Notes in Informatics." At least one author is expected to register for the workshop and to give a talk about the contribution. Participation ------------- For participation at the workshop, registration at INFORMATIK 2010 is required (http://www.informatik2010.de/anmeldung.html). Program committee ----------------- - Lars Braubach (Universität Hamburg) - Alejandro Buchmann, Technische Universität Darmstadt - Bernd Finkbeiner (Universität Saarbrücken) - Hans-Jörg Kreowski, Universität Bremen - Martin Leucker, Technische Universität München - Christoph Liebig, SAP AG, Walldorf - Lars Moench (Fernuniversität Hagen) - Ralf Peters, Martin-Luther-Universität Halle-Wittenberg - Alexander Pokahr (Universität Hamburg) - Elke Pulvermüller (Universität Osnabrück) - Johnnes Reich (Co-Vorsitz), SAP AG, Walldorf - Norbert Ritter (Universität Hamburg) - Stefan Sackmann, Martin-Luther-Universität Halle-Wittenberg - Mareike Schoop, Universität Hohenheim - Andreas Speck (Co-Vorsitz), Christian-Albrechts-Universität zu Kiel - Herwig Unger, Fernuniversität in Hagen Contact ------- Johannes Reich SAP AG Dietmar-Hopp-Allee 16 69190 Walldorf Germany Tel.: +49 (0)6227 743006 Fax: +49 (0)6227 7834157 E-Mail: johannes.reich[at]sap.com Or Prof. Dr. Andreas Speck Christian-Albrechts-Universität zu Kiel Institut für Informatik Olshausenstr. 40 D-24098 Kiel Tel.: +49 (0)431 880-1573 Fax: +49 (0)431 880-3156 Email: aspe[at]informatik.uni-kiel.de ************************************************************************************ ********************************* * -- Call for Papers -- * * English Version above * ********************************* *** Workshop PMBI 2010 *** *** "Protokol-basierte Modellierung von Geschäftsinteraktionen" *** Im Rahmen der 40. Jahrestagung der Gesellschaft für Informatik vom 27.9. - 2.10.2010 in Leipzig (Germany) http://www.informatik2010.de/ ttp://www.informatik.uni-kiel.de/bit/veranstaltungen/workshop-protocol-based-modelling-of-business-interactions-2010/ ==================================================================================== Zeitlicher Umfang: Ganztätig Inhalt ------ Dieser Workshop ist als Fortsetzung des Workshops "Spiele, Geschäftsprozesse und Interaktionsmodelle" der 39. Jahrestagung der Gesellschaft für Informatik 2009 in Lübeck gedacht. Die Durchdringung moderner Unternehmen mit Software, die direkt in Geschäftsinteraktionen involviert ist, ist in den letzten Jahren enorm gewachsen. Es ist deshalb eine naheliegende Forderung, dass die - aus unternehmerischer Sicht selbstverständliche - Ausrichtung unternehmerischen Handelns an den notwendigen Geschäftsinteraktionen, sich möglichst einfach in der Software abbilden lassen sollte, die in den Unternehmen die entsprechenden Geschäftsinteraktionen unterstützen. Damit die Beschreibung von Geschäftsinteraktionen auch aus Applikationssicht laufzeitrelevant werden kann, ist es notwendig, diese Interaktionsbeschreibungen einer formalen Interpretation zugänglich zu machen, aus der ihre Beziehung zu berechenbaren Systemen eindeutig hervorgeht. Von einer solchen laufzeitrelevanten Interaktionsbeschreibung sind vielversprechende Impulse hinsichtlich der Automatisierung der Implementierung von Geschäftsinteraktionen zu erwarten. Insbesondere die KMU-Unternehmen, die momentan von den immer noch zu hohen Anfangsinvestitionen in diesem Bereich abgeschreckt werden, sollten davon profitieren. Ausgangspunkt dieses Workshops ist die Annahme, dass die Ökonomie mit ihrem spieltheoretisch fundierten Spielbegriff dieselben Interaktionen beschreibt, wie die Informatik bei ihrer Beschreibung der nichtdeterministischen Interaktion von Geschäftsprozessen. Wegen der engen formalen Beziehung von (ökonomischem) Spiel und (informatischem) Protokoll liegt es nahe, den Protokollbegriff nicht nur informell zur Illustration zu verwenden, wie dies viele heutige Ansätze tun, sondern die formale Basis für die informatische Beschreibung von Geschäftsinteraktionen in der Protokoll-Theorie zu suchen, im Sinne einer Theorie der konsistenten finiten Interaktion von (ggfs. finiten) Systemen. Adressatinnen und Adressaten ---------------------------- Dieser Workshop soll die Gelegenheit bieten, Wissenschaftler aus dem Bereichen der Wirtschaftsinformatik mit einem Interesse an Geschäftsinteraktionen und aus dem eher theoretisch ausgerichteten Bereich der Automaten- bzw. Protokolltheorie miteinander ins Gespräch zu bringen. Wir laden daher wissenschaftliche Beiträge ein, die die Relevanz der Protokoll-Theorie für die formale Beschreibung nichtdeterministischer Geschäftsinteraktionen in praktischer oder theoretischer Hinsicht, ggfs. in Beziehung auf die ökonomische Spieltheorie, aufzeigen. Termine ------- 25.04.2010 Einreichung von Workshop-Beiträgen 24.05.2010 Mitteilung über Annahme/Ablehnung von Workshop-Beiträgen 03.07.2010 Abgabe der fertigen Druckvorlagen für den Tagungsband 27.9 - 2.10.2010 GI 2010 Konferenz in Leipzig (http://www.informatik2009.de) Beiträge -------- Alle Beiträge sind elektronisch als PDF-Dokumente über die Webseite der INFORMATIK 2010 (http://139.18.8.225:8080/ConfISS/) bis zum 25. April 2010 gemäß den Richtlinien der GI-Edition "Lecture Notes in Informatics (LNI)" (http://www.gi-ev.de/service/publikationen/lni/) einzureichen. Sie dürfen in dieser Formatierung einen Umfang von 8 Seiten nicht überschreiten. Eingereichte Beiträge werden geprüft und akzeptierte Beiträge in der GI-Edition "Lecture Notes in Informatics" veröffentlicht. Von mindestens einer Autorin oder einem Autoren wird die Bereitschaft erwartet, sich zur Tagung anzumelden und den Beitrag in Form eines Vortrags vorzustellen. Teilnahme --------- Für die Teilnahme am Workshop ist eine Anmeldung zur INFORMATIK 2009 erforderlich (http://www.informatik2010.de/anmeldung.html). Programmkomitee --------------- - Lars Braubach (Universität Hamburg) - Alejandro Buchmann, Technische Universität Darmstadt - Bernd Finkbeiner (Universität Saarbrücken) - Hans-Jörg Kreowski, Universität Bremen - Martin Leucker, Technische Universität München - Christoph Liebig, SAP AG, Walldorf - Lars Moench (Fernuniversität Hagen) - Ralf Peters, Martin-Luther-Universität Halle-Wittenberg - Alexander Pokahr (Universität Hamburg) - Elke Pulvermüller (Universität Osnabrück) - Johnnes Reich (Co-Vorsitz), SAP AG, Walldorf - Norbert Ritter (Universität Hamburg) - Stefan Sackmann, Martin-Luther-Universität Halle-Wittenberg - Mareike Schoop, Universität Hohenheim - Andreas Speck (Co-Vorsitz), Christian-Albrechts-Universität zu Kiel - Herwig Unger, Fernuniversität in Hagen Kontakt ------- Johannes Reich SAP AG Dietmar-Hopp-Allee 16 69190 Walldorf Germany Tel.: +49 (0)6227 743006 Fax: +49 (0)6227 7834157 E-Mail: johannes.reich[at]sap.com Oder Prof. Dr. Andreas Speck Christian-Albrechts-Universität zu Kiel Institut für Informatik Olshausenstr. 40 D-24098 Kiel Tel.: +49 (0)431 880-1573 Fax: +49 (0)431 880-3156 Email: aspe[at]informatik.uni-kiel.de Dieser Aufruf kann gerne an Interessierte weitergeleitet werden. From hak at ca.ibm.com Mon Feb 15 13:47:28 2010 From: hak at ca.ibm.com (Hassan Ait-Kaci) Date: Mon, 15 Feb 2010 13:47:28 +0100 Subject: CFP - RULE 2010 (Edinburgh, UK, July 14, 2010) In-Reply-To: References: Message-ID: ------------------------------------------------------------------------ [Although we try avoiding cross-posting, we apologize if that happens] ------------------------------------------------------------------------ RULE 2010 Call For Papers ELEVENTH INTERNATIONAL WORKSHOP ON RULE-BASED SPECIFICATION AND PROGRAMMING RULE-BASED PROGRAMMING IN INDUSTRY AND THE SEMANTIC WEB Edinburgh, UK July 14, 2010 IMPORTANT DATES: Submission deadline: Friday, April 16, 2010 PC meeting: Monday-Friday, May 24-28, 2010 Authors notified: Thursday, June 3, 2010 Final copies due: Friday, June 25, 2010 RULE 2010 Workshop: Wednesday, July 14, 2010, This CFP' URL: http://www.di.uminho.pt/rule2010 (Workshop affiliated to FLoC 2010 as post-conference event of RTA 2010) With the renewed interest in rule-based computing for industrial applications (e.g., Business Rules) especially as it relates to the Semantic Web ( e.g., the W3C's Rule Interchange Format), it is timely to explore the practical benefits delivered by computing with rules and ontologies in the large. Thus, this year's theme will focus on rule-based programming in Industry and the Semantic Web. The emphasis will be on implemented systems that have been actually used in pragmatic situations where the advantages of rule-driven computation and inference have made all the difference, such advantages being: * agility * declarativeness * maintainability * documentability * scalability * meta-programmability * reliability * formal semantics * etc., ... In terms of the Semantic Web, we explicitly call for submissions that probe (in a pragmatic setting) how rule-based approaches complement ontology-based approaches, which share some of the characteristics of rule systems, such as declarativeness and formal semantics. PAPER SUBMISSION We are solliciting papers dealing with topics related to this year's theme discussing any or several of the itemized facets of the combinations of rules and ontologies, going beyond academic experiments and meant for large-scale or industrial applications. Papers should contain no more than 10 pages, including figures, and submitted through EasyChair using the standard EPTCS LaTeX style file. PROGRAM COMMITTEE * Hassan Ait-Kaci, IBM, Canada (co-chair) * Maria Alpuente, Universidad de Valencia, Spain * Harold Boley, National Research Council, Canada * Mike Dean, BBN, USA * Mohand-Said Hacid, Universite Claude Bernard, Lyon, France * Gary Hallmark, Oracle, USA * Pierre-Etienne Moreau, INRIA Nancy, France * Jeff Pan, University of Aberdeen, United Kingdom * Dave Reynolds, Epimorphics Ltd., United Kingdom (co-chair) * Eelco Visser, Delft University of Technology, The Netherlands Workshop venue RULE 2010 will be a satellite workshop of the conference on Rewriting Techniques and Applications (RTA 2010) affiliated to the Federated Logic of Computing conferences (FLoC 2010), to take place in Edinburgh, UK, July 9-21, 2010. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Michel_Dumontier at carleton.ca Mon Feb 15 14:57:33 2010 From: Michel_Dumontier at carleton.ca (Michel_Dumontier) Date: Mon, 15 Feb 2010 08:57:33 -0500 Subject: 1st Workshop on the Semantics of Visual Objects (SEMVO2010) - Deadline extended to Mondary February 22, 2010 Message-ID: =============================================================== 1st Int. Workshop on Semantics of Visual Objects (SEMVO 2010) Raleigh, NC, USA, April 27 (morning), 2010 held in conjunction with WWW 2010 --- Final Call for Papers --- Submission deadline: February 22, 2010 =============================================================== This half day workshop, including two highlight presentations, technical talks and demonstrations will focus on Semantic Web enabled visual objects. Visual representations (charts, graphs, diagrams) of heterogeneous data (numeric trends, social networks, molecular structures) play an important role in human communication. Yet most of the visual objects (VOs) published on the World Wide Web are only available as unstructured raster images, thus depriving us of the ability to explore and query their contents. This workshop aims to expose raw data contained within VOs (maintaining the visual information) using Semantic Web technologies so as to facilitate interoperability, data sharing, granular annotation, common visual rendering and ultimately, question answering and knowledge discovery. TOPICS OF INTEREST: -Automatic and manual representation of visual of objects with RDF and OWL -Information extraction and integration -Rich media and granularity of data representation -Natural-language-based semantics for visual scenes -Spatial and temporal logics for reasoning with VOs -Querying visual objects -Domain-specific query languages for VO knowledgebases -Complexity of reasoning with visual objects -Architectures for storing and querying over large numbers of VOs -VO-based web services and service oriented computing -Ontologies and terminologies of VOS -Templating and dynamic interfaces for searching VOs -Evaluation methodologies for VO annotation and search IMPORTANT DATES --------------- Deadline for long and short papers: February 22, 2010 Notification of acceptance: March 15, 2010 Camera-ready: April 1, 2010 Workshop: April 27 (morning), 2010 (All times Midnight Hawaii Standard Time) SUBMISSIONS ----------- Authors are invited to submit original contributions of practical relevance and technical rigor, experience reports, and show case / use case demonstrations of effective, practical technologies or applications in applying semantic technologies to visual objects. Papers must be in English and may be submitted to http://www.easychair.org/conferences/?conf=semvo2010 as: Full Papers (10 pages) Short Papers (4 pages) Position Statements (2 pages) Please upload all submissions as PDF files in LNCS format (http://www.springer.de/comp/lncs/authors.html). Submissions will be peer-reviewed by at least 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Publication details will be posted to the workshop web site, http://semanticscience.org/workshop/semvo2010/, as they become available. WORKSHOP CO-CHAIRS ------------------ Michel Dumontier (Carleton University, Canada) Leo Ferres (Universidad de Concepcion, Chile) PROGRAM COMMITTEE ----------------- Christopher Baker, University of New Brunswick Colin Batchelor, Royal Society of Chemistry Olivier Bodenreider, National Library of Medicine Kei Cheung, Yale University Tim Clark, Massachussetts General Hospital / Harvard Medical School Melanie Courtot, Terry Fox Laboratories Jim Davies, Carleton University Max Egenhofer, University of Main Stephanie Elzer, Millersville University John Goodwin, Ordnance Survey Claudio Gutierrez, Universidad de Chile Simon Harper, Manchester University Rinke Hoekstra, Vrije Universiteit Amsterdam Vipul Kashyap, Partners HealthCare System Phillip Lord, Newcastle University John Madden, Duke University James Malone, EBI M. Scot Marshall, University of Amsterdam Bjoern Peters, La Jolla Institute for Allergy and Immunology Elgar Pichler, AstraZeneca Marco Roos, Leiden University Medical Center Nigam Shah, Stanford University Robert Stevens, University of Manchester From torben at ruc.dk Tue Feb 16 16:39:28 2010 From: torben at ruc.dk (Torben Brauner) Date: Tue, 16 Feb 2010 16:39:28 +0100 Subject: CFP: International Workshop on Hybrid Logic and Applications (HyLo 2010) Message-ID: <4B7ABC30.4040805@ruc.dk> ******************************************************************* SECOND CALL FOR PAPERS International Workshop on Hybrid Logic and Applications (HyLo 2010) Affiliated with LICS 2010 July 10, 2010, Edinburgh, Scotland ******************************************************************* Scope ----- Hybrid logic is an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. This extra capability, very natural in the realm of temporal logics, where one usually wants to refer to specific times, has been shown very effective in other domains too. Although they date back to the late 1960s, and have been sporadically investigated ever since, it was only in the 1990s that work on them really got into its stride. It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem (the basic mechanism being to add nominals - atomic symbols true at a unique point - together with extra modalities to exploit them) often actually improves the behaviour of the underlying modal formalism. For example, it becomes far simpler to formulate modal tableau, resolution, and natural deduction in hybrid logic, and completeness and interpolation results can be proved of a generality that is simply not available in modal logic. That is, hybridization - adding nominals and related apparatus - seems a fairly reliable way of curing many known weaknesses in modal logic. Hybrid logic is now a mature field with significant impact on a range of other fields, including - description logic, - applied modal logics, - temporal logic, - memory logics, - memoryful logics, - reactive logic, - labelled deduction, and - feature logic. The topic of the HyLo workshop of 2010 is hybrid logic and its applications, for instance within the fields mentioned above. The scope is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder but, more generally, extensions of modal logic that increase its expressive power. The workshop continues a series of previous workshops on hybrid logic and applications, for example the LICS-affiliated HyLo 2002 (http://floc02.diku.dk/HYLO) and HyLo 2006 (http://hylomol.ruc.dk/HyLo2006) which both were held as part of FLoC. Submissions ----------- Please use the HyLo 2010 submission page to submit papers (https://www.easychair.org/login.cgi?conf=hylo2010). Papers should not exceed 15 pages including references. The revised versions of accepted papers will be published online in a volume of Elsevier Electronic Notes in Theoretical Computer Science (ENTCS). A preliminary version of the proceedings will be distributed at the workshop. Authors are invited to submit papers in the following two categories: - Regular papers describing original research. - Presentation-only papers describing work recently published or submitted. The presentation-only papers will be included in the preliminary proceedings, but not in the final proceedings in ENTCS. One author for each accepted paper must attend the workshop in order to present the paper. Authors are strongly encouraged to prepare their submissions according to the ENTCS guidelines (http://www.entcs.org). Important Dates --------------- Deadline for submissions: March 30, 2010 Notification of acceptance: May 1, 2010 Deadline for final versions: June 15, 2006 Invited Speakers ---------------- - Moshe Vardi, Rice University, USA - NN Program Committee ----------------- Carlos Areces (INRIA Lorraine, France) Patrick Blackburn (INRIA Lorraine, France) Thomas Bolander (Technical University of Denmark), Co-chair Torben Braüner (Roskilde University, Denmark), Co-chair Stephane Demri (ENS de Cachan, France) Mai Gehrke (Radboud Universiteit Nijmegen, The Netherlands) Valentin Goranko (Technical University of Denmark) Valeria de Paiva (Cuil Inc., USA) Thomas Schneider (University of Manchester) Contact Details --------------- See the workshop home page (http://hylocore.ruc.dk/HyLo2010.html) for further information. Please send all correspondence regarding the workshop to the organizers: Thomas Bolander http://www.imm.dtu.dk/~tb Torben Braüner http://www.ruc.dk/~torben From sofronie at mpi-sb.mpg.de Wed Feb 17 00:01:29 2010 From: sofronie at mpi-sb.mpg.de (Viorica Sofronie-Stokkermans) Date: Wed, 17 Feb 2010 00:01:29 +0100 (CET) Subject: Special issue of the Journal of Symbolic Computation on First Order Theorem Proving Message-ID: <96e9cbdbbe2f5e52405cb4f7d4b20c23.squirrel@mail.mpi-inf.mpg.de> [We apologize if you receive multiple copies of this announcement] ---------------------------------------------------------------- CALL FOR PAPERS Journal of Symbolic Computation Special Issue on First Order Theorem Proving http://www.mpi-inf.mpg.de/~sofronie/ftp-special-issue.html ---------------------------------------------------------------- This special issue is dedicated to the topics of FTP 2009, namely all aspects of First-Order Theorem Proving as a core theme of Automated Deduction. We welcome original contributions on various aspects of first-order theorem proving, including (but not restricted to): * theorem proving in first-order classical, many-valued, and modal logics, including: - satisfiability in propositional logic, - satisfiability modulo theories, - specialized decision procedures, - constraint reasoning, - equational reasoning, - term rewriting, - resolution, - paramodulation/superposition; * strategies and complexity of theorem proving procedures; * implementation techniques; * applications of first-order theorem provers to: - program verification, - model checking, - artificial intelligence, - mathematics, - computational linguistics. Guest editors: ============== Nicolas Peltier (CNRS - LIG, France) Viorica Sofronie-Stokkermans (MPI,Saarbruecken, Germany) Submission procedure ==================== Submission to this special issue is completely open. We expect original articles (typically 15-30 pages; submission of larger papers will be evaluated depending on editorial constraints) that present high-quality contributions that have not been previously published in a journal and that must not be simultaneously submitted for publication elsewhere (extended and/or improved versions of conference papers are acceptable). * The introduction of the paper MUST explicitly address the following questions in succinct and informal manner: - What is the problem? - Why is the problem important? - What has so far been done on the problem? - What is the contribution of the paper on the problem? - Is the contribution original? Explain why. - Is the contribution non-trivial? Explain why. * All the main definitions, theorems and algorithms must be illustrated by simple but meaningful examples. Without these, the paper will not be considered. Submission to this special issue is via the EasyChair submission system http://www.easychair.org/conferences/?conf=ftpjsc2010. The deadline for submissions is **** May 1st, 2010 **** Submissions must comply with JSC's author guidelines. They must be written in English and should be prepared in LaTeX. The article should preferably be written using Elsevier's document class "elsarticle". The Elsevier LaTeX style file package (including detailed instructions for LaTeX preparation) can be obtained from http://www.elsevier.com/latex. It consists of the file: elsarticle.cls, complete user documentation for the class file, bibliographic style files in various styles, and template files for a quick start. An older version of the "Elsevier Article Class (elsart.cls)" with "JSC add-on style (yjsco.sty)" and "Harvard style references (elsart-harv.bst)" can be obtained as the package "JSC LaTex" (that contains all the necessary style files and a template) from http://www4.ncsu.edu/~hong/jsc/JSC_LaTex_2007_Mar_12.zip Contact ======= For further informations please send an e-mail to Viorica Sofronie-Stokkermans (e-mail: sofronie at mpi-inf.mpg.de) From organization at arcoe.org Wed Feb 17 09:45:16 2010 From: organization at arcoe.org (ARCOE) Date: Wed, 17 Feb 2010 16:45:16 +0800 Subject: CFP: Automated Reasoning about Context and Ontology Evolution (ARCOE-10) collocated with ECAI-2010 Message-ID: <52c479f41002170045s74abc489n7d27aa54d98490b9@mail.gmail.com> Apologies for Multiple Postings ======================= CALL FOR PARTICIPATION ARCOE-10 at ECAI-10 August 16-17, 2010 Lisbon, Portugal ======================= The ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10) http://www.arcoe.org/2010/index.html held on August 16-17, 2010 at the European Conference on Artificial Intelligence (ECAI-10) http://ecai2010.appia.pt/ -- Description of the workshop -- Methods of automated reasoning have solved a large number of problems in Computer Science by using formal ontologies expressed in logic. Over the years, though, each problem or class of problems has required a different ontology, and sometimes a different version of logic. Moreover, the processes of conceiving, controlling and maintaining an ontology and its versions have turned out to be inherently complex. All this has motivated much investigation in a wide range of disparate disciplines -- from logic-based Knowledge Representation and Reasoning to Software Engineering, from Databases to Multimedia -- about how to relate ontologies to one another. ARCOE-10 aims at bringing together researchers and practitioners from core areas of Artificial Intelligence (Knowledge Representation and Reasoning, Contexts, and Ontologies) to discuss these kinds of problems and relevant results. Historically, there have been at least three different, yet interdependent motivations behind this type of research: defining the relationship between an ontology and its context, providing support to ontology engineers, enhancing problem solving and communication for software agents. Ontology and Context. Most application areas have recognised the need for representing and reasoning about knowledge that is distributed over many resources. Such knowledge depends on its context, i.e., on the syntactic and/or semantic structure of such resources. Research on information integration, distributed knowledge management, the semantic web, multi-agent and distributed reasoning have pinned down different aspects of how ontologies relate to and/or develop within their context. Ontology Engineering. Ontology engineers are not supposed to succeed right from the beginning when (individually or collaboratively) developing an ontology. Despite their expertise and any assistance from domain experts, revision cycles are the rule. Research on the automation of the process of engineering an ontology has improved efficiency and reduced the introduction of unintended meanings by means of interactive ontology editors. Moreover, ontology matching has studied the process of manual, off-line alignment of two or more known ontologies. Problem Solving and Communication for Agents. Agents that communicate with one another without having full access to their respective ontologies or that are programmed to face new non-classifiable situations must change their own ontology dynamically at run-time -- they cannot rely on human intervention. Research on this problem has either concentrated on non-monotonic reasoning and belief revision or on changes of signature, i.e., of the grammar of the ontology's language, with a minimal disruption to the original theory. ARCOE-10 will provide a multi-disciplinary forum, where differences in methodologies, representation languages and techniques are over-arched and hopefully overcome. Accordingly, the workshop will be structured into four tracks: three of them will focus on specific areas, the fourth one will foster links and integration. Track 1: Context and Ontology This track will select and present works about Context and Ontology, a well-established research area that has mainly concentrated on the relationship between contexts and ontologies for distributed information and for the enhancement of software agents. Track 2: Common Sense and Non-Monotonic Reasoning for Ontologies This track will select and present works about logic-based Knowledge Representation and Reasoning, a classic area of AI, which since its origins has produced remarkable results on logic-based methods for supporting knowledge engineers and for enhancing software agents. Track 3: Automated Ontology Evolution This track will select and present works about Automated Ontology Evolution, an area which in recent years has been drawing the attention of Artificial Intelligence and Knowledge Representation and Reasoning on the automation of ontology evolution. Track 4: Links and integration This track will foster links and integration by means of invited talks and (panel) discussions. Topics that are likely to be covered are: the formalisation of software engineering concepts for ontology development; the relationship between automated reasoning and information retrieval; relationships between representation languages; relationships between canonical domains; relationships between contexts and ontology evolution and between Non-Monotonic Reasoning and ontology evolution. ARCOE-10 will bring the participants to position the various approaches with respect to one another. Hopefully, though, the workshop will also start a process of cross-pollination and set out the constitution of a truly interdisciplinary research-community dedicated to automated reasoning about contexts and ontology evolution. -- Topics -- Track 1: Context and Ontology Submissions are welcome on the role of context and ontology in areas that include but are not limited to the following ones: - Information Integration - The role of context and ontology in Distributed Reasoning and Knowledge Management - The role of context and ontology in Semantic Web - Multi-Agent Systems - Data Grid and Grid Computing - Pervasive Computing and Ambient Intelligence - Peer-to-peer Information Systems - Comparison of uses of contexts and ontologies Track 2: Common Sense and Non-Monotonic Reasoning Submissions are welcome on the role of common sense and non-monotonic reasoning for ontologies in areas that include but are not limited to the following ones: - Ontology Debugging, Update and Merging - Inconsistency Handling, Belief Revision and Theory Change for DL ontologies - Uncertainty Handling, Defeasible Reasoning and Argumentation in ontologies - Heuristic and Approximate Reasoning - Planning and Reasoning about Action and Change on the Semantic Web - Rules and Ontologies - Temporal and Spatial Reasoning Track 3: Automated Ontology Evolution Submissions are welcome on the role of automated ontology evolution in areas that include but are not limited to the following ones: - Ontology fault diagnosis and repair - Problem Solving - Agent Communication - Persistent Agents in Changing Environment - Multimedia on the Web - IT and Automated Reasoning -- Attendance -- Authors will be selected on significance of their submission and will be preferred to simple attendees. Attendees will be selected on a first-come-first-served basis. Please check http://ecai2010.appia.pt/ for registration procedure and fees. -- Submission Requirements and Dates -- ARCOE-10 will accept submissions of long abstracts, for both long presentations and poster presentations. The distinction during the selection-phase will be based on the significance and the quality of submissions as well as oriented towards fostering cross-pollination and discussions during the event. All selected abstracts will be included in the Working Notes. Authors are kindly requested to provide keywords upon submission. The format for submissions is the same as that of ECAI-10. Please check http://ecai2010.appia.pt/index.php?option=com_content&task=view&id=44&Itemid=69for the style files. Submissions should be no longer than 3 pages. Abstract submission: May 7, 2010 Notification: June 7, 2010 Camera ready: June 21, 2010 Early registration: T.B.A. Late registration: T.B.A. Workshop: August 16-17, 2010 -- Submit to -- Please submit to https://www.easychair.org/login.cgi?conf=arcoe10 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ruy at cin.ufpe.br Thu Feb 18 04:12:17 2010 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Thu, 18 Feb 2010 01:12:17 -0200 Subject: WoLLIC 2010 - CFP - DEADLINE APPROACHING (Feb 28th) Message-ID: *WoLLIC 2010 17th Workshop on Logic, Language, Information and Computation * *July 6th to 9th, 2010 * *Universidade de Brasília, Brasília, Brazil* *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 )* *Sociedade Brasileira de Computação (SBC )* *Sociedade Brasileira de Lógica (SBL )* *Funding* (tbc) *Special: A screening of I want to be a mathematician: A conversation with Paul Halmos * *Organisation* *Department of Mathematics , Universidade de Brasília , Brazil Centro de Informática , Universidade Federal de Pernambuco , Brazil * ------------------------------ 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 Seventeenth WoLLIC will be held in Brasília, Brazil, from July 6th to 9th, 2010. 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 Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). *Special Event* 2010 will mark the 50-th anniversary of the first publication of Paul Halmos' classic book *Naïve Set Theory* by Van Nostrand. WoLLIC will celebrate this by screening the documentary about Paul Halmos which was directed by George Csicsery: "I want to be a mathematician. A conversation with Paul Halmos" http://zalafilms.com/films/halmos.html *Paper submission* Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2010 EasyChair website. (Please go to http://wollic.org/wollic2010/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by February 28, and the full paper by March 7 (firm date). Notifications are expected by April 11, and final papers for the proceedings will be due by April 27 (firm date). *Proceedings* The proceedings of WoLLIC 2010, 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 2010 issue of *Journal of Computer Systems and Sciences* (soon to be confirmed). *Invited Speakers* *Marcelo Finger* *Michiel van Lambalgen* *Martin Lange* *Johann (Janos) Makowsky* *Ian Pratt-Hartmann* *Sebastiaan Terwijn* *Cesare Tinelli* *Student Grants* ASL sponsorship of WoLLIC 2010 will permit ASL student members to apply for a modest travel grant (deadline: April 1, 2010). See http://www.aslonline.org/studenttravelawards.html for details. *Important Dates* February 28, 2010: Paper title and abstract deadline March 7, 2010: Full paper deadline (firm) April 11, 2010: Author notification April 27, 2010: Final version deadline (firm) *Programme Committee* *Verónica Becher* (Buenos Aires) *Raffaella Bernardi* (Bolzano) *Ricardo Bianconi* (São Paulo) *Vasco Brattka* (Cape Town) *Balder ten Cate* (ENS, Cachan) *Bob Coecke* (Oxford) *Adriana Compagnoni* (Stevens) *Marcelo Coniglio* (Campinas) *Anuj Dawar* (Cambridge), chair *Valentin Goranko* (Copenhagen) *Masahito Hasegawa* (Kyoto U, Japan) *Rosalie Iemhoff* (Utrecht) *Makoto Kanazawa* (National Institute of Informatics, Japan) *Giuseppe Longo* (CNRS & ENS, Paris) *Mike Mislove* (Tulane) *Michael Norrish* (NICTA, Canberra) *Bart Selman* (Cornell) *Scott Weinstein* (Penn) *Organising Committee* Mauricio Ayala-Rincon (U Brasília, Brazil) (co-chair) Flávio L. C. Moura (U Brasília, Brazil) Claudia Nalon (U Brasília, Brazil) Anjolina G. de Oliveira (U Fed Pernambuco, Brazil) Ruy de Queiroz (U Fed Pernambuco, Brazil) (co-chair) *Steering Committee* *Samson Abramsky, Johan van Benthem, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz.* *Further information* *Contact one of the Co-Chairs of the Organising Committee.* *Web page* *http://wollic.org/wollic2010/ * -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mitchell at cs.sfu.ca Fri Feb 19 05:34:02 2010 From: mitchell at cs.sfu.ca (David Mitchell) Date: Thu, 18 Feb 2010 20:34:02 -0800 (PST) Subject: CFP - LaSh 2010 (at FLoC, July 15, Edinburgh) Message-ID: <201002190434.o1J4Y2mr013469@cs.sfu.ca> ======================================================================= CALL FOR PAPERS LaSh 2010 Third Workshop on Logic and Search July 15, 2010, Edinburgh www.logicandsearch.org/LaSh2010 A SAT/ICLP Workshop at FLoC 2010 ----------------------------------------------------------------------- Many challenging problems in computer science and application areas involve constructing a combinatorial object satisfying given properties. Examples include exam timetables, shop schedules, phylogenetic trees, system configurations, and computations that demonstrate a hardware or software bug. A number of communities are developing general purpose tools and techniques for solving such problems, including researchers in SAT, ASP, SMT, constraint modelling languages, CSP, finite FO model generation, Integer Programming, and others. A general approach to solving these problems is to have users represent the properties of a solution in some logic-based formalism, and then use a solver to construct models for the representation. Practical effectiveness of this approach has been clearly demonstrated by, for example, the success of SAT and SMT techniques in formal verification. In addition to widespread work on effective ground solvers, a number of communities have been developing high level declarative modelling or representation languages, which are essential for broad applicability. The goal of the LaSh workshops is to bring together researchers from all relevant areas to foster the exchange and development of ideas in both theory and practice of logic-based methods for combinatorial problem solving. LaSh is an occasion to discuss specific technical problems, formulate challenges and opportunities, compare and contrast techniques of different groups, and examine possible synergies and integrations. LaSh 2010 follows LaSh 2006, an ICLPLP workshop at FLoC 2006 (www.easychair.org/FLoC-06/LaSh.html), and LaSh 2008, a two day stand-alone workshop (www.cs.kuleuven.be/~dtai/LaSh08). We invite contributions to modeling languages, methodology, theory, algorithms and systems. To facilitate discussion of the most relevant current research, we welcome submission of previously-published research as well as new work. Authors may also submit to a follow-up journal special issue. Topics of interest include, but are not limited to: * modeling languages and techniques * logics * solver design and implementation * expressiveness and complexity * algorithms for grounding and solving * logics-based methods for optimization problems * new applications * system descriptions * experimental evaluations LaSh 2010 will feature invited talks, technical paper sessions, a special session on grounding, a demo session, and a panel/open problem session. SPECIAL SESSION ON GROUNDING ---------------------------- Grounding plays an important role in many areas, including constraint programming, theorem proving, and answer set programming, to mention a few. It provides the essential connection between high-level problem representations and efficient ground solvers. Despite the importance, the literature on grounding is limited and there has been little interaction between its many application areas. The goal of the this special session is to begin to improve this situation. PROCEEDINGS AND JOURNAL SPECIAL ISSUE ------------------------------------- The workshop proceedings will be informal and electronic. Authors are invited to submit (possibly extended) versions of their papers to a post-workshop special issue of AI Communications. These submissions, which will undergo a separate round of review, must be of high quality and satisfy the requirements of the journal. SUBMISSIONS ----------- We welcome submissions of three kinds: * Regular technical papers, presenting previously unpublished research; * Short papers (system descriptions; work in progress; position papers); * Presentation-only papers, presenting research that is highly relevant but which will have previously been presented elsewhere. (Authors may elect to have such papers excluded from the proceedings.) At the time of submission, authors are requested to clearly specify whether their submission is new or previously published, by adding (New Work) or (Presentation Only) as an additional line in the paper title. Each submissions will be reviewed by at least two members of the program committee. Submissions may be in any common format, such as LNCS, AAAI and Easychair. We prefer that submissions not exceed the equivalent of 15 LNCS pages (5 pages for short papers). Authors should submit a PDF file via Easychair, at http://www.easychair.org/LaSh10/. IMPORTANT DATES --------------- Paper Submission: April 7 Notification of Acceptance: April 30 Camera Ready Deadline: May 30 Workshop: July 15 CONFERENCE ORGANIZERS --------------------- David Mitchell Simon Fraser University, Canada Eugenia Ternovska Simon Fraser University, Canada PROGRAM COMMITTEE ----------------- Peter Baumgartner, The Australian National University Koen Claessen, Chalmers University of Technology Adnan Darwiche, UCLA Marc Denecker, Catholic University of Leuven Thomas Eiter, Vienna University of Technology Alan Frisch, University of York Enrico Giunchiglia, University of Genova Tomi Janhunen, Aalto University Daniel LeBerre, Universite d'Artois Ines Lynce, INESC-ID Pierre Marquis, Universite d'Artois Tony Mancini, Sapienza Universita di Roma David Mitchell, Simon Fraser University Ilkka Niemela, Helsinki University of Technology Robert Nieuwenhuis, UPC Barry O'Sullivan, University College Cork Torsten Schaub, Universitat Potsdam Eugenia Ternovska, Simon Fraser University Mirek Truszczynski, University of Kentucky Emina Torlak, IBM Victor Marek, University of Kentucky Toby Walsh, University of New South Wales ORGANIZING COMMITTEE -------------------- Enrico Giunchiglia, University of Genova Victor Marek, University of Kentucky David Mitchell, Simon Fraser University Eugenia Ternovska Simon Fraser University Mirek Truzczynski, University of Kentucky Marc Denecker, K.U.Leuven =========================================================== From borgo at loa-cnr.it Fri Feb 19 12:59:22 2010 From: borgo at loa-cnr.it (Stefano Borgo) Date: Fri, 19 Feb 2010 12:59:22 +0100 Subject: Final CFP - Applied Ontology Journal Special Issue : The ontology of functions References: <9AE54424-C2A6-4326-9F0F-AD5CABAFCB42@loa-cnr.it> Message-ID: <53A7C5DE-2F24-4354-BD72-1C5C1E226EBE@loa-cnr.it> Special Issue - Final Call for Papers -- THE ONTOLOGY OF FUNCTIONS: BIOLOGY, ENGINEERING AND BEYOND -- http://www.loa-cnr.it/func_sp_issue2010 Applied Ontology Journal (IOS Press) Submission: 22 Feb 2010 (abstract of about 1000 words, see below) Function and functionality play a central role not only in modern science but also in our extra-scientific understanding of the world. Unfortunately, the term 'function' is hereby used with a variety of meanings and is associated with a variety of views as to what functions are. This special issue is devoted to the foundation, the comparison and the application of functional theories in all areas, with particular attention to the biological and engineering domains. The goal is to publish state-of-the-art theoretical and technical contributions related to the description, characterization, and application of functions. We especially welcome contributions in which the theories are presented and motivated with an eye on the underlying ontological aspects and an introduction to their formalization. Contributions may include analyses of the different notions of function that have proven useful in science, proposals towards development of a unifying framework, or criticisms of existing frameworks. The goal is to provide materials for the creation of an ontological treatment of functions and functioning that will: 1) identify and describe functions in a consistent and comprehensive way; 2) list the arguments that lead to a preference of one notion of function over others; 3) make clear the basic assumptions and principles of classification that motivate a given notion of function; 4) discuss formalization issues and relevant application methodologies. TOPICS include, but are not limited to, the following: - comparison of functional theories and models - formalization of functional theories and models - basic functions, functional classification, functional (de)composition - assigning functions to natural and/or artificial entities - functional ontology - unified theory of biological and artifact functions - theory of artifacts - what kinds of biological entities have functions? - how are biological functions related to disease? IMPORTANT DATES * Abstract Submission: 22 Feb 2010 * Invitation to submit a full paper (20/25 pages): 10 March 2010 * Full papers due: 12 May 2010 * Notification of acceptance/rejection: 24 June 2010 * Revised papers due: 21 July 2010 * Final review: 15 Sept 2010 * Camera-ready papers due: 12 Oct 2010 * Publication: Spring 2011 PAPER SUBMISSION Submissions to the first phase (deadline: 22 Feb 2010) should include an abstract of about 1000 words, a separate list of references and a cover page with title, name, address (including e-mail address) and affiliation of author(s) and a list of keywords. Authors are encouraged to submit high-quality, original work that has neither appeared in, nor is under consideration by, other journals. Manuscripts must be written in English. Manuscripts must be submitted to: functions (at) loa-cnr.it Please indicate in the email subject that you are submitting to the ''AOJ Special Issue on Functions''. GUEST EDITORS Stefano Borgo, ISTC CNR and KRDB FUB, Italy Riichiro Mizoguchi, The Institute of Scientific and Industrial Research, Osaka University, Japan Barry Smith, University at Buffalo, USA REVIEW COMMITTEE Massimiliano Carrara, University of Padova Randall R. Dipert, University at Buffalo Pawel Garbacz, Katolicki Uniwersytet Lubelski Jana Pawla II John S. Gero, George Mason University Ashok K. Goel, Georgia Institute of Technology W.N. Houkes, Technische Universiteit Eindhoven Yoshinobu Kitamura, Osaka University Peter Kroes, Technische Universiteit Delft Ulrich Krohs, University of Bielefeld Pieter Vermaas, Technische Universiteit Delft -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Fri Feb 19 13:29:51 2010 From: serge.autexier at dfki.de (Serge Autexier) Date: Fri, 19 Feb 2010 13:29:51 +0100 (CET) Subject: AISC'10 - CfP - Approaching Deadline (26 February) & Invited Speakers Message-ID: <201002191229.o1JCTpgE005351@gemini.informatik.uni-bremen.de> [Apologies for possible multiple postings.] CALL FOR PAPERS AISC 2010 - 10th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION Theory, Implementations and Applications http://cicm2010.cnam.fr/aisc/ CNAM, Paris, France, July 5th - July 6th, 2010 ********************************************************************** INVITED SPEAKERS: James Davenport (http://people.bath.ac.uk/masjhd/) Bruno Salvy (http://algo.inria.fr/salvy/) ********************************************************************** Artificial Intelligence and Symbolic Computation are two views and approaches for automating problem solving, in particular mathematical problem solving. The two approaches are based on heuristics and on mathematical algorithmics, respectively. Artificial Intelligence can be applied to Symbolic Computation and Symbolic Computation can be applied to Artificial Intelligence. Hence, a wealth of challenges, ideas, theoretical insights and results, methods and algorithms arise in the interaction of the two fields and research communities. Advanced tools of software technology and system design are needed and a broad spectrum of applications is possible by the combined problem solving power of the two fields. Hence, the conference is in the center of interest and interaction for various research communities: * Artificial Intelligence * Logic * Symbolic Computation * Software Technology * Computer Algebra * Semantic Web Technology * Automated Reasoning * Mathematical Knowledge Management * Formal mathematics * Computer-based Math Teaching & Didactics * Machine Learning * Computer-Supported Publishing * Automated Discovery * Language and System Design Topics ====== Topics of particular interest of the conference include: * AI in Symbolic Mathematical Computing * Computer Algebra Systems and Automated Theorem Provers * Symmetries in AI problems * Engineering, Industrial and Operations Research Applications * Foundations and Complexity of Symbolic Computation * Mathematical Modeling of Multi-Agent Systems * Implementations of Symbolic Computation Systems * Programming Languages for Symbolic Computation * Symbolic Computations for Expert Systems and Machine Learning * Symbolic Computation and Ontologies * Logic and Symbolic Computing * Implementation and Performance Issues * Intelligent Interfaces * Symbolic Techniques for Document Analysis Papers on other topics with links to the above research fields and topics will also be welcomed for consideration. Proceedings =========== The proceedings of the conference will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer-Verlag. Accepted papers will have to be prepared in LaTeX and formatted according to the requirements of the Springer's LNAI series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html and are the same for LNCS and LNAI). Submission ========== Theoretical and applied research papers on all topics within the scope of the conference are invited. Submitted papers (in English) must not exceed 15 pages in length (in the LNCS style). The title page should contain the title, author(s) with affiliation(s), e-mail address(es), listing of keywords and abstract plus the topics from the above list to which the paper is related. The program committee (PC) will subject all submitted papers to a peer review. Theoretical papers will be judged on their originality and contribution to their field, and applied papers on the importance and originality of the application. Results must be original and have not been published elsewhere. The web page for electronic submission is at: http://www.easychair.org/conferences/?conf=aisc20100 Best Paper Awards ================= Every submission automatically competes for the Best Paper Award. Papers which have been mainly developed by (PhD) students can be marked as student papers upon submission to also compete for the Best Student Paper Award. Important Dates =============== Abstract Submission deadline: February 19, 2010 Submission deadline: February 26, 2010 Notification: April 18, 2010 Camera Ready Version: April 28, 2010 Conference: July 5 - July 6, 2010 -- Serge Autexier, serge.autexier at dfki.de, http://www.dfki.de/~serge/ DFKI Bremen, Safe and Secure Cognitive Systems Cartesium, 2.054 Phone: +49 421 218 64272 Enrique-Schmidt-Str. 5, D-28359 Bremen Fax: +49 421 218 9864272 ---------------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH principal office, *not* the address for mail etc.!!!: Trippstadter Str. 122, D-67663 Kaiserslautern management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff supervisory board: Prof. Hans A. Aukes (chair) Amtsgericht Kaiserslautern, HRB 2313 ---------------------------------------------------------------------- From ndt at dirf.org Fri Feb 19 15:30:22 2010 From: ndt at dirf.org (Digital Information Research Foundation) Date: Fri, 19 Feb 2010 20:00:22 +0530 Subject: CFP:NDT2010:Prague-Czech Republic:July2010 Message-ID: <20100219200022.l4tdyv4uck8c4ggg@202.54.156.184> The Second International Conference on 'Networked Digital Technologies' (NDT2010) Prague, Czech Republic, July 7-9, 2010 http://www.dirf.org/ndt2010 ========================================================================== Location: Charles University, Prague, Czech Republic Date: July. 7-9, 2010. ========================================================================= Topics: Information and Data Management Data and Network Mining Intelligent Agent-Based Systems, Cognitive and Reactive Distributed AI Systems Internet Modeling User Interfaces, Visualization and Modeling XML-Based Languages Security and Access Control Trust Models for Social Networks Information Content Security Mobile, Ad Hoc and Sensor Network Management Web Services Architecture, Modeling and Design New Architectures for Web-Based Social Networks Semantic Web, Ontologies (Creation, Merging, Linking and Reconciliation) Web Services Security Quality of Service, Scalability and Performance Self-Organizing Networks and Networked Systems Data management in Mobile Peer-to-Peer Networks Data Stream Processing in Mobile/Sensor Networks Indexing and Query Processing for Moving Objects User Interfaces and Usability Issues form Mobile Applications Mobile Social Networks Peer-to-Peer Social Networks Sensor Networks and Social Sensing Social Search Social Networking Inspired Collaborative Computing Information Propagation on Social Networks Resource and Knowledge Discovery Using Social Networks Measurement Studies of Actual Social Networks Simulation Models for Social Networks Cloud computing Grid computing Green Computing ========================================================================= IMPORTANT DATES: Submission Date: March 1, 2010 Notification of acceptance: April 20, 2010 Camera Ready submission: May 10, 2010 Registration: May 15, 2010 Conference date: July 7-9, 2010 ========================================================================= SUBMISSION: Submission instructions are listed at http://www.dirf.org/ndt2010/submission.asp From vfgo at imm.dtu.dk Fri Feb 19 23:00:59 2010 From: vfgo at imm.dtu.dk (Valentin Goranko) Date: Fri, 19 Feb 2010 23:00:59 +0100 Subject: Advances in Modal Logic 2010: Third Call for Papers In-Reply-To: Message-ID: []<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[] AiML-2010: THIRD CALL FOR PAPERS 8-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC MOSCOW, AUGUST 24-27, 2010 http://aiml10.mi.ras.ru/ Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2010 is the eighth conference in the series. TOPICS We invite submission on all aspects of modal logics, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic + complexity and decidability of modal and temporal logics + modal and temporal logic programming + model checking + theorem proving for modal logics - theoretical aspects of modal logic + algebraic and categorical perspectives on modal logic + coalgebraic modal logic + completeness and canonicity + correspondence and duality theory + many-dimensional modal logics + modal fixed point logics + model theory of modal logic + proof theory of modal logic - specific instances and variations of modal logic + description logics + dynamic logics and other process logics + epistemic and deontic logics + modal logics for agent-based systems + modal logic and game theory + modal logic and grammar formalisms + provability and interpretability logics + spatial and temporal logics + hybrid logic + intuitionistic logic + substructural logics Papers on related subjects will also be considered. INVITED SPEAKERS: Alexandru Baltag (Oxford) Dick de Jongh (Amsterdam) Heinrich Wansing (Dresden) Martin Otto (Darmstadt) Mati Pentus (Moscow) Patrick Blackburn (Nancy) PAPER SUBMISSIONS There will be two types of submissions to AiML-2010 (1) Full papers for publication in the proceedings and presentation at the conference. (2) Abstracts for short presentation only. Both types of papers should be submitted electronically using the EasyChair submission page at http://www.easychair.org/conferences/?conf=aiml2010 (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML'2010 will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTex, using a style file and template that will be provided on the AiML'2010 website http://aiml10.mi.ras.ru/ in due time. At least one author of each accepted paper must register for, and attend, the conference to present the paper. (2) ABSTRACTS These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted abstracts will be made available at the conference, and the authors will have the opportunity to make short presentations (of up to 15 minutes) on them. PROGRAMME COMMITTEE: Carlos Areces (INRIA, Nancy-Grand Est, France) Philippe Balbiani (IRIT, Toulouse, France) Alexandru Baltag (University of Oxford, UK) Lev Beklemishev (Moscow State University, Russia) Johan van Benthem (ILLC, University of Amsterdam, The Netherlands) Guram Bezhanishvili (New Mexico State University, USA) Torben Brauner (Roskilde University, Denmark) Patrick Blackburn (INRIA, Nancy-Grand Est, France) Balder ten Cate (LSV, ENS Cachan, France) Stephane Demri (LSV, ENS Cachan, France) Melvin Fitting (Lehman College, CUNY, USA) Silvio Ghilardi (University of Milano, Italy) Robert Goldblatt (Victoria University of Wellington, New Zealand) Rajeev Gore (The Australian National University, Australia) Andreas Herzig (IRIT, Toulouse, France) Ian Hodkinson (Imperial College London, UK) Wiebe van der Hoek (University of Liverpool, UK) Rosalie Iemhoff (University of Utrecht, The Netherlands) Alexander Kurz (University of Leicester, UK) Martin Lange (Ludwig-Maximilians University, Munich, Germany) Carsten Lutz (University of Bremen, Germany) Larisa Maksimova (Sobolev Inst. of Mathematics, Novosibirsk, Russia) Edwin Mares (Victoria University of Wellington, New Zealand) Larry Moss (Indiana University, USA) Martin Otto (Technical University of Darmstadt, Germany) Dirk Pattinson (Imperial College London, UK) Mark Reynolds (University of Western Australia, Australia) Renate Schmidt (University of Manchester, UK) Nobu-Yuki Suzuki (Shizuoka University, Japan) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Igor Walukiewicz (LABRI, Bordeaux, France) Frank Wolter (University of Liverpool, UK) Michael Zakharyaschev (Birkbeck College, London, UK) PROGRAMME COMMITTEE CO-CHAIRS Valentin Shehtman (Moscow State University, Russia) Valentin Goranko (Technical University of Denmark, Denmark) ORGANIZING COMMITTEE CHAIR: Lev Beklemishev (Steklov Mathematical Institute, Moscow, Russia) IMPORTANT DATES Full papers submission deadline: 16 March 2010 Full papers acceptance notification: 21 May 2010 Short presentations submission deadline: 1 June, 2010 Short presentations acceptance notification: 21 June, 2010 Final version of full papers and abstracts due: 30 June 2010 Conference: 24-27 August, 2010. CONFERENCE LOCATION Advances in Modal Logic 2010 will be held at Steklov Mathematical Institute, Moscow FURTHER INFORMATION AiML 2010 website: http://aiml10.mi.ras.ru/ ENQUIRIES E-mail enquiries should be directed respectively to the chair of the organizing committee, sent to lbekl(at)yandex(dot)ru, or to the PC co-chairs, sent to aimolog2010 at gmail.com. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alfrednabbles2 at gmail.com Sat Feb 20 20:15:31 2010 From: alfrednabbles2 at gmail.com (Alfred Nabbles) Date: Sat, 20 Feb 2010 14:15:31 -0500 Subject: Call for papers: MULTICONF-10, July 2010, Orlando, USA Message-ID: <2524a0d21002201115h53012523n6368790d66489bd4@mail.gmail.com> It would be highly appreciated if you could share this announcement with your colleagues, students and individuals whose research is in computer science, computer engineering, information science and related areas. Call for papers: MULTICONF-10, July 2010, Orlando, USA The 2010 multi-conference (MULTICONF-10) (website: http://www.PromoteResearch.org ) will be held during July 12-14, 2010 in Orlando, Florida, USA. The primary goal of MULTICONF is to promote research and developmental activities in computer science, information technology, control engineering, and related fields. Another goal is to promote the dissemination of research to a multidisciplinary audience and to facilitate communication among researchers, developers, practitioners in different fields. The following conferences are planned to be organized as part of MULTICONF-10. · International Conference on Artificial Intelligence and Pattern Recognition (AIPR-10) · International Conference on Automation, Robotics and Control Systems (ARCS-10) · International Conference on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-10) · International Conference on Computer Communications and Networks (CCN-10) · International Conference on Enterprise Information Systems and Web Technologies (EISWT-10) · International Conference on High Performance Computing Systems (HPCS-10) · International Conference on Information Security and Privacy (ISP-10) · International Conference on Image and Video Processing and Computer Vision (IVPCV-10) · International Conference on Software Engineering Theory and Practice (SETP-10) · International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-10) MULTICONF-10 will be held at Imperial Swan Hotel and Suites. It is a full-service resort that puts you in the middle of the fun! Located 1/2 block south of the famed International Drive, the hotel is just minutes from great entertainment like Walt Disney World® Resort, Universal Studios and Sea World Orlando. Guests can enjoy *free scheduled transportation* to these theme parks, as well as spacious accommodations, outdoor pools and on-site dining — all situated on 10 tropically landscaped acres. Here, guests can experience a full-service resort with discount hotel pricing in Orlando. Please see the website http://www.PromoteResearch.orgfor more details. Sincerely Alfred Nabbles -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From christian.guttmann at gmail.com Mon Feb 22 01:47:48 2010 From: christian.guttmann at gmail.com (Christian Guttmann) Date: Mon, 22 Feb 2010 11:17:48 +1030 Subject: CFP of CARE 2010 -- 2nd Workshop on Collaborative Agents -- REsearch and Development Message-ID: <4B81D434.4090907@gmail.com> Apologies for multiple postings. ============================================================ Second INTERNATIONAL WORKSHOP on Collaborative Agents -- REsearch and Development (CARE) 2010 31st August 2010, York University, Toronto, Canada Abstract submission: April 14, 2010 Full paper submission: April 16, 2010 http://www.csse.monash.edu.au/~xtg/CARE2010/ ============================================================ The workshop is held in conjunction with the International Conference on Intelligent Agent Technology (IAT). http://www.yorku.ca/wiiat10/ Summary ======= Collaboration is required when multiple agents 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. This workshop's thematic focus is on collaborative and autonomous agents that plan, negotiate, coordinate, and act under this complexity. This workshop aims to foster discussions on computational models of collaboration 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. Some issues of interest of this workshop are: o How to enable agents to form and follow joint agreements and contracts in complex organisational and market driven domains. o How to develop a comprehensive contractual formation/maintenance framework applicable to many application domains. o How to build comprehensive customer lifecycle management systems for customers, including telecommunication consumers, students and patients. o How to deploy lifecycle management systems in real world applications, such as healthcare, telecommunication, and smart campuses. o How to design markets that are adequate for agents to act with incomplete and uncertain information of the behaviour of collaborating agents. o How to build MAS that work efficiently in partially regulated markets (where governance policy or partnership agreements govern part of the market). o What are the implications of partial regulation on the management of contractual relationships and service delivery. o How organisational structures influence the negotiation of agents and the distribution/execution of tasks. o How to cope with collaborators that exhibit unreliable and non-conformant behaviour, eg where agreements are made but are not always conformed with. o How can interventions and incentive structures assist in managing contractual relationships and service delivery. o How to assign transaction costs to actions in planning, assignment, and execution in organisational structures. o 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. o Can lessons learnt in game theoretic computation inform collaborative agent settings. o What role does learning and adaptivity play in building organisational MAS. 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. Contact ======= CARE organisers christian.guttmann at gmail.com dignum at cs.uu.nl Important Dates =============== Abstract submission: April 14, 2010 Full paper submission: April 16, 2010 Notification: May 28, 2010 Camera ready: June 7, 2010 Topics of Interest include (but are not limited to): ==================================================== RESEARCH * Collaboration frameworks * Models of teamwork and joint action * Organisation/Institutes/Norms * Auctioning/Negotiation * Task/Resource allocation * Behaviour modelling/monitoring * Adherence/Intervention mechanisms * Incentive frameworks * Intervention mechanisms * Agreement technology * Contract networks/formation * Cloud computing APPLICATION AREAS * Collaborative care planning/management * Disaster planning/management * Traffic planning/management * Transport/Logistics * Applications in primary and preventative healthcare * Chronic disease planning/management * Epidemiological agent models * Unmanned air/land vehicles * Robotic soccer/Robotic rescues * Weather forecast * Artificial and natural immune systems * Social networks (e.g., LinkedIn, Facebook,...) * Smart grid network (e.g., electricity/gas metering) Submission and Publication ========================== Submission is to be done electronically at Cyberchair at: http://wi-consortium.org/cyberchair/wiiat10/scripts/ws_submit.php. CARE 2010 seeks 4-page submissions formatted according to IEEE specification. Style Files for Paper Submission IEEE Computer Society Proceedings Manuscript Formatting Guidelines: DOC: ftp://pubftp.computer.org/press/outgoing/proceedings/instruct8.5x11.doc PDF:ftp://pubftp.computer.org/press/outgoing/proceedings/instruct8.5x11.pdf PS: ftp://pubftp.computer.org/press/outgoing/proceedings/instruct.ps LaTex Formatting Macros: ftp://pubftp.computer.org/Press/Outgoing/proceedings/IEEE_CS_Latex8.5x11x2.zip Submissions will be peer-reviewed by two or 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. Workshop Officials ================== GENERAL CHAIR Christian Guttmann (Monash University, Australia) Frank Dignum (University Utrecht, Netherlands) PROGRAM COMMITTEE Wei Chen (Intelligent Automation, Inc., United States of America) Philippe Pasquier (Simon Fraser University, Canada) Michael Luck (King's College London, United Kingdom) Lawrence Cavedon (NICTA and RMIT University, Australia) Samin Karim (Accenture, Australia) Cees Witteveen (Delft University of Technology, Netherlands) Franziska Klügl (Örebro University, Sweden) Toby Walsh (NICTA and UNSW, Australia) Cristiano Castelfranchi (Institute of Cognitive Sciences and Technologies, Italy) Alexander Pokahr (University Hamburg, Germany) Lars Brauchbach (University Hamburg, Germany) Wayne Wobcke (University of New South Wales, Australia) Rainer Unland (University of Duisburg-Essen, Germany) Liz Sonenberg (Melbourne University, Australia) Kumari Wickramasinghe (Monash University, Australia) Simon Thompson (British Telecom Research Laboratories, United Kingdom) Gord McCalla (University of Saskatchewan, Canada) Andrew Gilpin (Hg Analytics, United States of America) David Morley (SRI International, United States of America) Marcelo Blois Ribeiro (Pontifical Catholic University of Rio Grande do Sul, Brazil) -- Christian Guttmann, PhD http://www.csse.monash.edu.au/~xtg/ From turhan at tcs.inf.tu-dresden.de Mon Feb 22 17:59:23 2010 From: turhan at tcs.inf.tu-dresden.de (A.-Y. Turhan) Date: Mon, 22 Feb 2010 17:59:23 +0100 Subject: 2. CFP: Workshop on Uncertainty in Description Logics (UniDL'10) Message-ID: <4B82B7EB.5050600@tcs.inf.tu-dresden.de> Apologies for cross-postings ------------------------------------------------------------------- Call for Papers ------------------------------------------------------------------- UniDL'10 First International Workshop on Uncertainty in Description Logics co-located with IJCAR 2010 at FLoC 2010 July 20, 2010 Edinburgh, UK http://lat.inf.tu-dresden.de/UniDL ------------------------------------------------------------------- During the recent decade, handling uncertainty has started to play an important role in ontology languages, especially in application areas like the Semantic Web, biomedicine, and artificial intelligence. For this reason, there is currently a strong research interest in description logics (DLs) that allow for dealing with uncertainty. The subject of the workshop is how to deal with uncertainty and imprecision in Description Logics (DLs). This encompasses approaches that enable probabilistic or fuzzy reasoning in DLs, but the workshop is also open for approaches based on other uncertainty formalisms. The workshop focusses on the investigation of reasoning problems and approaches for solving them, including especially tractable ones. For classical DL reasoning problems such as subsumption and satisfiability, algorithms that can handle uncertainty exist, but they are still less well-investigated than in the case of standard DLs without uncertainty. For novel reasoning services, such as query answering, computation of generalizations, modules, or explanations, it is not yet clear how to realize them in DLs that can express uncertainty. SPONSOR UniDL is sponsored by the Artificial Intelligence Journal (AIJ) INVITED SPEAKER Ralf Moeller, Hamburg University of Technology TOPICS OF INTEREST include but are not limited to: * Modeling of uncertain knowledge in DLs * Different formalisations of uncertainty for DLs * Formal semantics for uncertain information in DLs * Extensions of DL reasoning problems to uncertainty * Reasoning algorithms for DLs with uncertainty, in particular * Tableau algorithms for probabilistic DLs or fuzzy DLs * Tractable DLs with uncertainty * Complexity of uncertain reasoning * System descriptions for implemented reasoning algorithms in uncertain DLs * Novel applications of DLs with uncertainty * Open and future problems IMPORTANT DATES: Submission deadline: March 25, 2010 Notification: April 28, 2010 Final version: May 26, 2010 Workshop: July 20, 2010 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be - technical papers not exceeding 10 pages, - system descriptions not exceeding 6 pages, or - position papers on work in progress not exceeding 3 pages in LNCS. Submissions exceeding these limits will not be reviewed. Submissions are via EasyChair at http://www.easychair.org/conferences/?conf=unidl10 . WORKSHOP CHAIRS: - Thomas Lukasiewicz, Oxford University, UK - Rafael Penaloza, TU Dresden, Germany - Anni-Yasmin Turhan, TU Dresden, Germany PROGRAM COMMITTEE: - Eyal Amir, University of Illinois, Urbana-Champaign - Fernando Bobillo, University of Zaragoza - Simona Colucci, Technical University of Bari - Fabio G. Cozman, University of Sao Paulo - Manfred Jaeger, Aalborg University - Pavel Klinov, University of Manchester - Ralf Moeller, Hamburg University of Technology - Mathias Niepert, University of Mannheim - Stefan Schlobach, Vrije Universiteit Amsterdam - Luciano Serafini, IRS Trento - Giorgos Stoilos, Oxford University - Umberto Straccia, ISTI-CNR - Guilin Qi, Southeast University, China -- * Anni-Yasmin Turhan, Theoretical Computer Science, TU Dresden * * Phone:++49 351 463 39 167 mailto:turhan at tcs.inf.tu-dresden.de * From amast-10 at kestrel.edu Tue Feb 23 03:23:01 2010 From: amast-10 at kestrel.edu (amast-10 at kestrel.edu) Date: Mon, 22 Feb 2010 18:23:01 -0800 (PST) Subject: Call for Papers - AMAST 2010 Message-ID: <20100223022301.67A7A1647D9@egret.kestrel.edu> CALL FOR PAPERS: AMAST 2010: Algebraic Methodology and Software Technology (Thirteenth International Conference) - Held jointly with: - MPC 2010: Mathematics of Program construction* - (Tenth International Conference) When:...................Jun 23, 2010 - Jun 26, 2010 Where:..................Manoir St-Castin Link:...................http://mpc-amast2010.fsg.ulaval.ca/amast/ *************** New deadlines: *************** Submission deadline:....April 9, 2010 (23:59 Pacific (UTC-8)) Notification due:.......May 16, 2010 Final Version due:......May 30, 2010 Submission site:........http://www.easychair.org/conferences/?conf=amast2010 (Due to circumstances beyond our control, the previous Call for Papers, with earlier deadlines, has not been circulated, but only posted on the web. In order to be able to circulate this Call, we postponed the deadlines. As a consequence, the publication date of the proceedings, which are planned in the same format, has been moved to after the conference.) BACKGROUND The major goal of the AMAST Conferences is to promote research that may lead to the setting of software technology on a firm, mathematical basis. This goal is achieved by a large international cooperation with contributions from both academia and industry. The virtues of a software technology developed on a mathematical basis include the provision of software that is * correct, and the correctness can be proved mathematically, * safe, so that it can be used in the implementation of critical systems, * portable, i.e., independent of computing platforms and language generations, * evolutionary, i.e. it adapts to the environment changes, and evolves with the problem domain, * secure, so that its network and user interactions can be predicted and controlled. All previous editions of the AMAST Conference, which were held at Iowa City (1989,1991), Twente (1993), Montreal (1995), Munich (1996), Sydney (1997), Manaus (1999), Iowa City (2000), Reunion Island (2002), Stirling (2004), Saaremaa (2006) and Urbana-Champaign (2008), made contributions to the AMAST goals by reporting and disseminating academic and industrial achievements within the AMAST area of interest. During these meetings, AMAST attracted an international following among researchers and practitioners interested in software technology, programming methodology and their algebraic and logical foundations. The 2010 conference will be held in Lac-Beauport, a suburb of Québec City, Canada, and will be colocated with MPC '10 (21-23 June 2010). TOPICS As in previous years, we invite papers reporting original research on setting software technology on a firm mathematical basis. We expect two kinds of submissions: technical papers and system demonstrations. Of particular interest is research on using algebraic, logic, and other formalisms suitable as foundations for software technology, as well as software technologies developed by means of logic and algebraic methodologies. Topics of interest include, but are not limited to, the following: ** Software technology * systems software technology * application software technology * software architecture * concurrent and reactive systems * formal methods in industrial software development * requirements engineering * software synthesis * evolutionary and adaptive software systems ** Programming methodology * logic programming, functional programming, object paradigms * constraint programming and concurrency * program transformation and verification * programming calculi * specification languages and tools * incremental development * web programming and network computation ** Algebraic and logical foundations * logic in computer science * category theory, relation algebra, computational algebra * algebraic foundations for languages, systems and specifications * coinduction and coalgebraic methods * logical frameworks and theorem proving * logics of programs * formal approaches to dependability and security ** Systems and tools (for system demonstrations or ordinary papers) * software development environments * provably correct software development * validation and verification * security tools * system support for reuse * tools for prototyping * component based software development tools * computer algebra systems * theorem proving systems PUBLICATION As in the past, the proceedings of AMAST 2010 will be published by Springer in the Lecture Notes in Computer Science series. The preliminary version of the proceedings will be available at the conference. The final version will be distributed after the conference. We invite prospective authors to submit electronically previously unpublished papers of high quality. Submissions should not have been published and should not be under consideration for publication elsewhere. Papers must be no longer than 15 pages (6 pages for system demonstrations) and should be prepared using LaTeX and the LNCS style that can be downloaded from http://www.springer.de/comp/lncs/authors.html. The submission site and dates are at the beginning of this Call. VENUE The conference will be held in the Manoir St-Castin (http://www.hotelsvillegia.com/villegia_stcastin/pages-eg/). This resort is located on the shore of Beauport lake, 15 minutes from downtown Québec City (http://www.quebecregion.com/en/) and 15 minutes from the Jean-Lesage International Airport. PROGRAM COMMITTEE Paolo Baldan Gilles Barthe Michel Bidoit Manfred Broy E.P. de Vink Jose Luiz Fiadeiro Rob Goldblatt Ichiro Hasuo Rolf Hennicker Michael Johnson (chair) Helene Kirchner Barbara Koenig Narciso Marti Oliet Michael Mislove Larry Moss Till Mossakowski Peter D. Mosses Andrzej Murawski Fernando Orejas Dusko Pavlovic (chair) Leila Ribeiro Grogore Rosu Jan Rutten Lutz Schroeder Wolfram Schulte Douglas Smith Carolyn Talcott Andrzej Tarlecki Varmo Vene James Worrell CONTACT For further information, consult the webiste or send email to Michael Johnson at mike at ics.mq.edu.au, or Dusko Pavlovic at dusko at kestrel.edu. From ribooth at gmail.com Tue Feb 23 12:24:01 2010 From: ribooth at gmail.com (Richard Booth) Date: Tue, 23 Feb 2010 12:24:01 +0100 Subject: Open PhD position (Luxembourg/Lens): Dynamics of Argumentation Message-ID: Apologies for multiple-postings ------------------------------------- The University of Luxembourg is inviting applications for a 2+2-year PhD position in Computer Science (ref. number F1-070088). The position is embedded in a project "Dynamics of Argumentation", which is a common project between the Individual and Collective Reasoning (ICR) group at the Computer Science and Communication Research Unit (CSC) in Luxembourg (Responsible: Leon van der Torre) and the Centre de Recherche en Informatique de Lens (CRIL) at the Université d'Artois, in Lens, France (Responsible: Souhila Kaci). The position is foreseen as a co-tutuelle position, that is the student will receive a degree from both universities. The successful candidate will be expected to work on abstract argumentation theory and belief dynamics. Offer: * A 2+2-year PhD position in Computer Science * Work in cooperation with 2 first class and highly active research groups (ICR and CRIL) in a friendly working environment; * Salary: 2300 Euros/month (gross) * Starting date: as soon as possible. Profile: * Candidates must hold a master degree in computer science or related areas; * The ideal candidate should have a strong background in logic-based approaches to artificial intelligence, e.g., in knowledge representation, reasoning about uncertainty, or reasoning about preferences. * Candidates should be proficient in mathematical reasoning and be capable of working with abstract concepts. * Candidates should possess good oral and written English skills. 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 Richard Booth (richard.booth at uni.lu) and Leon van der Torre (leon.vandertorre at uni.lu), quoting the reference number for this position F1-070088. More information can be obtained from Richard Booth (richard.booth at uni.lu). University of Luxembourg homepage: http://www.uni.lu ICR homepage: http://http://icr.uni.lu CRIL homepage: http://www.cril.univ-artois.fr The University of Luxembourg, which was founded in 2003, is a research university at the heart of Europe. The Computer Science and Communication Research (CSC) research unit, which belongs to the Faculty of Science, Technology and Communication and counts around 150 people, is located in the city of Luxembourg, next to the European Institutions. From miguelangel.veganzones at ehu.es Tue Feb 23 17:00:00 2010 From: miguelangel.veganzones at ehu.es (Miguel Angel Veganzones) Date: Tue, 23 Feb 2010 17:00:00 +0100 Subject: HAIS 2010: 6th CFP. Special Issues and Special Sessions/Workshops Message-ID: <1266940800.16347.3.camel@ic-experimentos> HAIS 2010: 6th Call for Papers & Special Session Proposals * We apologize if you receive this CFP more than once. * PLEASE CIRCULATE this CFP among your colleagues and students. 5th International Conference on Hybrid Artificial Intelligence Systems (HAIS´10) 23rd-25th June of 2010 San Sebastian, Spain http://www.ehu.es/ccwintco/hais2010/ PAPER SUBMISSION DEADLINE HAS BEEN EXTENDED TO MARCH 1st! ---------------------------------------------------------------- Technical Co-Sponsors by: IEEE.-Systems, Man, and Cybernetics Society http://www.ieeesmc.org/index.html IEEE.-Spain Section http://www.ieee.org/spain IEEE.-Systems, Man, and Cybernetics Spanish Chapter http://gicap.ubu.es/IEEE/main/index.shtml Machine Intelligence Research Labs (MIR Labs) http://www.mirlabs.org/ ---------------------------------------------------------------- ***PROCEEDINGS: (Tentative) HAIS'10 proceedings will be published by Springer in its series of LNCS/LNAI- LNAI (Lecture Notes in Artificial Intelligence) as in the last previous editions. All accepted papers must be presented by one of the authors who must register for the conference and pay the fee. *** PLENARY SPEAKERS: Prof. Ali A. Ghorbani - University of New Brunswick (Canada) Prof. Marios Polycarpou - University of Cyprus (Cyprus) Prof. Mihai Datcu - Paris Institute of Technology, Telecom Paris (France) Prof. Gerhard X Ritter - University of Florida (US) More information soon!! ***SPECIAL SESSIONS AND WORKSHOPS: Special sessions confirmed up to now!! SS01 Real World HAIS Applications and Data Uncertainty SS02 Computational Intelligence for Recommender Systems SS03 Signal Processing and Biomedical Applications SS04 Methods of Classifiers Fusion SS05 Knowledge Extraction based on Evolutionary Learning SS06 Systems, Man, & Cybernetics by HAIS.- Workshop SS07 Hybrid Intelligent Systems on Logistics SS08 Hybrid Reasoning and Coordination Methods on Multi-Agent Systems SS09 HAIS for Computer Security (HAISfCS) SS10 Hybrid and Intelligent Techniques on Multimedia SS11 Hybrid ANNs: Models, Algorithms and Data SS12 Hybrid Artificial Intelligence Systems Based on Lattice Theory SS13 Computational intelligence-based Computer Vision & Graphics (CIV&G) In addition to regular sessions, participants are encouraged to organize special sessions on specialized topics. Each special session should have at least 4 or 5 quality papers. Special session organizers will solicit submissions; conduct reviews jointly with the HAIS´10 PC and in the same way recommend accept/reject decisions on the submitted papers. Submission of Special Sessions are welcome! http:// http://www.ehu.es/ccwintco/hais2010/specialsessions.html For more information, please, send an email to: manuel.grana at ehu.es -------------------------------------------------------------------- *** 5th International Conference on Hybrid Artificial Intelligence Systems(HAIS´10) combines symbolic and sub-symbolic techniques to construct more robust and reliable problem solving models. Hybrid intelligent systems are becoming popular due to their capabilities in handling many real world complex problems, involving imprecision, uncertainty and vagueness, high-dimensionality. They provide us with the opportunity to use both, our knowledge and row data to solve problems in a more interesting and promising way. HAIS´10 provides an interesting opportunity to present and discuss the latest theoretical advances and real-world applications in this multidisciplinary research field. *** TOPICS *** Topics are encouraged, but not limited to, the combination of at least two of the following areas in the field of Hybrid Intelligent Systems: Fusion of soft computing and hard computing Evolutionary Computation Visualization Techniques Ensemble Techniques Data mining and decision support systems Intelligent agent-based systems (complex systems), cognitive and Reactive distributed AI systems Internet modelling Human interface Case base reasoning Chance discovery Applications in security, prediction, control, robotics, image and speech signal processing, food industry, biology and medicine, business and management, knowledge management, artificial societies, chemicals, pharmaceuticals, geographic information systems, materials and environment engineering and so on. *** PAPER SUBMISSION AND PROCCEEDINGS*** Tentative. HAIS'10 proceedings will be published by Springer in its series of Lecture Notes in Artificial Intelligence - LNAI (part of its prestigious Lecture Notes in Computer Science - LNCS series). All submissions will be refereed by experts in the field based on originality, significance, quality and clarity. Every submitted paper to HAIS´10 will be reviewed by at least two members of the Program Committee. Papers must be prepared according to the LNCS-LNAI style template (http://www.springer.de/comp/lncs/authors.html) and must be no more than eight (8) pages long, including figures and bibliography. Additional pages (over 8 pages) will be charged at 100 Euro each. *** IMPORTANT DATES *** Submission of papers by Authors: 1th March, 2010 Notification of provisional acceptance: 15th March, 2010 Submission of final papers: 11th April, 2010 Early registration (special rates): 11th April, 2010 HAIS 2010 Conference: 23rd-25thth June, 2010 Prof. Manuel Graña - University of the Basque Country (Spain) Dr. Emilio Corchado - University of Burgos (Spain) *** CONTACT *** Prof. Manuel Graña GIC Research Group Facultad de Informática de San Sebastián Universidad del País Vasco Paseo Manuel de Lardizabal 1 018, San Sebastián, Spain 20 Phone: +34 943 01 8044 +34 943 01 5106 Fax: +34 943 01 5590 Web: GIC Research Group Email: manuel.grana at ehu.es Dr. Emilio Corchado Departamento de Informática y Automática University of Salamanca Salamanca. Spain Email: escorchado at ubu.es Phone: +34 616 44 9888 For more information about HAIS´10, please refer to the HAIS´10 website: http://www.ehu.es/ccwintco/hais2010/ * We apologize if you receive this CFP more than once. * PLEASE CIRCULATE this CFP among your colleagues and students. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Agnieszka.Lawrynowicz at cs.put.poznan.pl Tue Feb 23 18:03:07 2010 From: Agnieszka.Lawrynowicz at cs.put.poznan.pl (Agnieszka.Lawrynowicz at cs.put.poznan.pl) Date: Tue, 23 Feb 2010 18:03:07 +0100 (CET) Subject: 2nd IRMLeS'10 CFP: 2nd Int. Workshop on Inductive Reasoning and Machine Learning on the Semantic Web @ ESWC 2010 Message-ID: <59719.83.18.42.110.1266944587.squirrel@www.cs.put.poznan.pl> ------------- Apologies for multiple cross-postings --------------------- 2nd CALL FOR PAPERS The 2nd ESWC Workshop on Inductive Reasoning and Machine Learning for the Semantic Web (IRMLeS 2010) May, 31st 2010 | Heraklion, Greece http://irmles.di.uniba.it/2010/ In conjunction with the 7th Extended Semantic Web Conference (ESWC 2010) http://www.eswc2010.org/ Important dates ============================================================ * Paper submission: 7 March 2010 * Notification 5 April 2010 * Camera-ready: 18 April 2010 * Workshop day: 31 May 2010 Overview ============================================================ The upcoming 2nd International Workshop on Inductive Reasoning and Machine Learning for the Semantic Web (IRMLeS), will be held as part of the 7th Extended Semantic Web Conference (ESWC) in Heraklion, Crete (Greece). The primary goal of the workshop is to bring together researchers and practitioners interested in the interdisciplinary research on the intersection of the Semantic Web with Knowledge Discovery and Machine Learning. The workshop is conceived to provide a meeting point for the related communities to stimulate collaboration and enable cross-fertilization of ideas. Large amounts of data increasingly becoming available and described using real-life ontologies represented in Semantic Web languages recently opened up the possibility for interesting real-world data mining applications on the Semantic Web. However, exploiting this global resource of data requires new kinds of approaches for data mining and data analysis that would be able to deal at the same time with its scale and with the complexity, expressivity, and heterogeneity of the representation languages, leverage on availability of ontologies and explicit semantics of the resources, and account for novel assumptions (e.g., "open world") that underlie reasoning services within the Semantic Web. The workshop will try to address the above issues, in particular focusing on the problems of how machine learning techniques, such as statistical learning methods and inductive forms of reasoning, can work directly on the richly structured Semantic Web data and exploit the Semantic Web technologies, what is the value added of machine learning methods for the Semantic Web, and what are the challenges for developers of machine learning techniques for the Semantic Web data, for example in the area of ontology mining. Topics of interest ============================================================ The topics of interest of the workshop include, but are not limited to: * Knowledge Discovery and Ontologies: data mining techniques using ontologies, ontology mining and knowledge discovery from ontological knowledge bases, ontology-based interpretation and validation of discovered knowledge, evaluation methodologies and metrics for the interaction of knowledge discovery and ontologies, whole knowledge discovery process guided by ontologies * Inductive Reasoning with Concept Languages: inductive aggregation, concept retrieval and query answering, approximate classification, inductive methods and fuzzy reasoning for ontology mapping, construction and evolution, concept change and novelty detection for ontology evolution * Statistical learning for the Semantic Web: refinement operators for concept and rule languages, concept and rules learning, kernels and instance-based learning for structured representations, semantic (dis )similarity measures and conceptual clustering, probabilistic methods for concept and rule languages * Special focus topics: OWA vs CWA in learning, applicability of relational learning in the Semantic Web context, integration of induction and deduction, benchmarking of datasets * Applications: (in the domains of the main tracks of ESWC) plus life sciences, cultural heritage, semantic multimedia, geo-informatics, and others Paper submisssion ============================================================ The contributed papers, written in English, should be submitted in PDF or PostScript format, not exceeding the following limits * 12 pages (full papers) * 5 pages (position papers) following the ESWC formatting style (Springer LNCS). All submissions will be reviewed by at least 2 referees. In addition to the ESWC workshop proceedings, depending on the quality and quantity of submissions, it is intended to publish a selection of revised accepted papers in a journal special issue or a book volume. Organizing Committee ============================================================ * Claudia d'Amato, University of Bari, Italy * Nicola Fanizzi, University of Bari, Italy * Marko Grobelnik, Jozef Stefan Institute, Slovenia * Agnieszka Lawrynowicz, Poznan University of Technology, Poland * Vojtech Svatek, University of Economics, Prague, Czech Republic Program Committee ============================================================ * Sarabjot S. Anand - University of Warwick * Bettina Berendt - Katholieke Universiteit Leuven * Abraham Bernstein - University of Zurich * Floriana Esposito - University of Bari * Mohand-Said Hacid - University Lyon 1 * Melanie Hilario - University of Geneva * Andreas Hotho - University of Kassel * Jose Iria - IBM Research, Zurich * Ross D. King - University of Aberystwyth * Jens Lehmann - University of Leipzig * Francesca A. Lisi - University of Bari * Thomas Lukasiewicz - Oxford University * Matthias Nickles - University of Bath * Sebastian Rudolph - University of Karlsruhe * Jetendr Shamdasani - University of the West of England * Steffen Staab - University of Koblenz-Landau * Umberto Straccia - ISTI-CNR, Pisa * Volker Tresp - Siemens Further information ============================================================ http://irmles.di.uniba.it/2010/ From serge.autexier at dfki.de Wed Feb 24 08:32:08 2010 From: serge.autexier at dfki.de (Serge Autexier) Date: Wed, 24 Feb 2010 08:32:08 +0100 (CET) Subject: AISC'10: Deadline Extension to March 12, 2010 (Abstracts: March 9, 2010) Message-ID: <201002240732.o1O7W8pG002987@gemini.informatik.uni-bremen.de> [Apologies for possible multiple postings.] CALL FOR PAPERS AISC 2010 - 10th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION Theory, Implementations and Applications http://cicm2010.cnam.fr/aisc/ CNAM, Paris, France, July 5th - July 6th, 2010 ********************************************************************** DEADLINE EXTENSION: - Abstracts: March 9, 2010 - Full papers: March 12, 2010 ********************************************************************** INVITED SPEAKERS: James Davenport (http://people.bath.ac.uk/masjhd/) Bruno Salvy (http://algo.inria.fr/salvy/) ********************************************************************** Artificial Intelligence and Symbolic Computation are two views and approaches for automating problem solving, in particular mathematical problem solving. The two approaches are based on heuristics and on mathematical algorithmics, respectively. Artificial Intelligence can be applied to Symbolic Computation and Symbolic Computation can be applied to Artificial Intelligence. Hence, a wealth of challenges, ideas, theoretical insights and results, methods and algorithms arise in the interaction of the two fields and research communities. Advanced tools of software technology and system design are needed and a broad spectrum of applications is possible by the combined problem solving power of the two fields. Hence, the conference is in the center of interest and interaction for various research communities: * Artificial Intelligence * Logic * Symbolic Computation * Software Technology * Computer Algebra * Semantic Web Technology * Automated Reasoning * Mathematical Knowledge Management * Formal mathematics * Computer-based Math Teaching & Didactics * Machine Learning * Computer-Supported Publishing * Automated Discovery * Language and System Design Topics ====== Topics of particular interest of the conference include: * AI in Symbolic Mathematical Computing * Computer Algebra Systems and Automated Theorem Provers * Symmetries in AI problems * Engineering, Industrial and Operations Research Applications * Foundations and Complexity of Symbolic Computation * Mathematical Modeling of Multi-Agent Systems * Implementations of Symbolic Computation Systems * Programming Languages for Symbolic Computation * Symbolic Computations for Expert Systems and Machine Learning * Symbolic Computation and Ontologies * Logic and Symbolic Computing * Implementation and Performance Issues * Intelligent Interfaces * Symbolic Techniques for Document Analysis Papers on other topics with links to the above research fields and topics will also be welcomed for consideration. Proceedings =========== The proceedings of the conference will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer-Verlag. Accepted papers will have to be prepared in LaTeX and formatted according to the requirements of the Springer's LNAI series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html and are the same for LNCS and LNAI). In addition to the formal proceedings published by Springer, we intend to make online versions of the published papers available from the conference website. Submission ========== Theoretical and applied research papers on all topics within the scope of the conference are invited. Submitted papers (in English) must not exceed 15 pages in length (in the LNCS style). The title page should contain the title, author(s) with affiliation(s), e-mail address(es), listing of keywords and abstract plus the topics from the above list to which the paper is related. The program committee (PC) will subject all submitted papers to a peer review. Theoretical papers will be judged on their originality and contribution to their field, and applied papers on the importance and originality of the application. Results must be original and have not been published elsewhere. The web page for electronic submission is at: http://www.easychair.org/conferences/?conf=aisc20100 Best Paper Awards ================= Every submission automatically competes for the Best Paper Award. Papers which have been mainly developed by (PhD) students can be marked as student papers upon submission to also compete for the Best Student Paper Award. Important Dates =============== Abstract Submission deadline (extended): Tuesday, March 9, 2010 Submission deadline (extended): Friday, March 12, 2010 Notification: April 18, 2010 Camera Ready Version: April 28, 2010 Conference: July 5 - July 6, 2010 -- Serge Autexier, serge.autexier at dfki.de, http://www.dfki.de/~serge/ DFKI Bremen, Safe and Secure Cognitive Systems Cartesium, 2.054 Phone: +49 421 218 64272 Enrique-Schmidt-Str. 5, D-28359 Bremen Fax: +49 421 218 9864272 ---------------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH principal office, *not* the address for mail etc.!!!: Trippstadter Str. 122, D-67663 Kaiserslautern management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff supervisory board: Prof. Hans A. Aukes (chair) Amtsgericht Kaiserslautern, HRB 2313 ---------------------------------------------------------------------- From k.v.hindriks at tudelft.nl Wed Feb 24 08:48:12 2010 From: k.v.hindriks at tudelft.nl (Koen Hindriks) Date: Wed, 24 Feb 2010 08:48:12 +0100 Subject: 2nd CFP HUCOM2010 @ GDN: Human Factors and Computational Models in Negotiation Message-ID: <001b01cab525$b775ab80$26610280$@v.hindriks@tudelft.nl> ================ CALL FOR PAPERS ========================== Second International Working Conference on Human Factors and Computational Models in Negotiation (HuCom 2010 @ GDN) June 21 - 24, 2010, Delft, The Netherlands http://mmi.tudelft.nl/HuCom10/ IMPORTANT DATES: April 1, 2010: Paper Submissions Due April 16, 2010: Notification of paper acceptance/rejection May 1, 2010: Camera-ready copies of accepted papers June 21 - 24, 2010: Working Conference on Human Factors and Computational Models in Negotiation PUBLICATION: We are pleased to solicit original and unpublished papers for publication and presentation in the Working Conference on Human Factors and Computational Models in Negotiation. Articles describing novel ideas and applications in all areas related to human factors and computational models in negotiation are of interest. We also invite submissions of statements of interests or position papers. Submit your paper electronically in either PDF or postscript format. Papers should not be more 6000 words. Submission is entirely automated by a paper management tool, which is available from the main web site: http://www.easychair.org/conferences/?conf=hucom10. Accepted papers will be published in the Proceedings of the Group Decision and Negotiation conference. AIMS AND SCOPE: Negotiation is a complex and sometimes emotional decision-making process aiming to reach an agreement to exchange goods or services. Although a daily activity, extensive research has shown that few people are effective negotiators. Current state of the art negotiation support systems can help make a significant improvement in negotiation performance. In particular, when the negotiation space is well-understood such systems can make a difference, partly because machines can much better deal with the computational complexity involved. However, the negotiation space can only be properly developed if the human parties jointly explore their interests. The inherent semantic problem and the emotional issues involved make that negotiation cannot be handled by artificial intelligence alone, and a human-machine collaborative system is required. Such systems are not only to support humans in providing strategic advice but also in coping with emotions and moods in human-human interactions. In order to develop human-machine collaborative negotiation support systems there is a need for the development of computational models, frameworks, and experimental, user-centred and ergonomic methods that enable the engineering of negotiation support systems. It is important for this purpose to study the role of human factors in negotiation as well as computational models to enable intelligent support for negotiation. To develop the next generation of negotiation support systems there are still many, diverse challenges: models of (qualitative, incomplete) preferences, preference change and strategies, preference elicitation, assessment methods for negotiation performance, learning and adaptativeness in negotiation, models of emotion and user awareness, the use and creation of domain knowledge, user interfaces for negotiation support, human-supported assessment of opponent, conflict handling styles, experimental methods. Topics covered include but are not limited to: - Negotiation strategies (bidding, acceptance) - Argumentation for negotiation - Negotiation interaction - Learning in negotiation - Negotiation domain knowledge - Case studies - Preference elicitation - Qualitative preferences - Incomplete preferences - Ontologies for negotiation (protocols, preferences, domain knowledge) - Negotiation Support Systems - User interfaces for Negotiation Support Systems - Human-machine negotiation - Negotiation, conflict handling, and experiments related to e.g. consensus building - Personality in negotiation (e.g. Big Five) - Emotions in negotiation - Cultural factors in negotiation - Negotiation bidding advice - Negotiation conflict styles - Trust in automatically generated negotiation advice - Negotiation applications - E-commerce - Methods and tools for negotiation tasks - Design and Evaluation of support systems - Conflict handling styles and consensus building - HCI aspects and human factors of negotiation Program Chairs: Koen Hindriks - Delft University of Technology, Delft, The Netherlands Catholijn Jonker - Delft University of Technology, Delft, The Netherlands Pascal Wiggers - Delft University of Technology, Delft, The Netherlands PROGRAM COMMITTEE: Brooke Abrahams Victoria University, Melbourne, Australia Reyhan Aydogan Bogazici University, Turkey Willem-Paul Brinkman Delft University of Technology Frank Dignum Utrecht University, The Netherlands Shaheen Fatima Loughborough University, UK Yakov Gal Harvard University, US Joseph Giampapa Carnegie Mellon University, US Gert Jan Hofstede Wageningen University, The Netherlands Mark Hoogendoorn Vrije Universiteit, The Netherlands Takayuki Ito Nagoya Institute of Technology, Japan Raz Lin Bar-Ilan University, Israel Steve Love Brunel University, UK Tom McEwan Napier University, UK Mark Neerincx TNO, The Netherlands Iyad Rahwan British University in Dubai, United Arab Emirates Valentin Robu University of Southamption, UK Carles Sierra IIIA-CSIC, Spain Liz Sonenberg University of Melbourne, Australia Dmytro Tykhonov Delft University of Technology Tim Verwaart Delft University of Technology Hans Weigand Tilburg University, The Netherlands John Zeleznikow Victoria University, Melbourne, Australia INFORMATION: For further information please contact: k.v.hindriks at tudelft.nl -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Manuela.Bujorianu at manchester.ac.uk Wed Feb 24 15:36:56 2010 From: Manuela.Bujorianu at manchester.ac.uk (Manuela Bujorianu) Date: Wed, 24 Feb 2010 14:36:56 +0000 Subject: CFP: journal issue on formal methods for aerospace Message-ID: <20100224143656.19646etvntn59fuw@webmail.manchester.ac.uk> Apologies for possible cross-postings! /---------------\ | CALL FOR PAPERS | \---------------/ "Formal Methods in Aerospace: Techniques from Logic, Mathematics and AI" A Special Issue of ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE http://www.kluweronline.com/issn/1012-2443 DEADLINE: 10th March 2010 -------------------------- [ See http://www.csc.liv.ac.uk/~michael/AMAI10 for HTML and PDF versions ] Special Issue editors: ====================== Manuela Bujorianu [University of Manchester, UK] Michael Fisher [University of Liverpool, UK] Corina Pasareanu [CMU and NASA, USA] TOPICS OF INTEREST: =================== The topics of interest of this special issue include (but are not limited to) * new modeling paradigms * formal verification of safety properties * formal models for cyber-physical systems * autonomous and autonomic systems * performance modelling and verification * heterogeneous and hybrid system models * multi-agent systems and coordination technologies * probabilistic logics for system specification * stochastic modelling and verification methods * control techniques that span over multiple disciplines * communication and control co-design specifically formal methods concerning the above within the area of aerospace. This special issue is inspired by the FMA workshop held within FM-2009. However, submission to this special issue is open to everyone. IMPORTANT DATES: ================ Submission deadline: 10th March 2010 Author notification: 10th May 2010 Revised papers due: 10th June 2010 ---------------------------------------------------------------------- From jsabater at iiia.csic.es Wed Feb 24 20:26:24 2010 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Wed, 24 Feb 2010 20:26:24 +0100 Subject: [AAMAS-10] - Call for participation Message-ID: <2032622651682774216592@Galvatron> NINTH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS-2010) http://www.cse.yorku.ca/AAMAS2010/ May 10 - 14, 2010 Toronto, Canada Registration is now open, at http://www.aaai.org/Forms/torontoregistration-form.php !!!EARLY REGISTRATION: 12 March 2010!!! You can find the a preliminary schedule of the conference here http://www.csc.liv.ac.uk/~wiebe/AAMAS/timetable.shtml Hotel booking information is available from: http://www.cse.yorku.ca/AAMAS2010/#content=accommodation --------------------------------------------- AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. This year, AAMAS-2010 has joined forces with DL, FOIS, ICAPS, KR, and NMR. This has materialized in the possibility to register for events jointly, and at AAMAS there will be KR/AAMAS and ICAPS/AAMAS paper sessions, as well as combined invited talk sessions. PROGRAM: The list of accepted long and short papers is available through the website. Among the invited talks are KR/AAMAS talk: Ron Brachman and Hector Levesque, �Great moments in KR� ICAPS/AAMAS talk: Daniele Nardi, �Robotic Agents for Disaster Response Robotics�. On top of this, the program will include talks of winners of the ACM/SIGART Award and the IFAAMAS Dissertation Award, demos, posters of all accepted papers, an industrial track session, sessions on virtual agents, and many others. While the main conference program is on 12, 13 and 14 May, there are also possibilities to attend 13 tutorials, 30 workshops and a doctoral training consortium for PhD students on the days before. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wjamroga at in.tu-clausthal.de Wed Feb 24 22:41:48 2010 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Wed, 24 Feb 2010 22:41:48 +0100 Subject: 1st CfP: Logics for Games and Strategic Reasoning @ CLIMA XI Message-ID: <4B859D1C.7020108@in.tu-clausthal.de> [With apologies for multiple postings] ************************************************************************ Special session on ==Logics for Games and Strategic Reasoning== at CLIMA XI (Computational Logic in Multi-Agent Systems) Lisbon, Portugal, August 16-17, 2010 (colocated with ECAI'10) http://centria.di.fct.unl.pt/events/climaXI/sessions.html 1st Call for Papers ************************************************************************ Submission deadline: May 7th. Proceedings: LNCS/LNAI volume (available at the workshop). Postproceedings: extended versions of selected papers will be published in a special issue of Annals of Mathematics and Artificial Intelligence. ************************************************************************ INTRODUCTION Strategic reasoning occurs in many multi-agent systems. This is especially evident in game-theoretical and decision-theoretical models of MAS, but also in more informal settings using the game metaphor (like computer games or social network services). Mathematical logic can contribute to this view in many ways by providing specifications, models, and/or algorithms for game-like scenarios. We invite papers that address how logic can contribute to our understanding, modeling and analysis of games, but also ones that investigate how the metaphor of games and strategies can help in constructing and using logical formalisms. The list of subjects includes (but is not limited to) the following topics: - Logics for reasoning about games and strategies - Modal logics of strategic ability - Logical foundations of game and decision theory - Logical approaches to rationality and bounded rationality - Solving games and verification of strategies by model checking - Logics for mechanism design - Game semantics for logics - Games in verification of logical specifications SUBMISSION We encourage submission of high quality, original papers which have not been accepted for publication nor are currently under review for another journal or conference. Submissions should not exceed 16 pages in the Springer LNCS format. For templates and instructions for authors, see http://www.springer.de/comp/lncs/authors.html . Papers should be submitted electronically via EasyChair: http://www.easychair.org/conferences/?conf=clima2010 . PROCEEDINGS AND POST-PROCEEDINGS LNCS Proceedings: All the accepted papers (including special session papers) will be published by Springer as a volume in Lecture Notes in Computer Science, and will be available in time for the workshop. AMAI Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to a special issue of Annals of Mathematics and Artificial Intelligence. IMPORTANT DATES Paper submission: May 7, 2010 Author notification: June 4, 2010 Camera-ready deadline: June 16, 2010 Workshop: August 16-17, 2010 ORGANIZATION AND CONTACT The special session is organized by Wojtek Jamroga, University of Luxembourg. In case of questions, please do not hesitate to contact us at wojtek.jamroga at uni.lu . General questions about CLIMA XI should be sent to clima2010 at easychair.org . From core at cic.ipn.mx Thu Feb 25 06:06:05 2010 From: core at cic.ipn.mx (core at cic.ipn.mx) Date: Wed, 24 Feb 2010 23:06:05 -0600 Subject: CALL FOR PAPERS - CORE 2010 Message-ID: <201002250506.o1P565q1002784@sagitario.cic.ipn.mx> *********************************************************************************** We apologize in advance if you receive multiple copies of this CFP. *********************************************************************************** CORE 2010 11th Conference on Computing A new event of the series of international conferences CORE! www.cic.ipn.mx/core May 26-28, 2010 Mexico City PUBLICATION: Special issue of the journal "Research in Computing Science" SUBMISSION GUIDELINES: Up to 12 pages, Springer LNCS format, in English. TOPICS: Artificial Intelligence, Natural Language Processing, Fuzzy Logic, Computer Vision, Multi-agent Systems, Bioinformatics, Neural Networks, Evolutionary Algorithms, Cellular Automata, Knowledge Representation, Semantic Web, Database Systems, Data Mining, Software Engineering, Web Design, Compilers, Formal Languages, Operating Systems, Distributed Systems, Parallelism, Real Time Systems, Algorithm Theory, Scientific Computing, High-Performance Computing, Geoprocessing, Networks and Connectivity, Cryptography, Informatics Security, Digital Systems Design, Digital Signal Processing, Control Systems, Robotics, Virtual Instrumentation, Computer Architecture, etc. IMPORTANT DATES: Paper submission�deadline: March 24 Acceptance notification: April 24 Camera-ready deadline: May 3 AWARDS: Best Paper Award (1st, 2nd and 3rd place). Best Presentation Award. KEYNOTE SPEAKERS: To be announced. CULTURAL PROGRAM: To be announced. WORKING LANGUAGES: English REGISTRATION FEE: Author and public early / public on site: US$ 170 / 250 Full US$ 90 / 170 Student Free Author, researcher or student of CIC-IPN Entrance: Free CONFERENCE PLACE: National Polytechnic Institute Center for Computing Research Info: www.cic.ipn.mx/core core at cic.ipn.mx From sofia at ontol.inesc-id.pt Fri Feb 26 21:59:01 2010 From: sofia at ontol.inesc-id.pt (HSofia Pinto) Date: Fri, 26 Feb 2010 20:59:01 +0000 Subject: EKAW 2010: Final Call for Papers Message-ID: <4B883615.9020108@ontol.inesc-id.pt> 17th International Conference on Knowledge Engineering and Knowledge Management EKAW 2010 Lisbon, Portugal, http://ekaw2010.inesc-id.pt 2nd Call for Papers The 17th International Conference on Knowledge Engineering and Knowledge Management is concerned with all aspects of eliciting, acquiring, modeling and managing knowledge, and its role in the construction of knowledge-intensive systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, etc. The focus of the 17th edition of EKAW will be on "Knowledge Management and Engineering by the Masses". EKAW 2010 welcomes papers dealing with theoretical, methodological, experimental, and application aspects. The call for papers with detailed topics is available electronically at: http://ekaw2010.inesc-id.pt/call-for-papers.html Important dates * Submission: 19th of March 2010 * Notification: 14th of May 2010 * Camera Ready: 11th of June 2010 Organizing Committee * General and PC chairs: - Sofia Pinto (INESC-ID, Lisbon) - Philipp Cimiano (CITEC, UniversitŠt Bielefeld) * Workshop chair: - Siegfried Handschuh (DERI, NUI Galway) * Tutorial chair: - Victoria Uren (University of Sheffield) Demonstration chairs: - Oscar Corcho (UPM, Madrid) - Johanna Všlker (University of Mannheim) The proceedings of the conference will be published by Springer Verlag in the LNCS series. The LNCS volume will contain contributed papers. EKAW 2010 will also feature a tutorial and workshop program, as well as a poster and demo track. Poster/demo notes and workshop/tutorial notes will be published separately in a companion booklet. Paper submission and reviewing for EKAW 2010 will be electronic via CMT System at https://cmt.research.microsoft.com/EKAW2010. Submissions should be 15 pages long (max) formatted according to Springer Verlag LNCS guidelines. -- --------------------------------------------------------------------- Helena Sofia Pinto Phone + 351 - 21 - 3100388 Instituto Superior Tecnico Email sofia.pinto at dei.ist.utl.pt Departamento de Eng. Informatica Av. Rovisco Pais 1049-001 Lisboa PORTUGAL INESC-ID Email sofia at inesc-id.pt Rua Alves Redol, 9 1000-029 Lisboa PORTUGAL --------------------------------------------------------------------- From rseba at disi.unitn.it Fri Feb 26 22:32:09 2010 From: rseba at disi.unitn.it (Roberto Sebastiani) Date: Fri, 26 Feb 2010 22:32:09 +0100 Subject: PhD position in ICT on Formal Verification via SMT available in Trento Message-ID: <20100226213209.GA12799@disi.unitn.it> --------------------------------------------------------------------------- [[[ We apologize if you receive multiple copies of this message ]]] --------------------------------------------------------------------------- -------------------------------------------------------------- PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED. -------------------------------------------------------------- Posted: February 26, 2010 One Doctoral Student Position in Information and Communication Technologies on the research project "WORD-LEVEL FORMAL VERIFICATION VIA SMT SOLVING" is available at the International Doctorate School in Information and Communication Technologies (http://www.ict.unitn.it/) of the University of Trento, Italy, under the joint supervision of Dr. ALESSANDRO CIMATTI, Embedded Systems Research Unit, FBK-Irst, via Sommarive 18, I-38100 Povo, Trento, Italy http://sra.fbk.eu/people/cimatti/, cimatti[at]fbk[dot]eu Prof. ROBERTO SEBASTIANI Software Engineering & Formal Methods Research Program DISI, University of Trento, via Sommarive 14, I-38100 Povo, Trento, Italy http://disi.unitn.it/~rseba/. rseba[at]disi[dot]unitn[dot]it The research activity will be carried out jointly within the Embedded Systems (ES) Research Unit of the Center for Scientific and Technological Research of the Fondazione Bruno Kessler (FBK), Trento, and the Software Engineering & Formal Methods (SE&FM) Research Program, at Department of Information Engineering and Computer Science (DISI) of University of Trento. The research activity will aim at investigating and developing novel techniques, methodologies and support tools for Satisfiability Modulo Theories (SMT) for the verification of WORD-level circuit designs. This work will be part of the "Word-Level Formal Verification via SMT Solving" (WOLFLING) project, a three-year custom research project supported by SRC/GRC (http://grc.src.org/fr/S200802_Call.asp), in strict collaboration with the Formal Verification Group at Intel, Haifa, Israel. SMT tools will be developed on top of the MathSAT SMT platform (http://mathsat4.disi.unitn.it), and Formal Verification tools will be developed on top of the NuSMV Model Checking platform (http://nusmv.fbk.eu). Both platforms are jointly developed and maintained by ES and SE&FM. The selected candidate will be initially enrolled in a stage and, if he/she passes the selection of the Ph.D. school, he/she will be enrolled as Ph.D. students. Ph.D. courses will start in Autumn 2010, and the thesis must be completed in three or four years. People enrolled in a stage and subsequent Ph.D. courses are expected to move to Trento, and will receive monetary support during both phases of their activity. Candidate Profile ================= The ideal candidate should have an MS or equivalent degree in computer science, mathematics or electronic engineering, and combine solid theoretical background and excellent software development skills. The candidate should be able to work in a collaborative environment, with a strong commitment to reaching research excellence and achieving assigned objectives. Background knowledge and/or previous experience in the following areas (in order of preference), though not strictly mandatory, will be considered very favorably: - Satisfiability Modulo Theory (SMT) - Propositional Satisfiability (SAT) - Embedded Systems Design Languages (e.g. Verilog, VHDL) - Symbolic Model Checking - Automated Reasoning - Constraint Solving and Optimization Applications and Inquiries ========================== Interested candidates should inquire for further information and/or apply by sending email to Prof. Sebastiani (rseba[at]disi[dot]unitn[dot]it) with Dr. Cimatti (cimatti[at]fbk[dot]eu) in CC. Applications should contain a statement of interest, with a Curriculum Vitae, and three reference persons. PDF format is strongly encouraged. Emails will be automatically processed and should have 'PHD ON WOLFLING PROJECT' as subject. Contact Person ============== Prof. ROBERTO SEBASTIANI Software Engineering & Formal Methods Research Program DISI, University of Trento, via Sommarive 14, I-38100 Povo, Trento, Italy http://disi.unitn.it/~rseba/. mailto: rseba[at]disi[dot]unitn[dot]it The Embedded Systems Research Unit at FBK ========================================= The Embedded Systems Unit consists of about 15 persons, including researchers, post-Doc, Ph.D. students, and programmers. The Unit carries out research, tool development and technology transfer in the fields of design and verification of embedded systems. Current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink). * Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis). * Formal Safety Analysis, based on the integration of traditional techniques (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques. The Embedded Systems Unit is part of Fondazione Bruno Kessler, formerly Istituto Trentino di Cultura, a public research institute of the Autonomous Province of Trento (Italy), founded in 1976. The institute, through its center for the scientific and technological research, is active in the areas of Information Technology, Microsystems, and Physical Chemistry of Surfaces and Interfaces. Today, FBK is an internationally recognized research institute, collaborating with industries, universities, and public and private laboratories in Italy and abroad. The institute's applied and basic research activities aim at resolving real-world problems, driven by the need for technological innovation in society and industry. The SW Engineering & Formal Methods Research Program at DISI ============================================================ The SW Engineering & Formal Methods R. P. at DISI currently consists on 5 faculties, 4 post-docs and 19 PhD students. The Unit carries out research, tool development and technology transfer in the fields of Goal-Oriented Requirements Engineering, Agent-oriented SW engineering, Security, and Formal Methods. Referring to formal methods, current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems. * Advanced Model Checking Techniques for Formal Verification of hardware, embedded critical software, and hybrid systems. * Applications of Propositional Satisfiability (SAT) to various domains. The R.P. is part of the Department of Information Engineering and Computer Science, DISI (http://disi.unitn.it/) of University of Trento. University of Trento in the latest years has always been rated among the top-three small&medium-size universities in Italy. DISI currently consists of 50 faculties, 68 research staff and support people, 21 postdocs and 146 Doctoral students, plus administrative and technical staff. DISI covers all the different areas of information technology (computer science, telecommunications, and electronics) and their applications. These disciplines above are studied individually but also with a strong focus on their integration, Location ======== Trento is a lively town of about 100.000 inhabitants, located 130 km south of the border between Italy and Austria. It is well known for the beauty of its mountains and lakes, and it offers the possibility to practice a wide range of sports. Trento enjoys a rich cultural and historical heritage, and it is the ideal starting point for day trips to famous towns such as Venice or Verona, as well as to enjoy great naturalistic journeys. Detailed information about Trento and its region can be found at http://www.trentino.to/home/index.html?_lang=en. From beckert at kit.edu Fri Feb 26 23:48:42 2010 From: beckert at kit.edu (Bernhard Beckert) Date: Fri, 26 Feb 2010 23:48:42 +0100 Subject: CFP: International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010) Message-ID: <4B884FCA.6010101@kit.edu> FoVeOOS 2010 International Conference on Formal Verification of Object-Oriented Software June 28-30, 2010, Paris, France http://foveoos2010.cost-ic0701.org *CALL FOR PAPERS* SCOPE Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice (such as Java, C++, and C#) are object-oriented. The International Conference on Formal Verification of Object-Oriented Software (FoVeOOS) aims to foster collaboration and interactions among researchers in this area. ORGANIZATION The conference is organised by COST Action IC0701 (http://www.cost-ic0701.org/) but it goes beyond the framework of this action. This conference is open to the whole scientific community around the following topics, and also encourages people close to industrial applications to submit papers and participate. The Action may provide travel grants (see the web page for details). TOPICS Topics include but are not limited to: * Logic-based methods for formal - verification - specification and description - construction, - analysis and validation, of object-oriented software * Technologies such as - logics - calculi - type systems for the formal verification of object-oriented software * Modularisation and verification of components * Verification of - adaptable and reusable - concurrent - distributed object-oriented software * Tool descriptions * Experience reports * Case studies IMPORTANT DATES April 26, 2010 Abstract submission deadline May 3, 2010 Paper submission deadline May 31, 2010 Acceptance notification June 14, 2010 Final version due June 28-30, 2010 Conference SUBMISSIONS Submissions should describe previously unpublished work (completed or in progress). Contributions are invited in these categories: A Research papers (reporting original theoretical and/or experimental research or applications) B System descriptions C Experience reports, case studies D Position papers and brief reports on work in progress Papers must be written in English and (in all categories A-D) not exceed 15 pages in LNCS format (http://www.springer.de/comp/lncs/authors.html). All submissions will be reviewed by peers, typically members of the program committee. Submission of papers is via EasyChair at http://www.easychair.org/FoVeOOS2010/ PROCEEDINGS The conference will use a two-stage process for the publication of proceedings, allowing for a very brief period between submission of papers and the conference and, thus, a speedy dissemination of results. All accepted papers will appear in pre-proceedings published as a Technical Report that will be available at the conference. Post-conference proceedings are planned to be published within Springer's LNCS series (final approval pending). For this second stage, papers will be selected as follows: first, authors of papers that were definitely accepted in the first stage will submit a new version with minor revisions only; second, authors of papers that were only conditionally accepted (typically position papers) will be able to submit a new version with major revisions, which will be reviewed again. BEST STUDENT PRESENTATION AWARD Based on the comments given by the reviewers in the first stage of reviewing, and the presentation at the conference, the programme committee will give a best student presentation award. Eligible papers are those whose presentation is given by a PhD student. PROGRAM CO-CHAIRS Bernhard Beckert, Karlsruhe Institute of Technology, Germany Claude Marche, INRIA Saclay-Ile-de-France, France PROGRAMME COMMITTEE Gilles Barthe, IMDEA Software, Madrid, Spain Bernhard Beckert, Karlsruhe Institute of Technology, Germany Einar Broch Johnsen, U of Oslo, Norway Gabriel Ciobanu, U Alexandru Ioan Cuza, Romania Dave Clarke, Katholieke U Leuven, Belgium Mads Dam, KTH Stockholm, Sweden Ferruccio Damiani, U of Torino, Italy Sophia Drossopoulou, Imperial College, UK Paola Giannini, U Piemonte Orientale, Italy Dilian Gurov, KTH Stockholm, Sweden Reiner Haehnle, Chalmers U of Technology, Gothenburg, Sweden Marieke Huisman, U of Twente, The Netherlands Thomas Jensen, IRISA/CNRS, France Joe Kiniry, ITU Copenhagen, Denmark Viktor Kuncak, EPF Lausanne, Switzerland Dorel Lucanu, U Alexandru Ioan Cuza, Romania Maria del Mar Gallardo Melgarejo, U of Malaga, Spain Claude Marche, INRIA Saclay-Ile-de-France, France Julio Marino, U Politecnica de Madrid, Spain Marius Minea, Politehnica U of Timisoara, Romania Anders Moeller, U Aarhus, Denmark Rosemary Monahan, NUI Maynooth, Ireland Wojciech Mostowski, U Nijmegen, The Netherlands Peter Mueller, ETH Zurich, Switzerland James Noble, Victoria U of Wellington, New Zealand Bjarte M. Oestvold, Norwegian Computing Center, Norway Olaf Owe, U of Oslo, Norway Ernesto Pimentel Sanchez, U of Malaga, Spain Arnd Poetzsch-Heffter, U of Kaiserslautern, Germany Erik Poll, U of Nijmegen, The Netherlands Antonio Ravara, New University of Lisbon, Portugal Rene Rydhof Hansen, U of Aalborg, Denmark Peter H. Schmitt, Karlsruhe Institute of Technology, Germany Aleksy Schubert, U of Warsaw, Poland Gheorghe Stefanescu, U of Bucharest, Romania Bent Thomsen, U of Aalborg, Denmark Shmuel Tyszberowicz, U of Tel Aviv, Israel Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia Burkhart Wolff, U Paris-Sud (Orsay), France Wolfgang Reif, U of Augsburg, Germany Elena Zucca, U of Genova, Italy CONTACT Email: foveoos2010 at cost-ic0701.org Web: http://foveoos2010.cost-ic0701.org From mehdi at cs.uu.nl Sat Feb 27 20:37:08 2010 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Sat, 27 Feb 2010 20:37:08 +0100 Subject: CALL FOR TUTORIALS -- EASSS 2010 Message-ID: <4B897464.1030004@cs.uu.nl> !!! CALL FOR TUTORIALS -- EASSS 2010 !!! The twelfth edition of the European Agent Systems Summer School (EASSS 2010) will be in conjunction with MALLOW 2010 and take place at Ecole Nationale Supérieure des Mines de Saint-Etienne Saint-Etienne, France 23-27 August, 2010 http://easss2010.emse.fr Researchers and lecturers in the field of autonomous agents and multi-agent systems are invited to submit a proposal for a state-of-the-art course in the twelfth edition of the European Agent Systems Summer School. Like its very successful predecessors, EASSS 2010 aims to offer a valuable forum for knowledge exchange between various research groups in this field for the benefit of students and researchers at both beginner and advanced level. The success of this summer school is essential not only for the mutual benefit of research groups, but also in forming future generations of researchers to maintain the excellence of Agents research and development in Europe. Tutors are encouraged to submit a 1-page course proposal including: the topic and its importance for the field, intended audience and their required background knowledge, outline of the topics to be presented, how the course material will be prepared, the tutors and their experience, level of the course (beginners/advanced), duration (typically 4 or 6 hours), and any special equipment requirements. Proposals will be evaluated based on the importance and quality of the topic description, the quality of the presentation material, and the teaching ability of the proposed speakers. Deadline for proposals: April 18, 2010 Notification: May 24, 2010 material for reader (< 26 pp) July 4, 2010 A typical course has 4 hours in total, but variations are possible. Courses should be broad enough to provide a general introduction to the chosen topic, but it should also cover the most important contributions in depth. Courses are expected to take a wider perspective than one specific approach practised by an individual or group. For an impression, the courses given in 2001 are collected in a volume of Springer's LNAI series (No 2086), and programmes of previous editions of EASSS can be found via the webpage of EASSS09 (http://agents009.di.unito.it/EASSS.html). The summer schools attract about 100 students each year. We intend to give a modest contribution towards tutors' expenses by providing free accommodation, but EASSS would not normally cover tutors' travel costs. Please note that this year EASSS is in conjunction (but not co-located) with MALLOW 2010 for the third time and takes place one week before that event. MALLOW 2010 will be in Lyon (very close to Saint-Etienne). Submissions of tutorial proposals should be sent to Mehdi Dastani (mehdi at cs.uu.nl). The EASSS-2010 Committee members are: Local Chairs: Olivier Boissier Saint-Etienne, France Gauthier Picard Saint-Etienne, France Laurent Vercouter Saint-Etienne, France Program Committee: Mehdi Dastani (chair) Utrecht, Netherlands Rafael Bordini Durham, UK Catholijn Jonker Delft, Netherlands Barbara Keplicz Warszawa, Poland Nicolas Maudet Paris, France Andrea Omicini Bologna, Italy Michal Pechoucek Prague, Czech Republic For information about local organisation please contact Laurent Vercouter (easss2010 at emse.fr). POSSIBLE TOPICS: * action selection and planning in multi-/agent systems * adaptation, evolution and learning in multi-/agent systems * agent-based simulation and modeling * agent communication, agent dialogues and agent argumentation * agents, ontologies, web services and semantic web * agent-oriented software engineering and development methodologies * agent programming languages and development tools * agent standardizations in industry and commerce * applications and deployment for agents and multi-agent systems * architectures for multi-agent systems * artificial market systems, auctions, trading agents and electronic commerce, electronic institutions * autonomous robots and robot teams * believability, human-like qualities of synthetic agents, humanoid and sociable robots * game theory and coalition formation for agents based systems * computational complexity in agent systems * conventions, commitments, norms, social laws and legal issues in multi-agent systems * coordination, cooperation, and collaboration in multi-agent systems * emergence, self-organisation and collective behavior in agent-based systems * foundational issues and theories of agency * information agents, routers, brokering and matchmaking * logics for specification, verification and validation of multi-agent systems * mobile agents * negotiation, task and resource allocation, and conflict handling in multi-agent systems * privacy, safety and security in multi-agent systems * scalability, robustness and dependability of multi-agent systems * social and cognitive models for agents * social and organizational structures of multi-agent systems * trust and reputation in multi-agent systems * Multi-agent systems and/for Web Intelligence * Multi-agent systems and/for Ambient Computing -- Mehdi Dastani Intelligent Systems Group Utrecht University P.O.Box 80.089 3508 TB Utrecht The Netherlands Tel: +31 - 30 - 253 3599 Fax: +31 - 30 - 251 3791 URL: http://www.cs.uu.nl/~mehdi From Y.Bi at ulster.ac.uk Sun Feb 28 01:19:40 2010 From: Y.Bi at ulster.ac.uk (Bi Yaxin) Date: Sun, 28 Feb 2010 00:19:40 -0000 Subject: CfP: 4th International Conference on Knowledge Science, Engineering and Management (KSEM`2010) Message-ID: <6F127AEF3EE0114BBFBC03241A817844025CDC19@jnexc09.ad.ulster.ac.uk> ================================================ [please accept our apologies for cross-posting] ========================================== 4th International Conference on Knowledge Science, Engineering and Management (KSEM`2010) 1-3 September 2010, Belfast, Northern Ireland, UK http://www.ulster.ac.uk/ksem2010 *The submission web page is open at http://www.ulster.ac.uk/ksem2010/submission.php *Invited speakers Anthony Cohn (University of Leeds, UK) Ian Horrocks (Oxford University, UK) Thierry Denoeux (Université de Technologie de Compiègne, France) *Important dates Paper submission: 30 March, 2010 Author notification: 15 May, 2010 Camera-ready: 30 May, 2010 Early registration: 30 May, 2010 Call for special sessions: 25 January 2010 ============================================ KSEM is an international conference for research on knowledge science, engineering and management, which attracts high quality, state-of-the-art research papers from all over the world. The conference provides a forum for researchers, practitioners and developers to present original work, to share their views, to exchange ideas and to develop new insights into KSEM-related areas. KSEM2010 will be held in Belfast, Northern Ireland, and is the fourth in the conference series, following three successful events in Guilin, China (KSEM'06), Melbourne, Australia (KSEM'07) and Vienna, Austria (KSEM'09). You are invited to submit papers that are original and not yet published. The topics of interest include but are not limited to: *Special sessions Theory and Practice of Ontology for the Semantic Web Application of Data Mining to Seismic Data Analysis for Earthquake Study *Knowledge science Knowledge representation and reasoning Logics of knowledge Formal analysis of knowledge Knowledge complexity and knowledge metrics Reasoning about knowledge in the presence of inconsistency, incompleteness, context-dependency Commonsense knowledge and uncertainty in knowledge Cognitive foundations of knowledge Knowledge in complex systems and multi-agent systems Formal ontology *Knowledge engineering Knowledge extraction Knowledge integration Knowledge fusion Knowledge-based software engineering Knowledge-based systems in life sciences Conceptual modelling in knowledge-based systems Semantic database systems and semantic Web Content engineering and ontological engineering Implementation issues in KBS Knowledge-based systems in earthquake science *Knowledge management Knowledge creation and acquisition Knowledge verification and validation Knowledge dissemination Knowledge management systems Organizational ontology Data mining and knowledge discovery Organizational memory Organizational learning Knowledge management strategies and practices Knowledge management applications *Paper Submission: Prospective participants are requested to electronically submit full papers of their work (12 pages). In accordance with the previous conferences the organisers of KSEM'2010 will publish the conference proceedings with Springer in the Lecture Notes in Artificial Intelligence (LNAI) series. *General conference co-chairs Bryan Scotney, University of Ulster, Northern Ireland, UK Zhi Jin, Peking University, China *Programme co-chairs Yaxin Bi, University of Ulster, Northern Ireland, UK Mary-Anne Williams, University of Technology, Sydney, Australia *Local organization committee (University of Ulster) James Uhomoibhi (co-chair) Hui Wang (co-chair) Anna Jurek Juan C Augsto David Glass Jun Liu Shengli Wu Nicola Burns Jing Liao Haiying Wang *Steering committee members David Bell, Queen's University Belfast, UK Cungen Cao, Chinese Academy of Sciences, China Dimitris Karagiannis, University of Vienna, Austria Zhi Jin, Peking Univeristy, China Jérome Lang, University Paris-Dauphine, France Yoshiteru Nakamori, JAIST, Japan Jorg Siekmann, DFKI, Germany Eric Tsui, The Hong Kong Polytechnic University, Hong Kong Zongtuo Wang, Dalian Science and Technology University, China Kwok Kee Wei, City University of Hong Kong, Hong Kong Mingsheng Ying, Tsinghua University, China Zili Zhang (Secretary), Southwest University, China Ruqian Lu (Honorary Chair), Chinese Academy of Sciences, China Chengqi Zhang (Chair), University of Technology, Sydney, Australia *Contact details Email:ksem2010 at ulster.ac.uk website: http://www.ulster.ac.uk/ksem2010 Organization committee of KSEM2010 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Manuela.Bujorianu at manchester.ac.uk Sun Feb 28 11:11:42 2010 From: Manuela.Bujorianu at manchester.ac.uk (Manuela Bujorianu) Date: Sun, 28 Feb 2010 10:11:42 +0000 Subject: Lectures on inter-disciplinary analysis of cyber-physical systems Message-ID: <20100228101142.14624s8280d2den2@webmail.manchester.ac.uk> Please accept our apologies in case of message multiplication and feel free to distribute to the potentially interested colleagues. Dear Colleague, The following lectures will be presented at the ETAPS2010 tutorial on " Uncertainty Modeling in Cyber-Physical Systems": · Cyber-physical systems: Quo vadis? (M. Bujorianu) · Nano-systems: The next big thing will be really small! (M. Bujorianu) · Controlling uncertainty in renewable energy systems (M. Bujorianu) · Modelling physics/computation interaction by the hybrid discrete/continuous paradigm (M. Bujorianu) · Modelling a water cleaning facility using Hybrid Petri nets with general transitions (A. Remke) · Parametric reachability analysis of Hybrid Petri nets with general transitions (A. Remke) · Modelling networked automation systems using probabilistic hybrid automata (T. Teige) · Bounded model checking of probabilistic hybrid automata (T. Teige) The tutorial will take place on 21st Marchÿ 2010 in Paphos, Cyprus. http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/ETAPStutorial.htm The normal registration fee is available until 7th March 2010. After that date registration is still possible but an increased fee will apply. The lectures will be presented by a team of Young and enthusiastic researchers (Anne Remke, University of Twente, NL; Tino Teige, Oldenburg University, DE; Manuela Bujorianu, Manchester University, UK - tutorial organizer) with experience in interdisciplinary research combining formal methods, software verification, control engineering and stochastic modelling. The tutorial format is designed to allow the maximum interaction between audience and speakers. Key topics: · Inter-disciplinary nanoscience · Energy informatics · Networked control systems · Stochastic hybrid systems · Hybrid Petri nets · Bounded model checking · Stochastic and parametric reachability analysis Many thanks and hoping to see you in Paphos, Manuela Bujorianu From Ilkka.Niemela at tkk.fi Sun Feb 28 18:45:16 2010 From: Ilkka.Niemela at tkk.fi (=?iso-8859-1?Q?Ilkka_Niemel=E4?=) Date: Sun, 28 Feb 2010 19:45:16 +0200 (EET) Subject: Postdoctoral and senior researcher positions in computing research Message-ID: Helsinki Institute for Information Technology HIIT and the Aalto University Department of Information and Computer Science are inviting applications for postdoctoral and senior researcher positions in several areas of computing research including: machine learning and data analysis; computational methods for networks, interaction and economics; large constraint models; nanoscale self-assembly; enhancement of internet infrastructure; human-centric ubiquitous IT. The closing date for applications is 15 March 2010. The positions will be filled for three years maximum starting at the earliest 1 August 2010. Further details of the posts and the application procedure are available at: http://www.hiit.fi/jobs (3 positions) http://ics.tkk.fi/en/vacancies/ (4 positions) --- Aalto University is a newly created research university resulting from the merger of three Finnish universities: Helsinki University of Tehnology TKK, the Helsinki School of Economics, and the University of Art and Design Helsinki. The new university was launched in January 2010, and opens up a new world of possibilities for multidisciplinary education and research. For further information, see www.aalto.fi/en/. HIIT is a joint research institute of Aalto University and the University of Helsinki conducting basic and strategic research on information technology.