From Sylvain.Pogodalla at inria.fr Wed Feb 2 09:45:24 2011 From: Sylvain.Pogodalla at inria.fr (Sylvain Pogodalla) Date: Wed, 2 Feb 2011 09:45:24 +0100 Subject: LACL 2011 - Last CFP Message-ID: <19785.6564.24780.732668@caussimon.loria.fr> LACL 2011 Logical Aspects of Computational Linguistics June 29th, 30th and July 1st LIRMM, Montpellier, France http://lacl.gforge.inria.fr PRESENTATION LACL'2011 is the 6th edition of a series of international conferences on logical and formal methods in computational linguistics. It addresses in particular the use of type theoretic, proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models. It will be held at the LIRMM, Montpellier, France. It will be co-located with TALN, the conference of the French association for NLP (ATALA). Topics: Computer scientists, linguists, mathematicians and philosophers are invited to present their work on the use of logical methods in computational linguistics and natural language processing, in natural language analysis, generation or acquisition. * logical foundation of syntactic formalisms o categorial grammars o minimalist grammars o dependency grammars o tree adjoining grammars o model theoretic syntax o formal language theory for natural language processing o data-driven approaches * logic for semantics of lexical items, sentences, discourse and dialog o discourse theories o Montague semantics o compositionality o dynamic logics o game semantics o situation semantics o generative lexicon o categorical semantics * applications of these models to natural language processing o software for natural language analysis o software for acquiring linguistic resources o software for natural language generation o software for information extraction o inference tasks o evaluation o scalability SUBMISSIONS and PROCEEDINGS Articles should be written in the LaTeX format of LNCS/LNAI by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) and should not exceed 16 pages (including figures, bibliography, possible apendices). It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically in PDF format at http://www.easychair.org/conferences/?conf=lacl2011 PROCEEDINGS Accepted papers will be published in advance of the meeting as a volume of the FoLLI LNAI subline of Lecture Notes in Computer Science (LNCS) by Springer (http://www.springer.com/lncs). INVITED SPEAKERS To be announced. PREVIOUS EDITIONS A selection of the 1995 articles appeared in a special issue of the Journal of Logic, Language and Information (7:4, 1998). The proceedings of the international conferences LACL'96 ,LACL'97, LACL'98, LACL'2001 and LACL'2005 appeared in the series Lecture Notes in Artificial Intelligence (volumes 1328, 1582, 2014, 2099, 3492) published by Springer. IMPORTANT DATES Paper submission deadline: February 6th 2011 Notification of acceptance: March 25th 2011 Camera-ready papers due: April 10th 2011 LACL conference: June 29th, 30th and July 1st 2011 CONTACTS sylvain.pogodalla at inria.fr From marco.gavanelli at unife.it Wed Feb 2 13:08:31 2011 From: marco.gavanelli at unife.it (Marco Gavanelli) Date: Wed, 02 Feb 2011 13:08:31 +0100 Subject: RCRA 2011 call for papers Message-ID: <4D49493F.4060508@unife.it> * ______________________________________________________________________ * The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) http://rcra.aixia.it organises the 18th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2011) IJCAI 2011 workshop Barcelona, Spain, 17-18 July 2011 RCRA group web site: http://rcra.aixia.it/ Workshop web site: http://rcra.aixia.it/rcra2011 e-mail: rcra2011 at gmail.com * ______________________________________________________________________ * This event follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in artificial intelligence. * ______________________________________________________________________ * As in previous editions (http://rcra.aixia.it/publications), authors of papers orally presented at the workshop will have the opportunity to participate to the selection of a special issue that will appear on an International journal. The workshop will take place in Barcelona, Spain in July 2011, in association with IJCAI 2011 (http://ijcai-11.iiia.csic.es/). AIMS AND SCOPE Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridised with techniques in other areas. Artificial Intelligence tools often exploit or hybridise techniques developed by other research communities, such as Operations Research. In recent years, research in AI has more and more focussed on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems. Scope of the workshop is fostering the cross-fertilisation of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modelling, and ease of development. Topics of interest include, but are not limited to: * Experimental evaluation of algorithms for o knowledge representation o automated reasoning o planning o scheduling o machine learning o model checking o boolean satisfiability (SAT) o constraint programming o constraint satisfaction o quantified boolean formulae and quantified constraints o modal logics o logic programming o disjunctive logic programming o temporal reasoning o combinatorial optimization * Definition and construction of benchmarks * Experimentation methodologies * Metaheuristics * Algorithm hybridisation * Static analysis of combinatorial problems * Languages and systems for definition and solution of problems * Comparisons between systems and algorithms * Application experiences WORKSHOP CHAIRS * Marco Gavanelli, Università degli Studi di Ferrara, Italy * Toni Mancini, Sapienza Università di Roma, Italy WORKSHOP PROGRAM COMMITTEE * Marco Alberti – Universidade Nova de Lisboa, Portugal * Tolga Bektas, University of Southampton, UK * Francesco Calimeri – University of Calabria, Italy * Agostino Dovier – University of Udine, Italy * Esra Erdem – Sabanci University, Instanbul, Turkey * Wolfgang Faber – University of Calabria, Italy * Pierre Flener - Uppsala University, Sweden * Scott E. Grasman - Missouri University of Science and Technology, USA * Angel Juan – IN3-Universitat Oberta de Catalunya, Barcelona, Spain * Henry Kautz - University of Rochester, USA * Daniel Le Berre – Université d'Artois, Lens Cedex, France * Inês Lynce – INESC-ID, Lisboa, Portugal * Marco Maratea – University of Genova, Italy * Joao Marquez-Silva - University College Dublin, Ireland * Michela Milano - University of Bologna, Italy * Massimo Narizzano – University of Genova, Italy * Angelo Oddi - ISTC-CNR, Roma, Italy * Gilles Pesant – University of Montreal, Canada * Maria del Pilar Pozos Parra – Universidad Jurez Autnoma de Tabasco, Villahermosa Tabasco, Mexico * Steve Prestwich – University College Cork, Ireland * Helena Ramalhinho Dias Lourenço – Universitat Pompeu Fabra, Barcelona, Spain * Daniel Riera i Terrén – IN3-Universitat Oberta de Catalunya, Barcelona, Spain * Fabrizio Riguzzi – University of Ferrara, Italy * Rubén Ruiz Garcìa – Universidad Politécnica de Valencia, Spain * Alessandro Saetti – University of Brescia, Italy * Andrea Schaerf – University of Udine, Italy * Bart Selman - Cornell University, USA * Helmut Simonis - University College Cork, Ireland * Mirek Truszczyński – University of Kentucky, Lexington, KY, USA HOST ORGANIZATION Internet Interdisciplinary Institute – Universitat Oberta de Catalunya, Barcelona, Spain (http://in3.uoc.edu) LOCAL COMMITTEE * Angel Juan – IN3-Universitat Oberta de Catalunya, Barcelona, Spain * Daniel Riera i Terrén – IN3-Universitat Oberta de Catalunya, Barcelona, Spain * Josep Jorba – IN3-Universitat Oberta de Catalunya, Barcelona, Spain * Helena R. Lourenço – Universitat Pompeu Fabra, Spain * David Masip – IN3-Universitat Oberta de Catalunya, Barcelona, Spain * Joan M. Marques – IN3-Universitat Oberta de Catalunya, Barcelona, Spain * Joan A. Pastor – IN3-Universitat Oberta de Catalunya, Barcelona, Spain SUBMISSIONS Authors are invited to submit either original papers, or papers that appear on conference proceedings. Publications showing negative results are welcome, provided that the approach was original and very promising in principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths. At the time of submission, authors are requested to clearly specify whether their submission is original or already published. Workshop submissions must be in PDF format, do not exceed 15 pages, and should be written in LaTeX, using the RCRA 2011 style available on the workshop web site. Page for submissions: http://www.easychair.org/conferences/?conf=rcra2011 Submissions will be reviewed by at least three members of the program committee. Final and detailed submission instructions will be available on the workshop web site soon. SELECTION FOR THE POST-PROCEEDINGS Few weeks after the workshop, authors of papers orally presented at the workshop will have the opportunity to participate to the selection for the post-proceedings by submitting an extended version of their work. As in previous editions (http://rcra.aixia.it/publications), workshop post-proceedings will appear in a special issue of an International journal, provided that a sufficient amount of high quality papers is collected. All candidate articles must be original: they cannot have already been published in journals, and must contain significant additional material with respect to any formal publication. Such papers will go through a second formal selection process, and will be reviewed by at least three reviewers. The selection process will be kept very short, and at most one re-submission stage will be allowed. Hence, authors are invited to work on their paper mainly before the workshop date. IMPORTANT DATES * Abstract submission: 7 March 2011 * Submissions to the RCRA workshop: 14 March 2011 * Notification of acceptance/reject: 25 April 2011 * Final version due: 16 May 2011 * RCRA workshop: 17-18 July 2011 -- Marco Gavanelli, Ph.D. in Computer Science Dept of Engineering University of Ferrara Tel/Fax +39-0532-97-4833 http://www.ing.unife.it/docenti/MarcoGavanelli/ From announce at teco.edu Wed Feb 2 20:31:43 2011 From: announce at teco.edu (announce at teco.edu) Date: Wed, 02 Feb 2011 20:31:43 +0100 Subject: CONTEXT'11 - 7th International and Interdisciplinary Conference on Modeling and Using Context 2011 - Call for Papers and Workshop Proposals Message-ID: . . . . . . . . . . . . CONTEXT '11. . . . . . . . . . . . . . . The Seventh International and Interdisciplinary Conference. . . . . . . . . on Modeling and Using Context. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . September 26th - 30th, Karlsruhe, Germany. . . . . . . . . . . . . http://context-11.teco.edu/. . . . . . . . . . . . . . . . Call for Papers and Workshop Proposals. . . . . . . . . . . With Special Track: Commercializing Context. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Submission deadlines for full papers, posters, videos,. . . . . . . . and demonstration abstracts: May 8, 2011. . . . . . Submission deadlines for workshop proposals: March 20, 2011. Fourteen years after the first Context conference in 1997 - and 60 years after Prior laid the foundation for the field -, the Seventh International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'11) sets out to extend foundational research on context and to evaluate the status and consequences of context research, as well as to address new questions for the field. CONTEXT'11 will provide a forum for presenting and discussing high-quality research and applications on context. The conference will include paper, poster, and video presentations, system demonstrations, workshops, and a doctoral consortium. The conference invites researchers and practitioners to share insights and cutting-edge results from the wide range of disciplines concerned with context, including: the Cognitive Sciences (Linguistics, Psychology, Philosophy, Computer Science, Neuroscience), the Social Sciences and Organizational Sciences, and all application areas, including Medicine and Law. The motto of the CONTEXT'11 special track "Commercialising Context" was chosen to reflect both the fact that context research has found numerous successful applications in recent years and the fact that context itself has become a product that can be sold. Context-aware services can support their users unobtrusively and offer promising revenues. However, when context is no longer something private but processed and shared through the web, profound questions are raised about privacy and the general consequences of the technology. Yet, the new context-aware services can also be a scientific tool for context-research itself. Context-aware services offer new ways for studying social context and its interaction with other types of context on a sociologically significant scale. For linguistic studies, context-aware mobile phones and chat programs, for instance, can be a tool to automatically obtain context-annotated dialogues, with which the influence of context on meaning can be empirically assessed. Areas of interest include but are not limited to perspectives on context from: Analogy and Case-Based Reasoning. . . . . Knowledge Engineering and Ontologies Autonomous Agents. . . . . . . . . . . . Language Understanding and Production . and Agent-based Systems. . . . . . . . Learning Cognitive Modeling. . . . . . . . . . . . Linguistics Concepts and Categorization. . . . . . . Memory, Representation and Access Context-Aware Services and Systems. . . . Multiagent Systems Context-Recognition. . . . . . . . . . . . and Interagent Communication Distributed Information Systems. . . . . Neuroscience Formal Semantics and Pragmatics. . . . . Formal Ontology of Context Domains Formal Theories of Context. . . . . . . . Organizational Theory and Design Heterogeneous Information Integration. . Perception Human Decision-Making. . . . . . . . . . Pervasive/Ubiquitous Computing . and Decision Support Systems. . . . . . Philosophical Foundations of Context Human-Centered Computing. . . . . . . . . Problem Solving and Planning Human-Computer Interaction. . . . . . . . Psychological experiments Information Management. . . . . . . . . . Reasoning Intelligent Tutoring Systems. . . . . . . Relevance Computation Intelligent User Interfaces. . . . . . . . and Relevance Theories Intelligent/Semantic Web Systems. . . . . Sensor Networks and Sensing Systems Knowledge Representation. . . . . . . . . Situated and Distributed Cognition CONFERENCE EVENTS CONTEXT'11 will include paper presentation sessions, a poster and demonstration session, two days of workshops, and a doctoral consortium as well as keynote talks and a panel discussion. Workshops and the doctoral consortium will circulate separate calls for papers and participation, which will also be available at the conference web site. ACCEPTANCE CRITERIA AND SUBMISSION CATEGORIES CONTEXT welcomes original, high-quality research contributions that advance the state of the art in their field. Because CONTEXT'11 will be an interdisciplinary forum, all submissions will be evaluated not only for their technical merit but also for their accessibility to an interdisciplinary audience. Works that transcend disciplinary boundaries are especially encouraged. Submissions may be for full papers (14 pages in Springer LNCS format), poster abstracts, videos with a video abstract, or demonstration abstracts. Full papers will be accepted either for oral presentation or for presentation at a poster session. All accepted full paper submissions will be published in the proceedings which appear as a volume of Springer Lecture Notes in Artificial Intelligence. Accepted posters and demonstrations will be presented at the poster session. Videos will be presented as part of the conference program. The associated abstracts will be published in a brochure distributed to attendees. See detailed author instructions at http://context-11.teco.edu/authors.html IMPORTANT DATES March 20th, 2011. . . Deadline for Workshop Proposal Submission May 8, 2011. . . . . . Full papers, posters, videos, demonstration abstracts June 5, 2011. . . . . Notification of authors June 19th, 2011. . . . Camera-ready papers Sept. 26.-30, 2011. . Conference GENERAL CHAIRS Michael Beigl, Karlsruhe Institute of Technology, Germany Henning Christiansen, Roskilde University, Denmark Thomas R. Roth-Berghofer, University of Hildesheim, Germany PROGRAM CHAIRS Hedda R. Schmidtke, Karlsruhe Institute of Technology, Germany Anders Kofod-Petersen, Norwegian University of Science and Technology, Norway e-mail: context11-pch at teco.edu From iccci at am.gdynia.pl Wed Feb 2 22:50:46 2011 From: iccci at am.gdynia.pl (ICCCI 2011 Conference) Date: Wed, 2 Feb 2011 22:50:46 +0100 Subject: ICCCI 2011 - call for papers and special sessions proposals Message-ID: <279713F36249428AB176B6A3C9E265C9@kint84> ============================================== CALL FOR PAPERS AND SPECIAL SESSIONS PROPOSALS ============================================== The 3rd International Conference on Computational Collective Intelligence - Technologies and Applications (ICCCI 2011) 21-23 September 2011, Gdynia, Poland Website: http://iccci2011.am.gdynia.pl E-mail: iccci2011 at am.gdynia.pl Proceedings: Lecture Notes in Computer Science/Artificial Intelligence (LNCS/AI) by Springer INTRODUCTION ============ ICCCI 2011 is an international scientific conference for research in the field of Computational Collective Intelligence (CCI), to be held on 21-23 September, 2011 in Gdynia city, Poland. Computational Collective Intelligence is most often understood as an AI sub-field dealing with soft computing methods which enable making group decisions or processing knowledge among autonomous units acting in distributed environments. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. The aim of this conference is to provide an internationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications in (but not limited to) such fields as semantic web, social networks and multi-agent systems. ICCCI 2011 is organized by Gdynia Maritime University and Wroclaw University of Technology in Poland. Gdynia Maritime University in which it will take place is located in the port city Gdynia known for its picturesque seashore with marinas, promenades and yacht clubs. However there is more to enjoy nearby, as Gdynia is a part of the Tricity, which also includes a thousand-year-old Gdańsk, Poland's cultural gem, and Sopot, a health-resort with its beautiful Landscape Park and splendid sandy beaches. The many attractions of the area are easily reached via Gdansk Lech Walesa International Airport, and all three cities are linked by frequent and comfortable commuter lines. Gdynia Maritime University is a specialized technical university and the largest Polish and European Centre for higher maritime education. The University is actively involved in numerous national and European research projects. SCOPE OF ICCCI 2011 =================== Methodological, theoretical and practical aspects of computational collective intelligence such as group decision making, collective action coordination, knowledge integration, understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural).The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., to support human and other collective intelligence and creation of new forms of CCI in natural and/or artificial systems. Three subfields of application of computational intelligence technologies to support various forms of collective intelligence are of special attention but are not the only ones: semantic web (as an advanced tool increasing collective intelligence), social network analysis (as the field targeted to the emergence of new forms of CCI), and multiagent systems (as a computational and modeling paradigm especially tailored to capture the nature of CCI emergence in populations of autonomous individuals). TOPICS OF INTEREST ================== We welcome all submissions in the subjects of CCI related (but not limited) to the following topics: - Agent Theory and Application - Automated Reasoning - Cognitive Modeling of Agent Systems - Collective Intelligence - Computational Biology - Computer Vision - Computational Intelligence - Computational Security - Cooperative Systems and Control - Cybernetics for Informatics - Data Mining for Social Networks - Distributed Intelligence - Evolutionary Computing - Fuzzy Systems - Grey Theory - Hybrid Systems - Information Retrieval and Integration - Information Hiding - Intelligent Architectures - Intelligent Applications - Intelligent Building - Intelligent Control - Intelligent E-learning/tutoring - Intelligent Image Processing - Intelligent Networks - Intelligent Transportation Systems - Knowledge Representation - Knowledge-Based Systems - Logic in Intelligence - Machine Learning - Mobile Intelligence - Natural Language Processing - Optimization and Swarm Intelligence - Pattern Recognition - Probabilistic and Uncertain Reasoning - Semantic Web - Smart Living Technology - Smart Sensor Networks - Soft Computing - Social Networks - Ubiquitous Computing and its Applications - Web Intelligence and Interaction SUBMISSION INFORMATION ====================== Contribution papers from prospective authors with interest to the related topics are invited to submit to ICCCI 2011 for oral or poster presentations. All submissions should follow the LNCS/LNAI (Springer) format with titles, author names, affiliation, email addresses, and up to 150-words abstract. The manuscript should be written in English and should not exceed 10 pages. The submissions should present the results of original research or innovative practical applications relevant to topics. Practical experiences with state-of-the-art in CCI methodologies are also acceptable to reflect lessons of unique value for the conference attendees. All papers must provide at most five key words including one or more of the topics as listed above. All papers will be reviewed by peers. SPECIAL SESSIONS ================ Special sessions are to be held in conjunction with the ICCCI 2011 conference. They are aimed to provide opportunities for researchers, professionals and students to meet and discuss selected topics in the ICCCI 2011 conference scope. If you are interested in proposing and organizing session, please sent the proposal to ICCCI 2011 before 15 February 2011. Special session proposals should include: - Title of the special session - The names, addresses and emails of the special session organizers - A brief description of the special session goals and focus - A proposition of some expert names with affiliations in the domain of interest - The expected number of papers and attendees and planned length of the special session PROCEEDINGS =========== The conference proceedings will be published in Lecture Notes in Computer Science/Artificial Intelligence series by Springer-Verlag and indexed by EI, ISI(CPCI-S), Scopus, DBLP, ACM Digital Library. Referees will be asked to nominate papers for a Best Paper award to be announced at the conference. All personally presented papers, but particularly those nominated for the Best Paper competition will be automatically considered for publication in the extended versions in several special issues for ISI, SCI journals. KEYNOTE SPEAKERS ================ Prof. Jeng-Shyang Pan, National Kaohsiung University of Applied Sciences, Taiwan: "Overview of Algorithms for Swarm Intelligence" Prof. Leszek Rutkowski, Częstochowa University of Technology, Poland: "Rough-neuro-fuzzy-genetic Hybrid Intelligent Systems" Prof. Edward Szczerbicki, The University of Newcastle, Australia: "Experiential Decisional DNA" Prof. Jan Treur, VU University Amsterdam, The Netherlands: "From Mirroring to the Emergence of Shared Understanding and Collective Power" IMPORTANT DATES =============== Special Session proposal: 15 Feb 2011 Submission of papers: 15 Mar 2011 Notification of acceptance: 30 Apr 2011 Final papers to be received: 15 May 2011 Conference: 21-23 Sep 2011 ORGANIZATION ============ Honorary Chairs --------------- Pierre Lévy, University of Ottawa, Canada Roman Słowiński, Poznan University of Technology, Poland General Chairs -------------- Piotr Jędrzejowicz, Gdynia Maritime University, Poland Ngoc Thanh Nguyen, Wroclaw University of Technology, Poland Steering Committee Chair ------------------------ Ngoc Thanh Nguyen, Wroclaw University of Technology, Poland Program Chairs -------------- Ireneusz Czarnowski, Gdynia Maritime University, Poland Jason J. Jung, Yeungnam University, Korea Ryszard Kowalczyk, Swinburne University of Technology, Australia Kazumi Nakamatsu, University of Hyogo, Japan Organizing Chairs ----------------- Dariusz Barbucha, Gdynia Maritime University, Poland Radosław Katarzyniak, Wroclaw University of Technology, Poland Special Session Chairs ---------------------- Amine Chohra, Paris-East University, France Tokuro Matsuo, Yamagata University, Japan Ewa Ratajczak-Ropel, Gdynia Maritime University, Poland Publicity Chair --------------- Izabela Wierzbowska, Gdynia Maritime University, Poland Doctoral Track Chair -------------------- Bogdan Trawiński, Wroclaw University of Technology, Poland CONTACT ======= Conference website: http://iccci2011.am.gdynia.pl Conference e-mail: iccci2011 at am.gdynia.pl [Apologies if you receive multiple copies of this mail. Please send it to your colleagues. Thanks!] -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Olivier.Boissier at emse.fr Thu Feb 3 10:52:33 2011 From: Olivier.Boissier at emse.fr (Olivier Boissier) Date: Thu, 03 Feb 2011 10:52:33 +0100 Subject: Call WI-IAT 2011: IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCE ON WEB INTELLIGENCE - INTELLIGENT AGENT TECHNOLOGY Message-ID: <4D4A7AE1.6090202@emse.fr> * Apologies for cross-posting * This is sent on behalf or the 2011 edition of IEEE/WIC/ACM WI-IAT conference organizing committee. **************************************************************************** The 2011 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCE ON WEB INTELLIGENCE (WI 2011) INTELLIGENT AGENT TECHNOLOGY (IAT 2011) CALL FOR PAPERS **************************************************************************** August 22 - 27, 2011, Lyon, France http://wi-iat-2011.org Sponsored By IEEE Computer Society Web Intelligence Consortium (WIC) Association for Computing Machinery (ACM) **************************************************************************** Full Papers submission (WI and IAT): - Electronic abstracts submission (WI and IAT): March 4, 2011 - Electronic submission of full papers (WI and IAT): March 11, 2011 Notification of paper acceptance (WI and IAT): May 23, 2011 Workshop paper submissions: March 21, 2011 Notification of Workshop paper acceptance: June 1, 2011 Demo paper submissions: April 4, 2011 Notifications of Demo paper acceptance: May 23, 2011 Industry Track paper submissions: March 21, 2011 Notification of Industry Track paper acceptance: June 1, 2011 Camera-ready copies of accepted papers: June 10, 2011 Workshops and Industry track: August 22, 2011 Conference: August 23-25, 2011 Summer School: August 26-27, 2011 ################################################################## For more information on the different calls: http://wi-iat-2011.org *** Contact Information *** Email: wi-iat11 at liris.cnrs.fr The WIC Office Email: wi10 at wi-consortium.org -- ----- Olivier BOISSIER ISCOD - LSTI tel : +33 4 77 42 66 14 ENSM.SE fax : +33 4 77 42 66 66 158 cours Fauriel e-mail : Olivier.Boissier at emse.fr 42023 Saint-Etienne Cedex 02 http://www.emse.fr/~boissier From bulling at in.tu-clausthal.de Thu Feb 3 17:55:19 2011 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Thu, 3 Feb 2011 17:55:19 +0100 Subject: CfP: RuleML 2011@IJCAI Message-ID: Apologies for cross-posting ------------------------------------------------------------------------------- CALL FOR PAPERS RuleML 2011 at IJCAI 5th International Symposium on Rules: Research Based, Industry Focused Barcelona, Spain, 19-21 July 2011 http://2011.ruleml.org About The RuleML 2011 Symposia ------------------------------- In 2011, two instalments of the RuleML Symposium will take place. The first one will be held in conjunction with the International Joint Conference on Artificial Intelligence (IJCAI 2011) in Barcelona, Spain, in July 19-21. The second one will be co-located with the Business Rules Forum (BRF 2011) to be held in Ft Lauderdale, Florida, Nov 3-4, including a Challenge Award, which this year will be dedicated to Rules and Ontologies. For RuleML-2011 at IJCAI, a selection of the best papers will be presented during a joint session with IJCAI, and the authors of these papers will be invited to submit revised versions for inclusion in the IJCAI proceedings. Objectives ---------- RuleML-2011 at IJCAI is a research-based, industry-focused symposium: its main goal is to build a bridge between academia and industry in the field of rules and semantic technology, and so to stimulate the cooperation and interoperability between business and research, by bringing together rule system providers, participants in rule standardization efforts, open source communities, practitioners, and researchers. The concept of the symposium has also advanced continuously in the face of extremely rapid progress in practical rule and event processing technologies. As a result, RuleML-2011 at IJCAI will feature hands-on demonstrations and a use-case ranking alongside a wide range of thematic tracks. It will thus be an exciting venue to exchange new ideas and experiences on all issues related to the engineering, management, integration, interoperation, and interchange of rules in distributed enterprise intranets and open distributed environments. Topics ------ As in the previous years the Symposium will be organized in tracks, specifically for RuleML-2011 at IJCAI the focus will be on the following areas: - Rules and Automated Reasoning - Rule-based non-monotonic and defeasible reasoning - Rule-based reasoning with modalities (deontic, temporal, etc) - Priorities handling in rule-based systems - Combination of rules, objects, and ontologies - AI techniques for rule reasoning, e.g. theorem proving, SAT solving, planning, constraint solving - Declarative business process modelling using rules - Parsing, semantics and reasoning for natural language rules, such as SBVR - Logic Programming and Non-monotonic Reasoning - Nonmonotonic reasoning systems for ontologies - Hybrid combinations of open and closed-world reasoning - Formalization and reasoning on multi-ontology and multi-semantics systems - Modular logic programs and ontologies - Datalog and tractable ontology languages - Uncertainty handling in ontologies and rules - Rules, Agents and Norms - Norm interchange format (Norm Types, Languages Temporal Issues) - Normative system roles and Authorities - Rule-based e-Contracting and Policy Negotiation - Verification of Normative Systems (Violations and Sanctions, Equivalence, Redundancy, Coherence, Change, Merge) - Business Process Compliance - Rule-Based Distributed/Multi-Agent Systems - Rule-based specification and verification of distributed and multi-agent systems - Rule-based distributed reasoning and problem solving - Rule-based interaction (cooperation, coordination, negotiation and argumentation) for multi-agent systems - Rules for service-oriented computing (discovery, composition, etc.) - Rule-based programming of (multi-)agent systems - Rule-based knowledge representation and reasoning in (multi-)agent systems - Rule-Based Policies, Reputation and Trust - Rule languages for policy specification and reasoning - Policy standards, their extensions and refinements - Formal semantics of policies - NLP and high-level requirements for policy specification - Detection and resolution of policy inconsistencies and conflicts - Representation of belief, trust, and risk - Policy Learning and automated policy generation - Rule-based Event Processing and Reaction Rules - Representation languages for event processing - Algorithms for real-time event processing - Probabilistic reasoning for event processing - Event-driven architectures - Benchmarks, performance evaluations, and testbeds for event-based systems - Rule based workflows - Rule-based event processing applications (ontologies, ...) - Fuzzy Rules and Uncertainty - Languages for the formalization of uncertainty rules - Probabilistic, fuzzy and other rule frameworks for reasoning with uncertain, vague or incomplete information - Handling inconsistent, conflicting or disparate rules using uncertainty - Uncertainty extensions of event processing rules, business rules, reactive rules, causal rules, derivation rules, association rules, or transformation rules - Benchmarks and test cases for uncertain rules - Combination of rules with other uncertainty handling frameworks (e.g. Bayesian Networks, fuzzy systems, etc) - Rule Transformation and Extraction - Transformation and extraction with rule standards, such as SBVR, RIF, RuleML and OCL - Extraction of rules from code - Transformation and extraction in the context of frameworks such as KDM (Knowledge Discovery meta-model) - Extraction of rules from natural language - Transformation or rules from one dialect into another - Representation of rules in Natural or Controlled Languages - Vocabularies, Ontologies, and Business rules - Vocabularies, Ontologies and Rules for Enterprise Modeling - Ontologies and Rules for Business Process Modeling - Ontologies and Goal-Based Modeling - Ontologies and Business Rules - Enterprise Reference Ontologies, Taxonomies and Vocabularies - Ontologies and Rules for Enterprise Integration - General Topics - Implemented tools for rules - Rule-based Applications - Rule interchange and reasoning interoperation - Usability and effectiveness of rule-based systems and languages Submission Guidelines --------------------- Authors are invited to submit original contributions of practical relevance and technical rigor in the field, experience reports and show case/use case demonstrations of effective, practical, deployable rule-based technologies or applications in distributed environments. Papers must be in English and may be submitted at http://www.easychair.org/conferences/?conf=ruleml2011ijcai as: Full Papers (15 pages in the proceedings) Short Papers (8 pages in the proceedings) Please upload all submissions as PDF files in LNCS format (http://www.springer.de/comp/lncs/authors.html). To ensure high quality, submitted papers will be carefully peer-reviewed by at least 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Publications ------------ The selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series. Authors of the best papers will be invited to submit a revised version of their papers for inclusion in the IJCAI 2011 Proceedings. Important Dates --------------- Abstract submission: February 25, 2011 (11:59PM, UTC-12) Paper submission: March 4, 2011 (11:59PM, UTC-12) Notification of acceptance/rejection: March 31, 2011 Camera-ready copy due: April 15, 2011 RuleML-2011 dates: July 19-21, 2011 RuleML 2011 Doctoral Consortium ------------------------------- The RuleML 2011 doctoral consortium is a new initiative of the International Symposium on Rules, RuleML, to attract and promote Ph.D. research in the area of Rules and Markup Languages. The doctoral symposium offers to students a close contact with leading experts on the field, as well as the opportunity to present and discuss their ideas in a dynamic and friendly setting. The accepted thesis descriptions will be presented to an interested audience and subject to discussion with a panel of senior researchers, and we expect submissions on any of this year's RuleML-2011 topics. PhD Paper submission: April 11, 2011 (11:59PM, UTC-12) More information: http://www.defeasible.org/ruleml2011/consortium Program Committee ----------------- General Chairs Georg Gottlob, University of Oxford, UK Juergen Dix, TU Clausthal, Germany Program Chairs Adrian Paschke, Freie Universitaet Berlin, Germany Guido Governatori, NICTA, Australia Nick Bassiliades, Aristotle University of Thessaloniki, Greece Organization Chairs Luis Polo, CITIC, Spain Gines Moreno, Universidad de Castilla La Mancha, Spain Steering Chairs John Hall, Model Systems, UK Christian de Saint Marie, IBM ILOG, France From aledalpa at gmail.com Fri Feb 4 00:49:06 2011 From: aledalpa at gmail.com (Alessandro Dal Palu) Date: Thu, 3 Feb 2011 16:49:06 -0700 Subject: [CfP] Thematic series on Constraints and Bioinformatics: Algorithms for Molecular Biology Message-ID: Apologies for cross-posting +--------------------------------------------------------------+ CALL FOR PAPERS Thematic series on Constraints and Bioinformatics AMB: Algorithms for Molecular Biology Submission deadline: April 30th, 2011. +--------------------------------------------------------------+ The technology of Constraint and Constraint Logic Programming has shown to be effective for a multitude of computational problems of modern bio-sciences, which are typically complex and often NP-hard. Constraint-based methods contribute essentially to the tool set of Bioinformatics, due to their ability to simplify problem modeling and face computationally challenging problems. These techniques emerged in bioinformatics more than 10 years ago, introduced at the workshops Constraints and Bioinformatics/Biocomputing associated to CP97 and CP98. Since 2005, the Workshops on Constraint based methods for Bioinformatics (WCB series) haven taken place annually. Topics of particular interest comprise (but are not limited to) sequence analysis, biological systems simulations, protein structure prediction and docking, structure alignment, pedigree analysis, and haplotype inference. The thematic series is open to any original paper in the area that has not been published elsewhere. In particular, we encourage the submission of full papers corresponding to presentations in recent editions of the WCB series. +--------------------------------------------------------------+ Submissions will be handled directly by AMB as explained here: http://www.almob.org/info/instructions/ In the COVERING LETTER, please state that you are submitting for the thematic series on Constraints and Bioinformatics, with associate editors Rolf Backofen, Alessandro Dal Palu', Agostino Dovier, and Sebastian Will. Please feel free to contact any of them for further questions. The submission deadline is April 30th, 2011. +---------------------------------------------------------------+ From sebastian.rudolph at aifb.uni-karlsruhe.de Sat Feb 5 15:42:00 2011 From: sebastian.rudolph at aifb.uni-karlsruhe.de (Sebastian Rudolph) Date: Sat, 5 Feb 2011 15:42:00 +0100 Subject: First CFP: 5th Int. Conf. on Web Reasoning and Rule Systems, Galway, 29-30 Aug Message-ID: Apologies for multiple postings. Please forward to interested parties. ------------------------------------------------------------------------------- CALL FOR PAPERS RR 2011 The Fifth International Conference on Web Reasoning and Rule Systems Galway, Ireland, 29-30 August 2011 http://www.rr-conference.org/RR2011/ The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2011 builds on the success of the four previous International Conferences on Web Reasoning and Rule Systems (see http://www.rr-conference.org), held in Innsbruck, Austria (2007), Karlsruhe, Germany (2008), and Chantilly, Virginia, USA(2009), Bressanone/ Brixen, Italy (2010), and which received enthusiastic support from the Web Reasoning community. In 2011, RR will continue the excellence of the new series and aim to attract the best WebReasoning and Rules researchers from all over the world. Moreover, this year's conference will be co-located with the 7th Reasoning Web Summer School (23-27 Aug, cf. http://reasoningweb.org/2011/ for details) which is a great opportunity particularly for young researchers to combine with attendance of the conference. Poster submissions by summer school participants are particularly encouraged. ==Topics== * Representation techniques for Web-based knowledge * Acquisition of rules and ontologies by knowledge extraction * Combining open and closed-world reasoning * Combining rules and ontologies * Design and analysis of reasoning languages * Efficiency and benchmarking * Implemented tools and systems * Foundations and applications related to relevant standardization bodies * Ontology usability * Ontology languages and their relationships * Querying and optimization * Rules and ontology management (such as inconsistency handling and evolution) * Reasoning with uncertainty and under inconsistency * Reasoning with constraints * Rule languages and systems * Rule interchange formats and Rule markup languages * Scalability vs. expressivity of reasoning on the Web * Approximate reasoning techniques for the Web * Integration of statistical methods and symbolic reasoning * Stream reasoning * Semantic Web Services modeling and applications * Web and Semantic Web applications and experience papers ==Publication== The conference proceedings will be published within Springer's Lecture Notes in Computer Science (LNCS) series. After the conference, selected papers from the conference will be invited to submit extended versions to a special issue of the (IOS Press) journal "Semantic Web - Interoperability, Usability, Applicability". ==Submission of Papers== Submissions must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science (see http://www.springer.com/comp/lncs/Authors.html), and must be in PDF format. Submission is via EasyChair (http://www.easychair.org/conferences/?conf=rr2011). The length should not exceed 15 pages for full papers. We also solicit poster papers (accompanying a poster to be presented at the conference's poster session) as well as system descriptions (for proposed system demos at the conference), both with an upper limit of 6 pages. The stated lengths include title, abstract, and references. Poster papers and system descriptions should be clearly marked as such in the title and in the easychair submission system. Submissions that deviate substantially from these guidelines may be rejected without review. Original research and application papers are welcome; submissions will especially be judged for originality and scientific quality. All accepted papers, posters, and system descriptions will be included in the proceedings. ==Important Dates== Abstract submission: April 20, 2011 Full paper submission: April 27, 2011 Notification of acceptance: June 3, 2011 ==Organization== * General chair - Heiner Stuckenschmidt * Program chairs - Sebastian Rudolph - Claudio Gutierrez * Local Chair - Axel Polleres * Sponsorship Chair - Krzysztof Janowicz * Program committee - Marcelo Arenas - Jean-François Baget - Andrea Cali - Vinay Chaudhri - Claudia D'Amato - Sergio Flesca - Georg Gottlob - Stijn Heymans - Rinke Hoekstra - Giovambattista Ianni - Domenico Lembo - Francesca Alessandra Lisi - Thomas Lukasiewicz - Wolfgang May - Boris Motik - Ralf Möller - Andrea Pugliese - Guilin Qi - Alan Ruttenberg - Umberto Straccia - Terrance Swift - Sergio Tessaris _________________________________________________ Dr. Sebastian Rudolph senior researcher & project leader at AIFB Karlsruhe Institute of Technology (KIT) rudolph at kit.edu phone (new!) +49 721 608 - 47362 www.sebastian-rudolph.de fax (new!) +49 721 608 - 45998 From axel.polleres at deri.org Sat Feb 5 20:50:51 2011 From: axel.polleres at deri.org (Axel Polleres) Date: Sat, 5 Feb 2011 19:50:51 +0000 Subject: 7th ReasoningWeb Summer School 2011 (RW2011) - Call for Applications/Participation Message-ID: <963B5526-83C5-481D-AE87-74D912CEAD66@deri.org> (apologies for multiple posts) *********************************************************************** Call for Applications/Participation The 7th REASONING WEB Summer School (RW 2011) http://www.reasoningweb.org/2011/ 23 - 27 August 2011 co-located with the 5th Int'l Conference on Web Reasoning and Rule Systems (RR2011) *********************************************************************** Galway, Ireland The Reasoning Web Summer School 2011 is primarily intended for postgraduate (PhD or MSc) students, postdocs, and other young researchers investigating aspects related to Reasoning on the Semantic Web and related issues. The Summer School will also be open to senior researchers wishing to learn about Semantic Web issues related to their own fields of research. For further details please visit http://www.reasoningweb.org/2011/ As in the previous years, we managed again to attract a distinguished group of expert lecturers, the majority of which will - apart from their lectures - also be present for the duration of the school to interact with students. Interaction with senior researchers and establishing contacts within young researchers is a main focus of the school, which will be supported through social activities and an interactive, amicable atmosphere. This year's summer school will be co-located with the 5th International Conference on Web Reasoning and Rule Systems (RR2011), 29-30 Aug, cf. http://www.rr-conference.org/RR2011/) which is a great opportunity to attend a major conference in the area directly subsequent to the school. CONFIRMED LECTURES 1. Ontologies and Rules Pascal Hitzler (Wright State University) 2. Using SPARQL with RDFS and OWL entailment Birte Glimm (Oxford University) 3. Introduction to Linked Data, Sören Auer (University of Leibzig) 4. Scalable OWL2 Reasoning for Linked Data Jeff Pan (University of Aberdeen), Aidan Hogan (National Unviersity of Ireland, Galway) 5. Trust Management Methodologies for the Web Denis Trcek (University of Ljubljana) 6. Models for the Web of Data Claudio Gutierrez (Universidad de Chile) 7. Database foundations for scalable RDF processing Katja Hose, Martin Theobald, Ralf Schenkel, Gerhard Weikum (Max Planck Institut) 8. Probabilistic Reasoning for Semantic Web Applications. Heiner Stuckenschmidt, Mathias Niepert (Universität Mannheim) 9. Foundations of Description Logics Sebastian Rudolph (Karlsruhe Institute of Technology) 10. Rules and Logic Programming for the Web Adrian Paschke (Freie Universität Berlin) 11. Scalabe non-standard reasoning on the Semantic Web Abraham Bernstein (University of Zurich) 12. An Introduction to Constraint Programming and Combinatorial Optimisation Barry O'Sullivan (University College Cork, Ireland) APPLICATIONS The number of attendees will be limited, applications for participation have to be made via Easychair using the following URL: https://www.easychair.org/conferences/?conf=rw2011 The programme of the school will include a poster session where students can present and discuss their ongoing research with lecturers and colleagues. Applications shall include a remark on whether a poster will be presented along with a short abstract. Applications should be submitted in PDF format not exceeding 2 pages (min. font size 11pt) and contain the following information: - Name, contact details - Affiliation - Motivation for participation - Summary of profile - Willing to present a poster? (yes/no, if yes, include a short poster abstract) - Supervisor (if applicable) - Publications (if applicable) *** Application Deadline: 30 April 2011 *** *** Notifications: 15 May 2011 *** REGISTRATION Details of the registration process will be announced on the Web site, after the application deadline. As in previous years we will keep the registration fee moderate (between 400 and 500 EUR) and provide reasonable accomodation packages (less than 50 EUR per night). LECTURE NOTES As in previous years, the course material used during the summer school will be published with Springer's Lecture Notes in Computer Science (LNCS) series. A copy of the proceedings will be included in the registration fees. PROGRAMME COMMITTEE Claudia d'Amato, Universit· degli Studi di Bari, Italy Marcelo Arenas, PUC Chile, Santiago, Chile Siefried Handschuh DERI, National University of Ireland, Galway Paula Lavinia Kroner SKYTEC AG, Germany Sascha Ossowski Universidad Rey Juan Carlos, Spain Peter Patel-Schneider Alcatel-Lucent, Bell Labs, USA Axel Polleres DERI, National University of Ireland, Galway CONTACT For further information including sponsorship opportunities, please contact the local organisers: Axel Polleres (http://www.polleres.net) Siegfried Handschuh (http://www.siegfried-handschuh.net/) From admin at cyberjournals.com Mon Feb 7 04:57:17 2011 From: admin at cyberjournals.com (admin at cyberjournals.com) Date: Sun, 06 Feb 2011 21:57:17 -0600 Subject: Cyber Journals February Edition Call For Paper - Submission Deadline on February 10th Message-ID: <2cac21d47fe547d309764bbfb68914db@cyberjournals.com> Dear All We'd like to invite you to contribute to the Cyber Journals' February Edition and circulate this invitation among interested students, researchers, and faculty members of your department. There are a number of editorials positions available. Please contact our Editors-in-Chief for more information. Regards Cyber Journals Editors-in-Chief The Canadian-based Cyber Journals --------------------------- Call For Paper --------------------------- The Canadian-based Cyber Journals (ISSN: 1925-2676) invite students, researchers, academic and industrial professionals to submit manuscripts for the January Edition, under the following special issues: 1. Journal of Selected Areas in Telecommunications (JSAT) 2. Journal of Selected Areas in Software Engineering (JSSE) 3. Journal of Selected Areas in Microelectronics (JSAM) 4. Journal of Selected Areas in Nanotechnology (JSAN) 5. Journal of Selected Areas in Mechatronics (JMTC) 6. Journal of Selected Areas in Health Informatics (JSHI) 7. Journal of Selected Areas in Bioengineering (JSAB) 8. Journal of Selected Areas in Bioinformatics (JBIO) 9. Journal of Selected Areas in Robotics and Control (JSRC) 10. Journal of Selected Areas in Renewable and Sustainable Energy (JRSE) Scope: Cyber journals accept scientific research and review articles from diverse fields. Please refer to the journals website (http://www.cyberjournals.com/) for details under each special issue. Editorial Review: Manuscripts will be double-blind-peer reviewed by three experts and professionals in the field and the author(s) will receive the review results accordingly. Editorial Members: Cyber Journals publication is supported by +60 highly professional and technical editorial members, gathered from diverse technical and educational backgrounds from USA, Canada, and other parts of the world. Please refer to the editorial page for more information: http://www.cyberjournals.com/editors.html Author Guidelines: Please refer to the author guidelines section for a sample article template, which follows the IEEE standard (http://www.cyberjournals.com/guidelines.html). Submission: Authors are requested to submit their manuscripts using the submission page: (http://www.cyberjournals.com/submit.html). Paper Indexing: Accepted papers are fully accessible and indexed in this page: (http://www.cyberjournals.com/papers.html). Best Paper Award: *** All submitted papers are considered for the Best Paper Award. Please refer to the Best Paper Award page (http://www.cyberjournals.com/bestpa.html). Online Citation Sources: Cyber Journals Publication is a member of a number of online citation sources, including: Google Scholar, Docstoc, Scribd, Publishing List and getCITED, and will continue to be included in more online citation systems. Contacting the Editors-in-Chief: Contact us if you have a question regarding the journals, at: admin at cyberjournals.com Important Dates: Article Submission Deadline: February 10th, 2011 Author Notification: February 21st, 2011 Final Manuscript Due: February 28th, 2011 Online indexing: Early March 2011 Cyber Journals' next monthly edition is due on March 10th, 2011 From shilov at iis.nsk.su Mon Feb 7 09:02:41 2011 From: shilov at iis.nsk.su (shilov at iis.nsk.su) Date: Mon, 7 Feb 2011 14:02:41 +0600 Subject: CFP: Second Workshop on Program Semantics, Specification and Verification (St. Petersburg, Russia). Message-ID: The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011, http://logic.pdmi.ras.ru/csr2011/ppsv2011) affiliated with 6th International Computer Science Symposium in Russia (CSR-2011), will be held on June 12-13, 2011 in St. Petersburg, Russia. It will be the second edition of the workshop. The first inaugural workshop PSSV-2010 took place June 14-15, 2010 in Kazan, Russia as a part of 5th International Computer Science Symposium in Russia (CSR-2010). =========================================== Important dates: Extended abstract submission: March 1, 2011 Notification: March 31, 2011 =========================================== Official language: English =========================================== Scope and Topics List of topics of interest includes (but is not limited to): * formalisms for program semantics (e.g. Abstract State Machines); * formal models and semantics of programs and systems (e.g. labeled transition systems); * semantics of programming and specification languages (e.g. axiomatic semantics); * formal description techniques (e.g. SDL); * logics for formal specification and verification (e.g. temporal logic); * deductive program verification (e.g. verification conditions and automatic invariant generation); * automatic theorem proving (e.g. combinations of decidable theories); * model checking of programs and systems (e.g. verification of finite-state protocol models); * static analysis of programs; * formal approach to testing and validation (e.g. automatic test generation); * program analysis and verification tools. Research, work in progress and position papers are welcome. =========================================== Program Chairs * Valery Nepomniaschy (Institute of Informatics Systems, Novosibirsk, Russia, vnep at iis.nsk.su) * Valery Sokolov (Yaroslavl State University, Yaroslavl, Russia, sokolov at uniyar.ac.ru) Program Committee: * Natasha Alechina (University of Nottingham, UK), * Sergey Baranov (St. Petersburg State Polytech. University, Russia), * Alexander Bolotov (University of Westminster, UK), * Michael Dekhtyar (Tver State University , Russia ), * Nina Evtushenko (Tomsk State University, Russia), * Vladimir Itsykson (St. Petersburg State Polytech. University, Russia), * Andrei Klimov (Keldysh Institute of Applied Mathematics, Moscow, Russia), * Victor Kuliamin (Institute for System Programming, Moscow, Russia), * Alexander Letichevsky (Glushkov Institute of Cybernetics, Kiev, Ukraine), * Alexei Lisitsa (University of Lliverpool), * Irina Lomazova (Higher School of Economics, Moscow, Russia), * Nikolay Shilov (Institute of Informatics Systems, Novosibirsk, Russia), * Vladimir Zakharov (Moscow State University, Russia). =========================================== Submission and Publication Program Committee invites submissions in the form of extended abstracts (up to 8 pages, Lecture Notes in Computer Science style) in English. Additional details may be included in an appendix up to 4 pages for Program Committee. Submissions should be in PDF format. They should be sent (as attachments) by e-mail with subject line "PSSV-2011" to Alexei Promsky (promsky at iis.nsk.su) and their short abstracts should be sent (as attachments) to PSSV Chairs. The acknowledgment will be send during 3 days. Program committee plans to have regular sessions and posters presentations. All accepted papers will be published in the preliminary proceedings before the workshop and the volume of the proceedings will be distributed at the workshop. Selected papers will be published after the workshop in one of Russian peer-review journals. At least one author of every accepted paper should present a talk in the workshop. -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Shuvendu.Lahiri at microsoft.com Mon Feb 7 22:02:48 2011 From: Shuvendu.Lahiri at microsoft.com (Shuvendu Lahiri) Date: Mon, 7 Feb 2011 21:02:48 +0000 Subject: SMT 2011: Call for papers Message-ID: <3F33FC2726532648BD89B2999AA91AE2121098B7@TK5EX14MBXC136.redmond.corp.microsoft.com> [**** We apologize if you receive multiple copies of this message ******] ====================================================================== SMT Workshop 2011 9th International Workshop on Satisfiability Modulo Theories Affiliated with CAV'11 Snowbird, Utah, USA, 14-15 July 2011 http://uclid.eecs.berkeley.edu/smt11/ ---CALL FOR PAPERS--- ====================================================================== Background ---------- Determining the satisfiability of first-order formulas modulo background theories, known as the Satisfiability Modulo Theories (SMT) problem, has proved to be an enabling technology for verification, synthesis, test generation, compiler optimization, scheduling, and other areas. The success of SMT techniques depends on the development of both domain-specific decision procedures for each background theory (e.g., linear arithmetic, the theory of arrays, or the theory of bit-vectors) and combination methods that allow one to obtain more versatile SMT tools, usually leveraging Boolean satisfiability (SAT) solvers. These ingredients together make SMT techniques well-suited for use in larger automated reasoning and verification efforts. Aims and Scope -------------- The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Relevant topics include but are not limited to: * New decision procedures and new theories of interest * Combinations of decision procedures * Novel implementation techniques * Benchmarks and evaluation methodologies * Applications and case studies * Theoretical results Papers on pragmatic aspects of implementing and using SMT tools, as well as novel applications of SMT, are especially encouraged. Important dates --------------- * Submission deadline - April 15, 2011 * Notification of acceptance/rejection - May 20, 2011 * Final version due - June 10, 2011 * Workshop: - July 14-15, 2011 Paper submission and Proceedings -------------------------------- Three categories of submissions are invited: * Original papers: contain original research (simultaneous submissions are not allowed) and sufficient detail to assess the merits and relevance of the submission. For papers reporting experimental results, authors are strongly encouraged to make their data available. Given the informal style of the workshop, papers describing work in progress, with sufficient detail to assess the contribution, are also welcome. * Extended abstracts: contain preliminary reports of work in progress. These will be judged based on the expected level of interest for the SMT community. They will be included in the informal proceedings. * Presentation-only papers: describe work recently published or submitted and will not be included in the proceedings. We see this as a way to provide additional access to important developments that SMT Workshop attendees may be unaware of. Papers in all three categories will be peer-reviewed. Papers should not exceed 10 pages (Postscript or PDF) and should be written in LaTeX, 11pt, one column, letter-size paper, standard margins. Technical details may be included in an appendix to be read at the reviewers' discretion. Workshop Chairs --------------- * Shuvendu K. Lahiri (Microsoft Research) * Sanjit A. Seshia (University of California, Berkeley) Program Committee ----------------- * Clark Barrett (NYU) * Maria Paola Bonacina (Univ. of Verona) * Alessandro Cimatti (FBK Trento) * Scott Cotton (Univ. College Dublin) * Bruno Dutertre (SRI International) * Martin Fränzle (Carl von Ossietzky Universität Oldenburg) * Vijay Ganesh (MIT) * Amit Goel (Intel) * Franjo Ivancic (NEC Labs) * Daniel Kroening (Oxford) * Andreas Kuehlmann (Coverity) * Shuvendu K. Lahiri (Microsoft Research) * Leonardo de Moura (Microsoft Research) * Sanjit A. Seshia (University of California, Berkeley) * Ofer Strichman (Technion) * Cesare Tinelli (Iowa) -------------------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mchan at inf.ed.ac.uk Tue Feb 8 05:32:10 2011 From: mchan at inf.ed.ac.uk (LHD-11) Date: Tue, 08 Feb 2011 04:32:10 +0000 Subject: 2nd CFP: IJCAI-11 Workshop on Discovering Meaning On the Go in Large & Heterogeneous Data (LHD-11) Message-ID: <4D50C74A.1060504@inf.ed.ac.uk> Apologies for cross-posting ------------------------------------------------------------------------------ Call for papers for LHD-11 workshop at IJCAI-11, July 2011, Barcelona: Discovering Meaning On the Go in Large & Heterogeneous Data http://dream.inf.ed.ac.uk/events/lhd-11/ ------------------------------------------------------------------------------ An interdisciplinary approach is necessary to discover and match meaning dynamically in a world of increasingly large data. This workshop aims to bring together practitioners from academia, industry and government for interaction and discussion. The workshop will feature: * A panel discussion representing industrial and governmental input, entitled "Big Society meets Big Data: Industry and Government Applications of Mapping Meaning". Panel members will include: * Peter Mika (Yahoo!) * Alon Halevy (Google) * Tom McCutcheon (Dstl) * Representative of ONR Global * An invited talk from Fausto Giunchglia, discussing the relationship between social computing and ontology matching; * Paper and poster presentations; * Workshop sponsored by: Yahoo! Research, W3C and others Workshop Description The problem of semantic alignment - that of two systems failing to understand one another when their representations are not identical - occurs in a huge variety of areas: Linked Data, database integration, e-science, multi-agent systems, information retrieval over structured data; anywhere, in fact, where semantics or a shared structure are necessary but centralised control over the schema of the data sources is undesirable or impractical. Yet this is increasingly a critical problem in the world of large scale data, particularly as more and more of this kind of data is available over the Web. In order to interact successfully in an open and heterogeneous environment, being able to dynamically and adaptively integrate large and heterogeneous data from the Web "on the go" is necessary. This may not be a precise process but a matter of finding a good enough integration to allow interaction to proceed successfully, even if a complete solution is impossible. Considerable success has already been achieved in the field of ontology matching and merging, but the application of these techniques - often developed for static environments - to the dynamic integration of large-scale data has not been well studied. Presenting the results of such dynamic integration to both end-users and database administrators - while providing quality assurance and provenance - is not yet a feature of many deployed systems. To make matters more difficult, on the Web there are massive amounts of information available online that could be integrated, but this information is often chaotically organised, stored in a wide variety of data-formats, and difficult to interpret. This area has been of interest in academia for some time, and is becoming increasingly important in industry and - thanks to open data efforts and other initiatives - to government as well. The aim of this workshop is to bring together practitioners from academia, industry and government who are involved in all aspects of this field: from those developing, curating and using Linked Data, to those focusing on matching and merging techniques. Topics of interest include, but are not limited to: * Integration of large and heterogeneous data * Machine-learning over structured data * Ontology evolution and dynamics * Ontology matching and alignment * Presentation of dynamically integrated data * Incentives and human computation over structured data and ontologies * Ranking and search over structured and semi-structured data * Quality assurance and data-cleansing * Vocabulary management in Linked Data * Schema and ontology versioning and provenance * Background knowledge in matching * Extensions to knowledge representation languages to better support change * Inconsistency and missing values in databases and ontologies * Dynamic knowledge construction and exploitation * Matching for dynamic applications (e.g., p2p, agents, streaming) * Case studies, software tools, use cases, applications * Open problems * Foundational issues Applications and evaluations on data-sources that are from the Web and Linked Data are particularly encouraged. Submission LHD-11 invites submissions of both full length papers of no more than 6 pages and position papers of 1-3 pages. Authors of full-papers which are considered to be both of a high quality and of broad interest to most attendees will be invited to give full presentations; authors of more position papers will be invited to participate in "group panels" and in a poster session. All accepted papers (both position and full length papers) will be published as part of the IJCAI workshop proceedings, and will be available online from the workshop website. After the workshop, we will be publishing a special issue of the Artificial Intelligence Review and authors of the best quality submissions will be invited to submit extended versions of their papers (subject to the overall standard of submissions being appropriately high). All contributions should be in pdf format and should be uploaded via http://www.easychair.org/conferences/?conf=lhd11. Authors should follow the IJCAI author instructions http://ijcai-11.iiia.csic.es/calls/formatting_instructions. Important Dates Paper submission: March 14, 2011 Notification: April 25, 2011 Camera ready: May 16, 2011 Early registration: TBA Late registration: TBA Workshop: 16th July, 2011 Organising Committee: Fiona McNeill (University of Edinburgh) Harry Halpin (Yahoo! Research) Michael Chan (University of Edinburgh) Program committee: Marcelo Arenas (Pontificia Universidad Catolica de Chile) Krisztian Balog (University of Amsterdam) Paolo Besana (University of Edinburgh) Roi Blanco (Yahoo! Research) Paolo Bouquet (University of Trento) Ulf Brefeld (Yahoo! Research) Alan Bundy (University of Edinburgh) Ciro Cattuto (ISI Foundation) Vinay Chaudhri (SRI) James Cheney (University of Edinburgh) Oscar Corcho (Universidad Politécnica de Madrid) Shady Elbassuoni (Max-Planck-Institut für Informatik) Jerome Euzenat (INRIA Grenoble Rhone-Alpes) Eraldo Fernandes (Pontifícia Universidade Católica do Rio de Janeiro) Aldo Gangemi (CNR) Pat Hayes (IHMC) Pascal Hitzler (Wright State University) Ivan Herman (W3C) Tom McCutcheon (Dstl) Shuai Ma (Beihang University) Ashok Malhotra (Oracle) Martin Merry (Epimorphics) Daniel Miranker (University of Texas-Austin) Adam Pease (Articulate Software) Valentina Presutti (CNR) David Roberston (University of Edinburgh) Juan Sequeda (University of Texas-Austin) Pavel Shvaiko (Informatica Trentina) Jamie Taylor (Google) Eveylne Viegas (Microsoft Research) -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. From slim.kallel at fsegs.rnu.tn Tue Feb 8 11:46:35 2011 From: slim.kallel at fsegs.rnu.tn (Slim Kallel) Date: Tue, 8 Feb 2011 11:46:35 +0100 Subject: [CFP] AROSA 2011: 27 - 29 June 2011, Paris, France Message-ID: CALL FOR PAPERS 1st Track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures (AROSA 2011) http://arosa2011.redcad.org Conference Track @ 20th WETICE Conference http://www.wetice.org 27 - 29 June 2011, Paris, France The goal of this track is to bring together researchers and practitioners both from the Academia and from the Industry working in the areas of Service-oriented and component-based software applications and architectures and addressing adaptation and reconfiguration issues. Different investigation topics are involved, such as: CBSE, SOA, Functional and Non Functional (NF) requirements (QoS, performance, resilience), monitoring, diagnosis, decision and execution of adaptation and reconfiguration. Different research axes are covered: concepts, methods, techniques, and tools to design, develop, deploy and manage adaptive and reconfigurable software systems. The development of composite services poses very interesting challenges concerning their functional and NF requirements. On the one hand, a composite software system depends on the NF requirements of its constituting components in order to provide a satisfactory service to the user. On the other hand, the main issues for the fulfillment of QoS and service level agreements (SLA) are concerned with performance variability. Indeed, the QoS may evolve frequently, either because of internal changes or because of workload fluctuations. The performance and the robustness of the composite software system may be significantly improved by monitoring the execution of the components and by flexibly reacting to degradation and anomalies in a timely fashion. The concept of adaptive and reconfigurable software systems has been introduced in order to describe architectures which exhibit such properties. An adaptive and reconfigurable software system can repair itself if any execution problems occur, in order to successfully complete its own execution, while respecting functional and NF agreements. In the design of an adaptive and reconfigurable software system, several aspects have to be considered. For instance, the system should be able to predict or to detect degradations and failures as soon as possible and to enact suitable recovery actions. Moreover, different NF requirements service levels might be considered in order to complete the execution in case of failure. TOPICS OF INTEREST For this track, contributions are devoted to functional and non functional adaptability and reconfiguration management in service-oriented and component-based software systems. Specifically, the relevant topics include, but are not limited to: - Distributed and centralized collaborative solutions for the diagnosis and repair of software systems - Design for the diagnosability and repairability - Collaborative Management of NF requirements (quality, security, robustness, availability) - Monitoring simple and composite architectures, components and services - Semantic (or analytic) architectural and behavioral models for monitoring of software systems - Dynamic reconfiguration of CB and SO architectures - Collaborative planning and decision making - Collaborative technologies for ensuring autonomic properties - Predictive management of adaptability. - Collaborative Management of autonomic properties - Experiences in practical adaptive and reconfigurable CB and SO applications - Tools and prototypes for managing adaptability of CB and SO applications IMPORTANT DATES Paper Submission: March 5, 2011 Decision Notification (Electronic): April 4, 2011 Camera-Ready Submission & Pre-registration: April 29, 2011 PAPER SUBMISSION AND PUBLICATION Authors are invited to submit full papers (about 8 pages) or short papers (about 4 pages) of double column, as per IEEE 8.5 x 11 manuscript guidelines (http://www.computer.org/cspress/instruct.htm). Papers should be submitted via the Easychair submission site The decision about the acceptance and rejection of the submitted papers will be taken by the track chairs based on rigorous evaluations and recommendations that will be made by the members of the program committee. Every submitted paper will be evaluated by at least three members of the program committee. Accepted papers will be published along with the WETICE 2011 proceedings by the IEEE Computer Society Press. A journal special issue is planned for a selection of papers after the track. TRACK CHAIRS Khalil Drira, CNRS-LAAS, Université de Toulouse, France Mohamed Jmaiel, ENIS, Université de Sfax, Tunisia PROGRAM COMMITTEE MEMBERS Yamine Ait-Ameur, LISI / ENSMA, Futuroscope, France Lutiano Baresi, Politecnicodi Milano, Italy Kamel Barkaoui, CNAM, Paris, France Djamel Belaid, Telecom SudParic, Evry, France Djamal BenSlimane, Université Claude Bernard Lyon 1, France Stefano Bocconi, Elsevier Labs, Amsterdam, the Netherlands Etienne Borde, Malardalen University, Sweden Miriam Capretz, University of Western Ontario, Canada Anis Charfi, SAP, Darmstadt, Germany Marco Comuzzi, City University London, UK Luca Console, Universita di Torino, Italy Marcos Da Silveira, CR SANTEC, Luxembourg Flavio De Paoli, Universita di Milano, Italy Elisabetta Di-Nitto, Politecnico di Milano, Italy Schahram Dustdar, Technical University of Vienna, Austria Johann Eder, University of Klagenfurt, Austria Mohamed Erradi, ENSIAS, Rabat, Morrocco Bernd Freisleben, University of Marburg, Germany Gerhard Friedrich, University of Klagenfurt, Austria MariaGrazia Fugini, Politecnico di Milano, Italy Mohamed-Said Hacid, Université Claude Bernard Lyon 1, France Ahmed Hadj Kacem, FSEGS, University of Sfax, Tunisia Guillermo Hoyos-Rivera, Universidad Xalapa, Veracruz, Mexico Dimka Karastoyanova, University of Stuttgart, Germany Zakaria Maamar, College of Information Technology, Dubai Campus, UAE Zaki Malik, Wayne State University, USA Fatma Mili, Oakland University , USA Francisco Moo-Mena, Univisidad Autonome du Yucatan, Mexico Mohamed Mosbah, LARBI, ENSEIRB, Bordeaux, France Olga Nabuco, Centro de Pesquisas Renato Archer, Campinas, Brazil Ali Noui-Mehidi, General Motors Corp., USA Flavio Oquendo, Université Européenne de Bretagne - UBS/VALORIA, France Mourad Oussalah, LINA, Université de Nantes, France Mike Papazouglou, INFOLAB, Tilburg University, The Netherlands Barbara Pernici, Politecnico di Milano, Italy Ilia Petrov, Technische Universitaet Darmstadt, Germany Damian Serrano, Universidad Politecnica de Madrid, Spain Jun Suzuki, University of Massachusetts, Boston, USA Stefan Tai, Technical University of Karlsruhe, Germany Samir Tata, Telecom SudParis, Evry, France Maria Beatriz F. Toledo, Coumputation Insitute, UNICAMP, Brazil Qi Yu, Rochester Institute of Technology, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From leucker at in.tum.de Thu Feb 10 11:56:52 2011 From: leucker at in.tum.de (Martin Leucker) Date: Thu, 10 Feb 2011 11:56:52 +0100 Subject: CfP: Time'11 Message-ID: <20110210105652.GA8020@sunsvr01.isp.uni-luebeck.de> TIME 2011 Call for Papers Eighteenth International Symposium on Temporal Representation and Reasoning Luebeck, Germany, September 12-14, 2011 http://www.isp.uni-luebeck.de/time11/ The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research. This year, TIME will feature a special track on interval temporal logics. The conference will span three days, and will be organized as a combination of technical paper presentations, keynote lectures, and tutorials. * IMPORTANT DATES Abstract Submission: April 13 Paper Submission: April 17 Paper Notification: May 15 Camera Ready Copy Due: May 29 TIME 2011 Symposium: September 12-14 * TOPICS The main topics of the conference are: (1) Temporal Representation and Reasoning in AI (2) Temporal Database Management (3) Temporal Logic and Verification in Computer Science (4) Special Track on Interval Temporal logics Temporal Representation and Reasoning in AI includes, but is not limited to: - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - reasoning about actions and change - planning and planning languages - ontologies of time and space-time - belief and uncertainty in temporal knowledge - temporal learning and discovery - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web Temporal Database Management includes, but is not limited to: - temporal data models and query languages - temporal query processing and indexing - temporal data mining - time series data management - stream data management - spatio-temporal data management, including moving objects - data currency and expiration - indeterminate and imprecise temporal data - temporal constraints - temporal aspects of workflow and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - novel applications of temporal database management - experiences with real applications Temporal Logic and Verification in Computer Science includes, but is not limited to: - specification and verification of systems - verification of web applications - synthesis and execution - model checking algorithms - verification of infinite-state systems - reasoning about transition systems - temporal architectures - temporal logics for distributed systems - temporal logics of knowledge - hybrid systems and real-time logics - tools and practical systems - temporal issues in security Special track on Interval Temporal logic This year, TIME has an additional special track on Interval Temporal Logics. This track is organized by Dimitar Guelev and Ben Moszkowski. Submissions on ITL will be primarily managed by them, though the final decision on acceptance will be taken by the whole PC. Topics of interest include, but are not limited to: - expressiveness, decidability, proof systems, model- and validity-checking for ITLs - modelling of system requirements in terms of time intervals - intervals versus time points in temporal modelling - Duration Calculus and other extensions and variants of ITLs - ITLs, DC, timed automata, timed regular languages and other models of real time - interval algebras and spatio-temporal reasoning - case studies, applications and tool support for interval-based reasoning * PAPER SUBMISSION Submissions of high quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed by at least three reviewers for quality, correctness, originality, and relevance. Accepted papers will be presented at the symposium and included in the proceedings, which will be published by the IEEE Computer Society Press. Acceptance of a paper is contingent on one author presenting the paper at the symposium. Submissions should be in PDF format (with the necessary fonts embedded). They must be formatted according to the IEEE guide- lines described at ftp://pubftp.computer.org/press/outgoing/ proceedings/8.5x11 - Formatting files/ and must not exceed 8 pages; over-length submissions may be rejected without review. Papers are submitted electronically via Easychair: http://www.easychair.org/conferences/?conf=time11 * CONFERENCE OFFICERS General Chair: Carlo Combi, University of Verona, Italy Program Committee Chairs: Martin Leucker, University of Luebeck, Germany Frank Wolter, University of Liverpool, United Kingdom Organization Chair: Martin Leucker, Universitaet Luebeck, Germany * PROGRAM COMMITTEE includes Alessandro Artale, University of Bolzano, Italy Philippe Balbiani, IRIT Toulouse, France Claudio Bettini, University of Milan, Italy Benedikt Bollig, CNRS, France Lubos Brim, University of Brno, Czech Republic Dang Van Hung, Vietnam National University, Vietnam Clare Dixon, University of Liverpool, UK Rajeev Gore, ANU, Australia Dimitar Guelev, Bulgarian Academy of Sciences, Bulgaria Peter Habermehl, CNRS, France Ian Hodkinson, Imperial College London, UK Roman Kontchakov, Birkeck College London, UK Salvatore La Torre, University of Salerno, Italy Ranko Lazic, University of Warwick, UK Kamal Lodaya, IMSc, India Nicolas Markey, CNRS, France Angelo Montanari, University of Udine, Italy Ben Moszkowski, De Montfort University, UK Dirk Nowotka, University of Stuttgart, Germany Jean-Francois Raskin, Free University Brussels, Belgium Peter Revesz, University of Nebraska-Lincoln, USA Mark Reynolds, University of Western Australia, Australia Martin Sachenbacher, Technical University Munich, Germany Cesar Sanchez, University of Madrid, Spain Christian Schallhart, University of Oxford, UK Stefan Woelfl, University of Freiburg, Germany Naijun Zhan, Chinese Academy of Sciences Beijing, China Esteban Zimanyi, ULB, Belgium * FURTHER INFORMATION Questions related to submission, reviewing, and program: time11 at isp.uni-luebeck.de Questions related to local organization: time11-org at isp.uni-luebeck.de From paolo.torroni at unibo.it Thu Feb 10 16:43:42 2011 From: paolo.torroni at unibo.it (Paolo Torroni) Date: Thu, 10 Feb 2011 16:43:42 +0100 Subject: ISCL Spring School on Computational Logic - early registration: March 10, 2011 Message-ID: <4D5407AE.4060907@unibo.it> ISCL 2011 Third International ALP/GULP School on Computational Logic Bertinoro, Italy, April 10-15, 2011 (co-located with DALT School 2011) http://lia.deis.unibo.it/confs/iscl * EARLY REGISTRATION DEADLINE: MARCH 10, 2011 * Computational Logic has many applications, including the modeling of intelligent systems, verification of software, and the support of systems for solving computationally hard problems. Moreover, being founded on mathematical logic, tools based on CL are themselves amenable to safe optimization and verification techniques. ISCL 2011 builds on the success of 6 schools organized by GULP, the Italian Association for Logic Programming. GULP, founded in 1985, is a non-profit organization which is in charge of organizing the Italian Conference on Computational Logic. ISCL 2011 is the result of a partnership between GULP and ALP, the Association for Logic Programing. It aims at giving a comprehensive introduction to this exciting research domain and disseminate the results of research with a perspective on the future. The school will provide a rich programme of lectures on different aspects of CL, covering both the theoretical framework and relevant practical perspectives, techniques and tools. Each lecture will provide the basic notions of its topic before proceeding to more advanced issues. The school will include activities dedicated to graduate students and final exams on request. LECTURERS Giorgio Delzanno is Associate Professor the University ofGenoa. He has given many important contributions in automated verification, model checking, infinite-state systems, models for concurrent and biological systems. He has been the recipient of several research grants and international awards. Enrico Franconi is the Director of the European Masters Program in Computational Logic at the Free University of Bozen-Bolzano, and Principal Investigator in many EU-funded actions, networks of excellence and large-scale projects on topics related to the semantic web, networked knowledge, business processes and integration of ontological and rule-based reasoning. Robert Kowalski is Professor Emeritus at Imperial CollegeLondon, and one of the first developers of logic programming. He made important contributions to various areas such as automated reasoning, representing and reasoning about time, abductive logic programming and intelligent agents. His current research focuses on the application of computational logic to cognitive science. Dale Miller is the Director of Research at INRIA Saclay and leader of the Parsifal team working on foundational aspects of proof theory as well as on the design and implementation of systems that exploit that foundational work. His main interests are in programming language theory, proof theory, linear logic, and automated deduction. Pascal Van Hentenryck is Professor of computer science at Brown University, and the Director of the optimization laboratory. He was the main designer and implementor of the CHIP programming system. He leads many research projects funded by public and private institutions, in which his research is applied to a large number of domains. ACTIVITIES The programme will include: - an introductory lecture to give an overview of the school - 5 topical courses of 6 hours each - student sessions with focussed brainstorming and organized mentoring activities - a social trip TARGET AUDIENCE The school targets graduate students as well as other interested researchers, from university, government and industry. It will allow students to get a thorough overview of cutting-edge research and technologies and get in touch with leading scientists. The school aims to be truly international with a strong participation from regions all around the world. This will help students make connections with international participants and set the base for potentially long-term cooperations. An initial list of participants is available on the school Web site. FINANCIAL AID AND MORE Grant application is now closed. However, additional support is still available to AEPIA, APPIA, ACIA, AIxIA and AISB members. Limited personal subscription to selected journals will be offered by John Wiley & Sons to all attendees registered before March 25, 2011. VENUE The University Residential Center is located in the small medieval hilltop town of Bertinoro, 50km east of Bologna at an elevation of 230m above sea level. Bertinoro is easily reachable from Bologna and Forli airport or train station. The registration includes shuttle bus on April 10 and April 15. Bertinoro is close to many splendid Italian locations such as Ravenna, Rimini on the Adriatic coast, and the Republic of San Marino (all within 35km). Bertinoro can also be a base for visiting some of the better-known Italian locations such as Padua, Ferrara,Venice, Urbino, Florence and Siena. LECTURES Unity in Computational Logic Computational logic is divided into several different fragments. There is the division between the proof-as-program (functional programming) approach and the proof-search (logic programming) approach to specifying computation. There is the division among computation, model checking, and theorem proving. Even at the level of the description of such technical devices as proofs systems, there is the division among sequent calculus, natural deduction, tableaux, and resolution. In these lectures, I will show how recent results in structural proof theory bring an organization to these topics so that these divisions can be understood as certain choices within a large, flexible framework. That framework involves recent lessons learned from linear logic, focused proofs systems, and the use of fixed points and equality as logical connectives. (Lecturer: Dale Miller). Constraint Languages for Parametrized Verification: Bags, Words, Trees, and Graphs Parametrized verification is aimed at developing methods for proving the correctness of systems consisting of an arbitrary number of repeated components. In the lectures we overview some of the methods that can be applied to systems in which configurations can be represented by structures like bags, words, trees, and graphs. Examples of this class of systems are: broadcast protocols (used to model cache coherence protocols), automata with global conditions (used to model mutual exclusion protocols for N-processes), tree rewriting systems (used to model hierarchical systems), selective broadcast protocols (used to model protocols for ad hoc networks). In the presentation we use the metaphor "constraints as symbolic representation of sets of states" to give a uniform presentation of verification methods and of termination conditions in all these types of systems. Prerequisites: Basics of logic and algorithms. (Lecturer: Giorgio Delzanno). Description Logics The main effort of the research in knowledge representation is providing theories and systems for expressing structured knowledge and for accessing and reasoning with it in a principled way. In this course we will study Description Logics (DL), an important powerful class of logic-based knowledge representation languages, which also form the logical underpinning of the OWL family of web ontology languages standardised by W3C. The emphasis will be on a rigorous approach to knowledge representation and building ontologies. DL will be introduced with its simplest formalization; the computational properties and algorithms of the so called structural DL will be analysed. Then, the course considers propositional DL: we will study the computational properties and the reasoning with tableaux calculus. In the final part of the course, we will consider advanced topics such as the representation of knowledge bases and ontologies, and the connections of DL with database theory. (Lecturer: Enrico Franconi). Constraint Programming and Optimization Systems Constraint programming is a declarative paradigm for expressing and solving hard combinatorial optimization problems. Constraint programming features an expressive and compositional language for expressing constraints, which captures substructures on an application. Moreover, constraint programming typically offers a rich search language to guide the solver towards feasible and infeasible solutions. Computationally, constraint programming uses constraints to filter infeasible values from the variable domains. This course reviews both of these aspects, explores the hybridization of constraint programming with other optimization paradigms, and discusses similarities and differences with other approaches to optimization and constraint satisfaction. Real case studies in a modern constraint programming languages demonstrate the technology. (Lecturer: Pascal Van Hentenryck). Computational Logic and Human Thinking: How to be Artificially Intelligent This course is based on the book Computational Logic and Human Thinking: How to be Artificially Intelligent to be published by Cambridge University Press. In both this course and the book, I make the case for a comprehensive, logic-based theory of human intelligence, drawing upon and reconciling a number of otherwise competing paradigms in Artificial Intelligence and other fields. The most important of these paradigms are production systems, logic programming, classical logic and decision theory. The technical foundations of the theory are provided by abductive logic programming embedded in an observation-thought decision-action agent cycle. The theory draws support, not only from Logic, Computing and Artificial Intelligence, but from related developments in Cognitive Psychology, Philosophy, Law and Management Science. (Lecturer: Robert Kowalski). FEES Standard registration is 700 euro until March 10, 2011. Standard registrations are ALL-INCLUSIVE and cover access to all lectures and exams, mentoring program and student session, lodging (5 nights) in double room (subject to availability), welcome cocktail, breakfasts, coffee breaks, lunches and canteen/restaurant dinners, social trip (including dinner), Internet access. Daily registrations are also possible, as well as separate fees for accompanying person, upgrades to single room, and B&B accommodation for early arrivals and late departures at convenient rates. SPONSORS AI Journal, Association for Logic Programming, Italian Association for Logic Programming, Spanish Association for AI, Catalan Association for AI, Portuguese Association for AI, The British Society for the Study of AI andSimulation of Behaviour, Italian Association for AI, Italian Association for Logic Programming, SICStus Prolog, John Wiley& Sons, Bertinoro International Center for Informatics. ORGANISATION School Organisers Paolo Torroni, DEIS, University of Bologna, Italy Maurizio Gabbrielli, DSI, University of Bologna, Italy Student Session Organiser Marco Montali, DEIS, University of Bologna, Italy Local Organisers Marco Prandini, DEIS, University of Bologna Eleonora Campori, Bertinoro Center for Informatics Manuela Schiavi, Bertinoro Center for Informatics INQUIRIES For all visa-related and administrative concerns such as payment, registration, lodging, and local logistics, contact Eleonora Campori, ecampori at ceub.it. Direct all other inquires to iscl.2011 at gmail.com. We will answer in 2 working days. From paolo.torroni at unibo.it Thu Feb 10 16:44:42 2011 From: paolo.torroni at unibo.it (Paolo Torroni) Date: Thu, 10 Feb 2011 16:44:42 +0100 Subject: DALT Spring School on Declarative Agent Languages and Technologies - early registration: March 10, 2011 Message-ID: <4D5407EA.10205@unibo.it> DALT School 2011 First International School on Declarative Agent Languages and Technologies Bertinoro, Italy, April 10-15, 2011 (co-located with ISCL 2011) http://lia.deis.unibo.it/confs/dalt_school * EARLY REGISTRATION DEADLINE: MARCH 10, 2011 * DALT is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multi-agent systems. Building complex agent systems calls for models and technologies that ensure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can satisfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of offering solutions satisfying the needs for both specifying and developing multi-agent systems. Moreover, they are gaining more and more attention in important application areas such as the semantic web, service-oriented computing, security, and electronic contracting. The DALT School builds on the success of 8 editions of the international AAMAS workshop series. The DALT School aims at giving a comprehensive introduction to this exciting research domain and disseminate the results of research achieved in this 9-year-long activity with a perspective on the future. The school will include sessions dedicated to PhD students, mentoring activities, focussed discussions and guided brainstorming. LECTURERS Francesca Toni is Reader in Computational Logic in the Department of Computing at Imperial College London and Leader of the Computational Logic and Argumentation research group. She has been Principal Investigator of several EU-funded projects in the areas of logic-based agents and argumentation. She is one of the main researchers who developed the KGP model of agency. Birna van Riemsdijk is Assistant Professor at TU Delft, where she develops techniques for engineering intelligent software systems that can support humans in performing complex tasks. Her research focusses on the use and development of declarative agent programming languages. She is one of the developers of the GOAL language and a member of the DALT steering committee. Peter McBurney is Professor of Computer Science and Head of the ART group at the University of Liverpool. He has been leading EU-funded research initiatives and managed many research grants for agent-related research worldwide and acted as a management consultant for leading IT and Telecommunications companies. His research focusses on semantics and pragmatics of agent communication and on multi-agent models of economic markets and marketing. Wamberto Vasconcelos is a senior lecturer at the University of Aberdeen, where he works on intelligent software agents and on knowledge technologies. He has been involved in several international research projects on information technologies and service sciences. He is a member of the steering committee of the Coordination, Organization, Institutions and Norms workshop series (COIN) and an organizer of the DALT workshop in 2010 and 2011. Rafael Bordini is Associate Professor at Universidade Federal do Rio Grande do Sul. He is one of the main developers of the Jason framework and author of several books on agent programming. His research interests cover various aspects of software engineering for autonomous systems, including programming, modelling, verification, testing, debugging and application deployment. ACTIVITIES The programme will include: - an introductory lecture to give an overview of the school - 5 topical courses of 6 hours each - student sessions with focussed brainstorming and organized mentoring activities - a social trip TARGET AUDIENCE The school targets graduate students as well as other interested researchers, from university, government and industry. It will allow students to get a thorough overview of cutting-edge research and technologies and get in touch with leading scientists. The school aims to be truly international with a strong participation from regions all around the world. This will help students make connections with international participants and set the base for potentially long-term cooperations. An initial list of participants is available on the school Web site. FINANCIAL AID AND MORE Grant application is now closed. However, additional support is still available to AEPIA, APPIA, ACIA, AIxIA and AISB members. Limited personal subscription to selected journals will be offered by John Wiley & Sons to all attendees registered before March 25, 2011. VENUE The University Residential Center is located in the small medieval hilltop town of Bertinoro, 50km east of Bologna at an elevation of 230m above sea level. Bertinoro is easily reachable from Bologna and Forli airport or train station. The registration includes shuttle bus on April 10 and April 15. Bertinoro is close to many splendid Italian locations such as Ravenna, Rimini on the Adriatic coast, and the Republic of San Marino (all within 35km). Bertinoro can also be a base for visiting some of the better-known Italian locations such as Padua, Ferrara,Venice, Urbino, Florence and Siena. LECTURES Agent and Multi-Agent Software Engineering: Modelling, Programming & Verification This course aims at providing an overview of three important parts of the practical development of multi-agent systems: modelling, programming, and verification. In particular, we will cover approaches for multi-agent systems that are based on abstractions, techniques, and tools that have been specifically tailored for autonomous agents and multi-agent systems. Besides surveying various approaches that appeared in the Agents literature for each of the three parts of the development process, we will focus the concrete examples of the Programming part on the recently put together JaCaMo platform (Lecturer: Rafael Bordini). Agent Reasoning: Knowledge, Plans & Flexible Control Cycles I will present the KGP (Knowledge, Goals and Plan) model of agency. This model allows the specification of heterogeneous agents that can interact with each other, and can exhibit both proactive and reactive behaviour allowing them to function in dynamic environments by adjusting their goals and plans when changes happen in such environments. The KGP model provides a highly modular agent architecture that integrates a collection of reasoning and physical capabilities, synthesised within transitions that update the agent's state in response to reasoning, sensing and acting. Transitions are orchestrated by cycle theories that specify the order in which transitions are executed while taking into account the dynamic context and agent preferences, as well as selection operators for providing inputs to transitions. Cycle theories are means to program the control of agents in a flexible and adaptable manner. I will also present an argumentative variant of the KGP model, where reasoning capabilities are supported by argumentation. (Lecturer: Francesca Toni). Agent Reasoning: Goals & Preferences In this course we will investigate how motivational attitudes like desires, goals and intentions have been and are being used to represent and program agent reasoning. We will consider both theoretical approaches for investigating these notions and their interplay, as well as ways of using these notions to develop cognitive agents. The GOAL agent programming language in which the notion of goal is important will be used for illustration. Recent results from empirical studies on how GOAL is used to program agents that control bots in Unreal Tournament will be presented. (Lecturer: Birna van Riemsdijk). Organisation, Coordination & Norms for Multi-Agent Systems This course will introduce organisation theory concepts for agents and multi-agent systems; some of these concepts are objectives, roles and their relations, power, and capabilities, to name a few. We shall then use organisation concepts to create/synthesise stereotypical agents which will "embody" aspects of the organisation: these agents will coordinate efforts in order to find and enact a joint plan to achieve individual and organisational objectives. We explicitly represent norms, that is, permissions, prohibitions and obligations, as means to "fine-tune" the coordination/planning effort, ruling out certain courses of actions or giving preference/priority to other courses of actions. The course will make use of the tools and methodology of the EU-funded ALIVE project. (Lecturer: Wamberto Vasconcelos). Agent Interaction: Languages, Dialogues & Protocols In this course we will explore the design and engineering of artificial communications languages and protocols to enable autonomous, intelligent software agents to communicate with one another. The design of these languages and protocols draws on human linguistics, on the philosophy of language and dialog, on formal logic, and on the theory of computer programming languages. We will look at the syntax, semantics, and pragmatics of multi-agent languages and protocols, and consider related issues such as dynamic (run-time) composition of protocols and the efficient storage and retrieval of protocols. (Lecturer: Peter McBurney). FEES Standard registration is 700 euro until March 10, 2011. Standard registrations are ALL-INCLUSIVE and cover access to all lectures and exams, mentoring program and student session, lodging (5 nights) in double room (subject to availability), welcome cocktail, breakfasts, coffee breaks, lunches and canteen/restaurant dinners, social trip (including dinner), Internet access. Daily registrations are also possible, as well as separate fees for accompanying person, upgrades to single room, and B&B accommodation for early arrivals and late departures at convenient rates. SPONSORS AI Journal, COST Action IC0801 "Agreement Technologies", Foundation for Intelligent Physical Agents, Spanish Association for AI, Catalan Association for AI, Portuguese Association for AI, The British Society for the Study of AI and Simulation of Behaviour, Italian Association for AI, Italian Association for Logic Programming, SICStus Prolog, John Wiley & Sons, Bertinoro International Center for Informatics. ORGANISATION School Organisers Paolo Torroni, DEIS, University of Bologna Andrea Omicini, DEIS, University of Bologna Student Session Organiser Federico Chesani, DEIS, University of Bologna Local Organisers Marco Prandini, DEIS, University of Bologna Eleonora Campori, Bertinoro Center for Informatics Manuela Schiavi, Bertinoro Center for Informatics INQUIRIES For all visa-related and administrative concerns such as payment, registration, lodging, and local logistics, contact Eleonora Campori, ecampori at ceub.it. Direct all other inquires to dalt.school.2011 at gmail.com. We will answer in 2 working days. From ulle.endriss at uva.nl Thu Feb 10 20:59:36 2011 From: ulle.endriss at uva.nl (Ulle Endriss) Date: Thu, 10 Feb 2011 20:59:36 +0100 Subject: Call for Papers: IJCAI Workshop on Social Choice and AI (deadline: 6 April 2011) Message-ID: <4D5443A8.3050805@uva.nl> ********************************************************************** CALL FOR PAPERS: IJCAI Workshop on Social Choice and Artificial Intelligence Barcelona, 16 July 2011 (part of the IJCAI-2011 workshop programme) URL: http://www.illc.uva.nl/COMSOC/IJCAI-2011/ ********************************************************************** The IJCAI Workshop on Social Choice and Artificial Intelligence is part of the workshop programme of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-2011), to be held in Barcelona in July 2011. We invite submissions on all aspects of computational social choice, particularly contributions focusing on questions at the interface of social choice and AI and position papers addressing new challenges and research directions for our field. ********************************************************************** TOPICS OF INTEREST ********************************************************************** Social choice theory is the study of mechanisms for collective decision making, such as election systems or protocols for fair division. Computational social choice addresses problems at the interface of social choice theory with computer science, either by using concepts and methods from social choice theory to solve problems arising in computer science (such as webpage ranking), or by using techniques from computer science to solve (or reformulate) problems of social choice (such as designing social choice rules that are computationally hard to manipulate). We welcome submissions on all aspects of computational social choice. On top of this, we specifically invite papers focusing on questions at the interface of social choice and AI. Topics of interest will therefore include, but not be limited to: * Social Choice, Knowledge Representation and Automated Reasoning: What are suitable languages to formally and compactly describe social choice problems? How do we best reason about these problems? What automated reasoning techniques are available to verify that a given social choice procedure satisfies a given property and to what extent can we automatically verify or discover theorems in social choice theory? * Social Choice, Search, Planning and Constraints: How do we best exploit techniques developed in AI search, planning and constraint programming to solve computationally intractable problems in social choice? * Social Choice and Multiagent Systems: How should we adapt the formal apparatus developed in social choice theory to model group decision making amongst autonomous software agents (e.g., in view of how preferences are modelled, what properties of aggregation procedures are desirable, etc.)? What are best practices for applying social choice techniques in multiagent systems? * Social Choice and Uncertainty: What can approaches developed in the Uncertainty in AI community contribute to the problem of making collective choices when various parameters of the decision to be made are uncertain (e.g., incomplete preferences, uncertain consequences of collective decisions, etc.)? * Social Choice and AI Applications: How can computational social choice benefit application areas that are widely studied in AI, such as recommender systems, Internet search engines, question answering, ontology merging, and more? ********************************************************************** PAPER SUBMISSION AND PROCEEDINGS ********************************************************************** We invite the submission of technical papers (up to 6 pages, IJCAI format) describing original and unpublished work as well as position papers (up to 2 pages, IJCAI format) discussing open problems and research challenges or outlining new directions for our field. We specifically welcome technical papers reporting on work in progress. Position papers will be evaluated on their originality and perceived appeal to the target audience of the workshop; interdisciplinary work is especially welcome. All submissions will be reviewed by the programme committee. Accepted contributions will be included in the informal workshop notes, which will be distributed at the workshop (in electronic form). We do not plan to edit formally published proceedings. Instead, we hope that authors will be able to use the feedback received during the reviewing process and the workshop itself when preparing their work for submission to an archival conference or a journal at a later time. Details regarding the submission procedure and formatting instructions are available at the workshop website. ********************************************************************** IMPORTANT DATES ********************************************************************** * Submission deadline: Wednesday, 6 April 2011 * Paper notifications: Friday, 6 May 2011 * Final papers due: Monday, 16 May 2011 * Workshop: Saturday, 16 July 2011 ********************************************************************** PROGRAMME COMMITTEE ********************************************************************** * Craig Boutilier * Ioannis Caragiannis * Vincent Conitzer * Edith Elkind (co-chair) * Ulle Endriss (co-chair) * Gabor Erdelyi * Piotr Faliszewski * Paul Harrenstein * Wiebe van der Hoek * Sebastien Konieczny * Sarit Kraus * Jerome Lang (co-chair) * Fangzhen Lin * Ariel Procaccia * Jeff Rosenschein * Francesca Rossi * Moshe Tennenholtz * Toby Walsh ********************************************************************** -- Ulle Endriss http://www.illc.uva.nl/~ulle/ Institute for Logic, Language & Computation (ILLC) University of Amsterdam Tel: +31 (0)20 525 6511 Postbus 94242 Fax: +31 (0)20 525 5206 1090 GE Amsterdam (NL) Email: u.endriss at uva.nl From Thomas.Agotnes at infomedia.uib.no Fri Feb 11 10:46:06 2011 From: Thomas.Agotnes at infomedia.uib.no (=?ISO-8859-1?Q?Thomas_=C5gotnes?=) Date: Fri, 11 Feb 2011 10:46:06 +0100 Subject: CFP: Logics for Games and Social Choice: CLIMA XII special session Message-ID: <05CE1ABB-F481-4EAC-8B2C-974F4B5E7199@infomedia.uib.no> ++++++++++++++++++++++++++++++++++++++++++++++++++++ Special session on **Logics for Games and Social Choice** CLIMA XII 12th International Workshop on Computational Logic in Multi-Agent Systems http://centria.di.fct.unl.pt/events/climaXII/sessions.html Barcelona, Spain, July 17-18, 2011. Affiliated with IJCAI'11. Submission deadline: April 4/8th. Call for Papers ++++++++++++++++++++++++++++++++++++++++++++++++++++ Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++ INTRODUCTION Logic and game theory form two theoretical underpinnings of multi-agent systems. On one hand, formal logic is a foundation for knowledge representation and reasoning, and opens the door to techniques for formal specification and automated verification. On the other hand, the interaction of rational decision makers has been studied in game theory for a long time. However, traditional game theory is not concerned with formal languages or reasoning systems, nor with computational issues, and until relatively recently formal logic has not been concerned with game theoretic issues. For reasoning about interesting properties of many, if not most, multi-agent systems, we need game theoretic concepts such as strategies, preferences, etc. In particular, many multi-agent systems can be seen as implementing social choice mechanisms. We invite papers on logical formalisation of concepts related to games and social choice, including but not limited to the following topics: - Logics for strategic reasoning - Logics for coalitional ability - Preference representation - Logical approaches to bounded rationality and limited cognition - Formal verification of games - Logic for mechanism design - Logical aspects of computational social choice - Judgment aggregation - Logical foundations of games and social choice - Epistemic logic SUBMISSION We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Papers are submitted to the special session by following the submission instructions for CLIMA: http://centria.di.fct.unl.pt/events/climaXII/submissions.html The special session on Logics for Games and Social Choice is chosen under "category" in Easychair. 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. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Important dates: * Submission: April 4th (Abstracts) / April 8th (Papers) * Notification: May 4th * Camera Ready: May 16th Special Session Organiser: * Thomas Ågotnes, University of Bergen, Norway In case of questions, please do not hesitate to contact us at thomas.agotnes at infomedia.uib.no (enquiries particularly related to the special session) or clima2011 at easychair.org (general CLIMA enquiries). ---------------------------------------------------------------------- Thomas Ågotnes Department of Information Science and Media Studies University of Bergen P.O. Box 7802, N-5020 Bergen, Norway Tel: (+47) 55584105 Fax: (+47) 55589149 Thomas.Agotnes at infomedia.uib.no http://folk.uib.no/nmita/ From Olivier.Boissier at emse.fr Fri Feb 11 14:55:24 2011 From: Olivier.Boissier at emse.fr (Olivier Boissier) Date: Fri, 11 Feb 2011 14:55:24 +0100 Subject: Call WI-IAT 2011: IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCE ON WEB INTELLIGENCE - INTELLIGENT AGENT TECHNOLOGY Message-ID: <4D553FCC.9060706@emse.fr> * Apologies for cross-posting * This is sent on behalf or the 2011 edition of IEEE/WIC/ACM WI-IAT conference organizing committee. **************************************************************************** The 2011 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCE ON WEB INTELLIGENCE (WI 2011) INTELLIGENT AGENT TECHNOLOGY (IAT 2011) CALL FOR PAPERS **************************************************************************** August 22 - 27, 2011, Lyon, France http://wi-iat-2011.org Sponsored By IEEE Computer Society Web Intelligence Consortium (WIC) Association for Computing Machinery (ACM) **************************************************************************** Full Papers submission (WI and IAT): - Electronic abstracts submission (WI and IAT): March 4, 2011 - Electronic submission of full papers (WI and IAT): March 11, 2011 Notification of paper acceptance (WI and IAT): May 23, 2011 Workshop paper submissions: March 21, 2011 Notification of Workshop paper acceptance: June 1, 2011 Demo paper submissions: April 4, 2011 Notifications of Demo paper acceptance: May 23, 2011 Industry Track paper submissions: March 21, 2011 Notification of Industry Track paper acceptance: June 1, 2011 Camera-ready copies of accepted papers: June 10, 2011 Workshops and Industry track: August 22, 2011 Conference: August 23-25, 2011 Summer School: August 26-27, 2011 ################################################################## For more information on the different calls: http://wi-iat-2011.org *** Contact Information *** Email: wi-iat11 at liris.cnrs.fr The WIC Office Email: wi10 at wi-consortium.org From robert at grid.chu.edu.tw Sun Feb 13 07:49:55 2011 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Sun, 13 Feb 2011 14:49:55 +0800 Subject: Call For Papers: EIDWT-2011 (One month before submission deadline) Message-ID: <201102130649.p1D6ntGX019798@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wolter at liverpool.ac.uk Mon Feb 14 18:22:31 2011 From: wolter at liverpool.ac.uk (Wolter, Frank) Date: Mon, 14 Feb 2011 17:22:31 +0000 Subject: TIME 2011 Message-ID: <07ACC5798668CC49BFF65E873D2A1590148B37D8D1@STAFFMBX2.livad.liv.ac.uk> TIME 2011 Call for Papers Eighteenth International Symposium on Temporal Representation and Reasoning Luebeck, Germany, September 12-14, 2011 http://www.isp.uni-luebeck.de/time11/ The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research. This year, TIME will feature a special track on interval temporal logics. The conference will span three days, and will be organized as a combination of technical paper presentations, keynote lectures, and tutorials. * IMPORTANT DATES Abstract Submission: April 13 Paper Submission: April 17 Paper Notification: May 15 Camera Ready Copy Due: May 29 TIME 2011 Symposium: September 12-14 * TOPICS The main topics of the conference are: (1) Temporal Representation and Reasoning in AI (2) Temporal Database Management (3) Temporal Logic and Verification in Computer Science (4) Special Track on Interval Temporal logics Temporal Representation and Reasoning in AI includes, but is not limited to: - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - reasoning about actions and change - planning and planning languages - ontologies of time and space-time - belief and uncertainty in temporal knowledge - temporal learning and discovery - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web Temporal Database Management includes, but is not limited to: - temporal data models and query languages - temporal query processing and indexing - temporal data mining - time series data management - stream data management - spatio-temporal data management, including moving objects - data currency and expiration - indeterminate and imprecise temporal data - temporal constraints - temporal aspects of workflow and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - novel applications of temporal database management - experiences with real applications Temporal Logic and Verification in Computer Science includes, but is not limited to: - specification and verification of systems - verification of web applications - synthesis and execution - model checking algorithms - verification of infinite-state systems - reasoning about transition systems - temporal architectures - temporal logics for distributed systems - temporal logics of knowledge - hybrid systems and real-time logics - tools and practical systems - temporal issues in security Special track on Interval Temporal logic This year, TIME has an additional special track on Interval Temporal Logics. This track is organized by Dimitar Guelev and Ben Moszkowski. Submissions on ITL will be primarily managed by them, though the final decision on acceptance will be taken by the whole PC. Topics of interest include, but are not limited to: - expressiveness, proof systems, model- and validity-checking for ITLs - modelling of system requirements in terms of time intervals - intervals versus time points in temporal modelling - extensions and variants of ITLs (e.g., the Duration Calculus) - ITLs, DC, timed automata, timed regular languages and other models of real time - interval algebras and spatio-temporal reasoning - case studies, applications and tool support for interval-based reasoning * PAPER SUBMISSION Submissions of high quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed by at least three reviewers for quality, correctness, originality, and relevance. Accepted papers will be presented at the symposium and included in the proceedings, which will be published by the IEEE Computer Society Press. Acceptance of a paper is contingent on one author presenting the paper at the symposium. Submissions should be in PDF format (with the necessary fonts embedded). They must be formatted according to the IEEE guide- lines described at ftp://pubftp.computer.org/press/outgoing/ proceedings/8.5x11 - Formatting files/ and must not exceed 8 pages; over-length submissions may be rejected without review. Papers are submitted electronically via Easychair: http://www.easychair.org/conferences/?conf=time11 * CONFERENCE OFFICERS General Chair: Carlo Combi, University of Verona, Italy Program Committee Chairs: Martin Leucker, University of Luebeck, Germany Frank Wolter, University of Liverpool, United Kingdom Organization Chair: Martin Leucker, Universitaet Luebeck, Germany * PROGRAM COMMITTEE includes Alessandro Artale, University of Bolzano, Italy Philippe Balbiani, IRIT Toulouse, France Claudio Bettini, University of Milan, Italy Benedikt Bollig, CNRS, France Lubos Brim, University of Brno, Czech Republic Dang Van Hung, Vietnam National University, Vietnam Clare Dixon, University of Liverpool, UK Rajeev Gore, ANU, Australia Dimitar Guelev, Bulgarian Academy of Sciences, Bulgaria Peter Habermehl, CNRS, France Ian Hodkinson, Imperial College London, UK Roman Kontchakov, Birkeck College London, UK Salvatore La Torre, University of Salerno, Italy Ranko Lazic, University of Warwick, UK Kamal Lodaya, IMSc, India Nicolas Markey, CNRS, France Angelo Montanari, University of Udine, Italy Ben Moszkowski, De Montfort University, UK Dirk Nowotka, University of Stuttgart, Germany Jean-Francois Raskin, Free University Brussels, Belgium Peter Revesz, University of Nebraska-Lincoln, USA Mark Reynolds, University of Western Australia, Australia Martin Sachenbacher, Technical University Munich, Germany Cesar Sanchez, University of Madrid, Spain Christian Schallhart, University of Oxford, UK Esteban Zimanyi, ULB, Belgium Stefan Woelfl, University of Freiburg, Germany Naijun Zhan, Chinese Academy of Sciences Beijing, China * FURTHER INFORMATION Questions related to submission, reviewing, and program: time11 at isp.uni-luebeck.de Questions related to local organization: time11-org at isp.uni-luebeck.de From torsten at cs.uni-potsdam.de Mon Feb 14 20:05:07 2011 From: torsten at cs.uni-potsdam.de (Torsten Schaub) Date: Mon, 14 Feb 2011 20:05:07 +0100 (CET) Subject: [event] Call for Papers: SEA'11 Message-ID: <20110214190507.2601D200B1@aix.haiti.cs.uni-potsdam.de> [apologies for multiple posts; please distribute] ------------------------------------------------- CALL FOR PAPERS Software Engineering for Answer Set Programming 2011 (SEA'11) Vancouver, Canada, 16 May 2011 http://sea11.cs.bath.ac.uk/ Co-located with the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011) http://sites.google.com/site/lpnmr11/ OVERVIEW Over the last ten years, answer set programming (ASP) has grown from a pure theoretical knowledge representation and reasoning formalism to a computational approach with a very strong formal backing. At present, ASP is seen as the computational embodiment of non-monotonic reasoning incorporating techniques of databases, knowledge representation, logic and constraint programming. ASP has become an appealing tool for knowledge representation and reasoning and thanks to the increasing efficiency of the implementations of ASP solvers, the field has now started to tackle many industrially-relevant applications. Writing complex programs in any language is not an easy task, with ASP being no exception. Most of the modern popular programming languages have an abundance of tools and development methodologies to facilitate and improve the coding process. Given the differences in for example language design, execution, and application domains for languages such as Java and C++, the existing methodologies and tools that are available are mostly not suitable for ASP. Therefore development tools and software engineering methodologies specifically designed for ASP are required. This workshop aims to bring together researchers who are currently working on or are interested in the development of dedicated tools, techniques, and methodologies to facilitate the development of answer set programs. TOPICS Authors are invited to submit original research or system description papers on software engineering tools or techniques for answer set programming. The list of topics of interest includes but is not limited to: * Modelling tools * (Domain-specific) front and/or back-ends * Methodologies * Debuggers * (Graphical) User Interfaces * Integrated Development Environments (IDEs) * Software engineering metrics SUBMISSION Submitted articles will undergo peer-review. The paper must be in Springer LNCS format and should not exceed 15 pages overall. Submission should be via PDF to both workshop chairs. Papers will be published in the Bath technical report series and on CEUR (http://ceur-ws.org/). IMPORTANT DATES Submission 20 March 2011 Notification 10 April 2011 Camera-ready submission 24 April 2011 Workshop 16 May 2011 WORKSHOP ORGANISERS Marina De Vos (University of Bath, UK) Torsten Schaub (University of Potsdam, Germany) From sofronie at mpi-inf.mpg.de Wed Feb 16 16:34:15 2011 From: sofronie at mpi-inf.mpg.de (Viorica Sofronie-Stokkermans) Date: Wed, 16 Feb 2011 16:34:15 +0100 (CET) Subject: FroCoS 2011: Call for Papers Message-ID: Call for Papers 8th International Symposium on FRONTIERS OF COMBINING SYSTEMS FroCoS'11 Saarbruecken, Germany, October 5 - 7, 2011 http://www.mpi-inf.mpg.de/conferences/frocos2011/ MOTIVATION In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference mechanisms for special tasks. To be usable in practice, these specialized systems must be combined with each other, and must be integrated into general purpose systems. This has lead in many research areas to the development of general techniques and methods for the combination and integration of special, formally defined systems, as well as for the analysis and modularization of complex systems. The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focuses on this type of research questions and activities and aims at promoting progress in the field. Like its predecessors, FroCoS'11 seeks to offer a common forum for research activities in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use. RELEVANT TOPICS Typical topics of interest include (but are not limited to): * combinations of logics such as combined predicate, temporal, modal, or epistemic logics; * combinations and modularity in ontologies; * combination of decision procedures, of satisfiability procedures, and of constraint solving techniques; * combinations and modularity in term rewriting; * integration of equational and other theories into deductive systems; * combination of deduction systems and computer algebra; * integration of data structures into constraint logic programming and deduction; * hybrid methods for deduction, resolution and constraint propagation; * hybrid systems in knowledge representation and natural language semantics; * combined logics for distributed and multi-agent systems; * logical aspects of combining and modularizing programs and specifications. INVITED SPEAKERS [To be announced] PAPER SUBMISSIONS The program committee seeks high-quality submissions describing original work, written and to be presented in English, not substantially overlapping with published or simultaneously submitted work to a journal or conference with archival proceedings. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. All submissions will be subject to academic peer review by three or more members of the program committee. For each accepted paper, at least one author is required to attend the symposium to present the work. Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system: http://www.easychair.org/conferences/?conf=frocos11. The page limit is 16 pages. Prospective authors are required to register a title and an abstract a week before the paper submission deadline (see below). Further information about paper submissions is available at the FroCoS'11 web page. PROCEEDINGS The proceedings of FroCoS'11 will be published by Springer-Verlag in the LNAI/LNCS series. IMPORTANT DATES Abstract submission deadline: April 22, 2011 Paper submission deadline: April 29, 2011 Notification of acceptance decisions: June 13, 2011 Camera-ready version of papers due: July 18, 2011 CONFERENCE CHAIR Viorica Sofronie-Stokkermans, MPI Informatik, Saarbruecken PC CHAIR Cesare Tinelli, The University of Iowa PROGRAM COMMITTEE Franz Baader, T.U. Dresden, Germany Clark Barrett, New York University, USA Peter Baumgartner, NICTA, Canberra, Australia Torben Braüner, Roskilde University, Denmark Thom Frühwirth, University of Ulm, Germany Silvio Ghilardi, University of Milano, Italy Jürgen Giesl, RWTH Aachen, Germany Valentin Goranko, Technical University of Denmark, Denmark Bernhard Gramlich, T.U. Wien, Austria Sava Krstic, Intel Corporation, USA Carsten Lutz, University Bremen, Germany Till Mossakowski, DFKI GmbH Bremen, Germany Silvio Ranise, FBK-Irst, Italy Christophe Ringeissen, LORIA, Nancy, France Philipp Ruemmer, Uppsala University, Sweden Renate A. Schmidt, The University of Manchester, UK Roberto Sebastiani, University of Trento, Italy Viorica Sofronie-Stokkermans, MPI Informatik, Saarbrücken, Germany Volker Sorge, University of Birmingham, UK Cesare Tinelli, The University of Iowa, USA (PC chair) Wolfgang Windsteiger, RISC, Johannes Kepler University Linz, Austria Frank Wolter, University of Liverpool, UK From organization at arcoe.org Wed Feb 16 17:23:26 2011 From: organization at arcoe.org (ARCOE) Date: Wed, 16 Feb 2011 18:23:26 +0200 Subject: Special Issue of the Journal of Web Semantics Message-ID: Sincere apologies for cross-posts. Call for Papers: ================================================ Special Issue of the Journal of Web Semantics on "Reasoning with context in the Semantic Web" ================================================ Mechanisms for reasoning with context have become increasingly important factors in the Semantic Web. There is a growing need for general and robust reasoning techniques that make it possible to integrate heterogeneous knowledge or to use homogeneous knowledge across different domains. Research on this topic has so far, and not surprisingly, concentrated on formal ontologies, i.e., on the logical structures that encode the semantics of a software's domain of application. Work on the Semantic Web as well as on information integration, distributed knowledge management, multi-agent and distributed reasoning has focussed on the relationship between an ontology and its context. This has aimed at clarifying how to relate knowledge that is distributed over many resources. Recent Semantic Web specific developments suggest that aspects of this relation can be captured by means of named graphs (to express meta-information), the use of provenance (to track the context where data/axioms came from) and querying (to facilitate reasoning). Other neighbouring research areas, though, have also investigated topics that shed light on how to reason with context in the Semantic Web. Ontology Engineering and Maintenance, for instance, has tackled the problems faced by ontology engineers when developing and maintaining an ontology. The yielded automation of the process of ontology development and of its phases (e.g. knowledge elicitation, revision cycles, alignment with pre-existing ontologies etc.) has improved efficiency, reduced the introduction of unintended meanings into ontologies and in general made explicit the relationship between an ontology and its development context. Finally, research on Problem Solving and Agent Communication has explored how an agent's ontology needs to change at run-time because of interactions with its context ‚Äì for instance with other agents whose ontologies are not known or with new non-classifiable world situations. This type of research has delivered a deeper understanding of the evolution of an ontology and is often based on non-monotonic reasoning, belief revision or changes of signature, i.e., of the grammar of the ontology's language, with a minimal disruption to the original theory. * Topics of interest: This special issue aims at bringing together work on reasoning with context in the Semantic Web from the integration, development and evolutionary perspectives described above. Submitted articles, which may describe either theoretical results or applications, must clearly pertain to the Semantic Web and/or to semantic technologies. They should present either Semantic Web specific approaches to reasoning with context, or approaches that have characteristics that are interesting for the Semantic Web (e.g., scalability, bounded reasoning), or approaches that are of value to a larger community containing a non-trivial Semantic Web sub-community (e.g. revision/update techniques and error pin-pointing). Submissions are welcome on topics relevant to reasoning with context in the Semantic Web and that include but are not limited to: - Named graphs - Provenance - Knowledge representation languages for semantic technologies - Planning and reasoning about action and change in the Semantic Web - Ontology fault diagnosis and repair - Pinpointing of logical errors in contexts and ontologies - Explanation and justifications in DL ontologies - Ontology and context evolution, debugging, update and merging - Inconsistency handling in contexts and ontologies - Uncertainty handling, defeasible reasoning and argumentation in ontologies - Non-classical belief revision - Context revision and theory change in DL ontologies - Ontology and context versioning - Semantic difference in ontologies and in contexts - Information and knowledge integration - The role of context and ontology in distributed reasoning and knowledge management - Heuristic and approximate reasoning - Bounded reasoning and bounded rationality in the Semantic Web - Adaptive systems and reconfiguration - Ontology-based data access - Querying - Multi-Agent systems in the Semantic Web - Temporal and spatial reasoning - Normative reasoning in the Semantic Web - General problem solving for semantic technologies - Machine learning for the Semantic Web - Philosophical foundations of reasoning about context and ontology evolution - Comparison of uses of contexts and ontologies * How to submit Maximal length of submissions is 25 pages. Authors should upload submissions on Elsevier's Electronic Submission System at http://ees.elsevier.com/jws Choose "Reasoning with context in SW" as article type. See the link "Guide Authors" on the above url for instructions. * Important dates: - Submission deadline: 15 June 2011 - First-round reviews: 5 September 2011 - Revised papers submitted: 30 September 2011 - Final acceptance decisions: 31 October 2011 - Tentative publication date: April 2012 * Guest editors: Alan Bundy (University of Edinburgh, United Kingdom) Jos Lehmann (University of Edinburgh, United Kingdom) Ivan Varzinczak (CSIR Meraka Institute, South Africa) Send enquiries and communications to: organization [at] arcoe [dot] org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tommiemeyer at gmail.com Wed Feb 16 21:26:02 2011 From: tommiemeyer at gmail.com (Tommie Meyer) Date: Wed, 16 Feb 2011 22:26:02 +0200 Subject: IEEE AFRICON 2011 Special Session on Robotics and Artificial Intelligence in Africa Message-ID: <43631326-5F96-4279-AE80-2601CAF429D3@meraka.org.za> [Apologies for cross postings] --------------------------------------------------------------------------- First Call for Papers for the IEEE AFRICON 2011 Special Session on Robotics and Artificial Intelligence in Africa Submission Deadline: March 31, 2011 --------------------------------------------------------------------------- General Information =================== The IEEE Region 8 AFRICON celebrates their 10th anniversary and was held before in Kenya, the Ivory Coast, Swaziland, South Africa, Botswana, and Namibia. This time it will take place in Livingstone, Zambia. See http://www.africon2011.co.za for further details. We are happy to announce the special track on Robotics and Artificial Intelligence research at AFRICON 2011. Robotics and Artificial Intelligence research in the African context has not yet reached its full potential. During this special session, we intend to bring the African Robotics and AI community together and discuss the various aspects of robotics and artificial intelligence in the African context. Both are cutting-edge fields and well-established in industrialized countries. However, they seem to be under-represented in Africa, despite their great potential for capacity building and education. With this special session, we aim at bringing together interested researchers who are active in both fields and connect them with each other. Further, the focus of this special session is on robotics and AI in education and we want to invite interested researcher from all over the world to contribute to this aspect. In particular, we intend to address the following: * Current research results from African researchers in the fields. * Robotics and AI in education that could make an impact for Africa. * Robotics competitions relevant in the African context (e.g. Robocup Junior or IEEE Robocomp). * The role of open source in development of Robotics and AI in Africa. * The role of Robotics and AI for the economic development in the context of 21st century production and manufacturing in Africa (Automation, Mining industries, etc.) * Successful robotics and AI co-operation projects between African institutions and institutions in the rest of the world. Important Dates =============== * Paper submission: March 31, 2011 * Notification of Acceptance: May 15, 2011 * Camera-ready copy due: June 30, 2011 * Technical Session: September 13 – 15, 2011 Submission Details ================== Prospective authors are invited to electronically submit full papers of their work in English (6 pages, ~4500 words, in pdf format), following the instructions available on the web site. Accepted papers will be published in an IEEE proceedings volume that will be indexed by EI and IEEE Xplore, and will be available at the time of the conference. For further information visit the session’s website at: * http://www.africon2011.co.za/info/specialsessions?id=5 and the main conferene website at: * http://www.africon2011.co.za/ Further submission info is given here: * http://ieee-ies.org///submit-cgi-bin/authorlogin.pl?event=AFRICON11 Session Chairs ============== Alexander Ferrein, University of Cape Town, South Africa Thomas Meyer, CSIR-Meraka Institute, South Africa Billy Okal, Jacobs University Bremen, Germany -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From atilla.elci at emu.edu.tr Thu Feb 17 10:02:06 2011 From: atilla.elci at emu.edu.tr (Atilla Elci (EMU)) Date: Thu, 17 Feb 2011 11:02:06 +0200 Subject: CFP 6th IEEE ESAS, 18-22 July, 2011, Munich. Message-ID: <01b301cbce81$61eee3e0$25ccaba0$@elci@emu.edu.tr> My dear colleague, FYI and please inform relevant contacts on the following CFP? ESAS 2011 keywords are as follows: Semantic Web, multiagent systems, software agents, MAS, ontology, semantic web services, intelligent agents, ontology-based systems, context-aware intelligent agents, software, programming languages, robotics, security, QoS. [Sorry for cross posting] The 6th IEEE International Workshop on Engineering Semantic Agent Systems Held in conjunction with the 35th COMPSAC, the IEEE Signature Conference on Computers, Software, and Applications. COMPSAC 2011 will be held in Munich, Germany, July 18-22. IMPORTANT DATES _____ March 15, 2011 : Workshop paper submission (firm) April 12, 2011 : Workshop paper author notification May 2, 2011 : Camera-ready & author registration Further info is available at http://compsac.cs.iastate.edu/workshop_details.php?id=32 &y= Sponsored by IEEE Computer Society. --------------------------------- Thank you. Warm greetings, Atilla Elci, Ph.D. http://member.acm.org/~aelci http://toros.academia.edu/AtillaElçi/ ESAS 2011 CFP: http://compsac.cs.iastate.edu/workshop_details.php?id=32&y= COMPSAC SemWeb Track: http://compsac.cs.iastate.edu/trackdescriptions.php#SW SIN 2011 CFP: http://www.sinconf.org/ CFP: Wiley SCN : http://tinyurl.com/SCN-SI-SINConfs SASFA Book: http://www.springer.com/engineering/mathematical/book/978-3-642-18307-2 Proc. IJRCS 2009 is out: http://edergi.sdu.edu.tr/index.php/utbd/issue/view/367 http://www.mts4.cankaya.edu.tr/davetlikonusmacilar.htm NB: TorosU: Professional M.Sc. in IT Program now accepting applications. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From organization at arcoe.org Thu Feb 17 20:00:36 2011 From: organization at arcoe.org (ARCOE) Date: Thu, 17 Feb 2011 21:00:36 +0200 Subject: IJCAI-11 Workshop ARCOE (deadline: 6 April) Message-ID: Sincere apologies for multiple postings. ============================== CALL FOR PAPERS ARCOE-11 at IJCAI-11 Date: July 17-18 2011 Barcelona, Spain *** Deadline: 6 April 2011 *** ============================== The IJCAI-11 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-11) http://www.arcoe.org/2011 held on 17 and 18 July 2011 at the International Joint Conference on Artificial Intelligence (IJCAI-11) -- Description of the workshop -- Methods of automated reasoning have solved a large number of problems in Computer Science by using formal ontologies expressed in logic-based languages. Over the years, though, each problem or class of problems has required a different ontology, and sometimes a different version of logic. Moreover, the processes of designing, controlling and maintaining an ontology as well as its different versions have turned out to be inherently complex. All this has motivated much investigation in a wide range of disparate disciplines -- from logic-based Knowledge Representation and Reasoning to Software Engineering, from Databases to Multimedia -- about how to relate ontologies to one another. ARCOE-11 aims at bringing together researchers and practitioners from core areas of Artificial Intelligence (Knowledge Representation and Reasoning, Contexts, and Ontologies) and related disciplines to discuss these kinds of problems and relevant results. Historically, there have been at least three different, yet interdependent motivations behind this type of research: defining the relationship between an ontology and its context; providing support to ontology engineers; enhancing problem solving and communication for software agents. Ontology and Context. Most application areas have recognised the need for representing and reasoning about knowledge that is distributed over many resources. Such knowledge, as well as its intrinsic relevance and usability, depends on its context. The latter is determined by the syntactic and/or semantic structure of the resources, the scope of the underlying language, among other things. Research on information integration, distributed knowledge management, the semantic web, multi-agent and distributed reasoning have pinned down different aspects of how ontologies relate to and/or develop within their context. Ontology Engineering. Ontology engineers are not supposed to succeed right from the beginning when (individually or collaboratively) developing and maintaining an ontology. Despite their expertise and any assistance from domain experts, revision cycles are the rule. Moreover quite often different ontologies have to be integrated in such a way for them to be operable together (merging). Research on the automation of the process of engineering an ontology has improved efficiency and reduced the introduction of unintended meanings by means of interactive ontology editors that provide support for ontology change (debugging, updates and repair), maintenance (versioning) and integration (merging). Moreover, ontology matching has studied the process of manual, off-line alignment of two or more known ontologies. Problem Solving and Communication for Agents. Agents that communicate with one another without having full access to their respective ontologies or that are programmed to face new non-classifiable situations must change their own ontology dynamically at run-time -- they cannot rely solely on human intervention. Research on this problem has either concentrated on techniques borrowed from the non-monotonic reasoning and belief revision communities or on changes of signature, i.e., of the grammar of the ontology's language, with a minimal disruption to the original theory. This is also an important issue in the emerging area of General Game Playing. ARCOE-11 will provide a multi-disciplinary forum, where differences in methodologies, representation languages and techniques are over-arched and hopefully overcome. Accordingly, the workshop will be structured into four tracks: three of them will focus on specific areas, the fourth one will foster links and integration. Track 1: Context and Ontology This track will consist of presentations and discussions around the theme of Context and Ontology, a well-established research area that has mainly concentrated on the relationship between contexts and ontologies for distributed information and for the enhancement of software agents. Track 2: Common Sense and Non-Monotonic Reasoning for Ontologies This track will consist of presentations and discussions around the theme of Common Sense and Non-Monotonic Reasoning in logic-based Knowledge Representation and Reasoning for ontologies. These are classic areas of AI, which since their origins have produced remarkable results on logic-based methods for supporting knowledge engineers and for enhancing software agents. Track 3: Automated Ontology Evolution This track will consist of presentations and discussions around the theme of Automated Ontology Evolution for agents and general problem solving, an area which in recent years has been drawing the attention of Artificial Intelligence and Knowledge Representation and Reasoning on the assessment of change impact and the automation of ontology evolution. Track 4: Links and integration This track will foster links and integration by means of invited talks and (panel) discussions. Topics that are likely to be covered are: the formalisation of software engineering concepts for ontology development; the relationship between automated reasoning and information retrieval; relationships between representation languages; relationships between canonical domains; relationships between contexts and ontology evolution and between non-monotonic reasoning and ontology evolution. ARCOE-11 will bring the participants to position the various approaches with respect to one another. Hopefully, though, the workshop will also start a process of cross-pollination and set out the constitution of a truly interdisciplinary research community dedicated to automated reasoning about contexts and ontology evolution. -- Topics -- ARCOE-11 welcomes submissions on the tracks below as well on their intersection. (The division in tracks is only for organizational purposes during the workshop. Authors are not required to assign themselves to a specific track at the time of submission.) Track 1: Context and Ontology Submissions are welcome on the role of context and ontology in areas that include but are not limited to the following ones: - Information integration - The role of context and ontology in distributed reasoning and knowledge management - The role of context and ontology in the Semantic Web - Multi-agent systems - Data grid and grid computing - Pervasive computing and ambient intelligence - Peer-to-peer information systems - Comparison of uses of contexts and ontologies Track 2: Common Sense and Non-Monotonic Reasoning Submissions are welcome on the role of common sense and non-monotonic reasoning for ontologies in areas that include but are not limited to the following ones: - Ontology debugging, update and merging - Non-classical belief revision - Inconsistency handling, belief revision and theory change for DL ontologies - Uncertainty handling, defeasible reasoning and argumentation in ontologies - Heuristic and approximate reasoning - Planning and reasoning about action and change on the Semantic Web - Rules and ontologies - Temporal and spatial reasoning Track 3: Automated Ontology Evolution Submissions are welcome on the role of automated ontology evolution in areas that include but are not limited to the following ones: - Ontology fault diagnosis and repair - Ontology versioning - Adaptive systems and reconfiguration - General problem solving - Agent communication - Persistent agents in changing environment - Multimedia on the Web - IT and automated reasoning -- Attendance -- Authors and submissions will be selected on the significance of the contribution, on how the work positions itself with respect to Tracks 1-3 above, and on the submission's potential to foster discussions and integration. Also, authors will be preferred to simple attendees. Attendees are welcome, but will be selected on a first-come-first-served basis. Please check the IJCAI-11 website for registration procedure, fees as well as cancellation policies. -- Submission Requirements and Dates -- ARCOE-11 will accept submissions of long abstracts, for both long presentations and poster presentations. The distinction during the selection-phase will be based on 1) Relevance, significance and quality of the submission; 2) Degree of interdisciplinarity of the contribution with respect to Tracks 1-3 above, i.e., the contribution's potential to foster cross-pollination and discussions on ARCOE main themes during the event. In an effort to integrate this relatively new research area, submissions to ARCOE-11 should be able to explicitly and uniformly introduce their work relative to the call for papers and to other approaches. For instance, given specific approaches such as DL-based belief revision, or Context Logic integrated by Natural Language Processing (NLP), or Higher-Order Logic (HOL) or Machine Learning (ML), the authors are expected to introduce their proposals by clearly positioning themselves relative to: 1) Specific canonical problems in their respective area; 2) Paradigms, tools and applications within their own approach; 3) ARCOE's list of canonical problems in Tracks 1-3, i.e., the contribution should be able to make clear how it is positioned relative to ontology and context, ontology engineering and/or general problem solving and communication for agents. All selected abstracts will be included in the Working Notes. Authors are kindly requested to provide keywords upon submission. The format for submissions is the same as that of IJCAI-11. Please check the IJCAI author instructions website for the style files. Submissions should be no longer than 5 pages and in PDF format. The possibility is being considered of publishing extended versions of the best works from the workshop in a special issue of a peer-reviewed journal. Submission deadline: *April 6, 2011* Notification: May 10, 2011 Camera ready: May 24, 2011 Early registration: [TBA] Late registration: [TBA] Workshop dates: 17 and 18 July 2011 -- Submit to -- Please submit to http://www.easychair.org/conferences/?conf=arcoe11 -- Special Issue on ARCOE-related Themes -- There has recently been an agreement with the Journal of Web Semantics for a Special Issue on Reasoning with context in the Semantic Web. The Call for Papers is open to anyone and it certainly is an opportunity to submit for publication quality work about ARCOE-like themes. The special issue aims at bringing together work on reasoning with context in the Semantic Web as seen from various perspectives, e.g., ontology integration, ontology development, ontology evolution etc. Submitted articles, which may describe either theoretical results or applications, must clearly pertain to the Semantic Web and/or to semantic technologies. They should present either Semantic Web specific approaches to reasoning with context, or approaches that have characteristics that are interesting for the Semantic Web (e.g., scalability, bounded reasoning), or approaches that are of value to a larger community containing a non-trivial Semantic Web sub-community (e.g. revision/update techniques and error pin-pointing). Have a look at the Call for Papers on: http://www.arcoe.org/specialissue.html For further details please send requests to: organization [at] arcoe [dot] org -- Workshop Co-Chairs -- Alan Bundy School of Informatics, University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Tel: +44-131-650-2716, Fax: +44-131-650-6899 Jos Lehmann School of Informatics, University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Tel: +44-131-650-2725, Fax: +44-131-650-6899 Ivan Varzinczak (primary contact) CSIR Meraka Institute Meiring Naude Road, CSIR, 0001 Pretoria, South Africa. Tel: +27-12-841-2594, Fax: +27-12-841-4720 -- Program Committee -- - Franz Baader (TU Dresden, Germany) - Christoph Benzmueller (Articulate Software, USA) - Richard Booth (University of Luxembourg and Mahasarakham University, Thailand) - Paolo Bouquet (University of Trento, Italy) - Jim Delgrande (Simon Fraser University, Canada) - Jerome Euzenat (INRIA & LIG, France) - Nicola Fanizzi (University of Bari, Italy) - Giorgos Flouris (FORTH, Greece) - Chiara Ghidini (FBK Fondazione Bruno Kessler, Italy) - Fausto Giunchiglia (University of Trento, Italy) - Deborah McGuinness (Rensselaer Polytechnic Institute, USA) - Thomas Meyer (Meraka Institute, South Africa) - Alessandra Mileo (Digital Enterprise Research Institute, Ireland) - Amedeo Napoli (LORIA CNRS, France) - Maurice Pagnucco (The University of New South Wales, Australia) - Valeria de Paiva (Cuil Inc., USA) - Jeff Pan (University of Aberdeen, UK) - Dimitris Plexousakis (FORTH, Greece) - Guilin Qi (Southeast University, China) - Marcio Ribeiro (University of Sao Paulo, Brazil) - Luciano Serafini (FBK Fondazione Bruno Kessler, Italy) - Renata Wassermann (University of Sao Paulo, Brazil) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From juanfederico at gmail.com Fri Feb 18 04:49:15 2011 From: juanfederico at gmail.com (Juan Sequeda) Date: Thu, 17 Feb 2011 21:49:15 -0600 Subject: CfP - 10th International Semantic Web Conference (ISWC 2011) In-Reply-To: References: Message-ID: Call for Papers: The 10th International Semantic Web Conference (ISWC 2011) http://iswc2011.semanticweb.org/ October 23 - 27, 2011 Bonn, Germany We invite submissions to ISWC 2011, the Tenth International Semantic Web Conference, to be held October 23 - 27, 2011 in Bonn, Germany. ISWC is the major international forum where the latest research results and technical innovations on all aspects of the Semantic Web are presented. Please note the change of location from Koblenz to Bonn. Key Topics - Management of Semantic Web Data - Natural Language Processing - Ontologies and Semantics - Semantic Web Engineering - Social Semantic Web - User Interfaces to the Semantic Web - Applications of the Semantic Web We will have three keynote speakers: - Sandy Pentland: director of the MIT Human Dynamics Lab and the MIT Media Lab Entrepreneurship Program - Gerhard Weikum: research director at the Max-Planck Institute of Informatics - Frank van Harmelen: professor in Knowledge Representation and Reasoning at the Vrije Universiteit Amsterdam We invite submissions to the following tracks and events: *Research Papers* - http://iswc2011.semanticweb.org/calls/research-papers/ The ISWC research track solicits the submission of original research papers dealing with analytical, theoretical, empirical, and practical aspects of all areas of Semantic Web research. Abstracts due: June 16, 2011 Submissions due: June 23, 2011 Notification: August 8, 2011 Camera-ready: August 28, 2011 *Semantic Web In Use* - http://iswc2011.semanticweb.org/calls/semantic-web-in-use/ Submissions to the ISWC In-Use track presents papers describing innovative use of Semantic Web technologies in real-life applications Submissions due: June 23, 2011 Notification: August 8, 2011 Camera-ready: August 28, 2011 *Posters and Demos* - http://iswc2011.semanticweb.org/calls/posters-and-demos/ We invite submissions that present the latest developments in the field and showcase Semantic Web systems. Submissions due: August 15, 2011 Notification: September 5, 2011 Camera-ready: September 9, 2011 *Doctoral Consortium* - http://iswc2011.semanticweb.org/calls/doctoral-consortium/ The Doctoral Consortium provides an opportunity for doctoral students to present their current progress and future plans and to get advice on their work. Submissions due: July 11, 2011 *Tutorials* - http://iswc2011.semanticweb.org/calls/tutorials/ ISWC will host a number of tutorials on topics that are hands-on guidance on using key Semantic Web technologies. Submission due: May 6, 2011 Notification: May 20, 2011 *Workshops* - http://iswc2011.semanticweb.org/calls/workshops/ ISWC will host a number of workshops on hot topics related to the general theme of the conference. Submission due: April 15, 2011 Notification: May 13, 2011 *Semantic Web Challenge* - http://iswc2011.semanticweb.org/calls/semantic-web-challenge/ The Semantic Web Challenge is the premier event for demonstrating practical progress towards achieving the vision of the Semantic Web. Submission due: September 30, 2011 *Linked Data-a-thon* - http://iswc2011.semanticweb.org/calls/linked-data-a-thon/ The Linked Data-a-thon is a competition with specific requirements that are announced 3 weeks before the start of ISWC. Participants have two weeks to develop a Linked Data based application. Requirements announced: October 1, 2011 Submission due: October 15, 2011 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wobcke at cse.unsw.edu.au Fri Feb 18 06:24:21 2011 From: wobcke at cse.unsw.edu.au (Wayne Wobcke) Date: Fri, 18 Feb 2011 16:24:21 +1100 Subject: PRIMA-2011 Preliminary Call for Papers Message-ID: <4D5E0285.9050904@cse.unsw.edu.au> PRELIMINARY CALL FOR PAPERS The 14th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2011) /Wollongong//, Australia/// November 16th-18th, 2011 www.prima2011.org *Conference Theme: /Agents for Sustainability/* Agent computing is an exciting, transformational approach to developing computer systems that can rapidly and reliably solve real-world problems that usually demand human knowledge and expertise. The value, power and flexibility of agent and multi-agent systems has been demonstrated in application areas such as logistics, manufacturing, simulation, robotics, decision-support, entertainment, and especially in online market environments. As one of the largest and fastest growing research fields of computer science, agent research today includes a wealth of topics, as outlined below. The PRIMA-2011 PC invites submissions of original, unpublished, theoretical or applied work on any such topic, and encourages reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities. *About PRIMA*.Beginning in 1998 as a regional agent workshop, PRIMA has grown into an international scientific conference on agents and multi-agent systems which attracts high quality, cutting edge research from all over the world. Throughout its history PRIMA has focused on showcasing the impact of agents on the real world, across the spectrum from early research and prototypes to mature, deployed systems. PRIMA aims to bring together researchers, developers, and industry leaders who are active at the forefront of agent computing, its practices and related areas. The 2011 conference builds upon the success of its thirteen predecessors, and offers an exceptional opportunity for the presentation of original research work, technological advances, and analyses of practical issues, problems and challenges in agent computing. *Theme*.The conference theme for PRIMA-2011 of "Agents for Sustainability" seeks to especially encourage thought leadership in the agent community as to how agent computing can be applied to enhance sustainable practices in our world, from agriculture to personal resource usage to the design and operation of more sustainable cities. Papers addressing this theme, across the range from innovative early work to reports on systems in production, are welcomed, as also are papers that continue to explore the "Agents and Services" theme of PRIMA-2010, which addressed connections to service science and service-oriented computing. *Submission*.PRIMA proceedings are traditionally published by Springer as a volume in the LNAI series. Papers should be 12-15 pages in length in Springer LNCS format and submitted as a PDF file. PRIMA-2011's reviewing process, overseen by a Senior Programme Committee (SPC), will allow authors to respond to reviewers' comments prior to final paper selection, and will also provide a "shepherding" process for borderline papers that will see a PC or SPC member work with the authors to provide additional support during the paper revision process. Papers will be judged on originality, significance, presentation, and technical soundness. A broad range of agent topics are of interest, but all papers should clearly identify how their scientific or technical contributions advance the state-of-the-art of agent computing practice or have a strong potential so to do. A footnote should identify those papers whose first author is a student. *Organization * *Honorary Chair: *R. Sadananda (UNSW, Australia)* General Chairs* AdityaGhose (Univ. of Wollongong, Australia) Guido Governatori (NICTA, Australia) *Program Chairs* Jane Hsu (National Taiwan University, Taiwan) David Kinny (Kyoto University, Japan) *Topics* *Agent-based system development* Agent programming and communication languages Agent development environments Agent-oriented software engineering Case studies on implemented systems *Agent communication* Agent communication languages and protocols Agent commitments Network structures and analysis *Agent-based Simulation* Emergent behaviour Simulation-specific issues Single and Multi-agent Learning Computational architectures for learning and adaptation *Agent Reasoning* Logics for Agents and Multi-Agents Reasoning (single and multi-agent) Planning (single and multi-agent) Cognitive models Ontological reasoning *Interface Agents* Practices of Interface Agents Interface Multi-Agents Virtual Agents Collaborative Interface Agents Autonomous Interface Agents *Agent societies and social networks* Artificial social systems Trust and reputation Social and organizational structure Privacy, safety and security Normative Multi-Agent Systems Ethical and legal issues *Agent Theories, Models and Architectures* BDI, and other models of agency Modelling the dynamics of MAS Formal verification of MAS *Agent Technologies for Service Computing* Service composition with agent collaboration Service brokering and agency Personalized services with agent adaptation SLAdefinition and monitoring as agent goals *Agent Cooperation and Negotiation* Cooperation, Coalition formation and Coordination Distributed problem solving Formal models for modelling other agents and self Argumentation, Persuasion, Negotiation and Bargaining *Agent Systems* Software agents Mobile agents Agent-Based Assistants Agent-Based Virtual Enterprise Embodied Agents and their Applications Socially Situated Planning Software and Pervasive Agents *Real-world Robotics* Coordination in multi-robot systems Modelling and analysis of multi-robot systems Tools that are relevant for multi-robot studies Applications of multi-robots to real-world problems *WWW and Semantic Web Agents* Web-based agents Ontology agents Semantic Web agents Human Agent Interaction *Other Related Areas* Collective intelligence Service science P2P, Grid computing Financial markets and algorithmic trades Ubiquitous computing, ambient intelligence Knowledge and Data Intensive Systems Perceptive Animated Interfaces Tools and Standards Ubiquitous Software Services Virtual Humans *Important Dates * *Workshop/Tutorial proposals *May 6th, 2011 *Workshop/Tutorial notifications *May 20th, 2011 *Paper submission* June 3rd, 2011 *Final author notification* July 28th, 2011 *Camera-ready papers* August 31st, 2011 *Early registration deadline* September 15th, 2011 *Registration deadline* November 1st, 2011 *Workshops and Tutorials* November 14th and 15th, 2011 *Conference dates* November 16th - 18th, 2011 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From behrens at in.tu-clausthal.de Fri Feb 18 15:37:49 2011 From: behrens at in.tu-clausthal.de (Tristan Behrens) Date: Fri, 18 Feb 2011 15:37:49 +0100 Subject: Multi-Agent Programming Contest (MAPC 2011) -- CfP Message-ID: <4D5E843D.2070600@in.tu-clausthal.de> === CALL FOR PARTICIPANTS =============== Multi-Agent Programming Contest (MAPC 2011) http://www.multiagentcontest.org/2011 ======================================== 1. AIMS AND SCOPE This competition is an attempt to stimulate research in the area of multi-agent system development and programming by 1. identifying key problems, 2. collecting suitable benchmarks, and 3. gathering test cases which require and enforce coordinated action that can serve as milestones for testing multi-agent programming languages, platforms and tools. 2. HISTORY The Multi-Agent Programming Contest was initiated in 2005 and since then it has passed through three distinct phases. The first phase began in 2005 with the "food-gatherers"-scenario, where a pre-specified multi-agent system had to be implemented. These MASs were later examined in order to determine the winner. From 2006 - 2007 we ran the "goldminers"-scenario. This time we provided the environment by means of an online-architecture, and automatically determined the winner. Then from 2008 - 2010 we ran the "cows and cowboys"-scenario. Again on the same online-architecture, but this time with a slightly changed objective. 3. THE FOURTH PHASE: "AGENTS ON MARS" We begin the fourth phase with the definition of a new scenario: "Agents on Mars". The goal is to implement a team of cooperating agents with different roles in order to occupy zones on planet Mars. The challenge of the scenario is its increased complexity, that is that we have defined 5 roles of agents with different properties and capabilities. 4. DEVELOPING YOUR AGENTS The package is available at: http://multiagentcontest.org/downloads?func=fileinfo&id=501 It contains: * the MASSim-Server including the new Agents-on-Mars-scenario, * a monitor for inspecting and visualizing the environment, * an Java-based environment-interface that facilitates connecting to the server, * a set of simple dummy-agents for testing purposes, and * detailed documentation on all components of the package. We would like to invite potential participants to join the MAPC 2011 list. To subscribe, send an e-mail to agentcontest2011-subscribe [at] in.tu-clausthal.de with the subject "subscribe". The confirmation request and welcome message will be sent to you shortly afterwards. Please follow the instructions in the automatic mailing list replies. 5. ROUGH TIMELINE Until June 2011: preparing the final software package, that is fixing bugs, adding useful functionality, and fine-tuning the scenario. June 2011: release of the final software package. August 2011: registration phase. Until September 2011: testing phase. September 2011: tournament. 6. PEOPLE Organizers: Tristan Behrens (Clausthal University of Technology) Jürgen Dix (Clausthal University of Technology) Jomi Hübner (Federal University of Santa Catarina) Michael Köster (Clausthal University of Technology) Federico Schlesinger (Clausthal University of Technology) Steering Committee: Mehdi Dastani (Utrecht University) Jürgen Dix (Clausthal University of Technology) Peter Novak (Czech Technical University) From wjamroga at in.tu-clausthal.de Sun Feb 20 09:24:11 2011 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Sun, 20 Feb 2011 09:24:11 +0100 Subject: 1st CfP: Logical Aspects of Multi-Agent Systems (LAMAS 2011) Message-ID: <4D60CFAB.2060009@in.tu-clausthal.de> [With apologies for multiple copies] 4th Workshop on Logical Aspects of Multi-Agent Systems *** LAMAS 2011 *** (held together with M4M-7) November 10, 2011, in Osuna (Spain) http://icr.uni.lu/lamas2011/ 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. The LAMAS workshop serves the community as a platform for presentation, exchange, and publication of ideas. This year, LAMAS will be held as a part of the 7th Methods for Modalities conference (M4M-7), see http://personal.us.es/hvd/m4m/ and the LAMAS 2011 web page for details. 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 - Logic-based tools for MAS - Applications of logics in MAS. SUBMISSION Authors are invited to submit papers in the following two categories: - Regular papers up to 15 pages, describing original unpublished research. (Position papers and visionary work in progress can also be submitted in this category.) - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. Submissions should be anonymous, subject to double-blind reviewing procedure. They must be in pdf and prepared according to the ENTCS style, see http://www.entcs.org/prelim.html for instructions and templates. Papers should be submitted via EasyChair at the following address: https://www.easychair.org/conferences/?conf=lamas2011 . PROCEEDINGS The joint proceedings of LAMAS 2011 and M4M-7 will appear as a volume in Electronic Notes in Theoretical Computer Science (ENTCS), an electronic journal published by Elsevier. INVITED SPEAKER Andreas Herzig, IRIT, Toulouse, France IMPORTANT DATES Paper submission: July 15, 2011 Author notification: September 1, 2011 Camera-ready deadline: September 15, 2011 Workshop: November 10, 2011 PROGRAM COMMITTEE To be announced soon. 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 lamas at uni.lu . -- Dr. habil. Wojciech Jamroga Faculty of Science, Technology and Communication University of Luxembourg http://www2.in.tu-clausthal.de/~wjamroga/ From cacs at cacs2010.org Mon Feb 21 07:27:51 2011 From: cacs at cacs2010.org (Jane Lew) Date: Mon, 21 Feb 2011 14:27:51 +0800 Subject: Congress on Computer Applications and Computational Science, Bali, 15-17 Nov 2011 [EI Compendex,ISTP,IEEE Xplore] Message-ID: <123FE81F75604B6E24AE1EBB584B8A17@kk> Dear Author, Please forward to those who may be interested. Thank you. The 2011 2nd International Congress on Computer Applications and Computational Science (CACS 2011) http://irast.net/conferences/CACS/2011 15-17 November 2011, Bali, Indonesia CACS 2010 aims to bring together researchers and scientists from academia, industry, and government laboratories to present new results and identify future research directions in computer applications and computational science. All papers published in the CACS 2011 proceedings will be included in the IEEE Xplore and indexed in both Ei Compendex and ISTP. CACS 2011 has appeared in the IEEE Conferences (Conference Record # 18959, IEEE Catalog Number: CFP1175N-CDR, ISBN: 978-1-61284-995-9). Topics of interest include, but are not limited to: · Computer Architecture and VLSI · Computer Control and Robotics · Computers in Education and Learning Technologies · Computer Networks and Data Communications · Data Mining and Data Engineering · Energy and Power Systems · Intelligent Systems and Autonomous Agents · Internet and Web Systems · Scientific Computing and Modeling · Signal, Image and Multimedia Processing · Software Engineering Bali is a favorite vacation destination for many nationalities. Bali's natural attractions include miles of sandy beaches, picturesque rice terraces, towering active volcanoes over 3,000 meters high, fast flowing rivers, deep ravines, pristine crater lakes, sacred caves, and lush tropical forests full of exotic wildlife. The island's rich cultural heritage is visible everywhere - in over 20,000 temples and palaces, in many colorful festivals and ceremonies, in drama, music, and dance. Bali is also well-known for its night life. Come to Bali enjoying the beautiful environment and fun here! Paper Submission Deadline: 15 May 2011 Review Decision Notifications: 15 August 2011 Final Papers and Author Registration Deadline: 9 September 2011 To unsubscribe, reply with “unsubscribe event at tu-clausthal.de ” in your email subject or the first line of the email body. With kind regards, Jane Lew -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From A.Bolotov at westminster.ac.uk Mon Feb 21 08:27:16 2011 From: A.Bolotov at westminster.ac.uk (Alexander Bolotov) Date: Mon, 21 Feb 2011 07:27:16 +0000 Subject: call for papers ARSSIR-2011 - extended deadline Message-ID: Automated Reasoning for Security, Software Integration and Reliability http://www2.wmin.ac.uk/bolotoa/ARSSIR-2011/ARSSIR-11.html Workshop in conjunction with SSIRI 2011 The 5th IEEE International Conference on Secure Software Integration and Reliability Improvement http://paris.utdallas.edu/ssiri11 (27- 29 June 2011 Jeju Island, Korea) Call for Papers Goals and Description As contemporary software becomes more and more complex it requires more sophisticated but efficient methods of its engineering. One of the obvious challenges on this way is the automation of relevant techniques. Automated reasoning research, on the other hand, needs a constant flow of fresh ideas and practical requirements. This workshop is aimed to provide a forum to discuss recent work, current trends and new ideas in the area of automated reasoning for software integration, security and reliability. It aims to bring together researchers from all areas of automated reasoning in order to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines; among researchers from academia, industry and government; and between theoreticians and practitioners. A workshop is considered to be the first of the series of the satellite event to SSIRI, with every workshop tackling a particular flavour. This year workshop’s flavour is integration of formal verification methods with software systems development. 2011 Workshop Flavour Automated Reasoning systems should become integral parts of a working software. However, we lack research in the methodologies of engineering of automated reasoning systems as software systems and their integration into system development. This year workshop aims to facilitate discussions and research in this highly important area - integration of formal methods with software systems development. We expect the contributions from various parties – researchers from automated reasoning community, practitioners, methodologists, etc. Topics of interest The workshop scope covers the full breadth and diversity of automated reasoning applications to the main areas of SSIRI topics exemplified but not restricted in the list below: · integration of formal verification methods with software systems development. · Integration methodology, integration architectures · application of deductive and non-deductive reasoning, including abduction, induction, non-monotonic reasoning, and analogical reasoning to specifying, deriving, transforming and verifying computer systems and requirements; · automated system configuration and reconfiguration; · formal modelling of security protocols and reasoning about them; · logic engineering for automated reasoning: proof search techniques, invariant extractions, logic programming, functional programming; equational reasoning; deductive databases; unification and constraint solving; · automata-based approaches · automated reasoning in testing and testing in automated reasoning · automated test case generation Format and Proceedings A one-day workshop held immediately before or during the main conference. Accepted submissions will be published by IEEE Press and available in the IEEE digital library. For the latter publication one of the authors will be required to register and to present the accepted submission. During the workshop, each paper will have a slot of 30 minutes, with 20-25 minutes presentation. Submissions Submit original papers (not published or submitted elsewhere) with a maximum of eight pages. Include the title of the paper, the name and affiliation of each author, a 150-word abstract, and up to 6 keywords. The format of your submission must follow the IEEE conference proceedings format. Submission of papers to ARSSIR'2011 http://www2.wmin.ac.uk/bolotoa/ARSSIR-2011/arssir-submission.html Important Dates submission deadline February 28, 2011 notification date March 10, 2011 camera-ready April 1, 2011 ARSSIR 2011 workshop (1-day workshop during the main conference) June 27-29, 2011 Programme Committee Alexander Bolotov (Programme Chair) University of Westminster, UK A.Bolotov at wmin.ac.uk Francisca Lucio Carrasco, The University of the Basque Country, Spain paqui.lucio at ehu.es Mads Dam KTH Royal Institute of Technology, Stokholm mfd at kth.se Rajeev Gore Australian National University Rajeev.Gore at rsise.anu.edu.au Rob Hierons Brunel University, UK rob.hierons at brunel.ac.uk Ken Kaneiwa Iwate University, Japan kaneiwa at cis.iwate-u.ac.jp Juncao Li Microsoft Windows, USA juncaoli at microsoft.com Gerald Quirchmayr University of South Australia Gerald.Quirchmayr at unisa.edu.au Michel Reniers Eindhoven University of Technology, Netherlands m.a.reniers at TUE.nl Nikolay Shilov Institute of Informatics Systems, Novosibirsk, Russia shilov at iis.nsk.su Voker Sorge University of Birmingham, UK volker.sorge at googlemail.com Ilsun You Korean Bible University, South Korea isyou at bible.ac.kr; ilsunu at gmail.com Margus Veanes Microsoft Research margus at microsoft.com Luca Viganò University of Verona luca.vigano at univr.it -- The University of Westminster is a charity and a company limited by guarantee. Registration number: 977818 England. Registered Office: 309 Regent Street, London W1B 2UW, UK. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From m.b.vanriemsdijk at tudelft.nl Mon Feb 21 21:23:41 2011 From: m.b.vanriemsdijk at tudelft.nl (Birna van Riemsdijk) Date: Mon, 21 Feb 2011 21:23:41 +0100 Subject: CFP COIN@WI-IAT'11 Message-ID: Apologies for cross postings ======================================================================= CALL FOR PAPERS COIN at WI-IAT'11 http://mmi.tudelft.nl/coin-wi-iat2011/ 13th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems Held at WI-IAT'11 in Lyon, France on August 22nd 2011 SCOPE The pervasiveness of open systems raises a range of challenges and opportunities for technologies in the area of autonomous agents and multi-agent systems. Open systems comprise loosely coupled entities interacting within a society that usually has some overall measures of quality or efficiency. However, achieving and maintaining a "good" society is difficult to achieve as the participating entities, their modes of interaction or the intended purpose of the system may change over time. Moreover, in the case of open multi-agent systems, the autonomy of the agents can work against the effectiveness of the society. There is therefore a need of theories, tools and techniques for articulating and/or regulating interactions in order to make the system more effective in attaining collective goals, and providing guarantees (or predictability) for components/participants of open systems. Coordination, organizations, institutions and norms are four key governance elements for the regulation of open multi-agent systems, and the COIN workshop creates a space for lively debate and exploration of these four elements that are central to the design and deployment of open systems. Furthermore, in the last three years there has been much interest from the Service Engineering community to adopt agent-based coordination and organisational approaches in order to bring flexibility and adaptiveness to new generations of Service-Oriented applications. Thus the workshop topics are also very relevant to the broader Service Engineering and Semantic Web communities. WORKSHOP GOAL We seek to attract high-quality papers addressing mathematical, logical, computational and pragmatic aspects of the workshop themes, including reports on experiences with agent-oriented systems that have been adapted for service-oriented environments. Of particular interest are those papers reporting on challenging or innovative views on issues within the workshop themes, papers proposing new ideas, and position papers. TOPICS OF INTEREST These include, but are not limited to: * formal methods, logics, languages and tools for the specification, verification, implementation and simulation of norms, coordination, organizational structures and institutions; * law of open distributed systems: regulatory compliance; * agent societies, social networks, electronic institutions and virtual organizations; * formation, maintenance, evolution and dissolution of organizations, institutions and normative multi-agent systems; * autonomic institutions and self-organization in multi-agent systems; * frameworks and protocols for organized and organizational adaptation; * mechanisms for flexible and adaptive governance in service-oriented applications; * discovery, openness and inter-operation in organizations and institutions; * mixed human-agent coordination and institutions in virtual worlds; participatory simulation. * reports on implemented systems IMPORTANT DATES paper submission: March 21, 2011 notification: June 1, 2011 camera-ready: June 10, 2011 workshop: August 22, 2011 VENUE The workshop will be part of the WI-IAT'11 (IEEE/WIC/ACM International Conference on Web Intelligence & IEEE/WIC/ACM International Conference on Intelligent Agent Technology) workshop programme, and will take place at the Campus Scientifique de la Doua, Lyon, France. PROCEEDINGS Preliminary workshop proceedings will be published by IEEE Computer Society Press. As with previous COIN workshops, revised and extended versions of selected papers will published in a Springer LNCS volume in combination with the post-proceedings of the COIN at AAMAS workshop to be held in May 2011. That volume is published as part of The Coordination, Organizations, Institutions, and Norms in Agent Systems book series, with all the indexing, referencing and follow-up benefits associated with an established line of publication. Revised papers must take into account the discussion held during the workshop, hence, only those papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume. INSTRUCTIONS FOR AUTHORS Papers are to be submitted through the WI/IAT 2011 Workshop Paper Submission system. The length of submitted papers should not exceed 4 pages in the IEEE-CS 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://liris.cnrs.fr/~wi-iat11/IAT_2011/papers-submission/ ORGANIZATION COIN Steering Committee: Alexander Artikis (Bational Centre for Scientific Research "Demokritos", Greece) Eric Matson (Purdue University, USA) Nicoletta Fornara (University of Lugano, Switzerland) George Vouros (University of the Aegean, Greece) Jeremy Pitt (Imperial College London, UK) Julian Padget (University of Bath, UK) Javier Vazquez Salceda (Technical University of Catalonia, Spain) Viviane Torres da Silva (Fluminense Federal University, Brazil) Wamberto Vasconcelos (University of Aberdeen, UK) COIN at WI-IAT'11 Co-Chairs: M. Birna van Riemsdijk (Delft University of Technology, The Netherlands) m.b.vanriemsdijk at tudelft.nl Javier Vazquez Salceda (Technical University of Catalonia, Spain) jvazquez at lsi.upc.edu ----------------------------- Dr. M. Birna van Riemsdijk assistant professor Man-Machine Interaction Group Department of Mediamatics Faculty of Electrical Engineering, Mathematics and Computer Science Delft University of Technology Mekelweg 4 2628 CD Delft The Netherlands Room: HB 12.080 Telephone: +31 (0)15 2786331 Fax: +31 (0)15 2787141 Website: http://mmi.tudelft.nl/~birna/ From sebastian.rudolph at aifb.uni-karlsruhe.de Tue Feb 22 17:38:14 2011 From: sebastian.rudolph at aifb.uni-karlsruhe.de (Sebastian Rudolph) Date: Tue, 22 Feb 2011 17:38:14 +0100 Subject: CfP: GKR 2011 - 2nd IJCAI Workshop on GRAPH STRUCTURES FOR KNOWLEDGE REPRESENTATION AND REASONING Message-ID: <5330D3B2-48C7-4EC0-898B-8B20D55837A5@aifb.uni-karlsruhe.de> Apologies for multiple postings. ============================================================================ The IJCAI-11 Workshop on GRAPH STRUCTURES FOR KNOWLEDGE REPRESENTATION AND REASONING (GKR 2011) http://www.lirmm.fr/~croitoru/GKR/index.html July 16th 2011 Barcelona, Spain ============================================================================ *** Deadline: 4th April 2011 *** ============================================================================ Graph-based knowledge representation and reasoning is a growing area of research, with more and more important contributions appearing over the last few years. Such KRR systems include Bayesian Networks (BNs), Semantic Networks (SNs), Conceptual Graphs (CGs), Formal Concept Analysis (FCA), CP-nets, GAI-nets, Euler Diagrams, Existential Graphs all of which have been successfully used in a number of applications (Semantic Web, Reccomender Systems, BioInformtics etc.). The goal of this workshop is to bring together the researchers involved in the development and application of graph-based knowledge representation formalisms and reasoning techniques. This workshop will investigate further developments of knowledge representation and reasoning graph based techniques. The workshop is expected to bring together people from different research communities that are actively pursuing this line of research. We hope that the presentation of different perspectives on employing graphs for representation and reasoning will be mutually enriching and will stimulate further research. The papers will be judged from two perspectives: technical and application: * Technical results will include graph theory based results for novel structures for representation, extensions of existing structures for added expressivity, conciseness, optimisation algorithms for reasoning, reasoning explanation mechanisms etc. * Papers reporting on application experience will be expected to demonstrate the benefits of the proposed solutions. ============================================================================ ORGANISERS: * Madalina Croitoru, LIRMM and INRIA, France * Olivier Corby, INRIA, France * John Howse, University of Brighton, UK * Sebastian Rudolph, KIT, Germany * Nic Wilson, Cork Constraint Computation Centre, Ireland ============================================================================ For more information please check: http://www.lirmm.fr/~croitoru/GKR/index.html _________________________________________________ Dr. Sebastian Rudolph senior researcher & project leader at AIFB Karlsruhe Institute of Technology (KIT) rudolph at kit.edu phone (new!) +49 721 608 - 47362 www.sebastian-rudolph.de fax (new!) +49 721 608 - 45998 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From esslli2011 at gmail.com Tue Feb 22 19:01:56 2011 From: esslli2011 at gmail.com (Esslli Ljubljana) Date: Tue, 22 Feb 2011 19:01:56 +0100 Subject: Registration open: 23rd European Summer School in Logic, Language and Information Message-ID: Apologies if you receive multiple copies of this message. Please distribute it to colleagues and students. ****************************************************************************************** CALL FOR PARTICIPATION AT ESSLLI 2011 Meeting: 23rd European Summer School in Logic, Language and Information (ESSLLI) Date: 01-Aug-2011 - 12-Aug-2011 Location: Ljubljana, Slovenia Contact Email: esslli2011 at gmail.com Meeting URL: http://esslli2011.ijs.si/ Early registration deadline: 31-05-2011 ****************************************************************************************** **Meeting Description** For the past 23 years, the European Summer School in Logic, Language and Information (ESSLLI) has been organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. During two weeks, around 50 courses and 10 workshops are offered to the attendants, each of 1.5 hours per day during a five days week, with up to seven parallel sessions. ESSLLI also includes a student session (papers and posters by students only, 1.5 hour per day during the two weeks) and four evening lectures by senior scientists in the covered areas. In 2011, ESSLLI will held in Ljubljana, Slovenia and will be organized by the Slovenian Language Technologies Society (SDJT), the Jožef Stefan Institute (IJS) and The Faculty of Mathematics and Physics (FMF) in Ljubljana, Slovenia. Chair of the Program Committee is Makoto Kanazawa (National Institute of Informatics, Japan), and Chair of the Organizing Committee is Darja Fišer (The University of Ljubljana, Slovenia). To contact the ESSLLI 2011 Organizing Committee, write to: esslli2011 at gmail.com. **Summer School Programme** http://esslli2011.ijs.si/?page_id=897 **Online Registration Form** https://www.kompas-online.net/Pages/MeetingsConferences/Register/RegisterV2.aspx?form=ESSLLI2011 **Programme Committee** Chair: Makoto Kanazawa (National Institute of Informatics, Tokyo) Local Co-chair: Andrej Bauer (University of Ljubljana) Area Specialists: Language and Computation: - Markus Egg (Humboldt-Universität zu Berlin) - Aline Villavicencio (Federal University of Rio Grande do Sul, Brazil) Language and Logic: - Hans-Christian Schmitz (Fraunhofer FIT, Sankt Augustin) - Louise McNally (UPF, Barcelona) Logic and Computation: - Ralph Matthes (IRIT, CNRS and University of Toulouse) - Eric Pacuit (Center for Logic and Philosophy of Science, Tilburg **Organizing Committee** Chair: Darja Fišer (University of Ljubljana) Committee Members: - Špela Vintar (University of Ljubljana) - Andrej Bauer (University of Ljubljana) - Monika Kropej (Jožef Stefan Institute) - Špela Sitar (Jožef Stefan Institute) - Boštjan Bajec (University of Ljubljana) - Senja Pollak (University of Ljubljana) - Mihael Arčan -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bernhard.schandl at univie.ac.at Wed Feb 23 10:16:02 2011 From: bernhard.schandl at univie.ac.at (Bernhard Schandl) Date: Wed, 23 Feb 2011 10:16:02 +0100 Subject: Call for Submissions: Linked Data Triplification Challenge 2011 Message-ID: <455CB453-2AE8-4ABB-893A-BC95B02BDAB0@univie.ac.at> (apologies for cross-posting) * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Call for Submissions: 4th Linked Data Triplification Challenge 2011 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * The yearly organized Linked Data Triplification Challenge awards prizes to the most promising application demonstrations and approaches in three fields related to Linked Data. For the success of the Semantic Web it is from our point of view crucial to overcome the chicken-and-egg problem of missing semantic representations on the Web and the lack of their utilization within concrete applications, to solve real-world problems. The Triplification Challenge aims to expedite this process by raising awareness and showcasing best practices. Submissions =========== 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 that fall into one or more of the following topics: * 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. A prize money will be given to the most promising applications, newly published datasets and methodological approaches built upon Linked Data. Participants can choose between an Open Track and a special Open Government Data Track. Open Track ---------- In the Open Track we envision submissions that fall into the topics described above but do not make use of governmental data sets. Open Government Data Track -------------------------- Participants are to design and build a web application that makes use of open government datasets. Any dataset qualifies that is produced by any government in the world. These can i.e. relate to environmental data, cadastral and geographic data, traffic data, historical data, public speeches, laws, demographics, election data, campaigning, corporate spending on political messaging etc. The source need not be any particular national government nor any particular level of government (local, state, provincial, federal, etc). At least one source must adhere to the principles of Linked Open Data. Mashups of raw and linked data are allowed and welcome. Evaluation Criteria =================== The challenge is open to anyone interested in applying Semantic Web and Linked Data technologies. This might include students, developers, researchers, and people from industry. Individual or group submissions are both acceptable. Entries 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); * automatically discover and use new, linked data and do not restrict themselves to a predefined set of data sources; * bring real benefits to potential users through the consumption of Linked Data sources in real-world applications. All 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. Reviews and Judging =================== Submissions to the Triplification Challenge that fit the topics mentioned above will be reviewed by members of the Triplification Challenge Organizing Committee and a Programme Committee consisting of invited experts from the Linked Data community. Based on the reviews, winners and honorary mentions will be nominated. A final decision will be made by the Organizing Committee, based on the reviews by the Programme Committee members. Winners will be awarded with a prize money and a complementary conference pass. At least one person is expected to attend the conference to collect the prize. Format ====== All accepted papers of I-SEMANTICS 2011, including nominated Triplification Challenge submissions, will be published in the digital library of the ACM ICP Series. Submissions must not exceed 3 pages, must be original and must not have been submitted for publication elsewhere. Articles should follow the ACM ICPS guidelines for formatting (http://www.acm.org/sigs/publications/proceedings-templates – Option2: Tighter Alternate Style) and 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, Word Perfect, Word). Important Dates =============== * Paper Submission Deadline: April 30, 2011 * Notification of Acceptance: May 30, 2011 * Camera-Ready Paper: June 30, 2011 * I-SEMANTICS 2011: September 7-9, 2011 Contact and Further Information =============================== Triplification Challenge Website: Contact: Bernhard Schandl From marek at cs.uky.edu Thu Feb 24 02:36:17 2011 From: marek at cs.uky.edu (Victor Marek) Date: Wed, 23 Feb 2011 20:36:17 -0500 Subject: Reminder: Special Issue of JAIR on NMR Message-ID: <20110224013617.GA23617@cs.uky.edu> Journal of Artificial Intelligence Research Reminder: Special issue on NONMONOTONIC REASONING Guest Editors: Gerhard Brewka, Victor Marek, Mirek Truszczynski We are planning a special issue of the Journal of Artificial Intelligence Research devoted to the progress in nonmonotonic reasoning. The issue is loosely connected to the recent conference "30 years of Nonmonotonic Reasoning" but all relevant submissions will be considered. We are interested in original papers on any topic concerned with the phenomenon of nonmonotonic reasoning and nonmonotonic logics as they relate to artificial intelligence and, in particular, knowledge representation. The papers will be subject to the JAIR reviewing process and to JAIR paper acceptance standards. The papers should be submitted using JAIR's regular web-based submission procedure. Each paper should clearly identify that it is submitted for the special issue on nonmonotonic reasoning. This should be done in a note under ?Special information for editors? on the submission form (see JAIR's policy on special issues www.jair.org/Special-Issues.pdf). After submission, please send an email to one of the guest editors for confirmation. Submission deadline: March 7, 2011. We expect to finish the reviewing process by May 9, 2011. Gerhard Brewka, Victor W. Marek and Mirek Truszczynski From frflammi at unina.it Thu Feb 24 13:02:30 2011 From: frflammi at unina.it (Francesco Flammini) Date: Thu, 24 Feb 2011 13:02:30 +0100 Subject: SAFECOMP 2011 - Second Call for Papers (abstract submission deadline approaching) Message-ID: <20110224130230.resk71lpwc8g04kg@webmail.unina.it> [Apologies for cross-posting] ******************************************************************** SECOND CALL FOR PAPERS SAFECOMP 2011 - The 30th International Conference on Computer Safety, Reliability and Security http://www.safecomp2011.unina.it/ 19-21 September 2011 Naples, Italy ******************************************************************** Technically co-sponsored by IEEE Computer Society In cooperation with ACM SIGBED and SIGSAC -------------------------------------------------------------------- 2011 KEY THEME: "Safety and security of computer-based systems and infrastructures: from risk assessment to threat mitigation" -------------------------------------------------------------------- Topics of interest include, but are not limited to: Application and Industrial Sectors: control, networking & telecommunication, railways, robotics and autonomous systems in general, medical devices and systems, e-health, off-shore technology, ship building, power systems, critical infrastructures, security of safety-critical systems, safety guidelines and standards, education & training. Research Areas: safety & security risk assessment, design for dependability, diversity, fault tolerance, verification & validation, testing, qualification and certification, modelling and simulation, human factors, dependability analysis, networked (distributed) embedded systems, safety-critical computer systems, resilient (robust) systems, physical and cyber threats, vulnerability analysis, dependency and interdependency modelling and metrication, cascading effects. Especially papers on industrial experience and practice are encouraged. -------------------------------------------------------------------- Conference Proceedings and Journal Special Issue -------------------------------------------------------------------- The conference proceedings will be published by Springer in the LNCS series (http://www.springer.de/comp/lncs/) and made available at the conference. Authors of selected papers will be invited to submit a revised and extended version to a special issue of the International Journal on Reliability Engineering and System Safety (RESS) published by Elsevier. -------------------------------------------------------------------- Important Dates -------------------------------------------------------------------- * February 27, 2011: Paper Abstract due * March 21, 2011: Full paper due * April 15, 2011: Tutorial/Workshop proposals due * May 9, 2011: Author notification * June 13, 2011: Camera-ready -------------------------------------------------------------------- Submission Information -------------------------------------------------------------------- Authors are invited to submit a half-page abstract announcing the intention to submit a full paper and summarizing the content of the paper, its objectives and original contribution. Full papers must not exceed the maximum length of 14 pages to be edited according to the LNCS templates provided by Springer-Verlag at the web site: http://www.springer.de/comp/lncs/ -------------------------------------------------------------------- Chairs -------------------------------------------------------------------- * EWICS Chair: - Francesca Saglietti (Univ. of Erlangen-Nuremberg) * Program Committee Chairs: - Francesco Flammini (Ansaldo STS) - Sandro Bologna (ENEA) * Local Chairs: - Nicola Mazzocca (Univ. of Naples Federico II) - Concetta Pragliola (Ansaldo STS) - Roberto Setola (Univ. Campus Biomedico di Roma) - Valeria Vittorini (Univ. of Naples Federico II) * Honorary Chairs: - Giovanni Bocchetti (Ansaldo STS) - Giorgio Franceschetti (Univ. of Naples Federico II) - Antonino Mazzeo (Univ. of Naples Federico II) -------------------------------------------------------------------- General Inquires -------------------------------------------------------------------- For more detailed and updated information, please refer to http://www.safecomp2011.unina.it/ or contact the conference secretariat at: safecomp2011 at unina.it From eurobot2011 at easychair.org Thu Feb 24 14:57:56 2011 From: eurobot2011 at easychair.org (Eurobot 2011) Date: Thu, 24 Feb 2011 14:57:56 +0100 Subject: [EUROBOT 2011] Call For Papers: 4th Intl Conference on Research and Education in Robotics Message-ID: <4D6663E4.14235.2D541A9F@eurobot2011.easychair.org> Apologies if you receive multiple copies of this reminder. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ CALL FOR PAPERS ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Eurobot Conference 2011 4th International Conference on Research and Education in Robotics June 15-17, 2011 Prague, Czech Republic http://www.eurobot.org/conference You are invited to submit a full paper for consideration. The conference proceedings will be published by Springer. AREAS OF INTEREST include, but are not limited to: * Research Track -- Robot control and behaviour: localization, navigation, planning, simulation, visualization, virtual reality modelling, evolutionary and cognitive robotics. -- Applications of autonomous intelligent robots: exploration robots, service robots, robots for hazardous environments. -- Perception, processing and action: sensors, vision, motion systems, specialized peripherals. * Education Track -- Robotics at School and at University: curricula, methodology, competences, outcomes. -- Practical educational robotics activities: robot contests, workshops, summer camps, robotic kits for education and research. -- Practices in educational robot design: project management, team development, funding, reusing parts and components. -- Future pedagogical activities: innovative practices, acceptability (humanoid teachers, etc.). * Special Eurobot Track -- Presentation of projects and robots designed for Eurobot contest, including previous editions: robot design, planning, team building and management. Eurobot Conferences are organized in conjunction with Eurobot Autonomous Robot Contest. While it is not compulsory, we encourage the contest participants to join this conference too - and vice versa. For further details, see the EUROBOT website. PROCEEDINGS: The conference proceedings will be published by Springer. SUBMISSIONS: Authors should submit papers in English reporting original works. The papers should be submitted in PDF format, with the length of six to fifteen (6-15) pages following Springer LNCS manuscript submission guidelines which are available at http://www.springer.de/comp/lncs/authors.html. All papers should be submitted using the EasyChair system at http://www.easychair.org/conferences/?conf=eurobot2011. At least one of the authors of each accepted paper must register to attend the conference in order for the paper to appear in the conference proceedings. IMPORTANT DATES: Paper submission: March 20, 2011 Author notification: April 15, 2011 Camera-ready submission: April 22, 2011 Conference early registration: April 28, 2011 Conference: June 15-17, 2011 For more details please visit the Conference web pages at http://www.eurobot.org/conference. From tina.balke at uni-bayreuth.de Thu Feb 24 16:53:23 2011 From: tina.balke at uni-bayreuth.de (Tina Balke) Date: Thu, 24 Feb 2011 15:53:23 +0000 Subject: CALL FOR PAPERS -- European Agent Systems Summer School Student Session 2011, Girona, Catalonia (Spain) Message-ID: <1298562803.2240.7.camel@btw6xs> Apologies for multiple copies. Please Distribute this Call for Papers of European Agent Systems Summer School (EASSS) Student Session to interested students. 13th European Agent Systems Summer Girona, Catalonia (Spain) July 11-15, 2011 Call for submissions to the Student Session Take your chance – Participate in the European Agent Systems Summer School and present your work to fellow students and researchers! The Student Session is designed to encourage student interaction and feedback from the tutors. By providing the students with a conference-like setup, both in the presentation and in the review process, students have the opportunity to prepare their own submission, go through the selection process (peer review) and possibly present their work to themselves and their interests to their fellow students as well as internationally leading experts in the agent field, both from the theoretical and the practical sector. All submissions will be peer-reviewed and accepted paper submissions will be assigned a 20 minute slot for presentation. Typically a presentation will either detail the intended approach to a problem or ask a specific question, directed at the audience. In addition, selected submission authors will be given the opportunity to present their work in form of a poster that will be displayed at EASSS'11. Moreover, all accepted submissions will be published in online proceedings. As the goal is to provide the speakers with constructive feedback and the means to be introduced to the community, the competitive elements often found in conferences (best paper award, best presentation award) are intentionally omitted. The peer review will focus not on the magnitude of the presented material but on the clarity of the formulated material or whether or not the posed question is of relevance to a majority of students. Giving a good presentation is a difficult task, practicing it is the benefit of this session. The extend to which the audience has understood the details should be the criterion by which the presentations are judged. Deadlines Abstract submission (optional): Monday May 16th Strict submission: Wednesday May 18th Notification to authors: Friday June 3th Camera Ready version: Thursday June 30th Start of the Summer School: Monday July 11th Submission Details Topics are not limited but they should match with the scope of EASSS'11 Summer School. Papers should describe student's works at student level. Only students can be authors, supervisors are however strongly encouraged to, motivate there students to participate and supervise the quality of there work. At least one of the authors will have to register as a participant at the EASSS 2011. Submissions can be either long or short papers. Short papers must not exceed 4 pages including references and appendix. Accepted papers will be presented in a poster session. Long papers: up to 8 pages including references and appendix. Accepted papers will be presented orally (20 minutes slot) and, optionally, in a poster session. All accepted submissions will be published in online proceedings. Submitted article must use the AAMAS style (see www.aamas2011.tw for more details) in either .pdf or .ps format. Please use the following link https://www.easychair.org/conferences/?conf=sseasss11 for your submission. If you're interested in promoting the EASSS'11 student Session at your institution feel free to forward or download, print and distribute the flyer (http://eia.udg.edu/easss2011/resources/docs/cfp-ss.pdf). For any suggestion or further questions regarding the student session, email easss2011-studentsession at eia.udg.edu. Student Session PC Chairs Tina Balke Universität Bayreuth, Germany tina.balke at uni-bayreuth.de Daniel Villatoro Artificial Intelligence Research Institute (IIIA), Spain dvillatoro at iiia.csic.es Albert Pla Universitat de Girona, Spain apla at eia.udg.edu From admin at cyberjournals.com Fri Feb 25 00:53:24 2011 From: admin at cyberjournals.com (admin) Date: Thu, 24 Feb 2011 18:53:24 -0500 Subject: Cyber Journals March Edition Call For Paper - Submission Deadline: March 10, 2011 (2 weeks left) In-Reply-To: References: Message-ID: Dear All We'd like to invite you to contribute to the Cyber Journals' March Edition and circulate this invitation among interested students, researchers, and faculty members of your department. Regards Cyber Journals Editors-in-Chief The Canadian-based Cyber Journals ---------------------------  Call For Paper --------------------------- The Canadian-based Cyber Journals (ISSN: 1925-2676) invite students, researchers, academic and industrial professionals to submit manuscripts for the January Edition, under the following special issues: 1.      Journal of Selected Areas in Telecommunications (JSAT) 2.      Journal of Selected Areas in Software Engineering (JSSE) 3.      Journal of Selected Areas in Microelectronics (JSAM) 4.      Journal of Selected Areas in Nanotechnology (JSAN) 5.      Journal of Selected Areas in Mechatronics (JMTC) 6.      Journal of Selected Areas in Health Informatics (JSHI) 7.      Journal of Selected Areas in Bioengineering (JSAB) 8.      Journal of Selected Areas in Bioinformatics (JBIO) 9.      Journal of Selected Areas in Robotics and Control (JSRC) 10.  Journal of Selected Areas in Renewable and Sustainable Energy (JRSE) Scope: Cyber journals accept scientific research and review articles from diverse fields. Please refer to the journals website (http://www.cyberjournals.com/) for details under each special issue. Editorial Review: Manuscripts will be double-blind-peer reviewed by three experts and professionals in the field and the author(s) will receive the review results accordingly. Editorial Members: Cyber Journals publication is supported by +60 highly professional and technical editorial members, gathered from diverse technical and educational backgrounds from USA, Canada, and other parts of the world. Please refer to the editorial page for more information: http://www.cyberjournals.com/editors.html Author Guidelines: Please refer to the author guidelines section for a sample article template, which follows the IEEE standard (http://www.cyberjournals.com/guidelines.html). Submission: Authors are requested to submit their manuscripts using the submission page: (http://www.cyberjournals.com/submit.html). Paper Indexing: Accepted papers are fully accessible and indexed in this page: http://www.cyberjournals.com/papers.html Best Paper  Award:  *** All submitted papers are considered for the Best Paper Award. Please refer to the Best Paper Award page (http://www.cyberjournals.com/bestpa.html). Online Citation Sources: Cyber Journals Publication is a member of a number of online citation sources, including: Google Scholar, Docstoc, Scribd, Publishing List and getCITED, and will continue to be included in more online citation systems. Contacting the Editors-in-Chief: Contact us if you have a question regarding the journals, at: admin [@] cyberjournals [.] com Important Dates: Article Submission Deadline: March 10th, 2011 Author Notification: March 24th, 2011 Final Manuscript Due: March 31st, 2011 Online indexing: Early April 2011                                Cyber Journals' next monthly edition is due on April10th, 2011 From Olivier.Boissier at emse.fr Fri Feb 25 14:49:21 2011 From: Olivier.Boissier at emse.fr (Olivier Boissier) Date: Fri, 25 Feb 2011 14:49:21 +0100 Subject: WI-IAT 2011 - Call for Papers (Abstract due March 4, 2011 - Full paper due March 11, 2011) Message-ID: <4D67B361.4080701@emse.fr> * Apologies for cross-posting * This is sent on behalf or the 2011 edition of IEEE/WIC/ACM WI-IAT conference organizing committee. **************************************************************************** The 2011 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCE ON WEB INTELLIGENCE (WI 2011) INTELLIGENT AGENT TECHNOLOGY (IAT 2011) CALL FOR PAPERS **************************************************************************** August 22 - 27, 2011, Lyon, France http://wi-iat-2011.org Sponsored By IEEE Computer Society Web Intelligence Consortium (WIC) Association for Computing Machinery (ACM) **************************************************************************** Full Papers submission (WI and IAT): - Electronic abstracts submission (WI and IAT): March 4, 2011 - Electronic submission of full papers (WI and IAT): March 11, 2011 Notification of paper acceptance (WI and IAT): May 23, 2011 Workshop paper submissions: March 21, 2011 Notification of Workshop paper acceptance: June 1, 2011 Demo paper submissions: April 4, 2011 Notifications of Demo paper acceptance: May 23, 2011 Industry Track paper submissions: March 21, 2011 Notification of Industry Track paper acceptance: June 1, 2011 Camera-ready copies of accepted papers: June 10, 2011 Workshops and Industry track: August 22, 2011 Conference: August 23-25, 2011 Summer School: August 26-27, 2011 ################################################################## For more information on the different calls: http://wi-iat-2011.org *** Contact Information *** Email: wi-iat11 at liris.cnrs.fr The WIC Office Email: wi10 at wi-consortium.org From leon.vandertorre at uni.lu Sun Feb 27 17:10:30 2011 From: leon.vandertorre at uni.lu (Leon Van Der Torre) Date: Sun, 27 Feb 2011 17:10:30 +0100 Subject: Special issue of Journal of Logic and Computation on Deontic Logic and Normative Systems Message-ID: <4D6A7776.7020901@uni.lu> 1951 - 2011: 60 years of DEONTIC LOGIC Special issue of Journal of Logic and Computation, corner on Deontic Logic and Normative Systems Paper Submission Deadline: *September 1, 2011* http://deonticlogic.org/ With his seminal paper ``deontic logic'' published in Mind in 1951, Von Wright launched the area of deontic logic. It is the field of logic that is concerned with obligation, permission, and related concepts. We invite papers concerned with the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other related areas of logic, and the formal analysis of normative concepts and normative systems. We also invite applications of deontic logic and normative systems to, for example, the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including the representation of rights, authorisation, delegation, power, responsibility and liability, the formal specification of normative systems for the management of bureaucratic processes in public or private administration, applications of normative logic to the specification of database integrity constraints, security and privacy, and normative aspects of protocols for communication, negotiation and multi-agent decision making. Submission Details ================== Authors are invited to submit an original, previously unpublished, research paper pertaining to any of the above mentioned topics. The paper should follow the specifications of the journal as detailed: http://www.oxfordjournals.org/our_journals/logcom/for_authors/index.html The paper must be submitted via the Easychair system, not sent directly to the journal: https://www.easychair.org/conferences/?conf=deon60years Each submitted paper will be carefully peer-reviewed based on originality, significance, technical soundness, and clarity of exposition and relevance for the journal. Corner editors, and editors of the special issue =============== Guido Governatori, NICTA, Queensland Research Laboratory John Horty, University of Maryland Ron van der Meyden, University of New South Wales Leon van der Torre, University of Luxembourg From C.Orasan at wlv.ac.uk Mon Feb 28 13:43:55 2011 From: C.Orasan at wlv.ac.uk (Constantin Orasan) Date: Mon, 28 Feb 2011 12:43:55 +0000 Subject: CFP - KEPT 2011, Cluj-Napoca, Romania Message-ID: <1298897035.28634.48.camel@dinel-desktop> [Apologies for multiple postings] -------------------------------------------------------- Call for papers Knowledge Engineering: Principles and Techniques Conference (KEPT) 2011 Monday - Wednesday, July 4-6, 2011 Cluj-Napoca, Romania http://www.cs.ubbcluj.ro/kept2011/ -------------------------------------------------------- Featuring the latest advances in theoretical and applied research, KEPT topics include current challenging issues in knowledge processing. KEPT aims at fostering interaction among the scientific communities of knowledge engineering, with the purpose of exhibiting interesting applications of these areas both in theory and in practice. The event takes place in Cluj-Napoca, a traditional academic city in Romania, situated in the middle of Transylvania. KEPT 2011 will be hosted at Babes-Bolyai University in Cluj-Napoca, one of the oldest universities in Romania. Organised by: Computer Science Department, Babes-Bolyai University, Cluj-Napoca, Romania Important Dates Deadline for Manuscript Submission: March 10, 2011 Notification of acceptance: April 15, 2011 Camera-ready copy due: May 15, 2011 Registration deadline for presenting authors: June 15, 2011 Conference dates: July 4-6, 2011 Publication Short versions (max.6 pages) of all accepted papers will be published as pre-proceedings in Studia (indexed by MathSciNet). Selected contributions (extended paper) presented at the KEPT Conference will be published in a post-proceedings edited by a notable society press. Only those papers that are accepted for presentation and are presented at the conference by a registered author, will be accepted for publication in the post-proceedings. The Selected Papers volume of the KEPT 2009 conference has been indexed as ISI Proceedings by Thompson ISI. Topics to be covered include, but are not limited to (see General Tracks section also): • Knowledge in Computational Linguistics (Session chair: Doina Tatar) • Knowledge Processing and Discovery (Session chair: Dan Dumitrescu) • Knowledge in Software Engineering (Session chair: Bazil Parv) • Knowledge in Distributed Computing (Session chair: Florian Mircea Boian) General chairs: Militon Frentiu (Babes-Bolyai University) Horia F. Pop (Babes-Bolyai University) Simona Motogna (Babes-Bolyai University) Scientific committee • Ajith Abraham (Seoul University, Republic of Korea) • Razvan Andonie (Central Washington University) • Florian Boian (Babes-Bolyai University) • Laszlo Boeszoermenyi (Klagenfurt University, Austria) • Sabin C. Buraga ("A.I. Cuza" University, Iasi) • Dan Cristea ("A.I. Cuza" University, Iasi) • Sergiu Cataranciuc (Chisineu University, Moldova) • Gabriela Czibula(Babes-Bolyai University) • Dan Dumitrescu (Babes-Bolyai University) • Calin Enachescu ("Petru Maior" University, Targu Mures) • Militon Frentiu (Babes-Bolyai University) • Angel Garrido (UNED, Spain) • Gheorghe Grigoras ("A.I. Cuza" University, Iasi) • Crina Grosan (Babes-Bolyai University) • Hermann Hellwagner (Klagenfurt University, Austria) • Zoltan Horvath (Eotvos Lorand University, Budapest, Hungary) • Liviu Iftode (Rutgers State University of NJ, USA) • Diana Inkpen (University of Ottawa, Canada) • Zoltan Kasa (~Sapientia Hungarian University of Transylvania) • Ioan A. Letia (Technical University of Cluj) • Dorel Lucanu ("A.I. Cuza" University, Iasi) • Andrian Marcus (Wayne State University) • Daniela Marinescu (Transilvania University of Brasov) • Simona Motogna (Babes-Bolyai University) • Viorel Negru (West University of Timisoara) • Virginia Niculescu (Babes-Bolyai University) • Mihai Oltean (Babes-Bolyai University) • Constantin Orasan (University of Wolverhampton, UK) • Bazil Parv (Babes-Bolyai University) • Dana Petcu (West University of Timisoara) • Horia F. Pop (Babes-Bolyai University) • Dumitru Radoiu ("Petru Maior" University, Targu Mures) • Gheorghe Stefanescu (Bucharest University) • Emma Tamaianu-Morita (Akita University, Japan) • Doina Tatar (Babes-Bolyai University) • Ioan Tomescu (Bucharest University) • Leon Tambulea (Babes-Bolyai University) • Daniela Zaharie (West University of Timisoara) -- Dr. Constantin Orasan Senior Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton -- Scanned by iCritical.