From cfp at grid.chu.edu.tw Mon May 2 07:45:31 2011 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Mon, 2 May 2011 13:45:31 +0800 Subject: UIC 2011 / Workshops: Submission deadline extended to May 16, 2011. (Banff, Canada, September 02-04, 2011) Message-ID: <201105020545.p425jVUM014723@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From esslli2011 at gmail.com Tue May 3 19:22:37 2011 From: esslli2011 at gmail.com (Esslli Ljubljana) Date: Tue, 3 May 2011 18:22:37 +0100 Subject: 23rd European Summer School in Logic, Language and Information Message-ID: Apologies if you receive multiple copies of this message. Please distribute it to colleagues and students. ****************************************************************************************** 2nd CALL FOR PARTICIPATION AT ESSLLI 2011 Meeting: 23rd European Summer School in Logic, Language and Information (ESSLLI) Date: 01-Aug-2011 - 12-Aug-2011 Location: Ljubljana, Slovenia Contact Email: esslli2011 at gmail.com Meeting URL: http://esslli2011.ijs.si/ Early registration deadline: 31-05-2011 ****************************************************************************************** *Meeting Description* For the past 23 years, the European Summer School in Logic, Language and Information (ESSLLI) has been organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. During two weeks, around 50 courses and 10 workshops are offered to the attendants, each of 1.5 hours per day during a five days week, with up to seven parallel sessions. ESSLLI also includes a student session (papers and posters by students only, 1.5 hour per day during the two weeks) and four evening lectures by senior scientists in the covered areas. In 2011, ESSLLI will held in Ljubljana, Slovenia and will be organized by the Slovenian Language Technologies Society (SDJT), the Jožef Stefan Institute (IJS) and The Faculty of Mathematics and Physics (FMF) in Ljubljana, Slovenia. Chair of the Program Committee is Makoto Kanazawa (National Institute of Informatics, Japan), and Chair of the Organizing Committee is Darja Fišer (The University of Ljubljana, Slovenia). To contact the ESSLLI 2011 Organizing Committee, write to: esslli2011 at gmail.com. *Summer School Programme* http://esslli2011.ijs.si/?page_id=897 *Online Registration Form* https://www.kompas-online.net/Pages/MeetingsConferences/Register/RegisterV2.aspx?form=ESSLLI2011 *Programme Committee* Chair: Makoto Kanazawa (National Institute of Informatics, Tokyo) Local Co-chair: Andrej Bauer (University of Ljubljana) Area Specialists: Language and Computation: - Markus Egg (Humboldt-Universität zu Berlin) - Aline Villavicencio (Federal University of Rio Grande do Sul, Brazil) Language and Logic: - Hans-Christian Schmitz (Fraunhofer FIT, Sankt Augustin) - Louise McNally (UPF, Barcelona) Logic and Computation: - Ralph Matthes (IRIT, CNRS and University of Toulouse) - Eric Pacuit (Center for Logic and Philosophy of Science, Tilburg *Organizing Committee* Chair: Darja Fišer (University of Ljubljana) Committee Members: - Špela Vintar (University of Ljubljana) - Andrej Bauer (University of Ljubljana) - Monika Kropej (Jožef Stefan Institute) - Špela Sitar (Jožef Stefan Institute) - Boštjan Bajec (University of Ljubljana) - Senja Pollak (University of Ljubljana) - Mihael Arčan (DERI, NUI Galway) From nicola.olivetti at univ-cezanne.fr Wed May 4 18:12:33 2011 From: nicola.olivetti at univ-cezanne.fr (Nicola OLIVETTI) Date: Wed, 4 May 2011 18:12:33 +0200 (CEST) Subject: Ph.D. Position Announcement Message-ID: <16255365.44075.1304525554141.JavaMail.root@frontal2> ****PH.D. POSITION ANNOUNCEMENT*** The University of Aix-Marseille is offering one PHD position in Computer Science (CNRS Laboratories LSIS http://www.lsis.org/ and LIF http://www.lif.univ-mrs.fr/) under the direction of Nicola Olivetti (http://www.lsis.org/olivetti/) and Camilla Schwind (http://pageperso.lif.univ-mrs.fr/~camilla.schwind/). The general area of the thesis is the one of logics for multi-agent systems. In particular we are interested in the study of logical formalisms for agents that interact through communication and that can reason about their own epistemic attitudes (knowledge, belief, desire, intention) as well as about those ones of other agents. The research will concentrate on the study of suitable modal logics and on the development of automated deduction methods for these logics. Candidates must have a MSc or equivalent degree in Computer Science, Mathematics or related fields, and an excellent record of study. They should have a solid background in computer science, artificial intelligence and logic; some familiarity with agent systems is welcome. Knowledge of French language is not mandatory. There are no teaching obligations, but the candidate may do some paid teaching. The PhD position will be funded by CNRS (http://www.cnrs.fr) and the region "Provence-Alpes-Cote d'Azur (PACA)" for three years (regular employment contract with full social benefits), approx. 24000 Euro before taxes. *Important*: The availability of the Ph.D. Fellowship will be confirmed by end of May 2011. The position starts in October 2011 or later, but not after January 1st 2012. Applications should contain a CV, a proof of study record, a motivation statement detailing the research interests, and finally some letters of recommendation. They should be sent electronically to Nicola OLIVETTI and to Camilla Schwind or by ordinary mail to Nicola Olivetti Laboratoire des sciences de l'information et des systèmes LSIS-CNRS Domaine Universitaire de Saint-Jérôme Avenue Escadrille Normandie-Niemen 13397 MARSEILLE CEDEX 20 or to Camilla Schwind Laboratoire d'informatique fondamentale LIF-CNRS Faculté des sciences de Luminy, 163 avenue de Luminy - case 901 13288 Marseille cedex 9, (France) Applications should be received no later than *June 10, 2011*. For any information please contact Nicola Olivetti and/or Camilla Schwind at the above email addresses. From vbn at di.uevora.pt Wed May 4 21:45:33 2011 From: vbn at di.uevora.pt (Vitor Nogueira) Date: Wed, 04 May 2011 20:45:33 +0100 Subject: COLA@EPIA 2011 - Last Call for Papers Message-ID: <4DC1ACDD.5030307@di.uevora.pt> [apologies for multiple posts; please distribute] ------------------------------------------------- Last 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 From guido at di.unito.it Thu May 5 09:59:38 2011 From: guido at di.unito.it (Guido Boella) Date: Thu, 05 May 2011 09:59:38 +0200 Subject: Deadline extension: AI Approaches to the Complexity of Legal Systems (AICOL 2011) Message-ID: <4DC258EA.9030206@di.unito.it> AICOL 2011 HTTP://WWW.AICOL.EU/ Half day Workshop of the XXV. World Congress of Philosophy of Law and Social Philosophy FRANKFURT AM MAIN, 15-16 AUGUST 2011 Call for papers OBJECTIVES ============================================================ After a first experience in Beijing (IVR XXIV - September 15-20, 2009 Beijing,China), and the successful second edition in Rotterdam (JURIX-09 - Rotterdam � November 16-18, The Netherlands) we are now announcing the third edition of AICOL (AI Approaches to the Complexity of Legal Systems) as a thematic workshop of the IVR XXV Frankfurt am Main,15-20 August 2011. Work on Artificial Intelligence and Law has been particularly fruitful in the last decade. Besides providing advanced computer applications for the legal domain such as knowledge based systems and intelligent information retrieval, research on AI and law has developed innovative interdisciplinary models for understanding legal systems and legal reasoning, which are highly significant for philosophy of law and legal theory. Among such models, we can mention, for instance, logical frameworks for defeasible legal reasoning and dialectical argumentation, logics of normative positions, theories of case-based reasoning,and computable models of legal concepts. Today there is a strong need not only to integrate research in AI and law within legal theory, but also to encompass the different branches of research in AI and law. When different branches are developing quickly, the risk is in fact missing the opportunities to exchange knowledge and methodologies. This is particularly so in the case of 'multiagent systems'-approach and social network analysis, that share concepts and objects of study, but often present merely superficial convergences in practice as well as in theory. Multilingual ontologies provide an important opportunity for integrating different trends of research in AI and law. The domain of multi-system and multi-lingual ontologies not only offers the opportunity to integrate artificial intelligence with legal theory, but also with comparative legal studies. Complexity theory,graph theory, game theory and any other contributions from the mathematics disciplines could help both to formalize the dynamics of legal systems and to capture the relationships between norms. Cognitive science could help the legal ontology modelling by taking into account not only the formal features of the law, but social behaviour, subjective beliefs, and cultural factors as well. The aim of the workshop is thus to offer effective support for the exchange of knowledge and methodological approaches between scholars from different scientific fields, by highlighting their similarities and differences. We are expecting to have contributions that are able to capture this interdisciplinary aspect and prepare the scientific community to a common ground beyond the state of the art of any individual discipline. TOPICS ============================================================ * Law and Science * Law and Cognitive Science * Law and Complexity Theory * Complex Systems * Legal Theory * Legal Culture * Computer Ethics * Artificial Societies * Argumentative Frameworks * Legal Ontologies * Legal Concepts * Legal Thesauri * Taxonomies * Natural Language Processing (NLP) * Legal Knowledge Acquisition * Legal Knowledge Representation * Knowledge Management * Cognitive schemas * Law and Robotics * Law and Mathematics * Legal Graphic Representation * Game Theory * Formalization of Legal Systems and Norms * Rules and Standards * Agreement technologies * Electronic Institutions * Legal Information Retrieval * Online Dispute Resolution * Trends in e-Discovery, e-Courts, e-Administration * Users' studies IMPORTANT DATES ============================================================ Paper submission: NEW DEADLINE! June 1st 2011 Peer Review Communications: July 6th, 2011 Camera Ready: July 30th, 2011 AICOL Workshop: August 16th, 2011 Publication: November/December 2011 (LNAI volume) ============================================================ SUBMISSION GUIDELINES ============================================================ Authors are invited to submit original contributions of practical relevance and technical rigor in the field, experience reports and show case/use case demonstrations of effective, practical, deployable rule-based technologies or applications in distributed environments. Papers must be in English and may be submitted at http://www.easychair.org/conferences/?conf=aicol2011 Full Papers (15 pages in the proceedings) Short Papers (8 pages in the proceedings) Min.3000 words and max. 15000 words. Please upload all submissions as PDF files in LNCS format (http://www.springer.de/comp/lncs/authors.html). To ensure high quality, submitted papers will be carefully peer-reviewed by at least 3 PC members based on originality, significance, technical soundness, and clarity of exposition. ============================================================ PUBLICATIONS ============================================================ The selected papers will be published in book form in the Springer � LNAI Lecture Notes in Artificial Intelligence (LNAI) series. PROGRAM CHAIRS ============================================================ Danièle Bourcier (CERSA-CNRS, Paris, France) Pompeu Casanovas (UAB Institute of Law and Technology, Barcelona, Spain) Monica Palmirani (CIRSFID - University of Bologna, Italy) Ugo Pagallo (University of Turin, Italy) Giovanni Sartor (European University Institute and University of Bologna, Italy) ============================================================ -- Dipartimento di Informatica Università di Torino Cso Svizzera 185 10149 Torino Italy tel +39 011 670 6820 fax +39 011 75 16 03 email guido at di.unito.it web http://www.di.unito.it/~guido/ From sara at kdbio.inesc-id.pt Thu May 5 13:19:51 2011 From: sara at kdbio.inesc-id.pt (Sara Silva) Date: Thu, 05 May 2011 12:19:51 +0100 Subject: ALEA @ EPIA 2011 - last call for papers Message-ID: <4DC287D7.9010003@kdbio.inesc-id.pt> * Our apologies if you receive multiple copies of this announcement * ******************************************* ALEA @ EPIA 2011 --------> LAST call for papers! <-------- ******************************************* Artificial Life and Evolutionary Algorithms (ALEA is a thematic track of EPIA 2011) http://epia2011.appia.pt http://epia2011.appia.pt/alea.aspx October 10-13, 2011 Lisbon - Portugal Submission deadline: --> May 10, 2011 ALEA is dedicated to the theory and applications of Artificial Life and Evolutionary Algorithms. It has been a track of the biennial international EPIA conferences since 2003, aiming to bring together researchers and practitioners from different backgrounds and domains, and providing a pleasant venue for the fruitful discussion of current developments and applications. -> This year ALEA will take place in Lisbon, one of the most beautiful European capitals: http://www.google.com/images?q=lisbon ALEA invites contributions in all aspects related to Artificial Life and Evolutionary Algorithms, ranging from theoretical work to innovative applications. Topics of interest include, but are not limited to: - Artificial Chemistries - Artificial Immune Systems - Classifier Systems - Complex Networks - Emergent Behaviours - Evolution and Learning Dynamics - Evolutionary Algorithms - Evolutionary Optimization - Evolutionary Robotics - Genetic Programming - Hybrid Approaches - Multi-objective Optimization - Origins of Life - Parallel Evolutionary Algorithms - Self-organizing Systems - Swarm Intelligence Submissions must be original and not published elsewhere. Papers should not exceed fifteen (15) pages in length and must be formatted according to Springer’s LNCS instructions for authors. Papers must be submitted in PDF 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. More information and templates of the LNCS format is available on this Springer website: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The submissions will be peer reviewed by at least three members of the Programme Committee. The reviewing process is double blind, so authors should remove names and affiliations from the submitted papers, and must take reasonable care not to indirectly disclose their identity. References to own work can be included in the paper, but should be referred to in the third person. The authors of accepted papers will have to improve their paper on the basis of the recommendations from the reviewers and will be asked to send a camera ready version of their manuscripts. Even though the submissions can be made in PDF (preferable) or PS, we encourage authors to prepare their papers in TEX or LATEX because these are more convenient source formats for the camera ready final version. At least one author of each accepted work must register for the conference and present the work. Accepted papers will be presented orally or as posters. The best accepted papers will appear in the proceedings published by Springer in the Lecture Notes in Artificial Intelligence (LNAI), a subseries of LNCS. The remaining accepted papers will be published in a local edition, both in hard-copy, CD-ROM and on the web. Important Dates: - Paper submission: May 10 - Acceptance notifications: June 10 - Camera-ready papers: July 1 - ALEA @ EPIA 2011: October 10-13 Programme chairs: - Sara Silva INESC-ID Lisboa, Portugal http://kdbio.inesc-id.pt/~sara/ sara(at)kdbio.inesc-id.pt - Francisco B. Pereira Instituto Superior de Engenharia de Coimbra, Portugal https://cisucpt.dei.uc.pt/view_member.php?id_m=127 xico(at)dei.uc.pt - Leonardo Vanneschi University of Milano-Bicocca, Italy http://personal.disco.unimib.it/Vanneschi/ vanneschi(at)disco.unimib.pt Programme committee: Please consult the webpage of ALEA: http://epia2011.appia.pt/alea.aspx ------------------------------------ Yahoo! Groups Links <*> To visit your group on the web, go to: http://groups.yahoo.com/group/genetic_programming/ <*> Your email settings: Individual Email | Traditional <*> To change settings online go to: http://groups.yahoo.com/group/genetic_programming/join (Yahoo! ID required) <*> To change settings via email: genetic_programming-digest at yahoogroups.com genetic_programming-fullfeatured at yahoogroups.com <*> To unsubscribe from this group, send an email to: genetic_programming-unsubscribe at yahoogroups.com <*> Your use of Yahoo! Groups is subject to: http://docs.yahoo.com/info/terms/ From youakim.badr at insa-lyon.fr Thu May 5 20:00:57 2011 From: youakim.badr at insa-lyon.fr (Youakim Badr) Date: Thu, 05 May 2011 20:00:57 +0200 Subject: ACM MEDES'11: Call For Papers Message-ID: <20110505200057.14726sy5s1ogx7wo@webmail2.insa-lyon.fr> ** Apologies for cross-postings. ** The International Conference on Management of Emergent Digital EcoSystems (MEDES 2011) In-Cooperation with ACM, ACM SIGAPP and IFIP WG 2.6 http://sigappfr.acm.org/MEDES/11/ November 21-24, 2011 San Francisco, California Description and Objectives --------------------------- In the world of the Internet, the rapid growth and exponential use of digital medias leads to the emergence of virtual environments namely digital ecosystems composed of multiple and independent entities such as individuals, organizations, services, software and applications sharing one or several missions and focusing on the interactions and inter-relationships among them. The digital ecosystem exhibits self-organizing environments, thanks to the re-combination and evolution of its "digital components", in which resources provided by each entity are properly conserved, managed and used. The underlying resources mainly comprehend data management, innovative services, computational intelligence and self-organizing platforms. Due to the multi-disciplinary nature of digital ecosystems and their characteristics, they are highly complex to study and design. This also leads to a poor understanding as to how managing resources will empower digital ecosystems to be innovative and value-creating. The application of Information Technologies has the potential to enable the understanding of how entities request resources and ultimately interact to create benefits and added-values, impacting business practices and knowledge. These technologies can be improved through novel techniques, models and methodologies for fields such as data management, web technologies, networking, security, human-computer interactions, artificial intelligence, e-services and self-organizing systems to support the establishment of digital ecosystems and manage their resources. The International ACM Conference on Management of Emergent Digital EcoSystems (MEDES) aims to develop and bring together a diverse community from academia, research laboratories and industry interested in exploring the manifold challenges and issues related to resource management of Digital Ecosystems and how current approaches and technologies can be evolved and adapted to this end. The conference seeks related original research papers, industrial papers and proposals for demonstrations. Topics ------- In this call, we solicit original research and technical papers not published elsewhere. The papers can be theoretical, practical and application oriented on the following themes (but not limited to): - Digital Ecosystem Infrastructure - Web Technologies - Service systems and Engineering - Emergent Intelligence - Data & Knowledge Management Systems - Multimedia Information Retrieval - Ontology Management - Social Networks - Game Theory - Networks and Protocols - Green computing - Security & Privacy - Standardization and Extensible Languages - Human-Computer Interaction - Business Intelligence - E-Services , E-Learning, E-Humanities and E-Government - B2B, B2C, B2A, E-Commerce, E-Business, E-Marketing and E-Procurement - Digital Library - Open Source Paper Submission ---------------- Submissions must be in an electronic form as PDF format and should be uploaded using the conference website. The submitted paper should be at most 8 ACM single-space printed pages. Papers that fail to comply with length limit will be rejected. Submissions will be peer-reviewed by at least 3 peer reviewers. After the preliminary notification date, authors rebut by evidence and arguments all reviewer inquiries and their comments. Based on the rebuttal feedback, reviewers notify authors with the final decision. Selection criteria will include: relevance, significance, impact, originality, technical soundness, and quality of presentation. Preference will be given to submissions that take strong or challenging positions on important emergent topics related to Digital Ecosystems. At least one author should attend the conference to present the paper. The conference Proceedings will be published by ACM and indexed by the ACM Digital Library and DBLP. Important Dates ---------------- - Submission Date: June 20th, 2011 - Preliminary Notification of Acceptance: September, 5th 2011 - Rebuttal Date: September 15th, 2011 - Final Notification of Acceptance: September, 20th 2011 - Camera Ready: September 30th, 2011 - Conference Dates: November 21-24, 2011 Special issues and Journal Publication --------------------------------------- Extended versions of the selected papers will be published in one of the following reviewed journals. -International Journal on Subject-Centric Computing (IJSCC) -International Journal of Organizational and Collective Intelligence (IJOCI) -International Journal of Internet and Enterprise Management (IJIEM) General Chair -------------- William Grosky, University of Michigan, USA Xiaohua Tony Hu, Drexel University, USA Program Chair -------------- Youakim Badr, INSA de Lyon, France International Advisory Board Members ------------------------------------ Asanee Kawtrakul, NECTEC, Thailand Janusz Kacprzyk, Polish Academy of Sciences, Poland Philippe De Wilde, Heriot-Watt University, Scotland Yasuo Matsuyama, Waseda University, Japan Albert Zomaya, The University of Sydney, Australia Steering Committee Members -------------------------- Fernando Ferri, IRPPS-CNR, Italy Frederic Andres, National Institute of Informatics, Japan Richard Chbeir, University of Bourgogne, France Hiroshi Ishikawa, Shizuoka University, Japan Asanee Kawtrakul, NECTEC, Thailand Dominique Laurent, University of Cergy-Pontoise, France Epaminondas Kapetanios, University of Westminster, UK Keynote Speakers ---------------- Paul Hofmann, VP Office of the Chief Scientist at SAP Labs Ruoyi Zhou, Senior Manager at IBM Almaden Research Center International Program Committee: -------------------------------- (Please check the web site for the full list) From announce at teco.edu Sun May 8 16:59:40 2011 From: announce at teco.edu (announce at teco.edu) Date: Sun, 08 May 2011 16:59:40 +0200 Subject: CONTEXT'11 - New Keynote, Workshops, Deadlines Extended Message-ID: . . . . . . . . . . . . CONTEXT '11 . . . . . . . . . . . . . . . The Seventh International and Interdisciplinary Conference . . . . . . . . . on Modeling and Using Context . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . September 26th - 30th, Karlsruhe, Germany . . . . . . . . . . . . . http://context-11.teco.edu/ . . . . . . . . . . . . . . . With special track: Commercializing Context . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . NEWS * Keynote by Jerry Hobbs * Four workshops to be held on 26th and 27th: http://context-11.teco.edu/cfpw.html * Extended deadlines - for full papers: May 22, 2011 - for video/poster/demonstration abstracts: June 24, 2011 CALL FOR PAPERS Fourteen years after the first Context conference in 1997 - and 60 years after Prior laid the foundation for the field -, the Seventh International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'11) sets out to extend foundational research on context and to evaluate the status and consequences of context research, as well as to address new questions for the field. CONTEXT'11 will provide a forum for presenting and discussing high-quality research and applications on context. The conference will include paper, poster, and video presentations, system demonstrations, workshops, and a doctoral consortium. The conference invites researchers and practitioners to share insights and cutting-edge results from the wide range of disciplines concerned with context, including: the Cognitive Sciences (Linguistics, Psychology, Philosophy, Computer Science, Neuroscience), the Social Sciences and Organizational Sciences, and all application areas, including Medicine and Law. The motto of the CONTEXT'11 special track "Commercialising Context" was chosen to reflect both the fact that context research has found numerous successful applications in recent years and the fact that context itself has become a product that can be sold. Context-aware services can support their users unobtrusively and offer promising revenues. However, when context is no longer something private but processed and shared through the web, profound questions are raised about privacy and the general consequences of the technology. Yet, the new context-aware services can also be a scientific tool for context-research itself. Context-aware services offer new ways for studying social context and its interaction with other types of context on a sociologically significant scale. For linguistic studies, context-aware mobile phones and chat programs, for instance, can be a tool to automatically obtain context-annotated dialogues, with which the influence of context on meaning can be empirically assessed. Areas of interest include but are not limited to perspectives on context from: Analogy and Case-Based Reasoning. . . . . Knowledge Engineering and Ontologies Autonomous Agents . . . . . . . . . . . . Language Understanding and Production . and Agent-based Systems . . . . . . . . Learning Cognitive Modeling. . . . . . . . . . . . Linguistics Concepts and Categorization . . . . . . . Memory, Representation and Access Context-Aware Services and Systems. . . . Multiagent Systems Context-Recognition . . . . . . . . . . . . and Interagent Communication Distributed Information Systems . . . . . Neuroscience Formal Semantics and Pragmatics . . . . . Formal Ontology of Context Domains Formal Theories of Context. . . . . . . . Organizational Theory and Design Heterogeneous Information Integration . . Perception Human Decision-Making . . . . . . . . . . Pervasive/Ubiquitous Computing . and Decision Support Systems. . . . . . Philosophical Foundations of Context Human-Centered Computing. . . . . . . . . Problem Solving and Planning Human-Computer Interaction. . . . . . . . Psychological experiments Information Management. . . . . . . . . . Reasoning Intelligent Tutoring Systems. . . . . . . Relevance Computation Intelligent User Interfaces . . . . . . . . and Relevance Theories Intelligent/Semantic Web Systems. . . . . Sensor Networks and Sensing Systems Knowledge Representation. . . . . . . . . Situated and Distributed Cognition CONFERENCE EVENTS CONTEXT'11 will include paper presentation sessions, a poster and demonstration session, two days of workshops, and a doctoral consortium as well as keynote talks and a panel discussion. Workshops and the doctoral consortium will circulate separate calls for papers and participation, which will also be available at the conference web site. ACCEPTANCE CRITERIA AND SUBMISSION CATEGORIES CONTEXT welcomes original, high-quality research contributions that advance the state of the art in their field. Because CONTEXT'11 will be an interdisciplinary forum, all submissions will be evaluated not only for their technical merit but also for their accessibility to an interdisciplinary audience. Works that transcend disciplinary boundaries are especially encouraged. Submissions may be for full papers (14 pages in Springer LNCS format), poster abstracts, videos with a video abstract, or demonstration abstracts. Full papers will be accepted either for oral presentation or for presentation at a poster session. All accepted full paper submissions will be published in the proceedings which appear as a volume of Springer Lecture Notes in Artificial Intelligence. Accepted posters and demonstrations will be presented at the poster session. Videos will be presented as part of the conference program. The associated abstracts will be published in a brochure distributed to attendees. See detailed author instructions at http://context-11.teco.edu/authors.html IMPORTANT DATES May 22nd, 2011 . . . . Full papers June 19th, 2011. . . . Notification of authors June 24th, 2011. . . . Posters, videos, demonstration abstracts July 3rd, 2011 . . . . Camera-ready papers Sept 26th-30th, 2011 . Conference GENERAL CHAIRS Michael Beigl, Karlsruhe Institute of Technology, Germany Henning Christiansen, Roskilde University, Denmark Thomas R. Roth-Berghofer, University of Hildesheim, Germany PROGRAM CHAIRS Hedda R. Schmidtke, Karlsruhe Institute of Technology, Germany Anders Kofod-Petersen, Norwegian University of Science and Technology, Norway Kenny R. Coventry, Northumbria University, United Kingdom e-mail: context11-pch at teco.edu PROGRAM COMMITTEE Agnar Aamodt, Norwegian University of Science and Technology, Norway Thomas Bittner, University at Buffalo, USA Patrick Brezillon, University of Paris 6, France J�rg Cassens, Norwegian University of Science and Technology, Norway Kenny R. Coventry, Northumbria University, United Kingdom Klaus David, University of Kassel, Germany J�r�me Euzenat, INRIA Grenoble Rh�ne-Alpes and INP University of Grenoble, France Babak A. Farshchian, SINTEF, Norway Jacqueline Floch, SINTEF, Norway Christian Freksa, University of Bremen, Germany Valentin Goranko, Technical University of Denmark, Denmark Pierre Grenon, The Knowledge Media Institute, United Kingdom Anders Kofod-Petersen, Norwegian University of Science and Technology, Norway Kun Chang Lee, SKK Graduate School of Business, South Korea Takashi Miyaki, Karlsruhe Institute of Technology, Germany Aaron Quigley, The University of St Andrews, United Kingdom Robert J. Ross, Dublin Institute of Technology, Ireland Hedda R. Schmidtke, Karlsruhe Institute of Technology, Germany Roy Turner, University of Maine, USA Emile Van Der Zee, University of Lincoln, United Kingdom Kristof Van Laerhoven, Technische Universit�t Darmstadt, Germany Vaninha Vieira, Federal University of Bahia, Brazil Rebekah Wegener, Macquarie University, Australia Diedrich Wolter, University of Bremen, Germany From vbn at di.uevora.pt Mon May 9 19:02:30 2011 From: vbn at di.uevora.pt (Vitor Nogueira) Date: Mon, 09 May 2011 18:02:30 +0100 Subject: COLA@EPIA 2011 - Deadline Extended Message-ID: <4DC81E26.6000004@di.uevora.pt> [apologies for multiple posts; please distribute] ------------------------------------------------- Call for Papers (Deadline Extended) 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 abstract submission: May 10, 2011 Deadline for paper submission: May 17, 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 From A.G.Setzer at swansea.ac.uk Mon May 9 23:15:05 2011 From: A.G.Setzer at swansea.ac.uk (Anton Setzer) Date: Mon, 09 May 2011 22:15:05 +0100 Subject: PhD studentships available in Swansea, UK Message-ID: <4DC85959.1010700@swansea.ac.uk> Swansea has a strong group in logic and theoretical computer science and some of the following studentships for students in this area. Please apply. More details can be found at http://www.swan.ac.uk/compsci/research/postgraduate.html --------------------------------------------------------- At least four new PhD studentships are expected to be available in Computer Science at Swansea University in 2011. ***************************** Please apply by 31 May 2011 ! ***************************** Two of the confirmed studentships are linked to specific research projects; the others will be awarded for PhD studies in any of our main research areas: Graphics, HCI and Theory. *************************************** Overseas and EU candidates are eligible for some of the studentships ! *************************************** DOCTORAL TRAINING GRANTS ======================== EPSRC Doctoral Training Grants will fund up to two PhD studentships with an annual stipend of 13,590 GBP plus UK/EU-level tuition fees. Only UK-resident candidates are eligible for the full studentships; other EU-nationals are eligible for fees-only awards. See http://www.epsrc.ac.uk/funding/students/Pages/eligibility.aspx for the precise residency requirements. UNIVERSITY PROJECT STUDENTSHIP - VISUALISING THE PAST ===================================================== This joint PhD studentship with History represents an exciting opportunity to become involved with a project exploring the ways in which digital technologies can be used to represent, explain, and interpret the past. The 'Visualising the Past' project focuses in particular on how the past (historical and archaeological) can be visualised through graphics, visualisations, animations, and the use of hand-held mobile technologies. Further details of this studentship are available at: http://www.swansea.ac.uk/scholarships/research/whoiseligible,57506,en.php Only UK/EU students are eligible. Computer Science candidates who wish to be considered for it should indicate so on the University application form, and contact Professor Matt Jones before applying. EPSRC PROJECT STUDENTSHIP -- PLANCOMPS: PROGRAMMING LANGUAGE COMPONENTS AND SPECIFICATIONS ================================================== This PhD studentship is linked to the PLanCompS project, which will establish and test the practicality of a component-based framework for the design, specification and implementation of programming languages. The student is to carry out foundational research related to the semantic specification frameworks used in the project, and will be supervised by Professor Peter Mosses. Further details of this studentship are available at: http://www.swansea.ac.uk/scholarships/research/whoiseligible,58266,en.php All candidates (UK, EU and overseas) are eligible. Candidates who wish to be considered for it should indicate so on the University application form, and contact Professor Peter Mosses before applying. The 1-2 page supplementary personal statement submitted with the application form should include a brief overview of any previous studies related to the foundations of programming languages. COLLEGE OF SCIENCE AWARDS ========================= The recently-formed College of Science is expected to award additional PhD studentships in 2011. These will be announced separately at: http://www.swansea.ac.uk/scholarships/research/ APPLICATIONS ============ Potential candidates should have a first or upper-second (2:1) class honours degree (or equivalent) in Computer Science or a closely related area, or a higher qualification. To ensure consideration for an award, please apply to the University for admission as a PhD student in Computer Science: http://www.swansea.ac.uk/postgraduate/apply/ ********************* Deadline: 31 May 2011 ********************* Applications received after the deadline may be disregarded in connection with awards of studentships. Candidates are recommended to discuss possible topics with potential supervisors before applying. Separate application for an award is NOT required. Decisions concerning the studentships linked to specific projects are expected by mid-June, and the rest by mid-July. Information about tuition fees can be found at http://www.swansea.ac.uk/international/money/ScholarshipsandFees/ General queries may be addressed to Dr Oliver Kullmann . The Department of Computer Science in the College of Science at Swansea University offers an active and stimulating research atmosphere for PhD students, with internationally-leading research groups in Graphics, HCI and Theory. In RAE 2008, 70% of the research submitted by the department was assessed as either world-leading or internationally excellent; only 12 Computer Science departments throughout the UK achieved a higher percentage of world-leading research. For further details of our research, see: http://www.swansea.ac.uk/compsci/research/ --------------------------------------------------------- -- --------------------------------------- Anton Setzer Department of Computer Science Swansea University Singleton Park Swansea SA2 8PP UK Telephone: (national) (01792) 513368 (international) +44 1792 513368 Fax: (national) (01792) 295708 (international) +44 1792 295708 Visiting address: Faraday Building, Computer Science Dept. 2nd floor, room 211. Email: a.g.setzer at swan.ac.uk WWW: http://www.cs.swan.ac.uk/~csetzer/ --------------------------------------- From asaffio at aass.oru.se Tue May 10 13:55:10 2011 From: asaffio at aass.oru.se (Alessandro Saffiotti) Date: Tue, 10 May 2011 13:55:10 +0200 (CEST) Subject: Posdoc position at University of Orebro, Sweden Message-ID: ====================================================================== ***** Postdoctoral Position Available ***** Center for Applied Autonomous Sensor Systems (AASS) Orebro University, Sweden ====================================================================== ---------------------------------------------------------------------- In Short ---------------------------------------------------------------------- Applications are invited for a position as a post-doctoral researcher in the area of hybrid planning at Orebro University, Sweden. This is an initial 18 month appointment fully funded within the EU project GeRT -- "Generalizing Robot Manipulation Tasks". Interested candidates can apply now and until the position is filled. ---------------------------------------------------------------------- About the GeRT Project ---------------------------------------------------------------------- In order to work naturally in human environments such as offices and homes, robots in the future will need to be much more flexible and robust in the face of novelty than they are today. In the GeRT project we address this problem by developing new methods to cope with such novelty in manipulation tasks. The overall aim of the GeRT project is to enable a robot to autonomously generalize its manipulation skills from a set of known objects to previously unmanipulated objects. To do so, the GeRT project includes research activities in the areas of hybrid planning (see below), perception, learning and grasping. The platform used within GeRT is the DLR robot Justin, a very advanced robot with two arms with four-fingered hands. The GeRT consortium consists of four European partners: the German Aerospace Center (DLR) and the Max Planck Institute (Germany), the University of Birmingham (UK), and Orebro University (Sweden). More details on can be found on the project web site www.gert-project.eu. ---------------------------------------------------------------------- About the Position ---------------------------------------------------------------------- The successful candidate will be employed as a postdoc with Orebro University for an expected duration of 18 months. The main task of the postdoc will be to perform world-class research on hybrid planning in the context of the GeRT project. Hybrid planning in this context means that, when planning for a task, the robot needs to reason both about the purposes of actions on a symbolic level, and about the kinematics and geometry of the robot and the objects it manipulates. The research is expected to involve a suitable combination of theoretical investigation, concrete implementation, and empirical validation on the Justin platform at DLR. The postdoc will work within the local GeRT team at Orebro University, which currently includes two faculties, a postdoc and a PhD student. She or he will also collaborate with the other European partners in the GeRT project, both remotely and through physical meetings and research visits. A small amount of teaching may also be part of the postdoc's duties. ---------------------------------------------------------------------- Prerequisites and Application Process ---------------------------------------------------------------------- In addition to a clear interest in the research topic, the successful applicant must have a strong theoretical background in computer science, and solid programming skills. A PhD in computer science, computer engineering or comparable field is required. We particularly seek candidates with experience in artificial intelligence and planning, and with inclinations towards cross-disciplinary research. Knowledge of the Swedish language is not required, but proficiency in written/spoken English is mandatory. To apply for the position, please send a motivation letter along with an updated CV (including at least two academic references) by email to Prof. Alessandro Saffiotti . Applications can be sent immediately, and they will be accepted until the position is filled. We are looking forward to receiving your application! ---------------------------------------------------------------------- About the Place ---------------------------------------------------------------------- Orebro University (www.oru.se) is a young university which currently enrolls more than 15,000 students. It is located in Orebro, a city of 130,000 inhabitants situated in central Sweden. The Center for Applied Autonomous Sensor Systems (AASS) is one of the Strong Research Environments at Orebro University. It carries out multi-disciplinary research at the intersection of robotics, machine learning, artificial intelligence, computer vision, computer science, and measurement technology. The research and human environment at AASS is young and enthusiastic. Researchers come from a dozen different countries, in Europe and worldwide, and have different scientific and cultural backgrounds. AASS also frequently hosts international researchers and is involved in several international projects. AASS is internationally renowned for its research in cognitive robotic systems, robot ecologies, and artificial olfaction. Further information can be found at www.aass.oru.se/Research/Robots/. ====================================================================== _/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/ Prof Alessandro Saffiotti www.aass.oru.se/~asaffio Head of AASS Mobile Robotics Lab asaffio at aass.oru.se School of Science and Technology Tel: +46 19 303794 Orebro University, Orebro, Sweden Fax: +46 19 303463 _/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/ From anja.metzner at hs-augsburg.de Wed May 11 21:06:42 2011 From: anja.metzner at hs-augsburg.de (Anja Metzner) Date: Wed, 11 May 2011 21:06:42 +0200 (MEST) Subject: 2nd CfP: OTM Academy 2011 Message-ID: <20a0b6236ec3b375b9af74f3295131bc.squirrel@www.rz.fh-augsburg.de> [Apologies for multiple postings, please distribute the call to colleagues who might be interested] ============================================================= CALL FOR PAPERS "8th OTM Academy" October 17-18, 2011, Hersonissou, Crete, Greece http://www.onthemove-academy.org/ In conjunction with OnTheMove Federated Conferences and Workshops (OTM'11) http://www.onthemove-conferences.org Proceedings published by Springer LNCS Deadline: abstracts due on June 22; papers due on July 6 ============================================================= if YOU are a Ph.D. student in information systems,... * interested in feedback on your research plans and research * unable to sufficiently exchange ideas, experiences, frustrations, hopes, with peers * planning to improve your scientific communication and presentation skills * hoping to meet in real life authors whom you only know by their publications * needing to acquire paper reviewing expertise * eager to widen your horizon of professional interests * and looking for some fun moments during work You should submit to this year’s OTM Academy. It offers you... * a means to publish your paper in the well known Springer LNCS series * dedicated feedback and exclusive time of prominent professors, experienced researchers and experts in your field of research during the OTM Academy * targeted suggestions how to improve your scientific writing and presentation skills by appropriate experts of the OTM Academy * an international forum to present your research in a poster session in one of the OTM conferences * access to all OTM conferences and workshops at a reduced registration fee * a possibility to earn credits * a dedicated OTMA LinkedIn group as an international network building platform * a friendly and fun atmosphere (several OTM social events) to meet other Ph.D. students and researchers in a nice and sunny place close to the beach and ancient cultural heritage (Hersonissou in Crete - Greece) * the possibility to become a member of our Hall-of-Fame of past OTMA PhD students on our web page. Join for free the OTMA community and widen your networks What to do ? * coordinate your submission plans with your principal doctoral advisor * take a look at the OTM Academy call-for-papers page [http://www.onthemove-academy.org/] * check if the topics match your research * write your paper according to the instructions * follow the instructions to upload your abstract and paper [http://www.onthemove-conferences.org/index.php/submitpaper/otmasub] * respect formatting instructions (the Springer style for workshop papers) * provide some extra administrative information * upload a camera ready version and register * respect the deadlines and specific instructions * prepare your presentation and bring along your poster * meet and greet, listen and learn, ... and enjoy * and maybe bring along your advisors to the OTM Conferences Also other (Ph.D.) students without an accepted submission to the OTM Academy are encouraged to register as participants as it proves to be fruitful for them to observe and interact with presenting authors like you, and expand the pool of ideas to be discussed. OTMA 2011 will award the best contribution ! IMPORTANT DATES: Abstracts Submission Deadline: June 22, 2011 Paper Submission Deadline: July 6, 2011 Acceptance Notification: July 30, 2011 Camera ready received: August 13, 2011 Registration Deadline: September 3, 2011 OTM Academy '11: October 17 - 18, 2011 OTM’11 Conferences: October 17 - 21, 2011 The program committee currently consists of the following reviewers: * Galia Angelova (Bulgarian Academy of Science, Sofia, Bulgary) * Christophe Bussler (Saba Software Inc., USA) * Paolo Ceravolo (Universitá degli Studi di Milano, Milan, Italy) * Philippe Cudré-Maroux (Massachusetts Institute of Technology, USA) * Jaime Delgado (Universitat Politècnica de Catalunya, Spain) * Ling Feng (Tsinghua University, Beijing, China) * Alfred Holl (University of Applied Sciences Nüremberg, Germany), OTMA Accompanying Professor * Farookh Hussain (Curtin University of Technology, Australia) * Frédéric Le Mouël (University of Lyon, France) * Marcello Leida (Khalifa University Abu Dhabi, United Arabic Emirates) * Erich J. Neuhold (University of Vienna, Austria), OTMA Dean * Hervé Panetto (Nancy University, Nancy, France) * Erik Proper (Public Research Centre - Henri Tudo, Luxembourg) * Anja Metzner (University of Applied Sciences Augsburg, Germany) OTMA organising chair & Accompanying Professor * Peter Spyns (Vrije Universiteit Brussel, Belgium), OTMA organising chair * Maria Esther Vidal (Universidad Simon Bolivar, Venezuela), OTMA Accompanying Professor For our young audience of PhD students we added a lot of details about all our faculty members on our web page (http://www.onthemove-academy.org/). You can contact us via: academy at onthemove-conferences.org Anja Metzner and Peter Spyns (OTMA'11 Organising Chairs) -- Prof. Dr. Anja Metzner University of Applied Sciences Augsburg, Department of Computer Science Postfach 11 06 05, 86031 Augsburg, Germany Tel: +49 (0)821 - 5586/3426, Fax: +49 (0)821 - 5586/3499 homepage: http://www.hs-augsburg.de/metzner e-mail: anja.metzner at hs-augsburg.de From r.bordini at acm.org Wed May 11 23:13:12 2011 From: r.bordini at acm.org (Rafael H Bordini) Date: Wed, 11 May 2011 18:13:12 -0300 Subject: PhD and Postdoc Positions at INF-UFRGS Message-ID: <4DCAFBE8.9090608@acm.org> (apologies for multiple postings) ================================================ PHD AND POSTDOC POSITIONS AVAILABLE AT INF-UFRGS ================================================ A number of PhD scholarships are available at the Institute of Informatics of the Federal University of Rio Grande do Sul (http://www.inf.ufrgs.br), in Porto Alegre, Brazil (http://en.wikipedia.org/wiki/Porto_Alegre). Applications are welcome in most areas of research in Computer Science. Prof. Ana Bazzan is seeking outstanding applicants interested in research on Multiagent learning, Traffic Simulation, and Coordination & Task Allocation; Prof. Rafael Bordini is seeking outstanding applicants interested in Formal Verification of Multi-Agent Systems, Multi-Agent Oriented Programming, and Development of Autonomous Software Applications. The most promising applicants, regardless of research area, are selected by the Post-graduate Programme in Computing (http://ppgc.inf.ufrgs.br) to receive the available scholarships (including a stipend of about 1200 USD pcm, which is over 3 times the minimum wage in Brazil). Deadline for application is 2nd of June and applications should be made at: http://inf.ufrgs.br/ppgc/applying-en/ We are also interested in post-doc research associates in those same areas of research. In Brazil, there is a number of opportunities for funding post-doc positions but it requires applying to the funding agencies on an individual basis. Researchers who recently finished or are about to finish a PhD in the topics above in well-known research groups in the area of Autonomous Agents and Multi-Agent Systems are encouraged to contact Prof. Ana Bazzan (bazzan at inf.ufrgs.br) or Prof. Rafael Bordini (r.bordini at inf.ufrgs.br) to discuss common interests for submitting a joint post-doc grant proposal. From wobcke at cse.unsw.edu.au Thu May 12 02:52:02 2011 From: wobcke at cse.unsw.edu.au (Wayne Wobcke) Date: Thu, 12 May 2011 10:52:02 +1000 Subject: PRIMA 2011 Call for Papers Message-ID: <4DCB2F32.9090505@cse.unsw.edu.au> CALL FOR PAPERS PRIMA 2011 The 14th International Conference on Principles and Practice of Multi-Agent Systems Wollongong, Australia// November 16-18, 2011 www.prima2011.org *Conference Theme: Agents for Sustainability* *Important Dates * *Workshop/Tutorial proposals *June 3, 2011 *Workshop/Tutorial notifications *June 17, 2011 *Paper submission* July 1, 2011 *Final author notification* August 5, 2011 *Camera-ready papers* August 26, 2011 *Early registration deadline* September 15, 2011 *Registration deadline* November 1, 2011 *Workshops and Tutorials* November 14-15, 2011 *Conference dates* November 16-18, 2011 *Invited Speaker: Milind Tambe (University of Southern California, USA)* Agent computing is an exciting, transformational approach to developing computer systems that can rapidly and reliably solve real-world problems that usually demand human knowledge and expertise. The value, power and flexibility of agent and multi-agent systems has been demonstrated in application areas such as logistics, manufacturing, simulation, robotics, decision-support, entertainment, and especially in online market environments. As one of the largest and fastest growing research fields of computer science, agent research today includes a wealth of topics, as outlined below. The PRIMA-2011 PC invites submissions of original, unpublished, theoretical or applied work on any such topic, and encourages reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities. *Theme*.The conference theme for PRIMA 2011 of Agents for Sustainability seeks to especially encourage thought leadership in the agent community as to how agent computing can be applied to enhance sustainable practices in our world, from agriculture to personal resource usage to the design and operation of more sustainable cities. Papers addressing this theme, across the range from innovative early work to reports on systems in production, are welcomed, as also are papers that continue to explore the Agents and Services theme of PRIMA 2010, which addressed connections to service science and service-oriented computing. *Submission*. PRIMA 2011 proceedings will be published by Springer as a volume in the LNAI series and proceedings will be available at the conference. Papers should be 12-15 pages in length in Springer LNCS format and submitted as a PDF file. PRIMA 2011's reviewing process, overseen by a Senior Program Committee (SPC), will allow authors to respond to reviewers' comments prior to final paper selection, and will also provide a "shepherding" process for borderline papers that will see a PC or SPC member work with the authors to provide additional support during the paper revision process. Papers will be judged on originality, significance, presentation, and technical soundness. A broad range of agent topics are of interest, but all papers should clearly identify how their scientific or technical contributions advance the state-of-the-art of agent computing practice or have a strong potential so to do. A footnote should identify those papers whose first author is a student. *Organization * *Honorary Chair* R. Sadananda (NICTA, Australia) *General Chairs* Aditya Ghose(University of Wollongong, Australia) Guido Governatori (NICTA, Australia) *Workshop Chairs* Stephen Cranefield (University of Otago, New Zealand) Insu Song (James Cook University, Australia) *Tutorial Chairs* Abhaya Nayak (Macquarie University, Australia) Serena Villata (University of Turin, Italy) *Local Organizing Chairs* Minjie Zhang (University of Wollongong, Australia) Hoa Dam (University of Wollongong, Australia) *Publicity Chairs* Wayne Wobcke (University of New South Wales, Australia) Pascal Perez (University of Wollongong, Australia) Louise Leenen (CSIR, South Africa) *Program Chairs* Jane Hsu (National Taiwan University, Taiwan) David Kinny (Kyoto University, Japan) *Deputy Program Chairs* Hoa Dam (University of Wollongong, Australia) Serena Villata (University of Turin, Italy) *Senior Program Commitee* Stephen Cranefield (University of Otago, New Zealand) Ryszard Kowalczyk (Swinburne University of Technology, Australia) Michael Luck (King's College London, UK) John-Jules Meyer (Utrecht University, The Netherlands) Iyad Rahwan (Masdar Institute, UAE) Carles Sierra (IIIA-CSIC, Spain) Munindar Singh (North Carolina State University, USA) Von-Wun Soo (National University of Kaohsiung, Taiwan) Wiebe van der Hoek (University of Liverpool, UK) Mary-Anne Williams (University of Technology, Sydney, Australia) *Topics* ***Agent-Based System Development* Agent programming and communication languages Agent development environments Agent-oriented software engineering Case studies on implemented systems *Agent Communication* Agent communication languages and protocols Agent commitments Network structures and analysis *Agent-Based Simulation* Emergent behaviour Simulation-specific issues Single and multi-agent learning Computational architectures for learning and adaptation *Agent Reasoning* Logics for agents and multi-agents Reasoning (single and multi-agent) Planning (single and multi-agent) Cognitive models Ontological reasoning *Interface Agents* Practices of Interface Agents Interface Multi-Agents Virtual agents Collaborative Interface Agents Autonomous Interface Agents *Agent Societies and Social Networks* Artificial social systems Trust and reputation Social and organizational structure Privacy, safety and security Normative multi-agent systems Ethical and legal issues *Agent Theories, Models and Architectures* BDI and other models of agency Modelling the dynamics of MAS Formal verification of MAS ***Agent Technologies for Service Computing* Service composition with agent collaboration Service brokering and agency Personalized services with agent adaptation SLA definition and monitoring as agent goals *Agent Cooperation and Negotiation* Cooperation, coalition formation and coordination Distributed problem solving Formal models for modelling other agents and self Argumentation, persuasion, negotiation and bargaining *Agent Systems* Software agents Mobile agents Agent-based assistants Agent-based virtual enterprise Embodied agents and their applications Socially situated planning software and pervasive agents *Real-World Robotics* Coordination in multi-robot systems Modelling and analysis of multi-robot systems Tools that are relevant for multi-robot studies Applications of multi-robots to real-world problems *WWW and Semantic Web Agents* Web-based agents Ontology agents Semantic Web agents Human-agent interaction *Other Related Areas*Collective intelligence Service science P2P, Grid computing Financial markets and algorithmic trades Ubiquitous computing, ambient intelligence Knowledge and data intensive systems Perceptive animated interfaces Tools and standards Ubiquitous software services Virtual humans -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From organization at arcoe.org Thu May 12 04:20:39 2011 From: organization at arcoe.org (ARCOE) Date: Wed, 11 May 2011 23:20:39 -0300 Subject: Special Issue of JWS: Reasoning with Context in the Semantic Web (deadline: 15 June 2011) Message-ID: Sincere 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 (University of Edinburgh, United Kingdom) Jos Lehmann (University of Edinburgh, United Kingdom) Ivan Varzinczak (CSIR Meraka Institute, South Africa) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From easss2011 at eia.udg.edu Thu May 12 19:18:06 2011 From: easss2011 at eia.udg.edu (EASSS 2011) Date: Thu, 12 May 2011 18:18:06 +0100 Subject: Reminder CALL FOR PAPERS -- European Agent Systems Summer School Student Session 2011, Girona, Catalonia (Spain) Message-ID: <4DCC164E.7050809@eia.udg.edu> Dear Colleagues, We cordially invite you to Distribute this Call for Papers of European Agent Systems Summer School (EASSS) Student Session to interested students. Apologies for multiple copies. 13th European Agent Systems Summer Girona, Catalonia (Spain) July 11-15, 2011 Call for submissions to the Student Session Take your chance – Participate in the European Agent Systems Summer School and present your work to fellow students and researchers! Call for Submisions for the EASSS2011 Student Session The Student Session is designed to encourage student interaction and feedback from the tutors. By providing the students with a conference-like setup, both in the presentation and in the review process, students have the opportunity to prepare their own submission, go through the selection process (peer review) and possibly present their work to themselves and their interests to their fellow students as well as internationally leading experts in the agent field, both from the theoretical and the practical sector. All submissions will be peer-reviewed and accepted paper submissions will be assigned a 20 minute slot for presentation. Typically a presentation will either detail the intended approach to a problem or ask a specific question, directed at the audience. In addition, selected submission authors will be given the opportunity to present their work in form of a poster that will be displayed at EASSS'11. Moreover, all accepted submissions will be published in online proceedings. As the goal is to provide the speakers with constructive feedback and the means to be introduced to the community, the competitive elements often found in conferences (best paper award, best presentation award) are intentionally omitted. The peer review will focus not on the magnitude of the presented material but on the clarity of the formulated material or whether or not the posed question is of relevance to a majority of students. Giving a good presentation is a difficult task, practicing it is the benefit of this session. The extend to which the audience has understood the details should be the criterion by which the presentations are judged. Deadlines Abstract submission (optional): Monday May 16th Strict submission: Wednesday May 18th Notification to authors: Friday June 3th Camera Ready version: Thursday June 30th Start of the Summer School: Monday July 11th Submission Details * Topics are not limited but they should match with the scope of EASSS'11 Summer School. * Papers should describe student's works at student level. * Only students can be authors, supervisors are however strongly encouraged to, motivate there students to participate and supervise the quality of there work. * At least one of the authors will have to register as a participant at the EASSS 2011. * Submissions can be either long or short papers. Short papers must not exceed 4 pages including references and appendix. Accepted papers will be presented in a poster session. Long papers: up to 8 pages including references and appendix. Accepted papers will be presented orally (20 minutes slot) and, optionally, in a poster session. * All accepted submissions will be published in online proceedings. * Submitted article must use the AAMAS style (see www.aamas2011.tw for more details) in either .pdf or .ps format. * Please use the following link https://www.easychair.org/conferences/?conf=sseasss11 for your submission. If you're interested in promoting the EASSS'11 student Session at your institution feel free to forward or download, print and distribute the flyer . For any suggestion or further questions regarding the student session, email easss2011-studentsession at eia.udg.edu . Student Session PC Chairs Tina Balke Universität Bayreuth, Germany tina.balke at uni-bayreuth.de Daniel Villatoro Artificial Intelligence Research Institute (IIIA), Spain dvillatoro at iiia.csic.es Albert Pla Universitat de Girona, Spain apla at eia.udg.edu -- EASSS 2011 orgnization http://eia.udg.edu/easss2011 Follow EASSS 2011 on Twitter: http://twitter.com/easss2011 From Bertram.Fronhoefer at tu-dresden.de Sat May 14 19:45:27 2011 From: Bertram.Fronhoefer at tu-dresden.de (=?iso-8859-1?Q?Bertram_Fronh=F6fer?=) Date: Sat, 14 May 2011 19:45:27 +0200 Subject: European Master's Program in Computational Logic Message-ID: <2C8EC423-1D7E-4C67-9CFD-CDA3B06D6979@tu-dresden.de> Dear all, Please spread this information as wide as possible among friends and colleagues, at your old universities and the places, where you currently live and work. Many thanks -- Steffen *********************************************************************** The European Master's Program in Computational Logic We are glad to announce to you the possibility to join our European Master's Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universität Dresden in Germany, the Universidade Nova de Lisboa in Portugal and the Technische Universität Wien in Austria. Within this program you have the choice to study at two /three of the four European universities. In addition you can do your project work at the National ICT of Australia (NICTA). You will graduate with a MSc in Computer Science and obtain a multiple degree. Information on the universities and the program is provided here: http://www.emcl-study.eu/home.html Language of instruction is English. Tuition fees are 3.000 EUR (for non-European students) and 1.000 (for European students) per year. The ERASMUS-MUNDUS consortium offers tuition fee waivers. More information on the application procedure is available from: http://www.emcl-study.eu/application.html Application deadline is 31 May, applicants must use our online application system. Do not hesitate to contact us again if you have any further questions. Kind regards -- Steffen Hölldobler Prof. Dr. Steffen Hoelldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden, Germany phone: [+49](351)46 33 83 40 fax: [+49](351)46 33 83 42 email: sh at iccl.tu-dresden.de From organization at arcoe.org Sun May 15 16:30:42 2011 From: organization at arcoe.org (ARCOE) Date: Sun, 15 May 2011 11:30:42 -0300 Subject: ARCOE-11 Call for Participation: held on July 18th 2011 at IJCAI-11 Message-ID: Sincere apologies for multiple postings. ============================== CALL FOR PARTICIPATION ARCOE-11 at IJCAI-11 Date: July 18 2011 (*NEW*) Barcelona, Spain Accepted contributions: http://www.arcoe.org/2011/abstracts.html ============================== The IJCAI-11 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-11) http://www.arcoe.org/2011 held on 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. -- Attendance and Important Dates -- Please check the IJCAI-11 website for registration procedure, fees as well as cancellation policies. Early registration: 17 May 2011 Late registration: Please check the IJCAI-11 website Workshop date: 18 July 2011 N.B.: When registering for the workshop at the IJCAI-11 website, please make sure you select a 1-day workshop. -- 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.websemanticsjournal.org/index.php/ps/announcement/view/1 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 and University of KwaZulu-Natal 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 (CSIR 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 m.chan at ed.ac.uk Mon May 16 19:56:38 2011 From: m.chan at ed.ac.uk (Michael Chan) Date: Mon, 16 May 2011 18:56:38 +0100 Subject: Call for Participation: IJCAI-11 Workshop on Discovering Meaning On the Go in Large & Heterogeneous Data (LHD-11) Message-ID: <4DD16556.5010105@ed.ac.uk> Apologies for cross-posting ------------------------------------------------------------------------------ Call for Participation for LHD-11 workshop at IJCAI-11, July 2011, Barcelona: Discovering Meaning On the Go in Large & Heterogeneous Data http://dream.inf.ed.ac.uk/events/lhd-11/ ------------------------------------------------------------------------------ An interdisciplinary approach is necessary to discover and match meaning dynamically in a world of increasingly large data. This workshop aims to bring together practitioners from academia, industry and government for interaction and discussion. The workshop will feature: * A panel discussion representing industrial and governmental input, entitled "Big Society meets Big Data: Industry and Government Applications of Mapping Meaning". Panel members will include: * Peter Mika (Yahoo!) * Representative of Google * Tom McCutcheon (Dstl) * Representative of ONR Global * An invited talk from Fausto Giunchglia, discussing the relationship between social computing and ontology matching; * Paper and poster presentations; * Workshop sponsored by: Yahoo! Research, W3C and others Workshop Description The problem of semantic alignment - that of two systems failing to understand one another when their representations are not identical - occurs in a huge variety of areas: Linked Data, database integration, e-science, multi-agent systems, information retrieval over structured data; anywhere, in fact, where semantics or a shared structure are necessary but centralised control over the schema of the data sources is undesirable or impractical. Yet this is increasingly a critical problem in the world of large scale data, particularly as more and more of this kind of data is available over the Web. In order to interact successfully in an open and heterogeneous environment, being able to dynamically and adaptively integrate large and heterogeneous data from the Web "on the go" is necessary. This may not be a precise process but a matter of finding a good enough integration to allow interaction to proceed successfully, even if a complete solution is impossible. Considerable success has already been achieved in the field of ontology matching and merging, but the application of these techniques - often developed for static environments - to the dynamic integration of large-scale data has not been well studied. Presenting the results of such dynamic integration to both end-users and database administrators - while providing quality assurance and provenance - is not yet a feature of many deployed systems. To make matters more difficult, on the Web there are massive amounts of information available online that could be integrated, but this information is often chaotically organised, stored in a wide variety of data-formats, and difficult to interpret. This area has been of interest in academia for some time, and is becoming increasingly important in industry and - thanks to open data efforts and other initiatives - to government as well. The aim of this workshop is to bring together practitioners from academia, industry and government who are involved in all aspects of this field: from those developing, curating and using Linked Data, to those focusing on matching and merging techniques. Topics of interest include, but are not limited to: * Integration of large and heterogeneous data * Machine-learning over structured data * Ontology evolution and dynamics * Ontology matching and alignment * Presentation of dynamically integrated data * Incentives and human computation over structured data and ontologies * Ranking and search over structured and semi-structured data * Quality assurance and data-cleansing * Vocabulary management in Linked Data * Schema and ontology versioning and provenance * Background knowledge in matching * Extensions to knowledge representation languages to better support change * Inconsistency and missing values in databases and ontologies * Dynamic knowledge construction and exploitation * Matching for dynamic applications (e.g., p2p, agents, streaming) * Case studies, software tools, use cases, applications * Open problems * Foundational issues Applications and evaluations on data-sources that are from the Web and Linked Data are particularly encouraged. Organising Committee: Fiona McNeill (University of Edinburgh) Harry Halpin (Yahoo! Research) Michael Chan (University of Edinburgh) Program committee: Marcelo Arenas (Pontificia Universidad Catolica de Chile) Krisztian Balog (University of Amsterdam) Paolo Besana (University of Edinburgh) Roi Blanco (Yahoo! Research) Paolo Bouquet (University of Trento) Ulf Brefeld (Yahoo! Research) Alan Bundy (University of Edinburgh) Ciro Cattuto (ISI Foundation) Vinay Chaudhri (SRI) James Cheney (University of Edinburgh) Oscar Corcho (Universidad Politécnica de Madrid) Shady Elbassuoni (Max-Planck-Institut für Informatik) Jerome Euzenat (INRIA Grenoble Rhone-Alpes) Eraldo Fernandes (Pontifícia Universidade Católica do Rio de Janeiro) Aldo Gangemi (CNR) Pat Hayes (IHMC) Pascal Hitzler (Wright State University) Ivan Herman (W3C) Tom McCutcheon (Dstl) Shuai Ma (Beihang University) Ashok Malhotra (Oracle) Martin Merry (Epimorphics) Daniel Miranker (University of Texas-Austin) Adam Pease (Articulate Software) Valentina Presutti (CNR) David Roberston (University of Edinburgh) Juan Sequeda (University of Texas-Austin) Pavel Shvaiko (Informatica Trentina) Jamie Taylor (Google) Eveylne Viegas (Microsoft Research) -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. From paolo.torroni at unibo.it Wed May 18 16:45:11 2011 From: paolo.torroni at unibo.it (Paolo Torroni) Date: Wed, 18 May 2011 16:45:11 +0200 Subject: CfP, LP-MAS in Kentucky. Submission Deadline: May 30, 2011 Message-ID: <4DD3DB77.8010403@unibo.it> ================== CALL FOR PAPERS LPMAS 2011: International Workshop on Logic Programming and Multi-Agent Systems Date: July 9 or 10, 2011 Location: Lexington, Kentucky The area of Multi Agent Systems (MAS) has gained popularity, as a viable problem solving paradigm in a variety of domains. MAS are viewed as communities or societies of computing and problem-solving engines that can operate either individually or as part of the society, interacting with both the environment as well as the other engines to achieve their own individual goals and/or joint goals of the society. Research in MAS has expanded to embrace contributions from a variety of communities, including artificial intelligence, natural language processing, distributed computing, and philosophy. Logic, in general, and logic programming, in particular, continue playing an important role in both the modeling as well as the implementation and deployment of MASs. Logic programming offers a powerful paradigm for the construction of individual intelligent agents, enabling the formalization of knowledge, beliefs, goals, and in the development of models and algorithms for several reasoning and problem solving tasks, such as planning and diagnosis. Moreover, logic and logic programming can play a part in the representation of features that are specific to the interactions among agents, such as ability to reason about other agents’ goals and knowledge, communication and communication protocols, negotiation, cooperation and competition, and analysis of agent groups and emergent cooperative behavior. The aim of this workshop is to explore the application of Logic Programming to MAS. The focus of the workshop will be on multi-agent rather than single agent issues, with emphasis on co-operative and conflicting agents, where there could be common and joint goals as well as goals for individual agents. In such contexts, reasoning about other agents' goals and beliefs, communication, negotiation, belief revision and conflict resolution could be essential for the achievement of the goals of the agents. The workshop will provide a forum for presentation of ongoing research and new ideas and initiatives in the area of logic programming support and applications in MAS. As a forum of discussion, we welcome contributions from both established as well as preliminary and ground-breaking new projects. The workshop is designed not only as a venue for discussing current research, but also as an open forum for the identification of promising directions and discussion of possible collaborations among groups with complementary expertise. We plan to include in the program of the workshop a round-table discussion, which we hope will converge on the development of a challenge paper to the LP/MAS community. Topics of interest include (but are not limited to): • Logic programming to formalize agents in MAS, e.g., o Interaction protocols o Negotiation o Argumentation in MAS o Representation of knowledge and beliefs • MAS reasoning tasks in LP, e.g., planning, diagnosis, prediction • Logic programming platforms for MAS • Evaluation and empirical studies of LP-based MAS systems • Investigation of extensions of LP to meet the needs of MAS systems We solicit submissions in the following forms • Technical papers: a technical paper is limited in length to 15 pages; • System paper: a system paper is limited in length to 6 pages and it is aimed at highlighting the features of a MAS system or implemented platform, available for the public to download and use. Both technical papers and system papers are to be prepared using the standard LNCS format (see also http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions should be performed using the Easychair submission site located at:https://www.easychair.org/conferences/?conf=lpmas2011 Papers will be technically reviewed by the workshop program committee. Authors of papers accepted for presentation are expected to register for the workshop and present their work at the event. The proceedings of the workshop will be made available on-line in the Computing Research Repository (CoRR). A special issue of a journal with extended versions of selected submissions will be also considered. Important Dates: Submission Deadline: May 30, 2011 For more information and submission instruction, please see http://www.cs.nmsu.edu/~epontell/LPMAS11/ LA RICERCA C’È E SI VEDE: 5 per mille all'Università di Bologna - C.F.: 80007010376 http://www.unibo.it/Vademecum5permille.htm Questa informativa è inserita in automatico dal sistema al fine esclusivo della realizzazione dei fini istituzionali dell’ente. From yuliya at cs.uky.edu Thu May 19 03:41:27 2011 From: yuliya at cs.uky.edu (Yuliya Lierler) Date: Wed, 18 May 2011 21:41:27 -0400 (EDT) Subject: Call For Participation: ICLP-2011 Message-ID: ========================================================================= CALL FOR PARTICIPATION 27th International Conference on Logic Programming (ICLP 2011) Theory and Practice of Logic Programming Lexington, Kentucky, USA, July 6-10, 2011 http://www.cs.uky.edu/iclp2011/ ========================================================================= IMPORTANT REMINDERS Registration: Early registration is until May 31st, 2011 Hotels: Blocks of rooms are reserved in Hilton Lexington/Downtown and Hyatt Regency Lexington Hotel. The conference rate is guaranteed if a room is reserved by June 9 in Hilton and June 5 in Hyatt. ICLP-2011 web site provides a link for placing a reservation. CONFERENCE SCOPE Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. This year conference will offer invited talks and tutorials, as well as technical presentations on the broad spectrum of most recent research topics in the field. The conference will also host Doctoral Consortium, several workshops, and a Prolog programming contest. WORKSHOPS * Answer Set Programming and Other Computing Paradigms (ASPOCP), July 10 * Logic Programming and Multi-Agent Systems (LPMAS), July 9 * WG17, July 8-9 * Logic-based methods in Programming Environments (WLPE), July 10 * Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), July 10 DOCTORAL CONSORTIUM The 7th Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and world-renown experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. INVITED TALKS * Georg Gottlob, University of Oxford: Ontological Reasoning and Query-Answering with Logic Programming * Adam Lally, IBM Research: Natural Language Processing With Prolog in the IBM Watson System * Guenter Kniesel, University of Bonn: LP for Software Engineering and Software Engineering for LP (provisional title) TUTORIALS * Michael A Covington, University of Georgia: Developing Prolog Coding Standards * Francesca Toni, Imperial College London: Argumentation and Logic Programming FINANCIAL ASSISTANCE The Association for Logic Programming has funds to assist financially disadvantaged participants and, specially, students in order to be able to attend the conference. For information, please contact the organizers of the Doctoral Consortium and the General Chairs. CONFERENCE VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, ponds and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. Traveling to Lexington is easy. The local airport has frequent direct flights to Atlanta, Detroit and Chicago. It has also direct but less frequent flights (one or two a day) to several other large US cities such as Cincinnati, Dallas-Ft. Worth, Houston and Newark. Thus, it can be reached easily from any place in the world. SPONSOR The conference is sponsored by the Association for Logic Programming (ALP). ICLP 2011 ORGANIZATION General Chair: Mirek Truszczynski (University of Kentucky), Victor Marek (University of Kentucky) Program Co-chairs: John Gallagher (Roskilde University, Denmark and IMDEA, Spain), Michael Gelfond (Texas Tech University, USA) Workshops Chair: Joohyung Lee (Arizona State University) Publicity Chair: Yuliya Lierler (University of Kentucky) Doctoral Consortium: Alessandro Dal Palu (Universit degli Studi di Parma), Stefan Woltran (Vienna University of Technology) Prolog Programming Contest: Tom Schrijvers (Universiteit Gent, Belgium) From franconi at inf.unibz.it Thu May 19 11:35:21 2011 From: franconi at inf.unibz.it (Enrico Franconi) Date: Thu, 19 May 2011 11:35:21 +0200 Subject: European Master in Computational Logic - application deadline approaching Message-ID: EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC http://www.computational-logic.eu The Faculty of Computer Science at the Free University of Bozen- Bolzano (FUB), in Italy (at the heart of the Dolomites mountains in South-Tyrol), is offering the European Masters Program in Computational Logic as part of its Master of Science in Computer Science offer (Laurea Magistrale). The European Masters Program in Computational Logic is an international distributed Master of Science course, in cooperation with the computer science departments in the following universities: * Technische Universitaet Dresden, Germany * Free University of Bozen-Bolzano, Italy * Universidade Nova de Lisboa, Portugal * Technische Universitaet Wien, Austria Within this program, completely in English, students will spend the first semester of the first year at the Technische Universitaet Dresden (TUD), the second semester of the first year at the Free Uni- versity of Bozen-Bolzano (FUB), and the second year in one of the 4 partner universities chosen by the student. It is possible to spend 3 summer months at the National ICT Australia (NICTA) Research Centre of Excellence in Australia, which gives the possibility to work on a project at one of the world's leading research centers. After this, the student will obtain a joint European Master of Science degree. APPLICATION DEADLINE: 31 May 2010 deadline for European and non-European students THE STUDY PROGRAMME: The European Masters Program in Computational Logic is designed to meet the demands of industry and research in this rapidly growing area. Based on a solid foundation in mathematical logic, theoretical computer science, artificial intelligence and declarative programming students will acquire in-depth knowledge necessary to specify, implement and run complex systems as well as to prove properties of these systems. In particular, the focus of instruction will be in deduction systems, knowledge representation and reasoning, artificial intelligence, formal specification and verification, logic and automata theory, logic and computability. This basic knowledge is then applied to areas like logic and natural language processing, logic and the semantic web, bioinformatics, information systems and database technology, software and hardware verification. Students will acquire practical experience and will become familiar in the use of tools within these applications. In addition, students will be prepared for a future PhD, they will come in contact with the international research community and will be integrated into ongoing research projects. They will develop competence in foreign languages and international relationships, thereby improving their social skills. Applicants should have a Bachelor degree (Laurea triennale) in Computer Science, Computer Engineering, or other relevant disciplines; special cases will be considered. The programme is part of the Master in Computer Science (Laurea Magistrale in Informatica) and it has various strengths that make it unique amongst Italian and European universities: * Curriculum taught entirely in English: The programme is open to the world and prepares the students to move on the international scene. * Possibility of a strongly research-oriented curriculum. * Possibility for project-based routes to obtain the degree and extensive lab facilities. * Other specialisations with streams in the hottest Computer Science areas, such as Web Technologies, Information and Knowledge Management, Databases and Software Engineering. * International student community. * Direct interaction with the local and international industry and research centres, with the possibility of practical and research internships that can lead to future employment. * Excellent scholarship opportunities and student accommodations. The European Masters Program in Computational Logic is sponsored scientifically by the European Network of Excellence on Computational Logic (CoLogNET), the European Association of Logic, Language and Information (FoLLI), the European Coordinating Committee for Artificial Intelligence (ECCAI), the Italian Association for Artificial Intelligence (AI*IA), the Italian Association for Informatics (AICA, member of the Council of European Professional Informatics Societies), the Italian Association for Logic and its Applications (AILA), and the Portuguese Association for Artificial Intelligence (APPIA). THE FREE UNIVERSITY OF BOZEN-BOLZANO: The Free University of Bozen-Bolzano, founded in 1997, boasts modern premises in the centre of Bozen-Bolzano. The environment is multilingual, South Tyrol being a region where three languages are spoken: German, Italian and Ladin. Studying in a multilingual area has shown that our students acquire the cutting edge needed in the international business world. Many of our teaching staff hails from abroad. Normal lectures are complemented with seminars, work placements and laboratory work, which give our students a vocational as well as theoretical training, preparing them for their subsequent professional careers. Studying at the Free University of Bozen-Bolzano means, first and foremost, being guided all the way through the student's educational career. Bozen-Bolzano, due to its enviable geographical position in the centre of the Dolomites, also offers our students a multitude of opportunities for spending their free-time. The city unites the traditional with the modern. Young people and fashionable shops throng the city centre where ancient mercantile buildings are an attractive backdrop to a city that is in continual growth. To the south there is the industrial and manufacturing area with prosperous small and medium-sized businesses active in every economic sector. Back in the 17th century Bozen-Bolzano was already a flourishing mercantile city that, thanks to its particular geographic position, functioned as a kind of bridge between northern and southern Europe. As a multilingual town and a cultural centre Bozen-Bolzano still has a lot to offer today. Its plethora of theatres, concerts with special programmes, cinemas and museums, combined with a series of trendy night spots that create local colour make Bozen-Bolzano a city that is beginning to cater for its increasingly demanding student population. And if you fancy a very special experience, go and visit the city's favourite and most famous resident - "Oetzi", the Ice Man of Similaun, housed in his very own refrigerated room in the recently opened archaeological museum. Bozen-Bolzano and its surroundings are an El Dorado for sports lovers: jogging on the grass alongside the River Talfer-Talvera, walks to Jenesien-S.Genesio and on the nearby Schlern-Sciliar plateau, excursions and mountain climbing in the Dolomites, swimming in the numerous nearby lakes and, last but not least, skiing and snowboarding in the surrounding ski areas. FURTHER INFORMATION: Prof. Enrico Franconi or Dr. Sergio Tessaris at info at fub.computational-logic.eu European Masters Program in Computational Logic Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani, 3 I-39100 Bozen-Bolzano BZ, Italy Phone: +39 0471 016 000 Fax: +39 0471 016 009 Email: info at fub.computational-logic.eu Web site: http://www.computational-logic.eu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Wiebe.Van-Der-Hoek at liverpool.ac.uk Thu May 19 18:54:17 2011 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Thu, 19 May 2011 17:54:17 +0100 Subject: Call for Participation: TARK 2011, 11-15 July 2011, Groningen, Netherlands Message-ID: <40191189-FC7F-47FE-97D1-12E0A37C299A@liverpool.ac.uk> Dear Researcher, It is our great pleasure to invite you to participate in the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII, July 11-15, 2011, Groningen, the Netherlands). You can register via the official TARK website at http://TARK2011.org. There you will also find a list of accepted papers and a schedule. This year's invited speakers are Johan van Benthem, Yossi Feinberg, Ithzak Gilboa and Larry Moss. The TARK registration fee includes participation in the main TARK event from July 12 to July 14 and a conference dinner. Also, registered TARK participants may attend the two full-day workshops "Reasoning about other Minds" (July 11) and "Quantum Physics meets TARK" (July 15) for free. Registration Deadline: May 31 (EUR 225/EUR 125 for students) Late Registration Deadline: June 30 (EUR 300/EUR 175 for students) Registration after June 30 is EUR 375/EUR 250 for students We hope to meet you at TARK! Krzysztof Apt, Program Chair Sonja Smets, Local Organization Chair Rineke Verbrugge, Local Organization Chair -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nalon at unb.br Sun May 22 19:46:49 2011 From: nalon at unb.br (=?utf-8?b?Q2zDoXVkaWE=?= Nalon) Date: Sun, 22 May 2011 14:46:49 -0300 Subject: LSFA 2011 -- deadline extended and call for posters (new!) Message-ID: <20110522144649.10522ggj6cv2ujgp@webmail.unb.br> Apologies for multiple posts. Please distribute. -- Cláudia Nalon Departamento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília http://www.cic.unb.br/~nalon -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: "Elaine Pimentel" Betreff: [Logica-l] LSFA 2011 -- deadline extended and call for posters (new!) Datum: Sun, 22 May 2011 10:46:28 -0300 Größe: 11219 URL: From didac.busquets at udg.edu Wed May 25 10:43:16 2011 From: didac.busquets at udg.edu (=?ISO-8859-1?Q?D=EDdac_Busquets?=) Date: Wed, 25 May 2011 09:43:16 +0100 Subject: EASSS 2011: Last week for early registration Message-ID: <4DDCC124.5080804@udg.edu> (Apologies for cross-posting) ********************************************************************** EARLY REGISTRATION DEADLINE: 31 May 2011 ********************************************************************** * CALL FOR PARTICIPATION - EASSS 2011 * 13th European Agent Systems Summer School Girona, Catalonia, Spain --- 11-15 July 2011 ********************************************************************** 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). Registration in now open at http://eia.udg.edu/easss2011/ Follow us on Twitter to be informed about the latest news regarding EASSS 2011 (http://twitter.com/easss2011). ********************************************************************** * EASSS 2011 PROGRAMME * This is the list of the tutorials that will be offered in this year's edition of EASSS: 1. Introduction to Autonomous Agents and Multiagent Systems Simon Parsons 2. Agents in Organizations: Autonomy, Regulation and Interaction Frank Dignum, Huib Alderwereld, Virginia Dignum and Birna van Riemsdijk 3. Logics of Action and Agency Andreas Herzig and Emiliano Lorini 4. Dialectics in Multiagent Interaction Katarzyna Budzynska and Chris Reed 5. Argumentation for Agent Societies Massimiliano Giacomin and Serena Villata 6. Stability in Systems with Self-Interested Agents Maria Polukarov 7. Multiagent Constraint Programming Boi Faltings, Thomas Leaute and Brammert Ottens 8. Temporal Constraint Methods for Autonomous Scheduling Cees Witteveen 9. Agent-Oriented Programming Languages Mehdi Dastani and Joao Leite 10. Organisation and Environment Oriented Programming Olivier Boissier, Rafael Bordini, Jomi Hubner and Alessandro Ricci 11. Agent-Based Social Simulation Frederic Amblard 12. Robots in Multiagent Systems Research Elizabeth Sklar and Simon Parsons 13. Coordination of Multi-Robot Teams Luis Paulo Reis and Nuno Lau 14. Agent Technologies for Energy Systems Alex Rogers 15. Towards Industrial Application of Multiagent Systems Michal Pechoucek More information regarding these tutorials is available at the EASSS 2011 website. ********************************************************************** * STUDENT SESSION * The Student Session is designed to encourage student interaction and feedback from the tutors. By providing the students with a conference-like setup, both in the presentation and in the review process, students have the opportunity to prepare their own submission, go through the selection process (peer review) and possibly present their work to themselves and their interests to their fellow students as well as internationally leading experts in the agent field, both from the theoretical and the practical sector. Get more information about the Student Session at the EASSS web page. ********************************************************************** EASSS 2011 organizing committee easss2011 at eia.udg.edu http://eia.udg.edu/easss2011 ********************************************************************** -- ------------------------------------------------------------------------ *Dídac Busquets i Font* Investigador Ramón y Cajal Universitat de Girona Dept. d'Enginyeria Elèctrica, Electrònica i Automàtica Grup d'Enginyeria de Control i Sistemes Intel.ligents (eXiT) Institut d'Informàtica i Aplicacions Edifici P-IV, Despatx 128 Campus Montilivi 17071 Girona Catalunya Tel. (+34) 972.41.81.79 Fax. (+34) 972.41.89.76 e-mail: didac.busquets at udg.edu web oficial: http://eia.udg.edu/~busquets web personal: http://golfet.udg.edu/busquets ------------------------------------------------------------------------ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From scranefield at infoscience.otago.ac.nz Mon May 30 12:56:19 2011 From: scranefield at infoscience.otago.ac.nz (Stephen Cranefield) Date: Mon, 30 May 2011 22:56:19 +1200 (NZST) Subject: Extended deadline for workshop proposals, PRIMA-2011 (Principles and Practice of Multi-Agent Systems) Message-ID: <23059669.798.1306752979413.JavaMail.root@infos003.otago.ac.nz> CALL FOR WORKSHOP PROPOSALS (extended deadline) 14th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2011) Wollongong, Australia 14-18 November, 2011 The organising committee of the 14th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2011) invites workshop proposals for the upcoming conference. The workshops will be held before the conference on 14 or 15 November, 2011 in Wollongong, Australia. PRIMA-2011 workshops are intended to facilitate active exchange, interaction and comparison of approaches, methods and various ideas that are relevant to specific topics in areas related to intelligent agent systems and multi-agent systems. The workshops will facilitate a forum for participants to showcase their research work and initiate open discussions for topics and issues of the current interest. Proposals promoting exploration and discovery of new research areas and application fields of agent systems and multi-agent systems are also highly welcomed. In alignment with the conference theme for PRIMA-2011 of "Agents for Sustainability", the workshop programme seeks to especially encourage thought leadership in the agent community as to how agent computing can be applied to enhance sustainable practices in our world, from agriculture to personal resource usage to the design and operation of more sustainable cities. Workshops addressing this theme, across the range from innovative early work to reports on systems in production, are welcomed, as also are workshops that continue to explore the "Agents and Services" theme of PRIMA-2010, which addressed connections to service science and service-oriented computing. Springer have agreed in principle to publish a joint volume of PRIMA-2011 workshop post-proceedings as an LNAI volume (subject to verification later on the basis of the workshop CFPs). IMPORTANT DATES Workshop proposal submission due: 15 June Notification to workshop proposers: 22 June Each workshop organiser sends out call for workshop papers: 30 June Due date for full workshop papers submission: 12 August Workshop paper acceptance notification: 16 September Early registration deadline: 27 September Camera-ready papers due: 30 September Registration deadline: 1 November Workshop date: 14 or 15 November Main PRIMA conference: 16-18 November WORKSHOP ORGANISATION The workshop organisers will be responsible for forming the workshop programme committee, advertising the workshop, and reviewing and selecting papers in a fair and transparent manner, both for the workshop and for a post-conference volume of combined workshop post-proceedings. The duration of workshops may be full-day or half-day. The workshop organisers should ensure the presence of authors of accepted papers. During the workshop, we expect the workshop organisers to actively engage with the audience and speakers to foster discussion and exchange of ideas by including mechanisms other than traditional paper presentations. WORKSHOP TOPICS We encourage workshop proposals of interesting and promising new initiatives, research and application challenges in "Agents for Sustainability" and "Agents and Services", and more generally in intelligent agent systems and multi-agent systems. The workshops should provide a vibrant forum for researchers and industry practitioners to share their research results and practical development experiences in those fields. Suggested workshop topics include, but are not limited to: Agent-based system development: Agent programming and communication languages Agent development environments Agent-oriented software engineering Case studies on implemented systems Agent communication: Agent communication languages and protocols Agent commitments Network structures and analysis Agent-based Simulation: Emergent behaviour Simulation-specific issues Single and Multi-agent Learning Computational architectures for learning and adaptation Agent Reasoning: Logics for Agents and Multi-Agents Reasoning (single and multi-agent) Planning (single and multi-agent) Cognitive models Ontological reasoning Interface Agents: Practices of Interface Agents Interface Multi-Agents Virtual Agents Collaborative Interface Agents Autonomous Interface Agents Agent societies and social networks: Artificial social systems Trust and reputation Social and organisational structure Privacy, safety and security Normative Multi-Agent Systems Ethical and legal issues Agent Theories, Models and Architectures: BDI, and other models of agency Modelling the dynamics of MAS Formal verification of MAS Agent Technologies for Service Computing: Service composition with agent collaboration Service brokering and agency Personalised services with agent adaptation SLA definition and monitoring as agent goals Agent Cooperation and Negotiation: Cooperation, Coalition formation and Coordination Distributed problem solving Formal models for modelling other agents and self Argumentation, Persuasion, Negotiation and Bargaining Agent Systems: Software agents Mobile agents Agent-Based Assistants Agent-Based Virtual Enterprise Embodied Agents and their Applications Socially Situated Planning Software and Pervasive Agents Real-world Robotics: Coordination in multi-robot systems Modelling and analysis of multi-robot systems Tools that are relevant for multi-robot studies Applications of multi-robots to real-world problems WWW and Semantic Web Agents: Web-based agents Ontology agents Semantic Web agents Human Agent Interaction Other Related Areas: Collective intelligence Service science P2P, Grid computing Financial markets and algorithmic trades Ubiquitous computing, ambient intelligence Knowledge and Data Intensive Systems Perceptive Animated Interfaces Tools and Standards Ubiquitous Software Services Virtual Humans Workshop Proposal Submission Workshop proposals should include the following elements: * Title of the workshop. * The names, affiliations, mailing addresses and e-mail addresses of the proposed workshop chairs. * A description of the topic of the workshop and its relevance to the conference (not exceeding 300 words) * Duration of the workshop (full-day or half-day). * A list of proposed programme committee members for the workshop. * A list of related workshops held in the last three years, and their relation to the proposed workshop * An outline of the process to be followed for reviewing and selecting papers. * A description of the experience of the proposed chairs with respect to organising a workshop. * A brief description of how the workshop will be advertised. * Any specific requirements other than a room and data projector After the acceptance of a workshop proposal the organiser(s) should: * Create a Call for papers/participation for the workshop * Create a Web page for the workshop, the link of which will be published on the Conference Web site * Create a Board of Reviewers (Program Committee) * Review and select papers * Schedule the workshop activities All submitted papers will be reviewed on the basis of technical quality, relevance, significance, originality, and clarity. The above described workshop proposals must be submitted via e-mail to both scranefield at infoscience.otago.ac.nz and insu.song at jcu.edu.au by 15 June, 2011 (extended deadline). We look forward to your support in making PRIMA-2011 workshops an exciting event. PRIMA-2011 Workshop Chairs: Stephen Cranefield University of Otago, New Zealand Email: scranefield at infoscience.otago.ac.nz Insu Song James Cook University Australia, Email: insu.song at jcu.edu.au From henning at ruc.dk Tue May 31 12:19:02 2011 From: henning at ruc.dk (Henning Christiansen) Date: Tue, 31 May 2011 12:19:02 +0200 Subject: 6th International Workshop on Constraints and Language Processing (CSLP@Context'11) Message-ID: <9CD514EA-5415-46CF-9C73-68B74F1D84B6@ruc.dk> CALL FOR PAPERS 6th International Workshop on Constraints and Language Processing (CSLP at Context'11) http://control.ruc.dk/CSLP2011/ 27 September 2011 affiliated with CONTEXT'11: The 7th International and Interdisciplinary Conference on Modeling and Using Context 2011, Karlsruhe, Germany, 26-30 September 2011 Workshop Organizers: Philippe Blache, Provence University, France Henning Christiansen, Roskilde University, Denmark Veronica Dahl, Simon Fraser University, Canada & Tarragona, Spain Joergen Villadsen, Technical University of Denmark Workshop Purpose: The CSLP at Context'11 workshop considers the role of constraints in the representation of language and the implementation of language processing from an interdisciplinary perspective. This theme should be interpreted inclusively: contributions from linguistics, computer science, psycholinguistics and related areas are welcome, and an interdisciplinary perspective is of particular interest. Constraints are widely used in linguistics, computer science, and psychology. How they are used, however, varies widely according to the research domain: knowledge representation, cognitive modelling, problem solving mechanisms, etc. These different perspectives are complementary, each one adding a piece to the puzzle. For example, linguistics proposes in-depth descriptions implementing constraints in order to filter out structures by means of description languages, constraint ranking, etc. The constraint programming paradigm, on the other hand, shows that constraints have to be taken as a systematic whole and can thus play a role in building the structures (or can even replace structures). Finally, psycholinguistics experiment have been made, investigating the role of constraint systems for cognitive processes in comprehension and production, as well as addressing how they can be acquired. The topics include, but are not limited to - Constraints in human language comprehension and production - Context modelling and discourse interpretation - Acquisition of constraints - Constraints and learning - Cross-theoretical view of the notion of constraint - New advances in constraint-based linguistic theories - Constraint satisfaction (CS) technologies for NLP - Linguistic analysis and linguistic theories biased towards CS or constraint logic programming (CLP) - Application of CS or CLP for NLP - CS and CLP for other than textual or spoken languages, e.g., sign languages and biological, multimodal human-computer interaction, visual languages - Probabilistic constraint-based reasoning for NLP and context comprehension Submission: Authors are invited to submit a full paper of up to 12 pages. Papers must be submitted electronically as PDF files and be prepared using the Springer LNAI/LNCS format. Previously published papers cannot be accepted. Submissions will handled by the EasyChair conference system and will be reviewed by the program committee. One author for each accepted paper must attend the workshop in order to present the paper. Proceedings will be printed by the CONTEXT conference. A volume at an international publisher will be considered for selected and revised papers, if number and quality of submissions permits. Please see the workshop homepage for further information. Invited Speakers: TBA Program Committee: TBA Important Dates: Deadline for paper submissions: 10 July 2011 Notification of acceptance/rejection: 1 August 2011 Deadline for final versions of accepted papers: 25 August 2011 Early registration: TBA CSLP workshop: 27 September 2011 Further Information: About the CSLP workshop: http://control.ruc.dk/CSLP2011/ About the CONTEXT conference: http://context-11.teco.edu/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From esslli2011 at gmail.com Tue May 31 12:32:03 2011 From: esslli2011 at gmail.com (Esslli Ljubljana) Date: Tue, 31 May 2011 11:32:03 +0100 Subject: DEADLINE EXTENSION FOR EARLY-BIRD REGISTRATION FOR ESSLLI 2011 Message-ID: Apologies if you receive multiple copies of this message. Please distribute it to colleagues and students. *********************************************************************** DEADLINE EXTENSION FOR EARLY-BIRD REGISTRATION FOR ESSLLI 2011 Meeting: 23rd European Summer School in Logic, Language and Information (ESSLLI) Date: 01-Aug-2011 - 12-Aug-2011 Location: Ljubljana, Slovenia Contact Email: esslli2011 at gmail.com Meeting URL: http://esslli2011.ijs.si/ Early registration deadline: 15-06-2011 *********************************************************************** *Meeting Description* For the past 23 years, the European Summer School in Logic, Language and Information (ESSLLI) has been organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. During two weeks, around 50 courses and 10 workshops are offered to the attendants, each of 1.5 hours per day during a five days week, with up to seven parallel sessions. ESSLLI also includes a student session (papers and posters by students only, 1.5 hour per day during the two weeks) and four evening lectures by senior scientists in the covered areas. In 2011, ESSLLI will held in Ljubljana, Slovenia and will be organized by the Slovenian Language Technologies Society (SDJT), the Jožef Stefan Institute (IJS) and The Faculty of Mathematics and Physics (FMF) in Ljubljana, Slovenia. Chair of the Program Committee is Makoto Kanazawa (National Institute of Informatics, Japan), and Chair of the Organizing Committee is Darja Fišer (The University of Ljubljana, Slovenia). To contact the ESSLLI 2011 Organizing Committee, write to: esslli2011 at gmail.com . *Summer School Programme* http://esslli2011.ijs.si/?page_id=897 *Online Registration Form* http://esslli2011.ijs.si/?page_id=12 *Programme Committee* Chair: Makoto Kanazawa (National Institute of Informatics, Tokyo) Local Co-chair: Andrej Bauer (University of Ljubljana) Area Specialists: Language and Computation: - Markus Egg (Humboldt-Universität zu Berlin) - Aline Villavicencio (Federal University of Rio Grande do Sul, Brazil) Language and Logic: - Hans-Christian Schmitz (Fraunhofer FIT, Sankt Augustin) - Louise McNally (UPF, Barcelona) Logic and Computation: - Ralph Matthes (IRIT, CNRS and University of Toulouse) - Eric Pacuit (Center for Logic and Philosophy of Science, Tilburg *Organizing Committee* Chair: Darja Fišer (University of Ljubljana) Committee Members: - Špela Vintar (University of Ljubljana) - Senja Pollak (University of Ljubljana) - Mihael Arčan (DERI, National University of Ireland, Galway) - Andrej Bauer (University of Ljubljana) - Boštjan Bajec (University of Ljubljana) - Monika Kropej (Jožef Stefan Institute) - Špela Sitar (Jožef Stefan Institute) - Mitja Jermol (Jožef Stefan Institute) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: