From marco.gavanelli at unife.it Tue Mar 1 17:28:34 2011 From: marco.gavanelli at unife.it (Marco Gavanelli) Date: Tue, 01 Mar 2011 17:28:34 +0100 Subject: RCRA 2011: abstract due in one week Message-ID: <4D6D1EB2.8090708@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 * Pilar Pozos Parra - Universidad Juarez Autonoma de Tabasco, 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. 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 sebastian.rudolph at aifb.uni-karlsruhe.de Wed Mar 2 13:26:30 2011 From: sebastian.rudolph at aifb.uni-karlsruhe.de (Sebastian Rudolph) Date: Wed, 2 Mar 2011 13:26:30 +0100 Subject: First CfP: 24th International Workshop on Description Logics (DL 2011), Barcelona, 13-16 July In-Reply-To: <6171C671-F16E-4000-B5F0-9BCC3220E7ED@aifb.uni-karlsruhe.de> References: <6171C671-F16E-4000-B5F0-9BCC3220E7ED@aifb.uni-karlsruhe.de> Message-ID: <8A7D75C5-370E-4B21-89AC-D42A003C3E02@aifb.uni-karlsruhe.de> Apologies for multiple postings. Please forward to interested parties. --------------------------------------------------------------- CALL FOR PAPERS 24th International Workshop on Description Logics (DL 2011) Barcelona, Spain, July 13th to July 16th, 2011 http://dl.kr.org/dl2011/ The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. ==IMPORTANT DATES== Paper submission deadline: May 1, 2011 Notification of acceptance: June 5, 2011 Camera ready papers due: June 19, 2011 Workshop: July 13-16, 2011 ==WORKSHOP SCOPE== We invite contributions on all aspects of description logics,such as: * foundations of description logics, including expressive power, decidability and complexity of reasoning, novel inference problems, and reasoning techniques for solving these problems; * extensions of description logics, including, but not limited to, closed-world and nonmonotonic reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, and query languages; * integration of description logics with other formalisms, such as object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems; * use of description logics in applications or areas such as ontology engineering, ontology languages, databases, semi-structured data, document management, natural language, learning, planning, semantic web, and grid computing; * building systems based on description logics, with special emphasis on optimization and implementation techniques; and * tools that exploit description logic reasoning, such as ontology editors, database schema design, query optimization, and data integration tools. ==SUBMISSION DETAILS== We invite submissions of papers in Springer LNCS style, see http://www.springer.com/comp/lncs/Authors.html to arrive no later than May 1, 2011. The length of submissions is limited to 11 pages, including title and abstract (can be omitted if necessary), and list of references. Papers must be submitted in PDF format via EasyChair; see http://www.easychair.org/conferences/?conf=dl2011 The workshop proceedings will be made available electronically in the CEUR Workshop Proceedings series; see http://www.CEUR-ws.org/ Accepted submissions will be selected for either oral or poster presentation; however, no distinction will be made in the workshop proceedings: all accepted papers can be 11 pages long. ==INVITED SPEAKERS== Marcelo Arenas, Pontificia Universidad Católica de Chile: "Exchanging more than Complete Data" Gert Smolka, Saarland University: "Incremental decision procedures for modal logic with nominals and eventualities" Heiner Stuckenschmidt, Universität Mannheim: "A Little Logic Goes a Long Way - Logical Reasoning in Web Data Integration and Ontology Learning" ==WORKSHOP CHAIRS== Conference Chair: Riccardo Rosati Sapienza Università di Roma, Italy Program co-Chair: Sebastian Rudolph Karlsruhe Institute of Technology, Germany Program co-Chair: Michael Zakharyaschev Birkbeck College, London, UK Local Organization Chair: Peter Mika Yahoo! Research Barcelona, Spain ==PROGRAM COMMITTEE== Carlos Areces Alessandro Artale Meghyn Bienvenu Alex Borgida Andrea Cali Diego Calvanese Bernardo Cuenca Grau Giuseppe De Giacomo Achille Fokoue Enrico Franconi Birte Glimm Rajeev Gore Stijn Heymans Pascal Hitzler Ian Horrocks Ullrich Hustadt Yevgeny Kazakov Boris Konev Roman Kontchakov Markus Krötzsch Thomas Lukasiewicz Carsten Lutz Thomas Meyer Maja Milicic Boris Motik Ralf Möller Magdalena Ortiz Jeff Z. Pan Bijan Parsia Peter Patel-Schneider Ulrike Sattler Stefan Schlobach Luciano Serafini Evren Sirin Viorica Sofronie-Stokkermans Giorgos Stamou Umberto Straccia David Toman Anni-Yasmin Turhan Grant Weddell Frank Wolter ==FURTHER INFORMATION== Information about registration, travel information, accommodation, and so on will be made available on the DL 2011 homepage: http://dl.kr.org/dl2011/ Enquiries about the DL 2011 workshop can be made by contacting the organizing committee: dl2011 at easychair.org The official Description Logic home page is at http://dl.kr.org/ _________________________________________________ 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 guido at di.unito.it Wed Mar 2 22:25:57 2011 From: guido at di.unito.it (Guido Boella) Date: Wed, 02 Mar 2011 22:25:57 +0100 Subject: Second CFP: Norms and Normative Multi-Agent Systems: CLIMA XII special session Message-ID: <4D6EB5E5.50009@di.unito.it> ++++++++++++++++++++++++++++++++++++++++++++++++++++ Special session on **Norms and Normative Multi-Agent Systems** 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. Preliminary 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 Norms are pervasive in everyday life and influence the conduct of the entities subject to them. One of the main functions of norms is to regulate the behaviour and relationships of agents. Accordingly, any agent or multi agent system, if intended to operate in or model a realistic environment has to take into account to norms regulating. Norms have been proposed in multi-agent systems and computer science to deal with coordination issues, to deal with security issues of multi-agent systems, to model legal issues in electronic institutions and electronic commerce, to model multi-agent organizations, etc. The list of subjects includes (but is not limited to) the following topics: - logical foundations of normative systems - computational models of normative systems - computational models of normative multi-agent systems - formal models of norm dynamics - agent autonomy and norms - agent deliberation and norms - normative agent types - programming normative multi-agent systems 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. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXII/ 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 Organisers: * Guido Boella, University of Turin, Italy * Leon van der Torre, Univ. of Luxembourg, Luxembourg In case of questions, please do not hesitate to contact us at clima2011 at easychair.org . From jleite at di.fct.unl.pt Thu Mar 3 02:42:31 2011 From: jleite at di.fct.unl.pt (Joao Leite) Date: Thu, 3 Mar 2011 01:42:31 +0000 Subject: CLIMA XII @ IJCAI: Second Call for Papers Message-ID: [Please accept our apologies if you receive multiple postings.] ++++++++++++++++++++++++++++++++++++++++++++++++++++ Second Call for Papers CLIMA XII 12th International Workshop on Computational Logic in Multi-Agent Systems with special sessions on: * Norms and Normative Multi-Agent Systems. * Logics for Games and Social Choice. http://centria.di.fct.unl.pt/events/climaXII/ Barcelona, Spain, July 17-18, 2011. Affiliated with IJCAI'11. Submission deadline: April 4/8th. Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++ The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. Following the previous ten, very successful, editions, the 12th CLIMA will be affiliated with IJCAI'11 and will take place in Barcelona, Spain, on the 17th and 18th of July 2011. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions: * Norms and Normative Multi-Agent Systems * Logics for Games and Social Choice We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXII/ Important dates: * Submission: April 4th (Abstracts) / April 8th (Papers) * Notification: May 4th * Camera Ready: May 16th CLIMA XII Chairs: * João Leite, New University of Lisbon, Portugal * Paolo Torroni, University of Bologna, Italy Special Session Organisers: Norms and Normative Multi-Agent Systems: * Guido Boella, University of Turin, Italy * Leon van der Torre, Univ. of Luxembourg, Luxembourg Logics for Games and Social Choice: * Thomas Ågotnes, University of Bergen, Norway Please send all enquiries about CLIMA XII to clima2011 at easychair.org. -- --------------------------------------------------------------- Joao Leite FCT-UNL - Universidade Nova de Lisboa, Faculdade de Ciencias e Tecnologia, Departamento de Informatica e-mail: jleite at di.fct.ul.pt web: http://centria.di.fct.unl.pt/~jleite --------------------------------------------------------------- From shilov at iis.nsk.su Thu Mar 3 05:37:22 2011 From: shilov at iis.nsk.su (shilov at iis.nsk.su) Date: Thu, 3 Mar 2011 10:37:22 +0600 Subject: PSSV: final CFP & deadline extension (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 10, 2011 Notification: April 04, 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. From ilindner at feweb.vu.nl Thu Mar 3 17:35:06 2011 From: ilindner at feweb.vu.nl (Lindner, I. (Ines)) Date: Thu, 3 Mar 2011 17:35:06 +0100 Subject: PhD job position Message-ID: <3AFC08F68F51AD498C041D7A14FCB1480124C4D1@feweb09.feweb.vu.nl> =================================================== Apologies for cross-postings =================================================== Dear Colleague -- This is to let you know that we are offering a PhD position at the VU University Amsterdam. The project is on network effects on the outbreak and volatility of collective action - as for example revolutions, spread of rumours and diseases, marketing, sentiment dynamics in financial markets. The candidate should have a background in applied mathematics or mathematical economics, ideally in dynamic systems or network theory, and should have some experience in programming. Further needed skills will be acquired during the PhD programme of our institutes. A more detailed project description can be found at http://staff.feweb.vu.nl/ilindner/PhD%20project%20Cascade%20Dynamics%20on%20Interaction%20Networks.pdf. Best regards, Ines Lindner =================================================== PhD Position (Ines Lindner/VU University Amsterdam) =================================================== Area of research: Mathematical decision making, Nonlinear dynamic systems, Networks, Game theory, Multiple or simultaneous equation models, Mathematical and quantitative methods, Influence on Collective Action Location: VU University Amsterdam and University of Amsterdam Period: 4 years Starting date: flexible Stipend: This PhD position is financed by the Netherlands Organization for Scientific Research (NWO) Application: Please send all hard copy applications to Dr. Ines Lindner, VU University Amsterdam, Department of Econometrics and Operations Research, De Boelelaan 1105, 1081HV Amsterdam, The Netherlands. For electronic applications please use the e‐mail address ilindner at feweb.vu.nl . The receipt of all applications will be confirmed by e‐mail. Deadline of applications is 15 May 2011. Dr. Ines Lindner Department of Econometrics & OR VU University Amsterdam De Boelelaan 1105 1081 HV Amsterdam The Netherlands Telephone: +31 20 5986026 Fax: +31 20 5986020 URL: http://staff.feweb.vu.nl/ilindner/ -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bsl at Cs.Nott.AC.UK Fri Mar 4 19:33:13 2011 From: bsl at Cs.Nott.AC.UK (Brian Logan) Date: Fri, 4 Mar 2011 18:33:13 +0000 Subject: CfP: Formal Methods for Pervasive Systems [Pervasive@FM2011] ... Message-ID: <01E9A1DF-3F26-4C61-A465-4EBB2DBE1801@cs.nott.ac.uk> CALL FOR PAPERS "Formal Methods for Pervasive Systems [Pervasive at FM2011]" A Workshop held as part of FORMAL METHODS 2011 -- http://fm2011.lero.ie DEADLINE: 20th March 2011 [ See http://www.csc.liv.ac.uk/~michael/Pervasive at FM2011.{pdf,html,txt} ] WORKSHOP TOPICS: ================ Logics, Process calculi, Automata, Specification languages, Probabilistic analysis, Model checking, Theorem-proving, Tools, Automated deduction *FOR* privacy, behaviour, security, reliability, interoperability, context-aware, mobility, resource requirements, temporal *ASPECTS OF* pervasive healthcare systems, sensor networks, e-commerce, cloud computing, MANETs/VANETs, telephony, device swarms, electronic tags, human-device interaction, etc. SUBMISSIONS: ============ Our aim is to have productive discussions and a true workshop "feel". Thus, we invite two kinds of submission: 1. Original research papers concerning any of the above topics; or 2. Survey papers providing an overview of some of the above topics. Submissions should be written in English, formatted according Springer LNCS style, and not exceed 20 pages in length. Submissions must be made via http://www.easychair.org/conferences/?conf=pervasivefm2011 Our aim is for an informal proceedings based on these submissions to be available during the workshop. Depending upon the success of the workshop, we intend to produce an edited book based (at least in part) upon the contributions or develop a special issue of a journal. IMPORTANT DATES: ================ Submission deadline: 20th March 2011 Notification of acceptance: 1st May 2011 Pre-proceedings version due: 20th May 2011 Workshop: 20th or 21st June, 2011 INVITED SPEAKER: ================ Simon Dobson (School of Computer Science, University of St. Andrews) WORKSHOP CO-CHAIRS: =================== Michael Fisher (University of Liverpool, UK) Brian Logan (University of Nottingham, UK) PROGRAMME COMMITTEE: ==================== Natasha Alechina (Nottingham, UK) Myrto Arapinis (Birmingham, UK) Mohamed Bakhouya (Belfort, FR) Doina Bucur (INCAS3, NL) Michael Butler (Southampton, UK) Muffy Calder (Glasgow, UK) Antonio Coronato (CNR, IT) Soren Debois (Copenhagen, DK) Giuseppe De Pietro (CNR, IT) Marina De Vos (Bath, UK) Simon Dobson (St Andrews, UK) Michael Fisher (Liverpool, UK) Michael Harrison (Newcastle, UK) Savas Konur (Liverpool, UK) Brian Logan (Nottingham, UK) Alessio Lomuscio (Imperial, UK) Ka Lok Man (XJTLU, CN) Julian Padget (Bath, UK) Anand Ranganathan (IBM, USA) Alessandro Russo (Imperial, UK) Mark Ryan (Birmingham, UK) Chris Unsworth (Glasgow, UK) Kaiyu Wan (XJTLU, CN) STEERING COMMITTEE: =================== Natasha Alechina (University of Nottingham, UK) Muffy Calder (University of Glasgow, UK) Michael Fisher (University of Liverpool, UK) Brian Logan (University of Nottingham, UK) Mark Ryan (University of Birmingham, UK) From log-ic2011 at lists.deri.org Sat Mar 5 23:59:53 2011 From: log-ic2011 at lists.deri.org (log-ic2011) Date: Sat, 05 Mar 2011 23:59:53 +0100 Subject: 2nd CFP Log-IC 2011: Second International Workshop on Logic-Based Interpretation of Context: Modeling and Applications Message-ID: <4D72C069.5090301@lists.deri.org> (Apologies for cross-posting) --------------------------------------------------------------------------------------------------------------------------------------------------------- Second Call for Papers Log-IC 2011 Second International Workshop on Logic-Based Interpretation of Context: Modeling and Applications In conjunction with LPNMR 2011 Vancouver 16-19 May 2011 http://log-ic2011.deri.ie --------------------------------------------------------------------------------------------------------------------------------------------------------- Context interpretation and context-based reasoning are key factors in the development of intelligent autonomous systems in a variety of applications. The ability to represent contextual factors, interpret them and combine them with other sources of knowledge are some of the challenges to enable intelligent systems achieve correct behavior. Much work has been done in application areas that make use of contextual information, such as pervasive computing, logic-based sensor fusion and data integration, distributed problem solving and societal issues in Multi-Agent Systems. As well, theoretical foundations for context-based reasoning have been studied. However, there is still a great deal to do in context modeling, since generic context models for context-aware application development need to be further explored, as does the role of context reasoning in particular regarding distributed evaluation and in conjunction with more recently emerging areas such as ontologies, including Semantic Web data, social features and reasoning about mental states, as well as approaches to belief change. While implemented context-representation models are generally ad-hoc, domain-dependent and do not support powerful inference, declarative logic-based models often fail to provide a representation of context-dependent data that is both general and with good computational properties. Context-dependent data can arise from different sources; for example it may be gathered by sensors or collected from different knowledge sources in different formats. The incompleteness and heterogeneous nature of such data and the need for state-based context interpretation in dynamic systems suggest that non-monotonic reasoning techniques could be a powerful tool for effective context-dependent reasoning. Since in many applications the data stems from distributed sources, we encourage submissions addressing distributed reasoning mechanisms. Likewise, declarative approaches to societal reasoning or agent coordination may provide the backbone for contextual reasoning in various application domains. Given the increasing interest in hybrid knowledge representation formalisms as basis of the Semantic Web, we also invite submissions where hybrid formalisms combining Description Logics and Logic Programming as the basic representation framework for reasoning with (distributed) contexts are proposed. This workshop will provide a forum for researchers investigating context-aware applications and context-based or distributed reasoning with the goal of sharing and comparing their views on the efficacy of different context representation and context interpretation frameworks. Log-IC 2011 will also propose targeted discussions on the topic. --------------------------- Topics --------------------------- Topics of interests include (but are not limited to): - Surveys of frameworks for context representation and reasoning - Relating logic-based context models to other representation frameworks - Formal aspects of context representation and interpretation - Distributed reasoning formalisms and algorithms - Paraconsistent reasoning and context interpretation - Dealing with uncertainty in context modeling - Logic-supported sensor fusion - Belief revision and context-awareness - Argumentation in context-dependent decision support - Social features of contextual reasoning - Ontologies and nonmonotonic reasoning in context representation - Hybrid formalisms for reasoning within contexts or including sub-symbolic contexts - Contextual aspects in agent coordination - Nonmonotonicity and context evolution - Data integration for context-awareness - Applications, including (but not limited to) Activity Recognition, Diagnosis, Query Answering, Early Warning, in various application domains, such as Health Care, Assisted Living, Robotics, etc. --------------------------- Submissions --------------------------- Submitted papers will be peer-reviewed and must be formatted according to the Springer LNCS/LNAI format. Regular papers (included application papers) should not exceed 12 pages overall. The limit for short papers and system descriptions is 6 pages in the same format. We also encourage position papers on early-stage research (for poster or short presentations) of at most 3 pages. Paper submission is by the EasyChair conference system: to submit a paper, visit http://www.easychair.org/conferences/?conf=log-ic2011 and upload a PDF version of the paper. Proceedings will be published online after the workshop; publication as CEUR workshop proceedings on CEUR-WS.org is intended. ---------------------------------- Important dates ---------------------------------- Paper submissions: March 21st, 2011 Notification of Acceptance: April 18th, 2011 Camera-ready versions: April 30th, 2011 Workshop: May 16th, 2011 ---------------------------------- Workshop Officials ---------------------------------- Organization Committee: Alessandra Mileo Digital Enterprise Research Institute NUIG, Galway Ireland Michael Fink Institute of Information Systems TU Wien, Vienna Austria Program Chairs: Alessandra Mileo, University of Galway, Ireland Michael Fink, Vienna University of Technology, Austria Program Committee: - Sebastian Bader, University of Rostock, Germany - Marcello Balduccini, Kodak Research Labs, Rochester, NY, USA - Chitta Baral, Arizona State University, Tempe, AZ, USA - Leopoldo Bertossi, Carleton University, Canada - Roberto Bisiani, University of Milano-Bicocca, Italy - Gerhard Brewka, University of Leipzig, Germany - Pedro Cabalar Fernandez, Corunna University, Galicia, Spain - Marina de Vos, University of Bath, UK - James P. Delgrande, SFU, Canada - Wolfgang Faber, University of Calabria, Rende (CS), Italy - Stijn Heymans, SemanticBits LLC, Herndon, VA, USA - Joao Leite, Universidade Nova de Lisboa, Portugal - Jorge Lobo, IBM T. J. Watson Research Center, Hawthorne, NY, USA - Bernd Ludwig, University of Erlangen-Nuremberg, Germany - Wendy MacCaull, St. Francis Xavier University, Antigonish, Canada - Robert Mercer, University of Western Ontario, Canada - Tommie Meyer, Meraka Institute, Pretoria, South Africa - Axel Polleres, University of Galway, Ireland - Enrico Pontelli, New Mexico State University, Las Cruzes, NM, USA - Marie-Christine Rousset, University of Grenoble, France - Chiaki Sakama, Wakayama University, Japan - Torsten Schaub, University of Potsdam, Germany - Tran Cao Son, New Mexico State University, Las Cruzes, NM, USA - Hans Tompits, Vienna University of Technology, Austria - Paolo Torroni, University of Bologna, Italy - Kewen Wang, Griffith University, Brisbane, Australia - Nic Wilson, University College, Cork, Ireland - Stefan Woltran, Vienna University of Technology, Austria From cacs at cacs2010.org Sun Mar 6 07:03:56 2011 From: cacs at cacs2010.org (Jane Lew) Date: Sun, 6 Mar 2011 14:03:56 +0800 Subject: Congress on Computer Applications and Computational Science, Bali, 15-17 Nov 2011 [EI Compendex,ISTP,IEEE Xplore] Message-ID: <17B3994702B03D356DDD9930C110ECD9@qepzqvvoc> 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 homola at fmph.uniba.sk Sat Mar 12 00:57:11 2011 From: homola at fmph.uniba.sk (Martin Homola) Date: Sat, 12 Mar 2011 00:57:11 +0100 Subject: 3 PhD positions | DKM Group, FBK-IRST Trento Message-ID: [[[ Apologies for multiple copies of this message ]]] Three PhD Positions Available Data and Knowledge Management Unit Fondazione Bruno Kessler - IRST Trento, Italy Deadline: March 16th, 2011, 13:00 (GTM+1) The Data and Knowledge Management (DKM) research unit (http://dkm.fbk.eu) of the Bruno Kessler Foundation (FBK), Trento, Italy, is seeking candidates for 3 Ph.D positions. The Ph.D. studies will be held at the International Doctorate School in Information and Communication Technologies (http://www.ict.unitn.it/) of the University of Trento, Italy. The research activities will focus on following topics: COMBINING ONTOLOGICAL AND PROCESS-BASED REASONING [This position is jointly supervised by FBK and the ISTC-CNR, Laboratory for Applied Ontology, Trento.] Semantic Business Process Management has the main objective of improving the level of automation in the specification, implementation, execution, and monitoring of business processes by extending business process management tools with the most significant results from the area of Semantic Web. For instance, when the focus is on process modeling, i.e. the activity of specification of business processes at an abstract level, annotating process descriptions with labels taken from a set of domain ontologies can provide additional support to the phase of business analysis, or to the creation of valid process diagrams, which not only comply with the basic requirements of the process semantics, but also satisfy properties that take into account the domain specific semantics of the labels of the different process elements. The ability to provide good Semantic Business Process Management services poses strong scientific challenges as it requires an integrated usage of formalisms for the representation and execution of business processes together with those used to represent ontologies and business domains, which traditionally have been developed and investigated in separate research areas. The aim of this thesis is to investigate how we can combine logical formalisms for process and domain knowledge to enhance the quality of Semantic Business Process Management. The thesis will investigate (i) the definition of new theoretical paradigms as well as the extension of existing ones, (ii) the development of reasoning services on top of these theoretical paradigms and (iii) the tailoring these reasoning services to scenarios taken from Business Process Design and Service Provisioning, Integration and Composition. Skills required: good knowledge of logic and knowledge representation; reasonable knowledge of software engineering and conceptual modelling. Contact person: Chiara Ghidini MIXING LOGICAL AND STATISTICAL REASONING Humans solve the problems of interpreting multimedia documentation by both exploiting structural regularities in the data, as well as making use of common sense and specialized knowledge that explicitly represents the meaning of data. In spite of this simple observation, current approaches to processing content over the Internet are based either on a statistical approach, which exploits the regularities of the content encoded in a statistical model (using machine learning methodologies), or, alternatively, by logical approaches, by exploiting logical knowledge encoded via logical theories (semantic web and ontologies). In both cases this unilateral approach leads to a limitation in the performance or in the quality of the results. We believe that combining statistical knowledge with logical knowledge in a unique system would improve the efficiency and the effectiveness of content management applications. The Copilosk project at FBK aims at investigating how statistical and logical knowledge can be combined and exploited in content and knowledge management, by proposing or extending a theoretical paradigm, test it in three use cases in the area of machine translation, knowledge extraction from text, and image object recognition, and in case of positive results applying it to a real case scenario. For more information about the copilosk project please visit copilosk web site The Ph.D will be developed in collaboration with Telecom Italia Contact person: Luciano Serafini STRUCTURED DATA INDEXING AND RETRIEVAL Topics of this grant are the ontological (i.e. formal) description and reasoning of knowledge according to standards developed by the Semantic Web community combined with machine learning approaches such as graphical models or regularization methods. Innovative research will be addressed for context-driven reasoning and indexing and will be jointly carried out with existing multimedia analysis (e.g. image recognition, speech analysis, etc.) in some augmented reality scenarios. This research will be developed in collaboration with Telecom Italia. Contact person: Luciano Serafini Candidate Profile ================= The ideal candidate should have an MS or equivalent degree in computer science, mathematics or electronic engineering, phisics and philosophy, and combine solid theoretical background and software development skills. The candidate should be able to work in a collaborative environment, with a strong commitment to reaching research excellence and achieving assigned objectives. Applications and Inquiries ========================== Interested candidates should inquire for further information and/or apply by sending email to serafinifbk.eu or ghidinifbk.eu Applications should contain a statement of interest, with a Curriculum Vitae, and three reference persons. PDF format is strongly encouraged. NOTE THAT AN APPLICATION THROUGH THE UNIVERSITY OF TRENTO WEBSITE IS REQUIRED. See http://ict.unitn.it/application for more details. THE DEADLINE FOR THE APPLICATION IS March 16th, 2011, 13:00 (GTM+1). -- Martin Homola Homepage: http://ii.fmph.uniba.sk/~homola/ PGP public key: http://ii.fmph.uniba.sk/~homola/publickey.asc From rseba at disi.unitn.it Sat Mar 12 00:57:11 2011 From: rseba at disi.unitn.it (Roberto Sebastiani) Date: Sat, 12 Mar 2011 00:57:11 +0100 Subject: URGENT: PhD position on Satisfiability-based algorithms for Requirements Engineering Message-ID: ======================================================================== !!!!!!!!! URGENT: Submission Deadline: March 16th, 2011 !!!!!!!!!!!! Last call for one PhD position in ICT on "Satisfiability-based algorithms for Requirements Engineering" at Dept. of Computer Science & Engineering, University of Trento, Italy. Advisors: Prof. John Mylopoulos and Prof. Roberto Sebastiani ======================================================================== ELIGIBILITY CRITERIA: Candidates are required to have a master -- or equivalent -- degree in Computer Science, Computer Engineering or Mathematics, or to obtain it withing November 1st 2011. The ideal candidates should have a good background in logic and in software engineering. A background knowledge in Propositional Satisfiability (SAT), Satisfiablity Modulo Theory (SMT), Automated Reasoning, Knowledge Representation & Reasoning or Formal Methods would be very-positively evaluated. All the positions are covered by a scholarship, amounting roughly to 51,000 Euros over the three years. Substantial extra funding is available for participation in international conferences, schools, and workshops. DESCRIPTION: Over the past decade, logic-based goal-oriented requirements modeling languages have been used in Computer Science in order to represent software requirements, business objectives and design qualities. Such models extend traditional AI planning techniques for representing goals by allowing for partially defined and possibly inconsistent goals. In past work by the proposers, a framework for reasoning with such goal models have been proposed. The goal af the PhD project is to investigate and implement novel automated reasoning procedures --or to adapt existing ones-- for efficiently solving requirements problems expressed as goal models, for optimizing the solutions according to required criteria and, since requirements evolve with time, to minimize the effort of finding new solutions and maximizing the reuse of old solutions. In particular, a significant effort will be devoted to investigate and adapt SAT- and SMT-based algorithms for finding optimal solutions to parameterized goal models. INFORMAL ENQUIRIES ARE ENCOURAGED. Please get in touch with Roberto Sebastiani (rseba at disi.unitn.it, +39.0461.281514) as soon as possible, in order to have a better understanding of possible research activities and the formal application details. HOW TO APPLY: The positions are included in the "Project Specific Grants - DISI" of the ICT International Doctoral School, University of Trento, as reported in the official call published at http://ict.unitn.it/application. You must submit a formal application (by March 16 2011 !) to the ICT School (http://ict.unitn.it/). In the application, you must mandatorily quote the "Project-specific Grants - DISI" grant: "Ontologies and algorithms for requirements engineering" since failure to do so may result in ineligibility for this position. Closing date for applications (sharp!) is March 16th, 2011, 1 pm, local time. Thus, potentially-interested candidates must: - URGENTLY (by March 16 2011 !!) submit a formal application to the ICT School (http://ict.unitn.it/). - send their CV (and later three recommendation letters) to Roberto Sebastiani (rseba at disi.unitn.it) cc-ing Michela Angeli (angeli at disi.unitn.it), and FUNDING: The position is funded by the project “Lucretius: Foundations for Software Evolution", thanks to an ERC (European Research Council) advanced grant awarded to Prof. John Mylopoulos (2011-2016). The positions is within the Software Engineering and Formal Methods group, Department of Information Engineering and Computer Science (http://www.disi.unitn.it) and the ICT Doctoral School of the Department (http://ict.unitn.it) of the University of Trento, Trento, Italy. From organization at arcoe.org Sat Mar 12 00:57:11 2011 From: organization at arcoe.org (ARCOE) Date: Sat, 12 Mar 2011 00:57:11 +0100 Subject: 4th Call for Papers: IJCAI-11 workshop ARCOE 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 - http://homepages.inf.ed.ac.uk/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 - http://www.inf.ed.ac.uk/people/staff/Jos_Lehmann.html 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) - http://en.varzinczak.net16.net 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 ruy at cin.ufpe.br Sat Mar 12 00:57:11 2011 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Sat, 12 Mar 2011 00:57:11 +0100 Subject: WoLLIC 2011 Call for Short Presentations and Participation Message-ID: *WoLLIC 2011* *Call for Short Presentations and Participation* *WoLLIC* * *is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The eighteenth WoLLIC will be held at the University of Pennsylvania, Philadelphia, USA, from May 18th to 20th, 2011. *Invited Speakers* *Rajeev Alur* (Philadelphia) *Rosalie Iemhoff* (Utrecht) *John Mitchell* (Stanford) *Vladimir Voevodsky* (Princeton) *Yoad Winter* (Utrecht) *Michael Zakharyaschev* (London) *P**roceedings* of WoLLIC 2011, including both invited and contributed papers, will be published in advance of the meeting as volume 6642 in Springer's LNCS series. The list of contributed papers can be found here: http://wollic.org/wollic2011/programme.html In addition, abstracts will appear in the Conference Report section of the *Logic Journal of the IGPL*, and selected contributions will be published as a special post-conference WoLLIC 2011 issue of the *Journal of Computer and System Sciences* . *Short presentations * In addition to the regular papers, WoLLIC 2011 program will include a short presentation session consisting of 20 minutes talks. These talks can report on work in progress, etc. The organizers of the short presentation session are Lev Beklemishev and Andre Scedrov. Abstracts of 5 to 10 pages should be sent to the conference address by April 1, 2011. They will be subject to light reviewing. Accepted presentations will be distributed as a conference booklet. Authors will be notified by April 6. *Registration* Early registration deadline is April 8, late registration deadline is May 8, see http://wollic.org/wollic2011/registration.html *Programme Committee* Sergei Artemov (New York) Jeremy Avigad (Pittsburgh) Arnold Beckman (Swansea) Lev Beklemishev (Moscow) (CHAIR) Alessandro Berarducci (Pisa) Sam Buss (San Diego) Achim Jung (Birmingham) Benedikt Löwe (Amsterdam) Janos Makowsky (Haifa) Michael Moortgat (Utrecht) Vincent van Oostrom (Utrecht) Prakash Panangaden (Montréal) Rohit Parikh (New York) Ruy de Queiroz (Recife) Alexander Shen (Marseilles and Moscow) Bas Spitters (Nijmegen) Helmut Veith (Wien) Yde Venema (Amsterdam) Scott Weinstein (Philadelphia) Frank Wolter (Liverpool) *Steering Committee* Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz. *Organising Committee* Vivek Nigam (U Penn) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Andre Scedrov (U Penn) (co-chair) *Further information* Contact one of the Co-Chairs of the Organising Committee. *Web page* http://wollic.org/wollic2011/ *S**ponsors* Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nowotkdk at informatik.uni-stuttgart.de Sat Mar 12 00:57:11 2011 From: nowotkdk at informatik.uni-stuttgart.de (Dirk Nowotka) Date: Sat, 12 Mar 2011 00:57:11 +0100 Subject: TIME 2011: Call for Workshop Proposals Message-ID: Call for Workshop Proposals The 18th International Symposium on Temporal Representation and Reasoning (TIME 2011) will be hosted by the University of Lubeck, Germany. TIME 2011 aims to bring together researchers from distinct research areas involving the management of temporal data as well as the reasoning about temporal aspects of information. This unique and well-established event further has as its objectives to bridge theoretical and applied research, as well as to serve as an interdisciplinary forum for exchange among researchers from the areas of artificial intelligence, database management, logic and verification, and beyond. The organizers have made arrangements to facilitate the running of one day workshops and invite workshop proposals. Dates for possible workshops are: Sunday, September 11 Thursday, September 15 Researchers and practitioners are invited to submit proposals for workshops on topics relating to artificial intelligence, database management, logic and verification. Workshops will have to be financially self-supporting. The TIME Organizing Committee will determine the final list of accepted workshops subject to the availability of space and facilities. It is not necessary to register for TIME in order to attend workshops. Meeting rooms will be reserved by the TIME organizers. Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). A second, organizational part should include: - contact information of the workshop organizers. - estimate of the audience size. - proposed format and agenda (for example, demo sessions, tutorials, etc.) - procedures for selecting papers and participants. - prefered date of the workshop. Proposals are due by March 31, 2011. Organizers will be notified by April 5, 2011. Proposals should be submitted electronically (by email) to nowotka at fmi.uni-stuttgart.de . For further enquiries or information, please contact: Dirk Nowotka (TIME Workshop Chair) Institute for Formal Methods in Computer Science University of Stuttgart nowotka at fmi.uni-stuttgart.de From Olivier.Boissier at emse.fr Sat Mar 12 00:57:11 2011 From: Olivier.Boissier at emse.fr (Olivier Boissier) Date: Sat, 12 Mar 2011 00:57:11 +0100 Subject: WI-IAT 2011 Conference - Final call for papers - deadline March 15, 2011 Message-ID: * Apologies for cross-posting * This is sent on behalf or the 2011 edition of IEEE/WIC/ACM WI-IAT conference organizing committee. **************************************************************************** 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): March 15, 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 and submission: http://wi-iat-2011.org *** Contact Information *** Email:wi-iat11 at liris.cnrs.fr The WIC Office Email:wi10 at wi-consortium.org From stavrosv at di.uoa.gr Sat Mar 12 00:57:11 2011 From: stavrosv at di.uoa.gr (Stavros Vassos) Date: Sat, 12 Mar 2011 00:57:11 +0100 Subject: NRAC 2011 Workshop: Submission Deadline Extended (April 8, 2011) Message-ID: -- Please accept our apologies if you receive multiple postings -- -------------------------------------------------------------------------------- Paper Submission Deadline Extension: *APRIL 8, 2011* 9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2011) July 17 (full day) & 18 (morning) 2011 Barcelona, Spain (held in conjunction with IJCAI 2011) URL: http://www.cs.rmit.edu.au/~ssardina/NRAC2011 -------------------------------------------------------------------------------- CALL FOR PAPERS -------------------------------------------------------------------------------- The biennial Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC) is an established workshop with an active and loyal community. Since its inception in 1995, it has always been held in conjunction with IJCAI, each time with growing success. We invite submissions of research papers for presentation at NRAC 2011 edition, a 1.5-day workshop to be held in Barcelona, Spain as part of the International Joint Conference on Artificial Intelligence (IJCAI-11) workshop program (July 16-22, 2011). Workshop Aims ------------- An intelligent agent exploring a rich, dynamic world, needs cognitive capabilities in addition to basic functionalities for perception and reaction. The abilities to reason nonmonotonically, to reason about actions, and to change one's beliefs, have been identified as fundamental high-level cognitive functions necessary for common sense. Research in all three areas has made significant progress during the last decades. It is, however, crucial to bear in mind the common goal of designing intelligent agents. Researchers should be aware of advances in all three fields since often advances in one field can be translated into advances in another. Many deep relationships have already been established between the three areas and the primary aim of this workshop is to further promote this cross-fertilization. A closer look at recent developments in the three fields reveals how fruitful such cross-fertilization can be. Comparing and contrasting current formalisms for Nonmonotonic Reasoning, Reasoning about Action and Belief Revision helps identify the strengths and weaknesses of the various methods available. It is an important activity that allows researchers to evaluate the state-of-the-art. Indeed a significant advantage of using logical formalisms as representation schemes is that they facilitate the evaluation process. Moreover, following the initial success, more complex real-world applications are now within grasp. Experimentation with prototype implementations not only helps to identify obstacles that arise in transforming theoretical solutions into operational solutions, but also highlights the need for the improvement of existing formal integrative frameworks for intelligent agents at the ontological level. For the purpose of developing practical solutions to real-world problems, some obvious questions arise: What nonmonotonic logics and what theories of action and change have been implemented? How to compare them? Which ones are implementable? What can be learned from existing applications? What is needed to improve their scope and performance? Despite the progress over the last few years, these questions and other related problems for theories of nonmonotonic reasoning, action, and change, still remain open. We hope to explore new approaches to these problems during the workshop. This workshop will bring together researchers from all three areas with the aim to: * Compare and evaluate existing formalisms. * Report on new developments and innovations. * Identify the most important open problems in all three areas. * Identify possibilities of solution transferral between the areas. * Identify important challenges for the advancement of the areas. -------------------------------------------------------------------------------- SPECIAL THEME -------------------------------------------------------------------------------- There will be a special theme at this year's NRAC. We especially encourage submissions that describe applications of research in the three main areas of interest of the workshop. In particular, we welcome submissions about competitions and contests that are related to the areas of interest of the workshop, such as the ICAPS Planning Competitions (http://ipc.icaps-conference.org/), the Answer Set Programming Competition (http://www.mat.unical.it/aspcomp2011), the General Game Playing Competition (http://games.stanford.edu/), and the Multi-Agent Contest (http://www.multiagentcontest.org/). We plan to devote a session of the workshop on papers that address the special theme and accompany the presentation of these papers by a panel discussion about the difficulties that arise when applying research of this field in real-world systems, as well as insights about how we can stimulate research, attract students, test and compare approaches in non-trivial domains, identify new challenges, and build a closer connection between academic research and practical applications. We also plan to arrange invited talks around the special theme. -------------------------------------------------------------------------------- IMPORTANT DATES -------------------------------------------------------------------------------- The dates below are tentative; please check the workshop Web page for confirmed dates. Submission deadline: April 8, 2011 (EXTENDED) Notification date: May 13, 2011 Camera ready submission deadline: May 27, 2011 Workshop: July 17 (full day) & 18 (morning), 2011 IJCAI-2011 conference: July 16-22, 2011 -------------------------------------------------------------------------------- REGISTRATION AND PARTICIPATION -------------------------------------------------------------------------------- Registration for NRAC 2011 is managed by IJCAI. Forms and Information on registration, pricing, travel and accommodation are available on the IJCAI-11 website. Participants are strongly urged to register as soon as possible to take advantage of discounted registration fees and to secure accommodation. We welcome participation and submission from all members of the Artificial Intelligence research community. Like previous NRAC workshops, we hope NRAC 2011 to be a highly participatory and discussion-oriented forum. The workshop will begin with a distinguished invited speaker, and will conclude with a panel on the hot issues identified during the day. Authors of accepted papers will present their work, with ample time for discussion. A complete program will be made available as soon as a final decision on accepted papers has been made. -------------------------------------------------------------------------------- SUBMISSION INSTRUCTIONS -------------------------------------------------------------------------------- NRAC-11 paper submissions must be formatted according to the IJCAI-11 paper guidelines at http://ijcai-11.org/. Papers must not exceed 8 formatted pages. Overlength papers will not be accepted for publication. Papers must be submitted electronically in PDF format by the due date. More details about the deadline for submission and notification of acceptance will follow. Please ensure the author names and affiliation are under the title. Submissions should emphasize and justify their innovation and significance. Please note: Papers should describe new unpublished work. Accepted IJCAI-11 Papers and Posters will not be accepted at NRAC-11. Submission website: http://www.easychair.org/conferences/?conf=nrac2011 Printed proceedings will be offered as working notes to delegates, and will be published online (with an ISBN) through the ePress of the University of Technology, Sydney. -------------------------------------------------------------------------------- PROGRAMME COMMITTEE (partial) -------------------------------------------------------------------------------- Xiaoping Chen, University of Science and Technology China, China Jim Delgrande, Simon Fraser Unviersity, Canada Jérôme Lang, Universite Paul Sabatier, France Thomas Meyer, Meraka Institute, South Africa Michael Thielscher, University of NSW, Australia Sheila McIlraith, University of Toronto, Canada Eduardo Fermé University of Madeira, Portugal Dongmo Zhang, University of Western Sydney, Australia Mehdi Dastani, Utrecht University, The Netherlands Giuseppe De Giacomo, Sapienza Universita' di Roma, Italy Christian Fritz, PARC (Palo Alto Research Center), USA Leora Morgenstern, SAIC Advanced Systems and Concepts, USA Pavlos Peppas, University of Patras, Greece Sajjad Haider, Institute of Business Administratio, Pakistan -------------------------------------------------------------------------------- ORGANISING COMMITTEE -------------------------------------------------------------------------------- Sebastian Sardina, RMIT University, Australia Stavros Vassos, National and Kapodistrian University of Athens, Greece -------------------------------------------------------------------------------- STEERING COMMITTEE -------------------------------------------------------------------------------- Gerhard Brewka, University of Leipzig, Germany Michael Thielscher, University of NSW, Australia Leora Morgenstern, SAIC Advanced Systems and Concepts, USA Maurice Pagnucco, University of NSW, Australia Pavlos Peppas, University of Patras, Greece Mary-Anne Williams, University of Technology, Sydney, Australia Andreas Herzig, Universite Paul Sabatier, France Benjamin Johnston, University of Technology, Sydney, Australia From shankar at csl.sri.com Sat Mar 12 00:57:11 2011 From: shankar at csl.sri.com (Natarajan Shankar) Date: Sat, 12 Mar 2011 00:57:11 +0100 Subject: Announcing Summer Formal 2011: Summer School on Formal Techniques Message-ID: Summer Formal 2011: First Summer School on Formal Techniques May 23-27, 2011 Menlo College, Atherton, California USA http://fm.csl.sri.com/SSFT11 Formal verification techniques such as model checking, satisfiability, and static analysis have matured rapidly in recent years. These techniques are widely applicable in computing as well as in engineering, biology, and mathematics. This school will focus on the principles and practice of formal verification, with a strong emphasis on the hands-on use of verification technology. It primarily targets graduate students who are interested in using or developing verification technology in their own research. We have NSF support for the travel and food/accommodation for students from US universities, but welcome applications from graduate students at non-US universities as well. The lecturers at the school include * Leonardo de Moura (Microsoft) and Bruno Dutertre (SRI International): Satisfiability Modulo Theories * Jason Baumgartner (IBM): Hardware Verification: Model Checking and Equivalence Checking * David Monniaux (VERIMAG): Static Analysis * Ken McMillan (Microsoft): Abstraction, Interpolation, and Composition * Neha Rungta and Peter Mehlitz (NASA Ames): Software Verification with Java PathFinder * Natarajan Shankar (SRI): Interactive Theorem Proving More information on the school can be found at http://fm.csl.sri.com/SSFT11. Students are invited to apply for admission to the school by visiting this web site. We especially welcome applications from women and under-represented minorities. Applications must be received by Mar 31, 2011. Tom Ball, Lenore Zuck, and Natarajan Shankar Summer Formal Steering Committee From Wiebe.Van-Der-Hoek at liverpool.ac.uk Sat Mar 12 00:57:11 2011 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Wiebe van der Hoek) Date: Sat, 12 Mar 2011 00:57:11 +0100 Subject: TARK 11: Final Call for Papers (with a new deadline) Message-ID: Theoretical Aspects of Rationality and Knowledge (TARK XIII) Conference Groningen, the Netherlands, 11-15 July 2011 http://www.philos.rug.nl/TARK2011/ Final Call for Papers (with a new deadline) * Scope and Mission The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. * Invited Talks Johan van Benthem Yossi Feinberg * Invited Tutorials Ithzak Gilboa Larry Moss * Workshops Two full-day workshops will precede and follow the conference: ``Reasoning about other minds: logical and cognitive perspectives", ``Quantum physics meets TARK". * Important Dates Submission of Papers: March 17th, 2011 Notification of Authors: April 29th, 2011 Camera Ready Copy of Accepted Papers due: May 20th, 2011 Registration Deadline: May 20th, 2011 Conference Dates: 11-15 July 2011 * Programme Committee Natasha Alechina, University of Nottingham Krzysztof R. Apt (PC chair), CWI and University of Amsterdam Sergei Artemov, CUNY, New York Hans van Ditmarsch, University of Sevilla Aviad Heifetz, The Open University of Israel Wiebe van der Hoek, University of Liverpool Jerome Lang, Universite Paris-Dauphine Daniel Lehmann, The Hebrew University of Jerusalem Fenrong Liu, Tsinghua University, Beijing Alessio Lomuscio, Imperial College London Ron van der Meyden, University of New South Wales, Sydney Eric Pacuit (tutorials chair), Tilburg University Andres Perea, Maastricht University Gabriella Pigozzi, Universite Paris-Dauphine R. Ramanujam, Institute of Mathematical Sciences, Chennai Sonja Smets, University of Groningen Moshe Tennenholtz, Technion, Haifa and Microsoft, Herzliya Rineke Verbrugge, University of Groningen * Local Organization chairs Sonja Smets Rineke Verbrugge ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 79 47480/54292 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk From Wiebe.Van-Der-Hoek at liverpool.ac.uk Tue Mar 8 17:01:31 2011 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Wiebe van der Hoek) Date: Tue, 8 Mar 2011 16:01:31 +0000 Subject: TARK 11: Final Call for Papers (with a new deadline) Message-ID: <10066276-1329-4369-AD50-66E76ED0CE33@liverpool.ac.uk> Theoretical Aspects of Rationality and Knowledge (TARK XIII) Conference Groningen, the Netherlands, 11-15 July 2011 http://www.philos.rug.nl/TARK2011/ Final Call for Papers (with a new deadline) * Scope and Mission The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. * Invited Talks Johan van Benthem Yossi Feinberg * Invited Tutorials Ithzak Gilboa Larry Moss * Workshops Two full-day workshops will precede and follow the conference: ``Reasoning about other minds: logical and cognitive perspectives", ``Quantum physics meets TARK". * Important Dates Submission of Papers: March 17th, 2011 Notification of Authors: April 29th, 2011 Camera Ready Copy of Accepted Papers due: May 20th, 2011 Registration Deadline: May 20th, 2011 Conference Dates: 11-15 July 2011 * Programme Committee Natasha Alechina, University of Nottingham Krzysztof R. Apt (PC chair), CWI and University of Amsterdam Sergei Artemov, CUNY, New York Hans van Ditmarsch, University of Sevilla Aviad Heifetz, The Open University of Israel Wiebe van der Hoek, University of Liverpool Jerome Lang, Universite Paris-Dauphine Daniel Lehmann, The Hebrew University of Jerusalem Fenrong Liu, Tsinghua University, Beijing Alessio Lomuscio, Imperial College London Ron van der Meyden, University of New South Wales, Sydney Eric Pacuit (tutorials chair), Tilburg University Andres Perea, Maastricht University Gabriella Pigozzi, Universite Paris-Dauphine R. Ramanujam, Institute of Mathematical Sciences, Chennai Sonja Smets, University of Groningen Moshe Tennenholtz, Technion, Haifa and Microsoft, Herzliya Rineke Verbrugge, University of Groningen * Local Organization chairs Sonja Smets Rineke Verbrugge ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 79 47480/54292 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk From shankar at csl.sri.com Wed Mar 9 06:38:58 2011 From: shankar at csl.sri.com (Natarajan Shankar) Date: Tue, 08 Mar 2011 21:38:58 -0800 Subject: Announcing Summer Formal 2011: Summer School on Formal Techniques Message-ID: <10061.1299649138@positron.csl.sri.com> Summer Formal 2011: First Summer School on Formal Techniques May 23-27, 2011 Menlo College, Atherton, California USA http://fm.csl.sri.com/SSFT11 Formal verification techniques such as model checking, satisfiability, and static analysis have matured rapidly in recent years. These techniques are widely applicable in computing as well as in engineering, biology, and mathematics. This school will focus on the principles and practice of formal verification, with a strong emphasis on the hands-on use of verification technology. It primarily targets graduate students who are interested in using or developing verification technology in their own research. We have NSF support for the travel and food/accommodation for students from US universities, but welcome applications from graduate students at non-US universities as well. The lecturers at the school include * Leonardo de Moura (Microsoft) and Bruno Dutertre (SRI International): Satisfiability Modulo Theories * Jason Baumgartner (IBM): Hardware Verification: Model Checking and Equivalence Checking * David Monniaux (VERIMAG): Static Analysis * Ken McMillan (Microsoft): Abstraction, Interpolation, and Composition * Neha Rungta and Peter Mehlitz (NASA Ames): Software Verification with Java PathFinder * Natarajan Shankar (SRI): Interactive Theorem Proving More information on the school can be found at http://fm.csl.sri.com/SSFT11. Students are invited to apply for admission to the school by visiting this web site. We especially welcome applications from women and under-represented minorities. Applications must be received by Mar 31, 2011. Tom Ball, Lenore Zuck, and Natarajan Shankar Summer Formal Steering Committee From stavrosv at di.uoa.gr Wed Mar 9 11:39:47 2011 From: stavrosv at di.uoa.gr (Stavros Vassos) Date: Wed, 9 Mar 2011 12:39:47 +0200 Subject: NRAC 2011 Workshop: Submission Deadline Extended (April 8, 2011) Message-ID: -- Please accept our apologies if you receive multiple postings -- -------------------------------------------------------------------------------- Paper Submission Deadline Extension: *APRIL 8, 2011* 9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2011) July 17 (full day) & 18 (morning) 2011 Barcelona, Spain (held in conjunction with IJCAI 2011) URL: http://www.cs.rmit.edu.au/~ssardina/NRAC2011 -------------------------------------------------------------------------------- CALL FOR PAPERS -------------------------------------------------------------------------------- The biennial Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC) is an established workshop with an active and loyal community. Since its inception in 1995, it has always been held in conjunction with IJCAI, each time with growing success. We invite submissions of research papers for presentation at NRAC 2011 edition, a 1.5-day workshop to be held in Barcelona, Spain as part of the International Joint Conference on Artificial Intelligence (IJCAI-11) workshop program (July 16-22, 2011). Workshop Aims ------------- An intelligent agent exploring a rich, dynamic world, needs cognitive capabilities in addition to basic functionalities for perception and reaction. The abilities to reason nonmonotonically, to reason about actions, and to change one's beliefs, have been identified as fundamental high-level cognitive functions necessary for common sense. Research in all three areas has made significant progress during the last decades. It is, however, crucial to bear in mind the common goal of designing intelligent agents. Researchers should be aware of advances in all three fields since often advances in one field can be translated into advances in another. Many deep relationships have already been established between the three areas and the primary aim of this workshop is to further promote this cross-fertilization. A closer look at recent developments in the three fields reveals how fruitful such cross-fertilization can be. Comparing and contrasting current formalisms for Nonmonotonic Reasoning, Reasoning about Action and Belief Revision helps identify the strengths and weaknesses of the various methods available. It is an important activity that allows researchers to evaluate the state-of-the-art. Indeed a significant advantage of using logical formalisms as representation schemes is that they facilitate the evaluation process. Moreover, following the initial success, more complex real-world applications are now within grasp. Experimentation with prototype implementations not only helps to identify obstacles that arise in transforming theoretical solutions into operational solutions, but also highlights the need for the improvement of existing formal integrative frameworks for intelligent agents at the ontological level. For the purpose of developing practical solutions to real-world problems, some obvious questions arise: What nonmonotonic logics and what theories of action and change have been implemented? How to compare them? Which ones are implementable? What can be learned from existing applications? What is needed to improve their scope and performance? Despite the progress over the last few years, these questions and other related problems for theories of nonmonotonic reasoning, action, and change, still remain open. We hope to explore new approaches to these problems during the workshop. This workshop will bring together researchers from all three areas with the aim to: * Compare and evaluate existing formalisms. * Report on new developments and innovations. * Identify the most important open problems in all three areas. * Identify possibilities of solution transferral between the areas. * Identify important challenges for the advancement of the areas. -------------------------------------------------------------------------------- SPECIAL THEME -------------------------------------------------------------------------------- There will be a special theme at this year's NRAC. We especially encourage submissions that describe applications of research in the three main areas of interest of the workshop. In particular, we welcome submissions about competitions and contests that are related to the areas of interest of the workshop, such as the ICAPS Planning Competitions (http://ipc.icaps-conference.org/), the Answer Set Programming Competition (http://www.mat.unical.it/aspcomp2011), the General Game Playing Competition (http://games.stanford.edu/), and the Multi-Agent Contest (http://www.multiagentcontest.org/). We plan to devote a session of the workshop on papers that address the special theme and accompany the presentation of these papers by a panel discussion about the difficulties that arise when applying research of this field in real-world systems, as well as insights about how we can stimulate research, attract students, test and compare approaches in non-trivial domains, identify new challenges, and build a closer connection between academic research and practical applications. We also plan to arrange invited talks around the special theme. -------------------------------------------------------------------------------- IMPORTANT DATES -------------------------------------------------------------------------------- The dates below are tentative; please check the workshop Web page for confirmed dates. Submission deadline: April 8, 2011 (EXTENDED) Notification date: May 13, 2011 Camera ready submission deadline: May 27, 2011 Workshop: July 17 (full day) & 18 (morning), 2011 IJCAI-2011 conference: July 16-22, 2011 -------------------------------------------------------------------------------- REGISTRATION AND PARTICIPATION -------------------------------------------------------------------------------- Registration for NRAC 2011 is managed by IJCAI. Forms and Information on registration, pricing, travel and accommodation are available on the IJCAI-11 website. Participants are strongly urged to register as soon as possible to take advantage of discounted registration fees and to secure accommodation. We welcome participation and submission from all members of the Artificial Intelligence research community. Like previous NRAC workshops, we hope NRAC 2011 to be a highly participatory and discussion-oriented forum. The workshop will begin with a distinguished invited speaker, and will conclude with a panel on the hot issues identified during the day. Authors of accepted papers will present their work, with ample time for discussion. A complete program will be made available as soon as a final decision on accepted papers has been made. -------------------------------------------------------------------------------- SUBMISSION INSTRUCTIONS -------------------------------------------------------------------------------- NRAC-11 paper submissions must be formatted according to the IJCAI-11 paper guidelines at http://ijcai-11.org/. Papers must not exceed 8 formatted pages. Overlength papers will not be accepted for publication. Papers must be submitted electronically in PDF format by the due date. More details about the deadline for submission and notification of acceptance will follow. Please ensure the author names and affiliation are under the title. Submissions should emphasize and justify their innovation and significance. Please note: Papers should describe new unpublished work. Accepted IJCAI-11 Papers and Posters will not be accepted at NRAC-11. Submission website: http://www.easychair.org/conferences/?conf=nrac2011 Printed proceedings will be offered as working notes to delegates, and will be published online (with an ISBN) through the ePress of the University of Technology, Sydney. -------------------------------------------------------------------------------- PROGRAMME COMMITTEE (partial) -------------------------------------------------------------------------------- Xiaoping Chen, University of Science and Technology China, China Jim Delgrande, Simon Fraser Unviersity, Canada Jérôme Lang, Universite Paul Sabatier, France Thomas Meyer, Meraka Institute, South Africa Michael Thielscher, University of NSW, Australia Sheila McIlraith, University of Toronto, Canada Eduardo Fermé University of Madeira, Portugal Dongmo Zhang, University of Western Sydney, Australia Mehdi Dastani, Utrecht University, The Netherlands Giuseppe De Giacomo, Sapienza Universita' di Roma, Italy Christian Fritz, PARC (Palo Alto Research Center), USA Leora Morgenstern, SAIC Advanced Systems and Concepts, USA Pavlos Peppas, University of Patras, Greece Sajjad Haider, Institute of Business Administratio, Pakistan -------------------------------------------------------------------------------- ORGANISING COMMITTEE -------------------------------------------------------------------------------- Sebastian Sardina, RMIT University, Australia Stavros Vassos, National and Kapodistrian University of Athens, Greece -------------------------------------------------------------------------------- STEERING COMMITTEE -------------------------------------------------------------------------------- Gerhard Brewka, University of Leipzig, Germany Michael Thielscher, University of NSW, Australia Leora Morgenstern, SAIC Advanced Systems and Concepts, USA Maurice Pagnucco, University of NSW, Australia Pavlos Peppas, University of Patras, Greece Mary-Anne Williams, University of Technology, Sydney, Australia Andreas Herzig, Universite Paul Sabatier, France Benjamin Johnston, University of Technology, Sydney, Australia From Olivier.Boissier at emse.fr Wed Mar 9 14:04:43 2011 From: Olivier.Boissier at emse.fr (Olivier Boissier) Date: Wed, 09 Mar 2011 14:04:43 +0100 Subject: WI-IAT 2011 Conference - Final call for papers - deadline March 15, 2011 Message-ID: <4D777AEB.3070308@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): March 15, 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 and submission: http://wi-iat-2011.org *** Contact Information *** Email:wi-iat11 at liris.cnrs.fr The WIC Office Email:wi10 at wi-consortium.org From nowotkdk at informatik.uni-stuttgart.de Wed Mar 9 16:59:42 2011 From: nowotkdk at informatik.uni-stuttgart.de (Dirk Nowotka) Date: Wed, 9 Mar 2011 16:59:42 +0100 Subject: TIME 2011: Call for Workshop Proposals Message-ID: <20110309155942.GA24732@honolulu.informatik.uni-stuttgart.de> Call for Workshop Proposals The 18th International Symposium on Temporal Representation and Reasoning (TIME 2011) will be hosted by the University of Lubeck, Germany. TIME 2011 aims to bring together researchers from distinct research areas involving the management of temporal data as well as the reasoning about temporal aspects of information. This unique and well-established event further has as its objectives to bridge theoretical and applied research, as well as to serve as an interdisciplinary forum for exchange among researchers from the areas of artificial intelligence, database management, logic and verification, and beyond. The organizers have made arrangements to facilitate the running of one day workshops and invite workshop proposals. Dates for possible workshops are: Sunday, September 11 Thursday, September 15 Researchers and practitioners are invited to submit proposals for workshops on topics relating to artificial intelligence, database management, logic and verification. Workshops will have to be financially self-supporting. The TIME Organizing Committee will determine the final list of accepted workshops subject to the availability of space and facilities. It is not necessary to register for TIME in order to attend workshops. Meeting rooms will be reserved by the TIME organizers. Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). A second, organizational part should include: - contact information of the workshop organizers. - estimate of the audience size. - proposed format and agenda (for example, demo sessions, tutorials, etc.) - procedures for selecting papers and participants. - prefered date of the workshop. Proposals are due by March 31, 2011. Organizers will be notified by April 5, 2011. Proposals should be submitted electronically (by email) to nowotka at fmi.uni-stuttgart.de . For further enquiries or information, please contact: Dirk Nowotka (TIME Workshop Chair) Institute for Formal Methods in Computer Science University of Stuttgart nowotka at fmi.uni-stuttgart.de From ruy at cin.ufpe.br Wed Mar 9 19:55:17 2011 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Wed, 9 Mar 2011 15:55:17 -0300 Subject: WoLLIC 2011 Call for Short Presentations and Participation Message-ID: *WoLLIC 2011* *Call for Short Presentations and Participation* *WoLLIC* * *is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The eighteenth WoLLIC will be held at the University of Pennsylvania, Philadelphia, USA, from May 18th to 20th, 2011. *Invited Speakers* *Rajeev Alur* (Philadelphia) *Rosalie Iemhoff* (Utrecht) *John Mitchell* (Stanford) *Vladimir Voevodsky* (Princeton) *Yoad Winter* (Utrecht) *Michael Zakharyaschev* (London) *P**roceedings* of WoLLIC 2011, including both invited and contributed papers, will be published in advance of the meeting as volume 6642 in Springer's LNCS series. The list of contributed papers can be found here: http://wollic.org/wollic2011/programme.html In addition, abstracts will appear in the Conference Report section of the *Logic Journal of the IGPL*, and selected contributions will be published as a special post-conference WoLLIC 2011 issue of the *Journal of Computer and System Sciences* . *Short presentations * In addition to the regular papers, WoLLIC 2011 program will include a short presentation session consisting of 20 minutes talks. These talks can report on work in progress, etc. The organizers of the short presentation session are Lev Beklemishev and Andre Scedrov. Abstracts of 5 to 10 pages should be sent to the conference address by April 1, 2011. They will be subject to light reviewing. Accepted presentations will be distributed as a conference booklet. Authors will be notified by April 6. *Registration* Early registration deadline is April 8, late registration deadline is May 8, see http://wollic.org/wollic2011/registration.html *Programme Committee* Sergei Artemov (New York) Jeremy Avigad (Pittsburgh) Arnold Beckman (Swansea) Lev Beklemishev (Moscow) (CHAIR) Alessandro Berarducci (Pisa) Sam Buss (San Diego) Achim Jung (Birmingham) Benedikt Löwe (Amsterdam) Janos Makowsky (Haifa) Michael Moortgat (Utrecht) Vincent van Oostrom (Utrecht) Prakash Panangaden (Montréal) Rohit Parikh (New York) Ruy de Queiroz (Recife) Alexander Shen (Marseilles and Moscow) Bas Spitters (Nijmegen) Helmut Veith (Wien) Yde Venema (Amsterdam) Scott Weinstein (Philadelphia) Frank Wolter (Liverpool) *Steering Committee* Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz. *Organising Committee* Vivek Nigam (U Penn) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Andre Scedrov (U Penn) (co-chair) *Further information* Contact one of the Co-Chairs of the Organising Committee. *Web page* http://wollic.org/wollic2011/ *S**ponsors* Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From organization at arcoe.org Thu Mar 10 12:47:03 2011 From: organization at arcoe.org (ARCOE) Date: Thu, 10 Mar 2011 13:47:03 +0200 Subject: 4th Call for Papers: IJCAI-11 workshop ARCOE 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 - http://homepages.inf.ed.ac.uk/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 - http://www.inf.ed.ac.uk/people/staff/Jos_Lehmann.html 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) - http://en.varzinczak.net16.net 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 rseba at disi.unitn.it Thu Mar 10 16:16:10 2011 From: rseba at disi.unitn.it (Roberto Sebastiani) Date: Thu, 10 Mar 2011 16:16:10 +0100 Subject: URGENT: PhD position on Satisfiability-based algorithms for Requirements Engineering Message-ID: <20110310151610.GA1260@disi.unitn.it> ======================================================================== !!!!!!!!! URGENT: Submission Deadline: March 16th, 2011 !!!!!!!!!!!! Last call for one PhD position in ICT on "Satisfiability-based algorithms for Requirements Engineering" at Dept. of Computer Science & Engineering, University of Trento, Italy. Advisors: Prof. John Mylopoulos and Prof. Roberto Sebastiani ======================================================================== ELIGIBILITY CRITERIA: Candidates are required to have a master -- or equivalent -- degree in Computer Science, Computer Engineering or Mathematics, or to obtain it withing November 1st 2011. The ideal candidates should have a good background in logic and in software engineering. A background knowledge in Propositional Satisfiability (SAT), Satisfiablity Modulo Theory (SMT), Automated Reasoning, Knowledge Representation & Reasoning or Formal Methods would be very-positively evaluated. All the positions are covered by a scholarship, amounting roughly to 51,000 Euros over the three years. Substantial extra funding is available for participation in international conferences, schools, and workshops. DESCRIPTION: Over the past decade, logic-based goal-oriented requirements modeling languages have been used in Computer Science in order to represent software requirements, business objectives and design qualities. Such models extend traditional AI planning techniques for representing goals by allowing for partially defined and possibly inconsistent goals. In past work by the proposers, a framework for reasoning with such goal models have been proposed. The goal af the PhD project is to investigate and implement novel automated reasoning procedures --or to adapt existing ones-- for efficiently solving requirements problems expressed as goal models, for optimizing the solutions according to required criteria and, since requirements evolve with time, to minimize the effort of finding new solutions and maximizing the reuse of old solutions. In particular, a significant effort will be devoted to investigate and adapt SAT- and SMT-based algorithms for finding optimal solutions to parameterized goal models. INFORMAL ENQUIRIES ARE ENCOURAGED. Please get in touch with Roberto Sebastiani (rseba at disi.unitn.it, +39.0461.281514) as soon as possible, in order to have a better understanding of possible research activities and the formal application details. HOW TO APPLY: The positions are included in the "Project Specific Grants - DISI" of the ICT International Doctoral School, University of Trento, as reported in the official call published at http://ict.unitn.it/application. You must submit a formal application (by March 16 2011 !) to the ICT School (http://ict.unitn.it/). In the application, you must mandatorily quote the "Project-specific Grants - DISI" grant: "Ontologies and algorithms for requirements engineering" since failure to do so may result in ineligibility for this position. Closing date for applications (sharp!) is March 16th, 2011, 1 pm, local time. Thus, potentially-interested candidates must: - URGENTLY (by March 16 2011 !!) submit a formal application to the ICT School (http://ict.unitn.it/). - send their CV (and later three recommendation letters) to Roberto Sebastiani (rseba at disi.unitn.it) cc-ing Michela Angeli (angeli at disi.unitn.it), and FUNDING: The position is funded by the project “Lucretius: Foundations for Software Evolution", thanks to an ERC (European Research Council) advanced grant awarded to Prof. John Mylopoulos (2011-2016). The positions is within the Software Engineering and Formal Methods group, Department of Information Engineering and Computer Science (http://www.disi.unitn.it) and the ICT Doctoral School of the Department (http://ict.unitn.it) of the University of Trento, Trento, Italy. From homola at fmph.uniba.sk Thu Mar 10 19:54:20 2011 From: homola at fmph.uniba.sk (Martin Homola) Date: Thu, 10 Mar 2011 19:54:20 +0100 Subject: 3 PhD positions | DKM Group, FBK-IRST Trento Message-ID: <20110310185419.GY9845@fmph.uniba.sk> [[[ Apologies for multiple copies of this message ]]] Three PhD Positions Available Data and Knowledge Management Unit Fondazione Bruno Kessler - IRST Trento, Italy Deadline: March 16th, 2011, 13:00 (GTM+1) The Data and Knowledge Management (DKM) research unit (http://dkm.fbk.eu) of the Bruno Kessler Foundation (FBK), Trento, Italy, is seeking candidates for 3 Ph.D positions. The Ph.D. studies will be held at the International Doctorate School in Information and Communication Technologies (http://www.ict.unitn.it/) of the University of Trento, Italy. The research activities will focus on following topics: COMBINING ONTOLOGICAL AND PROCESS-BASED REASONING [This position is jointly supervised by FBK and the ISTC-CNR, Laboratory for Applied Ontology, Trento.] Semantic Business Process Management has the main objective of improving the level of automation in the specification, implementation, execution, and monitoring of business processes by extending business process management tools with the most significant results from the area of Semantic Web. For instance, when the focus is on process modeling, i.e. the activity of specification of business processes at an abstract level, annotating process descriptions with labels taken from a set of domain ontologies can provide additional support to the phase of business analysis, or to the creation of valid process diagrams, which not only comply with the basic requirements of the process semantics, but also satisfy properties that take into account the domain specific semantics of the labels of the different process elements. The ability to provide good Semantic Business Process Management services poses strong scientific challenges as it requires an integrated usage of formalisms for the representation and execution of business processes together with those used to represent ontologies and business domains, which traditionally have been developed and investigated in separate research areas. The aim of this thesis is to investigate how we can combine logical formalisms for process and domain knowledge to enhance the quality of Semantic Business Process Management. The thesis will investigate (i) the definition of new theoretical paradigms as well as the extension of existing ones, (ii) the development of reasoning services on top of these theoretical paradigms and (iii) the tailoring these reasoning services to scenarios taken from Business Process Design and Service Provisioning, Integration and Composition. Skills required: good knowledge of logic and knowledge representation; reasonable knowledge of software engineering and conceptual modelling. Contact person: Chiara Ghidini MIXING LOGICAL AND STATISTICAL REASONING Humans solve the problems of interpreting multimedia documentation by both exploiting structural regularities in the data, as well as making use of common sense and specialized knowledge that explicitly represents the meaning of data. In spite of this simple observation, current approaches to processing content over the Internet are based either on a statistical approach, which exploits the regularities of the content encoded in a statistical model (using machine learning methodologies), or, alternatively, by logical approaches, by exploiting logical knowledge encoded via logical theories (semantic web and ontologies). In both cases this unilateral approach leads to a limitation in the performance or in the quality of the results. We believe that combining statistical knowledge with logical knowledge in a unique system would improve the efficiency and the effectiveness of content management applications. The Copilosk project at FBK aims at investigating how statistical and logical knowledge can be combined and exploited in content and knowledge management, by proposing or extending a theoretical paradigm, test it in three use cases in the area of machine translation, knowledge extraction from text, and image object recognition, and in case of positive results applying it to a real case scenario. For more information about the copilosk project please visit copilosk web site The Ph.D will be developed in collaboration with Telecom Italia Contact person: Luciano Serafini STRUCTURED DATA INDEXING AND RETRIEVAL Topics of this grant are the ontological (i.e. formal) description and reasoning of knowledge according to standards developed by the Semantic Web community combined with machine learning approaches such as graphical models or regularization methods. Innovative research will be addressed for context-driven reasoning and indexing and will be jointly carried out with existing multimedia analysis (e.g. image recognition, speech analysis, etc.) in some augmented reality scenarios. This research will be developed in collaboration with Telecom Italia. Contact person: Luciano Serafini Candidate Profile ================= The ideal candidate should have an MS or equivalent degree in computer science, mathematics or electronic engineering, phisics and philosophy, and combine solid theoretical background and software development skills. The candidate should be able to work in a collaborative environment, with a strong commitment to reaching research excellence and achieving assigned objectives. Applications and Inquiries ========================== Interested candidates should inquire for further information and/or apply by sending email to serafinifbk.eu or ghidinifbk.eu Applications should contain a statement of interest, with a Curriculum Vitae, and three reference persons. PDF format is strongly encouraged. NOTE THAT AN APPLICATION THROUGH THE UNIVERSITY OF TRENTO WEBSITE IS REQUIRED. See http://ict.unitn.it/application for more details. THE DEADLINE FOR THE APPLICATION IS March 16th, 2011, 13:00 (GTM+1). -- Martin Homola Homepage: http://ii.fmph.uniba.sk/~homola/ PGP public key: http://ii.fmph.uniba.sk/~homola/publickey.asc From aguabtni at cse.unsw.edu.au Sat Mar 12 14:49:06 2011 From: aguabtni at cse.unsw.edu.au (Adnene Guabtni) Date: Sun, 13 Mar 2011 00:49:06 +1100 Subject: WI-IAT 2011 Conference - Last call for papers - deadline March 15, 2011 Message-ID: Sorry for the mistake in the subject of my previous email. The deadline is actually March 15th 2011. * 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): March 15, 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 and submission: http://wi-iat-2011.org *** Contact Information *** Email:wi-iat11 at liris.cnrs.fr The WIC Office Email:wi10 at wi-consortium.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cfp at grid.chu.edu.tw Mon Mar 14 08:26:48 2011 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Mon, 14 Mar 2011 15:26:48 +0800 Subject: UIC 2011 Call For Papers (Banff, Canada, September 01-04, 2011) Message-ID: <201103140726.p2E7Qm4q025858@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tommie.meyer at meraka.org.za Mon Mar 14 20:31:34 2011 From: tommie.meyer at meraka.org.za (Tommie Meyer) Date: Mon, 14 Mar 2011 21:31:34 +0200 Subject: IEEE AFRICON 2011 Special Session on Robotics and Artificial Intelligence in Africa Message-ID: [Apologies for cross postings] --------------------------------------------------------------------------- Second 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 -- This message is subject to the CSIR's copyright terms and conditions, e-mail legal notice, and implemented Open Document Format (ODF) standard. The full disclaimer details can be found at http://www.csir.co.za/disclaimer.html. This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. MailScanner thanks Transtec Computers for their support. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From organization at arcoe.org Wed Mar 16 08:42:24 2011 From: organization at arcoe.org (ARCOE) Date: Wed, 16 Mar 2011 09:42:24 +0200 Subject: Special Issue of JWS: Reasoning with Context in the Semantic Web Message-ID: (Apologies for multiple postings.) 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 http://homepages.inf.ed.ac.uk/bundy University of Edinburgh, United Kingdom - Jos Lehmann http://www.inf.ed.ac.uk/people/staff/Jos_Lehmann.html University of Edinburgh, United Kingdom - Ivan Varzinczak http://en.varzinczak.net16.net 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 fanizzi at di.uniba.it Wed Mar 16 13:02:50 2011 From: fanizzi at di.uniba.it (N. Fanizzi) Date: Wed, 16 Mar 2011 13:02:50 +0100 Subject: [CFP] IRMLeS 2011 EXTENDED DEADLINE Message-ID: <4D80A6EA.1050302@di.uniba.it> ------------- Apologies for multiple cross-postings --------------------- CALL FOR PAPERS The 3rd ESWC Workshop on Inductive Reasoning and Machine Learning for the Semantic Web (IRMLeS 2011) 30 May 2011 | Heraklion, Greece http://irmles.di.uniba.it/2011/ In conjunction with the 8th Extended Semantic Web Conference (ESWC 2011) http://www.eswc2011.org Important dates ============================================================ * Paper submission: 31 March 2011 * Notification: 7 April 2011 * Camera-ready: 15 April 2011 * Workshop day: 30 May 2011 Overview ============================================================ The upcoming 3rd International Workshop on Inductive Reasoning and Machine Learning for the Semantic Web (IRMLeS), will be held as part of the 8th Extended Semantic Web Conference (ESWC) in Heraklion, Crete (Greece). The primary goal of the workshop is to bring together researchers and practitioners interested in the interdisciplinary research on the intersection of the Semantic Web with Knowledge Discovery and Machine Learning. The workshop is conceived to provide a meeting point for the related communities to stimulate collaboration and enable cross-fertilization of ideas. The Semantic Web is often perceived to be a global, distributed database of meaningfully represented data, 'Web of Data'. Due to the initiatives like Linking Open Data or community efforts to integrate various ontological resources like bio-ontologies, the number of resources available on the Semantic Web is currently growing fast, and many of them are linked by explicit semantic relationships. The heterogeneity of these resources and inherently open, distributed, and incomplete nature of the Web environment pose problems for deductive approaches, traditionally employed to reason with logic-based ontological data. Therefore, new, complementary forms of reasoning are needed on the Semantic Web, such as inductive reasoning. Exploiting 'Web of Data' requires new kinds of inductive approaches that would be able to deal at the same time with its scale and with the complexity and expressiveness of the representation languages, leverage on availability of ontologies and explicit semantics of the resources, and account for novel assumptions (e.g., "open world") that underlie reasoning services within the Semantic Web. Topics of interest ============================================================ The topics of interest of the workshop include, but are not limited to: * Knowledge Discovery and Ontologies: data mining techniques using ontologies, ontology mining and knowledge discovery from ontological knowledge bases, ontology-based interpretation and validation of discovered knowledge, evaluation methodologies and metrics for the interaction of knowledge discovery and ontologies, ontology-based meta mining * Inductive Reasoning with Concept Languages: inductive aggregation, concept retrieval and query answering, approximate classification, inductive methods and fuzzy reasoning for ontology mapping, construction and evolution, concept change and novelty detection for ontology evolution * Statistical learning for the Semantic Web: refinement operators for concept and rule languages, concept and rules learning, kernels and instance-based learning for structured representations, semantic (dis)similarity measures and conceptual clustering, probabilistic methods for concept and rule languages * Inductive aspects of Linked Data aggregations: learning from Linked Data to construct new vocabularies or improve existing ones, learning the mappings among vocabularies, learning for resource interlinking and entity fusion * Web mining for the Semantic Web: graph mining, link prediction, (sequential) pattern mining, learning semantic relations, ranking methods and learning to rank * Special focus topics: OWA vs CWA in learning, applicability of relational learning in the Semantic Web context, integration of induction and deduction, benchmarking of datasets * Applications: (life sciences, cultural heritage, semantic multimedia, geo-informatics, recommender systems and others) Invited speaker ============================================================ Prof. Bettina Berendt - Katholieke Universiteit Leuven Paper submission ============================================================ The contributed papers, written in English, should be submitted in PDF or PostScript format, not exceeding the following limits (in their final version) * 12 pages (full papers) * 5 pages (position papers) following the ESWC formatting style (Springer LNCS). All submissions will be reviewed by at least 2 referees. In addition to the ESWC workshop proceedings, a selection of best ESWC workshop papers will be published this year in LNCS series by Springer. Organizing Committee ============================================================ * Claudia d'Amato, University of Bari, Italy * Nicola Fanizzi, University of Bari, Italy * Blaz Fortuna, Jozef Stefan Institute, Slovenia * Agnieszka Lawrynowicz, Poznan University of Technology, Poland * Vojtech Svatek, University of Economics, Prague, Czech Republic Program Committee ============================================================ * Bettina Berendt - Katholieke Universiteit Leuven * Stephan Bloehdorn - Karlsruhe Institute of Technology * Ross D. King - University of Aberystwyth * Jens Lehmann - University of Leipzig * Thomas Lukasiewicz - Oxford University * Matthias Nickles - University of Bath * Achim Rettinger - Karlsruhe Institute of Technology * Thomas Scharrenbach - University of Zurich * Baris Sertkaya - SAP Research, Dresden * Steffen Staab - University of Koblenz-Landau * Volker Tresp - Siemens, Munich * Joaquin Vanschoren - Leiden University Further information ============================================================ http://irmles.di.uniba.it/2011 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at teco.edu Wed Mar 16 16:00:05 2011 From: announce at teco.edu (announce at teco.edu) Date: Wed, 16 Mar 2011 16:00:05 +0100 Subject: CONTEXT'11 - 7th International and Interdisciplinary Conference on Modeling and Using Context 2011 - Call for Workshop Proposals Message-ID: . . . . . . . . . . . . CONTEXT '11 . . . . . . . . . . . . . . . The Seventh International and Interdisciplinary Conference . . . . . . . . . on Modeling and Using Context . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . September 26th - 30th, Karlsruhe, Germany . . . . . . . . . . . . . . Call for Workshop Proposals . . . . . . . . . . . . . . . . http://context-11.teco.edu/cfpw.html. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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 main goal of the CONTEXT'11 workshops is to stimulate and facilitate an active exchange on unique and interdisciplinary applications, ideas, approaches, and methods about specific topics in the general area of modeling and using context. The Workshops provide a setting that fosters informal discussion and active engagement among attendees. Researchers from all disciplines are invited to submit proposals for workshops for review. Workshops on specific relevant aspects of broader topics and newly evolving areas of Context are particularly encouraged. Areas of interest include but are not limited to the topics of the main conference: 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 WORKSHOP FORMAT Workshops in general will be one full day in duration, exceptionally lasting half a day or two days. Format and content of each workshop will largely be determined by each workshop's organizing committee. Proposals for "mini-conference" style workshops are discouraged and ample time should be allotted for general discussion. Workshop organizers and attendees must register for the main CONTEXT'11 conference! For presenting workshop summaries to all conference attendees, a time slot of about 10 minutes each will be provided in coordination with the main conference's regular sessions. These summaries should be presented by at least one of the workshop's organizers. SUBMISSION OF WORKSHOP PROPOSALS CONTEXT'11 invites proposals for the workshop program. Workshop proposals should include a main document and an appendix. The main document should be no longer than five pages in Springer LNCS format and include: . Title of the workshop . Workshop organizers . An introduction to the area . Related literature . Proposed results of the workshop The appendix does not have a page limit. See website for more details. All proposals should be in LNCS format and submitted by e-mail to the CONTEXT'11 workshop chair (context11-ws at teco.edu) as PDF file as soon as possible but no later than March 20, 2011. http://context-11.teco.edu/cfpw.html IMPORTANT DATES March 20th, 2011 . . . Deadline for Workshop Proposal Submission Sept. 26th/27th, 2011. Workshop Days GENERAL CHAIRS Michael Beigl, Karlsruhe Institute of Technology, Germany Henning Christiansen, Roskilde University, Denmark Thomas R. Roth-Berghofer, University of Hildesheim, Germany WORKSHOP CHAIR Robert J. Ross, Dublin Institute of Technology, Ireland e-mail: context11-ws at teco.edu From m.b.vanriemsdijk at tudelft.nl Wed Mar 16 20:51:31 2011 From: m.b.vanriemsdijk at tudelft.nl (Birna van Riemsdijk) Date: Wed, 16 Mar 2011 20:51:31 +0100 Subject: CFP COIN@WI-IAT'11 (deadline extension) Message-ID: <3B26A83E-1A02-49AE-BCDC-F3AF7791DB61@tudelft.nl> 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 *** deadline extension *** 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 (EXTENDED DEADLINE!) abstract submission: April 1, 2011 paper submission: April 29, 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 Program Committee (tentative): Huib Aldewereld, Utrecht University, The Netherlands Sergio Alvarez-Napagao, Technical University of Catalonia, Spain Alexander Artikis, National Centre for Scientific Research "Demokritos", Greece Guido Boella, University of Torino, Italy Cristiano Castelfranchi, ISTC/CNR, Italy Antonio Carlos da Rocha Costa, UCPEL, Brazil Stephen Cranefield, University of Otago, New Zealand Virginia Dignum, University of Utrecht, Netherlands Marc Esteva, IIIA-CSIC, Spain Nicoletta Fornara, Lugano, Switzerland Jomi Fred Hubner, University of Blumenau, Brasil Christian Lemaitre, Universidad Autonoma Metropolitana, Mexico Victor Lesser, University of Massachusetts Amherst, USA Eric Matson, Purdue University, USA John-Jules Meyer, Utrecht University, Netherlands Simon Miles, Kings College London, UK Pablo Noriega, IIIA-CSIC, Spain Eugenio Oliveira, Universidade do Porto, Portugal Andrea Omicini, Universita di Bologna, Italy Sascha Ossowski, URJC, Spain Julian Padget, University of Bath, UK Jeremy Pitt, Imperial College London, UK Alessandro Ricci, Universita di Bologna, Italy Juan Antonio Rodriguez Aguilar, IIIA-CSIC, Spain Christophe Sibertin-Blanc, IRIT, France Jaime S. Sichman, University of Sao Paulo, Brazil Catherine Tessier, ONERA, France Leendert van der Torre, University of Luxembourg, Luxembourg Wamberto Vasconcelos, University of Aberdeen, UK Harko Verhagen, Stockholm University, Sweden Marina de Vos, Bath, UK George Vouros, University of the Aegean, Greece Pinar Yolum, Bogazici University, Turkey From hr at sti2.at Thu Mar 17 14:53:38 2011 From: hr at sti2.at (HR) Date: Thu, 17 Mar 2011 14:53:38 +0100 Subject: Job ad: PostDoc position Message-ID: <4D821262.4090303@sti2.at> Dear All, the Semantic Technology Institute at the University of Innsbruck (Austria) is currently seeking candidates for the following position: Post-Doc/Senior Researcher More Information on the job and application procedure can be found at http://orawww.uibk.ac.at/public_prod/owa/karriereportal.karriere_detail?asg_id_in=6490 Best Regards, Human Resources STI Innsbruck Technikerstraß1 21a 6020 Innsbruck Austria From vfgo at imm.dtu.dk Thu Mar 17 15:03:23 2011 From: vfgo at imm.dtu.dk (Valentin Goranko) Date: Thu, 17 Mar 2011 15:03:23 +0100 Subject: PhD positions at the Department of Informatics and Mathematical Modelling of the Technical University of Denmark In-Reply-To: Message-ID: Several PhD scholarships are available at the Department of Informatics and Mathematical Modelling (DTU Informatics, see http://www.imm.dtu.dk/English.aspx), with a starting date in the fall of 2011. The deadline for applications is April 27, 2011. PhD students in Denmark are full-time academic employees during the period of their studies and are paid quite competitive salaries. Details regarding the positions, requirements, and application procedure, can be found on http://www.dtu.dk/Om_DTU/ledige_stillinger.aspx?guid=9b19bb2b-8376-44c9-ad6b -592eb39b0409 I am looking for suitable candidates for PhD studies under my supervision on a wide range of possible topics in the general area of theory and applications of logic to computer science, artificial intelligence, multi-agent systems, and game theory. Those interested in applying can contact me on vfgo(at)imm.dtu.dk. Valentin Goranko http://www2.imm.dtu.dk/~vfgo/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From r.bordini at acm.org Thu Mar 17 18:59:54 2011 From: r.bordini at acm.org (Rafael H Bordini) Date: Thu, 17 Mar 2011 14:59:54 -0300 Subject: CfParticipation: ProMAS @ AAMAS-2011 Message-ID: <4D824C1A.5000304@acm.org> (apologies if you receive multiple copies; NB: AAMAS-2011 registration now open) ---------------------- Call for Participation ---------------------- Ninth International Workshop on Programming Multi-Agent Systems (ProMAS'11) ProMAS'11 is a satellite workshop at AAMAS 2011 Taipei, Taiwan, 2-6 May 2011 The ProMAS workshop series has produced, throughout this decade, a number of solid contributions towards programming languages and development tools that are appropriate for the development of complex autonomous systems that operate in dynamic environments. With applications of autonomous software (e.g., UAVs, companion robots, ambient intelligence, and semantic applications, to name just a few) becoming required with wide commercial interest, it is imperative to support the ever more complex task of professional programmers of multi-agent systems. Importantly, such languages and tools must be developed in a principled but practical way. ProMAS aims to address both theoretical and practical issues related to developing and deploying multi-agent systems. Workshop Programme ------------------ 09:00–10:30 First Session ============================ 09:00–09:30 Workshop Opening 09:30–10:30 Invited Talk "Towards a Framework for Programming Social Intelligence" Pablo Noriega -- IIIA-CSIC, Spain 10:30–11:00 Coffee Break 11:00–12:00 Foundations of Agent Programming Languages ========================================================= "Logical Foundations for a Rational BDI Agent Programming Language (Extended Version)" Shakil M. Khan and Yves Lespérance "A Coupled Operational Semantics for Goals and Commitments" Pankaj R. Telang, Neil Yorke-Smith, and Munindar P. Singh 12:00–13:00 Applying (Multi-)Agent Oriented Programming ========================================================== "Developing a Knoweldge Management Multi-Agent System Using JaCoMo" Carlos M. Toledo, Rafael H. Bordini, Omar Chiotti, and Maria R. Galli "Notes on Pragmatic Agent-Programming with Jason" Radek Pibil, Peter Novák, Cyril Brom, and Jakub Gemrot 13:00–14:00 Lunch 14:00–15:30 Programming Languages and Platforms ================================================== "The Agent Programming Language Meta-APL" Thu Trang Doan, Natasha Alechina, and Brian Logan "BDI4JADE: a BDI Layer on Top of JADE" Ingrid Nunes, Carlos J. P. de Lucena, and Michael Luck "Integrating Expectation Handling into Jason" Surangika Ranathunga, Stephen Cranefield, and Martin Purvis 15:30–16:00 Coffee Break 16:00–17:30 Model Checking ============================= "Abstraction for Model Checking Modular Interpreted Systems over ATL" Michael Köster and Peter Lohmann "MAS: Qualitative and Quantitative Reasoning" Ammar Mohammed and Ulrich Furbach "State Space Reduction for Model Checking Agent Programs" Sung-Shik T. Q. Jongmans, Koen V. Hindriks, and M. Birna van Riemsdijk 17:30–18:00 Final Session ============================ 17:30–17:50 Multi-Agent Programming Contest (Announcement) Tristan Behrens, Jürgen Dix, Jomi Hübner, Michael Köster, and Federico Schlesinger 17:50–18:00 Workshop Close Programme Committee ------------------- Matteo Baldoni (Italy) John-Jules Meyer (Netherlands) Juan Botia (Spain) Jörg Müller (Germany) Lars Braubach (Germany) Andrea Omicini (Italy) Rem Collier (Ireland) Agostino Poggi (Italy) Ian Dickinson (UK) Alexander Pokahr (Germany) Marc Esteva (Spain) Alessandro Ricci (Italy) Michael Fisher (UK) Birna Van Riemsdijk (Netherlands) Jorge Gomez-Sanz (Spain) Ralph Ronnquist (Australia) Vladimir Gorodetsky (Russia) Ichiro Satoh (Japan) Dominic Greenwood (Switzerland) Michael I. Schumacher (Switzerland) James Harland (Australia) Munindar Singh (USA) Koen Hindriks (Netherlands) Tran Cao Son (USA) Benjamin Hirsch (Germany) Patrick Taillibert (France) Jomi Hübner (Brazil) Paolo Torroni (Italy) João Leite (Portugal) Jørgen Villadsen (Denmark) Brian Logan (UK) Gerhard Weiss (Netherlands) Viviana Mascardi (Italy) Michael Winikoff (New Zealand) Philippe Mathieu (France) Neil Yorke-Smith (USA) Organising Committee -------------------- - Olivier Boissier (Ecole des Mines de St Etienne, France) - Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil) - Louise Dennis (University of Liverpool, UK) Steering Committee ------------------ - Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil) - Mehdi Dastani (Utrecht University, Netherlands) - Juergen Dix (Clausthal University of Technology, Germany) - Amal El Fallah Seghrouchni (University of Paris VI, France) From Thomas.Agotnes at infomedia.uib.no Thu Mar 17 21:05:22 2011 From: Thomas.Agotnes at infomedia.uib.no (=?ISO-8859-1?Q?Thomas_=C5gotnes?=) Date: Thu, 17 Mar 2011 21:05:22 +0100 Subject: Second CFP: Logics for Games and Social Choice: CLIMA XII special session Message-ID: <83EF479A-4976-427D-A031-EA79643F6DD0@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. 2nd 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 log-ic2011 at lists.deri.org Fri Mar 18 14:27:59 2011 From: log-ic2011 at lists.deri.org (log-ic2011) Date: Fri, 18 Mar 2011 14:27:59 +0100 Subject: 3rd CFP Log-IC 2011 (Deadline Extended): Second International Workshop on Logic-Based Interpretation of Context: Modeling and Applications Message-ID: <4D835DDF.3040209@lists.deri.org> (Apologies for cross-posting) EXTENDED DEADLINE for submission: April 2nd, 2011 --------------------------------------------------------------------------------------------------------------------------------------------------------- Final Call for Papers Log-IC 2011 Second International Workshop on Logic-Based Interpretation of Context: Modeling and Applications In conjunction with LPNMR 2011 Vancouver 16-19 May 2011 http://log-ic2011.deri.ie --------------------------------------------------------------------------------------------------------------------------------------------------------- Context interpretation and context-based reasoning are key factors in the development of intelligent autonomous systems in a variety of applications. The ability to represent contextual factors, interpret them and combine them with other sources of knowledge are some of the challenges to enable intelligent systems achieve correct behavior. Much work has been done in application areas that make use of contextual information, such as pervasive computing, logic-based sensor fusion and data integration, distributed problem solving and societal issues in Multi-Agent Systems. As well, theoretical foundations for context-based reasoning have been studied. However, there is still a great deal to do in context modeling, since generic context models for context-aware application development need to be further explored, as does the role of context reasoning in particular regarding distributed evaluation and in conjunction with more recently emerging areas such as ontologies, including Semantic Web data, social features and reasoning about mental states, as well as approaches to belief change. While implemented context-representation models are generally ad-hoc, domain-dependent and do not support powerful inference, declarative logic-based models often fail to provide a representation of context-dependent data that is both general and with good computational properties. Context-dependent data can arise from different sources; for example it may be gathered by sensors or collected from different knowledge sources in different formats. The incompleteness and heterogeneous nature of such data and the need for state-based context interpretation in dynamic systems suggest that non-monotonic reasoning techniques could be a powerful tool for effective context-dependent reasoning. Since in many applications the data stems from distributed sources, we encourage submissions addressing distributed reasoning mechanisms. Likewise, declarative approaches to societal reasoning or agent coordination may provide the backbone for contextual reasoning in various application domains. Given the increasing interest in hybrid knowledge representation formalisms as basis of the Semantic Web, we also invite submissions where hybrid formalisms combining Description Logics and Logic Programming as the basic representation framework for reasoning with (distributed) contexts are proposed. This workshop will provide a forum for researchers investigating context-aware applications and context-based or distributed reasoning with the goal of sharing and comparing their views on the efficacy of different context representation and context interpretation frameworks. Log-IC 2011 will also propose targeted discussions on the topic. --------------------------- Topics --------------------------- Topics of interests include (but are not limited to): - Surveys of frameworks for context representation and reasoning - Relating logic-based context models to other representation frameworks - Formal aspects of context representation and interpretation - Distributed reasoning formalisms and algorithms - Paraconsistent reasoning and context interpretation - Dealing with uncertainty in context modeling - Logic-supported sensor fusion - Belief revision and context-awareness - Argumentation in context-dependent decision support - Social features of contextual reasoning - Ontologies and nonmonotonic reasoning in context representation - Hybrid formalisms for reasoning within contexts or including sub-symbolic contexts - Contextual aspects in agent coordination - Nonmonotonicity and context evolution - Data integration for context-awareness - Applications, including (but not limited to) Activity Recognition, Diagnosis, Query Answering, Early Warning, in various application domains, such as Health Care, Assisted Living, Robotics, etc. --------------------------- Submissions --------------------------- Submitted papers will be peer-reviewed and must be formatted according to the Springer LNCS/LNAI format. Regular papers (included application papers) should not exceed 12 pages overall. The limit for short papers and system descriptions is 6 pages in the same format. We also encourage position papers on early-stage research (for poster or short presentations) of at most 3 pages. Paper submission is by the EasyChair conference system: to submit a paper, visit http://www.easychair.org/conferences/?conf=log-ic2011 and upload a PDF version of the paper. Proceedings will be published online after the workshop; publication as CEUR workshop proceedings on CEUR-WS.org is intended. ---------------------------------- Important Dates ---------------------------------- Paper submissions: April 2nd, 2011 Notification of Acceptance: April 20th, 2011 Camera-ready versions: May 2nd, 2011 Workshop: May 16th, 2011 ---------------------------------- Invited Speakers ---------------------------------- Pedro Cabalar Department of Computer Science Corunna University, Galicia, Spain Thomas Eiter Institute of Information Systems TU Wien, Vienna, Austria Torsten Schaub Institute of Computer Science University of Potsdam, Germany ---------------------------------- Workshop Officials ---------------------------------- Organization Committee: Alessandra Mileo Digital Enterprise Research Institute NUIG, Galway Ireland Michael Fink Institute of Information Systems TU Wien, Vienna Austria Program Chairs: Alessandra Mileo, University of Galway, Ireland Michael Fink, Vienna University of Technology, Austria Program Committee: - Sebastian Bader, University of Rostock, Germany - Marcello Balduccini, Kodak Research Labs, Rochester, NY, USA - Chitta Baral, Arizona State University, Tempe, AZ, USA - Leopoldo Bertossi, Carleton University, Canada - Roberto Bisiani, University of Milano-Bicocca, Italy - Gerhard Brewka, University of Leipzig, Germany - Pedro Cabalar Fernandez, Corunna University, Galicia, Spain - Marina de Vos, University of Bath, UK - James P. Delgrande, SFU, Canada - Wolfgang Faber, University of Calabria, Rende (CS), Italy - Stijn Heymans, SemanticBits LLC, Herndon, VA, USA - Joao Leite, Universidade Nova de Lisboa, Portugal - Jorge Lobo, IBM T. J. Watson Research Center, Hawthorne, NY, USA - Bernd Ludwig, University of Erlangen-Nuremberg, Germany - Wendy MacCaull, St. Francis Xavier University, Antigonish, Canada - Robert Mercer, University of Western Ontario, Canada - Tommie Meyer, Meraka Institute, Pretoria, South Africa - Axel Polleres, University of Galway, Ireland - Enrico Pontelli, New Mexico State University, Las Cruzes, NM, USA - Marie-Christine Rousset, University of Grenoble, France - Chiaki Sakama, Wakayama University, Japan - Torsten Schaub, University of Potsdam, Germany - Tran Cao Son, New Mexico State University, Las Cruzes, NM, USA - Hans Tompits, Vienna University of Technology, Austria - Paolo Torroni, University of Bologna, Italy - Kewen Wang, Griffith University, Brisbane, Australia - Nic Wilson, University College, Cork, Ireland - Stefan Woltran, Vienna University of Technology, Austria From k.v.hindriks at tudelft.nl Fri Mar 18 19:37:40 2011 From: k.v.hindriks at tudelft.nl (Koen Hindriks) Date: Fri, 18 Mar 2011 19:37:40 +0100 Subject: FW: Call for Participation: Programming Multi-Agent Systems Tutorial @ AAMAS 2011 Message-ID: <000501cbe59b$900fd780$b02f8680$@v.hindriks@tudelft.nl> ============================================================================ =============== AAMAS-2011 Tutorial Programming Languages and Development Tools for Multi-Agent Systems (Tutorial 3, Taipei, Taiwan, May 2nd) ============================================================================ =============== Multi-agent systems provide a design approach for developing systems that are able to operate in complex and dynamic environments. Recently many new exciting developments have emerged that facilitate the development multi-agent systems. New technologies for interacting with environments and for managing the organization of agents are now available to ease the design of complex systems. At the same time, agent programming language technology has matured and more sophisticated development environments are available for coding and debugging multi-agent systems. These technologies are now also being applied to build more challenging applications such as real-time games. The aim of this tutorial is to provide participants with a thorough understanding of these new technologies and developments and to provide them with basic skills to develop multi-agent systems themselves. The tutorial aims at introducing novices, researchers, and developers from both Academia and Industry who are interested in developing multi-agent systems to state-of-the-art languages, techniques, and tools that are available to support the effective implementation of such systems. Tutorial Outline * Part 1: Overview of State-of-the-Art Landscape of Agent-Oriented Programming - comprehensive introduction to agent-oriented programming. - comparison of available agent languages - programming with environments - features and concepts underlying agent-based development tools. * Part 2: Introduction to the Agent Programming Lab Session - language elements and features of agent-oriented programming for designing and building agents - explanation of the environment that will be used in the lab session * Part 3: Lab Exercise: Developing a Multi-Agent System - structured programming exercise with supervision. - gain (more) experience with agent programming by doing it. * Part 4: Organisations and Social Aspects - exciting and challenging new area of organisational programming - communication - social concepts - organising multi-agent systems. * Part 5: Demonstrators and Discussion - various demonstrators and applications of agent programming languages illustrated - discussion with participants about applying state-of-the-art agent languages More details and information about the tutorial is available at: http://mmi.tudelft.nl/~koen/ProMASTutorial2011.html. Select Tutorial 3 ProMAS when Registering for AAMAS2011 at http://events.con.com.tw/AAMAS2011/modules/reg/reg_step1.asp. Tutorial Organisers, Rafael Bordini, Mehdi Dastani, Koen Hindriks -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iarianews.org Sun Mar 20 18:05:06 2011 From: invitation at iarianews.org (ICSNC 2011) Date: Sun, 20 Mar 2011 13:05:06 -0400 Subject: 2nd CfP: ICSNC 2011 || October 23-28, 2011 - Barcelona, Spain Message-ID: <1300640706177.3711@iarianews.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results. ================= ============== ICSNC 2011 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICSNC 2011: The Sixth International Conference on Systems and Networks Communications October 23-28, 2011 - Barcelona, Spain General page: http://www.iaria.org/conferences2011/ICSNC11.html Call for Papers: http://www.iaria.org/conferences2011/CfPICSNC11.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2011/SubmitICSNC11.html Submission deadline: May 20, 2011 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Please note the Poster Forum and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ICSNC 2011 Topics (topics and submission details: see CfP on the site) WINET: Wireless networks 3G/4G integration; Wireless protocols, architectural and design concepts; Design and implementation of mobile information systems; Wireless communications and mechanisms; Antenna and RF subsystems; Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Wireless technologies; Wireless applications & services; IP Multimedia subsystems (IMS); Wireless and mobility; Wireless-wireline convergence; Radio communications systems; Specialized wireless networks; Management of wireless networks; Position on standards & fora on wireless networks; Business models on wireless networks; Communications regulations, Spectrum management; Software-Defined Radio (SDR) [ architectures, hardware, software, signal processing and smart antennas, etc.] HSNET: High speed networks Technologies, protocols, and applications for high speed networks; Voice over high speed networks; Services and interconnections of high speed networks; Technologies for High speed optical networks; Optical burst switching; End-to-end applications; Optical control plan; Advanced optical technology architectures; Design of high speed systems and networks; Methodologies and development tools for high speed networks; Management and control of high speed networks; Performance in high speed networks; Security aspects in high speed networks; QoS/SLA in high speed networks; Diagnosing high speed networks; High speed networks and NGN SENET: Sensor networks Architectures and protocols for wired and wireless sensor networks; Design of sensor networks; Instrumentation and models for deployment of sensors networks; Power in sensor networks; Ad hoc and wireless sensor networks; Management and control of sensor networks; Performance in sensor networks; Security and reliability aspects in sensor networks; Information assurance in sensor networks; QoS/SLA in sensor networks; Applications, case studies and prototypes with sensor networks MHNET: Mobile and Ad hoc networks Mobile technology and fundamentals; Analytical and validation models for mobility; Architecture and routing protocols for mobile networks; Architectures, frameworks, fundamentals on ad hoc networks; Energy efficient design, cross-layer design, scalability; MAC protocols for ad-hoc and sensor networks (801.11, Bluetooth, etc.); Data, information, and signal processing in mobile networks; Complexity analysis of mobile algorithms and protocols; Software platforms and development tools supporting mobility; QoS/SLA, access control and security in mobile and ad hoc networks; Location and mobility management; Location and service discovery in ad hoc networks; Planning, provisioning, and deployment mobility features; Directional and smart antennas for mobile and ad-hoc networks; Performance and security in ad hoc and mobile networks; Self-organization, synchronization and stability in ad hoc networks; Self-management in ad hoc and mobile networks; Ad hoc and mobile networks and autonomic computing; Mobile ad hoc platforms, systems and tools; Applications over ad hoc networks; Standards evolution on mobility and ad hoc networks VENET: Vehicular networks Communication technologies in vehicular networks; Frameworks and architectures for vehicular networks; Interoperability with Internet and other networks; Vehicle-infrastructure communications; Vehicle-to-vehicle communications; Emerging inter/intra-vehicle and infrastructure-to-vehicle wireless technologies; Cross-layer design and optimization for vehicular networks; Middleware and service architectures for vehicular networks; Propagation issues Vehicular sensors and data collection and process; On-drive diagnostics and repair technologies and systems; Protocol features /MAC, QoS, routing, multicast, addressing, identity/; Mobility and hand-off ; Properties /security, privacy, performance, robustness, real-time, etc./; Control and management in vehicular networks; Driver-oriented support systems /assistance, active&passive safety, etc./; Case studies and fields trials on vehicular networks; Applications across vehicular networks /content distribution, alerting, etc./; S tandardization /802.11p, DSRC, etc./ and standard platforms /JasPar, AUTOSTAR, etc./ RFID: Radio-frequency identification systems Fundamentals for RFID systems; Communications in RFID systems; Next generation RFID Technologies; RFID middleware design and architecture; Antenna design for RFID; System design and deployment; Circuits and architecture; RFID ans sensor networks; Bridging RFID networks in heterogeneous networks; Collision, proximity, speed; Security, privacy, trust; Monitoring and control of RFID systems; Localization and tracking; Inventory tracking; Testing and verification; Planing and executing RFID systems; RFID pilot projects; Use cases in deploying and operating /finance, manufacture, agriculture, transportation, etc./; Tools for supporting the design and deployment of RFID systems SESYS: Security systems Security analysis methodologies; Middleware and distributed systems security; Cryptography, certificates, information hiding, access control; Protection, risk, vulnerabilities, attacks, authorization/authentication; Access control, wireless access control, broadband access control; Biometrics, smart cards, identification and trust methodologies; Certification, accreditation anonymity, and audit; Security management, emergency contingency planning, identify theft, life safety; Wireless and mobile security; Fast security associations; Electronic surveillance and e-commerce protocols; Security and trust in web-services-based applications; Peer-to-peer security, denial of services; Information survivability, insider threat protection, integrity; Intellectual property rights, privacy, legal and regulatory issues; Criminal exploitation of technology; Commercial and industrial security; Viruses, hackers, worms, spam, and other malicious code MCSYS: Multimedia communications systems Technologies, protocols, and mechanisms for multimedia communications; Multimedia compression mechanisms and information representation; Multimedia encoding and compression, MPEG-1 to MPEG-4, Wavelet and fractal; Multimedia frameworks, communications, and middleware; Next generation multimedia communications; Mobile multimedia communications; Methodologies and development tools for multimedia communications systems; Wireless mobile multimedia communications; Ad hoc multimedia networks; IP-based Multimedia Subsystems (IMS); QoS/SLA in mobile multimedia services and applications; Mechanisms for interactive multimedia applications; Designing and implementing interactive applications; Multimedia authoring, publishing, and right securing; Security and performance for multimedia communications; Management, QoS, and security aspects in streaming over wireless ad hoc networks; Management and control of multimedia systems; Standards protocols for multimedia communications POSYS: Policy-based systems Policy for automation control; Trusting policy control commands; Policy-driven autonomic organizations; Policy-based control scalability; Policy sensors for feedback control; Policy conflict detection and conflict resolution; Context-aware policy-driven adaptive frameworks; Policy integrity, trust and negotiations; Policy-based software applications; Policing pervasive computing environments; Policing on-demand systems and services PESYS: Pervasive education system Learning and teaching systems; E-learning methods and e-learning scenarios; Tools and architectures for mobile/ubiquitous e-learning; Cooperative learning and working; Mobile technology and education; Distance learning and education; Computers and arts; Education in developing regions; Reflection in learning software and hardware; Social impact metrics on distance learning; Methodologies and processes for education; Curriculum projects and experiences; Intelligent support; Multimedia environment for teaching; E-market place for higher education; Embedded systems education; Wearable computers and education Committee: http://www.iaria.org/conferences2011/ComICSNC11.html ==================== To stop receiving notices about ICSNC, please reply with "DROP ICSNC event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From braubach at informatik.uni-hamburg.de Mon Mar 21 13:08:12 2011 From: braubach at informatik.uni-hamburg.de (Lars Braubach) Date: Mon, 21 Mar 2011 13:08:12 +0100 Subject: CFP for 2nd International Conference on Ambient Systems, Networks and Technologies Message-ID: <4D873FAC.5000507@informatik.uni-hamburg.de> C A L L F O R P A P E R S The 2nd International Conference on Ambient Systems, Networks and Technologies (ANT-2011) 19-21 September 2011 Niagara Falls, Ontario, Canada Conference Website:http://cs-conferences.acadiau.ca/ant-11/ **************************************************************************** IMPORTANT DATES --------------------------- - Full Paper Submission: April 4, 2011 (Extended) - Acceptance Notification: May 15, 2011 - Camera-Ready Submission: June 15, 2011 The International Conference on Ambient Systems, Networks and Technologies (ANT-2011) is a leading international conference which provides an international forum for researchers, developers and practitioners from academia, industry, and government to address research challenges and to present and discuss research ideas, developments and experiences related to the ambient systems infrastructure, models, and technologies. The general aim of ambient systems is to provide an environment wherein computing devices exist anywhere and everywhere. In such systems mobile and embedded computing devices form ad hoc collaboration using different communication networks (e.g., wireless networks, RFID, etc) in order to share and exchange information and provide services. Ambient systems pose new research challenges due to the open and unreliable nature of the environment and the complexity and heterogeneity of the computing devices and the underlying communication networks. These characteristics challenge traditional techniques and demand new ways of approaching the problems related to the ambient systems. TOPICS OF INTEREST ----------------------------- Prospective authors are invited to submit papers to the following research tracks. Details on topics of each track are available at the conference website. - Autonomic Networks and Communications - Systems Software Engineering - Systems Security and Privacy - Distributed Artificial Intelligence - Emerging Networking, Tracking and Sensing - Multimodal Interfaces - Service Oriented Computing for Systems& Applications - Smart Environments and Applications - Social Networks - General track: Distributed systems, networks and applications PUBLICATION ------------------- Papers accepted for the conference will be printed in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series (on-line and CD). Procedia Computer Sciences is hosted onwww.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: (1) Journal of Personal and Ubiquitous Computing, by Springer http://www.springer.com/computer/user+interfaces/journal/779 (2) Journal of Ambient Intelligence and Humanized Computing, by Springer http://www.springer.com/engineering/journal/12652 (3) Social Network Analysis and Mining Journal, by Springerhttp://www.springer.com/computer/database+management+%26+information+retrieval/journal/13278 PAPER SUBMISSION GUIDELINE -------------------------------------------- Submitted technical papers must be no longer than 8 pages for full papers and 4 pages for short papers including all figures and references, and must be formatted according to Elsevier guidelines (http://cs-conferences.acadiau.ca/ant-11/). COMMITTEES ------------------ General Chairs Nick Cercone, York University, Canada Albert Zomaya, The University of Sydney, Australia Program Chairs Hossam Hassanein, Queen's University, Canada Muhammad Younas, Oxford Brookes University, UK Takahiro Hara, Osaka University, Japan Advisory Committee Sajal K. Das, The University of Texas at Arlington, USA Ali Ghorbani, University of New Brunswick, Canada Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Timothy K. Shih, Tamkang University, Taiwan Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia Workshops Chairs Sajid Hussain, Fisk University, USA Senol Erdogan, Maltepe University, Turkey Program vice Chairs Jiang Li, Howard University, USA Ye Tian, Univ. of Science and Technology of China, China Markus Aleksy, ABB Corporate Research Center, Germany Agustinus Waluyo, Institute for Infocom Research, Singapore Farookh Hussain, Curtin University of Technology, Australia Javier Garc�a-Villalba, Universidad Comp. de Madrid, Spain Rainer Unland, University of Duisburg-Essen, Germany Lars Braubach, University of Hamburg, Germany Anis Koubaa, Al-Imam University, Saudi Arabia/CISTER Research Unit, Portugal Abdelfettah Belghith, University of Manouba, Tunisia Thomas Grill, University of Salzburg, Austria Soraya Kouadri Most�faoui, The Open University, UK Zakaria Maamar, Zayed University, UAE Tarek Sheltami, KFUPM, Saudi Arabia Bessam Abdulrazak, Sherbrooke University, Canada Keivan Kian-Mehr, University of Western Ontario, Canada Tansel Ozyer, TOBB Econo& Tech University, Turkey Local Arrangement Chairs Nauman Aslam, Dalhousie University, Canada Ramiro Liscano, University of Ontario, Canada Publicity Chairs Eric Pardede, La Trobe University, Australia Abdel Ilah Alshbatat, Tafila Technical University, Jordan International Liaison Chairs Imad Saleh, University of Paris VIII, France Bernady Apduhan, Kyushu Sangyo University, Japan Awards Chairs Roch Glitho, Concordia University, Canada Maytham Safar, Kuwait University, Kuwait Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada ******************************************************************* ANT-2011 Affiliated Workshops http://cs-conferences.acadiau.ca/ant-11/#approvedWorkshops ******************************************************************* The ANT-2011 organizing committee invites proposals for workshops. The main objective of the workshops is to provide a forum for researchers and professionals to discuss a specific topic from the field of ANT-2011 and its related areas. PUBLICATION ----------- All papers accepted for workshops will be included in the ANT-2011 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in ANT-2011Website. The number of pages for workshop papers is limited to 6 pages. The selective outstanding papers presented at the workshops, after further revision, will be considered for publication in journals special issues. IMPORTANT DATES (workshops) --------------------------- 03/31/2011 - Submission Deadline 05/15/2011 - Author Notification 05/30/2011 - Author Registration Due 06/20/2011 - Final Manuscript Due ANT-2011 - WORKSHOPS -------------------- ETACC: Emerging Trends and Applications of Cloud Computing http://www.peterindia.net/peterworkshop.html WNCS: International Workshop on Wireless Networked Control Systems http://myweb.dal.ca/naslam/wncs-11/ WIAS: International Workshop on Information Assurance and Security https://sites.google.com/site/wias2011/ HCUMA: International Workshop on Health Care Using Mobile Apps https://sites.google.com/site/hcuma2011/ IST-AWSN: The 6th International Symposium on Intelligent Systems Techniques for Ad hoc and Wireless Sensor Networks http://cs-conferences.acadiau.ca/ist-awsn11/ EmSeNs: International Workshop on Emerging Technologies in Sensor Networks https://sites.google.com/site/emsens2011/ IUPT: Internet of Ubiquitous and Pervasive Things http://cs-conferences.acadiau.ca/iupt-11/ DP: Digital Planet http://debii.curtin.edu.au/~naeem/dp/index.html AASNET: The 5th International Symposium on Applications of Ad hoc and Sensor Networks https://sites.google.com/site/aasnet11/ GTDS: Green Technology and Digital Sustainability http://cs-conferences.acadiau.ca/ant-11/#approvedWorkshops AAC: Autonomic and Agent Computing: Foundations and Applications http://users.encs.concordia.ca/~bentahar/AAC2011/AAC2011.htm ARTIFACT: AmbienT Intelligence at the services of inFo-mobility and Critical Transportation networks http://www.graphitech.it/artifact/ GCRE: International Workshop on Green Computing and Renewable Energy https://sites.google.com/site/gcre2011/ From pierregrenon at gmail.com Tue Mar 22 00:34:26 2011 From: pierregrenon at gmail.com (Pierre Grenon) Date: Mon, 21 Mar 2011 23:34:26 +0000 Subject: CFP: ICBO Workshop on Working with Multiple Biomedical Ontologies (Deadline: April 1; updated workshop date and PC) In-Reply-To: References: Message-ID: Call For Papers: Workshop on Working with Multiple Biomedical Ontologies http://icbo.buffalo.edu/2011/workshop/wombo/ ** 2 pages positions paper ** 4 pages max. extended abstracts ** 10 pages max. full papers Workshop of the International Conference on Biomedical Ontology (ICBO 2011) http://icbo.buffalo.edu/ 26 July 2011, Buffalo, USA ++ Submission deadline: April 1, 2011 ++ ++ Submission of short, longer        ++ ++ or position papers invited         ++ ---------------------------------------- Objective ---------- The workshop intends to provide a report and discussion forum concerning aspects of working with multiple biomedical ontologies. Biomedical ontologies are often very large and nevertheless restricted to delineated domains (e.g. anatomy, cells, diseases, genes). Thus they present a dual challenge of managing their size and their adequation to an intended scope. As a result, a number of issues arise relating to the way biomedical ontologies may be either split or combined. In application contexts, similar issues present themselves when using ontologies in, for example, annotating large and diverse datasets or when reasoning with multiple ontologies covering connected domains. The workshop proposes to explore ways in which the rich diversity of biomedical ontologies can be combined and used, in particular, in multiple domain applications and at multiple scales. Contributions on integration solutions for biomedical ontologies and their applications are invited. Submissions of paper presentations should be conducive to discussions and exchanges. Short papers, position papers as well as longer papers (see submission instructions for maximum length) on the following non-exhaustive list of topics are invited. Topics (indicative) ------------------- * Combination of ontological terms from orthogonal ontologies * Relations bridging divides between ontologies or between ontology terms * Cross-products and generalisations * Modularisation of large ontologies, especially through combination * Reasoning with multiple, large ontologies * Scope and domain specification of biomedical ontologies * Theory, application and implementation for the above * Lessons learnt from other domains than the biomedical one Submissions ------------ The submission process for the workshop follows ICBO conference guidelines which can be found at http://icbo.buffalo.edu/cfp2011.html. Indications and instructions are summarised and adapted below. * Position papers (up to 2 pages), short papers or extended abstract (up to 4 pages), full papers (up to 10 pages) are invited. * Full papers: Papers are limited to 2500 words, not including abstract or references, and can be at most 10 pages inclusive in the conference format. * Format: Submissions must be in PDF and follow the Information for LNCS Authors. * Submission: Papers must be submitted through the ICBO Easychair website: http://www.easychair.org/conferences/?conf=icbo2011. The submission should be identified as a submission to the Workshop: Working with Multiple Biomedical Ontologies. Authors may feel free to notify the workshop organisers of their submission. * Publication: The workshop's papers will be published with the conference proceedings. Expressions of interest and clarification questions may be sent to the organisers at the following addresses: g.gkoutos at gen.cam.ac.uk, pgrenon at ebi.ac.uk Important dates ---------------- * Initial submission:  April 1, 2011 * Notification:        April 30, 2011 * Camera-ready:        June 10, 2011 * Workshop date:       July 26, 2011 Organisation ------------ * George Gkoutos, University of Cambridge, UK * Pierre Grenon, European Bioinformatics Institute, UK Programme Committee ------------------- * Stefano Borgo, Laboratory for Applied Ontology, Italy * Bernard de Bono, European Bioinformatics Institute, UK * Robert Hoehndorf, University of Cambridge, UK * Dave Lambert, Knowledge Media Institute, UK * Phillip Lord, Newcastle University, UK * Alan Ruttenberg, University at Buffalo, USA * Uli Sattler, University of Manchester, UK * Sarala Wimalaratne, European Bioinformatics Institute, UK * Michael Witbrock, Cycorp, Inc. and Cycorp Europe * Frank Wolter, University of Liverpool, UK ---------------------------------------- From paolucci at docomolab-euro.com Tue Mar 22 11:13:36 2011 From: paolucci at docomolab-euro.com (Paolucci, Massimo) Date: Tue, 22 Mar 2011 11:13:36 +0100 Subject: Kein Betreff Message-ID: <317B40DA788E894D8FDD440D2835F5F703448D73@DEMAIL.docomolab-euro.com> Apologies for Cross-posting *********************************************************** * * * SFM-11:CONNECT * * * * 11th International School on * * Formal Methods for the Design of * * Computer, Communication and Software Systems: * * Connectors for Eternal Networked Software Systems * * * * Bertinoro (Italy), 13-18 June 2011 * * * * http://www.sti.uniurb.it/events/sfm11connect/ * * * *********************************************************** * CALL FOR PARTICIPATION * * (deadline: 21 March 2011) * *********************************************************** GENERAL INFORMATION ABOUT SFM ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field. This year SFM is held in collaboration with the researchers of the EU-funded projects CONNECT (http://connect-forever.eu/) and EternalS (https://www.eternals.eu/) and covers topics such as connecting eternal software systems, formal foundations for connectors, dynamic connector synthesis, interaction behavior monitoring and learning, and dependability assurance of connected systems. COURSES AND LECTURERS ^^^^^^^^^^^^^^^^^^^^^ The school features the following lectures and lab sessions: "Introduction to Interoperability" Gordon Blair (Univ. Lancaster, UK) Massimo Paolucci (Docomo Euro-Labs Munich, DE) "Interoperability Challenges in Cyber-Physical Systems" Nalini Venkatasubramanian (Univ. California at Irvine, US) "The CONNECT Architecture" Nikolaos Georgantas (INRIA Paris-Rocquencourt, FR) Paul Grace (Univ. Lancaster, UK) "Lab Session: Solving Interoperability Problems" Nikolaos Georgantas (INRIA Paris-Rocquencourt, FR) Paul Grace (Univ. Lancaster, UK) "Introduction to Modeling and Quantitative Verification" Marta Kwiatkowska (Univ. Oxford, UK) David Parker (Univ. Oxford, UK) "Modeling and Verification of Components and Connectors" Christel Baier (Tech. Univ. Dresden, DE) "Quantitative Compositional Verification" Marta Kwiatkowska (Univ. Oxford, UK) David Parker (Univ. Oxford, UK) "Lab Session: Modeling and Compositional Verification of Probabilistic Component-Based Systems Using PRISM" David Parker (Univ. Oxford, UK) Hongyang Qu (Univ. Oxford, UK) "Application-Layer Connector Synthesis" Paola Inverardi (Univ. L'Aquila, IT) "Context Synthesis" Dimitra Giannakopoulou (NASA Ames, US) "Middleware-Layer Connector Synthesis" Valerie Issarny (INRIA Paris-Rocquencourt, FR) "Lab Session: Tools for Automatic Connector Synthesis" Dimitra Giannakopoulou (NASA Ames, US) Massimo Tivoli (Univ. L'Aquila, IT) "Automata Learning" Bernhard Steffen (Tech. Univ. Dortmund, DE) "Testing Supported by Learning" Jan Tretmans (Radboud Univ. Nijmegen, NL) "Machine Learning and Data" Bengt Jonsson (Univ. Uppsala, SE) "Lab Session: Experiences with LearnLib" Falk Howar (Tech. Univ. Dortmund, DE) Maik Merten (Tech. Univ. Dortmund, DE) "Dependability and Performance Assessment of Dynamic Connected Systems" Antonia Bertolino (CNR-ISTI Pisa, IT) Felicita Di Giandomenico (CNR-ISTI Pisa, IT) "The Multi-Facets of Building Dependable Physical Computing Systems" Shing-Chi Cheung (Hong Kong Univ. Sci. Tech., HK) "Computational Trust" Mogens Nielsen (Univ. Aarhus, DK) "Security and Trust" Ilaria Matteucci (CNR-IIT Pisa, IT) Rachid Saadi (INRIA Paris-Rocquencourt, FR) "Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language" Ina Schaefer (Tech. Univ. Chalmers, SE) "Kernel Methods for Relational Learning and Semantic Modeling" Alessandro Moschitti (Univ. Trento, IT) "Model-Based Security Engineering for Evolving Systems" Jan Jurjens (Tech. Univ. Dortmund, DE) "Eternal Systems: Myths or Reality?" Valerie Issarny (INRIA Paris-Rocquencourt, FR) All participants will receive a copy of a tutorial book published by Springer as a volume in the Lecture Notes in Computer Science series. LOCATION ^^^^^^^^ SFM-11:CONNECT will be held in the medieval hilltop town of Bertinoro. This town is in Emilia Romagna, about 70 km south-east of Bologna, at an elevation of about 230 m. It can be reached in a couple of hours from the international airport "G. Marconi" of Bologna by shuttle (from the airport to the railway station) + train (from Bologna to Forli`) + bus/taxi (from the railway station to Bertinoro). The closest airport is the "L. Ridolfi" airport of Forli`, which is 13 km away. Bertinoro is close to many splendid locations such as Urbino, Gradara, San Leo, and the Republic of San Marino, as well as some less well-known locations like the thermal springs of Fratta Terme. Bertinoro can also be a base for visiting some of the better-known Italian locations such as Bologna, Rimini, Ravenna, Ferrara, Venezia, Padova, Verona, Firenze, Pisa, and Siena. Bertinoro itself is picturesque, with its narrow streets and walkways winding around the central peak. The school will be held at the Centro Residenziale Universitario (CRU), an ex-episcopal fortress that has been converted by the University of Bologna into a modern conference center with computing facilities and Internet access. From the fortress, it is possible to enjoy a beautiful vista stretching from the Apennines to the Adriatic coast and the Alps over the Po Valley. ORGANIZATION ^^^^^^^^^^^^ Scientific directors: * Marco Bernardo (University of Urbino, IT) * Valerie Issarny (INRIA Paris-Rocquencourt, FR) Secretary: * Roberta Partisani (CRU Bertinoro, IT) Webmaster: * Alessandro Aldini (University of Urbino, IT) APPLICATION ^^^^^^^^^^^ Prospective participants should send by 21 March 2011 the application form, available on the school web site, to the two e-mail addresses below: Marco Bernardo bernardo AT sti.uniurb.it Roberta Partisani rpartisani AT ceub.it The registration fee is 550 euros and includes the school material. The accommodation fee is 350 euros and covers the period June 12-19 (7 nights) in double room (to share with another participant), half board (breakfast and lunch, dinner of June 12 included, lunch of June 29 excluded). The reduced accommodation fee for the participants who do not need a room is 100 euros and covers the period June 13-18 (6 lunches). A very limited number of grants is available to cover part of the registration fee (no grant can be requested to cover the accommodation fee or the travel expenses). Notification of accepted/rejected applications and grant requests will be communicated by March 31. Registration to the school is due by April 20. No refund is possible for cancellation after May 15. SPONSORSHIPS ^^^^^^^^^^^^ Sponsorship for this event was kindly provided by: * EU-funded project CONNECT (http://connect-forever.eu/). * EU-funded project EternalS (https://www.eternals.eu/). -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From axel.polleres at deri.org Wed Mar 23 00:55:08 2011 From: axel.polleres at deri.org (Axel Polleres) Date: Tue, 22 Mar 2011 23:55:08 +0000 Subject: 2nd Call for Applications/Participation - 7th ReasoningWeb Summer School 2011 (RW2011) Message-ID: <10C90E03-3C13-4124-A286-64FE8FA4AE1D@deri.org> (apologies for multiple posts) *********************************************************************** 2nd 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 organization at arcoe.org Wed Mar 23 14:30:24 2011 From: organization at arcoe.org (ARCOE) Date: Wed, 23 Mar 2011 15:30:24 +0200 Subject: Two weeks to go: IJCAI-11 Workshop ARCOE 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 - http://homepages.inf.ed.ac.uk/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 - http://www.inf.ed.ac.uk/people/staff/Jos_Lehmann.html 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) - http://en.varzinczak.net16.net 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 easss2011 at eia.udg.edu Thu Mar 24 11:21:25 2011 From: easss2011 at eia.udg.edu (EASSS 2011) Date: Thu, 24 Mar 2011 10:21:25 +0000 Subject: EASSS 2011 Programme available Message-ID: <4D8B1B25.5000301@eia.udg.edu> (Apologies for cross-posting) ********************************************************************** * EASSS 2011 PROGRAMME AVAILABLE * 13th European Agent Systems Summer School Girona, Catalonia, Spain ---- 11-15 July 2011 We are glad to announce that the programme for EASSS 2011 (the 13th European Agent Systems Summer School) is now available at http://eia.udg.edu/easss2011/index.php?content=programme Registration will open soon. Check our webpage at http://eia.udg.edu/easss2011/ or follow us on Twitter to be informed about the latest news regarding EASSS 2011 (http://twitter.com/easss2011). ********************************************************************** The 13th European Agent Systems Summer School (EASSS) will be held in the historic city of Girona during 11-15 July 2011, in the week preceding IJCAI (the International Joint Conference on Artificial Intelligence), which will be held in nearby Barcelona. As its highly successful earlier incarnations, EASSS 2011 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (www.euramas.org). ********************************************************************** -- ------------------------------------------------------------------------ *EASSS 2011 organizing committee* easss2011 at eia.udg.edu http://eia.udg.edu/easss2011 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mdv at cs.bath.ac.uk Thu Mar 24 15:22:44 2011 From: mdv at cs.bath.ac.uk (Marina De Vos) Date: Thu, 24 Mar 2011 14:22:44 +0000 Subject: SEA11: call for papers: deadline extension Message-ID: <1300976564.2261.112.camel@Ishtar> [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 4 April 2011 (extended) Notification 17 April 2011 (extended) 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 announce at teco.edu Thu Mar 24 20:22:26 2011 From: announce at teco.edu (announce at teco.edu) Date: Thu, 24 Mar 2011 20:22:26 +0100 Subject: CONTEXT'11 - 7th International and Interdisciplinary Conference on Modeling and Using Context 2011 - Call for Workshop Proposals - Deadline extended to 10th April Message-ID: . . . . . . . . . . . . CONTEXT '11 . . . . . . . . . . . . . . . The Seventh International and Interdisciplinary Conference . . . . . . . . . on Modeling and Using Context . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . September 26th - 30th, Karlsruhe, Germany . . . . . . . . . . . . . . Call for Workshop Proposals . . . . . . . . . . . . . . . . http://context-11.teco.edu/cfpw.html. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . **Revised deadlines for workshop proposals: April 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 main goal of the CONTEXT'11 workshops is to stimulate and facilitate an active exchange on unique and interdisciplinary applications, ideas, approaches, and methods about specific topics in the general area of modeling and using context. The Workshops provide a setting that fosters informal discussion and active engagement among attendees. Researchers from all disciplines are invited to submit proposals for workshops for review. Workshops on specific relevant aspects of broader topics and newly evolving areas of Context are particularly encouraged. Areas of interest include but are not limited to the topics of the main conference: 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 WORKSHOP FORMAT Workshops in general will be one full day in duration, exceptionally lasting half a day or two days. Format and content of each workshop will largely be determined by each workshop's organizing committee. Proposals for "mini-conference" style workshops are discouraged and ample time should be allotted for general discussion. Workshop organizers and attendees must register for the main CONTEXT'11 conference. For presenting workshop summaries to all conference attendees, a time slot of about 10 minutes each will be provided in coordination with the main conference's regular sessions. These summaries should be presented by at least one of the workshop's organizers. SUBMISSION OF WORKSHOP PROPOSALS Workshop proposals should include a main document and an appendix. The main document should be no longer than two pages and include: * The proposed title of the workshop * The names of the workshop organizers * A brief introduction to the area * Expected results of the workshop * Any important references (max 5) The appendix does not have a page limit, but should include the following: * A brief description of the technical issues the workshop addresses * A brief discussion of target audience and relevance to CONTEXT'11 * A description of the intended workshop format and style * A preliminary workshop schedule * A description of paper review process * A list of potential program committee members with affiliations * An estimated number of attendees with justification * A list of related workshops with dates and location * Contact information, titles and affiliations of workshop organizers. Workshop organizers should consist of three individuals knowledgeable about the technical issues to be addressed and, ideally, not being from the same institution All proposals should be submitted by email as PDF documents (ideally formatted to the LNCS style) to the CONTEXT'11 workshop chair at: context11-ws at teco.edu Where workshop proposals are being proposed within a community where an extended abstract rather than full paper review process is typically required, the workshop proposal should make this case clear, and also make clear how a review process will guarantee high quality contributions. Proposals will be reviewed by the program committee and prospective organizers will be notified of their decision no later than April 20th, 2011. MORE INFORMATION http://context-11.teco.edu/cfpw.html IMPORTANT DATES April 10th, 2011 . . . Deadline for Workshop Proposal Submission Sept. 26th/27th, 2011. Workshop Days GENERAL CHAIRS Michael Beigl, Karlsruhe Institute of Technology, Germany Henning Christiansen, Roskilde University, Denmark Thomas R. Roth-Berghofer, University of Hildesheim, Germany WORKSHOP CHAIR Robert J. Ross, Dublin Institute of Technology, Ireland e-mail: context11-ws at teco.edu From k.v.hindriks at tudelft.nl Fri Mar 25 16:17:31 2011 From: k.v.hindriks at tudelft.nl (Koen Hindriks) Date: Fri, 25 Mar 2011 16:17:31 +0100 Subject: PhD Vacancy in Intelligent Vehicles Technology Message-ID: <012c01cbeaff$c3c6b210$4b541630$@v.hindriks@tudelft.nl> (Apologies for cross postings.) The faculty Electrical Engineering, Mathematics and Computer Science at Delft University of Technology, the Netherlands, is looking for an ambitious and highly motivated PhD candidate with an interest in research on *Intelligent Vehicles Technology*. *Job description* Vehicles that can drive themselves are becoming reality (see http://viac.vislab.it/). Google Car is an example based on technology developed for the DARPA Urban Challenge. In this project, intelligent cognitive agents will be built that model the human driver and thus have the knowledge needed to control a vehicle with or without human interaction. Intelligent agents on board vehicles make it possible to increase drivers' situation awareness, using data the agents collect, integrated with data from other vehicles and from intelligent road infrastructure. Agents will also support the driver in communications with other vehicles to improve traffic throughput and safety. Some of the driving tasks can even be handled by intelligent agents without any driver input. To this end, agents receive traffic management instructions from the roadside and communicate with other vehicles. Your job is to design and engineer these agents and to test them in a simulated environment. A simulation environment is already available, as is the basic functionality for the agent to control the vehicle. Data on human driving is also available to test the validity of the agent technology. You will be part of a team supervised by Prof. C.M. Jonker, Prof. F.M. Brazier, Dr. K.V. Hindriks, and Dr. J. Vrancken (TUD). The job is part of a larger project on Smart Roads that aims to improve road traffic. *Requirements* Candidates should have an MSc degree in Artificial Intelligence or Computing Science. Ideally, candidates have experience with cognitive modeling, modeling of dynamical systems, simulation and (real-time) programming. Candidates who have an MSc degree in another field may also apply but will need to show they have the required experience in programming and a background in traffic management systems or intelligent vehicles. *Contact* For more information about this position, please contact Prof. C. M. Jonker, phone: +31 (0)15-2782523, e-mail: C.M.Jonker at tudelft.nl. *Information and application* For general application information you are welcome to contact Mrs. J. Eddini, peno-ewi at tudelft.nl. To apply, please e-mail a detailed CV, including contact details of references, course lists with grades, and a letter of application in which you explain both your interest and the relevance of your skills and experience in the context of this research project. Please e-mail your application materials by *18 April 2011* to Mrs. J. Eddini, peno-ewi at tudelft.nl, or send by post to Mrs. J. Eddini, Mekelweg 4, 2628 CD Delft, The Netherlands. Also see: http://mmi.tudelft.nl for more information. When applying for this position, make sure to mention *vacancy number EWI2011-03*. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From madanm at microsoft.com Sat Mar 26 00:59:36 2011 From: madanm at microsoft.com (Madan Musuvathi) Date: Fri, 25 Mar 2011 23:59:36 +0000 Subject: SPIN 2011 Call For Papers Message-ID: <9409D0D05C895F4DA32196CFAC570EE42A809DC3@TK5EX14MBXC141.redmond.corp.microsoft.com> [Apologies if you receive multiple copies] Please consider submitting to the SPIN Workshop on Model Checking of Software. The deadline for submitting papers is April 1st, 2011. The CFP is attached. Thanks Alex Groce and Madanlal Musuvathi -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein eingebundener Text mit undefiniertem Zeichensatz wurde abgetrennt. Name: SPIN 2011 CFP.txt URL: From wneuper at ist.tugraz.at Sat Mar 26 16:28:31 2011 From: wneuper at ist.tugraz.at (Walther Neuper) Date: Sat, 26 Mar 2011 16:28:31 +0100 Subject: 2nd CfP: THedu'11 at CADE In-Reply-To: <4D482137.2000205@inria.fr> References: <4D482137.2000205@inria.fr> Message-ID: <4D8E061F.6090706@ist.tugraz.at> [Apologies for possible multiple postings.] ---------------------------------------------------------------------- SECOND CALL FOR PAPERS ---------------------------------------------------------------------- THedu'11 CTP components for educational software ======================================= (CTP -- Computer Theorem Proving) http://www.uc.pt/en/congressos/thedu Workshop at CADE-23, 23nd International Conference on Automated Deduction Wroclaw, Poland, July 31- August 5, 2011 http://cade23.ii.uni.wroc.pl/ ---------------------------------------------------------------------- THedu'11 Scope -------------- This workshop intends to gather the research communities for Computer Theorem proving (CTP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP) as well as for Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas and to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA). Elements for next-generation MMA's include: * Declarative Languages for Problem Solution: education in applied sciences and in engineering is mainly concerned with problems, which are understood as operations on elementary objects to be transformed to an object representing a problem solution. Preconditions and postconditions of these operations can be used to describe the possible steps in the problem space; thus, ATP-systems can be used to check if an operation sequence given by the user does actually present a problem solution. Such "Problem Solution Languages" encompass declarative proof languages like Isabelle/Isar or Coq's Mathematical Proof Language, but also more specialized forms such as, for example, geometric problem solution languages that express a proof argument in Euclidean Geometry or languages for graph theory. * Consistent Mathematical Content Representation: libraries of existing ITP-Systems, in particular those following the LCF-prover paradigm, usually provide logically coherent and human readable knowledge. In the leading provers, mathematical knowledge is covered to an extent beyond most courses in applied sciences. However, the potential of this mechanised knowledge for education is clearly not yet recognised adequately: renewed pedagogy calls for enquiry-based learning from concrete to abstract --- and the knowledge's logical coherence supports such learning: for instance, the formula 2.pi depends on the definition of reals and of multiplication; close to these definitions are the laws like commutativity etc. Clearly, the complexity of the knowledge's traceable interrelations poses a challenge to usability design. * User-Guidance in Stepwise Problem Solving: Such guidance is indispensable for independent learning, but costly to implement so far, because so many special cases need to be coded by hand. However, CTP technology makes automated generation of user-guidance reachable: declarative languages as mentioned above, novel programming languages combining computation and deduction, methods for automated construction with ruler and compass from specifications, etc --- all these methods 'know how to solve a problem'; so, using the methods' knowledge to generate user-guidance mechanically is an appealing challenge for ATP and ITP, and probably for compiler construction! In principle, mathematical software can be conceived as models of mathematics: The challenge addressed by this workshop is to provide appealing models for MMAs which are interactive and which explain themselves such that interested students can independently learn by inquiry and experimentation. Program Chairs -------------- Ralph-Johan Back, Abo University, Turku, Finland Pedro Quaresma, University of Coimbra, Portugal Program Committee Francisco Botana, University of Vigo at Pontevedra, Spain Florian Haftmann, Munich University of Technology, Germany Predrag Janicic, University of Belgrade, Serbia Cezary Kaliszyk, University of Tsukuba, Japan Julien Narboux, University of Strasbourg, France Walther Neuper, Graz University of Technology, Austria Wolfgang Schreiner, Johannes Kepler University, Linz, Austria Laurent Théry, Sophia Antipolis, INRIA, France Makarius Wenzel, University Paris-Sud, France Burkhart Wolff, University Paris-Sud, France Important Dates --------------- * Extended Abstracts/Demo proposals 29 Apr 2011 (PDF, easychair [2]) * Author Notification: 3 Jun 2011 * Worshop Day: 31 Jul 2011 * Full papers (post-proceedings): 27 Aug 2011 (LaTeX, easychair [2]) Submission ---------- THedu'11 seeks papers and demos presenting original unpublished work which is not been submitted for publication elsewhere. Both, papers and demos, are submitted as extended abstracts first (29 Apr 2011), which must not exceed five pages. The abstract should be new material. Demos should be accompanied by links to demos/downloads and [existing] system descriptions. Availability of such accompanying material will be a strong prerequisite for acceptance. The authors of the extended abstracts and system descriptions should submit to easychair [2] in PDF format generated by EPTCS LaTeX style [3] . Selected extended abstracts and system descriptions will appear in CISUC Technical Report series (ISSN 0874-338X, [1]). At least one author of each accepted paper/demo is expected to attend THedu'11 and to present her or his paper/demo, and the extended abstracts will be made available online. After presentation at the conference selected authors will be invited to submit a substantially revised version, extended to 10-14 pages, for publication by the Electronic Proceedings in Theoretical Computer Science (EPTCS). Papers/system descriptions will be reviewed by blind peer review and evaluated by three referees with respect to relevance, clarity, quality, originality, and impact. Revised versions are submitted in LaTeX according to the EPTCS style guidelines [3] via easychair [2]. [1] http://www.uc.pt/en/fctuc/ID/cisuc/RecentPublications/Techreports/ [2] http://www.easychair.org/conferences/?conf=thedu11 [3] http://www.cse.unsw.edu.au/%7Ervg/EPTCS/eptcsstyle.zip From martin.lange at uni-kassel.de Mon Mar 28 11:46:13 2011 From: martin.lange at uni-kassel.de (Martin Lange) Date: Mon, 28 Mar 2011 11:46:13 +0200 Subject: 2 PhD studentships in computational logic at University of Kassel, Germany Message-ID: <4D9058E5.8010401@uni-kassel.de> Two full-time PhD studentships are available at the the School of Electrical Engineering and Computer Science of the University of Kassel, Germany. The positions are funded by the ERC project "Model Checking Unleashed" and are initially available for two years with the possibility of extension for another year. There are no teaching obligations. Starting date is negotiable. The project investigates applications of logical methods to various computational problems from diverse areas like database theory, graph theory, bio-informatics, computational linguistics, etc. Applicants must have an MSc / diploma in computer science, mathematics, or related areas, or should be very close to completion thereof. They should have a good background in theoretical computer science, with strong interest in logic, algorithmics, and/or possible application areas as mentioned above. The project is run at the Formal Methods and Software Verification group (FMV). Working language is English. Knowledge of German is not a requirement for these positions. Further information about the FMV group is available here: http://cms.uni-kassel.de/unicms/index.php?id=31745 For informal enquiries please contact Martin Lange via . @uni-kassel.de or +49/0 561 8046261. Applications must be directed to the HR department of the University of Kassel, for instance via pvabt3 at uni-kassel.de . They should contain a CV and names of 1-2 references, and must state the reference number for this announcement which is 15734. Deadline for applications is April, 15th, 2011. The official announcement for these positions is available here (in German): http://www.uni-kassel.de/pvabt3/stellen/extern/15734.ghk -- ---------------------------------------------------------------- Prof. Dr. Martin Lange http://www.uni-kassel.de/~mlange Elect. Engineering& Comp. Science martin.lange at uni-kassel.de University of Kassel, Germany +49/0 561 804 6261 From christian.guttmann at gmail.com Mon Mar 28 14:40:22 2011 From: christian.guttmann at gmail.com (Christian Guttmann) Date: Mon, 28 Mar 2011 16:40:22 +0400 Subject: Researcher/Senior Researcher position at the Etisalat BT Innovation Center (www.EBTIC.org) Message-ID: <4D9081B6.8020001@gmail.com> Researcher/Senior Researcher position at the Etisalat British Telecom Innovation Centre (www.EBTIC.org) Abu Dhabi, United Arab Emirates The Etisalat British Telecom Innovation Center (www.EBTIC.org)is seeking highly motivated postdoctoral researchers educated and interested in the area of Intelligent and Autonomous Systems, Multi-Agent Systems and Artificial Intelligence. One major initiative at EBTIC is iCARE: http://www.kustar.ac.ae/EBTIC/Research_Projects/2010/I-CARE.html The iCARE team is a young and interactive group researching collaborative information and communication technologies. There are two immediate application areas of this research (but not limited to): a) managing chronic diseases in health care and b) managing, mitigating and predicting catastrophic events, such as pandemics.Successful candidates hold a PhD in Computer Science or a related discipline and have an interest in developing computer architectures, protocols and algorithms that incorporate economic and psychological principles. These include concepts related to incentive structures, bounded rationality, transaction costs, market design, adherence and variation of agreements and contracts. The candidate will have experience in collaboratively establishing large enterprise architectures, and to work in a highly customer-oriented organisation. Please find attached an EBTIC job advertisement, also on the web: http://www.kustar.ac.ae/EBTIC/About_EBTIC/Career-advert10-01.html Best Regards, Christian Guttmann, PhD Etisalat British Telecom Innovation Centre Khalifa University PO Box 127788 Abu Dhabi UAE http://www.kustar.ac.ae/EBTIC/Staff/Christian_Guttmann.html http://www.csse.monash.edu.au/~xtg/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : EBTIC-job-ad-Dec-16.pdf Dateityp : application/pdf Dateigröße : 86073 bytes Beschreibung: nicht verfügbar URL : From cfp at grid.chu.edu.tw Mon Mar 28 21:06:54 2011 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Tue, 29 Mar 2011 03:06:54 +0800 Subject: Publicity of Conferences (April 2011) Message-ID: <201103281906.p2SJ6sgP025238@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tschneider at informatik.uni-bremen.de Tue Mar 29 13:49:35 2011 From: tschneider at informatik.uni-bremen.de (Thomas Schneider) Date: Tue, 29 Mar 2011 13:49:35 +0200 Subject: Final CfP: 5th Int. Workshop on Modular Ontologies (WoMO 2011) Message-ID: <0FFEDF4D-7F0D-4DF4-9458-FF79E8D308F9@informatik.uni-bremen.de> ======================================================== 5th Int. Workshop on Modular Ontologies (WoMO) Ljubljana, Slovenia, August 8-12, 2011 held in conjunction with ESSLLI 2011 --- Last Call for Papers --- ======================================================== EXTENDED+FINAL Submission deadline: April 15, 2011 ======================================================== http://www.informatik.uni-bremen.de/~okutz/womo5 INVITED SPEAKERS: Stefano Borgo (Laboratory of Applied Ontology, Trento, Italy) Modularity in foundational ontologies Stefan Schulz (Medical University Graz, Austria) "Modularity Aspects in Biomedical Ontologies" Michael Zakharyaschev (Birkbeck College London, UK) Logical approaches to modularity (Topics are tentative.) MODULARITY, as studied for many years in software engineering, allows mechanisms for easy and flexible reuse, generalization, structuring, maintenance, design patterns, and comprehension. Applied to ontology engineering, modularity is central not only to reduce the complexity of understanding ontologies, but also to facilitate ontology maintenance and ontology reasoning. Recent research on ontology modularity shows substantial progress in foundations of modularity, techniques of modularization and modular development, distributed reasoning and empirical evaluation. These results provide a foundation for ongoing multi-disciplinary research and development. The workshop follows a series of successful events that have been an excellent venue for practitioners and researchers to discuss latest work and current problems, and is this time organised as a satellite workshop of ESSLLI 2011 (week 2, see http://esslli2011.ijs.si/?p=306 ), following an introductory ESSLLI course on notions of modularity in ontologies (week 1, see http://esslli2011.ijs.si/?p=310 ). TOPICS include, but are not limited to: - What is Modularity: Kinds of modules and their properties; modules vs. contexts; design patterns; granularity of representation; - Logical/Foundational Studies: Conservativity and syntactic approximations for modules; modular ontology languages; reconciling inconsistencies across modules; formal structuring of modules; networks of ontologies; heterogeneity; - Algorithmic Approaches: distributed reasoning; modularization and module extraction; (selective) sharing and re-using, linking and importing; hiding and privacy; evaluation of modularization approaches; complexity of reasoning; reasoners or implemented systems; - Applications: Semantic Web; life sciences; bio-ontologies; natural language processing; ontologies of space and time; ambient intelligence; collaborative ontology development; etc. The workshop is open to all members of the ESSLLI community. Workshop speakers will be required to register for the Summer School; however, they will be able to register at a reduced rate to be determined by the Local Organizers. Participants can attend any other ESSLLI courses and workshops of their choice. IMPORTANT DATES (Updated) Paper Submission: April 15, 2011 Notification: May 23, 2011 Camera ready: June 6, 2011 Workshop: August 8-12, 2011 SUBMISSION GUIDELINES: The workshop welcomes submission of high quality original and previously unpublished papers. Contributions should not exceed 13 pages in length and must be formatted according to IOS Press style (see http://www.iospress.nl/authco/instruction_crc.html ). Contributions should be prepared in PDF format and submitted not later than April 15, 2011, through the EasyChair Submission System (see http://www.easychair.org/conferences/?conf=womo2011 ). Info: In the LaTeX template, please comment the following line for compatibility. %\usepackage[mtplusscr,mtbold]{mathtime} Submitted papers will be peer-reviewed by members of the program committee. Accepted papers may be extended up to 16 pages and will be published as chapters in an IOS Press book in the series 'Frontiers in Artificial Intelligence and Applications'. (Find the WoMO 2010 proceedings here http://www.booksonline.iospress.nl/Content/View.aspx?piid=16268 ) WORKSHOP CO-CHAIRS: Oliver Kutz (Research Center on Spatial Cognition (SFB/TR 8), Bremen, Germany) Thomas Schneider (Saarland University, Saarbruecken, Germany) PROGRAM COMMITTEE: Jie Bao (Rensselaer Polytechnic Institute, Troy, NY, USA) Simon Colton (Imperial College, London, UK) Melanie Courtot (BC Cancer Care & Research, Vancouver, Canada) Bernardo Cuenca Grau (University of Oxford, UK) Faezeh Ensan (University of New Brunswick, Canada) Fred Freitas (Federal University of Pernambuco, Brazil) Silvio Ghilardi (University of Milan, Italy) Janna Hastings (European Bioinformatics Institute, Cambridge, UK) Robert Hoehndorf (University of Cambridge, UK) Joana Hois (University of Bremen, Germany) C. Maria Keet (University of KwaZulu-Natal, Durban, South Africa) Roman Kontchakov (Birkbeck College, London, UK) Frank Loebe (University of Leipzig, Germany) Till Mossakowski (German Research Center for Artificial Intelligence, Bremen, Germany) Leo Obrst (MITRE, McLean, VA, USA) Bijan Parsia (University of Manchester, UK) Daniel Pokrywczynski (University of Liverpool, UK) Anne Schlicht (University of Mannheim, Germany) Marco Schorlemmer (Artificial Intelligence Research Institute, Barcelona, Spain) Andrei Tamilin (FBK-IRST, Trento, Italy) Dirk Walther (Polytechnic University of Madrid, Spain) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From organization at arcoe.org Wed Mar 30 11:23:13 2011 From: organization at arcoe.org (ARCOE) Date: Wed, 30 Mar 2011 11:23:13 +0200 Subject: Last CfP: 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 N.B.: ARCOE submissions are not double blind. That means the authors' names and institutions should appear in the submitted version. -- 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 - http://homepages.inf.ed.ac.uk/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 - http://www.inf.ed.ac.uk/people/staff/Jos_Lehmann.html 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) - http://en.varzinczak.net16.net 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 conference at icdim.org Wed Mar 30 12:57:57 2011 From: conference at icdim.org (conference) Date: Wed, 30 Mar 2011 16:27:57 +0530 Subject: ICDIM 2011 Message-ID: <20110330105757.887.qmail@mail.fastdnsnetwork.com> Call for Papers Sixth International Conference on Digital Information Management La Trobe University, Melbourne, Australia September 14-16, 2011 (http://www.icdim.org) (Technically co-sponsored by IEEE Technology Management Council) Proceedings will be published and indexed in IEEE Xplore) Following the successful earlier conferences at Bangalore (2006), Lyon (2007), London (2008), Michigan (2009) and Thunder Bay (2010) the sixth event is being organized at La Trobe University, Melbourne, Australia in 2011 September. The International Conference on Digital Information Management is a multidisciplinary conference on digital information management, science and technology. The principal aim of this conference is to bring people in academia, research laboratories and industry together, and offer a collaborative platform to address the emerging issues and solutions in digital information science and technology. The ICDIM intends to bridge the gap between different areas of digital information management, science and technology. This forum will address a large number of themes and issues. The conference will feature original research and industrial papers on the theory, design and implementation of digital information systems, as well as demonstrations, tutorials, workshops and industrial presentations. The topics in ICDIM 2011 include but are not confined to the following areas. Temporal and Spatial Databases Data Mining Web Mining including Web Intelligence and Web 3.0 E-Learning, eCommerce, e-Business and e-Government Web Metrics and its applications XML and other extensible languages Semantic Web, Ontologies and Rules Human-Computer Interaction Artificial Intelligence and Decision Support Systems Knowledge Management Ubiquitous Systems Peer to Peer Data Management Interoperability Mobile Data Management Data Models for Production Systems and Services Data Exchange issues and Supply Chain Data Life Cycle in Products and Processes Case Studies on Data Management, Monitoring and Analysis Security and Access Control Information Content Security Mobile, Ad Hoc and Sensor Network Security Distributed information systems Information visualization Web services Quality of Service Issues Multimedia and Interactive Multimedia Image Analysis and Image Processing Video Search and Video Mining All the accepted papers will appear in the proceedings published by IEEE and fully indexed by IEEE Xplore. All the ICDIM papers are indexed by DBLP (http://www.informatik.uni-trier.de/~ley/db/conf/icdim/index.html) Important Dates: Submission of papers - April 30, 2011 Notification of Paper Acceptance/Rejection - May 30, 2011 Camera Ready Paper Due - July 15, 2011 Author Registration - July 15, 2011 Late Registration - July 31, 2011 Conference Dates - September 14-16, 2011 General Chair : Prof. Rajiv Khosla, Director, RECCSI, La Trobe University, Australia General Co-chair: Prof. Toyoaki Nishida, Kyoto University, Japan General Co-chair: Dr. Keiji Yamada, General Manager, CCIL, NEC, Japan Paper submissions at- http://www.icdim.org/submission.php Contact: conference at icdim.org Modified version of the selected papers will appear in the special issues of the following peer reviewed journals. (Indexed in Scopus, Thomson Reuters, Journal Citation Reports, dblp, Engineering Index and many other databases) 1. Journal of Digital Information Management (JDIM) (Scopus, Compendex, EI, indexed) 2. Journal of Intelligent Manufacturing (Thomposon ISI Indexed) 3. International Journal of Information Technology and Web Engineering (IJITWE) From vbn at di.uevora.pt Thu Mar 31 01:07:11 2011 From: vbn at di.uevora.pt (Vitor Nogueira) Date: Thu, 31 Mar 2011 00:07:11 +0100 Subject: CFP: COLA@EPIA 2011 Message-ID: <4D93B79F.7060503@di.uevora.pt> [apologies for multiple posts; please distribute] ------------------------------------------------- First Call for Papers EPIA 2011 - 15th Portuguese Conference on Artificial Intelligence Thematic Track: COLA - COmputational Logic with Applications October 10-13 Universidade de Lisboa, Portugal http://epia2011.appia.pt/ == Overview == The development of sophisticated intelligent systems requires more and more sound and appropriate foundations and tools, resulting in new problems and challenges for the computational logic practitioners. Computational logic has been widely used in complex applications in important areas such as the Deductive Databases, Natural Language Processing and Program Analysis, and more recently on the Semantic Web and related Web Tools. These novel applications have exposed the limits of existing approaches, showing the need for research on better languages and more sophisticated implementations of reasoning systems. The COLA thematic track of EPIA 2011 covers the broad area of Computational Logic and its applications, with special interest on topics related with new formalisms, environments, languages, tools, and applications. A non-exhaustive list of topics follows: - Logic based knowledge representation and applications - Declarative semantics of rule languages and applications - Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling - Implementation of reasoning systems, in particular logic programming, contextual logic programming, and tabling systems - Abductive and Inductive Logic Programming - Ontologies, Description Logics and integration with reasoning systems - Reasoning with incomplete and uncertain information, including non-monotonic reasoning as well as probabilistic and fuzzy logic programming formalisms - Reasoning on the Semantic Web - Applications: Deductive Databases, Data Integration, Natural Language, Semantic Web, and Web Tools == Important Dates == Deadline for paper submission: May 10, 2011 Notification of paper acceptance: June 10, 2011 Camera-ready papers: July 1, 2011 Conference dates: October 10-13, 2011 == Submission Guidelines == All papers should be submitted through the conference management website at: http://www.easychair.org/conferences/?conf=epia2011 Papers should not exceed fifteen (15) pages in length and must be formatted according to the information for LNCS authors. Papers must be submitted in PDF (Adobe's Portable Document Format) format and will not be accepted in any other format. Papers that exceed 15 pages or do not follow the LNCS guidelines risk being rejected automatically without a review. At least one author of each accepted paper must register for the conference. More information about the Springer's Lecture Notes in Computer Science (LNCS) are available on the Springer LNCS Web site http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The best papers (the exact number is decided by the EPIA Chairs) will appear in the proceedings published by Springer in the LNAI series. The remaining accepted papers will be published in a venue TBA. == Organizing Committee == Paulo Moura, Universidade da Beira Interior, Portugal Vitor Nogueira, Universidade de Évora, Portugal == Program Committee == Angelika Kimmig, K. University of Leuven, Belgium Axel Pollers, National University of Ireland, Ireland Bart Demoen, K. University of Leuven, Belgium Daniel Diaz, University of Paris 1, France David Warren, University of Stony Brook, USA Enrico Pontelli, New Mexico State University, USA Gopal Gupta, University of Texas at Dallas, USA Joachim Schimpf, Monash University, Australia João Leite, CENTRIA and Universidade Nova de Lisboa, Portugal José Alferes, CENTRIA and Universidade Nova de Lisboa, Portugal Paulo Gomes, Universidade de Coimbra, Portugal Peter Robinson, University of Queensland, Australia Roberto Bagnara, University of Parma, Italy Salvador Abreu, Universidade de Évora, Portugal Vítor Costa, Universidade do Porto, Portugal == Contact Information == cola2011 at di.uevora.pt -- Vitor Nogueira Departamento de Informática Universidade de Évora From frank.loebe at informatik.uni-leipzig.de Thu Mar 31 14:26:53 2011 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Thu, 31 Mar 2011 14:26:53 +0200 Subject: CfP: 3rd Ontologies in Biomedicine and Life Sciences (OBML 2011) Message-ID: <005601cbef9e$edf85fe0$c9e91fa0$@informatik.uni-leipzig.de> CALL FOR PAPERS --------------- OBML 2011 - Conference on Ontologies in Biomedicine and Life Sciences Berlin, Germany -- October 6-7, 2011 Co-located with INFORMATIK 2011 Website: https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Conferences/2011en Submission of short papers (2-4 pages) due: June 30, 2011 Goals of the Conference ----------------------- The series "Ontologies in Biomedicine and Life Sciences" (OBML conference) was initiated by the workgroup for OBML of the German Society for Computer Science in 2009. The OBML aims to bring together scientists who are working in this area to exchange ideas and discuss new results, to start collaborations and to initiate new projects. The OBML conference is held once annually and deals with all fundamental aspects of biomedical ontologies as well as additional "hot" topics. Submissions are requested especially for the following topics: * Ontologies and terminologies in biology, medicine, and clinical research; * Ontologies for knowledge representation, methods of reasoning, integration and interoperability of ontologies; * Methods and tools for the construction and management of ontologies; and * Applications of the Semantic Web in biomedicine and the life sciences. The focus of the OBML-2011 is "Phenotype ontologies in medicine and biomedical research". Important Dates --------------- Submission of papers June 30, 2011 Notification of review results July 30, 2011 Deadline for revised versions September 10, 2011 Conference October 6-7, 2011 Submissions ----------- All papers will be printed in a proceedings volume (with ISBN or ISSN) that will be distributed during the congress. A selection of these papers will be published in the BMC Journal of Biomedical Semantics. Submissions to the conference should comprise 2-4 pages and must be written in English. Keynote Lectures ---------------- * Peter Robinson, Charite Berlin "Phenotype Ontologies" (tentative title) * NN Committees ---------- Organization * Heinrich Herre, University of Leipzig (Coordinator) * Robert Hoehndorf, University of Cambridge * Frank Loebe, University of Leipzig Local Organization * Peter Robinson, Charite Berlin Program Committee * Robert Hoehndorf, University of Cambridge (Coordinator) * Soeren Auer, University of Leipzig * Patryk Burek, University of Leipzig * Fred Freitas, University of Mannheim * Heinrich Herre, University of Leipzig * Josef Ingenerf, University of Luebeck * Ludger Jansen, University of Rostock * Janet Kelso, Max Planck Institute for Evolutionary Anthropology, Leipzig * Toralf Kirsten, University of Leipzig * Frank Loebe, University of Leipzig * Axel Ngonga-Ngomo, University of Leipzig * Roberto Poli, University of Trento * Dietrich Rebholz-Schuhmann, European Bioinformatics Institute, Cambridge * Peter Robinson, Charite Berlin * Michael Schroeder, Dresden Technical University * Stefan Schulz, Medical University Graz * Luca Toldo, Merck KGaA ... (further requests pending) For further information, please see the conference and the group websites: https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Conferences/2011en (English) https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Conferences/2011 (German) https://wiki.imise.uni-leipzig.de/Gruppen/OBML (German) From paolo.torroni at unibo.it Thu Mar 31 19:18:48 2011 From: paolo.torroni at unibo.it (Paolo Torroni) Date: Thu, 31 Mar 2011 19:18:48 +0200 Subject: CLIMA XII @ IJCAI: Final Call. Submission 4/8th April (strict) Message-ID: <4D94B778.2020903@unibo.it> [apologies for cross-posting - please distribute] ++++++++++++++++++++++++++++++++++++++++++++++++++++ Final Call for Papers CLIMA XII 12th International Workshop on Computational Logic in Multi-Agent Systems with special sessions on: * Norms and Normative Multi-Agent Systems. * Logics for Games and Social Choice. http://centria.di.fct.unl.pt/events/climaXII/ Barcelona, Spain, July 17-18, 2011. Affiliated with IJCAI'11. Submission deadline (strict): April 4/8th. Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++ The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. Following the previous ten, very successful, editions, the 12th CLIMA will be affiliated with IJCAI'11 and will take place in Barcelona, Spain, on the 17th and 18th of July 2011. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions: * Norms and Normative Multi-Agent Systems * Logics for Games and Social Choice We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXII/ Important dates (strict): * Submission: April 4th (Abstracts) / April 8th (Papers) * Notification: May 4th * Camera Ready: May 16th CLIMA XII Chairs: * João Leite, New University of Lisbon, Portugal * Paolo Torroni, University of Bologna, Italy Special Session Organisers: Norms and Normative Multi-Agent Systems: * Guido Boella, University of Turin, Italy * Leon van der Torre, Univ. of Luxembourg, Luxembourg Logics for Games and Social Choice: * Thomas Ågotnes, University of Bergen, Norway Please send all enquiries about CLIMA XII toclima2011 at easychair.org. From Manuela.Bujorianu at manchester.ac.uk Thu Mar 31 20:09:59 2011 From: Manuela.Bujorianu at manchester.ac.uk (Manuela Bujorianu) Date: Thu, 31 Mar 2011 18:09:59 +0000 Subject: FIRE research school in Manchester Message-ID: <38A9C8B532151940826352E121D3570C02D8C3@MBXP07.ds.man.ac.uk> *** Apologies for multiple copies due to cross-posting *** *** Please forward to colleagues who might be interested *** ---> IMPORTANT <--- =========================== FIRE =============================== Formal and Interdisciplinary methods in Resilience Engineering 23-25 May 2011 A research School organised by The Centre for Interdisciplinary Computational and Dynamical Analysis (CICADA) University of Manchester, UK Part of MaDe: Manchester Dependability Week http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/MaDe.html ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ “Safety is the sum of events that do not occur. While accident research has focussed on that occurred and try to understand why, safety research should focus on the accidents that did not occur and try to understand why” `` Resilience Engineering: concepts and precepts" ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ =========================== Structure =============================== 1 Course + 5 tutorials + 2 lectures: Course on ``Probabilistic Model Checking” By Prof. Joost-Pieter Katoen ; Duration: 4 hours Tutorial on ``Probabilistic Models and Tools for Information Security Decisions” By Prof. Aad van Moorsel ; Duration: 2 hours, Tutorial on ``Introduction to object-oriented Modeling and Simulation with Modelica using OpenModelica” By Dr. Mohsen Torabzadeh-Tari ; Duration: 2 hours, Tutorial on ``Solving discrete time control systems under severe uncertainty using imprecise probabilities” By Prof. Matthias Troffaes ; Duration: 2 hours, Tutorial on ``Algorithmic Game Theory” By Prof. Anna Philippou ; Duration: 2 hours, Lecture on ``The Road to Resilience: Autonomy, Fault Tolerance, Verification” By Dr. Manuela Bujorianu ; Duration: 1 hour, Lecture on ``Resilience Engineering: A Quick Tour” By Dr. Manuela Bujorianu ; Duration: 1 hour, Tutorial on ``Steering Computer Simulation Of Physical Systems” By Prof. John Brook ; Duration: 2 hours, =========================== Organisation =============================== Contact: Manuela Bujorianu, John Brooke and Helen Harper - CICADA; Place and time: 9.30 am - 5.00 pm Frank Adams rooms, Alan Turing Building, Manchester University Registration Registration website will be open soon. Registration fee will be around 30GBP. Payment can be also made at the site. The phD students can apply for fee waiving grant. If you would like to register your interest in the event, please contact Helen Harper (Helen.Harper at Manchester.ac.uk) in the first instance. Accommodation There are several hotels near to the Alan Turing Building. Please consult the school webpage for details. From guido at di.unito.it Thu Mar 31 22:59:06 2011 From: guido at di.unito.it (Guido Boella) Date: Thu, 31 Mar 2011 22:59:06 +0200 Subject: Third CFP: Norms and Normative Multi-Agent Systems: CLIMA XII special session Message-ID: <4D94EB1A.5040800@di.unito.it> ++++++++++++++++++++++++++++++++++++++++++++++++++++ Special session on **Norms and Normative Multi-Agent Systems** 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. Preliminary 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 Norms are pervasive in everyday life and influence the conduct of the entities subject to them. One of the main functions of norms is to regulate the behaviour and relationships of agents. Accordingly, any agent or multi agent system, if intended to operate in or model a realistic environment has to take into account to norms regulating. Norms have been proposed in multi-agent systems and computer science to deal with coordination issues, to deal with security issues of multi-agent systems, to model legal issues in electronic institutions and electronic commerce, to model multi-agent organizations, etc. The list of subjects includes (but is not limited to) the following topics: - logical foundations of normative systems - computational models of normative systems - computational models of normative multi-agent systems - formal models of norm dynamics - agent autonomy and norms - agent deliberation and norms - normative agent types - programming normative multi-agent systems 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. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXII/ 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 Organisers: * Guido Boella, University of Turin, Italy * Leon van der Torre, Univ. of Luxembourg, Luxembourg In case of questions, please do not hesitate to contact us at clima2011 at easychair.org .