From tb at imm.dtu.dk Mon Apr 2 09:02:07 2012 From: tb at imm.dtu.dk (Thomas Bolander) Date: Mon, 2 Apr 2012 09:02:07 +0200 Subject: 2nd CFP: 8th Scandinavian Logic Symposium Message-ID: 8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK Second Announcement and Call for Papers The 8th Scandinavian Logic Symposium will be held at Roskilde University, Trekroner, Denmark, 20-21 August 2012. After a gap of fifteen years, the Scandinavian Logic Symposium is back. The Symposium is the first major initiative of the newly revived Scandinavian Logic Society (SLS, http://scandinavianlogic.org/) and will be held at Roskilde University (RUC), Denmark. As with previous editions of this conference, the aim of the programme is to reflect current activity in logic in our part of the world. So we hope that participants from Scandinavia, the Baltic countries and Northwestern Russia will take the opportunity to contribute a talk and to meet with fellow logicians from the area. But needless to say, we also extend a warm welcome to logicians from further afield and plan to present a varied and interesting collection of invited and contributed talks. TOPICS The scope of SLS 2012 is broad, ranging over the whole area of mathematical and philosophical logic, and logical methods in computer science. Suitable topics include (but are not limited to): * Proof Theory and Constructivism * Model Theory (including Finite Model Theory) * Set Theory * Computability Theory * Categorical Logic * Logic and Provability * Logic and Computer Science * Logic and Linguistics * Modal, Hybrid, Temporal, and Description Logic * Logics of Games, Dynamics and Interaction * Philosophy of Mathematics * Philosophy of Computation * Philosophy of Logic * Philosophical Logic PREVIOUS SCANDINAVIAN LOGIC SYMPOSIA: 7th Scandinavian Logic Symposium: Uppsala in 1996 6th Scandinavian Logic Symposium: Telemark in 1982 5th Scandinavian Logic Symposium: Aalborg in 1979 4th Scandinavian Logic Symposium: Jyväskylä in 1976 3rd Scandinavian Logic Symposium: Uppsala in 1973 2nd Scandinavian Logic Symposium: Oslo in 1971 1st Scandinavian Logic Symposium: Åbo in 1968 The proceedings of several of these meetings have been published in book form. INVITED SPEAKERS The Program Committee is delighted to announce the names of the four invited speakers: * Nikolaj Bjorner * Rosalie Iemhoff (sponsored by The Danish Network for the History and Philosophy of Mathematics) * Per Martin-Löf * Boban Velickovic SLS TUTORIALS On August 22nd, the day after the symposium finishes, a number of tutorials for PhD-students (or anyone else who is interested) will be given. These are intended to start from a relatively elementary level and lead on to current research problems. The following tutorial lectures have been confirmed so far: * Lars Kristiansen - "Honest subrecursive degree theory" * Sara Negri - "Labelled proof systems for modal logic" * M. H. Sørensen - "Curry-Howard Isomorphism" RELATED EVENTS: Also note that Advances in Modal Logic (AiML) will be held on 22-25 August 2012, Copenhagen, Denmark. URL: http://hylocore.ruc.dk/aiml2012/ PROGRAM COMMITTEE Co-chairs: Neil Jones (Copenhagen) and Erik Palmgren (Stockholm) Members: Torben Brauner (Roskilde) Peter Dybjer (Chalmers) Lars Kristiansen (Oslo) Øystein Linnebo (Birkbeck) Sara Negri (Helsinki) Dag Normann (Oslo) Asger Törnquist, (Vienna) Jouko Väänänen (Helsinki) ORGANISING COMMITTEE Patrick Blackburn (RUC), Klaus Frovin Jørgensen (RUC), Stig Andur Petersen (RUC) SUBMISSIONS Abstracts of talks should be submitted by May 1, 2012 using the EasyChair system https://www.easychair.org/conferences/?conf=sls2012 The abstracts may not exceed 3 pages (including bibliography) and should be in PDF format. LOCATION Roskilde University (RUC) is situated at Trekroner, a small town 20 minutes by train from Central Copenhagen, and five minutes by train from Roskilde. ACCOMMODATION Most people who work at RUC and almost all the RUC students live in Copenhagen. Getting to RUC is an easy train journey from the centre of Copenhagen. We anticipate that most conference attendees will book hotels in central Copenhagen, where there are many hotels in many price ranges. Hotel accommodation can also be found in Roskilde, though there the options are more limited. REGISTRATION The conference website will be found at: http://scandinavianlogic.weebly.com/ Details concerning registration will be posted there in due course. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tmancini at di.uniroma1.it Mon Apr 2 10:25:44 2012 From: tmancini at di.uniroma1.it (Toni Mancini) Date: Mon, 2 Apr 2012 10:25:44 +0200 Subject: RCRA 2012: call for papers Message-ID: [Apologies for multiple copies.] News: due to several requests, we have slightly extended RCRA 2012 submission deadlines: - Abstracts due by April 8 - Papers due by April 15 * ______________________________________________________________________ * The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) organises the 19th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2012) in association with AI*IA 2012 Rome, Italy, 14-16 June 2012 RCRA group web site: http://rcra.aixia.it/ Workshop web site: http://rcra.aixia.it/rcra2012 e-mail: rcra2012 at gmail.com * ______________________________________________________________________ * This event follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in Artificial Intelligence. * ______________________________________________________________________ * The workshop will take place in Rome, Italy from 14 to 16 June 2012, in association with AI*IA 2012. RCRA 2012 will be held just after KR 2012 (http://kr.org/KR2012), DL 2012 (http://www.dis.uniroma1.it/~dl2012), NMR 2012 (http://www.dbai.tuwien.ac.at/NMR12) and CILC 2012 (http://www.dis.uniroma1.it/~cilc2012), all in Rome. As in previous editions (http://rcra.aixia.it/publications), authors of papers orally presented at the workshop will have the opportunity to participate to the selection of a special issue that will appear on an international journal. HISTORY OF THE WORKSHOP SERIES * RCRA 2011 in association with IJCAI 2011, Barcelona, Spain - http://rcra.aixia.it/rcra2011 Extended versions of the best papers appear in a special issue of AI Communications * RCRA 2010 in association with CPAIOR 2010, Bologna, Italy - http://rcra.aixia.it/rcra2010 Extended versions of the best papers appear in a special issue of Springer AMAI * RCRA 2009 in association with AI*IA 2009, Reggio Emilia, Italy - http://rcra.aixia.it/rcra2009 Extended versions of the best papers appear in a special issue of Fundamenta Informaticae * Previous editions: http://rcra.aixia.it/workshops IMPORTANT DATES (extended submission deadlines) * Abstract submission: 8 April 2012 * Submissions to the RCRA workshop: 15 April 2012 * Notification of acceptance/reject: 15 May 2012 * Final version due: 5 June 2012 * RCRA workshop: 14-16 June 2012 AIMS AND SCOPE Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridised with techniques in other areas. Artificial Intelligence tools often exploit or hybridise techniques developed by other research communities, such as Operations Research. In recent years, research in AI has more and more focussed on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems. Scope of the workshop is fostering the cross-fertilisation of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modelling, and ease of development. Topics of interest include, but are not limited to: * Experimental evaluation of algorithms for o knowledge representation o automated reasoning o planning o scheduling o machine learning o model checking o boolean satisfiability (SAT) o constraint programming o constraint satisfaction o quantified boolean formulae and quantified constraints o modal logics o logic programming o disjunctive logic programming o temporal reasoning o combinatorial optimization * Definition and construction of benchmarks * Experimentation methodologies * Metaheuristics * Algorithm hybridisation * Static analysis of combinatorial problems * Languages and systems for definition and solution of problems * Comparisons between systems and algorithms * Application experiences WORKSHOP CHAIRS * Toni Mancini Sapienza University, Rome, Italy * Angelo Oddi ISTC-CNR, Rome, Italy WORKSHOP PROGRAM COMMITTEE * Christian Artigues LAAS CNRS, Tolouse (France) * Gilles Audemard Université d'Artois, Lens Cedex (France) * Roman Bartak Charles University, Prague (Czech Republic) * Marco Chiarandini University of Southern Denmark, Odense (Demark) * Luca Di Gaspero Università di Udine (Italy) * Andrea Formisano Università di Perugia (Italy) * Ines Gonzalez Rodriguez University of Cantabria, Santander (Spain) * George Katsirelos INRA, Toulouse (France) * Henry Kautz University of Rochester, NY (USA) * Philippe Laborie ILOG, IBM Gentilly (France) * Ines Lynce Universidade Técnica de Lisboa (Portugal) * Radu Marinescu IBM Dublin (Ireland) * Joao Marquez-Silva University College Dublin (Ireland) * Pedro Meseguer Consejo Superior de Investigaciones Científicas, Bellaterra (Spain) * Ian Miguel University of St. Andrews (UK) * Alessandra Mileo National University of Ireland, Galway (Ireland) * Eva Onaindia Universidad Politecnica de Valencia (Spain) * Luca Pulina Università di Sassari (Italy) * Ioannis Refanidis University of Macedonia, Thessaloniki (Greece) * Francesco Ricca Università della Calabria, Cosenza (Italy) * Andrea Roli Università di Bologna (Italy) * Francesca Rossi Università di Padova (Italy) * Ivan Serina Free University of Bolzano (Italy) * Kostas Stergiou University of Western Macedonia, Kozani (Greece) * Pascal Van Hentenryck NICTA and The University of Melbourne (Australia) HOST ORGANIZATION Sapienza University, Rome Dipartimento di Ingegneria Informatica, Automatica e Gestionale "A. Ruberti" (formerly, DIS: Dipartimento di Informatica e Sistemistica) Via Ludovico Ariosto 25, 00185 Rome, Italy. SUBMISSIONS Authors are invited to submit either original (full or short) papers, or papers that appear on conference proceedings. Publications showing negative results are welcome, provided that the approach was original and very promising in principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths. At the time of submission, authors are requested to clearly specify whether their submission is original or already published. Workshop submissions must be in PDF format, do not exceed 15 (for full papers) or 8 (for short papers) pages, and should be written in LaTeX, using the LNCS-based RCRA 2012 style available at the workshop web site. RCRA 2012 uses EasyChair for the submission of contributions. Details are available on the web-site. Submissions will be reviewed by at least three members of the programme committee. SELECTION FOR THE POST-PROCEEDINGS Few weeks after the workshop, authors of papers orally presented at the workshop will have the opportunity to participate to the selection for the post-proceedings by submitting an extended version of their work. As in previous editions (http://rcra.aixia.it/publications), workshop post-proceedings will appear in a special issue of an international journal, provided that a sufficient amount of high quality papers is collected. All candidate articles must be original: they cannot have already been published in journals, and must contain significant additional material with respect to any formal publication. Such papers will go through a second formal selection process, and will be reviewed by at least three reviewers. The selection process will be kept very short, and at most one re-submission stage will be allowed. Hence, authors are invited to work on their paper mainly before the workshop date. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From svb at doc.ic.ac.uk Mon Apr 2 19:21:41 2012 From: svb at doc.ic.ac.uk (Steffen van Bakel) Date: Mon, 2 Apr 2012 18:21:41 +0100 Subject: CL&C 2012: deadline extension Message-ID: <6701F12F-A89F-4325-9591-F785AEFCF850@doc.ic.ac.uk> International Workshop on Classical Logic and Computation (CL&C'12) http://www.doc.ic.ac.uk/~svb/CLaC12 July, 8 2012 Warwick, England CL&C'12 is a satellite workshop of ICALP'12. IMPORTANT DATES Deadline for submission: April, 23, 2012 (new) Notification of acceptance: June, 18, 2012 (new) Final version due: June, 28, 2012 (new) Workshop date: July, 8, 2012 INTRODUCTION CL&C'12 is the fourth of a conference series on Classical Logic and Computation. It intends to cover all work aiming to explore computational aspects of classical logic and mathematics. This year CL&C will be held as satellite workshop of ICALP'12 in Warwick: http://www2.warwick.ac.uk/fac/cross_fac/dimap/icalp2012/ CL&C is focused on the interplay between program extraction from classical the exploration of the computational content of mathematical and logical principles. The scientific aim of this workshop is to bring together researchers from both fields and exchange ideas. SCOPE OF CL&C This workshop aims to support a fruitful exchange of ideas between the various lines of research on Classical Logic and Computation. Topics of interest include, but are not limited to, - version of lambda calculi adapted to represent classical logic; - design of programming languages inspired by classical logic; - cut-elimination for classical systems; - proof representation and proof search for classical logic; - translations of classical to intuitionistic proofs; - constructive interpretation of non-constructive principles; - witness extraction from classical proofs; - constructive semantics for classical logic (e.g. game semantics); - case studies (for any of the previous points). SUBMISSION AND PUBLICATION. This is intended to be an informal workshop. Participants are encouraged to present work in progress, overviews of more extensive work, and programmatic / position papers, as well as completed projects. We therefore ask for submission both of short abstracts and of longer papers. All submitted papers will be reviewed to normal standards. The PC recognises two kinds of papers: it will distinguish between accepted (full) papers that contain unpublished results not submitted elsewhere, and presentations of (short) papers about work in progress. The accepted papers will appear in EPTCS. In order to make a submission: - Format your file using the LNCS guidelines; there is a 15 page limit. - Use the submission instructions at https://www.easychair.org/conferences/?conf=clc2012 PROGRAMME COMMITTEE * Herman Geuvers (Nijmegen) - chair * Stefano Berardi (Turin) * Steffen van Bakel (Imperial College London) * Silvia Ghilezan (Novi Sad) * Koji Nakazawa (Kyoto Univeristy) * Ugo de'Liguoro (Turin) CONTACT deligu at di.unito.it From klebanov at kit.edu Mon Apr 2 21:03:33 2012 From: klebanov at kit.edu (Vladimir Klebanov) Date: Mon, 2 Apr 2012 21:03:33 +0200 Subject: 2nd CFP COMPARE2012 Workshop @IJCAR: Comparative Empirical Evaluation of Reasoning Systems Message-ID: ***************************************************************** COMPARE2012 - Call for papers 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems Part of IJCAR 2012 - 30 June 2012, Manchester, UK http://compare2012.verifythis.org/ ***************************************************************** IMPORTANT DATES Submission deadline: April 16th, 2012 Notification of acceptance: May 14th, 2012 Final version due: May 28th, 2012 Workshop: June 30, 2012 MOTIVATION AND GOAL Benchmark libraries and competitions are two popular approaches to comparative empirical evaluation of reasoning systems. After a significant increase in comparative evaluation activity recently, we feel that it is time to compare notes. What are the proper empirical approaches and criteria for effective comparative evaluation of reasoning systems? What are the appropriate hardware and software environments? How to assess usability of reasoning systems? How to design, acquire, structure, publish, and use benchmarks and problem collections? The workshop aims to advance comparative empirical evaluation by bringing together current and future competition organizers and participants, maintainers of benchmark collections, as well as practitioners and the general scientific public interested in the topic. Furthermore, the workshop intends to reach out to researchers specializing in empirical studies in computer science outside of automated reasoning. TOPICS The scope of the workshop includes (but is not limited to) topics such as the following. All topics apply to comparative evaluation of reasoning systems. Reports on evaluating a single system (such as case studies done with a particular system) are not in scope of the workshop. * Comparative case studies * Criteria for empirical evaluation * Design, organisation, and conclusions from competitions * Design, acquisition, execution, and dissemination of benchmarks * Experience reports * Hardware and software environments * Inter-community collaboration * Languages and language standards * Practitioner perspectives * Software and code quality evaluation * Surveys and questionnaires * Usability studies SUBMISSIONS AND PROCEEDINGS Papers can be submitted either as regular papers (6-15 pages in LNCS style) or as discussion papers (2-4 pages). Regular papers should present previously unpublished work (completed or in progress), including proposals for system evaluation, descriptions of benchmarks, and experience reports. Discussion papers are intended to initiate discussions, should address controversial issues, and may include provocative statements. All submitted papers will be refereed by the program committee and will be selected in accordance with the referee reports. The collection of accepted papers will be distributed at the workshop and will also be published in the CEUR Workshop Proceedings series. Submissions are now accepted via EasyChair (see workshop website). PROGRAM COMMITTEE * Bernhard Beckert (co-chair), Karlsruhe Institute of Technology, Germany * Christoph Benzmueller, Free University Berlin, Germany * Dirk Beyer, University of Passau, Germany * Armin Biere (co-chair), Johannes Kepler University Linz, Austria * Vinay Chaudhri, SRI International, USA * Koen Claessen, Chalmers Technical University, Sweden * Alberto Griggio, Fondazione Bruno Kessler, Italy * Marieke Huisman, University of Twente, the Netherlands * Radu Iosif, Verimag/CNRS/University of Grenoble, France * Vladimir Klebanov (co-chair), Karlsruhe Institute of Technology, Germany * Rosemary Monahan, National University of Ireland Maynooth * Michał Moskal, Microsoft Research, USA * Jens Otten, University of Potsdam, Germany * Franck Pommereau, University of Évry, France * Sylvie Putot, CEA-LIST, France * Olivier Roussel, CNRS, France * Albert Rubio, Universitat Politècnica de Catalunya, Spain * Aaron Stump, University of Iowa, USA * Geoff Sutcliffe (co-chair), University of Miami, USA CONTACT compare2012 at verifythis.org http://compare2012.verifythis.org/ -- Vladimir Klebanov Postdoctoral Researcher, Application-oriented Formal Verification Karlsruhe Institute of Technology http://formal.iti.kit.edu/~klebanov From ch.lange at jacobs-university.de Tue Apr 3 00:56:00 2012 From: ch.lange at jacobs-university.de (Christoph LANGE) Date: Tue, 03 Apr 2012 00:56:00 +0200 Subject: CfP: OpenMath workshop at CICM (11 July, Bremen, Germany), submission deadline 25 May Message-ID: <4F7A2E80.8060201@jacobs-university.de> 24th OpenMath Workshop Bremen, Germany 11 July 2012 co-located with CICM 2012 Submission deadline 25 May OBJECTIVES OpenMath (http://www.openmath.org) is a language for exchanging mathematical formulae across applications (such as computer algebra systems). From 2010 its importance has increased in that OpenMath Content Dictionaries were adopted as a foundation of the MathML 3 W3C recommendation (http://www.w3.org/TR/MathML), the standard for mathematical formulae on the Web. Topics we expect to see at the workshop include * Feature Requests (Standard Enhancement Proposals) and Discussions for going beyond OpenMath 2; * Further convergence of OpenMath and MathML 3; * Reasoning with OpenMath; * Software using or processing OpenMath; * New OpenMath Content Dictionaries; Contributions can be either full research papers, Standard Enhancement Proposals, or a description of new Content Dictionaries, particularly ones that are suggested for formal adoption by the OpenMath Society. IMPORTANT DATES (all times are "anywhere on earth") * 25 May: Submission * 20 June: Notification of acceptance or rejection * 04 July: Final revised papers due * 11 July: Workshop SUBMISSIONS Submission is via EasyChair (http://www.easychair.org/conferences?conf=om20120). Final papers must conform to the EasyChair LaTeX style. Initial submissions in this format are welcome but not mandatory – but they should be in PDF and within the given limit of pages/words. Submission categories: * Full paper: 5–10 EasyChair pages * Short paper: 1–4 EasyChair pages * CD description: 1-6 EasyChair pages; a .zip or .tgz file of the CDs must be attached, or a link to the CD provided. * Standard Enhancement Proposal: 1-10 EasyChair pages (as appropriate w.r.t. the background knowledge required); a .zip or .tgz file of any related implementation (e.g. a Relax NG schema) should be attached. If not in EasyChair format, 500 words count as one page. PROCEEDINGS Electronic proceedings will be published with CEUR-WS.org in time for the conference. ORGANISATION COMMITTEE * Christoph Lange (University of Bremen and Jacobs University Bremen, Germany) * James Davenport (University of Bath, UK) Comments/questions/enquiries: to be sent to om2012-0 at easychair.org From frank.loebe at informatik.uni-leipzig.de Tue Apr 3 10:30:50 2012 From: frank.loebe at informatik.uni-leipzig.de (frank.loebe at informatik.uni-leipzig.de) Date: Tue, 3 Apr 2012 10:30:50 +0200 Subject: First Interdisciplinary Summer School on Ontological Analysis: Early Registration Reminder Message-ID: <201204030830.q338UsT7018533@isun.informatik.uni-leipzig.de> The International Association for Ontology and its Applications (IAOA) organizes the First Interdisciplinary Summer School on Ontological Analysis July 16-20, 2012 -- Trento, Italy http://iaoa.org/isc2012/index.php DEADLINE REMINDERS: --> Early registration: Apr 16, 2012 (IAOA membership required) --> IAOA subscription: Apr 12, 2012 (allowing for early registration) --> Grant application: Apr 08, 2012 Description ----------- Six experts in different disciplines (philosophy, cognitive linguistics, knowledge representation and conceptual modeling) will meet for a week with students and researchers to present common themes in applied ontology and describe them from each discipline's viewpoint, to engage in open discussions with each other, and to interact with the participants. Registration http://iaoa.org/isc2012/registration.php ------------ Early Registration (Mar 15 - Apr 16): Student 150 euro, Regular 250 euro Late Registration (Apr 17 - Jul 06): Student 250 euro, Regular 350 euro The registration to the summer school requires IAOA membership. To apply for IAOA membership see http://www.iaoa.org/membership/membership.html Note that subscription to IAOA must be approved, therefore you should apply by Apr 12, 2012. In this way there is time for the membership setup process to complete before the end of the summer school early registration period. The number of participants is limited to 80. Participation is granted based on the order of registration. The fee includes admission to all courses, coffee breaks, and lunches. Grants http://iaoa.org/isc2012/grants.php ------ The IAOA funds some grants for students. The grant covers the registration fee. In exceptional cases the IAOA will contribute to cover travel expenses and accommodation. The Italian Association for Artificial Intelligence (AI*IA) funds additional grants accessible only to members of both AI*IA and IAOA. Grant application is only possible before Apr 08, 2012. See the website for details. Courses http://iaoa.org/isc2012/courses.php ------- Christiane Fellbaum, Dept. of Computer Science, Princeton University, Ontology, semantics, and cognitive linguistics Chiara Ghidini and Luciano Serafini, Bruno Kessler Foundation, Trento, Logical tools for ontological analysis Nicola Guarino, Laboratory for Applied Ontology, ISTC-CNR, Trento, Introduction to Applied Ontology Giancarlo Guizzardi, Dept. of Computer Science, Federal University of Espírito Santo, Ontology-driven conceptual modelling Kevin Mulligan, Dept. of Philosophy, Université de Genève, Ontological analysis: the philosophical perspective Visit the web site of the school for more information: http://iaoa.org/isc2012/index.php The school is open to students, researchers and practitioners. Feel free to distribute the announcement. From cgf at isep.ipp.pt Tue Apr 3 22:13:25 2012 From: cgf at isep.ipp.pt (Carlos Ferreira) Date: Tue, 03 Apr 2012 21:13:25 +0100 Subject: 2nd CFP: Ubiquitous Data Mining (UDM) - ECAI 2012 Workshop Message-ID: <4F7B59E5.8070402@isep.ipp.pt> ** Apologies for cross-posting ** Ubiquitous Data Mining (UDM) Workshop Montpellier, France, August 27-31, 2012 http://www.liaad.up.pt/udm/ in conjunction with ECAI 2012 20th European Conference on Artificial Intelligence Montpellier, France, August 27-31, 2012 http://www2.lirmm.fr/ecai2012/ == Call for Papers == Ubiquitous Data Mining (UDM) uses Data Mining techniques to extract useful knowledge from data, namely when its characteristics reflect a World in Movement. The goal of this workshop is to convene researchers (from both academia and industry) who deal with techniques such as: decision rules, decision trees, association rules, clustering, filtering, learning classifier systems, neural networks, support vector machines, preprocessing, postprocessing, feature selection, visualization techniques, etc. for UDM of distributed and heterogeneous sources in the form of a continuous stream with mobile and/or embedded devices and related themes. Authors are invited to submit original papers in all topics related to Ubiquitous Data Mining. Selected papers will have to be presented during the workshop. The workshop will include extra time for audience discussion of the presentation allowing the group to have a better understanding of the issues, challenges, and ideas being presented. Authors of best workshop papers will be invited to submit extended versions of their work to Intelligent Data Analysis Journal. -- Important Dates -- Paper submission: 31 May, 2012 Author notification: 22 Jun, 2012 Camera-ready copy: 30 Jun, 2012 -- Topics -- Topics include but are not restricted to: - Adaptive Data Mining - Distributed Data Mining - Distributed Data Streams - Grid Data Mining - Learning in Ubiquitous environments - Learning from Sensor Networks - Learning from Social Networks - Visualization Techniques for UDM - Incremental On-line Learning Algorithms - Single-Pass and Scalable Algorithms - Learning in distributed neural network systems; - Real-Time and Real-World Applications - Resource-aware UDM - Theoretical frameworks for UDM -- Submission -- All papers should be submitted in ECAI 2012 camera ready format for publication in the symposium proceedings. The maximum length of papers should not exceed 5 pages in the case of research and experience papers, and 2 pages in the case of position papers (including figures, bibliography and appendices). Submission guidelines must be strictly followed. Papers should be submitted in PDF using the EasyChair conference system available at https://www.easychair.org/conferences/?conf=udm2012 All workshop participants are required to register for both the workshop and the main conference. ECAI, is the leading Conference on Artificial Intelligence in Europe, and is a biennial organization of the European Coordinating Committee for Artificial Intelligence ECCAI. -- Workshop Chairs -- João Gama, Manuel Filipe Santos, Nuno Marques, Paulo Cortez and Pedro Pereira Rodrigues -- Publicity Chair -- Carlos Abreu Ferreira Looking forward to meeting you in Montpellier! From adrianrp at unimelb.edu.au Wed Apr 4 01:01:55 2012 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Tue, 3 Apr 2012 23:01:55 +0000 Subject: Research Fellows (Supply Chain Optimisation & Automated Planning and Scheduling) Message-ID: ============================= 2 RESEARCH FELLOW POSITIONS ============================= SUPPLY CHAIN OPTIMISATION & AUTOMATED PLANNING AND SCHEDULING The University of Melbourne is seeking two outstanding Research Fellows to conduct leading edge research in supply chain optimisation and automated planning for mine scheduling. The positions will be located in the Department of Computing and Information Systems within the Melbourne School of Engineering. Salary $100,355-$115,715 AUD p.a. (Senior Research Fellow) or $81,925-$97,283 (Research Fellow) plus 9% superannuation; Employment type: Full-time Fixed Term The successful candidates will conduct leading-edge research and development in the area of optimisation for mine scheduling. The work is part of an ARC funded project, "Making the Pilbara Blend: Agile Mine Scheduling through Contingent Planning". As part of the team you would be involved in discovering more agile contingent planning techniques for solving new classes of scheduling and planning problems. The overarching responsibility of this position will be the development of optimisation techniques for synthesising more robust plans for short term production scheduling of iron ore in distributed, multi-mine pit settings. The role of the Supply Chain Optimisation Fellow will involve computational approaches to optimising supply chain management, such as constraint solving techniques, combinatorial optimisation and/or network flow techniques, especially those for distributed multi-agent problems. The role of the Automated Planning and Scheduling Fellow will involve planning languages such as those based on the situation calculus, classical planning techniques and/or model-checking techniques, especially those for distributed multi-agent problems. This project tackles a challenging problem faced in mine scheduling. An increased need for consistent quality has occurred at the same time as the complexity of modern day mining operations has increased, across multiple mine sites with variable ore grades and increasing infrastructure constraints. There is a pressing need for more agile mining techniques that maximise net present value (NPV) while accommodating the complexities and uncertainties inherent in modern day mining operations. The goal of this project is to bring together automated planning techniques with constraint programming to address this paradigm shift. The research tackles plan synthesis for the multi-commodity, multi-mine site supply chain problem and promises to lead to improved techniques for collaborative planning and solving hard constraint problems. The theoretical significance of this project derives from the fundamental challenge posed by the problem underlying dynamic scheduling. On the one hand, optimisation must take into account nondeterminism - the uncertain outcomes of actions inherent in the problem - and on the other must lead to feasible plans for each mine site - while continuing to solve the necessary constraints for the overall supply chain schedule during the course of continuing (non-terminating) execution. The project will develop agile scheduling techniques of great economic importance. Carefully planned scheduling has the potential to reduce the need for new infrastructure, minimising environmental impacts and maximising regeneration after mining. More details can be found at http://www.agentlab.unimelb.edu.au/mining.html RESEARCH GROUP Optimisation group of NICTA: http://www.nicta.com.au/research/optimisation Intelligent Agent Laboratory (Agentlab): http://www.agentlab.unimelb.edu.au/ G12 Constraint Programming Platform: http://www.nicta.com.au/research/projects/constraint_programming_platform APPLICATION PROCEDURE http://www.jobs.unimelb.edu.au Research Fellow in Supply Chain Optimisation: position number 0028933 (closing 3 June 2012) Research Fellow in Automated Planning and Scheduling: position number 0028932 (closing 3 June 2012) Contact: For more information, please contact Adrian Pearce, adrianrp at unimelb.edu.au Adrian --- Adrian Pearce Department of Computing and Information Systems, The University of Melbourne, Melbourne VIC 3010 Phone: +61 3 8344 1399 adrianrp at unimelb.edu.au http://www.csse.unimelb.edu.au/~adrian/ From esslli2012stus at loriweb.org Wed Apr 4 10:06:55 2012 From: esslli2012stus at loriweb.org (Rasmus K. Rendsvig) Date: Wed, 04 Apr 2012 10:06:55 +0200 Subject: Final CfP (Ext.): ESSLLI 2012 Student Session In-Reply-To: <4EE9E448.8080204@loriweb.org> References: <4EE9E448.8080204@loriweb.org> Message-ID: <4F7C011F.5000600@loriweb.org> [apologies for multiple postings] *** PLEASE DISTRIBUTE TO STUDENTS *** Final Call for Papers *ESSLLI 2012 STUDENT SESSION* Held during The 24th European Summer School in Logic, Language and Information Opole, Poland, August 6-17, 2012 *EXTENDED DEADLINE: APRIL 30, 2012* http://loriweb.org/ESSLLI2012StuS/ *ABOUT:* The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012. We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and will appear in the student session proceedings. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience. ESSLLI 2012 will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation. Consult the main ESSLLI website (link below) for further information. *SPRINGER PRIZES FOR BEST PAPER AND BEST POSTER* In 2012, Springer has again continued its generous support for the Student Session by offering EUR 1000 in prizes. These include a a EUR 500 for Best Paper and EUR 500 for Best Poster. The prizes are awarded best on the reviews of the submission as well as the oral presentation. *INSTRUCTIONS FOR AUTHORS:* Authors must be students, i.e., may not have received the Ph.D. degree before August 2012. All submissions must be in PDF format and be submitted to the conference EasyChair website. Submissions may be singly or jointly authored. No one may submit more than one singly and one jointly authored paper. There are two types of papers. Long papers of up to 8 pages will be considered for both oral presentation and the poster session. Short papers of up to 4 pages will be considered as submissions for the poster session. We strive for posters getting the longest possible exposure during ESSLLI 2012. Submissions must be anonymous, without any identifying information ready for blind peer review, and must be must be received by *April 30, 2012*. More detailed guidelines regarding submission can be found on the Student Session website: http://loriweb.org/ESSLLI2012StuS/ Links to previous years' proceedings are also available there. *IMPORTANT DATES: *Submission of papers: April 30 Notification deadline: June 10 (in time to make early registration for ESSLLI with reduced fee) Submission of camera-ready papers: July 1 Conference dates: August 6-17 *PROCEEDINGS *All accepted papers will be available in online proceedings. A Springer volume in the LNCS series with the best papers of 2008-2009 have been published, and a similar volume for 2010-2011 is in preparation. We aspire to a forthcoming volume for 2012-2013. *FURTHER INFORMATION:* Please direct inquiries about submission procedures or other matters relating to the Student Session to esslli2012stus at loriweb.org. For general inquiries about ESSLLI 2012, please consult the main ESSLLI 2012 page, http://esslli2012.pl/. Kind regards, The ESSLLI 2012 Students Session Organization Committee, Rasmus K. Rendsvig (Roskilde University) (chair) Anders Johannsen (University of Copenhagen) Dominik Klein (Tilburg University) Margot Colinet (Université de Paris 7) Matthijs Westera (Universiteit van Amsterdam) Maxim Haddad (University of Osnabrück) Niels Beuck (Hamburg University) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sonntag at dfki.de Wed Apr 4 15:22:17 2012 From: sonntag at dfki.de (Daniel Sonntag) Date: Wed, 04 Apr 2012 15:22:17 +0200 Subject: KI 2012: Last call for papers In-Reply-To: <4F7C35E6.7060302@dfki.de> References: <4F7C35E6.7060302@dfki.de> Message-ID: <4F7C4B09.5080802@dfki.de> =========================== LAST CALL FOR PAPERS Full paper submission deadline: May 1, 2012 =========================== KI 2012, Saarbrücken, 24-27 September, http://www.dfki.de/KI2012/ KI 2012 is the 35th edition of the German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers from all areas of AI. The technical programme of KI 2012 will comprise paper and poster presentations and a variety of workshops and tutorials. KI 2012 will take place in Saarbrücken, Germany, September 24-27, 2012, and is a premier forum for exchanging news and research results on theory and applications of all aspects on AI. The conference invites significant, original, and previously unpublished research from all areas of AI, its fundamentals, its algorithms, its history, and its applications. Areas of interest include, but are not limited to: * Knowledge Acquisition, Representation, Reasoning and Ontologies * Combinatorial Search, Configuration, Design and Deduction * Natural Language Processing, Statistical NLP, Semantics * Planning and Scheduling; Spatial and Temporal Reasoning * Reasoning under Uncertainty, Probabilistic Inferences * Non-Monotonic Reasoning and Default Logics * Constraint Satisfaction, Processing and Programming * Embodied AI: Robotics, Vision and Perception * Intelligent Information Retrieval, Semantic Search, Semantic Web * Evolutionary and Neural Computation * Machine Learning, Computational Learning Theory and Data-Mining * Distributed Problem Solving and Multi-Agent Systems * Game Playing and Interactive Entertainment, AI for Graphics * Game Theory and General Game Playing, Generalized Intelligence * AI for Human-Computer-Interaction and Adaptive Communication * Mobile Solutions with Textile, Semantic and Spatial Media * Augmented Reality, Smart Cities, Smart Traffic, Smart Hardware * Assistance Systems in Living and Working Environments * Software-Engineering, Model Checking and Security in AI * Distributed Computation and Swarm Intelligence * Cognitive Modelling, AI and Psychology * History and Philosophical Foundations of AI * Applications including Logistics, Production and Health Care We especially welcome application papers and posters providing novel insights on the interplay of AI and the real world, as well as papers that bring useful computational technologies from other areas of computer science into AI. Submission Guidelines --------------------------- Submitted papers, which have to be in English, must not exceed 12 pages in Springer LNCS style for full technical contributions and 4 pages for short contributions. Full technical papers are expected to report on new research that makes a substantial technical contribution to the field. Short papers can report on new research or other issues of interest to the AI community. Examples of work suitable for short papers include: novel ideas that are not yet fully developed or whose scope is not large enough for a full paper; important implementation techniques; novel interesting benchmark problems; short experimental studies; interesting applications that are not yet completely solved or analyzed; position or challenge papers; etc. Papers will be subject to blind peer review. All papers will be reviewed based on the standard criteria of relevance, significance of results, originality of ideas, soundness, and quality of the presentation. All accepted papers will be published in the main conference proceedings, and will be presented at the conference. At least one author of each accepted paper must register for the conference and present the contribution. Important Dates --------------------------- Workshop and tutorial proposals deadline: April 1, 2012 Workshop and tutorial proposals notification: April 15, 2012 Full paper submission deadline: May 1, 2012 Notification (full paper): July 1, 2012 Submission deadline for poster, doctoral consortium and workshop papers: July 9, 2012 Deadline for camera ready copy (full paper): July 13, 2012 Notification (poster, doctoral consortium and workshop papers): August 31, 2012 Conference: September 24-27, 2012 Organizers --------------------------- General Chair: Antonio Krüger (Saarland University and DFKI) Program Chair: Birte Glimm (University of Ulm) Local Chairs: Boris Brandherm (Saarland University) and Ralf Jung (Saarland University) Workshop Chair: Gabriele Kern-Isberner (TU Dortmund) Tutorial Chair: Wolfgang Maaß (Saarland University) Poster Chair: Stefan Wölfl (University of Freiburg) Doctorial Consortium Chair: Carsten Lutz (University of Bremen) Publicity Chair: Daniel Sonntag (DFKI) Contact --------------------------- Details and updates will be available on the conference web site: http://dfki.de/KI2012 For questions about the CfP or program, please contact: birte.glimm at uni-ulm.de From m.b.vanriemsdijk at tudelft.nl Wed Apr 4 17:11:09 2012 From: m.b.vanriemsdijk at tudelft.nl (Birna van Riemsdijk) Date: Wed, 4 Apr 2012 17:11:09 +0200 Subject: [EASSS'12] 2nd Call for participation Message-ID: (Apologies for cross-posting) ********************************************************************** * CALL FOR PARTICIPATION - EASSS 2012 * 14th European Agent Systems Summer School Valencia, Spain --- 28th May-1st June 2012 ********************************************************************** The 14th European Agent Systems Summer School (EASSS 2012) will be held at the Universitat Politecnica de Valencia, Valencia, Spain, from the 28th of May to the 1st of June, 2012, in the week preceding AAMAS (the International Conference on Autonomous Agents and Multiagent Systems). As its highly successful earlier incarnations, EASSS 2012 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 is open at http://easss2012.webs.upv.es/. The early registration deadline is April 18th. Follow us on Twitter to be informed about the latest news regarding EASSS 2012 (http://twitter.com/easss2012). ********************************************************************** * STUDENT GRANTS & STUDENT SESSION* Recall that there are several student grant programs to attend EASSS 2012, offered by different institutions Check the details (elegibility, application forms, deadline) at EASSS 2012 webpage. Also please consider submitting a paper to the student session! See http://easss2012.webs.upv.es/studentSession.html. Deadlines are coming up soon! ********************************************************************** * EASSS 2012 PROGRAMME * This is the list of the tutorials that will be offered in this year's edition of EASSS: T0. Introduction to Autonomous Agents and Multiagent Systems Carles Sierra T1. Agent-based social simulation Tina Balke and Frédéric Amblard T2. Organization and Environment oriented programming Olivier Boissier and Jomi F. Hübner and Alessandro Ricci T3. Agent oriented programming languages Rafael Bordini and Koen Hindriks and Joao Leite T4. Introduction to the modelling and verification of, and reasoning about multi-agent systems Nils Bulling and Jürgen Dix T5. Cognitive agents for social simulation Frank Dignum and Virginia Dignum and Catholijn Jonker T6. Supporting large-scale, distributed multi-agent systems Michel Oey and Sander van Splunter and Martijn Warnier and Frances Brazier T7. Embodied conversational agents and affective computing Alexandre Pauchet and Nicolas Sabouret T8. Industrial application of multi-agent systems Michal Pechoucek T9. Trust and reputation in multi-agent systems Jordi Sabater-Mir and Javier Carbo T10. Decision making under uncertainty Matthijs Spaan and Frans Oliehoek T11. Normative multi-agent systems Guido Boella and Leon van der Torre T12. Distributed search and constraint handling Alessandro Farinelli and Alex Rogers and Meritxell Vinyals T13. Agent coordination in planning and scheduling Cees Witteveen and Bob Huisman T14. Argumentation for agent societies Massimiliano Giacomin and Serena Villata More information regarding these tutorials is available at the EASSS 2012 website. The program also includes a student session. The submission details of the student session are available on the EASSS 2012 web site. ********************************************************************** EASSS 2012 organizing committee easss2012 at dsic.upv.es http://easss2012.webs.upv.es Local organization chair: Vicente Julian: vinglada at dsic.upv.es Program co-chairs: Birna van Riemsdijk: m.b.vanriemsdijk at tudelft.nl Laurent Vercouter: laurent.vercouter at insa-rouen.fr ********************************************************************** ----------------------------- Dr. M. Birna van Riemsdijk assistant professor Interactive Intelligence Group Department of Mediamatics Faculty of Electrical Engineering, Mathematics and Computer Science Delft University of Technology Mekelweg 4 2628 CD Delft The Netherlands Room: HB 12.040 Telephone: +31 (0)15 2786331 Fax: +31 (0)15 2787141 Website: http://mmi.tudelft.nl/~birna/ Twitter: @mbirna From schmidt at cs.man.ac.uk Sun Apr 1 17:13:39 2012 From: schmidt at cs.man.ac.uk (Renate Schmidt) Date: Sun, 01 Apr 2012 16:13:39 +0100 Subject: PAAR-2012 Message-ID: [Please encourage colleagues and members of your group to contribute.] SECOND CALL FOR PAPERS PAAR-2012 IJCAR'12 Workshop on Practical Aspects of Automated Reasoning Deadline: April 16th, 2012 http://www.eprover.org/EVENTS/PAAR-2012.html GENERAL INFORMATION The third Workshop on Practical Aspects of Automated Reasoning will be held in June 2012 in Manchester, UK. PAAR will be associated with the 6th International Joint Conference on Automated Reasoning (IJCAR-2012), which is held as part of the Alan Turing Year 2012, just after The Alan Turing Centenary Conference. SCOPE PAAR provides a forum for developers of automated reasoning tools to discuss and compare different implementation techniques, and for users to discuss and communicate their applications and requirements. The workshop will bring together different groups to concentrate on practical aspects of the implementation and application of automated reasoning tools. It will allow researchers to present their work in progress, and to discuss new implementation techniques and applications. Topics include but are not limited to: o automated reasoning in propositional, first-order, higher-order and non-classical logics; o implementation of provers (SAT, SMT, resolution, tableau, instantiation-based, rewriting, logical frameworks, etc); o automated reasoning tools for all kinds of practical problems and applications; o pragmatics of automated reasoning within proof assistants; o practical experiences, usability aspects, feasibility studies; o evaluation of implementation techniques and automated reasoning tools; o performance aspects, benchmarking approaches; o non-standard approaches to automated reasoning, non-standard forms of automated reasoning, new applications; o implementation techniques, optimisation techniques, strategies and heuristics, fairness; o support tools for prover development; o system descriptions and demos. We are particularly interested in contributions that help the community to understand how to build useful reasoning systems in practice, and how to apply existing systems to real problems. SUBMISSIONS Researchers interested in participating are invited to submit a short abstract of up to 10 pages via EasyChair. Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Submissions should be in standard-conforming PDF. To submit a paper, go to the EasyChair PAAR page http://www.easychair.org/conferences/?conf=paar2012 and follow the instructions there. FINAL VERSIONS Final versions should be prepared in LaTeX using the easychair.cls class file obtainable from http://www.easychair.org/easychair.zip. Proceedings will be published as CEUR Workshop Proceedings and will be available in print at the event. If quality and quantity of the subissions warrants this, we plan to produce a special issue of a recognized journal on the topic of the workshop. IMPORTANT DATES: 16 Apr 2012 Submission of abstracts (anywhere on the planet) 7 May 2012 Notification 28 May 2012 Camera ready versions due 30 Jun 2012 Workshop PROGRAM COMMITTEE Clark Barrett, New York University, USA Peter Baumgartner, NICTA, Canberra, Australia Christoph Benzmuller, FU Berlin, Germany Jasmin Blanchette, TU Munchen, Germany Chad Brown, Universitat des Saarlandes, Saarbrucken, Germany Koen Claessen, Chalmers University of Technology, Gothenburg, Sweden Pascal Fontaine (co-chair), INRIA & University of Nancy, France Martin Giese, University of Oslo, Norway Alberto Griggio, FBK, Trento, Italy John Harrison, Intel, USA Yevgeny Kazakov, University of Oxford, UK Konstantin Korovin, The University of Manchester, UK Daniel Le Berre, Universite d'Artois, Lens, France Hans de Nivelle, University of Wroclaw, Poland Alberto Oliveras, Technical University of Catalonia, Barcelona, Spain Nicola Olivetti, LSIS & Universite Paul Cezanne, Marseille, France Jens Otten, University of Potsdam, Germany Jeff Pan, The University of Aberdeen, UK Larry Paulson, University of Cambridge, UK Adam Pease, Articulate Software, Angwin, USA Nicolas Peltier, CNRS & IMAG, Grenoble, France Ruzica Piskac, Max-Planck-Institut for Software Systems, Saarbrucken, Germany Stefan Schlobach, Vrije Universiteit Amsterdam, The Netherlands Renate Schmidt (co-chair), The University of Manchester, UK Stephan Schulz (co-chair), TU Munchen, Germany Geoff Sutcliffe, University of Miami, USA Laurent Thery, INRIA, Sophia Antipolis, France Dmitry Tishkovsky, The University of Manchester, UK Christoph Weidenbach, Max-Planck-Institut fur Informatik, Saarbrucken, Germany Florian Widmann, Imperial College, London, UK Christoph Winterstiger, Microsoft Research, Cambridge, UK ORGANIZERS Pascal Fontaine, INRIA & University of Nancy Renate Schmidt, The University of Manchester Stephan Schulz, TU Muenchen From aamas2012_publicity at infoscience.otago.ac.nz Thu Apr 5 02:45:03 2012 From: aamas2012_publicity at infoscience.otago.ac.nz (AAMAS 2012 Publicity Chair) Date: Thu, 5 Apr 2012 12:45:03 +1200 (NZST) Subject: AAMAS 2012 early registration ends soon (16 April) In-Reply-To: Message-ID: <28451459.2212.1333586703751.JavaMail.root@infos003.otago.ac.nz> SECOND CALL FOR PARTICIPATION Early registration ends on 16 April 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) Valencia, Spain June 4-8, 2012 http://aamas2012.upv.es Facebook: http://www.facebook.com/AAMAS2012 Twitter: http://www.twitter.com/aamas2012 Registration is now open for AAMAS 2012 at http://aamas2012.upv.es/. For online registration and information about accommodation options, see the "Attending AAMAS" section of the Web site. ** ABOUT AAMAS ** AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. AAMAS 2012 is the eleventh conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Universitat Politècnica de València in Valencia, Spain, June 4-8, 2012. The full paper acceptance rate for AAMAS 2012 was 20%. See http://www.ifaamas.org for more information on the AAMAS conference series. ** RELATED EVENTS ** AAMAS 2012 will be co-located with the 13th ACM Conference on Electronic Commerce (EC'12): http://www.sigecom.org/ec12/. The following events will occur in Europe soon after AAMAS 2012: * KR2012: 13th International Conference on Principles of Knowledge Representation and Reasoning, June 10-14, Rome, Italy. http://kr.org/KR2012/ * ECIS2012: 20th European Conference on Information Systems, June 10-13, Barcelona, Spain. http://www.ecis2012.eu/ * LOFT 2012: 10th Conference on Logic and the Foundations of Game and Decision Theory, June 18-20, Sevilla, Spain. http://personal.us.es/hvd/loft/ From swill at csail.mit.edu Thu Apr 5 14:03:22 2012 From: swill at csail.mit.edu (Sebastian Will) Date: Thu, 05 Apr 2012 14:03:22 +0200 Subject: [CFP] Call for Papers WCB12 Message-ID: <4F7D8A0A.6070308@csail.mit.edu> [Please apologize multiple copies and crossposting.] Dear colleagues, we would like to invite you to submit a paper to WCB12 - Workshop on Constraint Based Methods for Bioinformatics 2012 -------------------------------------------------------------------- September, 8th, 2012 Budapest, Hungary Collocated with ICLP 2012 Submission: May, 18th, 2012 OVERVIEW AND SCOPE Bioinformatics is a challenging and fast growing area of research, which is of utmost importance for our understanding of life. Major contributions to this discipline can have thousands of positive effects in medicine, agriculture, or industry. To pick out only a few examples, Bioinformatics tackles problems related to * Recognition, analysis, and organization of DNA sequences. For instance, Haplotype/Pedigree inference, Phylogenetic reconstruction, Motif localization, and Alignments * Biological systems simulations (for metabolic or regulatory networks) * Prediction of the spatial conformation of a bio-polymer, given its sequence of monomers (in particular for proteins and RNA). The main aim of this workshop is twofold. On the one hand, to share recent results in this area (new ideas, systems and solvers that rely on constraints, but also on Logic Programming, Answer Set Programming, Linear Programming, Mixed Integer Linear Programming, Local Search, and any other AI techniques, possibly combining some of them). On the other hand, to present new challenging problems recently formalized but still beyond current computing capabilities. MANUSCRIPT SUBMISSION We welcome submissions of * Extended Abstracts of new results * Abstract of ongoing works * Systems presentations (with demos at the workshop) * Summaries of already accepted or recently published results in the topics above. Manuscripts should be formatted in the standard llncs style and submitted as PDF. The page limit is 6 pages. Submission is handled by Easychair https://www.easychair.org/conferences/?conf=wcb12 IMPORTANT DATES Submission Deadline: May 18th, 2012 Notification to Authors: June 18th, 2012 Camera-ready: July 13th, 2012 Workshop: September 8th, 2012 The final submission must include latex sources. We are going to use Computing Research Repository (CoRR) for the workshop proceedings. At least one author is required to participate in the workshop and present the work. PROGRAM CHAIRS Rolf Backofen, Freiburg, Germany Sebastian Will, Freiburg, Germany From m.b.vanriemsdijk at tudelft.nl Thu Apr 5 17:05:44 2012 From: m.b.vanriemsdijk at tudelft.nl (Birna van Riemsdijk) Date: Thu, 5 Apr 2012 17:05:44 +0200 Subject: EASSS'12 student session cfp In-Reply-To: References: Message-ID: <9AB25FD6-2FF2-40EE-984A-9F937A500C35@tudelft.nl> ======================================================================== CFP: Student Session on 14th European Agent Systems Summer School takes place in co-location with AAMAS 2012 May 28th - June 1st June, Valencia, Spain http://easss2012.webs.upv.es/ ======================================================================== The European Agent Systems Summer School aims to offer a valuable forum for knowledge exchange between various research groups in its field for the benefit of students and researchers at both beginner and advanced level. The success of the summer school series is essential not only for the mutual benefit of research groups, but also in forming future generations of researchers to maintain the excellence of Agents research and development in Europe. EASSS attracts about 100 students each year. The school provides a wide range of state-of-the-art courses given by the most prominent researchers in the area. A typical course has 4 hours in total and they are broad enough to provide a general introduction to the chosen topic, whilst also covering the most important contributions in depth. Courses are expected to take a wide perspective of the research being done by various groups active in research on the specific topic of the course. Within this context, 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 15-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'12. As the goal is to provide the speakers with constructive feedback and a 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 extent to which the audience has understood the details should be the criterion by which the presentations are judged. Important dates ---------------- - April 9 - Abstract submission - April 13 - Submission deadline - May 7 - Notification to authors - May 14 - Camera-ready version due - May 28 - Start of the Summer School Submission Details ------------------- - Topics should match with the scope of EASSS'12 Summer School. - Papers should describe student's works at student level. - Only students can be authors, supervisors are however strongly encouraged to motivate their students to participate and to supervise the quality of the students' work. - At least one of the authors will have to register as a participant at EASSS'12. - Submissions should not exceed 8 pages in length (including references and appendices), they need to be formatted using the AAMAS style (see http://aamas2012.webs.upv.es menu point camera ready instructions for more details) and should be submitted in either .pdf or .ps format. - Please use the following link https://www.easychair.org/conferences/?conf=sseasss12 for your submission. If you're interested in promoting the EASSS'12 student Session at your in- stitution feel free to forward or download, print and distribute the flyer. Student Session PC Chairs -------------------- - Tina Balke, University of Surrey, UK - Tingting Li, University of Bath, UK ----------------------------- Dr. M. Birna van Riemsdijk assistant professor Interactive Intelligence Group Department of Mediamatics Faculty of Electrical Engineering, Mathematics and Computer Science Delft University of Technology Mekelweg 4 2628 CD Delft The Netherlands Room: HB 12.040 Telephone: +31 (0)15 2786331 Fax: +31 (0)15 2787141 Website: http://mmi.tudelft.nl/~birna/ Twitter: @mbirna From fabrizio.riguzzi at unife.it Thu Apr 5 17:25:55 2012 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Thu, 5 Apr 2012 17:25:55 +0200 Subject: CFP - ILP 2012 - The 22nd International Conference on Inductive Logic Programming Message-ID: CFP - ILP 2012 - The 22nd International Conference on Inductive Logic Programming Dubrovnik, Croatia, September 17-19, 2012 http://ida.felk.cvut.cz/ilp2012 KEY DATES: May 7: Abstracts of long papers due May 11: Long papers due June 4: Notification for long papers July 3: Short/published papers due July 24: Notification for short/published papers September 17-19: Conference INVITED SPEAKERS: Luc de Raedt: Declarative Modelling for Machine Learning Ben Taskar: Geometry of Diversity and Determinantal Point Processes: Representation, Inference and Learning CALL FOR PAPERS The ILP conference series, started in 1991, is the premier international forum on learning from structured data. Originally focusing on the induction of logic programs, it broadened its scope and attracted a lot of attention and interest in recent years. Authors are invited to submit papers presenting original results on all aspects of learning in logic, multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, and other forms of learning from structured data. Typical, but not exclusive, topics of interest for submissions include: - theoretical aspects: learning scenarios, data/model representation frameworks, their computational and/or statistical properties, etc. - algorithmic and implementation aspects: sclability, efficiency, parallelism, management of algorithms and/or discovered patterns, discovery workflows, etc. - applications of learning from relational data in areas of science (bioinformatics, cheminformatics, medical informatics, etc.), natural language processing (computational linguistics, text and web mining etc.), engineering, the arts, etc. We solicit three kinds of papers: 1) Long papers describing original mature work containing appropriate experimental evaluation and/or representing a self-contained theoretical contribution. Long papers will be reviewed by 3 members of the program committee. Authors will be notified prior to the conference on acceptance/rejection for the Springer post-conference proceedings. Authors of accepted papers will be assigned a standard time slot for presentation. 2) Short papers describing original work in progress, brief accounts of original ideas without conclusive experimental evaluation, and other relevant work of potentially high scientific interest but not yet qualifying for the long paper category. The PC chairs will accept/reject short papers on the grounds of relevance. Authors of accepted short papers will be assigned a reduced time slot for presentation. Each short paper will be reviewed by 3 members of the program committee on the basis of both the manuscript and its presentation, and the authors of selected papers will be invited to submit a long version for the Springer post-conference proceedings; the paper will be finally accepted if satisfactorily addressing the reviewer's requirements. 3) Papers relevant to the conference topics and recently published or accepted for publication by a first-class conference such as ECML/PKDD, ICML, KDD, ICDM etc. or journal such as MLJ, DMKD, JMLR etc. The PC chairs will accept/reject such papers on the grounds of relevance and quality of the original publication venue. Authors of accepted papers will be assigned a reduced time slot for presentation. These papers will not appear in the Springer post-conference proceedings. Submissions in category 1 or 2 must not have been published or be under review for a journal or for another conference with published proceedings. They should be submitted in the Springer LNCS format. Long (short) papers must not exceed 12 (6) pages. Papers in category 3 should be submitted in their original format and the authors should indicate the original publication venue. A special issue of the Machine Learning journal is planned following the conference, with papers selected by the PC from all the three categories above, significantly revised and/or extended to meet the MLJ criteria, and re-reviewed by the PC. Program Chairs Fabrizio Riguzzi, University of Ferrara, Italy Filip Železný, Czech Technical University in Prague, Czech Republic Local Organizers Nada Lavrač, Jozef Stefan Institute, Slovenia Tina Anžič, Jozef Stefan Institute, Slovenia Program Committee Érick Alphonse, France Dalal Alrajeh, UK Annalisa Appice, Italy Ivan Bratko, Slovenia Rui Camacho, Portugal James Cussens, UK Saso Dzeroski, Slovenia Floriana Esposito, Italy Nicola Fanizzi, Italy Daan Fierens, Belgium Nuno Fonseca, Portugal Tamás Horváth, Germany Katsumi Inoue, Japan Nobuhiro Inuzuka, Japan Andreas Karwath, Germany Kristian Kersting, Germany Ross King, Wales Ekaterina Komendantskaya, UK Stefan Kramer, Germany Nada Lavrac, Slovenia Francesca Alessandra Lisi, Italy Donato Malerba, Italy Stephen Muggleton, UK Ramon Otero, Spain Aline Paes, Brasil David Page, USA Bernhard Pfahringer, NZ Ganesh Ramakrishnan, India Jan Ramon, Belgium Oliver Ray, UK Chiaki Sakama, Japan José Santos, UK Vitor Santos Costa, Portugal Michèle Sebag, France Jude W. Shavlik, USA Takayoshi Shoudai, Japan Aswhin Srinivasan, India Prasad Tadepalli, USA Alireza Tamaddoni-Nezhad, UK Tomoyuki Uchida, Japan Christel Vrain, France Stefan Wrobel, Germany Akihiro Yamamoto, Japan Gerson Zaverucha, Brazil From frank.loebe at informatik.uni-leipzig.de Thu Apr 5 18:24:20 2012 From: frank.loebe at informatik.uni-leipzig.de (frank.loebe at informatik.uni-leipzig.de) Date: Thu, 5 Apr 2012 18:24:20 +0200 Subject: FOIS 2012: Early registration period ends on Apr 15 (Call for Participation: Formal Ontology in Information Systems, Jul 24-27, Graz, Austria) Message-ID: <201204051624.q35GOPBS022928@isun.informatik.uni-leipzig.de> (apologies for cross-posting) ... (please distribute) ----------------------------------------------------------------- CALL FOR PARTICIPATION [ early registration reminder ] >>> FOIS 2012 <<< Jul 24-27, Graz, Austria [1] http://purl.org/icbofois2012 -> Approaching DEADLINES: !!(also for co-located workshops ODISE, OSEMA, WoMO, see [6,8])!! * Student Travel Grant Application Deadline: Apr 08, 2012 * Early Registration Deadline for FOIS 2012: Apr 15, 2012 ------------------------------------------------ TITLE AND CO-LOCATION ------------------------------------------------ Seventh International Conference on Formal Ontology in Information Systems (FOIS 2012) July, 24-27, 2012 in Graz, Austria held together with the Third International Conference on Biomedical Ontology (ICBO 2012) ------------------------------------------------ DEFINITION AND SCOPE ------------------------------------------------ Researchers in diverse areas increasingly recognize the need for serious engagement with ontology, understood as a general theory of the types of entities and relations making up their respective domains of enquiry, in providing a solid foundation for their work. Among these areas there are * conceptual modeling, * database design, * software engineering, * organizational modeling, * artificial intelligence, * computational linguistics, * the life sciences, * bioinformatics, * geographic information science, * knowledge engineering, * information retrieval, and * the semantic web. The FOIS conference is designed to provide a meeting point for interdisciplinary research and communication for researchers from all interested disciplines. The conference series [2] began with the first meeting in Trento, Italy in June 1998 followed by meetings in 2001, 2004, 2006, 2008, and 2010. The seventh FOIS conference will be held in Graz, Austria July 24-27, 2012, in conjunction with the third International Conference on Biomedical Ontology (ICBO 2012). For further general information on FOIS, the flagship conference of the International Association for Ontology and its Applications (IAOA) [3], please consult the websites of FOIS 2012 [1] or the conference series website [2]. ------------------------------------------------ IMPORTANT DATES and SELECTED FEES (FOIS only) ------------------------------------------------ Student travel grant application: Apr 08, 2012 <-- Early registration (200 - 420 EUR): Apr 15, 2012 <-- Regular registration (300 - 620 EUR): Jun 30, 2012 Late registration: (350 - 720 EUR): Jul 27, 2012 Conference dates: Jul 24-27, 2012 There are special rates for combining FOIS and ICBO. Additional rates apply per tutorial and per workshop. For details, please see [4-6]. [4] http://www.kr-med.org/icbofois2012/registration.htm ------------------------------------------------ TRAVEL FUNDING ------------------------------------------------ A limited number of travel grants may become available to student authors that are IAOA members. Interested applicants should contact Ludger Jansen [7] for further information until ->> Apr 08, 2012 <<- . Prospective applications are possible (e.g., prior to poster submission). ------------------------------------------------ KEYNOTES ------------------------------------------------ "Observing Formal Ontology from the Street" Steven R. Ray (Carnegie Mellon Silicon Valley, California, USA) "Improving the Coherence of Lexical Resources and Ontologies" Laure Vieu (CNRS-IRIT, Toulouse, France) "A Computational, Meta-Ontological Framework" Edward N. Zalta (Stanford University, California, USA) ------------------------------------------------ ACCEPTED PAPERS ------------------------------------------------ The following conference paper submissions have been accepted for presentation at FOIS 2012: * Ontology of Time in GFO (Ringo Baumann, Frank Loebe and Heinrich Herre) * States, Processes and Events, and the Ontology of Causal Relations (Antony Galton) * Three Semantics for the Core of the Distributed Ontology Language (Till Mossakowski, Christoph Lange and Oliver Kutz) * Probability assignments to dispositions in ontologies (Adrien Barton, Anita Burgun and Régis Duvauferrier) * The mysterious appearance of objects (Roberta Ferrario, Emanuele Bottazzi and Claudio Masolo) * A Method for Evaluating Ontologies: Introducing the BFO-Rigidity Decision Tree Wizard (Ali Seyed) * Does your ontology make a (sense) difference? (Pawel Garbacz) * Axiomatizing Change-of-state Words (Niloofar Montazeri and Jerry R. Hobbs) * Using Partial Automorphisms to Design Process Ontologies (Bahar Aameri) * Toward a Commonsense Theory of Microsociology: Interpersonal Relationships (Jerry Hobbs, Alicia Sagae and Suzanne Wertheim) * Suggestions for Galaxy Workflow Design Using Semantically Annotated Services (Alok Dhamanaskar, Michael Cotterell, Jie Zheng, Jessie Kissinger, Christian Stoeckert and John Miller) * An Ontology for Skill and Competency Management (Maryam Fazel-Zarandi and Mark S. Fox) * A Temporal Extension of the Hayes/ter Horst Entailment Rules and an Alternative to W3C's N-ary Relations (Hans-Ulrich Krieger) * A method for re-engineering a thesaurus into an ontology (Daniel Kless, Ludger Jansen, Jutta Lindenthal and Jens Wiebensohn) * Preliminaries to a formal ontology of failure of engineering artifacts (Luca Del Frate) * The Void in Hydro Ontology (Torsten Hahmann and Boyan Brodaric) * Integrating OntoClean's Notion of Unity and Identity with a Theory of Classes and Types (Ali Seyed) * Maturation of Neuroscience Information Framework: An Ontology Driven Information System for Neuroscience (Fahim Imam, Stephen Larson, Anita Bandrowski, Jeffrey Grethe, Amarnath Gupta and Mary Ann Martone) * Elements for a linguistic ontology in the verbal domain (Tovena Lucia) * Towards A Unified Definition of Function (Riichiro Mizoguchi, Yoshinobu Kitamura and Stefano Borgo) * The Date-Time Vocabulary (Mark Linehan, Ed Barkmeyer and Stan Hendryx) * Interactive Semantic Feedback for Intuitive Ontology Authoring (Ronald Denaux, Dhavalkumar Thakker, Vania Dimitrova and Anthony Cohn) * Ontology Content "At A Glance" (Gökhan Coskun, Mario Rothe and Adrian Paschke) * Towards the Ontological Commitment of a Database Schema on the Geological Domain (Alda Maria Silva and Maria Claudia Cavalcanti) ------------------------------------------------ CONFERENCE ORGANISATION ------------------------------------------------ Conference chair: Michael Gruninger (University of Toronto, Canada) Program chairs: Maureen Donnelly (University at Buffalo, USA) Giancarlo Guizzardi (Fed. Univ. of Espírito Santo, Brazil) Local organization: Stefan Schulz (Graz University, Austria) For the FOIS programme committee, please see the FOIS 2012 website [1]. ------------------------------------------------ OPEN SUBMISSION OPPORTUNITIES ------------------------------------------------ There are still open calls for submissions of * workshop papers [8], * posters (!for young scientists only!) [9], and the * Early Career Symposium [10]. See [11] for the submission dates. ------------------------------------------------ LINKS ------------------------------------------------ [1] http://purl.org/icbofois2012 == http://www.kr-med.org/icbofois2012 FOIS and ICBO 2012 website [2] http://www.formalontology.org/ FOIS conference series [3] http://www.iaoa.org International Association for Ontology and Its Applications [4] http://www.kr-med.org/icbofois2012/registration.htm FOIS/ICBO page with registration information [5] http://de.amiando.com/icbofois2012registration.html FOIS/ICBO online registration [6] http://www.kr-med.org/icbofois2012/graph/rates.png FOIS/ICBO registration rates overview [7] http://www.iph.uni-rostock.de/Vita-Jansen.22.0.html Homepage of Ludger Jansen (with email address) [8] http://www.kr-med.org/icbofois2012/foisws.htm FOIS tutorial and workshop page ODISE == Ontology Driven Information Systems Engineering OSEMA == Ontology and Semantic Web for Manufacturing WoMO == Workshop on Modular Ontologies [9] http://www.kr-med.org/icbofois2012/foispos.htm FOIS call for submissions [10] http://www.kr-med.org/icbofois2012/doccons.htm Joint ICBO/FOIS Early Carreer Symposium [11] http://www.kr-med.org/icbofois2012/dates.htm FOIS/ICBO Important dates page ----------------------------------------------------------------- From cfp at grid.chu.edu.tw Fri Apr 6 04:40:23 2012 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Fri, 6 Apr 2012 10:40:23 +0800 Subject: IEEE CloudCom 2012 - Call For Papers (Taipei, Taiwan, December 03-06, 2012) Message-ID: <201204060240.q362eNjJ013074@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From gregory.bonnet at unicaen.fr Fri Apr 6 15:59:35 2012 From: gregory.bonnet at unicaen.fr (=?windows-1252?Q?Gr=E9gory_Bonnet?=) Date: Fri, 06 Apr 2012 15:59:35 +0200 Subject: 2nd CFP : 1st Workshop on Rights and Duties of Autonomous Agents (RDA2) at ECAI 2012 In-Reply-To: <71F5653F-24AC-4834-ADA3-D9E37C81DCAF@emse.fr> References: <71F5653F-24AC-4834-ADA3-D9E37C81DCAF@emse.fr> Message-ID: <4F7EF6C7.1030003@unicaen.fr> With apologies for multiple posting. Please forward to interested parties. -------------------------------------------------------------------- 2nd Call for Papers -------------------------------------------------------------------- --RDA2-- "Rights and Duties of Autonomous Agents'' Workshop at ECAI 2012 August 27 or 28, 2012 Montpellier, France https://rda2-2012.greyc.fr/ -------------------------------------------------------------------- The autonomous decision capability embedded in software or robot agents is one of the major issues of Artificial Intelligence. It is a core property for AI applications such as e-commerce, serious games, ambient computing, social or collective robotics, companion robots, unmanned vehicles. Autonomous agents decide and act in a given context or environment and under domain constraints, and possibly interact with other agents or human beings e.g. to share tasks or to execute tasks on behalf of others. It is thus important to define regulation and control mechanisms to ensure sound and consistent behaviours both at the agent’s individual level and at the multi-agent level. Organisation models, conversation policies, normative systems, constraints, logical frameworks address the problem of how agents’ autonomous behaviours should be controlled, paving the way for formal or pragmatic definitions of agents’ Rights and Duties. The issue is all the more important as autonomous agents may encounter new situations, evolve in open environments, interact with agents based on different design principles, act on behalf of human beings and share common resources. For instance: should an autonomous agent take over the control from a human operator? under which circumstances? The aim of this workshop is to promote discussions and exchanges on the different issues raised by autonomous agents’ Rights and Duties and models that can be proposed to represent and reason on Rights and Duties. TOPICS OF INTEREST We encourage contributions from the following research and application areas: • Autonomous agents and privacy protection • Rights and duties for learning agents • Authority sharing between autonomous agents and human users or operators • Rights and duties of autonomous agents towards other agents; towards human users or operators • Rights and duties of human users or operators towards autonomous agents (especially robots) • Consistency, conflicts among rights and duties in multi-agent and human/agent systems • Mutual intelligibility, explanations • Rights and duties vs failures • Rights and duties of autonomous agents and ethical issues • Control of autonomous agents within organisations, institutions, normative systems • Sociology and law in the modelling of rights and duties: authority, power, dependence, penalty, contracts • Trust and reputation for autonomous agents regulation • Emergence and evolution of rights and duties • Knowledge representation and models for rights and duties • Reasoning on rights and duties • Validation of rights and duties in autonomous agents IMPORTANT DATES June 1st 2012: workshop paper submission deadline June 28th 2012: notification to authors July 9th 2012: camera ready copy submission August 27 or 28, 2012: workshop date SUBMISSION DETAILS Papers must not exceed SIX (6) pages in pdf format, using the ECAI formatting style: http://people.cs.kuleuven.be/%7Eluc.deraedt/ecai2012-style.zip Submissions are via EasyChair at: https://www.easychair.org/conferences/?conf=rda22012 The workshop proceedings will be published as CEUR proceedings. In addition, the organizers will apply for a special issue of an international journal where extended versions of selected papers of the workshop shall be published. For further information on the workshop:https://rda2-2012.greyc.fr/ -- Grégory Bonnet Assistant Professor (MAD Team - GREYC) www.gregory.bonnet.free.fr From ci-listen at in.tu-clausthal.de Thu Apr 12 12:20:47 2012 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIGh) Date: Thu, 12 Apr 2012 12:20:47 +0200 Subject: Modification in Event List distribution form Message-ID: Dear Subscribers to the Event List, In order to improve the user-friendliness of the list, and given the large amount of events that we receive, we decided to change the default distribution method from FEED mode to DIGEST mode. This way, multiple events will be grouped and received in a single email which will be sent periodically. Please note that the distribution mode is optional. You can switch back to FEED mode at any time, by simply sending an empty email message to the address event-feed at in.tu-clausthal.de. You can then switch to DIGEST mode again by sending an empty email to event-digest at in.tu-clausthal.de. Best Regards, Federico Schlesinger From ph_r at gmx.net Fri Apr 6 18:59:20 2012 From: ph_r at gmx.net (Philipp Ruemmer) Date: Fri, 06 Apr 2012 18:59:20 +0200 Subject: Final Call for Papers - LfSA'12 - Logics for System Analysis Message-ID: <1333731565.6154.5.camel@hal3> Final Call for Papers -------------------------------------------------- LfSA'12 -- Logics for System Analysis http://www.ls.cs.cmu.edu/LfSA12 -------------------------------------------------- Workshop Affiliated with CAV 2012 July 7th, 2012, Berkeley, USA Safety-critical systems frequently occur as real-time systems, embedded systems, hybrid systems, distributed systems, and cyber-physical systems. They are also becoming more and more important in many application domains, including aviation, automotive, railway, robotic, or medical applications, where both safety and security are relevant aspects. To ensure the correct functioning of safety-critical systems it is necessary to model and reason about hardware, software, communication aspects, physical properties, and the system environment. LfSA’12 is the second workshop on Logics for System Analysis, devoted to the systematic theoretical study, practical development, and applied use of logics for system analysis. The purpose of the LfSA workshop is to bring together researchers and practitioners interested in studying practically relevant systems or in developing the logical foundations and analysis tools for their study. Topics include * Logics for safety-critical systems (real-time, embedded, hybrid, distributed, stochastic, cyber-physical) * Logic-based methods for development of safety-critical systems * Logics to study security aspects of systems or protocols * System representations using logics, automata, modeling languages, state charts, Petri nets, dataflow models * Theories, decision procedures, and calculi for system analysis * Model checking, theorem proving, and systematic testing * Case studies for logical system analysis * Applications of system analysis to industrial problems In particular, we invite contributions that bridge the gap between theory and practice or that combine different application domains. Submission Categories --------------------- * Regular papers (up to 15 pages), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. * Short papers (up to 5 pages), which describe work in progress or aim at initiating discussions. * Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop; such papers will not be included in the LfSA proceedings but will be presented during the workshop. In addition to informal and electronic workshop proceedings, we consider the option of a special issue in a journal after the workshop Workshop/Programme Chairs ------------------------- Andre Platzer Carnegie Mellon University Philipp Ruemmer Uppsala University Programme Committee ------------------- A. Banerjee (IMDEA Madrid) R. Barbosa (U. Coimbra) F. S. de Boer (CWI Amsterdam) A. Cimatti (IRST Trento) M. Dam (KTH Stockholm) S. Demri (CNRS Cachan) M. Giese (U. of Oslo) I. Hasuo (U. Tokyo) F. Ivancic (NEC Lab. Princeton) E. B. Johnsen (U. of Oslo) V. Sofronie-Stokkermans (U. Koblenz) U. Waldmann (MPI Saarbrücken) Important Dates/Deadlines ------------------------- Abstract submission: April 13, 2012 Paper submission: April 20, 2012 Notification: June 8, 2012 Final version: June 29, 2012 Workshop: July 7, 2012 Workshop Webpage ---------------- http://www.ls.cs.cmu.edu/LfSA12 Submission via Easychair ------------------------ https://www.easychair.org/conferences/?conf=lfsa12 From cp2012a at gmail.com Fri Apr 6 21:34:08 2012 From: cp2012a at gmail.com (Association ConstraintProgramming) Date: Fri, 6 Apr 2012 20:34:08 +0100 Subject: Final CFP: 18th International Conference on Principles & Practice of Constraint Programming Message-ID: With apologies for multiple copies. If you are a researcher from another field, we would particularly like to draw your attention to the multidisciplinary track: Call for Papers CP 2012 Eighteenth International Conference on Principles and Practice of Constraint Programming October 8-12, 2012 Quebec City, Canada Deadline for abstract submission: April 19, 2012 Deadline for Paper Submissions: April 23, 2012 http://www.cp2012.org/ -------- SCOPE -------- The CP conference is the annual international conference on constraint programming. It is concerned with all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, and agreement technologies. CP 2012 includes a technical program, where presentations of research papers as well as invited talks aim at describing the best results and techniques in the state-of-the-art of constraint programming. One day of Workshops precedes the conference. Tutorials and the Doctoral Program will form part of the main conference. Papers are solicited from all disciplines concerned with constraints. ------------------ APPLICATION TRACK ------------------ Reports on successful applications of constraint technology are particularly encouraged and are subject to special Applications track acceptance criteria. ------------------------ MULTIDISCIPLINARY TRACK ------------------------ Beside the application track, this year, for the first time a track on "Multidisciplinary papers: cross-cutting methodology and challenging applications" welcomes papers that link CP technology with other techniques like (this is not an exhaustive list) machine learning, data mining, game theory, simulation, knowledge compilation, visualization, control theory and robotics. In addition challenging application fields with a high social impact are especially welcome: some examples (not an exhaustive list) are CP for life sciences, CP for sustainability, CP for energy efficiency, CP for the web, CP for social sciences, CP for finance, CP for verification. ------------------------ CONFERENCE PROCEEDINGS ------------------------ The conference proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series. Full paper submissions are limited to 15 LNCS pages (+ references), while Short paper submissions are limited to 8 pages (+ references). Short papers will be reviewed to the same standards of quality as full papers, but will naturally contain less quantity of new material. Short papers will have the same status as long papers and be eligible for the best paper prize. ------------------------------------ POST-CONFERENCE JOURNAL PUBLICATION ------------------------------------ Selected papers submitted to the main conference and application track which receive excellent reviews from the referees will be invited to submit a revised paper for fast track review in the Constraints journal. Selected papers submitted to the Multidisciplinary track, which receive excellent reviews from the referees, and which fit the scope of the Artificial Intelligence journal, will be invited to submit a revised paper for fast track review in the AI journal. Further information is provided on the conference webpage. ----------------- IMPORTANT DATES ----------------- Deadline for abstract submission: April 19, 2012 Deadline for Paper Submissions: April 23, 2012 Provisional Reviews to authors: May 25, 2012 Authors feedback due: May 27, 2012 Notification of Acceptance: June 3, 2012 Camera Ready Manuscript due: July 1, 2012 -------------- ORGANIZATION -------------- CONFERENCE CHAIRS Gilles Pesant Claude-Guy Quimper PROGRAM CHAIR Michela Milano DOCTORAL PROGRAM CHAIRS Michele Lombardi Stanislav Zivny WORKSHOP CHAIR Meinolf Sellmann PUBLICITY CHAIRS Ian Miguel Thierry Moisan SPONSORSHIP CHAIR Louis-Martin Rousseau SENIOR PROGRAM COMMITTEE Christian Bessiere David Cohen Amnon Meisels Pierre Flener Alan Frisch Enrico Giunchiglia Carla Gomes John Hooker Laurent Michel Jean-Charles Regin Thomas Schiex Peter Stuckey Pascal Van Hentenryck Mark Wallace Toby Walsh MULTI-DISCIPLINARY TRACK CHAIR Barry O'Sullivan APPLICATION TRACK CHAIR Helmut Simonis _______________________ INSTRUCTION FOR AUTHORS _______________________ http://www.cp2012.org/submission.php -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From iccs12.agadir at gmail.com Sun Apr 8 14:57:24 2012 From: iccs12.agadir at gmail.com (M Nemiche) Date: Sun, 8 Apr 2012 14:57:24 +0200 Subject: Deadline Approaching - International Conference on Complex Systems Message-ID: Apologies if you receive multiple copies. ___________________ICCS’12 || CALL FOR PAPERS____________________ International Conference on Complex Systems ICCS'12 is an IEEE technically co-sponsored conference November 5-6, 2012 Agadir, Morocco http://iccs12.org Submission deadline: April 30, 2012 ________________________________________________________________ An International Conference on Complex Systems (ICCS'12) will be organized by Ibn Zohr University in Agadir, Morocco on November 5-6, 2012. The city of Agadir is considered one of the most attractive touristic areas on the African continent. Agadir enjoys clement weather year-round, including the month of November. ICCS'12 will provide a high-level, international forum for scientists, researchers, industrial professionals, and students who will present state-of-the-art research results, address new challenges, and discuss trends in Computational Intelligence, Cybernetics, General Systems Theory, and their applications in diverse fields. All presented papers will be published in the conference proceedings and included in IEEE Xplore Digital Library Authors of selected papers will be invited to submit extended versions of their papers to the International Journal of Computational Intelligence Systems (IJCIS). International Journal of Computational Intelligence Systems (IJCIS) Impact Factor 1,471 Extended versions of selected papers will be published in the special issue of the following journals: 1. International Journal of Artificial Intelligence and Soft Computing (IJAISC) 2. International Journal of Systems, Control and Communications (IJSCC) 3. International Journal of Applied Evolutionary Computation (IJAEC) 4. International Journal on Information & Communication Technologies (IJICT) The topics of interest include, but are not limited to: - Fuzzy Set Theory and Fuzzy Systems - Fractals, Chaos Theory and Chaotic Systems - Artificial Neural Networks - Genetic and Evolutionary Algorithms - Adaptive Agents and Multi-agent Learning - Multi-agent Social Simulation and Cognitive Modeling with Agents - Agent-Based Modeling and Simulation - Agent and Multi-agent Architectures - Game Theory, Strategic Decision-Making in Competitive Environments - Modeling and Control Systems - Diagnosis and Fault-tolerant Control Systems - Hardware-Software Co-Design, Embedded Systems - Complex Biomedical Engineering - Complex Dynamic Systems and Globalization - General System Theory and Methodology - Complex Social and Ecological Systems - Economical, Political and Juridical Systems - Socio-Cultural and Behavioral Modeling - Mathematical Methods in Cybernetics and Systems Theory - Sociocybernetics and Mathematical Sociology CONTACT M. Nemiche nemiche at uv.es DEADLINES Paper Submission: April 30, 2012 Acceptance notification to authors: June 30, 2012 Final version and registration: July 28, 2012 ICCS'12 Conference: November 5-6, 2012 From M.M.Dastani at uu.nl Tue Apr 10 11:25:34 2012 From: M.M.Dastani at uu.nl (Mehdi Dastani) Date: Tue, 10 Apr 2012 11:25:34 +0200 Subject: CFP CLIMA: Special session on Logics for Multi-Agent Programming Message-ID: <4F83FC8E.5040108@uu.nl> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Special session on *** Logics for Multi-Agent Programming *** CLIMA XIII 13th International Workshop on Computational Logic in Multi-Agent Systems http://www.csc.liv.ac.uk/~michael/clima2012sessions.html Montpellier, France, August 27-28, 2012 Affiliated with ECAI 2012 Submission deadline: 28 May 2012 Call for Papers ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ INTRODUCTION The development of multi-agent systems requires programming languages to implement individual agents, the organisation in which they operate, and the environment with which they interact. Logic plays a fundamental role in the multi-agent programming research field. Executable logic specifications and logic programming can be used to implement multi-agent systems. Logic reasoning engines can be used in the interpreters of multi-agent programming languages to reason about components of multi-agent systems such as an agent's goals and beliefs, the norms and commitments within the agents' organisation, or the state of the agents' environment. Finally, logic can be used to specify the syntax and semantics of multi-agent programming languages, or to verify and reason about multi-agent programs. This special session on Logics for multi-agent programming invites contributions focusing on the use of logic in multi-agent programming research field. - Logical foundation of multi-agent programming - Logical semantics for multi-agent programming languages - Logics for specification and verification of multi-agent programs - Knowledge representation and reasoning for multi-agent programming SUBMISSION We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Papers are submitted to the special session by following the submission instructions for CLIMA: http://www.csc.liv.ac.uk/~michael/clima2012subs.html The special session on Logics for Multi-Agent Programming is chosen under "category" in Easychair. PROCEEDINGS AND POST-PROCEEDINGS LNCS Proceedings: All the accepted papers (including special session papers) will be published by Springer as a volume in Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Important dates: * Submission: May 28th * Notification: June 16th * Camera Ready: June 23rd Special Session Organiser: * Mehdi Dastani, Utrecht University, The Netherlands In case of questions, please do not hesitate to contact us at m.m.dastani at uu.nl (enquiries particularly related to the special session) or clima13 at easychair.org (general CLIMA enquiries). -- Mehdi Dastani Intelligent Systems Group Utrecht University P.O.Box 80.089 3508 TB Utrecht The Netherlands Tel: +31 - 30 - 253 3599 Fax: +31 - 30 - 251 3791 URL:http://www.cs.uu.nl/~mehdi From ruy at cin.ufpe.br Tue Apr 10 13:07:41 2012 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Tue, 10 Apr 2012 08:07:41 -0300 Subject: WoLLIC 2012 - Call for Papers In-Reply-To: References: Message-ID: *WoLLIC 2012 * *19**th** Workshop on Logic, Language, Information and Computation * *September 3**rd** to 6**th**, 2012* *University of Buenos Aires Buenos Aires, Argentina* *Scientific Sponsorship* *Interest Group in Pure and Applied Logics (**IGPL* *)* *The Association for Logic, Language and Information (**FoLLI* *)* *Association for Symbolic Logic (**ASL* *)* *European Association for Theoretical Computer Science (**EATCS* *)* *European Association for Computer Science Logic (**EACSL* *)* *Sociedade Brasileira de Computação (**SBC* *)* *Sociedade Brasileira de Lógica (**SBL* *)* *Organisation* *Departamento de Computación* *, **Universidad de Buenos Aires* *, Argentina **Centro de Informática* *, **Universidade Federal de Pernambuco* *, Brazil * *Call for Papers* WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The nineteenth WoLLIC will be held at the University of Buenos Aires, Argentina, from September 3rd to 6th, 2012. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), theEuropean Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). *Paper submission* Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2012 EasyChair website. (Please go to http://wollic.org/wollic2012/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by April 27th, and the full paper by May 4th (firm date). Notifications are expected by June 8th, and final papers for the proceedings will be due by June 15th (firm date). *Proceedings* The proceedings of WoLLIC 2012, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the *Logic Journal of the IGPL*, and selected contributions will be published as a special post-conference WoLLIC 2012 issue of a scientific journal (to be confirmed). *Invited Speakers* - ***Andrea Asperti* (Bologna) - ***Hans van Ditmarsch* (Sevilla) - ***Laura Kallmeyer* * *(Düselldorf) - ***George Metcalfe* (Nashville) - ***Anca Muscholl * (Bordeaux) - *Andre Nies* (Auckland) - ***Peter Selinger* (Halifax) - *Nicole Schweikardt* (Frankfurt) *Student Grants* ASL sponsorship of WoLLIC 2012 will permit ASL student members to apply for a modest travel grant (deadline: June 1st, 2012). See http://www.aslonline.org/studenttravelawards.html for details. *Important Dates* - *April 27th 2012*: Paper title and abstract deadline - *May 4th, 2012*: Full paper deadline (firm) - June 8th, 2012: Author notification - June 15th, 2012: Final version deadline (firm) *Programme Committee* - Carlos Areces (Cordoba) - Marcelo Arenas (Santiago) - Steve Awodey (Pittsburgh) - Verónica Becher (Buenos Aires) - Patrick Blackburn (Roskilde) - Maribel Fernandez (London) - Santiago Figueira (Buenos Aires) - Marcelo Finger (São Paulo) - Marcelo Fiore (Cambridge) - Yuxi Fu (Shanghai) - Rosalie Iemhoff (Utrecht) - Neil Immerman (Amherst) - Jean-Pierre Jouannaud (Paris) - Makoto Kanazawa (Tokyo) - Delia Kesner (Paris) - Dexter Kozen (Ithaca) - Martin Lange (Kassel) - Benedikt Löwe (Amsterdam) - Dag Normann (Oslo) - Luke Ong (Oxford) (CHAIR) - Erik Palmgren (Uppsala) - Sylvain Salvati (Bordeaux) - Philippe Schnoebelen (Cachan) - Fernando Souza (Recife) - Kazushige Terui (Kyoto) *Steering Committee* - Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz. *Organising Committee* - Carlos Areces (U Nacional Cordoba) (co-chair) (Local co-chair) - Santiago Figueira (U Buenos Aires) (Local co-chair) - Anjolina G. de Oliveira (U Fed Pernambuco) - Ruy de Queiroz (U Fed Pernambuco) (co-chair) *Further information* Contact one of the Co-Chairs of the Organising Committee. *Web page* http://wollic.org/wollic2012/ *Last modified: April 4, 2012 05:13pm GMT-3.* -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From homola at fmph.uniba.sk Tue Apr 10 15:24:33 2012 From: homola at fmph.uniba.sk (Martin Homola) Date: Tue, 10 Apr 2012 15:24:33 +0200 Subject: ARCOE-12: Second call for papers Message-ID: <20120410132432.GB32238@fmph.uniba.sk> === CALL FOR PAPERS === Acquisition, Representation and Reasoning with Contextualized Knowledge, 4th International Workshop (ARCOE-12) http://www.arcoe.org/2012 held in collocation with 20th European Conference on Artificial Intelligence (ECAI-12) Montpellier, France -- Important Dates -- Submission deadline: 28 May 2012 Notification: 28 June 2012 Camera ready: 15 July 2012 Early registration: [TBA] Late registration: [TBA] Workshop dates: 27-28 August 2012 -- Description of the workshop -- Dealing with context is one of the most interesting and most important problems faced in Artificial Intelligence (AI). Traditional AI applications often require to model, store, retrieve and reason about knowledge that holds within certain circumstances - the context. Without considering this contextual information, reasoning can easily run to problems such as: inconsistency, when considering knowledge in the wrong context; inefficiency, by considering knowledge irrelevant for a certain context; incompleteness, since an inference may depend on knowledge assumed in the context and not explicitly stated. Contextual information is also relevant in many tasks in knowledge representation and reasoning such as common-sense reasoning, dealing with inconsistency, ambiguity, and uncertainty, evolution, etc. In recent years, research in contextual knowledge representation and reasoning became more relevant in the areas of Semantic Web, Linked Open Data, and Ambient Intelligence, where knowledge is not considered a monolithic and static asset, but it is distributed in a network of interconnected heterogeneous and evolving knowledge resources. The ARCOE workshop aims to provide a dedicated forum for researchers interested in these topics to discuss recent developments, important open issues, and future directions. -- Topics -- ARCOE-12 welcomes submissions on the topics below as well as on their intersection and other topics related to acquisition, representation, reasoning with context and its applications. Philosophical and theoretical foundations of context: 1. What is context and how should it be represented. 2. Relevant types of contextual information and their properties. 3. Combining contextual information with object information for reasoning. 4. Context and common-sense reasoning. 5. Exploiting context in inconsistency and uncertainty handling, defeasible reasoning and argumentation. 6. Contextual logic programming. 7. Updating contextual knowledge and context-aware belief revision. 8. Frameworks for formalizing context and context-aware knowledge representation. Context modeling and contextual knowledge engineering: 1. Modeling of user's/agent's context. 2. Context driven organization of knowledge and modeling. 3. Ontologies for context modeling. 4. Context-aware modeling tools and methodology. 5. Comparisons to context-unaware modeling techniques. Effective reasoning with context: 1. Effective context-aware reasoning algorithms. 2. Distributed reasoning with context. 3. Context-driven heuristics in classical reasoning systems. 4. Reasoning under uncertainty and inconsitency. 5. Defeasible reasoning. 4. Hybrid formalisms for reasoning with context, including sub-symbolic contexts Applications of context in areas such as: 1. Agent communication and coordination. 2. Semantic Web and Linked Open Data. 3. Knowledge modularization. 4. Ontology matching. 5. Ontology fault diagnosis and repair. 6. Ontology evolution and versioning. 7. Information integration. 8. Ambient intelligence and pervasive computing. 9. Exploiting context in Web 2.0 applications, e-commerce, and e-learning. -- Submission Requirements -- Papers of two types can be submitted. Regular papers are intended for research reports and surveys. ARCOE also welcomes reports on significant work in progress which has already achieved some interesting partial results, as well as papers recently submitted or published elsewhere as long as their topic is in line with the workshop. Regular papers should not exceed 12 pages in length including references. Position papers are intended for presentation of interesting new open issues and challenges, and opinions on the status of the field. Position papers are limited to 6 pages including references. All papers must be formatted using the Springer LNCS style: http://www.springer.com/comp/lncs/Authors.html and submitted in PDF format via EasyChair using: https://www.easychair.org/conferences/?conf=arcoe12 The distinction during the selection-phase will be based on 1) Relevance, significance and quality of the submission; 2) The contribution's potential to foster cross-pollination and discussions on ARCOE main themes during the event. Accepted papers will be presented either as oral presentations or as posters, depending on the choice of the program committee. However, all accepted papers will be included in the Working Notes in their full form and will be accessible via the Internet. -- Invited Speakers -- * Alan Bundy, University of Edinburgh * Luciano Serafini, Fondazione Bruno Kessler, Trento -- Workshop Co-Chairs -- * Michael Fink, Vienna University of Technology * Martin Homola (primary contact), Comenius University, Bratislava * Alessandra Mileo, DERI, National University of Ireland * Ivan Jose Varzinczak, Centre for Artificial Intelligence Research, South Africa -- Steering Committee -- * Alan Bundy, University of Edinburgh * Thomas Eiter, Vienna University of Technology * Luciano Serafini, Fondazione Bruno Kessler, Trento -- Resources -- ARCOE-12 website: http://www.arcoe.org/2012/ EasyChair submission site: https://www.easychair.org/conferences/?conf=arcoe12 ARCOE workshop series: http://www.arcoe.org/ ECAI-12 website: http://www2.lirmm.fr/ecai2012/ Enquiries about the ARCOE workshop: arcoe [at] arcoe [dot] org -- Martin Homola Homepage: http://ii.fmph.uniba.sk/~homola/ PGP public key: http://ii.fmph.uniba.sk/~homola/publickey.asc -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : signature.asc Dateityp : application/pgp-signature Dateigröße : 198 bytes Beschreibung: Digital signature URL : From annette at cs.vu.nl Wed Apr 11 10:04:16 2012 From: annette at cs.vu.nl (Annette ten Teije) Date: Wed, 11 Apr 2012 10:04:16 +0200 Subject: Reminder: CfP: 18th Int. Conf. on Knowledge Engineering and Knowledge Management (EKAW 2012) References: Message-ID: <2C5839CA-B80F-439B-A3C6-0693208778F7@cs.vu.nl> REMINDER: Deadline Abstract Submission: April 18th, 2012 Deadline Full Paper Submission: April 25th, 2012 Call for Papers: 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2012) National University of Ireland Galway Quadrangle October 8-12, 2012. http://ekaw2012.ekaw.org The 18th International Conference on Knowledge Engineering and Knowledge Management is concerned with all aspects of eliciting, acquiring, modeling and managing knowledge, and its role in the construction of knowledge-intensive systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, etc. The special focus of the 18th edition of EKAW will be on "Knowledge Engineering and Knowledge Management that matters". We are explicitly calling for papers that have a potentially high impact on a specific community or application domain (e.g. pharmacy and life sciences), as well as for papers which report on the development or evaluation of publicly available data sets relevant for a large number of applications. Moreover, we welcome contributions dealing with problems specific to modeling and maintenance of real-world data or knowledge, such as scalability and robustness of knowledge-based applications, or privacy and provenance issues related to organizational knowledge management. In addition to the main research track, EKAW 2012 will feature a tutorial and workshop program, as well as a poster and demo track. Moreover, there will be a Doctoral Consortium giving new PhD students a possibility to present their research proposals, and to get feedback on methodological and practical aspects of their planned dissertation. The proceedings of the conference will be published by Springer Verlag in the LNCS series. The LNCS volume will contain the contributed research papers as well as descriptions of the demos presented at the conference. Papers published at any of the workshops will be published in dedicated workshop proceedings. EKAW 2012 welcomes papers dealing with theoretical, methodological, experimental, and application-oriented aspects of knowledge engineering and knowledge management. In particular, but not exclusively, we solicit papers about methods, tools and methodologies relevant with regard to the following topics: 1) “Knowledge Management and Knowledge Engineering that matters” • Real-world applications of methods for knowledge management and engineering in domains such as - e-Government and public administration - Life sciences, health and medicine - Automotive and manufacturing industry - Cultural heritage applications - Digital libraries • Development and evaluation of publicly available knowledge repositories for new applications or domains • Methods and methodologies addressing the challenges of real-world data, e.g., - Scalability, robustness etc. - Maintenance costs and financial risks - Privacy and data security • Lessons learned from case studies, e.g., - Knowledge management in large organizations - Adoption of semantic web technologies - Maintenance of corporate knowledge repositories 2) Knowledge Management • Methodologies and tools for knowledge management • Knowledge sharing and distribution, collaboration • Best practices and lessons learned from case studies • Provenance and trust in knowledge management • Methods for accelerating take-up of knowledge management technologies • Corporate memories for knowledge management • Evolution, maintenance and preservation of knowledge • Web 2.0 technologies for knowledge management • Incentives for human knowledge acquisition (e.g. games with a purpose) 3) Knowledge Engineering and Acquisition • Tools and methodologies for ontology engineering • Ontology design patterns • Ontology localization • Ontology alignment • Knowledge authoring and semantic annotation • Knowledge acquisition from non-ontological resources (thesauri, folksonomies etc.) • Semi-automatic knowledge acquisition, e.g., ontology learning • Mining the Semantic Web and the Web of Data • Ontology evaluation and metrics • Uncertainty and vagueness in knowledge representation • Dealing with dynamic, distributed and emerging knowledge 4) Social and Cognitive Aspects of Knowledge Representation • Knowledge representation inspired by cognitive science • Synergies between humans and machines • Knowledge emerging from user interaction and networks • Knowledge ecosystems • Expert finding, e.g., by social network analysis • Trust and privacy in knowledge representation • Collaborative and social approaches to knowledge management and acquisition • Crowdsourcing in knowledge management As last EKAW conference we will accept different types of papers. The papers will all have the same status and follow the same formatting guidelines in the proceedings but will receive special treatment during the reviewing phase. In particular, each paper type will be subject to own evaluation criteria. The PC will also make sure that there is a reasonable balance of the paper types accepted. At submission time the paper has to be clearly identified as belonging to one of the following categories. • Research papers: These are “standard” papers presenting a novel method, technique or analysis with appropriate empirical or other types of evaluation as proof-of concept. The main evaluation criteria here will be originality, technical soundness and validation. • In-use papers: Here we are expecting papers describing applications of knowledge management and engineering in real environments. Applications need to address a sufficiently interesting and challenging problem on real-world datasets, involving many users etc. The focus is less on the originality of the approach and more on presenting systems that solve a significant problem while addressing the particular challenges that come with the use of real-world data. Evaluations should involve a representative subset of the actual users of the system. • Position papers: We invite researchers to also publish position papers which describe novel and innovative ideas. Position papers may also comprise an analysis of currently unsolved problems, or review theses problems from a new perspective, in order contribute to a better understanding of these problem in the research community. We expect that such papers will guide future research by highlighting critical assumptions, motivating the difficulty of a certain problem or explaining why current techniques are not sufficient, possibly corroborated by quantitative and qualitative arguments. Submissions of research and in-use papers should comprise a maximum of 15 pages formatted according to Springer Verlag LNCS guidelines and uploaded using Easychair ( http://www.easychair.org/conferences/?conf=ekaw2012). Position papers are required to have at most 5 pages in the same format. We will select the best papers from EKAW and invite the authors for a special edition of Journal of Data Semantics. Important Dates: Abstract Submission: 18th of April 2012 Paper Submission: 25th of April 2012 Notification: 6th of June 2012 Camera Ready: 30 of June 2012 Organizing Committee: General chair: Heiner Stuckenschmidt Co-chair and local organizer: Siegfried Handschuh Program chairs: Annette ten Teije, Johanna Voelker Workshop and tutorials chairs: Claudia d’Amato, Krysztof Janowicz Demo and poster chairs: Mathieu d’Aquin, Andriy Nikolov Doctoral consortium chairs: Nathalie Aussenac-Gilles, Nathalie Hernandez Sponsor chair: Christian Bizer -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tsoumakas at gmail.com Wed Apr 11 12:53:00 2012 From: tsoumakas at gmail.com (Grigorios Tsoumakas) Date: Wed, 11 Apr 2012 13:53:00 +0300 Subject: ECML PKDD 2012 Last Call for Papers Message-ID: [ please distribute - apologies for multiple postings ] ---------------------------------------------------------------------- Last Call for Papers for ECML PKDD 2012 European Conference on Machine Learning and Principals and Practice of Knowledge Discovery in Databases September 24-28, 2012 - Bristol, UK http://www.ecmlpkdd2012.net/ ---------------------------------------------------------------------- The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) provides an international forum for the discussion of the latest high-quality research results in all areas related to machine learning and knowledge discovery in databases and other innovative application domains. Submissions are invited on all aspects of machine learning, knowledge discovery and data mining, including real-world applications. The overriding criteria for acceptance will be a paper’s: - potential to inspire the research community by introducing new and relevant problems, concepts, solution strategies, and ideas; - contribution to solving a problem widely recognized as both challenging and important; - capability to address a novel area of impact of machine learning and data mining. Other criteria are scientific rigour and correctness, challenges overcome, quality and reproducibility of the experiments, and presentation. *** Proceedings and Special Journal Issues *** The conference proceedings will be published by Springer in the Lecture Notes in Artificial Intelligence series (LNAI). Authors of selected papers will be invited to submit a significantly extended version of their paper to two post-conference special issues of the journals “Data Mining and Knowledge Discovery” and “Machine Learning“. *** Submissions *** All aspects of the submission and notification process will be handled online via the CMT conference management toolkit at https://cmt.research.microsoft.com/ECMLPKDD2012/. The papers must be written in English and formatted according to the Springer LNAI guidelines. Authors instructions and style files can be downloaded at: http://www.springer.de/comp/lncs/authors.html The maximum length of papers is 16 pages in this format. Overlength papers will be rejected without review. Papers submitted should report original work; ECML-PKDD 2012 will not accept any paper which, at the time of submission, is under review or has already been accepted for publication in a journal or another conference. Authors are also expected not to submit their papers elsewhere during the review period. To minimize the impact of this constraint, a significant proportion of rejected papers will be notified at the early notification date. *** Reviewing process *** Papers submitted to ECML-PKDD 2012 will normally be reviewed by three referees. The review process is single-blind (reviewer identities unknown to authors) and there will be no opportunity for author rebuttal. This decision was made to minimize reviewer workload and to concentrate it in time, which may ultimately result in better quality reviews and decisions. If necessary, a discussion will take place among the reviewers of a paper until a decision is reached. *** Key Dates *** - Abstract submission deadline: Thu 19 April 2012 - Paper submission deadline: Mon 23 April 2012 - Early author notification: Mon 28 May 2012 - Regular author notification: Fri 15 June 2012 - Camera-ready submission: Fri 29 June 2012 *** Contact *** You can contact the Program Committee Chairs at ECMLPKDD2012pcchairs at cs.bris.ac.uk . Nello Cristianini, Tijl De Bie and Peter Flach (Intelligent Systems Lab, University of Bristol, UK) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tsoumakas at gmail.com Thu Apr 12 10:42:29 2012 From: tsoumakas at gmail.com (Grigorios Tsoumakas) Date: Thu, 12 Apr 2012 11:42:29 +0300 Subject: ECML PKDD 2012 Discovery Challenge: 3rd Challenge on Large Scale Hierarchical Text Classification Message-ID: [ please distribute - apologies for multiple postings ] ECML PKDD 2012 Discovery Challenge: Third Challenge on Large Scale Hierarchical Text Classification Web site: http://lshtc.iit.demokritos.gr/ Email: lshtc_info at iit.demokritos.gr This year's discovery challenge hosts the third edition of the successful PASCAL challenges on large scale hierarchical text classification. The challenge comprises three tracks and it is based on two large datasets created from the ODP web directory (DMOZ) and Wikipedia. The datasets are multi-class, multi-label and hierarchical. The number of categories ranges between 13,000 and 325,000 roughly and the number of documents between 380,000 and 2,400,000. The tracks of the challenge are organized as follows: 1. Standard large-scale hierarchical classification a) On collection of medium size from Wikipedia b) On a large collection from Wikipedia 2. Multi-task learning, based on both DMOZ and Wikipedia category systems 3. Refinement-learning a) Semi-Supervised approach b) Unsupervised approach In order to register for the challenge and gain access to the datasets you must have an account at the challenge Web site. Important dates: - March 30, start of the challenge - April 20, opening of the evaluation - June 29, closing of evaluation - July 20, paper submission deadline - August 3, paper notifications Organizers - Ion Androutsopoulos, AUEB, Athens, Greece - Thierry Artieres, LIP6, Paris, France - Patrick Gallinari, LIP6, Paris, France - Eric Gaussier, LIG, Grenoble, France - Aris Kosmopoulos, NCSR "Demokritos" & AUEB, Athens, Greece - George Paliouras, NCSR "Demokritos", Athens, Greece - Ioannis Partalas, LIG, Grenoble, France -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From M.M.Dastani at uu.nl Thu Apr 12 12:43:00 2012 From: M.M.Dastani at uu.nl (Mehdi Dastani) Date: Thu, 12 Apr 2012 12:43:00 +0200 Subject: CFP CLIMA: Special session on Logics for Multi-Agent Programming Message-ID: ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Special session on *** Logics for Multi-Agent Programming *** CLIMA XIII 13th International Workshop on Computational Logic in Multi-Agent Systems http://www.csc.liv.ac.uk/~michael/clima2012sessions.html Montpellier, France, August 27-28, 2012 Affiliated with ECAI 2012 Submission deadline: 28 May 2012 Call for Papers ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ INTRODUCTION The development of multi-agent systems requires programming languages to implement individual agents, the organisation in which they operate, and the environment with which they interact. Logic plays a fundamental role in the multi-agent programming research field. Executable logic specifications and logic programming can be used to implement multi-agent systems. Logic reasoning engines can be used in the interpreters of multi-agent programming languages to reason about components of multi-agent systems such as an agent's goals and beliefs, the norms and commitments within the agents' organisation, or the state of the agents' environment. Finally, logic can be used to specify the syntax and semantics of multi-agent programming languages, or to verify and reason about multi-agent programs. This special session on Logics for multi-agent programming invites contributions focusing on the use of logic in multi-agent programming research field. - Logical foundation of multi-agent programming - Logical semantics for multi-agent programming languages - Logics for specification and verification of multi-agent programs - Knowledge representation and reasoning for multi-agent programming SUBMISSION We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Papers are submitted to the special session by following the submission instructions for CLIMA: http://www.csc.liv.ac.uk/~michael/clima2012subs.html The special session on Logics for Multi-Agent Programming is chosen under "category" in Easychair. PROCEEDINGS AND POST-PROCEEDINGS LNCS Proceedings: All the accepted papers (including special session papers) will be published by Springer as a volume in Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Important dates: * Submission: May 28th * Notification: June 16th * Camera Ready: June 23rd Special Session Organiser: * Mehdi Dastani, Utrecht University, The Netherlands In case of questions, please do not hesitate to contact us at m.m.dastani at uu.nl (enquiries particularly related to the special session) or clima13 at easychair.org (general CLIMA enquiries). -- Mehdi Dastani Intelligent Systems Group Utrecht University P.O.Box 80.089 3508 TB Utrecht The Netherlands Tel: +31 - 30 - 253 3599 Fax: +31 - 30 - 251 3791 URL:http://www.cs.uu.nl/~mehdi From sescobar at dsic.upv.es Fri Apr 13 14:46:59 2012 From: sescobar at dsic.upv.es (Santiago Escobar) Date: Fri, 13 Apr 2012 08:46:59 -0400 Subject: Last CfP: UNIF 2012 - 26th International Workshop on Unification References: Message-ID: <52B0D573-FE0D-42C4-B1EA-7CB7F406CE2A@dsic.upv.es> Call for Papers UNIF 2012 The 26th International Workshop on Unification http://unif2012.cs.man.ac.uk July 1st, 2012, Manchester, UK Satellite event of IJCAR 2012 UNIF 2012 is the 26th event in a series of international meetings devoted to unification theory and its applications. UNIF 2012 is a satellite event of the the 6th International Joint Conference on Automated Reasoning (IJCAR 2012) which is part of the Alan Turing Year 2012, and collocated with The Alan Turing Centenary Conference. Previous editions of UNIF have taken place mostly in Europe, but also in USA and Japan. For more details on previous UNIF workshops, please see the UNIF homepage at . The aim of UNIF 2012, as that of the previous meetings, is to bring together researchers interested in unification theory and related topics, to present recent (even unfinished) work, and discuss new ideas and trends in this and related fields. This includes scientific presentations, but also descriptions of applications and software using unification as a strong component. A non-exhaustive list of topics of interest includes: unification algorithms, calculi and implementations, equational unification and unification modulo theories, unification in modal, temporal and description logics, admissibility of inference rules, narrowing, matching algorithms, constraint solving, combination problems, disunification, higher-order unification, type checking and reconstruction, typed unification, complexity issues, query answering, implementation techniques and applications of unification. Submissions and Publication: Before the workshop, authors are invited to submit an extended abstract (max. 5 pages) to be formatted in LNCS style through the EasyChair submission site: https://www.easychair.org/account/signin.cgi?conf=unif2012 Accepted abstracts will be presented at the workshop and included in the preliminary proceedings, available at the workshop. We envisage publication of a special issue of a journal dedicated to UNIF after the event. Important Dates: # Submission: April 27 # Notification: May 18 # Final version: June 1 # Workshop: July 1 Programme Committee: # Franz Baader, TU Dresden, Germany # Christoph Benzmueller, Free University Berlin, Germany # Santiago Escobar, Universitat Politecnica de Valencia, Spain (co-chair) # Maribel Fernandez, King's College London, UK # Silvio Ghilardi, Universita degli Studi di Milano, Italy # Rosalie Iemhoff, Utrecht University, The Netherlands # Konstantin Korovin, University of Manchester, UK (co-chair) # Jordi Levy, IIIA - CSIC, Spain # Christopher Lynch, Clarkson University, USA # George Metcalfe, Vanderbilt University, USA # Paliath Narendran, University at Albany, USA # Vladimir Rybakov, Manchester Metropolitan University, UK (co-chair) For more information, please contact any of the three chairs Santiago Escobar, Konstantin Korovin, Vladimir Rybakov From tkren at kr.tuwien.ac.at Sat Apr 14 09:52:06 2012 From: tkren at kr.tuwien.ac.at (Thomas Krennwallner) Date: Sat, 14 Apr 2012 09:52:06 +0200 Subject: 8th Reasoning Web Summer School (RW 2012) - 3rd Call for Applications Message-ID: <20120414075206.GA2763@kr.tuwien.ac.at> CALL FOR APPLICATIONS/PARTICIPATION REASONING WEB 2012 The 8th Reasoning Web Summer School (RW 2012) Vienna, Austria, September 03-08, 2012 http://www.reasoningweb.org/2012/ co-located with the - 6th Int'l Conference on Web Reasoning and Rule Systems (RR 2012), September 10-12, 2012 http://www.rr-conference.org/RR2012/ - 4th Int'l Conference on Computational Models of Argument (COMMA 2012), September 10-12, 2012 http://www.kr.tuwien.ac.at/events/comma2012/ - 2nd Datalog 2.0 Workshop, September 11-13, 2012 http://www.dbai.tuwien.ac.at/event/datalog-2.0/ - 23rd Int'l Conference on Database and Expert Systems Applications (DEXA 2012), September 03-07, 2012 http://www.dexa.org/ The Reasoning Web Summer School 2012 is primarily intended for postgraduate (PhD or MSc) students, postdocs, and other young researchers investigating aspects related to Reasoning on the Semantic Web and related issues. The Summer School will also be open to senior researchers wishing to learn about Semantic Web issues related to their own fields of research. For further details please visit http://www.reasoningweb.org/2012/ As in the previous years, we managed again to attract a distinguished group of expert lecturers, the majority of which will - apart from their lectures - also be present for the duration of the school to interact with students. Interaction with senior researchers and establishing contacts within young researchers is a main focus of the school, which will be supported through social activities and an interactive, amicable atmosphere. This year's summer school will be co-located with a number of related conferences and workshop, viz. Int'l Conference on Web Reasoning and Rule Systems 2012, the Int'l Conference on Computational Models of Argument 2012, the Int'l Conference on Database and Expert Systems Applications 2012, and the 2nd Datalog 2.0 Workshop 2012 (dates and links are given above). This will be a great opportunity to attend major conferences and workshops in the area directly subsequent to the school. Reasoning Web 2012 is part of the Vienna Logic Weeks 2012: http://www.vcla.at/events/vienna-logic-weeks_2012/ As a further highlight, we want to point out the opportunity of PhD students to present their research at the RR 2012 Doctoral Consortium. More details are given on the RR 2012 website: http://www.kr.tuwien.ac.at/events/rr2012/DoctoralConsortium.html == IMPORTANT DATES == Application deadline: May 4, 2012 Notifications: May 21, 2012 == CONFIRMED LECTURES == - Federation and Navigation in SPARQL 1.1 Marcelo Arenas (PUC Chile) and Jorge Pérez (U Chile) - Semantic Wikis: Approaches, Applications, and Perspectives François Bry (U Munich), Sebastian Schaffert (Salzburg Research), Denny Vrandečić (KIT), and Klara Weiand (U Munich) - Reasoning and Ontologies in Data Extraction Sergio Flesca (U Calabria) and Tim Furche (U Oxford) - Linked Data Stream Processing Manfred Hauswirth, Danh Le Phuoc, and Josiane Xavier Parreira (DERI, NUI Galway) - Query Processing and Reasoning for Linked Geospatial Data Manolis Koubarakis (U Athens) - OWL 2 Profiles: An Introduction to Lightweight Ontology Languages Markus Krötzsch (U Oxford) - Reasoning and Query Answering in Description Logics Magdalena Ortiz and Mantas Simkus (TU Vienna) - Reasoning with Uncertain and Inconsistent Ontologies for the Semantic Web Guilin Qi (South Eastern U) and Jianfeng Du (Guangdong U Foreign Studies) - Argumentation and the Web Francesca Toni (Imperial College London) - Datalog and Its Extensions for the Semantic Web Georg Gottlob, Giorgio Orsi, Andreas Pieris (U Oxford) and Mantas Simkus (TU Vienna) == APPLICATIONS == The number of attendees will be limited, applications for participation have to be submitted via Easychair using the "Application" category: https://www.easychair.org/conferences/?conf=reasoningweb2012 The program of the school will include a poster session, where students can present and discuss their ongoing research with lecturers and colleagues. Applicants who wish to participate in the poster session shall tick the "Participation in poster session" group and include a poster title and abstract with their application submission. Applications must be submitted in PDF format not exceeding 2 pages (min. font size 11pt) and contain the following information: - Name, contact details - Affiliation - Motivation for participation - Summary of profile - Willing to present a poster? (if yes, add a poster title and abstract) - Supervisor (if applicable) - Publications (if applicable) == GRANTS == The organizing committee is considering to offer scholarships to summer school participants to partially cover registration and/or accommodation fees, depending on available sponsorships. There are further grants for students participating in the RR2012 Doctoral Consortium who would like to extend their stay to also attend the summer school. Details about how to apply, and selecting criteria will be available soon. == REGISTRATION == Details of the registration process will be announced on the summer school website, after the application deadline. As in previous years we will keep the registration fee moderate. == LECTURE NOTES == The course material used during the summer school will be published with Springer's Lecture Notes in Computer Science (LNCS) series. A copy of the proceedings will be included in the registration fees. == PROGRAM COMMITTEE == - Grigoris Antoniou (FORTH Crete) - Abraham Bernstein (U Zuerich) - François Bry (U Munich) - Thomas Eiter (TU Vienna, chair) - Birte Glimm (U Ulm) - Claudio Gutierrez (UC Santiago) - Axel Polleres (Siemens) == CONTACT == For further information including sponsorship opportunities, please contact the local organizers: - Thomas Eiter - Thomas Krennwallner From kulicki at l3g.pl Sun Apr 15 18:41:04 2012 From: kulicki at l3g.pl (Piotr Kulicki) Date: Sun, 15 Apr 2012 18:41:04 +0200 Subject: 2nd CfP Well-founded Everyday Ontologies - Design Implementations & Applications WEO-DIA 2012 Message-ID: <026101cd1b26$8cb9dab0$6501a8c0@gagatek> Second Call for Papers WELL-FOUNDED EVERYDAY ONTOLOGIES - DESIGN, IMPLEMENTATIONS & APPLICATIONS (WEO-DIA) http://www.fedcsis.org/weo-dia The paper submission deadline is approaching -- April 22nd 2012. (Please distribute, accepting our apologies for cross-posting) The workshop is supported by The International Association for Ontology and its ApplicationsIAOA (see http://www.iaoa.org/iaoasupportedevents/iaoasupportedevents.php) It is associated with the 7th International Symposium: Advances in Artificial Intelligence and Applications (AAIA'12), which is a part of Federated Conference on Computer Science and Information Systems (FedCSIS), to be held in Wrocław, Poland, 9-12 September 2012, under auspices of Polish Ministry of Science and Higher Education. For more news about FedCSIS see http://www.fedcsis.org/node ------------------- Paper publication ------------------- a) Authors should submit draft papers (as Postscript, PDF of MSWord file) that should not exceed 8 pages (IEEE style). b) Accepted and presented papers will be published in the Conference Proceedings and included in the IEEE XploreR database. They will be also submitted for indexation in: DBLP Computer Science Bibliography, Google Scholar, Inspec, Scirus, SciVerse Scopus and Thomson Reuters - Conference Proceedings Citation Index c) Extended versions of selected papers presented during the conference will be published as a Special Issue of LNCS Transactions on Computational Collective Intelligence journal (http://www.springer.com/computer/lncs/transactions+cci?SGWID=0-173802-0-0-0). d) Papers submitted for WEO-DIA will take part in a competition for Professor Zdzislaw Pawlak Best Paper Awards http://www.fedcsis.org/?q=node/47 ------------------------ Important dates ----------------------- a) Paper submission: April 22, 2012 b) Author notification: June 17, 2012 c) Final submission and registration: July 8, 2012 d) Workshop date: September 9, 2012, Wrocław, Poland ------------------------------------------------- Organizers and Program Committee members ------------------------------------------------- Garbacz, Paweł, (Co-Chair), John Paul II Catholic University of Lublin, Poland, Józefowska, Joanna, (Co-Chair), Poznań University of Technology, Poland, Katarzyniak, Radosław (Co-Chair), Wrocław University of Technology, Poland, Blomqvist, Eva, Linköping University, Sweden Borgo, Stefano, Laboratory for Applied Ontology, Italy Budzyńska, Katarzyna, Cardinal Stefan Wyszyński University in Warsaw, Poland Carrara, Massimiliano, Universita di Padova, Italy Cybulka, Jolanta, Poznań University of Technology, Poland, Goczyła, Krzysztof, Gdańsk University of Technology, Poland Kaczmarek, Janusz, Łódź University, Poland Kulicki, Piotr, John Paul II Catholic University of Lublin, Poland, Ławrynowicz, Agnieszka, Poznań University of Technology, Poland Martinek, Jacek, Poznań University of Technology, Poland Mizoguchi, Riichiro, Osaka University, Japan Morshed, Ahsan, Food and Agricultural Organization of UN (FAO), Italy Nalepa, Grzegorz J., AGH University of Science and Technology, Poland Palma, Raúl , Poznań Supercomputing and Networking Center, Poland Soldatova, Larisa N., The University of Wales, Aberystwyth, United Kingdom Vacura, Miroslav, University of Economics, Prague, Czech Republic Węcel, Krzysztof, Poznań University of Economics, Poland -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From schmidt at cs.man.ac.uk Sun Apr 15 22:48:20 2012 From: schmidt at cs.man.ac.uk (Renate Schmidt) Date: Sun, 15 Apr 2012 21:48:20 +0100 Subject: PAAR 2012 Final Call for Abstracts Message-ID: <20120415204821.1FDBA1A54C3@rpc225.cs.man.ac.uk> [Please note the extended deadline.] FINAL CALL FOR ABSTRACTS PAAR-2012 IJCAR'12 Workshop on Practical Aspects of Automated Reasoning Extended Deadline: May 3rd, 2012 http://www.eprover.org/EVENTS/PAAR-2012.html IMPORTANT DATES (UPDATED): 3 May 2012 Submission of abstracts (anywhere on the planet) 24 May 2012 Notification 31 May 2012 Camera ready versions due 30 Jun 2012 Workshop GENERAL INFORMATION The third Workshop on Practical Aspects of Automated Reasoning will be held in June 2012 in Manchester, UK. PAAR will be associated with the 6th International Joint Conference on Automated Reasoning (IJCAR-2012), which is held as part of the Alan Turing Year 2012, just after The Alan Turing Centenary Conference. SCOPE PAAR provides a forum for developers of automated reasoning tools to discuss and compare different implementation techniques, and for users to discuss and communicate their applications and requirements. The workshop will bring together different groups to concentrate on practical aspects of the implementation and application of automated reasoning tools. It will allow researchers to present their work in progress, and to discuss new implementation techniques and applications. Topics include but are not limited to: o automated reasoning in propositional, first-order, higher-order and non-classical logics; o implementation of provers (SAT, SMT, resolution, tableau, instantiation-based, rewriting, logical frameworks, etc); o automated reasoning tools for all kinds of practical problems and applications; o pragmatics of automated reasoning within proof assistants; o practical experiences, usability aspects, feasibility studies; o evaluation of implementation techniques and automated reasoning tools; o performance aspects, benchmarking approaches; o non-standard approaches to automated reasoning, non-standard forms of automated reasoning, new applications; o implementation techniques, optimisation techniques, strategies and heuristics, fairness; o support tools for prover development; o system descriptions and demos. We are particularly interested in contributions that help the community to understand how to build useful reasoning systems in practice, and how to apply existing systems to real problems. INVITED SPEAKERS o Armin Biere (Johannes Kepler University in Linz) o Boris Motik (University of Oxford) SUBMISSIONS Researchers interested in participating are invited to submit a short abstract of up to 10 pages via EasyChair. Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Submissions should be in standard-conforming PDF. To submit a paper, go to the EasyChair PAAR page http://www.easychair.org/conferences/?conf=paar2012 and follow the instructions there. FINAL VERSIONS Final versions should be prepared in LaTeX using the easychair.cls class file obtainable from http://www.easychair.org/easychair.zip. Proceedings will be published as CEUR Workshop Proceedings and will be available in print at the event. If quality and quantity of the subissions warrants this, we plan to produce a special issue of a recognized journal on the topic of the workshop. PROGRAM COMMITTEE Clark Barrett, New York University, USA Peter Baumgartner, NICTA, Canberra, Australia Christoph Benzmuller, FU Berlin, Germany Jasmin Blanchette, TU Munchen, Germany Chad Brown, Universitat des Saarlandes, Saarbrucken, Germany Koen Claessen, Chalmers University of Technology, Gothenburg, Sweden Pascal Fontaine (co-chair), INRIA & University of Nancy, France Martin Giese, University of Oslo, Norway Alberto Griggio, FBK, Trento, Italy John Harrison, Intel, USA Yevgeny Kazakov, University of Oxford, UK Konstantin Korovin, The University of Manchester, UK Daniel Le Berre, Universite d'Artois, Lens, France Hans de Nivelle, University of Wroclaw, Poland Alberto Oliveras, Technical University of Catalonia, Barcelona, Spain Nicola Olivetti, LSIS & Universite Paul Cezanne, Marseille, France Jens Otten, University of Potsdam, Germany Jeff Pan, The University of Aberdeen, UK Larry Paulson, University of Cambridge, UK Adam Pease, Articulate Software, Angwin, USA Nicolas Peltier, CNRS & IMAG, Grenoble, France Ruzica Piskac, Max-Planck-Institut for Software Systems, Saarbrucken, Germany Stefan Schlobach, Vrije Universiteit Amsterdam, The Netherlands Renate Schmidt (co-chair), The University of Manchester, UK Stephan Schulz (co-chair), TU Munchen, Germany Geoff Sutcliffe, University of Miami, USA Laurent Thery, INRIA, Sophia Antipolis, France Dmitry Tishkovsky, The University of Manchester, UK Christoph Weidenbach, Max-Planck-Institut fur Informatik, Saarbrucken, Germany Florian Widmann, Imperial College, London, UK Christoph Winterstiger, Microsoft Research, Cambridge, UK ORGANIZERS Pascal Fontaine, INRIA & University of Nancy Renate Schmidt, The University of Manchester Stephan Schulz, TU Muenchen From iccs12.agadir at gmail.com Sun Apr 15 22:56:13 2012 From: iccs12.agadir at gmail.com (M Nemiche) Date: Sun, 15 Apr 2012 22:56:13 +0200 Subject: Deadline Approaching (April 30) - International Conference on Complex Systems Message-ID: Apologies if you receive multiple copies. ___________________ICCS’12 || CALL FOR PAPERS____________________ International Conference on Complex Systems ICCS'12 is an IEEE technically co-sponsored conference November 5-6, 2012 Agadir, Morocco http://iccs12.org Submission deadline: April 30, 2012 ________________________________________________________________ An International Conference on Complex Systems (ICCS'12) will be organized by Ibn Zohr University in Agadir, Morocco on November 5-6, 2012. The city of Agadir is considered one of the most attractive touristic areas on the African continent. Agadir enjoys clement weather year-round, including the month of November. ICCS'12 will provide a high-level, international forum for scientists, researchers, industrial professionals, and students who will present state-of-the-art research results, address new challenges, and discuss trends in Computational Intelligence, Cybernetics, General Systems Theory, and their applications in diverse fields. All presented papers will be published in the conference proceedings and included in IEEE Xplore Digital Library Authors of selected papers will be invited to submit extended versions of their papers to the International Journal of Computational Intelligence Systems (IJCIS) Impact Factor 1,471 Extended versions of selected papers will be published in the special issue of the following journals: 1. International Journal of Artificial Intelligence and Soft Computing (IJAISC) 2. International Journal of Systems, Control and Communications (IJSCC) 3. International Journal of Applied Evolutionary Computation (IJAEC) 4. International Journal on Information & Communication Technologies (IJICT) The topics of interest include, but are not limited to: - Fuzzy Set Theory and Fuzzy Systems - Fractals, Chaos Theory and Chaotic Systems - Artificial Neural Networks - Genetic and Evolutionary Algorithms - Adaptive Agents and Multi-agent Learning - Multi-agent Social Simulation and Cognitive Modeling with Agents - Agent-Based Modeling and Simulation - Agent and Multi-agent Architectures - Game Theory, Strategic Decision-Making in Competitive Environments - Modeling and Control Systems - Diagnosis and Fault-tolerant Control Systems - Hardware-Software Co-Design, Embedded Systems - Complex Biomedical Engineering - Complex Dynamic Systems and Globalization - General System Theory and Methodology - Complex Social and Ecological Systems - Economical, Political and Juridical Systems - Socio-Cultural and Behavioral Modeling - Mathematical Methods in Cybernetics and Systems Theory - Sociocybernetics and Mathematical Sociology CONTACT M. Nemiche nemiche at uv.es DEADLINES Paper Submission: April 30, 2012 Acceptance notification to authors: June 30, 2012 Final version and registration: July 28, 2012 ICCS'12 Conference: November 5-6, 2012 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cfp at grid.chu.edu.tw Mon Apr 16 04:52:34 2012 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Mon, 16 Apr 2012 10:52:34 +0800 Subject: Two weeks from submission deadline - Three co-located conferences in Fukuoka, Japan (UIC, ATC, ICA3PP) Message-ID: <201204160252.q3G2qYOe015199@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From iccci at am.gdynia.pl Mon Apr 16 23:22:06 2012 From: iccci at am.gdynia.pl (iccci) Date: Mon, 16 Apr 2012 23:22:06 +0200 Subject: CFP: Invitation to ICCCI 2012 (Vietnam) - Proceedings in Springer LNCS/LNAI Message-ID: <000f01cd1c16$f9a12c00$ece38400$@gdynia.pl> ============================================================================ ====== 4th International Conference on Computational Collective Intelligence - Technologies And Applications (ICCCI 2012) 28-30 November 2012, Ho Chi Minh city, Vietnam Proceedings: Lecture Notes in Artificial Intelligence (LNAI) of Springer-Verlag http://www.iccci2012.vn/ e-mail: iccci at pwr.wroc.pl ============================================================================ ====== ABOUT ----- ICCCI 2012 is an international scientific conference for research in the field of Computational Collective Intelligence (CCI), to be held on 28-30 November, 2012 in Ho Chi Minh city, Vietnam. Computational Collective Intelligence is most often understood as an AI sub-field dealing with soft computing methods which enable making group decisions or processing knowledge among autonomous units acting in distributed environments. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. The aim of this conference is to provide an internationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications in (but not limited to) such fields as group decision making, consensus computing, knowledge integration, semantic web, social networks and multi-agent systems. ICCCI 2012 is organized by University of Information Technology, Vietnam National University HCM and Wroclaw University of Technology, Poland in cooperation with IEEE SMC Technical Committee on Computational Collective Intelligence and International Society of Applied Intelligence. SCOPE ----- The scope of the conference includes: - Methodological, theoretical and practical aspects of computational collective intelligence such as group decision making, collective action coordination, knowledge integration, understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). - The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., to support human and other collective intelligence and creation of new forms of CCI in natural and/or artificial systems. Three subfields of application of computational intelligence technologies to support various forms of collective intelligence are of special attention but are not the only ones: semantic web (as an advanced tool increasing collective intelligence), social network analysis (as the field targeted to the emergence of new forms of CCI), and multiagent systems (as a computational and modeling paradigm especially tailored to capture the nature of CCI emergence in populations of autonomous individuals). Apart of the Main Track, including general aspects of computational collective intelligence, the conference will offer Special Sessions and Workshop for selected topics in the conference scope. Also, there will be Doctoral Track offering students opportunity to exchange experience and to discuss both work in progress and almost finished dissertations. TOPICS OF INTEREST ------------------ We welcome all submissions in the subjects of CCI related (but not limited) to the following topics: - Agent Theory and Application - Automated Reasoning - Cognitive Modeling of Agent Systems - Collective Intelligence - Computational Biology - Computer Vision - Computational Intelligence - Computational Security - Cooperative Systems and Control - Cybernetics for Informatics - Data Mining for Social Networks - Distributed Intelligence - Evolutionary computing - Fuzzy Systems - Grey Theory - Hybrid Systems - Information Retrieval and Integration - Information Hiding - Intelligent Architectures - Intelligent Applications - Intelligent Building - Intelligent Control - Intelligent e-learning/tutoring - Intelligent Image Processing - Intelligent Networks - Intelligent Transportation Systems - Knowledge Representation - Knowledge-Based Systems - Logic in Intelligence - Machine Learning - Mobile Intelligence - Natural Language Processing - Optimization and Swarm Intelligence - Pattern Recognition - Probabilistic and Uncertain Reasoning - Semantic Web - Smart Living Technology - Smart Sensor Networks - Soft computing - Social Networks - Ubiquitous computing and its applications - Web Intelligence and Interaction PROCEEDINGS ----------- The conference proceedings will be published in the prestigious series Lecture Notes in Artificial Intelligence of Springer-Verlag (the publication announcement has already been included in the list of LNCS Forthcoming Proceedings) and indexed by ISI (CP), EI, Scopus, DBLP, ACM Digital Library etc. For the post-conference publication several special issues in ISI/SCI journals and Transactions on Computational Collective Intelligence are planned. KEYNOTE SPEAKERS ---------------- Prof. Witold Pedrycz, Canada Research Chair, IEEE Fellow, University of Alberta, Canada, Homepage: http://www.ece.ualberta.ca/~pedrycz/ Dr. Dimitar Filev, IEEE Fellow, Vice-President of IEEE SMC, Ford Research & Advanced Engineering, USA, Homepage: http://www.ford.com/ Prof. Longbing Cao, Director of Advanced Analytics Institute, University of Technology Sydney, Australia, Homepage: http://www-staff.it.uts.edu.au/~lbcao/ Prof. Adam Grzech, Institute of Informatics, Wroclaw University of Technology, Homepage: http://www.zt.ii.pwr.wroc.pl/en/node/userCard?user=16 ORGANISATION ------------ Honorary Chairs - Phan Thanh Binh, President of National University VNU-HCM, Vietnam - Tadeusz Wieckowski, Rector of Wroclaw University of Technology, Poland - Pierre Lévy, University of Ottawa, Canada General Chairs - Ngoc Thanh Nguyen, Wroclaw University of Technology, Poland - Kiem Hoang, University of Information Technology, VNU-HCM , Vietnam Steering Committee Chair - Ngoc Thanh Nguyen, Wroclaw University of Technology, Poland Organizing Co-Chairs - Anh Duc Duong, University of Information Technology, Vietnam - Radoslaw Katarzyniak, Wroclaw University of Technology, Poland Program Chairs - Dimitar Filev, IEEE SMC, USA - Piotr Jedrzejowicz, Gdynia Maritime University, Poland - Kazumi Nakamatsu, University of Hyogo, Japan - Edward Szczerbicki, University of Newcastle, Australia - Anh Duc Duong, University of Information Technology, Vietnam Liaison Chairs - Quang A Dang, National Foundation for Science and Technology Development (NAFOSTED), Vietnam - Geun-Sik Jo, Inha University, Korea - Manh Thanh Le, Hue University, Vietnam Local Organizing Co-chairs - Vinh Phuoc Tran, University of Information Technology, VNU-HCM, Vietnam - Phuc Do, University of Information Technology, VNU-HCM, Vietnam Special Session Chairs - Amine Chohra, Paris-East University, France - Bogdan Trawinski, Wroclaw University of Technology, Poland Publicity Chairs - Dariusz Barbucha, Gdynia Maritime University, Poland - Cao Thi Kim Tuyen, University of Information Technology, VNU-HCM , Vietnam Doctoral Track Chairs - Hong Hai Dam Quang, University of Information Technology, VNU-HCM, Vietnam - Tokuro Matsuo, Yamagata University, Japan Organizing Committee - Truong Hai Bang, University of Information Technology, VNU-HCM , Vietnam - Shyi-Ming Chen, National Taichung University of Education, Taiwan - Nguyen Thanh Trung, University of Information Technology, VNU-HCM , Vietnam - Huynh Ngoc Tin, University of Information Technology, VNU-HCM , Vietnam - Nguyen Van Toan, University of Information Technology, VNU-HCM , Vietnam - Nguyen Tran Minh Khue, University of Information Technology, VNU-HCM , Vietnam - Trinh Quoc Son, University of Information Technology, VNU-HCM , Vietnam - Tran Anh Tuan, University of Information Technology, VNU-HCM , Vietnam - Marcin Maleszka, Wroclaw University of Technology, Poland - Bernadetta Mianowska, Wroclaw University of Technology, Poland - Marcin Pietranik, Wroclaw University of Technology, Poland - Grzegorz Skorupa, Wroclaw University of Technology, Poland IMPORTANT DATES --------------- Special Session proposals: 15 April 2012 Submission of papers: 15 May 2012 Notification of acceptance: 20 July 2012 Final papers to be received: 20 August 2012 Conference: 28-30 November 2012 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From oshanis at gmail.com Tue Apr 17 14:37:25 2012 From: oshanis at gmail.com (Oshani Seneviratne) Date: Tue, 17 Apr 2012 08:37:25 -0400 Subject: Call for Tutorial Proposals co-located with the International Semantic Web Conference (ISWC 2012) Message-ID: ------------------------------------------------------------------------ Call for Tutorial Proposals http://iswc2012.semanticweb.org/call-tutorial-proposals In conjunction with the 11th International Semantic Web Conference http://iswc2012.semanticweb.org/ Boston - USA November 11-15, 2012 ------------------------------------------------------------------------ The International Semantic Web Conference (ISWC) is the primary conference on the use of semantic technologies on the web and linked data, constantly attracting a high number of high quality submissions participants from academia and industry. It brings together researchers from different areas of computer science, like artificial intelligence, databases, natural language process, information retrieval and others that aim at the development and use of novel technologies for accessing, interpreting and using information on the web in a more effective way. Besides the main technical program, ISWC will host a number of tutorials on all major topics related to the Semantic Web / Linked Data research, enabling attendees to fully appreciate current issues, main schools of thought, and possible application areas. In order to meet these goals, tutorials should address topics that satisfy the following criteria: - the topic falls in the general scope of ISWC 2012, - there is a clear focus on a specific technology, problem or - application, and - there is a sufficiently large community interested in the topic. In particular, we encourage the submission of tutorial proposals on: - fundamental problems of the Semantic Web/Linked Data such as ontology mining, heterogeneity, scalability and distribution, - applications of Semantic Web technologies in specific domains and trends, - important enabling technologies and their adaptation to the needs of the Semantic Web, - aspects of semantic web research that have been neglected so far, and - techniques from other research fields that are of relevance for Semantic Web research (e.g., machine learning, NLP). Additionally, we expect tutorials to: - have practical parts in terms of examples or preferably exercises to be carried out by the participants Proposers of accepted tutorials have to prepare a tutorial webpage containing detailed information about the tutorial. Submission Guidelines ----------------------------------- Tutorial proposals should be submitted via EasyChair https://www.easychair.org/conferences/?conf=iswc2012tutorials as a single PDF file of no more than 5 pages and should contain the following information: - Title - Abstract (200 words) - Motivation on why the topic is of particular interest at this time - Overview of content, description of the aims, presentation style, potential/preferred prerequisite knowledge - Indication on whether the tutorial should be considered for a half-day or full-day - Intended audience and expected number of participants - Audio-visual or technical requirements and any special room requirements (for hands-on sessions, any software needed and download sites must be provided by the tutorial presenters) - Data of the presenters (name, affiliation, email address, homepage) and short description of their expertise, experiences in teaching and in tutorial presentation Important Dates -------------------------- - Event: November 11 & 12, 2012 - Tutorial proposal due: May 6, 2012 - Tutorial Notifications: May 20, 2012 Chairs -------------- Claudia d’Amato, Unversity of Bari Thomas Scharrenbach, University of Zurich From J.T.Jeuring at uu.nl Tue Apr 17 15:28:28 2012 From: J.T.Jeuring at uu.nl (Johan Jeuring) Date: Tue, 17 Apr 2012 15:28:28 +0200 Subject: Conference on Intelligent Computer Mathematics, call for work-in-progress papers In-Reply-To: <62A40529-FAEE-4C62-A211-A0D6922EC15E@uu.nl> References: <62A40529-FAEE-4C62-A211-A0D6922EC15E@uu.nl> Message-ID: <0CA76D3C-1DC9-4440-9DAB-E6A765DA1001@uu.nl> CICM 2012 - Conference on Intelligent Computer Mathematics July 9-13, 2012 at Jacobs University, Bremen, Germany http://www.informatik.uni-bremen.de/cicm2012/ Call for work-in-progress papers ---------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conference on Intelligent Computer Mathematics offers a venue for discussing these areas and their synergy. The conference will be organized by Serge Autexier and Michael Kohlhase at Jacobs University in Bremen and consist of five tracks: Artificial Intelligence and Symbolic Computation (AISC) Co-Chairs: John A. Campbell, Jacques Carette Calculemus Chair: Gabriel Dos Reis Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: Makarius Wenzel Systems and Projects Chair: Volker Sorge The overall programme will be organized by the General Program Chair Johan Jeuring. Invited talks will be given by: Yannis Haralambous, Département Informatique, Télécom Bretagne Conor McBride, Department of Computer and Information Sciences, University of Strathclyde Cezar Ionescu, Potsdam Institute for Climate Impact Research ---------------------------------------------------------------- Work in progress ---------------------------------------------------------------- Work-in-progress submissions are intended to provide a forum for the presentation of original work that is not (yet) in a suitable form for submission as a full or system description paper. This includes work in progress and emerging trends. Their size is not limited, but we recommend 5 - 10 pages. ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Submission deadline: 6 May 2012 Notification of acceptance: 27 May 2012 Camera ready copies due: 3 June 2012 Conference: 9-13 July 2012 From announce at cs.ucy.ac.cy Tue Apr 17 14:16:19 2012 From: announce at cs.ucy.ac.cy (Announcements) Date: Tue, 17 Apr 2012 15:16:19 +0300 Subject: 15th IEEE CSE 2012: Call for Workshop Proposals Message-ID: *** Call for Workshop Proposals *** *** Extended Deadline: 23rd April, 2012 *** The 15th IEEE International Conference on Computational Science and Engineering (IEEE CSE 2012) http://www.cse2012.cs.ucy.ac.cy/ 3-5 October 2012, Paphos, Cyprus The 15th IEEE International Conference on Computational Science and Engineering (CSE 2012) is seeking proposals for workshops to accompany the conference. We encourage members of the community to consider submitting proposals for workshops that bring together researchers and practitioners working on research topics of interest to the CSE community. The purpose of these workshops is to offer researchers a good opportunity to present their work in a more focused way than the conference itself and to obtain feedback from an interested community. Workshop organizers are responsible for establishing a program committee, collecting and evaluating submissions, notifying authors of acceptance or rejection in due time, ensuring a transparent and fair selection process, organizing selected papers into sessions, and assigning session chairs. Proposals on emerging topics guaranteed to generate significant interest in the community will be selected. Prospective workshop organizers are invited to submit proposals to the workshop chairs, Massimo Cafaro and Mario Dantas . Submission information All proposals must provide the following information: - Workshop name along with a brief 150 to 200-word abstract describing the event (suitable for the conference web site); - If applicable, provide a description of past versions of the activity, including dates, organizers, submission and acceptance counts, attendance, and information with which conference the workshop was co-located; - Brief rationale for the event and for co-locating with CSE; - Names and affiliations of main organizers and, where relevant, tentative composition of the committees (as complete as possible); - Event format, i.e., length of event (half-day or full-day), expected number of presented papers, invited talks, panels, demonstrations, number of days, etc; - Expected number of submissions and participants; - Draft Call For Papers (CFP), as complete as possible; - Submission/reviewing deadlines (internal and external). Important dates Proposals due: April 23, 2012 Acceptance notification: April 25, 2012 All workshops should maintain the same quality as the main conference. All the work papers will be included in the same conference proceedings. Once accepted, the workshop should establish own paper submission system. Each paper selected for inclusion in the proceedings must be registered for CSE 2012 at the same registration rates. Each paper must be presented in person by the author, or one of the authors. All the papers in the CSE 2012 workshops will be published in IEEE conference proceedings, in the same proceedings of CSE 2012, and will be made available to all conference registrants on site. All workshop papers will also be electronically available through IEEE Xplore Digital Database, and professionally indexed through INSPEC and EI Index. The accepted workshops can decide own submission deadlines but must follow the same camera-ready deadline and registration deadline as CSE 2012 main conference. Please organize your workshop as early as possible to ensure your effort turn out to be fruitful. For further information on preparing a workshop proposal, please contact the Workshop Chairs. -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. From behrens at in.tu-clausthal.de Tue Apr 17 16:29:13 2012 From: behrens at in.tu-clausthal.de (Tristan Behrens) Date: Tue, 17 Apr 2012 16:29:13 +0200 Subject: Multi-Agent Programming Contest (MAPC 2012) -- 2nd CfP Message-ID: <4F8D7E39.6030808@in.tu-clausthal.de> === CALL FOR PARTICIPATION =============== Multi-Agent Programming Contest (MAPC 2012) http://multiagentcontest.org/2012 ======================================== 1. AIMS AND SCOPE This competition is an attempt to stimulate research in the area of multi-agent system development and programming by 1. identifying key problems, 2. collecting suitable benchmarks, and 3. gathering test cases which require and enforce coordinated action that can serve as milestones for testing multi-agent programming languages, platforms and tools. We also expect that participating at the contest helps to debug existing systems and to identify their weak and strong aspects. The performance of a particular system will be determined in a series of games where the systems compete against each other. While winning the competition is not the main point, we hope it will shed light on the applicability of certain frameworks to particular domains. 2. HISTORY The Multi-Agent Programming Contest was initiated in 2005 and since then it has passed through three distinct phases. The first phase began in 2005 with the "food-gatherers"-scenario, where a pre-specified multi-agent system had to be implemented. These MASs were later examined in order to determine the winner. From 2006 - 2007 we ran the "goldminers"-scenario. This time we provided the environment by means of an online-architecture, and automatically determined the winner. Then from 2008 - 2010 we ran the "cows and cowboys"-scenario. Again on the same online-architecture, but this time with a slightly changed objective. 3. THE FOURTH PHASE: "AGENTS ON MARS" In 2011 we began the fourth phase with the definition of a new scenario: "Agents on Mars". The goal is to implement a team of cooperating agents with different roles in order to occupy zones on planet Mars. The challenge of the scenario is its increased complexity, that is that we have defined 5 roles of agents with different properties and capabilities. In this year's iteration we will work with the 2011 scenario again. 4. SOFTWARE The first package including the agent-contest server, the scenario, the monitor, a team of dummy-agents and the documentation can now be downloaded here: http://multiagentcontest.org/downloads?func=startdown&id=731 5. ENROLLING We would like to invite potential participants to join the MAPC 2012 list. To subscribe, send an e-mail to agentcontest2012-subscribe [at] in.tu-clausthal.de with the subject "subscribe". The confirmation request and welcome message will be sent to you shortly afterwards. Please follow the instructions in the automatic mailing list replies. And please do not hesitate to say hello on the mailing list. 6. PARTICIPATION REQUIREMENTS The participation in this contest consists of these parts: 1. Declaring the intent to participate by registering to the mailing list. 2. Submission of a short team description. Thus registering to the contest officially. 3. Participation in the contest tournament by taking part on the final tournament. 4. Submitting the source-code of your application right after the tournament. 5. Submission of a paper after the tournament. 7. ROUGH TIMELINE Until June: preparing the final software package, that is fixing bugs, adding useful functionality, and fine-tuning the scenario. June: release of the final software package. August: registration phase. August: testing phase. In which you are invited to test your agents using our servers. End of August: qualification phase. In which you have to prove that your agents' connections to our servers are stable and reliable. Early September: tournament. After tournament: publications. 8. PUBLICATIONS After the tournament we invite every participant to submit a paper about their team. The organizers will select a couple of high-quality papers and publish them in the ProMAS 2012 post-proceedings. The others will be published in the Department of Informatics, Clausthal University of Technology, Technical Reports Series. 9. PRICE The winner of the contest will be awarded with a voucher for 500 EUR worth in books, thankfully provided by Springer Verlag. Requirements are the submission of a paper and the sourcecodes of the agents. 10. PEOPLE Organizers: Tristan Behrens (Clausthal University of Technology) Jürgen Dix (Clausthal University of Technology) Jomi Hübner (Federal University of Santa Catarina) Michael Köster (Clausthal University of Technology) Federico Schlesinger (Clausthal University of Technology) Steering Committee: Mehdi Dastani (Utrecht University) Jürgen Dix (Clausthal University of Technology) Peter Novak (Delft University of Technology) From fstolzenburg at hs-harz.de Tue Apr 17 17:51:02 2012 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Tue, 17 Apr 2012 17:51:02 +0200 Subject: KI 2012 Workshop on Human Reasoning and Automated Deduction: Call for Papers Message-ID: <4F8D9166.5050008@hs-harz.de> [Please excuse multiple postings] CALL FOR PAPERS ================ KI 2012 Workshop on Human Reasoning and Automated Deduction http://imodspace.iig.uni-freiburg.de/kik KIK -- KI & Kognition Workshop Series -------- List of important dates Submission deadline: July 9, 2012 Notification: August 10, 2012 Camera-ready copy: August 24, 2012 Workshop: September 24, 2012 -------- Description of workshop topic and goal Automated deduction aims at formalizing diverse aspects of reasoning and has many application areas from software verification to mathematical theorem proving. It is originally based on algorithmic methods derived from mathematical logics. In contrast, human reasoning cannot be completely described by logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Still, humans have an impressive ability to derive acceptable conclusions. From the very beginning of AI research, there has been a strong emphasis on incorporating mechanisms of human rationality and cognition into reasoning systems. The workshop aims at bringing together researchers from AI, Automated Deduction, and Cognitive Science to foster a multi-disciplinary exchange and to discuss possibilities to overcome the historic separation. Topics of interest include, but are not limited to the following: - Non-monotonic, defeasible, and classical reasoning and possible explanations for human reasoning - Limits and differences between automated and human reasoning - Application fields of automated reasoning in the interaction with human reasoners (e.g., in spatial knowledge processing) - Human-computer interaction and cognitive robotics (regarding the relevance for reasoning methods) This workshop continues a series of successful workshops initiated by the Special Interest Group "Cognition" in the GI. -------- Submission Details Papers should be formatted according to the Springer LNCS guidelines (ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip). The length of each paper should be 4 to 8 pages. All papers must be written in English and submitted in pdf format. Submissions should be sent in electronic form to fstolzenburg at hs-harz.de . -------- Organizers Thomas Barkowsky, University of Bremen barkowsky at sfbtr8.uni-bremen.de http://cosy.informatik.uni-bremen.de/staff/thomas-barkowsky Marco Ragni, University of Freiburg ragni at cognition.uni-freiburg.de http://portal.uni-freiburg.de/cognition/members/ragni Frieder Stolzenburg, Harz University of Applied Sciences fstolzenburg at hs-harz.de http://fstolzenburg.hs-harz.de/ -------- Program committee Ulrich Furbach, U Koblenz Steffen Hölldobler, TU Dresden Manfred Kerber, U Birmingham Ute Schmid, TU Bamberg Christoph Wernhard, TU Dresden Bernhard Nebel, U Freiburg Stefan Wölfl, U Freiburg Further requests have been sent out to potential program committee members. -------- Areas of AI Automated Deduction and Cognitive Science Knowledge Acquisition, Representation, Reasoning and Ontologies Non-Monotonic Reasoning and Default Logics Embodied AI: Robotics, Vision and Perception Artificial General Intelligence Cognitive Modeling, AI and Psychology -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Bertram.Fronhoefer at tu-dresden.de Tue Apr 17 17:29:10 2012 From: Bertram.Fronhoefer at tu-dresden.de (=?iso-8859-1?Q?Bertram_Fronh=F6fer?=) Date: Tue, 17 Apr 2012 17:29:10 +0200 Subject: European PhD Program in Computational Logic (EPCL): Call for Applications Message-ID: <72C12E64-02DE-4EB5-AB65-784F7D95E5EE@tu-dresden.de> Please distribute this call to everybody you think intrested in. ====================================================== European PhD Program in Computational Logic (EPCL) ====================================================== http://www.epcl-study.eu/ CALL FOR APPLICATIONS The European PhD Program in Computational Logic (EPCL) is run jointly by four of the leading European universities in the field: - Free University of Bozen-Bolzano (Italy), - Technische Universität Dresden (Germany), - Technische Universität Wien (Austria), and - Universidade Nova de Lisboa (Portugal). Further international universities, research organizations and enterprises which contribute to Computational Logic or apply results from it are involved as associated partners: The Simon Fraser University (Canada), the Universidad de Chile, the National ICT Australia Limited (NICTA), and several companies. The program involves three years of PhD study in at least two of the European partner universities. It leads to a joint doctoral degree of the partner universities at which the studies have been physically performed. The language of the program is English. Financial support is available in the form of positions and scholarships. Necessary requirements for participation in EPCL are a Master's degree in Computer Science or Mathematics, or an equivalent degree; the proof of adequate knowledge of English; and substantial knowledge in the areas Foundations of Logics, Foundations of Artificial Intelligence and Declarative Programming. The program starts annually in the winter term. Applications for 2012 have to be electronically submitted on the Webpage http://www.epcl-study.eu/, before the ======================================= Application Deadline on 15 May 2012 ======================================= If you have enquiries, please do not hesitate to contact the coordinator of the program Prof. Steffen Hölldobler Technische Universität Dresden Fakultät Informatik International Center for Computational Logic Email: sh at iccl.tu-dresden.de Phone: +49 (351) 463 38340 EPCL is supported by the German Federal Ministry of Education and Research (BMBF) within the German Academic Exchange Service (DAAD) program International Doctorates in Germany (IPID). -- Dr.rer.nat.habil. Bertram Fronhöfer TU Dresden Department of Computer Science International Center for Computational Logic 01062 Dresden, Germany Tel.: +49 (0)351 463 39095 From klebanov at kit.edu Tue Apr 17 20:13:41 2012 From: klebanov at kit.edu (Vladimir Klebanov) Date: Tue, 17 Apr 2012 20:13:41 +0200 Subject: Deadline extended (May 1st): COMPARE2012 Workshop @IJCAR: Comparative Empirical Evaluation of Reasoning Systems Message-ID: ***************************************************************** COMPARE2012 - Call for papers 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems Part of IJCAR 2012 - 30 June 2012, Manchester, UK http://compare2012.verifythis.org/ ***************************************************************** IMPORTANT DATES Submission deadline: May 1st, 2012 Notification of acceptance: May 21st, 2012 Final version due: May 28th, 2012 Workshop: June 30, 2012 MOTIVATION AND GOAL Benchmark libraries and competitions are two popular approaches to comparative empirical evaluation of reasoning systems. After a significant increase in comparative evaluation activity recently, we feel that it is time to compare notes. What are the proper empirical approaches and criteria for effective comparative evaluation of reasoning systems? What are the appropriate hardware and software environments? How to assess usability of reasoning systems? How to design, acquire, structure, publish, and use benchmarks and problem collections? The workshop aims to advance comparative empirical evaluation by bringing together current and future competition organizers and participants, maintainers of benchmark collections, as well as practitioners and the general scientific public interested in the topic. Furthermore, the workshop intends to reach out to researchers specializing in empirical studies in computer science outside of automated reasoning. TOPICS The scope of the workshop includes (but is not limited to) topics such as the following. All topics apply to comparative evaluation of reasoning systems. Reports on evaluating a single system (such as case studies done with a particular system) are not in scope of the workshop. * Comparative case studies * Criteria for empirical evaluation * Design, organisation, and conclusions from competitions * Design, acquisition, execution, and dissemination of benchmarks * Experience reports * Hardware and software environments * Inter-community collaboration * Languages and language standards * Practitioner perspectives * Software and code quality evaluation * Surveys and questionnaires * Usability studies SUBMISSIONS AND PROCEEDINGS Papers can be submitted either as regular papers (6-15 pages in LNCS style) or as discussion papers (2-4 pages). Regular papers should present previously unpublished work (completed or in progress), including proposals for system evaluation, descriptions of benchmarks, and experience reports. Discussion papers are intended to initiate discussions, should address controversial issues, and may include provocative statements. All submitted papers will be refereed by the program committee and will be selected in accordance with the referee reports. The collection of accepted papers will be distributed at the workshop and will also be published in the CEUR Workshop Proceedings series. Submissions are now accepted via EasyChair (see workshop website). PROGRAM COMMITTEE * Bernhard Beckert (co-chair), Karlsruhe Institute of Technology, Germany * Christoph Benzmueller, Free University Berlin, Germany * Dirk Beyer, University of Passau, Germany * Armin Biere (co-chair), Johannes Kepler University Linz, Austria * Vinay Chaudhri, SRI International, USA * Koen Claessen, Chalmers Technical University, Sweden * Alberto Griggio, Fondazione Bruno Kessler, Italy * Marieke Huisman, University of Twente, the Netherlands * Radu Iosif, Verimag/CNRS/University of Grenoble, France * Vladimir Klebanov (co-chair), Karlsruhe Institute of Technology, Germany * Rosemary Monahan, National University of Ireland Maynooth * Michał Moskal, Microsoft Research, USA * Jens Otten, University of Potsdam, Germany * Franck Pommereau, University of Évry, France * Sylvie Putot, CEA-LIST, France * Olivier Roussel, CNRS, France * Albert Rubio, Universitat Politècnica de Catalunya, Spain * Aaron Stump, University of Iowa, USA * Geoff Sutcliffe (co-chair), University of Miami, USA CONTACT compare2012 at verifythis.org http://compare2012.verifythis.org/ -- Vladimir Klebanov Postdoctoral Researcher, Application-oriented Formal Verification Karlsruhe Institute of Technology http://formal.iti.kit.edu/~klebanov From sebastian.sardina at rmit.edu.au Wed Apr 18 07:04:58 2012 From: sebastian.sardina at rmit.edu.au (Sebastian Sardina) Date: Wed, 18 Apr 2012 15:04:58 +1000 Subject: =?windows-1252?Q?CFP=3A_The_25th_Australasian_Joint_Conference_on_Artif?= =?windows-1252?Q?icial_Intelligence_=28AI=9212=29?= Message-ID: [Apologies for cross-posting and re-posting] ------------------------------------------------------------ AI'12 Call for Papers The 25th Australasian Joint Conference on Artificial Intelligence (AI’12) 4-7 December 2012 Sydney, Australia http://25thAnniversaryAustralasianAI.org or http://ai12.org Since the first AI Conference took place in Sydney in 1987, the series of annual Australasian Joint Conferences on Artificial Intelligence have become the premier event for Artificial Intelligence researchers in Australasia and one of the major international forums on AI worldwide. For its 25th anniversary, the Australasian Joint Conference on Artificial Intelligence will return to Sydney in December 2012, jointly hosted by The University of Western Sydney and The University of New South Wales. You are invited to submit original research and application papers on all aspects of AI research, including but not limited to the following: Agent-based and multiagent systems AI applications and innovations Cognitive modeling and computer human interaction Commonsense reasoning Computer vision Constraint satisfaction, search, and optimisation Evolutionary computation Game playing and interactive entertainment Information retrieval, integration, and extraction Knowledge acquisition and ontologies Knowledge representation and reasoning Machine learning and data mining Model-based systems Multidisciplinary AI Natural language processing Planning and scheduling Uncertainty in AI Robotics Social choice Web and information systems All accepted papers submitted to the conference will be published in the Springer Lecture Notes in Artificial Intelligence (LNAI) series. Regular paper submissions, tutorial/workshop proposals should refer to the instructions available at the conference website (http://ai12.org). All papers will be peer reviewed by at least three independent referees. Important Dates: Paper submission 29 June 2012 Workshop/Tutorial proposals 29 June 2012 Notification of acceptance 15 August 2012 Camera-ready submission 14 September 2012 Early registration 31 October 2012 Conference Committee: GENERAL CHAIRS Simeon Simoff, University of Western Sydney Maurice Pagnucco, University of New South Wales PROGRAM CHAIRS Dongmo Zhang, University of Western Sydney Michael Thielscher, University of New South Wales LOCAL ARRANGEMENTS CHAIRS Yan Zhang, University of Western Sydney Abhaya Nayak, Macquarie University AWARD SELECTION CHAIR Toby Walsh, National ICT Australia (NICTA) Workshop/TUTORIAL chair Hans Guesgen, Massey University, New Zealand Publicity chair Sebastian Sardina, RMIT University Sponsorship chairs Sumeet Kumar, Telstra Enterprise & Government Laurence Park, University of Western Sydney Conference Coordinator David Rajaratnam, University of New South Wales AI CHALLENGES COORDINATOR Anton Bogdanovych, University of Western Sydney From martin at limsi.fr Wed Apr 18 14:07:27 2012 From: martin at limsi.fr (Jean-Claude MARTIN) Date: Wed, 18 Apr 2012 14:07:27 +0200 Subject: IVA 2012: Call for Workshop Proposals to be held at the 12th international Conference on Intelligent Virtual Agents Message-ID: --------------------------------------------------------------------------------------------------------------------- Call for Workshop Proposals to be held at the 12th international Conference on Intelligent Virtual Agents (IVA 2012) University of California at Santa Cruz, USA http://iva2012.soe.ucsc.edu/ May 7th: deadline for submitting workshop proposal September 10, 11, 15th: workshops --------------------------------------------------------------------------------------------------------------------- The organising committee of the 12th international conference on Intelligent Virtual Agents (IVA 2012) invites workshop proposals for the upcoming conference to be held at the University of California at Santa Cruz. The workshops are intended to facilitate active exchange, interaction and comparison of approaches, methods and late breaking results that are relevant to intelligent virtual agents. The workshops should 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 intelligent virtual agents are also highly welcomed. A selection of best papers of the workshops will be invited to submit to a special issue of the Springer Journal on Multimodal User Interfaces ( http://www.springer.com/computer/hci/journal/12193). --------------------------------------------------------------------------------------------------------------------- Workshop Organisation The workshop organisers will be responsible for forming the workshop programme committee, advertising the workshop, reviewing and selecting papers. 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. We encourage also workshop organisers to elect a best paper award for their workshop. Important Dates - April 16th: dissemination of the call for workshops - May 7th: deadline for submitting workshop proposal - May 15th: notification of acceptance for workshop proposals and dissemination of workshop call for papers - Suggestions for workshop deadlines July 2nd: Paper submission deadline August 1st: Feedback and notification August 31st : Print Ready Paper - September 10, 11, 15: workshops --------------------------------------------------------------------------------------------------------------------- Workshop Proposal Submission The above described workshop proposals must be submitted via e-mail by May 7th as .pdf files to both Jean-Claude Martin (MARTIN at LIMSI.FR) and Reid Swanson (reid at soe.ucsc.edu). Workshop proposals should include the following elements: - A draft call for papers including 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 tentative list of proposed programme committee members for the workshop. Important dates - 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 - Edit workshop papers and make them available to participants -- ********************************************** Jean-Claude MARTIN Professor of Computer Science at Paris-South 11 University Head of the Group "Cognition, Perception and Usability" at LIMSI-CNRS http://www.limsi.fr/Individu/martin/ Editor-in-Chief of the Springer Journal on Multimodal User Interfaces (JMUI) http://www.springer.com/computer/hci/journal/12193 ---------------------------------------------- LIMSI-CNRS, University of Paris Sud Building 508, Office 204 B.P. 133, 91403 ORSAY cedex (France). Tel.: +33 1 6985 8104 - Fax: +33 1 6985 8088 Email: MARTIN at LIMSI.FR ********************************************** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From womo2012 at easychair.org Thu Apr 19 12:29:03 2012 From: womo2012 at easychair.org (WoMO 2012) Date: Thu, 19 Apr 2012 12:29:03 +0200 Subject: 2nd CfP: WoMO 2012 - 6th Int'l Workshop on Modular Ontologies Message-ID: ======================================================== 6th Int'l Workshop on Modular Ontologies (WoMO) Graz, Austria, July 24, 2012 held in conjunction with FOIS 2012 --- Second Call for Papers --- ======================================================== Submission deadline: May 11, 2012 ======================================================== INVITED SPEAKERS: * Thomas Eiter, Vienna University of Technology, Austria Title TBA * Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy Multi context logics: a formal support for structuring knowledge and beliefs (Tentative title) http://www.informatik.uni-bremen.de/~ts/womo2012 MODULARITY, studied for years in software engineering, allows mechanisms for easy and flexible reuse, generalization, structuring, maintenance, design patterns, and comprehension. In formal and applied ontology, modularity is central to reducing the complexity of designing and understanding ontologies, and to facilitating ontology verification, reasoning, development, maintenance and integration. Recent research on ontology modularity shows substantial progress in foundations of modularity, techniques of modularization and modular development, distributed reasoning and empirical evaluation. These results provide a solid foundation and exciting prospects for further research and development. The workshop continues a series of successful events that have been an excellent venue for practitioners and researchers to discuss latest and current work; the most recent WoMOs were held at FOIS 2010 and ESSLLI 2011. TOPICS include, but are not limited to: - What is modularity?: kinds of modules and their properties; modules vs. contexts; design patterns; granularity of representation; - Logical/foundational studies: conservativity; modular ontology languages; reconciling inconsistencies across modules; formal structuring of modules; heterogeneity; - Algorithmic approaches: distributed and incremental reasoning; modularization and module extraction; sharing, linking, reuse; privacy; evaluation of modularization approaches; complexity of reasoning; implemented systems; - Applications: semantic web; life sciences; bio-ontologies; natural language processing; space and time; ambient intelligence; social intelligence; collaborative ontology development and ontology versioning. IMPORTANT DATES Paper Submission: May 11, 2012 Notification: June 12, 2012 Camera ready: July 1, 2012 Workshop: July 24, 2012 SUBMISSION GUIDELINES: We welcome submissions on modularity in a broad sense. The workshop is open to papers of theoretical or practical nature. Submissions should be of up to 11 pages in length, formatted according to Springer LNCS style (see http://www.springer.com/comp/lncs/Authors.html ), prepared in PDF format and submitted no later than May 11, 2012, through the EasyChair Submission System (see http://www.easychair.org/conferences/?conf=womo2012 ). Submitted papers will be peer-reviewed by members of the program committee. Accepted papers will be made available in the proceedings to be published electronically in the CEUR Workshop Proceedings series (see http://www.ceur-ws.org ). (Find the WoMO 2010 and 2011 proceedings here http://www.booksonline.iospress.nl/Content/View.aspx?piid=16268 and http://www.booksonline.iospress.nl/Content/View.aspx?piid=20369 ) WORKSHOP CHAIRS: Thomas Schneider, University of Bremen, Germany Dirk Walther, Technical University of Madrid (UPM), Spain PROGRAM COMMITTEE: Kenneth Baclawski, Northeastern University, Boston, MA, USA Stefano Borgo, Italian National Research Council, Trento, Italy Oscar Corcho, Universidad Politecnica de Madrid, Spain Bernardo Cuenca Grau, University of Oxford, UK Mike Dean, Raytheon BBN Technologies, Ann Arbor, MI, USA Silvio Ghilardi, Universita degli Studi di Milano, Italy Michael Gruninger, University of Toronto, Canada Janna Hastings, EMBL-EBI, Cambridge, UK Robert Hoehndorf, University of Cambridge, UK Boris Konev, University of Liverpool, UK Roman Kontchakov, Birkbeck College, London, UK Thomas Meyer, Meraka Institute, CSIR, Pretoria, South Africa Till Mossakowski, University of Bremen, Germany Immanuel Normann, Birkbeck College, London, UK Leo Obrst, MITRE, McLean, VA, USA Adrian Paschke, Free University of Berlin, Germany David Perez del Rey, Universidad Politecnica de Madrid, Spain Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy From annette at cs.vu.nl Thu Apr 19 18:31:59 2012 From: annette at cs.vu.nl (Annette ten Teije) Date: Thu, 19 Apr 2012 18:31:59 +0200 Subject: Extended Deadline: Cfp: 18th Int. Conf. on Knowledge Engineering and Knowledge Management (EKAW 2012) References: <2C5839CA-B80F-439B-A3C6-0693208778F7@cs.vu.nl> Message-ID: <4F290AAE-2DB2-4916-BE87-0F61A7801B5D@cs.vu.nl> Extended Deadline Abstract Submission: April 30th, 2012 Extended Deadline Full Paper Submission: May 4th, 2012 Call for Papers: 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2012) National University of Ireland Galway Quadrangle October 8-12, 2012. http://ekaw2012.ekaw.org The 18th International Conference on Knowledge Engineering and Knowledge Management is concerned with all aspects of eliciting, acquiring, modeling and managing knowledge, and its role in the construction of knowledge-intensive systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, etc. The special focus of the 18th edition of EKAW will be on "Knowledge Engineering and Knowledge Management that matters". We are explicitly calling for papers that have a potentially high impact on a specific community or application domain (e.g. pharmacy and life sciences), as well as for papers which report on the development or evaluation of publicly available data sets relevant for a large number of applications. Moreover, we welcome contributions dealing with problems specific to modeling and maintenance of real-world data or knowledge, such as scalability and robustness of knowledge-based applications, or privacy and provenance issues related to organizational knowledge management. In addition to the main research track, EKAW 2012 will feature a tutorial and workshop program, as well as a poster and demo track. Moreover, there will be a Doctoral Consortium giving new PhD students a possibility to present their research proposals, and to get feedback on methodological and practical aspects of their planned dissertation. The proceedings of the conference will be published by Springer Verlag in the LNCS series. The LNCS volume will contain the contributed research papers as well as descriptions of the demos presented at the conference. Papers published at any of the workshops will be published in dedicated workshop proceedings. EKAW 2012 welcomes papers dealing with theoretical, methodological, experimental, and application-oriented aspects of knowledge engineering and knowledge management. In particular, but not exclusively, we solicit papers about methods, tools and methodologies relevant with regard to the following topics: 1) “Knowledge Management and Knowledge Engineering that matters” • Real-world applications of methods for knowledge management and engineering in domains such as - e-Government and public administration - Life sciences, health and medicine - Automotive and manufacturing industry - Cultural heritage applications - Digital libraries • Development and evaluation of publicly available knowledge repositories for new applications or domains • Methods and methodologies addressing the challenges of real-world data, e.g., - Scalability, robustness etc. - Maintenance costs and financial risks - Privacy and data security • Lessons learned from case studies, e.g., - Knowledge management in large organizations - Adoption of semantic web technologies - Maintenance of corporate knowledge repositories 2) Knowledge Management • Methodologies and tools for knowledge management • Knowledge sharing and distribution, collaboration • Best practices and lessons learned from case studies • Provenance and trust in knowledge management • Methods for accelerating take-up of knowledge management technologies • Corporate memories for knowledge management • Evolution, maintenance and preservation of knowledge • Web 2.0 technologies for knowledge management • Incentives for human knowledge acquisition (e.g. games with a purpose) 3) Knowledge Engineering and Acquisition • Tools and methodologies for ontology engineering • Ontology design patterns • Ontology localization • Ontology alignment • Knowledge authoring and semantic annotation • Knowledge acquisition from non-ontological resources (thesauri, folksonomies etc.) • Semi-automatic knowledge acquisition, e.g., ontology learning • Mining the Semantic Web and the Web of Data • Ontology evaluation and metrics • Uncertainty and vagueness in knowledge representation • Dealing with dynamic, distributed and emerging knowledge 4) Social and Cognitive Aspects of Knowledge Representation • Knowledge representation inspired by cognitive science • Synergies between humans and machines • Knowledge emerging from user interaction and networks • Knowledge ecosystems • Expert finding, e.g., by social network analysis • Trust and privacy in knowledge representation • Collaborative and social approaches to knowledge management and acquisition • Crowdsourcing in knowledge management As last EKAW conference we will accept different types of papers. The papers will all have the same status and follow the same formatting guidelines in the proceedings but will receive special treatment during the reviewing phase. In particular, each paper type will be subject to own evaluation criteria. The PC will also make sure that there is a reasonable balance of the paper types accepted. At submission time the paper has to be clearly identified as belonging to one of the following categories. • Research papers: These are “standard” papers presenting a novel method, technique or analysis with appropriate empirical or other types of evaluation as proof-of concept. The main evaluation criteria here will be originality, technical soundness and validation. • In-use papers: Here we are expecting papers describing applications of knowledge management and engineering in real environments. Applications need to address a sufficiently interesting and challenging problem on real-world datasets, involving many users etc. The focus is less on the originality of the approach and more on presenting systems that solve a significant problem while addressing the particular challenges that come with the use of real-world data. Evaluations should involve a representative subset of the actual users of the system. • Position papers: We invite researchers to also publish position papers which describe novel and innovative ideas. Position papers may also comprise an analysis of currently unsolved problems, or review theses problems from a new perspective, in order contribute to a better understanding of these problem in the research community. We expect that such papers will guide future research by highlighting critical assumptions, motivating the difficulty of a certain problem or explaining why current techniques are not sufficient, possibly corroborated by quantitative and qualitative arguments. Submissions of research and in-use papers should comprise a maximum of 15 pages formatted according to Springer Verlag LNCS guidelines and uploaded using Easychair ( http://www.easychair.org/conferences/?conf=ekaw2012). Position papers are required to have at most 5 pages in the same format. We will select the best papers from EKAW and invite the authors for a special edition of Journal of Data Semantics. Important Dates: Abstract Submission: 30th of April 2012 Paper Submission: 4th of May 2012 Notification: 6th of June 2012 Camera Ready: 30 of June 2012 Organizing Committee: General chair: Heiner Stuckenschmidt Co-chair and local organizer: Siegfried Handschuh Program chairs: Annette ten Teije, Johanna Voelker Workshop and tutorials chairs: Claudia d’Amato, Krysztof Janowicz Demo and poster chairs: Mathieu d’Aquin, Andriy Nikolov Doctoral consortium chairs: Nathalie Aussenac-Gilles, Nathalie Hernandez Sponsor chair: Christian Bizer -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pmt6sbc at maths.leeds.ac.uk Fri Apr 20 03:51:19 2012 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Fri, 20 Apr 2012 02:51:19 +0100 (BST) Subject: 2nd Call for Informal Presentations at Turing Centenary Conference, Cambridge, UK Message-ID: <201204200151.q3K1pJ2K018829@maths.leeds.ac.uk> ********************************************************************** 2nd CALL FOR INFORMAL PRESENTATIONS - DEADLINE MAY 11th, 2012: TURING CENTENARY CONFERENCE http://www.cie2012.eu Computability in Europe 2012: How the World Computes University of Cambridge Cambridge, 18-23 June 2012 Registrations for this year's CiE are already reaching record levels. CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, artificial intelligence, philosophy and computational aspects of physics, biology, linguistics, economics and the wider scientific world. CiE 2012 is planned to be an event worthy of the remarkable scientific career it commemorates, and will be the largest ever conference centred on the Computability Theoretic legacy of Turing and his contemporaries. PLENARY SPEAKERS include: Andrew Hodges (Oxford, Special Invited Lecture), Ian Stewart (Warwick, Special Public Lecture), Dorit Aharonov (Jerusalem), Veronica Becher (Buenos Aires), Lenore Blum (Carnegie Mellon, The 2012 APAL Lecture), Rodney Downey (Wellington), Yuri Gurevich (Microsoft, The EACSL Lecture), Juris Hartmanis (Cornell), Richard Jozsa (Cambridge, jointly organised lecture with King's College), Stuart Kauffman (Vermont/ Santa Fe), James Murray (Oxford/Princeton, Microsoft Research Lecture), Stuart Shieber (Harvard), Paul Smolensky (Johns Hopkins) and Leslie Valiant (Harvard, jointly organised lecture with King's College). SUBMISSION OF ABSTRACTS OF INFORMAL PRESENTATIONS are invited for this historic event. For submission details, see: http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/give-page.php?12 SUBMISSION DEADLINE for Informal Presentations: MAY 11, 2012 Authors will be notified of acceptance, usually within two weeks of submission. All accepted papers become eligible for consideration for post-conference journals: COMPUTABILITY will consider journal versions of papers presented at CiE conferences as a general rule; and there will be special issues of Logical Methods in Computer Science (LMCS), Annals of Pure and Applied Logic (APAL) and the Journal of Computational Biology. CiE 2012 CONFERENCE TOPICS include, but not exclusively - * Admissible sets * Algorithms * Analog computation * Artificial intelligence * Automata theory * Bioinformatics * Classical computability and degree structures * Cognitive science and modelling * Complexity classes * Computability theoretic aspects of programs * Computable analysis and real computation * Computable structures and models * Computational and proof complexity * Computational biology * Computational creativity * Computational learning and complexity * Computational linguistics * Concurrency and distributed computation * Constructive mathematics * Cryptographic complexity * Decidability of theories * Derandomization * DNA computing * Domain theory and computability * Dynamical systems and computational models * Effective descriptive set theory * Emerging and Non-standard Models of Computation * Finite model theory * Formal aspects of program analysis * Formal methods * Foundations of computer science * Games * Generalized recursion theory * History of computation * Hybrid systems * Higher type computability * Hypercomputational models * Infinite time Turing machines * Kolmogorov complexity * Lambda and combinatory calculi * L-systems and membrane computation * Machine learning * Mathematical models of emergence * Molecular computation * Morphogenesis and developmental biology * Multi-agent systems * Natural Computation * Neural nets and connectionist models * Philosophy of science and computation * Physics and computability * Probabilistic systems * Process algebras and concurrent systems * Programming language semantics * Proof mining and applications * Proof theory and computability * Proof complexity * Quantum computing and complexity * Randomness * Reducibilities and relative computation * Relativistic computation * Reverse mathematics * Semantics and logic of computation * Swarm intelligence and self-organisation * Type systems and type theory * Uncertain Reasoning * Weak systems of arithmetic and applications We particularly welcome submissions in emergent areas, such as bioinformatics and natural computation, where they have a basic connection with computability. CiE 2012 will have a special relationship to the scientific legacy of Alan Turing, reflected in the broad theme: How the World Computes, with all its different layers of meaning. Contributions which are directly related to the visionary and seminal work of Turing will be particularly welcome. SPECIAL SESSIONS include: * Cryptography, Complexity, and Randomness Chairs: Rod Downey and Jack Lutz Speakers so far: Eric Allender, Laurent Bienvenu, Lance Fortnow, Valentine Kabanets, Omer Reingold, Alexander Shen + Panel Discussion on Future Directions * The Turing Test and Thinking Machines Chairs: Mark Bishop and Rineke Verbrugge Speakers: Bruce Edmonds, John Preston, Susan Sterrett, Kevin Warwick, Jiri Wiedermann + Panel Discussion on Future Directions * Computational Models After Turing: The Church-Turing Thesis and Beyond Chairs: Martin Davis and Wilfried Sieg Speakers: Giuseppe Longo, Peter Nemeti, Stewart Shapiro, Matthew Szudzik, Philip Welch, Michiel van Lambalgen * Morphogenesis/Emergence as a Computability Theoretic Phenomenon Chairs: Philip Maini and Peter Sloot Speakers: Jaap Kaandorp, Shigeru Kondo, Nick Monk, John Reinitz, James Sharpe, Jonathan Sherratt * Open Problems in the Philosophy of Information Chairs: Pieter Adriaans and Benedikt Loewe Speakers: Patrick Allo, Luis Antunes, Mark Finlayson, Amos Golan, Ruth Millikan + Panel Discussion on Future Directions * The Universal Turing Machine, and History of the Computer Chairs: Jack Copeland and John Tucker Speakers so far: Steven Ericsson-Zenith, Ivor Grattan-Guinness, Mark Priestley, Robert I. Soare + Panel Discussion There will be the annual Women in Computability Workshop, supported by a grant from Elsevier, with contributions from Lenore Blum, Dorit Aharonov and Ann Copestake. PROGRAMME COMMITTEE: * Samson Abramsky (Oxford) * Pieter Adriaans (Amsterdam) * Franz Baader (Dresden) * Arnold Beckmann (Swansea) * Mark Bishop (London) * Paola Bonizzoni (Milan) * Luca Cardelli (Cambridge) * Douglas Cenzer (Gainesville) * S Barry Cooper (Leeds, Co-chair) * Ann Copestake (Cambridge) * Anuj Dawar (Cambridge, Co-chair) * Solomon Feferman (Stanford) * Bernold Fiedler (Berlin) * Luciano Floridi (Hertfordshire) * Martin Hyland (Cambridge) * Marcus Hutter (Canberra) * Viv Kendon (Leeds) * Stephan Kreutzer (Oxford) * Ming Li (Waterloo) * Benedikt Loewe (Amsterdam) * Angus MacIntyre (London) * Philip Maini (Oxford) * Larry Moss (Bloomington) * Amitabha Mukerjee (Kanpur) * Damian Niwinski (Warsaw) * Dag Normann (Oslo) * Prakash Panangaden (Montreal) * Jeff Paris (Manchester) * Brigitte Pientka (Montreal) * Helmut Schwichtenberg (Munich) * Wilfried Sieg (Carnegie Mellon) * Mariya Soskova (Sofia) * Bettina Speckmann (Eindhoven) * Christof Teuscher (Portland) * Peter van Emde Boas (Amsterdam) * Jan van Leeuwen (Utrecht) * Rineke Verbrugge (Groningen) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit abstracts of their proposed presentations (in PDF-format, max 1 page) for CiE 2012. We particularly invite papers that build bridges between different parts of the research community. ORGANISING COMMITTEE: Arnold Beckmann (Swansea), Luca Cardelli (Cambridge), S Barry Cooper (Leeds), Ann Copestake (Cambridge), Anuj Dawar (Cambridge, Chair), Martin Hyland (Cambridge), Benedikt Loewe (Amsterdam), Arno Pauly (Cambridge), Andrew Pitts (Cambridge) The conference is sponsored by the ASL, EACSL, EATCS, Elsevier, the IET, IFCoLog, King's College Cambridge, Science Magazine, The University of Cambridge and Microsoft Research. For a small poster to download and display: http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/Images/cie12.poster.1000x1400.png Contact: Anuj Dawar - anuj.dawar(at)cl.cam.ac.uk or cie-2012 at cl.cam.ac.uk ********************************************************************** From do_not_reply at dcmrf.net Fri Apr 20 10:00:46 2012 From: do_not_reply at dcmrf.net (The International Conference on Informatics & Applications (ICIA2012)) Date: Fri, 20 Apr 2012 03:00:46 -0500 Subject: Extended CFP - ICIA2012 - Malaysia Message-ID: The International Conference on Informatics & Applications (ICIA2012) University Sultan Zainal Abidin, Kuala Terengganu, Malaysia June 3-5, 2012 http://www.sdiwc.net/icia2012/ =================================================================== The proposed conference on the above theme will be held at University Sultan Zainal Abidin, Kuala Terengganu, Malaysia, From June 3-4, 2012 which aims to enable researchers build connections between different digital applications. The conference welcomes papers on the following (but not limited to) research topics: - Information Ethics - Information Content Security - Data Compression - E-Technology - E-Government - E-Learning - Cloud Computing - Grid Computing - Green Computing - Access Controls - Data Mining - Social Search - Computer Forensics - Computer Security - Peer-to-Peer Social Networks - Information and Data Management - Network Security - Social Networks - Real-Time Systems - Internet Modeling - Assurance of Service - Image Processing - Web Services Security - Multimedia Computing - Software Engineering - Biometrics Technologies - Wireless Communications - Semantic Web, Ontologies - Mobile Social Networks - Distributed and Parallel Applications - Embedded Systems and Software - Critical Computing and Storage - Critical Infrastructure Management - Soft Computing Techniques - Confidentiality Protection - Mobile Networking, Mobility and Nomadicity - Anti-cyberterrorism - Ubiquitous Computing, Services and Applications - Forensics, Recognition Technologies and Applications - Fuzzy and Neural Network Systems - Signal Processing, Pattern Recognition and Applications - User Interfaces,Visualization and Modeling - Mobile, Ad Hoc and Sensor Network Management - Web Services Architecture, Modeling and Design - Quality of Service, Scalability and Performance - Self-Organizing Networks and Networked Systems - Computational Intelligence - Data Management in Mobile Peer-to-Peer Networks - Data Stream Processing in Mobile/Sensor Networks - Indexing and Query Processing for Moving Objects - User Interfaces and Usability Issues form Mobile Applications - Sensor Networks and Social Sensing - XML-Based Languages - Cryptography and Data Protection - Information Propagation on Social Networks - Resource and Knowledge Discovery Using Social Networks - Computer Crime Prevention and Detection Researchers are encouraged to submit their work electronically. All papers will be fully refereed by a minimum of two specialized referees. Before final acceptance, all referees comments must be considered. Important Dates ============== Submission Date : Apr. 30, 2012 Notification of acceptance : May 10, 2012 Camera Ready submission : May 17, 2012 Registration : May 17, 2012 Conference dates : June 3-5, 2012 ---------------------------------------- If you want to unsubscribe to this mail message from SDIWC, just follow this link http://dcmrf.net/Filemailer2/sdiwc-mailer/unsubscribe.php?id=76e17fab5c08e8d933397e6a30c4f9fa -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From esslli2012stus at loriweb.org Fri Apr 20 12:01:25 2012 From: esslli2012stus at loriweb.org (Rasmus K. Rendsvig) Date: Fri, 20 Apr 2012 12:01:25 +0200 Subject: Grants and Reminder: ESSLLI 2012 Student Session (deadline April 30) In-Reply-To: <4EE9E448.8080204@loriweb.org> References: <4EE9E448.8080204@loriweb.org> Message-ID: <4F9133F5.1020604@loriweb.org> [apologies for multiple postings] * * *** PLEASE Forward to students who could have interest in attending this years ESSLLI*** Reminder and Grants Info *ESSLLI 2012 STUDENT SESSION* Held during The 24th European Summer School in Logic, Language and Information Opole, Poland, August 6-17, 2012 *EXTENDED DEADLINE: APRIL 30, 2012* http://loriweb.org/ESSLLI2012StuS/ This is a reminder of the final, extended deadline for submission to the ESSLLI 2012 Student Session and a notification that the ESSLLI 2012 OC are offering grants in form of waived fees to selected students. Preferences will be given to students actively participating in the Student Session. The deadline for submitting to the ESSLLI 2012 StuS is***APRIL 30*** For more information of grant application, instructions for authors and important dates, please refer to the Student Session website: http://loriweb.org/ESSLLI2012StuS/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From frank.loebe at informatik.uni-leipzig.de Fri Apr 20 15:10:13 2012 From: frank.loebe at informatik.uni-leipzig.de (frank.loebe at informatik.uni-leipzig.de) Date: Fri, 20 Apr 2012 15:10:13 +0200 Subject: FOIS 2012: FINAL Call for Posters of Young Scientists (Formal Ontology in Information Systems, Jul 24-27, 2012, Graz, Austria) Message-ID: <201204201310.q3KDAHpt002105@isun.informatik.uni-leipzig.de> (apologies for cross-posting) ... (please distribute) ----------------------------------------------------------------- FINAL Call for Posters >> FOIS 2012 << of Young Scientists (! only !) Jul 24-27, Graz, Austria -> DEADLINE: * Submission of Posters of Young Scientists: May 01, 2012 [1] http://purl.org/icbofois2012 ------------------------------------------------ TITLE AND CO-LOCATION ------------------------------------------------ Seventh International Conference on Formal Ontologies in Information Systems (FOIS 2012) July, 24-27, 2012 in Graz, Austria held together with the Third International Conference on Biomedical Ontology (ICBO 2012) ------------------------------------------------ DEFINITION AND SCOPE ------------------------------------------------ Researchers in diverse areas increasingly recognize the need for serious engagement with ontology, understood as a general theory of the types of entities and relations making up their respective domains of enquiry, in providing a solid foundation for their work. Among these areas there are * conceptual modeling, * database design, * software engineering, * organizational modeling, * artificial intelligence, * computational linguistics, * the life sciences, * bioinformatics, * geographic information science, * knowledge engineering, * information retrieval, and * the semantic web. The FOIS conference is designed to provide a meeting point for interdisciplinary research and communication for researchers from all interested disciplines. The conference series [2] began with the first meeting in Trento, Italy in June 1998 followed by meetings in 2001, 2004, 2006, 2008, and 2010. The seventh FOIS conference will be held in Graz, Austria July 24-27, 2012, in conjunction with the third International Conference on Biomedical Ontology (ICBO 2012). For further general information on FOIS, the flagship conference of the International Association for Ontology and its Applications (IAOA) [3], please consult the websites of FOIS 2012 [1] or the conference series website [2]. ----------------------------------------------------------------- POSTER SESSION (! submissions by YOUNG SCIENTISTS only !) ----------------------------------------------------------------- The poster session at FOIS 2012 will give young scientists the opportunity to present their current work related to formal ontology in information systems and discuss their approach, results, problems and methods with the other participants of the conference. As this poster session is particularly intended to provide an opportunity for young ontologists to disseminate, and obtain feedback on, their work, __submission is restricted__ to students who are working towards a postgraduate qualification (Master's or Ph.D.). The selection of poster contributions will pay specific attention to their relevance to the topics of FOIS 2012. ------------------------------------------------ TOPICS OF INTEREST ------------------------------------------------ Topic areas of interest include in particular: Foundational Issues * Kinds of entity: particulars/universals, continuants/occurrents, abstracta/concreta, dependent/independent entities, natural objects/artifacts * Formal relations: parthood, identity, connection, dependence, constitution, subsumption, instantiation * Vagueness and granularity * Identity and change * Formal comparison among ontologies * Ontology of physical reality (matter, space, time, motion, ...) * Ontology of biological reality (genes, proteins, cells, organisms, ...) * Ontology of artifacts, functions and roles * Ontology of mental reality and agency (beliefs, intentions, emotions, ...) * Ontology of social reality (institutions, organizations, norms, social relationships, artistic expressions, ...) * Ontology of the information society (information, communication, meaning negotiation, ...) * Ontology and Natural Language Semantics, Ontology and Cognition Methodologies and Applications * Top-level vs application ontologies * Ontology integration and alignment; role of reference ontologies * Ontology-driven information systems design * Ontological foundations for conceptual modeling * Ontology-based application systems * Requirements engineering * Knowledge engineering * Knowledge management and organization * Knowledge representation; Qualitative modeling * Computational lexicons; Terminology * Information retrieval; Question-answering * Semantic Web; Web services; Grid computing * Domain-specific ontologies, especially for: Biomedical science, E-business, Enterprise integration, Engineering, Geography, Law, Library science, Linguistics, ... ------------------------------------------------ IMPORTANT DATES ------------------------------------------------ We encourage graduate students to submit posters to FOIS 2012. Poster submission: May 01, 2012 <-- Poster notification: Jun 01, 2012 Final poster submission: Jun 25, 2012 Electronic publication: Jul 10, 2012 Poster presenters must register for the conference, please see [4,5] for applicable rates. Regular registration: Jun 30, 2012 <-- Late registration: Jul 27, 2012 Note that the periods for early registration and for applying for travel grants are over. Conference dates: Jul 24-27, 2012 ------------------------------------------------ AUTHOR INSTRUCTIONS FOR POSTERS ------------------------------------------------ Poster submission should consist of 1. an electronic copy of the poster itself (for printing at A2 size), preferably in PDF format, and 2. a cover letter giving the author's contact details and a statement of current status, including the year of expected graduation at the PhD or Master's level. All poster submissions should have the subject line "FOIS poster" and should be mailed to [6] fois2012 at easychair.org Accepted posters will be published electronically and made available via the conference web page [1]. ------------------------------------------------ CONFERENCE ORGANISATION ------------------------------------------------ Conference chair: Michael Gruninger (University of Toronto, Canada) Program chairs: Maureen Donnelly (University at Buffalo, USA) Giancarlo Guizzardi (Fed. Univ. of Espírito Santo, Brazil) Local organization: Stefan Schulz (Graz University, Austria) For the FOIS programme committee, please see the FOIS 2012 website [1]. ------------------------------------------------ KEYNOTE SPEAKERS ------------------------------------------------ Steven R. Ray (Carnegie Mellon Silicon Valley, California, USA) Laure Vieu (CNRS-IRIT, Toulouse, France) Edward N. Zalta (Stanford University, California, USA) ------------------------------------------------ RELATED OPPORTUNITY ------------------------------------------------ Young scientists may also take into account the First Interdisciplinary Summer School on Ontological Analysis [7], organized by IAOA [3] during Jul 16-20, 2012, in Trento, Italy, just the week before the FOIS conference in Graz, Austria. ------------------------------------------------ LINKS ------------------------------------------------ [1] http://purl.org/icbofois2012 == http://www.kr-med.org/icbofois2012 FOIS and ICBO 2012 website [2] http://www.formalontology.org/ FOIS conference series [3] http://www.iaoa.org International Association for Ontology and Its Applications [4] http://www.kr-med.org/icbofois2012/registration.htm FOIS registration page [5] http://www.kr-med.org/icbofois2012/graph/rates.png ICBO/FOIS registration rates overview [6] mailto:fois2012 at easychair.org Submission address for FOIS posters of young scientists [7] http://iaoa.org/isc2012/index.php website of the First Interdisciplinary Summer School on Ontological Analysis ----------------------------------------------------------------- From iccs12.agadir at gmail.com Sat Apr 21 15:27:15 2012 From: iccs12.agadir at gmail.com (M Nemiche) Date: Sat, 21 Apr 2012 15:27:15 +0200 Subject: Deadline Approaching -April 30- International Conference on Complex Systems Message-ID: *CALL FOR PAPERS * *International Conference on Complex Systems* ICCS'12 is an IEEE Technically Co-sponsored Conference November 5-6, 2012 Agadir, Morocco Submission deadline: April 30, 2012 http://iccs12.org An International Conference on Complex Systems (ICCS'12) will be organized by Ibn Zohr University, Agadir, Morocco on November 5-6, 2012 in memory of the late Professor Lorenzo Ferrer Figueras , ex-president of the Spanish Society of General Systems. The city of Agadir is considered one of the most attractive touristic areas on the African continent. Agadir enjoys clement weather year-round, including the month of November. ICCS'12 will provide a high-level, international forum for scientists, researchers, industrial professionals, and students who will present state-of-the-art research results, address new challenges, and discuss trends in Computational Intelligence, Cybernetics, General Systems Theory, and their applications in diverse fields. *Conference Proceedings, Special Issues* All presented papers will be published in the conference proceedings and included in *IEEE Xplore Digital Library.* * * Authors of selected papers will be invited to submit extended versions of their papers to the International Journal of Computational Intelligence Systems (IJCIS) *Impact Factor 1,471* *Extended versions of selected papers will be published in the special issue of the following journals:* 1. International Journal of Artificial Intelligence and Soft Computing (IJAISC) 2. International Journal of Systems, Control and Communications (IJSCC) 3. International Journal of Applied Evolutionary Computation (IJAEC) 4. International Journal on Information & Communication Technologies (IJICT) * * *The topics of interest include, but are not limited to:* · Complex Dynamic Systems and Globalization · General System Theory and Methodology · Complex Social and Ecological Systems · Economical, Political and Juridical Systems · Socio-Cultural and Behavioral Modeling · Mathematical Methods in Cybernetics and Systems Theory · Sociocybernetics and Mathematical Sociology · Fuzzy Set Theory and Fuzzy Systems · Fractals, Chaos Theory and Chaotic Systems · Artificial Neural Networks · Genetic and Evolutionary Algorithms · Adaptive Agents and Multi-agent Learning · Multi-agent Social Simulation and Cognitive Modeling with Agents · Agent-Based Modeling and Simulation · Agent and Multi-agent Architectures · Game Theory, Strategic Decision-Making in Competitive Environments · Modeling and Control Systems · Diagnosis and Fault-tolerant Control Systems · Hardware-Software Co-Design, Embedded Systems · Complex Biomedical Engineering *CONTACT* * * M. Nemiche nemiche at uv.es *DEADLINES* * * Paper Submission: April 30, 2012 Acceptance notification to authors: June 30, 2012 Final version and registration: July 28, 2012 ICCS'12 Conference: November 5-6, 2012 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From christian.guttmann at gmail.com Sun Apr 22 12:00:31 2012 From: christian.guttmann at gmail.com (Christian Guttmann) Date: Sun, 22 Apr 2012 14:00:31 +0400 Subject: 2nd CFP (DEADLINE EXTENSION): MATES 2012 - The Tenth German Conference on Multi-Agent System Technologies Message-ID: <4F93D6BF.6020909@gmail.com> =========================================================================== 2nd Call For Papers MATES 2012 - Tenth German Conference on Multi-Agent System Technologies "Research and Innovation for a Smarter Society" !! DEADLINE EXTENSION !! Abstracts due: EXTENDED May 7, 2012 (April 21, 2012) Full papers due: EXTENDED May 14, 2012 (April 28, 2012) October, 10th-12th, 2012 Trier, Germany http://mates2012.uni-trier.de =========================================================================== The German conference on Multi-Agent system TEchnologieS (MATES) provides an interdisciplinary forum for researchers, users (members of business and industry) and developers of intelligent agents and multi-agent systems. The thematic focus of this MATES 2012 is on technologies that enable societies and organisations to be more resilient, inter-connected and collaborative. The conference investigates technologies for truly open distributed systems --- covering a wide spectrum of approaches from self-organization and autonomous systems to agreement computing. Advances in research work, as well as prototyped or fielded systems of intelligent agents will be presented and discussed. The conference covers the whole range from theory to application of agent- and multi-agent technologies in order to promote theory and application of agents and multi-agent systems. The conference will also host a doctoral consortium. For the tenth time the German special interest group on Distributed Artificial Intelligence jointly with the steering committee of MATES organizes this international conference in order to promote theory and application of agents and multi-agent systems. Building on the sequence of agent-related events in Germany in the past such as VDI 1998 (Chemnitz), VertIS 2001 (Bamberg), and KI 2002 (Aachen), the MATES conference series (from 2003 to 2011) now is exclusively devoted to agents and multi-agent systems, and the cross-fertilization between agent theory and application. This year is also the 20th year of the German special interest group on Distributed Artificial Intelligence – another reason for an inspiring conference on agents! The conference language is English. Salve – welcome to Trier! The conference takes place in Germany’s oldest city - close to Saarbrücken, Frankfurt/Main and Luxemburg as well as the well-known Leibniz Center for Informatics (Schloss Dagstuhl). The MATES series has been ranked by the Computing Research & Education initiative as a CORE B conference. The proceedings will be published as Springer LNCS. Contact: mates2012 at easychair.org INVITED SPEAKER TBC Jeff Bradshaw Jeffrey M. Bradshaw (Ph.D., Cognitive Science, University of Washington) is a Senior Research Scientist at the Florida Institute for Human and Machine Cognition (IHMC) where he leads the research group developing the KAoS policy and domain services framework. With Marco Carvalho, he co-leads the development of the Luna Agent Framework and the IHMC Cyber Framework, designed to address requirements of situation awareness, anticipation, responsiveness, teamwork, and efficiency of large distributed network operations centers at a national scale. Formerly, he led research groups at The Boeing Company and the Fred Hutchinson Cancer Research Center. TOPICS OF INTEREST MATES 2012 welcomes contributions from the field of agent-oriented computing and agent technologies. We solicit both basic as well as applied research papers on recent advances in the area of intelligent agents and multi-agent systems in general. Also papers reporting on the successful application of agent technologies in any kind of domain are very welcome. MATES 2012 encourages submissions from recent and emerging areas of interest such as a Autonomic Computing, Self-organisation and Agreement Technologies. Additionally, we encourage the submission of elaborated vision and challenge papers that discuss mid-term and long-term directions for research and application. The topics of interest for MATES-2012 include, but are not limited to, the following: • Agent-based simulation and analysis of social networks • Agents and communities • Large-scale agent-based simulation of cities, economies, etc. • Adaptive agents and multi-agent learning • Advanced theories of collaboration: Modelling and formation of teams, coalitions, groups, and organizations • Agents and autonomic computing • Agent and multi-agent architectures • Agents and peer-to-peer computing • Agents and pervasive computing • Agents for Ambient Intelligence • Agent-based service discovery, matchmaking, brokering, and composition • Agent communication languages • Agents for e-business and e-government • Agent technologies in the context of service-oriented computing and architectures • Agent to non-agent interoperability • Agents in novel applications • Application of agent-technologies in industrial practice • Artificial social systems: Conventions, norms, institutions; trust and reputation • Autonomous robots and robot teams • Commitment, delegation, responsibility, and obligations in artificial and hybrid societies • Complex systems and their management • Coordination, negotiation, argumentation, and conflict resolution • Deployed agent-based business applications • Hybrid human and agent societies • User modelling and interface agents • Embodied conversational actors and believable agents • Mobile agents • Model-driven design of multi-agent systems • Multi-agent-based simulation • Multi-agent planning and scheduling • Multi-agent platforms and tools • Multi-agent (social) simulation and (cognitive) modelling with agents • Practical aspects of programming agent systems: Robustness, fault tolerance, scalability and performance measurement • Roles and structures, adaptive learning and cognition in organizational models • Semantics of the dynamics of organizational models • (Semantic) web services and agents • Standards for agents and multi-agent systems SUBMISSION DETAILS Paper submissions to MATES-2012 will be handled using the EasyChair system at this link: www.easychair.org/conferences/?conf=mates2012. Submissions must comply with the following requirements: * For preparation of papers to be submitted please follow the instructions for authors available at the Springer LNCS Web page: http://www.springer.de/comp/lncs/authors.html. * The length of each paper including figures and references shall not exceed 14 pages. * All papers must be written in English and submitted in PDF format. * Papers that have been accepted or are under review by other conferences or journals are not eligible for submission. However, we encourage interdisciplinary contributions submitted or presented in part to a forum outside of agent technology. Submissions not conforming to the above instructions may be rejected without review. Please notice that the submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the conference to present the work. MATES 2012 will include a doctoral mentoring program: This program will provide an opportunity for students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers. The Doctoral Mentoring Program will: * Match each student with an established researcher who will act as a mentor. * Allow students an opportunity to present their work to a friendly audience of other students, as well as mentors. * Provide students with contacts and networking opportunities. IMPORTANT DATES Abstracts due: EXTENDED May 7, 2012 (April 21, 2012) Full papers due: EXTENDED May 14, 2012 (April 28, 2012) Notification: June 19, 2012 Doctoral mentoring: July 13, 2012 Camera-ready submission: July 13, 2012 Early registration: August 5, 2012 Conference: October 10-12, 2012 CONFERENCE CHAIRS * Christian Guttmann (EBTIC - Etisalat BT Innovation Centre, UAE) * Ingo J. Timm (U Trier, Germany) PROGRAMM COMMITTEE Klaus-Dieter Althoff, DFKI / University of Hildesheim, Germany Bernhard Bauer, Uni Augsburg, Germany Holger Billhardt, Universidad Rey Juan Carlos, Spain Vicent Botti, DSIC, Italy Lars Braubach, University of Hamburg, Germany Joerg Denzinger, University of Calgary, Canada Juergen Dix, Clausthal University of Technology, Germany Torsten Eymann, University of Bayreuth, Germany Maria Ganzha, University of Gdansk, Poland Koen Hindriks, Delft University of Technology, The Netherlands Benjamin Hirsch, EBTIC / Khalifa University, UAE Tom Holvoet, K.U.Leuven, The Netherlands Michael Huhns, University of South Carolina, USA Stefan Kirn, University of Hohenheim, Stuttgart, Germany Matthias Klusch, DFKI, Germany Daniel Kudenko, University of York, UK Stefano Lodi, University of Bologna, Italy Beatriz López, University of Girona, Spain Marco Luetzenberger, Technische Universität Berlin / DAI Labor, Germany Daniel Moldt, University of Hamburg, Germany Joerg Mueller, Clausthal University of Technology, Germany Eugénio Oliveira, Faculdade de Engenharia Universidade do Porto - LIACC, Portugal Andrea Omicini, Alma Mater Studiorum–Università di Bologna, Italy Julian Padget, University of Bath, UK Marcin Paprzycki, IBS PAN and WSM, Poland Paolo Petta, Austrian Research Institute for Artificial Intelligence, Austria Alexander Pokahr, University of Hamburg, Germany Marco Schorlemmer, Artificial Intelligence Research Institute, IIIA, CSIC, Spain Frank Schweitzer, ETH Zurich, Switzerland Denis Trcek, Faculty of Computer and Information Science, University of Ljubljana, Slovenia Rainer Unland, University of Duisburg-Essen, ICB, Germany Gerhard Weiss, University Maastricht, The Netherlands Cees Witteveen, Delft University of Technology, The Netherlands STEERING COMMITTEE * Matthias Klusch (DFKI, Germany) * Winfried Lamersdorf (U Hamburg, Germany) * Jörg P. Müller (TU Clausthal, Germany) * Paolo Petta (U Vienna, Austria) * Rainer Unland (U Duisburg-Essen, Germany) * Gerhard Weiss (Maastricht U, The Netherlands) -- Christian Guttmann, PhD iCare Theme Leader http://events.kustar.ac.ae/EBTIC/Staff/Christian_Guttmann.html EBTIC (Etisalat BT Innovation Centre) Khalifa University Abu Dhabi Campus PO Box 127788 Abu Dhabi UAE Tel: +97124018125 From rainer.unland at icb.uni-due.de Sun Apr 22 17:14:02 2012 From: rainer.unland at icb.uni-due.de (Rainer Unland) Date: Sun, 22 Apr 2012 17:14:02 +0200 Subject: CfP 1st Int. WS on Smart Energy Networks & Multi-Agent Systems (SEN-MAS'2012), Wroclaw, Poland, September 9-12, 2012 Deadline 14.05.2012 Message-ID: <4F94203A.4090606@icb.uni-due.de> 1st International Workshop on Smart Energy Networks & Multi-Agent Systems (SEN-MAS'2012) Wroclaw, Poland, September 9-12, 2012 http://www.fedcsis.org/sen-mas Email to the Event Chairs :sen-mas2012 at fedcsis.org Important Dates * Paper submission:May 14*, 2012* * Author notification:*June 17, 2012* * Final submission and registration:*July 8, 2012* * Conference date: September*9-12, 2012* The emerging smart infrastructure in energy networks represents a major paradigm shift in resource allocation management with the aim to extend the centralised supply management model, towards a decentralised supply-and-demand management that is expected to enable more efficient, reliable and environment-friendly utilisation of primary energy resources. Together with this vision, there are new and complex tasks to manage, in order to ensure safe, cost-reducing and reliable energy network operations. This includes the integration of various renewable energy systems, like the photovoltaic or the wind energy, which are able to reduce the greenhouse gas emissions but that are working under greater uncertainty; as well as the interaction of transport and storage systems for energy that are envisioned through techniques like 'Power to Gas' and fuel cells, which are using the electrical and the gas transportation network. Further tasks can be found in the fact that the market participants (e.g. simply households) are becoming more autonomous and intelligent through technologies like smart metering, which requires a coordinated demand side management for millions of producers, consumers or, if this applies, prosumers by means negotiations and agreements. Information and communication technologies are key enablers of the envisioned efficiencies, both on the demand and the supply sides of the smart energy networks, where the agent-paradigm provides an excellent first modelling approach for the distributed characteristic in energy supply systems. On the demand side they aim at supporting end-users in optimising their individual energy consumption, e.g. through the deployment of smart meters providing real-time usage and cost of the energy and the use of demand-response appliances that can be controlled according to the user preferences, energy cost and carbon footprint. On the supply side they aim at optimising the network load and reliability of the energy provision, e.g. through active monitoring and prediction of the energy usage patterns, and proactive control and management of the reliable energy delivery over the networks. It is also envisaged that they will be able to influence the demand through the dynamic adjustments of the energy price in order to influence the end user behaviour and energy usage patterns throughout and across the energy networks for electricity, gas and heat. Although a significant effort and investment have been already allocated into the development of smart grids, there are still significant research challenges to be addressed before the promised efficiencies can be realised. This includes distributed, collaborative, autonomous and intelligent software solutions for simulation, monitoring, control and optimization of smart energy networks and interactions between them. Topics The SEN-MAS 2012 Workshop aims at providing a forum for presenting and discussing recent advances and experiences in building and using multi-agent systems for modelling, simulation and management of smart energy networks. In particular, it includes (but is not limited to) the following topics of interest: * Experiences of Smart Grid implementations by using MAS * Applications of Smart Grid technologies * Management of distributed generation and storage * Islands Power Systems, Microgrid Applications * Real time configurations of energy networks * Distributed planning process for energy networks by using MAS * Self-configuring or self-healing energy systems * Load modelling and control with MAS * Simulations of Smart Energy Networks * Software Tools for Smart Energy Networks * Energy Storage * Electrical Vehicles * Interactions and exchange between networks for electricity, gas and heat * Stability in Energy Networks * Distributed Optimization in Energy Networks Paper Submission and Publication * Papers will be refereed and accepted on the basis of their scientific merit and relevance to the symposium. * Only papers presented at the conference will be included in theIEEE Xplore® database and submitted for indexation in:DBLP Computer Science Bibliography ,Google Scholar ,Inspec ,Scirus , SciVerse Scopus and Thomson Reuters - Conference Proceedings Citation Index * Authors should submit draft papers (as Postscript, PDF of MSWord file) * The total length of a paper should not exceed 8 pages (IEEE style). IEEE style templates are availablehere . (http://www.fedcsis.org/node/15) * Selected papers presented at the workshop will be invited for a journal publication in a special issue ofMAGS - Multiagent and Grid Systems . * Organizers reserve right to move accepted papers between FedCSIS events. Event Chairs * Derksen, Christian ,University Duisburg-Essen , Germany * Kowalczyk, Ryszard,Swinburne University of Technology , Australia Program Committee * Braubach, Lars ,University of Hamburg , Germany * Dillon, Tharam,Curtin University , Australia * Elammari, Mohamed, University of Benghazi, Libya * Essaaidi, Mohammad ,National Higher School of IT (ENSIAS) , Morocco * Franczyk, Bogdan ,University of Leipzig , Germany * Guttmann, Christian,Monash University , Australia * Huhns, Michael ,University of South Carolina , United States * Klusch, Matthias,German Research Center for Artificial Intelligence, DFKI , Germany * Lamersdorf, Winfried,Universität Hamburg , Germany * Lehnhoff, Sebastian,OFFIS - Institute for Information Technology , Germany * Linnenberg, Tobias,Helmut Schmidt University , Germany * Maamar, Zakaria, Zayed University, United Arab Emirates * Moench, Lars,FernUniversität Hagen , Germany * Nahorski, Zbigniew,Systems Research Institute - Polish Academy of Science , Poland * Schüller, Andreas,RWTH Aachen , Germany * Sonnenschein, Michael,Carl von Ossietzky University, Oldenburg , Germany * Szle;zak, Robert,Wschodni Klaster ICT , Poland * Tianfield, Hua,Glasgow Caledonian University , United Kingdom * Unland, Rainer,Universität Duisburg-Essen , Germany * Vasirani, Matteo,Universidad Rey Juan Carlos , Spain * Werner, Andrej,University of Leipzig , Germany * Zhu, Hong,Oxford Brookes University , United Kingdom -- "Experience is this valuable asset which allows us to identify the mistake immediately when we are doing it again and again!" "Erfahrung ist jener kostbare Besitz, der uns befähigt, einen Fehler sofort zu erkennen, wenn wir ihn immer wieder machen." ************************************************************************** Prof. Dr. Rainer Unland University of Duisburg-Essen Institute for Computer Science and Business Information Systems (ICB) Practical Computer Science, especially Data Management Systems and Knowledge Representation Schuetzenbahn 70 45117 Essen, Germany Tel.: (+49) 201-183 3421 IP-Tel. Skype: unlandr Fax: (+49) 201-183 4460 Email: Rainer.Unland at icb.uni-due.de WWW: http://www.dawis.wiwi.uni-due.de/ *************************************************************************** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From anja.metzner at HS-augsburg.de Sun Apr 22 20:46:45 2012 From: anja.metzner at HS-augsburg.de (Anja Metzner) Date: Sun, 22 Apr 2012 20:46:45 +0200 Subject: 2nd CFP: 9th OTM Academy (Workshop for Ph.D. students) Message-ID: <6d84-4f945200-b-1fa127a0@21257350> ================================================================= CALL FOR PAPERS: 9th OTM Academy (Workshop for Ph.D. students) September 10-11, 2012, Rome, Italy http://www.onthemove-academy.org/ In conjunction with OnTheMove Federated Conferences and Workshops (OTM'12) http://www.onthemove-conferences.org Proceedings published by Springer LNCS Deadline: abstracts due on May 18; papers due on May 25 ================================================================= 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 ECTS 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 in the middle of ancient cultural heritage (Rome - Italy) • 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) • 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 2012 will award the best contribution ! IMPORTANT DATES: Abstracts Submission Deadline: May 18, 2012 Paper Submission Deadline: May 25, 2012 Acceptance Notification: July 2, 2012 Camera ready received: July 16, 2012 Registration Deadline: July 16, 2012 OTM Academy '12: September 10 - 11, 2012 OTM’12 Conferences: September 10 - 14, 2012 The program committee currently consists of the following reviewers: • Galia Angelova (Bulgarian Academy of Science, Sofia, Bulgary) • Christophe Bussler (Xtime 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) • Alfred Holl (University of Applied Sciences Nüremberg, Germany), OTMA Accompanying Professor • 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 Tudor, Luxembourg) • Anja Metzner (University of Applied Sciences Augsburg, Germany) OTMA organising chair & Accompanying Professor • Fatiha Saïs (Université Paris-Sud XI, France) • Andreas Schmidt (Karlsruhe University of Applied Sciences, Germany) • Peter Spyns (Vrije Universiteit Brussel, Belgium), OTMA organising chair • Maria Esther Vidal (Universidad Simon Bolivar, Venezuela), OTMA Accompanying Profesor 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 Peter Spyns and Anja Metzner (OTMA'12 Organising Chairs) -- Prof. Dr. Anja Metzner University of Applied Sciences Augsburg, Department of Computer Sciences Postfach 11 06 05, 86031 Augsburg, Germany From Mary-Anne at TheMagicLab.org Sun Apr 22 23:19:14 2012 From: Mary-Anne at TheMagicLab.org (Mary-Anne Williams) Date: Mon, 23 Apr 2012 07:19:14 +1000 Subject: KR 2012: Call for Participation Message-ID: ---------------------------------------------------------------------- KR 2012 - Call for Participation ---------------------------------------------------------------------- Thirteenth International Conference on Principles of Knowledge Representation and Reasoning http://www.kr.org/KR2012/ 10 to 14 June 2012 Rome, Italy Co-located with: DL2012, NMR2012, AI*IA2012, CILC2012 and KiBP2012 Reduced fees for registration at colocated events will be available. ---------------------------------------------------------------------- Important Dates Late Registration ends: 27 May Conference (on site registration): 10 June to 14 June ---------------------------------------------------------------------- Highlights of KR 2012 Special keynote in remembrance of the passing of John McCarthy: - Leora Morgenstern, Science Applications International Corporation "Great Moments in KR" lecture: - Vladimir Lifschitz, University of Texas at Austin Keynote speakers: - Craig Boutilier, University of Toronto - Maurizio Lenzerini, La Sapienza University of Rome - Moshe Vardi, Rice University Tutorials: - IBM Watson Alfio M. Gliozzo, IBM Watson Research Center - Graph-Based Methods for Problem Decomposition Georg Gottlob, University of Oxford Francesco Scarcello, University of Calabria Gianluigi Greco, University of Calabria - Introduction to Social Choice Jérôme Lang, Paris Dauphine University - Modeling and Solving in Answer Set Programming Torsten Schaub, University of Potsdam Cutting Edge Research Papers: - 53 Long Technical Papers - 18 Short Technical Papers - Complete listing at http://www.dis.uniroma1.it/~kr12/?p=papers ---------------------------------------------------------------------- Overview Knowledge Representation and Reasoning (KR&R) is a well-established and vibrant field of research. KR&R techniques are key drivers of innovation in computer science, and they have led to significant advances in practical applications in a wide range of areas from Artificial Intelligence to Software Engineering. The underlying approach of explicitly representing knowledge in a tangible form, suitable for processing by dedicated reasoning engines, is a fundamental component of many modern intelligent systems. Foundational and applied research in KR&R contributes to the principles of artificial intelligence. It also contributes to the foundations of longstanding fields including automated planning, databases, and software engineering. In recent years KR&R has also derived challenges from new and emerging fields including the semantic web, computational biology, and the development of software agents. The KR conference series is a leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. KR 2012 will be a forum for the exchange and discussion of new ideas, issues, and results on the principles and practice of KR&R. ---------------------------------------------------------------------- Contacts for KR 2012 General Chair: - Gerhard Brewka (U Leipzig) Program Chairs: - Thomas Eiter (TU Vienna), Sheila McIlraith (U Toronto) Local Organization: - Giuseppe De Giacomo, Marco Schaerf (U "La Sapienza", Rome) Doctoral Consortium: - Esra Erdem (Sabanci University), Frank Wolter (U Liverpool) Publicity: - Benjamin Johnston, Mary-Anne Williams (UT Sydney) ------ Professor Mary-Anne Williams Associate Dean (Research and Development) Director, Innovation and Enterprise Research Lab Faculty of Engineering and Information Technology University of Technology, Sydney * Research and Development Office Building 2 Level 7 Room 7092 *P.O. 123 Broadway NSW 2007 Australia Phone: + 61 2 9514 2663 (Gunasmin) Facsimile: + 61 2 9514 2868 http://TheMagicLab.org/Mary-Anne eMail: Mary-Anne at TheMagicLab.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lukasiew at gmail.com Mon Apr 23 03:06:43 2012 From: lukasiew at gmail.com (Thomas Lukasiewicz) Date: Mon, 23 Apr 2012 02:06:43 +0100 Subject: ***DEADLINE EXTENDED*** UniDL'12: Call for Papers Message-ID: <4F94AB23.1040908@cs.ox.ac.uk> With apologies for cross-posting. ***The submission deadline has been extended to May 7*** ------------------------------------------------------------------- Call for Papers ------------------------------------------------------------------- UniDL'12 Second International Workshop on Uncertainty in Description Logics co-located with IJCAR 2012 June 30, 2012 Manchester, UK http://lat.inf.tu-dresden.de/UniDL12 ------------------------------------------------------------------- During the recent decade, handling uncertainty and vagueness has started to play an important role in ontology languages, especially in application areas like the Semantic Web, Biomedicine, and Artificial Intelligence. For this reason, there is currently a strong research interest in Description Logics (DLs) that allow for dealing with uncertainty. The subject of this workshop is how to deal with uncertainty and imprecision in DLs. This encompasses approaches that enable probabilistic, fuzzy or rough reasoning in DLs. Other approaches to model and reason with uncertainty formalisms are of interest to UniDL as well. The workshop focuses on the investigation of reasoning problems and approaches for solving them -- especially tractable ones. For classical DL reasoning problems such as subsumption and satisfiability, algorithms that can handle uncertainty exist, but they are not yet as well-investigated as for DLs without uncertainty. For novel DL reasoning services, such as query answering, computation of generalizations, computation of modules, or explanations, it is not yet clear how to realize them in DLs that can express uncertainty. The workshop is dedicated to discuss such issues. SPONSOR UniDL is sponsored by the Artificial Intelligence Journal (AIJ). INVITED SPEAKER Carsten Lutz - University of Bremen, Germany TOPICS OF INTEREST include but are not limited to: * Modeling of uncertain information in DLs * Different formalizations of uncertainty for DLs * Formal semantics for uncertain information in DLs * Extensions of DL reasoning problems to uncertainty * Reasoning algorithms for DLs with uncertainty or vagueness * Tableau algorithms for probabilistic, fuzzy or rough DLs * Tractable DLs with uncertainty * Complexity of uncertain reasoning * System descriptions for implemented reasoning algorithms in uncertain DLs * Novel applications of DLs with uncertainty * Open and future problems IMPORTANT DATES: Submission deadline: ***May 7, 2012*** Notification: June 1, 2012 Final version: June 8, 2012 Workshop: June 30, 2012 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be - technical papers not exceeding 10 pages, - system descriptions not exceeding 6 pages, or - position papers on work in progress not exceeding 3 pages in LNCS. Submissions are via EasyChair at http://www.easychair.org/conferences/?conf=unidl12 . The workshop proceedings will be published as CEUR proceedings. We adopt the same double submission policy as the DL workshop; that is, we welcome submissions of papers that have recently published at other conferences (e.g., KR, AAAI, etc). WORKSHOP CHAIRS: - Thomas Lukasiewicz, Oxford University, UK - Rafael Peñaloza, TU Dresden, Germany - Anni-Yasmin Turhan, TU Dresden, Germany PROGRAM COMMITTEE: - Fernando Bobillo, University of Zaragoza - Fabio G. Cozman, University of Sao Paulo - C. Maria Keet, University of KwaZulu-Natal - Pavel Klinov, University of Arizona, Clark and Parsia LLC - Carsten Lutz, University of Bremen - Ralf Moeller, Hamburg University of Technology - Mathias Niepert, University of Mannheim - Bijan Parsia, University of Manchester - Dirk Pattinson, Imperial College London - Stefan Schlobach, Vrije Universiteit Amsterdam - Giorgos Stoilos, Oxford University - Umberto Straccia, ISTI-CNR From Conrad.Drescher at cs.ox.ac.uk Tue Apr 24 17:38:44 2012 From: Conrad.Drescher at cs.ox.ac.uk (Conrad Drescher) Date: Tue, 24 Apr 2012 16:38:44 +0100 Subject: LoCoCo 2012 --- Call for papers Message-ID: <4F96C904.5040608@cs.ox.ac.uk> Apologies if you have received multiple copies of this announcement ======================================================================= ======================================================================= LoCoCo 2012 Third International Workshop on Logics for Component Configuration 28th International Conference on Logic Programming (ICLP 2012) Budapest, Hungary, September 8, 2012 http://lococo.irill.org/2012 Call for Papers ======================================================================= ======================================================================= Scope: ====== Representing and solving configuration problems is a hot topic of great importance for many application domains. For example, modern software distributions are based on the notion of components, which denote units of independent development and deployment. Components provide the necessary flexibility when organizing a complex software distribution, but also are a challenge when it comes to selecting components from a large repository of possible choices, and configuring these components according to user needs, resource constraints, and interdependencies with other components. Some well-known examples of complex systems of components in the world of Free and Open Source software are software packages of distributions for GNU/Linux, BSD, or Eclipse plugins. A different application domain is manufacturing where a company seeks to meet the varying needs of customers by assembling configurable products from components. Understanding and solving these questions is an attractive research topic since, on the one hand, the problems to be solved are complex and interesting for researchers working on solving techniques. On the other hand, research in this area has the potential of high impact on the way how the systems that we all use every day are developed, deployed, and maintained. Not only adequate logical formalisms to represent a configuration problem are required, but also sophisticated reasoning technologies to deal with large amounts of data. Further relevant aspects include diagnosis of failed configuration settings and an intelligent behavior dealing with user preferences. This workshop will focus on logic-based methods for specifying and solving complex configuration problems. The goal of the workshop is to bring together both researchers and practitioners active in the area of component configuration of systems, using different modeling and solving techniques, such as constraint and logic programming, description logics, satisfiability and its extensions. The workshop will be an opportunity to discuss common and complementary solutions for solving component configuration. Previous LoCoCo workshops took place in Edinburgh at FLoC 2010, and Perugia at CP 2011. Topics: ======= Main areas of interest include, but are not restricted to: * Configuration problems and models: knowledge representation and acquisition, incomplete knowledge, inconsistent knowledge, etc. * Reasoning methods for solving configuration problems: constraint satisfaction and optimization, logic and answer-set programming, SAT solving and extensions, integer programing, local search, symmetry breaking, etc. * Interactivity: user preferences, machine learning, distributed environments, etc. * Applications and tools: case studies, current challenges, application reports, etc. Invited Talk ============ (To be announced) MISC 2012 ========= The third Mancoosi International Solver Competition will be held in conjunction with the LoCoCo workshop, see http://www.mancoosi.org/misc. Important Dates =============== Wednesday, June 20 Submission deadline Friday, July 13 Notification about acceptance/rejection Wednesday, July 25 Final paper due Saturday, September 8 Workshop Submission and Publication ========================== We solicit submissions of research papers describing original work. Submitted research papers must not have been previously published, nor be under consideration for publication elsewhere. This includes system descriptions and tutorial overview papers. System descriptions should come with an URL allowing to access or download the system, with preference to systems that can be downloaded under an open source licence. Presentations of system descriptions at the workshop should include a system demonstration. Besides regular research papers we also welcome short presentations reporting on recent or ongoing work. These are not subject to restriction as for previous, simultaneous, or future publication elsewhere. Short presentations will be included in the workshop working notes distributed to workshop participants and will be made available through the workshop web pages. The complete proceedings, containing the accepted papers of both categories, will be made freely available on the web for the workshop, and will be distributed to the workshop participants. In addition to that, we intend to publish the accepted regular research papers in a special issue of Electronic Proceedings in Theoretical Computer Science (EPTCS) as in the previous years. Submitted papers (both regular research papers and short presentations) must not exceed a limit of 10 pages, and have to be prepared in LaTeX following the EPTCS formatting instructions. Authors may provide pointers to additional online resources if necessary, and which the reviewers may use to their sole discretion. Authors of accepted papers will keep their copyright, however all papers must carry one of the different brands of the Creative Commons Licence mandated by EPTCS, and must be submitted to CoRR. Authors of accepted regular research papers have to grant EPTCS a non-exclusive licence to distribute. Submission is via Easychair at https://www.easychair.org/conferences/?conf=lococo2012 Program Committee ================= Daniel Le Berre, CRIL, Lens, France Fabien Dagnat, Telecom Bretagne, Brest, France Conrad Drescher, University of Oxford, UK (co-chair) Gerhard Friedrich, Alpen-Adria Universität, Klagenfurt, Austria Patrick Heymans, FUNDP, Namur, Belgium Matti Järvisalo, University of Helsinki, Finland Inês Lynce, INESC-ID, Lisbon, Portugal, (co-chair) Tomi Männistö, Aalto University, Finland Ralf Treinen, Université Paris-Diderot, France, (co-chair) From Bertram.Fronhoefer at tu-dresden.de Tue Apr 24 19:51:56 2012 From: Bertram.Fronhoefer at tu-dresden.de (=?iso-8859-1?Q?Bertram_Fronh=F6fer?=) Date: Tue, 24 Apr 2012 19:51:56 +0200 Subject: European Master's Program in Computational Logic Message-ID: Dear all, I'd like to draw your attention to the fact that applications for the European Master's Program in Computational Logic are still possible UNTIL 31 May 2012. A limited number of small scholarships is available (see: http://www.emcl-study.eu/grants.html). More details are given below. 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 joint degree. Information on the universities and the program including the application procedure 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. Do not hesitate to contact us 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 cfp at grid.chu.edu.tw Wed Apr 25 03:38:47 2012 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Wed, 25 Apr 2012 09:38:47 +0800 Subject: IEEE UIC/ATC 2012 - One week to submission deadline & Opportunity to publish paper in one of six SCI Journals Message-ID: <201204250138.q3P1clnf016009@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rudolph at kit.edu Wed Apr 25 15:27:30 2012 From: rudolph at kit.edu (Sebastian Rudolph) Date: Wed, 25 Apr 2012 15:27:30 +0200 Subject: 2nd CfP: FCA4AI Workshop at ECAI, August 2012, Montpellier, France In-Reply-To: References: Message-ID: <69CBBF28-9079-42E0-A04F-042E8752C20B@kit.edu> With apologies for cross-posting. -------------------------------------------------------------------- Call for Papers -------------------------------------------------------------------- --FCA4AI-- "What can FCA do for Artificial Intelligence?'' Workshop at ECAI 2012 August 27, 2012 (tentative) Montpellier, France http://www.fca4ai.hse.ru -------------------------------------------------------------------- =GENERAL= Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA gives rise to versatile data structures such as concept lattices and systems of dependencies (implications) which can be used for a plethora of AI needs, involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, as well as information retrieval and text processing. Consequently, FCA and AI are intimately related in terms of the pursued goals and employed methods. Recent years have been witnessing increased scientific activity around FCA. In particular, a strand of work has emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures, relational context analysis and exploration-based ontology completion. These extensions are aimed at enabling FCA to deal with more complex than just binary data, from the data analysis and knowledge discovery point of view but also from the perspective of knowledge representation as employed in, e.g., ontology engineering. All these works extend the capabilities of FCA and open up new chances and challenges for AI activities in the framework of FCA. Accordingly, in this workshop, we will be interested in two main issues: - How can FCA support AI activities such as knowledge processing (knowledge discovery, knowledge representation and reasoning), learning (clustering, pattern and data mining), natural language processing, and information retrieval? - How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain? =TOPICS OF INTEREST= The workshop's topics of interest include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures. - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification and clustering. - Knowledge engineering and ontology engineering: knowledge representation and reasoning. - Scalable algorithms for concept lattices and artificial intelligence ``in the large'' (distributed aspects, big data). - Applications of concept lattices: semantic web, information retrieval, visualization and navigation, pattern recognition. The workshop will include time for audience discussion toward a better understanding of the issues, challenges, and ideas being presented. =IMPORTANT DATES= Submission deadline: May 25, 2012 Notification: June 30, 2012 Final version: July 25, 2012 Workshop: August 27, 2012 =SUBMISSION DETAILS= The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be - technical papers not exceeding 8 pages, - system descriptions or position papers on work in progress not exceeding 4 pages Submissions are via EasyChair at https://www.easychair.org/conferences/?conf=fca4ai2012 The workshop proceedings will be published as CEUR proceedings. In addition, the organizers will apply for a special issue of an international journal where extended versions of selected papers of the workshop shall be published. =WORKSHOP CHAIRS= - Sergei O. Kuznetsov Higher School of Economics, Moscow, Russia - Amedeo Napoli LORIA-INRIA, Vandoeuvre les Nancy, France - Sebastian Rudolph Karlsruhe Institute of Technology, Germany =PROGRAM COMMITTEE= - Mathieu D'Aquin Open University, Milton Keynes, UK - Franz Baader Technische Universität Dresden, Germany - Radim Belohlavek Palacky University, Olomouc, Czech Republic - Claudio Carpineto Fondazione Ugo Bordoni, Roma, Italy - Felix Distel Technische Universität Dresden, Germany - Sébastien Ferré IRISA Rennes, France - Bernhard Ganter Technische Universität Dresden, Germany - Pascal Hitzler Wright State University, Dayton, Ohio, USA - Marianne Huchard LIRMM Montpellier, France - Dmitry I. Ignatov Higher School of Economics, Moscow, Russia - Mehdi Kaytoue Universidade Federal Minas Gerais, Belo Horizonte, Brazil - Markus Krötzsch University of Oxford, UK - Sergei A. Obiedkov Higher School of Economics, Moscow, Russia - Uta Priss Ostfalia University of Applied Sciences, Wolfenbüttel, Germany - Baris Sertkaya SAP Dresden, Germany, - Gerd Stumme Universität Kassel, Germany - Petko Valtchev Université du Québec à Montréal, Montréal, Canada _________________________________________________ PD Dr. Sebastian Rudolph senior researcher & project leader at AIFB Karlsruhe Institute of Technology (KIT) rudolph at kit.edu phone +49 721 608 - 47362 www.sebastian-rudolph.de fax +49 721 608 - 45998 From M.M.Dastani at uu.nl Wed Apr 25 22:30:50 2012 From: M.M.Dastani at uu.nl (Mehdi Dastani) Date: Wed, 25 Apr 2012 22:30:50 +0200 Subject: CFP CLIMA: Special session on Logics for Multi-Agent Programming Message-ID: <4F985EFA.7040804@uu.nl> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Special session on *** Logics for Multi-Agent Programming *** CLIMA XIII 13th International Workshop on Computational Logic in Multi-Agent Systems http://www.csc.liv.ac.uk/~michael/clima2012sessions.html Montpellier, France, August 27-28, 2012 Affiliated with ECAI 2012 Submission deadline: 28 May 2012 Call for Papers ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ INTRODUCTION The development of multi-agent systems requires programming languages to implement individual agents, the organisation in which they operate, and the environment with which they interact. Logic plays a fundamental role in the multi-agent programming research field. Executable logic specifications and logic programming can be used to implement multi-agent systems. Logic reasoning engines can be used in the interpreters of multi-agent programming languages to reason about components of multi-agent systems such as an agent's goals and beliefs, the norms and commitments within the agents' organisation, or the state of the agents' environment. Finally, logic can be used to specify the syntax and semantics of multi-agent programming languages, or to verify and reason about multi-agent programs. This special session on Logics for multi-agent programming invites contributions focusing on the use of logic in multi-agent programming research field. - Logical foundation of multi-agent programming - Logical semantics for multi-agent programming languages - Logics for specification and verification of multi-agent programs - Knowledge representation and reasoning for multi-agent programming SUBMISSION We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Papers are submitted to the special session by following the submission instructions for CLIMA: http://www.csc.liv.ac.uk/~michael/clima2012subs.html The special session on Logics for Multi-Agent Programming is chosen under "category" in Easychair. PROCEEDINGS AND POST-PROCEEDINGS LNCS Proceedings: All the accepted papers (including special session papers) will be published by Springer as a volume in Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Important dates: * Submission: May 28th * Notification: June 16th * Camera Ready: June 23rd Special Session Organiser: * Mehdi Dastani, Utrecht University, The Netherlands In case of questions, please do not hesitate to contact us at m.m.dastani at uu.nl (enquiries particularly related to the special session) or clima13 at easychair.org (general CLIMA enquiries). -- Mehdi Dastani Intelligent Systems Group Utrecht University P.O.Box 80.089 3508 TB Utrecht The Netherlands Tel: +31 - 30 - 253 3599 Fax: +31 - 30 - 251 3791 URL:http://www.cs.uu.nl/~mehdi From admin at cyberjournals.com Fri Apr 27 01:50:47 2012 From: admin at cyberjournals.com (admin at cyberjournals.com) Date: Thu, 26 Apr 2012 18:50:47 -0500 Subject: (Call For Paper) Cyber Journals May Edition - Submission Deadline in 14 days (May 10th) Message-ID: <4ea19d42d411940b00edfbd4a0843fe3@cyberjournals.com> Dear All We'd like to invite you to contribute to the Cyber May Edition and circulate this invitation among interested colleagues, researchers, students, and faculty members of your department. Regards Cyber Journals Editors-in-Chief The Canadian-based Cyber Journals ---------------------------      Call For Paper --------------------------- The Canadian-based Cyber Journals (ISSN: 1925-2676) invite students, researchers, academic and industrial professionals to submit manuscripts for the May Edition, under the following special issues:  1.      Journal of Selected Areas in Telecommunications (JSAT)  2.      Journal of Selected Areas in Software Engineering (JSSE)  3.      Journal of Selected Areas in Microelectronics (JSAM)  4.      Journal of Selected Areas in Nanotechnology (JSAN) 5.      Journal of Selected Areas in Mechatronics (JMTC)  6.      Journal of Selected Areas in Health Informatics (JSHI)  7.      Journal of Selected Areas in Bioengineering (JSAB)  8.      Journal of Selected Areas in Bioinformatics (JBIO) 9.      Journal of Selected Areas in Robotics and Control (JSRC)  10.     Journal of Selected Areas in Renewable and Sustainable Energy (JRSE) Scope: Cyber journals accept scientific research and review articles from diverse fields. Please refer to the journals website (http://www.cyberjournals.com) for details under each special issue. Editorial Review: Manuscripts will be double-blind-peer reviewed by three experts and professionals in the field and the author(s) will receive the review results accordingly. Editorial Members: Cyber Journals publication is supported by +100 highly professional and technical editorial members and 16 Associate Editors, gathered from diverse technical and educational backgrounds from USA, Canada, and other parts of the world. Please refer to the editorial page for more information: http://www.cyberjournals.com/editors.html and http://www.cyberjournals.com/associates.html Author Guidelines: Please refer to the author guidelines section for a sample article template, which follows the IEEE standard: http://www.cyberjournals.com/guidelines.html Submission: Authors are requested to submit their manuscripts using the submission page: http://www.cyberjournals.com/submit.html Paper Indexing: Accepted papers are fully accessible and indexed in this page: http://www.cyberjournals.com/papers.html Best Paper  Award:  *** All submitted papers are considered for the Best Paper Award. Please refer to the Best Paper Award page: http://www.cyberjournals.com/bestpa.html Online Citation Sources: Cyber Journals Publication is a member of a number of online citation sources, including: Google Scholar, Docstoc, Scribd, Publishing List and getCITED, and will continue to be included in more online citation systems. Contacting the Editors-in-Chief: Contact us if you have a question regarding the journals, at: admin[@]cyberjournals[.]com Important Dates: Article Submission Deadline: May 10th, 2012 Author Notification: May 24th, 2012 Final Manuscript Due: May 30th, 2012 Online indexing: Early June 2012 Cyber Journals' next monthly edition is due on June 10th, 2012 From cfp at grid.chu.edu.tw Fri Apr 27 04:31:01 2012 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Fri, 27 Apr 2012 10:31:01 +0800 Subject: IEEE CloudCom 2012 Call for Workshop Proposals Message-ID: <201204270231.q3R2V16s027207@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From huajunsir at zju.edu.cn Fri Apr 27 01:43:33 2012 From: huajunsir at zju.edu.cn (Huajun Chen) Date: Fri, 27 Apr 2012 07:43:33 +0800 Subject: IEEE Computational Intelligence Magazine Special Issue on Semantic Web Meets Computational Intelligence Message-ID: <535483851.27144@csc.zju.edu.cn> FYI, The content of newly published IEEE Computational Intelligence Magazine Special Issue on Semantic Web Meets Computational Intelligence IEEE Computational Intelligence Magazine, VOL.7, NO.2, MAY 2012 Posted by: Kay Chen Tan (eletankc at nus.edu.sg) Date submitted: April 25th, 2012 Table of Content: IEEE Computational Intelligence Magazine, VOL.7, NO.2, MAY 2012 1. CIS Publication Spotlight [Publication Spotlight] Derong Liu Chin-Teng Lin Greenwood, G. Lucas, S. Zhengyou Zhang Page(s): 11 - 12 Digital Object Identifier: 10.1109/MCI.2012.2188565 http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6183736 2. Special Issue on Semantic Web Meets Computational Intelligence [Guest Editorial] Chen, H.; Cudre-Mauroux, P. Page(s): 14 - 15 Digital Object Identifier: 10.1109/MCI.2012.2188579 http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6183731 3. Evolutionary and Swarm Computing for the Semantic Web Gueret, C.; Schlobach, S.; Dentler, K.; Schut, M.; Eiben, G. Page(s): 16 - 31 Digital Object Identifier: 10.1109/MCI.2012.2188583 http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6183734 4. Large-Scale Storage and Reasoning for Semantic Data Using Swarms Muhleisen, H.; Dentler, K. Page(s): 32 - 44 Digital Object Identifier: 10.1109/MCI.2012.2188586 http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6183738 5. Exploiting Tractable Fuzzy and Crisp Reasoning in Ontology Applications Pan, J.Z.; Thomas, E.; Ren, Y.; Taylor, S. Page(s): 45 - 53 Digital Object Identifier: 10.1109/MCI.2012.2188588 http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6183739 6. Reasoning with Large Scale Ontologies in Fuzzy pD* Using MapReduce Liu, C.; Qi, G.; Wang, H.; Yu, Y. Page(s): 54 - 66 Digital Object Identifier: 10.1109/MCI.2012.2188589 http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6183737 7. Semantic Web Meets Computational Intelligence: State of the Art and Perspectives [Review Article] Chen, H.; Wu, Z.; Cudre-Mauroux, P. Page(s): 67 - 74 Digital Object Identifier: 10.1109/MCI.2012.2188592 http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6183732 8. Practical applications of evolutionary computation to financial engineering: robust techniques for forecasting, trading, and hedging (iba, h. and aranha, c.c.; 2012)[book review] Lipinski, P. Page(s): 75 - 76 Digital Object Identifier: 10.1109/MCI.2012.2188593 http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6183735 http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=6183725&punumber=10207 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Fri Apr 27 13:11:31 2012 From: announce at cs.ucy.ac.cy (Announcements) Date: Fri, 27 Apr 2012 14:11:31 +0300 Subject: IEEE CSE/EUC 2012: Call for Papers Message-ID: *** Call for Papers *** The 15th IEEE International Conference on Computational Science and Engineering (IEEE CSE 2012) http://www.cse2012.cs.ucy.ac.cy/ The 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (IEEE/IFIP EUC 2012) http://www.euc2012.cs.ucy.ac.cy/ 3-5 October 2012, Paphos, Cyprus CSE 2012 The Computational Science and Engineering area has earned prominence through advances in electronic and integrated technologies beginning in the 1940s. Current times are very exciting and the years to come will witness a proliferation in the use of various advanced computing systems. It is increasingly becoming an emerging and promising discipline in shaping future research and development activities in academia and industry, ranging from engineering, science, finance, economics, arts and humanitarian fields, especially when the solution of large and complex problems must cope with tight timing schedules. CSE 2012 is the next event, in a series of highly successful IEEE International Conferences on Computational Science and Engineering, held mainly as the International Workshop on High Performance Scientific and Engineering Computing for 10 editions. The previous CSE-11 was held in Dalian, China, August 24-26, 2011. CSE 2012 is to bring together computer scientists, applied mathematicians, engineers in different disciplines and researchers to present, discuss and exchange ideas, results and experiences in the area of advanced computing for problems in science and engineering applications and inter-disciplinary. We are inviting new and unpublished papers on, but not limited to, the following topics: * Intelligent and Bio-inspired Computing * Distributed and Parallel Computing * Database and Data Mining * Cluster, Grid, P2P and Cloud Computing * Mobile Computing and Wireless Communications * CSE Education * Scientific and Engineering Computing * Embedded and Ubiquitous Computing * Advanced Networking and Applications * Security, Privacy and Trust * Service and Internet Computing - Dependable, Reliable and Autonomic Computing * CSE applications EUC 2012 Embedded and ubiquitous computing is an exciting paradigm that promises to provide computing and communication services to the end users all the time and everywhere. Its systems are now invading in every aspect of our daily life and promise to revolutionize our life much more profoundly than elevators, electric motors or even personal computer evolution ever did. The emergence of this technology is a natural outcome of research and technological advances in a variety of areas including embedded systems, pervasive computing and communications, wireless networks, mobile computing, distributed computing and agent technologies. EUC 2012 is the next event, in a series of highly successful IEEE International Conferences on Embedded and Ubiquitous Computing (EUC), previously held as ICDCS-ECS04 (Tokyo, Japan, March 2004), EUC-04 (Aizu, Japan, August 2004), EUC-05 (Nagasaki, Japan, December 2005), EUC-06 (Seoul, Korea, August 2006), EUC-07 (Taipei, Taiwan, December 2007), EUC-08 (Shanghai, China, December 2008), EUC-09 (Vancouver, Canada, August 2009), EUC-10 (Hong Kong, December 2010) and EUC 2011 (Melbourne, Australia, October 2011). Topics of particular interest include, but are not limited to: Embedded Computing * Embedded System Software and Optimization * Embedded System Architectures * Hardware/Software Co-design and Design Automation * Real-Time Systems and Operating Systems * Application-Specific Processors and Devices * Power-Aware Computing * Sensor Networks * System/Network-on-Chip * Reconfigurable Computing Systems and Applications * Cyber-Physical Systems Ubiquitous Computing * Pervasive Computing and Communications * Middleware and Peer-to-Peer Computing * Internet Computing and Applications * Multimedia and Data Management * Human-Computer Interaction * Network Protocols * Wireless Communication & Networks * Mobile Computing * Agents and Distributed Computing * Security and Fault Tolerance Applications Submission Guidelines Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers should be at most 8 pages including the bibliography and well-marked appendices, and should follow the IEEE 8.5" x 11" Two-Column Format. Committee members are not required to read the appendices, and so the paper should be intelligible without them. Submissions are to be made to the submission web site. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Papers must be received by the submission deadline. Authors of accepted papers must guarantee that their papers will be presented at the conference. Accepted papers will be published in the IEEE conference proceedings (EI indexed). Selected best papers will be published in special issues of high quality journals (currently under negotation). Important Dates * Submission Deadline: 20 May * Notification of Acceptance: 15 July * Camera-ready Versions Submitted: 31 July * Author Registration: 31 July -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. From universal.logic at ufc.br Fri Apr 27 16:30:10 2012 From: universal.logic at ufc.br (Universal Logic) Date: Fri, 27 Apr 2012 11:30:10 -0300 (BRT) Subject: Le printemps de la logique - Paris Logical Spring Message-ID: <8919285461a4ef0b6d151a89c38fe6d4.squirrel@correio1.ufc.br> Logic-in-Question - La logique en Question International Workshop - Atelier International de Logique Paris Sorbonne, May 2-3 Mai, 2012 Every spring people meet in Paris to talk about logic ... Chaque printemps on se rencontre à Paris pour discuter de logique ... http://www.logic-in-question.org/ From iccs12.agadir at gmail.com Fri Apr 27 20:24:11 2012 From: iccs12.agadir at gmail.com (M Nemiche) Date: Fri, 27 Apr 2012 20:24:11 +0200 Subject: Deadline Approaching - April, 30 || ICCS12 Message-ID: *CALL FOR PAPERS * *International Conference on Complex Systems* ICCS'12 is an IEEE Technically Co-sponsored Conference November 5-6, 2012 Agadir, Morocco Submission deadline: April 30, 2012 http://iccs12.org Dear colleagues, On behalf of the Steering Committee, we have the great pleasure of inviting you to attend the International Conference on Complex Systems “ICCS’12”. The ICCS'12 will be organized by The Mediterranean Space of Technology and Innovation in partnership with Ibn Zohr University, Agadir, Morocco on November 5-6, 2012 in memory of the late Professor Lorenzo Ferrer Figueras, Ex-president of the Spanish Society of General Systems. The city of Agadir is considered one of the most attractive touristic areas on the African continent. Agadir enjoys clement weather year-round, including the month of November. ICCS'12 will provide a high-level, international forum for scientists, researchers, industrial professionals, and students who will present state-of-the-art research results, address new challenges, and discuss trends in Computational Intelligence, Cybernetics, General Systems Theory, and their applications in diverse fields. All presented papers will be published in the conference proceedings and included in *IEEE Xplore Digital Library.* * * Authors of selected papers will be invited to submit extended versions of their papers to the International Journal of Computational Intelligence Systems (IJCIS) *Impact Factor 1,471* *Extended versions of selected papers will be published in the special issue of the following journals:* 1. International Journal of Artificial Intelligence and Soft Computing (IJAISC) 2. International Journal of Systems, Control and Communications (IJSCC) 3. International Journal of Applied Evolutionary Computation (IJAEC) 4. International Journal on Information & Communication Technologies (IJICT) * * *The topics of interest include, but are not limited to:* · Fuzzy Set Theory and Fuzzy Systems · Fractals, Chaos Theory and Chaotic Systems · Artificial Neural Networks · Genetic and Evolutionary Algorithms · Adaptive Agents and Multi-agent Learning · Multi-agent Social Simulation and Cognitive Modeling with Agents · Agent-Based Modeling and Simulation · Agent and Multi-agent Architectures · Game Theory, Strategic Decision-Making in Competitive Environments · Modeling and Control Systems · Diagnosis and Fault-tolerant Control Systems · Hardware-Software Co-Design, Embedded Systems · Complex Biomedical Engineering · Complex Dynamic Systems and Globalization · General System Theory and Methodology · Complex Social and Ecological Systems · Economical, Political and Juridical Systems · Socio-Cultural and Behavioral Modeling · Mathematical Methods in Cybernetics and Systems Theory · Sociocybernetics and Mathematical Sociology *CONTACT* * * M. Nemiche nemiche at uv.es *DEADLINES* * * Paper Submission: April 30, 2012 Acceptance notification to authors: June 30, 2012 Final version and registration: July 28, 2012 ICCS'12 Conference: November 5-6, 2012 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fcalimeri at gmail.com Sat Apr 28 15:36:39 2012 From: fcalimeri at gmail.com (Francesco Calimeri) Date: Sat, 28 Apr 2012 15:36:39 +0200 Subject: RR-DC 2012: New Application Deadline Message-ID: [Apologies for cross-postings] Doctoral Consortium, RR2012 September 10 - 12 2012, Vienna, Austria http://www.rr-conference.org/RR2012/ The RR Doctoral Consortium (DC) is the first doctoral consortium to be offered as part of The 5th International Conference on Web Reasoning and Rule Systems. The RR2012 Doctoral Consortium will provide doctoral students in Web Reasoning and related areas with the unique opportunity to present and discuss their research directions, being involved into state-of-the-art research discussion and being supported in establishing fruitful collaborations with prominent researchers and pioneers the field. The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply. Applicants are expected to be conducting research in the field of Web Reasoning and Rules and related areas. The co-location of RR2012 with the Reasoning Web Summer School and with other relevant related events will provide multiple opportunities for participating students to enhance their education. The Consortium will allow participants to interact with established researchers through the following initiatives: The poster presentation session will give the students the opportunity to present their dissertation plan, including their already established results as well as their work plan for completion of the thesis. The poster will be accompanied by a written research summary, which will be distributed at the conference. The poster presentation session will be preceded by a spotlight presentations session where poster presenters give 5-minute teaser talks as advertisement for their posters. The mentoring lunch will consist of a lunch break where a senior researcher shares a lunch table with 3-4 students. The researcher will be charged with initiating and driving a discussion on general topics concerning research, career, and Web Reasoning as a discipline. He will also be available for answering questions by the students. == Submission information == To apply for participation to the RR2012 Doctoral Consortium students are asked to submit 1. A statement of interest in participating to the Doctoral Consortium (less than 1 page) 2. A research summary of their PhD research addressing the following aspects: - Applicant's complete name, address and affiliation as well as the title of the research - The main problem you are trying to tackle and why it is relevant - What is the state-of-the-art in relation to existing solutions to the problem - Advances beyond the state-of-the-art in terms of your specific contribution and research plan - Current status of the research plan - Expected achievements and possible evaluation metrics to establish the level of success of your results - References Submissions must be in PDF and be formatted according to the Springer Publications format for Lecture Notes in Computer Science (LNCS). Research summary must be no longer than 6 pages. == Submission Process == To apply for participation to the RR2012 Doctoral Consortium students are asked to submit 1. A research summary (max 6 pages) of their PhD research addressing the following aspects: - Applicant's complete name, address and affiliation, title of the research - The main problem you are trying to tackle and why it is relevant - What's the state-of-the-art in relation to existing solutions to the problem - Advances beyond the state-of-the-art in terms of your specific contribution and research plan - Current status of the research plan - Expected achievements and possible evaluation metrics to establish the level of success of your results - References 2. A statement of interest in participating to the Doctoral Consortium (less than 1 page, uploaded as an attachment) Both the research summary and the attachment must be in PDF format and be formatted according to the Springer Publications format for Lecture Notes in Computer Science (LNCS). Submission will be managed via Easychair (https://www.easychair.org/conferences/?conf=dcrr2012) All proposals submitted to the Doctoral Consortium will undergo a reviewing process. All the accepted contributions have to be presented. The best submissions will present their work as regular (15 min) presentation, and they will be given the option to have their research summaries included in the conference proceedings (Springer LNCS). All the other accepted submissions will be presented at the poster presentation session, preceded by the 5-min talk. Students whose work has been accepted at the poster presentation session should prepare a poster as well in A0 format. Students presenting a poster to the Reasoning Web Summer School can use the same poster for the DC if accepted as short presentations. == Important Dates == Application Deadline: Extended to May 14th, 2012 Notification: May 25th, 2012 == Grants & Awards == Applications for Grants will be managed via Easychair (https://www.easychair.org/conferences/?conf=grantdcrr2012) Two types of sponsorship will be available. Type 1 sponsorships will be in the amounts of $500 per student. Such sponsorships will be given to students who participate in the Reasoning Web Summer School sponsored by their own funding, such that they can extend their stay to include RR2012. Type 2 sponsorships will be in the amounts of $1,500 per student. They will cover travel and other expenses for attending RR2012. Sponsored students may choose to seek additional funding from other sources such that they can also attend the Reasoning Web Summer School. All students at U.S. universities are eligible to apply for the sponsorships. In order to apply for a grant, students need to submit a single PDF form containing, the following information: - Section A: Applicant details, included name and affiliation, title of the PhD Thesis, year of PhD, title and authors (in the correct order) of paper accepted to RR2012 (if any), if the applicant is attending the Reasoning Web Summer School as well, and the type of grant the applicant applies to - Section B: Short motivation statement (max 250 words) for applying, including eventual evidence for the need for sponsorship Students will be selected by a committee consisting of the PIs and the chairs of RR2012. In their decisions, the committee members will adhere to the following criteria: 1. Students who have submd a dissertation plan for review, and the reviews found the dissertation plan to be of high quality and on an important topic. 2. Students who are first authors of research papers at the conference, and who provide convincing evidence that they would not be able to attend all or part of the event without sponsorship. 3. Students who are co-authors of research papers at the conference, and who provide convincing evidence that they would not be able to attend all or part of the event without sponsorship. 4. Students who have submitted a dissertation plan for review, but the reviews found the dissertation plan of lesser quality. 5. All other students, taking into account the stage of their PhD studies (early-stage PhD are favored), quality of the dissertation plan as assessed by the reviews, quality of the (co-)authored RR2012 research paper as assessed by the reviews. All students being awarded a grant, will present a poster and a spotlight talk based on their dissertation plan. == Chair == Alessandra Mileo, Digital Enterprise Research Institute, NUIG == List of Mentors == The list of mentors will be communicated along with their area of expertise once the review process has been completed. == Program Committee == Alessandra Mileo, DERI Galway (Ireland) Axel Polleres, Siemens AG (Österreich) Claudio Gutierrez, Computer Science Department, Universidad de Chile Diego Calvanese, Free University of Bozen-Bolzano (Italy) Jeff Z. Pan, University of Aberdeen (United Kingdom) Hans Tompits, Technische Universitat Wien (Austria) Pascal Hitzler, Wright State University, Dayton OH (US) Pedro Cabalar, Department of Computer Science, Corunna University, Galicia (Spain) Terrance Swift, Stony Brook University, New York (U.S.A.) Thomas Eiter, Technische Universitat Wien (Austria) Tommie Meyer, Knowledge Systems Group · Meraka Institute, Pretoria (South Africa) Wolfgang Faber, Department of Mathematics of the University of Calabria (Italy) From leon.vandertorre at uni.lu Sun Apr 29 08:27:09 2012 From: leon.vandertorre at uni.lu (Leon van der Torre) Date: Sun, 29 Apr 2012 08:27:09 +0200 Subject: CLIMA XIII @ ECAI: Second Call for Papers Message-ID: <4F9CDF3D.4030001@uni.lu> CALL FOR PAPERS --------------- 13th International Workshop on Computational Logic in Multi-Agent Systems [CLIMA XIII] with special sessions on: * Logics for Multi-Agent Programming * Logics for Agreement Technologies http://www.csc.liv.ac.uk/~michael/clima2012.html Affiliated with ECAI 2012 Montpellier, France, August 27-28, 2012 Submission deadline: 28th May Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. Following the previous, very successful, editions, the 13th CLIMA will be affiliated with ECAI 2012 and will take place in Montpellier, France, on the 27th and 28th of August 2012. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions: * Logics for Multi-Agent Programming * Logics for Agreement Technologies We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available athttp://www.csc.liv.ac.uk/~michael/clima2012.html Important dates: * Submission: 28th May * Notification: 16th June * Camera Ready: 23rd June CLIMA XII Chairs: * Michael Fisher, University of Liverpool, UK * Leon van der Torre, University of Luxembourg, Luxembourg Special Session Organisers: Logics for Multi-Agent Programming * Mehdi Dastani, University of Utrecht, Netherlands Logics for Agreement Technologies * Guido Governatori, NICTA, Australia Please send all enquiries about CLIMA XIII toclima13 at easychair.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Wiebe.Van-Der-Hoek at liverpool.ac.uk Sun Apr 29 13:21:55 2012 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Sun, 29 Apr 2012 11:21:55 +0000 Subject: LOFT call for participation Message-ID: <3616B442-180D-42D0-969F-C3CBE2573BB4@liverpool.ac.uk> CALL FOR PARTICIPATION LOFT10 2012 Tenth Conference on Logic and the Foundations of Game and Decision Theory University of Sevilla, Spain, June 18-20, 2012 http://personal.us.es/hvd/loft/ CALL FOR PARTICIPATION Registration for the conference is now open. The EARLY registration fee (before June 1) is 110 euros. AIMS OF THE CONFERENCE This is the tenth in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. The previous nine conferences took place in Marseille (France), January 1994, Torino (Italy), December 1996, December 1998, July 2000 and July 2002, Leipzig (Germany), July 2004, Liverpool (UK), July 2006, Amsterdam (The Netherlands), July 2008 and Toulouse (France), July 2010. INVITED SPEAKERS * Walter Carnielli, University of Campinas, Brazil * Vincent Conitzer, Duke University, USA * Branden Fitelson, Rutgers University, USA * Aviad Heifetz, Open University of Israel * Andrés Perea, University of Maastricht, Netherlands PROGRAM From invitation at iariainfo.org Sun Apr 29 20:49:13 2012 From: invitation at iariainfo.org (NexTech 2012) Date: Sun, 29 Apr 2012 11:49:13 -0700 Subject: Deadline Extension || NexTech 2012 : September 23 - 28, 2012 - Barcelona, Spain Message-ID: <1335725353274.1360@iariainfo.org> INVITATION Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events under NexTech 2012. The submission deadline has been extended to to May 18, 2012. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= NexTech 2012 : September 23 - 28, 2012 - Barcelona, Spain see: http://www.iaria.org/conferences2012/NexTech12.html NexTech 2012 is a federated event focusing on advanced topics concerning mobile systems, advanced computation, network intelligence, P2P systems, semantic processing, ambient technologies, and data analysis. Submission (full paper) deadline: May 18, 2012 Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and comply with the Editorial rules: http://www.iaria.org/editorialrules.html. For details on the each conference's topics, see the individual Call for Papers for each conference. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. Extended versions of selected papers will be published in IARIA on-line Journals (http://www.iariajournals.org) and in Special issues of different journals mentioned on the entry page of each conference. All tracks/topics are open to both research and industry contributions. -- UBICOMM 2012, The Sixth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies http://www.iaria.org/conferences2012/UBICOMM12.html -- ADVCOMP 2012, The Sixth International Conference on Advanced Engineering Computing and Applications in Sciences http://www.iaria.org/conferences2012/ADVCOMP12.html -- AP2PS 2012, The Fourth International Conference on Advances in P2P Systems http://www.iaria.org/conferences2012/AP2PS12.html -- EMERGING 2012, The Fourth International Conference on Emerging Network Intelligence http://www.iaria.org/conferences2012/EMERGING12.html -- SEMAPRO 2012, The Sixth International Conference on Advances in Semantic Processing http://www.iaria.org/conferences2012/SEMAPRO12.html -- AMBIENT 2012, The Second International Conference on Ambient Computing, Applications, Services and Technologies http://www.iaria.org/conferences2012/AMBIENT12.html -- DATA ANALYTICS 2012, The First International Conference on Data Analytics http://www.iaria.org/conferences2012/DATAANALYTICS12.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about NexTech, please reply with "DROP NexTech event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From Guido.Governatori at nicta.com.au Mon Apr 30 01:32:05 2012 From: Guido.Governatori at nicta.com.au (Guido Governatori) Date: Mon, 30 Apr 2012 09:32:05 +1000 Subject: CFP CLIMA: Special session on Logics for Agreement Technologies Message-ID: Apologies for multiple copies ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Special session on *** Logics for Agreement Technologies *** CLIMA XIII 13th International Workshop on Computational Logic in Multi-Agent Systems http://www.csc.liv.ac.uk/~michael/clima2012sessions.html Montpellier, France, August 27-28, 2012 Affiliated with ECAI 2012 Submission deadline: 28 May 2012 Call for Papers ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ INTRODUCTION Agreement Technologies refer to computer systems in which autonomous software agents negotiate with one another, typically on behalf of humans, in order to come to mutually acceptable agreements. Agreement Technologies is a new approach of Distributed Artificial Intelligence for constructing large-scale open distributed computer systems. In particular the focus is on the interactions among agent; specifically on aspects such as: norms, organisations, trust, argumentation and negotiation. We invite submissions on logics, computational models and frameworks for multi-agents and organisations argumentation negotiation norms trust As well as other aspects relevant to Agreement Technology. SUBMISSION We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Papers are submitted to the special session by following the submission instructions for CLIMA: http://www.csc.liv.ac.uk/~michael/clima2012subs.html The special session on Logics for Agreement Technologies is chosen under "category" in Easychair. PROCEEDINGS AND POST-PROCEEDINGS LNCS Proceedings: All the accepted papers (including special session papers) will be published by Springer as a volume in Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Important dates: * Submission: May 28th * Notification: June 16th * Camera Ready: June 23rd Special Session Organiser: * Guido Governatori, NICTA. Australia In case of questions, please do not hesitate to contact us at guido.governatori at nicta.com.au (enquiries particularly related to the special session) or clima13 at easychair.org (general CLIMA enquiries). The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. From oshanis at gmail.com Mon Apr 30 12:46:04 2012 From: oshanis at gmail.com (Oshani Seneviratne) Date: Mon, 30 Apr 2012 06:46:04 -0400 Subject: ISWC 2012 Call for Tutorial Proposals -- Submission Deadline May 6 Message-ID: ------------------------------------------------------------------------ Call for Tutorial Proposals http://iswc2012.semanticweb.org/call-tutorial-proposals In conjunction with the 11th International Semantic Web Conference http://iswc2012.semanticweb.org/ Boston - USA November 11-15, 2012 ------------------------------------------------------------------------ The International Semantic Web Conference (ISWC) is the primary conference on the use of semantic technologies on the web and linked data, constantly attracting a high number of high quality submissions participants from academia and industry. It brings together researchers from different areas of computer science, like artificial intelligence, databases, natural language process, information retrieval and others that aim at the development and use of novel technologies for accessing, interpreting and using information on the web in a more effective way. Besides the main technical program, ISWC will host a number of tutorials on all major topics related to the Semantic Web / Linked Data research, enabling attendees to fully appreciate current issues, main schools of thought, and possible application areas. In order to meet these goals, tutorials should address topics that satisfy the following criteria: - the topic falls in the general scope of ISWC 2012, - there is a clear focus on a specific technology, problem or - application, and - there is a sufficiently large community interested in the topic. In particular, we encourage the submission of tutorial proposals on: - fundamental problems of the Semantic Web/Linked Data such as ontology mining, heterogeneity, scalability and distribution, - applications of Semantic Web technologies in specific domains and trends, - important enabling technologies and their adaptation to the needs of the Semantic Web, - aspects of semantic web research that have been neglected so far, and - techniques from other research fields that are of relevance for Semantic Web research (e.g., machine learning, NLP). Additionally, we expect tutorials to: - have practical parts in terms of examples or preferably exercises to be carried out by the participants Proposers of accepted tutorials have to prepare a tutorial webpage containing detailed information about the tutorial. Submission Guidelines ----------------------------------- Tutorial proposals should be submitted via EasyChair https://www.easychair.org/conferences/?conf=iswc2012tutorials as a single PDF file of no more than 5 pages and should contain the following information: - Title - Abstract (200 words) - Motivation on why the topic is of particular interest at this time - Overview of content, description of the aims, presentation style, potential/preferred prerequisite knowledge - Indication on whether the tutorial should be considered for a half-day or full-day - Intended audience and expected number of participants - Audio-visual or technical requirements and any special room requirements (for hands-on sessions, any software needed and download sites must be provided by the tutorial presenters) - Data of the presenters (name, affiliation, email address, homepage) and short description of their expertise, experiences in teaching and in tutorial presentation Important Dates -------------------------- - Event: November 11 & 12, 2012 - Tutorial proposal due: May 6, 2012 - Tutorial Notifications: May 20, 2012 Chairs -------------- Claudia d’Amato, Unversity of Bari Thomas Scharrenbach, University of Zurich Follow ISWC 2012 on Twitter https://twitter.com/#!/iswcboston From woltran at dbai.tuwien.ac.at Mon Apr 30 14:02:40 2012 From: woltran at dbai.tuwien.ac.at (Stefan Woltran) Date: Mon, 30 Apr 2012 14:02:40 +0200 (CEST) Subject: NMR 2012 - Call for Participation / Student Grant Announcement Message-ID: =============================================================================== CALL FOR PARTICIPATION NMR 2012 14th International Workshop on Non-Monotonic Reasoning (NMR 2012) http://www.dbai.tuwien.ac.at/NMR12/ Co-located with KR 2012, DL 2012, CILC 2012, AI*IA 2012, KiBP 2012 Rome, Italy June 8-10, 2012 =============================================================================== IMPORTANT DATES FOR REGISTRATION NMR-12 Registration fee includes lunches for three workshop days, coffee breaks, and one ticket for the social event. Previous registration at KR2012 allows for a reduced fee (for early registrations only). Discounted Early Registration ends: May 11 Late Registration ends: May 31 on site registration: 7-10 June In this year, NMR will share a joint session together with the International Workshop on Description Logics (DL 2012). A special fee for joint registration with DL-12 is also available. Details on NMR 2012 fees are available at http://www.dbai.tuwien.ac.at/NMR12/registration.html Information on accommodations can be found at http://www.dis.uniroma1.it/~kr12/?p=hotels STUDENT GRANTS A limited number of student grants are available for participation in NMR 2012. Each grant will cover the workshop registration fee and will provide a contribution to the accommodation costs. The students who are interested in applying for this grant must write an email to the workshop organizers at nmr12 at dbai.tuwien.ac.at. The deadline for applying to the student grants is May 4, 2012. Further Information is available at http://www.dbai.tuwien.ac.at/NMR12/grants.html PROGRAMME The NMR workshop series is the premier specialized forum for researchers in non-monotonic reasoning and related areas. This will be the 14th workshop in the series. Its aim is to bring together active researchers in the broad area of non-monotonic reasoning, including belief revision, reasoning about actions, argumentation, declarative programming, preferences, non-monotonic reasoning for ontologies, uncertainty, and other related topics. The technical programme will include 30 technical presentation and three invited talks. In this year, NMR will share a joint session together with the International Workshop on Description Logics (DL 2012). Invited Talks: Joao Leite: On Logic Program Updates Piero Bonatti: Defaults in description logics: so simple, so difficult Nicola Leone: Towards the Industrial Application of NMR Systems LOCATION The workshop will be held in the conference rooms of Sapienza Universita di Roma. WORKSHOP CO-CHAIRS Riccardo Rosati (Sapienza Universita di Roma, Italy) Stefan Woltran (Vienna University of Technology, Austria) CONTACT nmr12 at dbai.tuwien.ac.at From tsoumakas at gmail.com Mon Apr 30 14:27:09 2012 From: tsoumakas at gmail.com (Grigorios Tsoumakas) Date: Mon, 30 Apr 2012 15:27:09 +0300 Subject: ECML PKDD 2012: Last Call for Demos and NECTAR-track submissions Message-ID: [ please distribute - apologies for multiple postings ] ECML PKDD 2012: The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases September 24-28, 2012 - Bristol, UK http://www.ecmlpkdd2012.net/ ----------------------------------------------- Call for Demonstrations ----------------------------------------------- ECML PKDD 2012 solicits submissions for demos. Submissions must describe working systems and be based on state-of-the-art machine learning and data mining technology. These systems may be innovative prototype implementations or mature systems that use machine learning techniques and knowledge discovery processes in a real setting. We particularly welcome demos that use open-source software. For more information, please check http://www.ecmlpkdd2012.net/calls/call-for-demos/ Submission deadline: Friday, May 18, 2012 All aspects of the submission and notification process will be handled online via the CMT conference management toolkit at https://cmt.research.microsoft.com/ECMLPKDD2012/ For inquiries please contact us at ECMLPKDD2012demos at cs.bris.ac.uk Bettina Berendt & Myra Spiliopoulou ECML PKDD 2012 Demo Track Chairs ----------------------------------------------- Call for NECTAR-track submissions ----------------------------------------------- For the first time, ECML PKDD 2012 will have a NECTAR-track, featuring significant machine learning and data mining results published or disseminated no earlier than 2010 at a different conference or in a journal. One goal of this track is to offer conference attendees the opportunity to learn about machine learning and/or data mining related results published in other communities. Papers describing innovative applications of state-of-the-art machine learning and/or data mining algorithms are also welcome, but should be different from demonstration papers; the latter are to be submitted to the demos track. We also invite submissions presenting compactly well-founded results which appeared in a series of publications that advanced a single novel influential idea or vision. For more information, please check: http://www.ecmlpkdd2012.net/calls/call-for-nectar-talks/ Submission deadline: Friday, May 18, 2012 All aspects of the submission and notification process will be handled online via the CMT conference management toolkit at https://cmt.research.microsoft.com/ECMLPKDD2012/ For inquiries please contact us at ECMLPKDD2012nectar at cs.bris.ac.uk Thomas Gaertner & Gemma Garriga ECML PKDD 2012 NECTAR Track Chairs -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pascal.hitzler at wright.edu Mon Apr 30 20:51:35 2012 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Mon, 30 Apr 2012 14:51:35 -0400 Subject: Semantic Web Journal: Special Call for Linked Dataset Descriptions Message-ID: <4F9EDF37.9040406@wright.edu> Semantic Web journal Special Call for Linked Dataset Descriptions Linked Data is a key enabler for the Semantic Web vision, and a decisive step towards a truly "Semantic" Web. The Semantic Web journal calls for brief papers (about 4-6 pages) containing a concise description of a Linked Dataset. The paper shall describe in concise and clear terms key characteristics of the dataset as a guide to its usage for various (possibly unforeseen) purposes. In particular, such a paper shall typically give information, amongst others, on the following aspects of the dataset. * Name, URL, version date and number, licensing, availability, etc. * Topic coverage, source for the data, purpose and method of creation and maintenance, reported useage etc. * Metrics and statistics on external and internal connectivity, use of established vocabularies (e.g., RDF, OWL, SKOS, FOAF), language expressivity, growth. * Examples and critical discussion of typical knowledge modeling patterns used. * Known shortcomings of the dataset. Papers will be evaluated along the following dimensions: Quality of the dataset, usefulness (or potential usefulness) of the dataset, clarity and completeness of the descriptions. Papers should usually be written by people involved in the generation or maintenance of the dataset, or with the consent of these people. Prospective authors must take notice of the submission guidelines posted at http://www.semantic-web-journal.net/authors Deadlines: Paper submission: May 20th, 2012 Notification: Usually within 8 weeks of submission In case of questions, please contact the Editors-in-chief: Pascal Hitzler Krzysztof Janowicz contact at semantic-web-journal.net -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net