From iccs12.agadir at gmail.com Wed Jan 4 01:28:51 2012 From: iccs12.agadir at gmail.com (Mohamed Nemiche) Date: Wed, 4 Jan 2012 01:28:51 +0100 Subject: CFP: ICCS12 || November 5-6, 2012-Agadir, Morocco -Deadline: April 30, 2012 Message-ID: Apologies if you receive multiple copies. ___________________ICCS’12 || CAL 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. The topics of interest include, but are not limited to: - Fuzzy Set Theory and Fuzzy Systems - Fractals, Chaos Theory and Chaotic Systems - Biologically-Inspired Artificial Systems - 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 - Information and Communication Technologies for Services Modeling, Services Composition and Services Management (Invited Session) - 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 KEYNOTE SPEAKERS -Matjaz Mulej , University of Maribor, Slovenia President of the International Academy for Systems and Cybernetic Sciences. -Luis Martínez López , University of Jaén , Spain Editor in Chief of the International Journal of Computational Intelligence Systems. -Antonio Caselles Moncho , University of Valencia, Spain Vice-President of Spanish Society of General Systems Editor/Director of the "Revista Internacional de Sistemas". -Francisco Parra Luna , Complutense University of Madrid, Spain. -Mohamed Bakhouya , Aalto University, Finland. http://iccs12.org/keynotes.html INVITED SESSIONS http://iccs12.org/invited.html PROCEEDINGS, SPECIAL ISSUES All presented papers will be published in IEEE Xplore Digital Library and extended versions of selected papers will be published in special issues of international journals. GENERAL CHAIRS - M. Essaaidi,President - IEEE Morocco Section [essaaidi at ieee.org ; Phone: +212 (0) 661 725 992] - M. Nemiche, Ibn Zohr University, Agadir, Morocco [nemiche at uv.es] - Antonio Caselles Moncho, Vice-President Spanish Society of General Systems, Spain [Antonio.Caselles at uv.es] HONORARY ADVISORY BOARD - Rafael Lostado Bojo, President of the Spanish Society of General Systems, Spain. - Pierre Bricage, Secretary General of the International Academy for Systems and Cybernetic Sciences. - Gerhard Chroust, Secretary General of the International Federation for Systems Research (IFSR). - Daniel Dubois, Director of ASBL CHAOS, University of Liege, Belgium. - François Dubois, President of the French Systems Science Organization, France. - Rafael Pla Lopez, Vice-President of the Spanish Society of General Systems. Spain. - Mohamed Mansour, Ex-President of the Swiss Society for Automatic Control, Switzerland. - Gianfranco Minati, President of the Italian Systems Society, Italy. - Matjaz Mulej, President of the International Academy for Systems and Cybernetic Sciences. - Robert Vallée, President of The World Organisation of Systems and Cybernetics (WOSC). TECHNICAL PROGRAM COMMITTEE http://iccs12.org/committees.html 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 pascal.hitzler at wright.edu Wed Jan 4 15:32:40 2012 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Wed, 04 Jan 2012 09:32:40 -0500 Subject: Semantic Web Journal: Call for Papers on Big Data: Theory and Practice Message-ID: <4F046308.7080908@wright.edu> Deadline: February 13, 2012 Semantic Web Journal: Call for Papers on Big Data: Theory and Practice http://www.semantic-web-journal.net/blog/semantic-web-journal-call-papers-big-data-theory-and-practice Semantic Web Journal Call for Papers on Big Data: Theory and Practice http://www.semantic-web-journal.net The Semantic Web journal calls for innovative and high-quality papers describing theory and practice of storing, accessing, searching, mining, processing, and visualizing big data. We especially invite papers that describe or demonstrate how ontologies, Linked Data, and Semantic Web technologies can handle the problems arising when integrating massive amounts of multi-thematic and multi-perspective information from heterogeneous sources to answer complex questions that cut through domain boundaries. We welcome all paper categories, i.e., full research papers, application reports, systems and tools, ontology papers, as well as surveys, as long as they clearly relate to challenges and opportunities arising from processing big data - see our listing of paper types in the author guidelines. In other words, we expect all submitted manuscripts to address how the presented work can exploit massive and/or heterogeneous data. Topics include but are not limited to Sensor Semantics and Smart Dust Semantics-based Aggregation and Generalization of (Observation) Data Massive Data Integration for the Digital Earth Semantic Interoperability and Heterogeneity Linked Science Knowledge Discovery from Linked Data Mining the Social and Mobile Web Inductive and Abductive Approaches to Ontology Learning Ontology Modularization Ontology Evolution Knowledge Patterns On-the-fly Ontology Alignment and Matching Semantic Translation Distributed Reasoning Handling Uncertainty, Vagueness, and Inconsistencies Ontology-driven Data Visualization Semantics-enabled User Interfaces to Handle Massive Data Trust and Privacy Issues in Publishing and Reasoning about Big Data The User as Knowledge Engineer Semantics-based Negotiation between Domain Experts Dialog and Question Answering Systems based on Linked Data and Ontologies Connecting the Semantic Web with Spatial Data Infrastructures and the Model Web Internet of Things Applications of Linked Data Important Dates Manuscript submission due: 13. February 2012 First notification: 26. March 2012 Issue publication: Summer 2012 Submissions The special issue on Big Data Theory and Practice calls for original high-quality research on any of the above mentioned topics. Authors are requested to follow the author guidelines, submit online as detailed in the author guidelines, and include the name of the call within the submission letter. All manuscripts will be reviewed based on the SWJ open and transparent review policy and will be made available during online the review process. Best Regards, Pascal Hitzler Krzysztof Janowicz Editors-in-Chief -- 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 From thierry.petit at mines-nantes.fr Thu Jan 5 11:17:28 2012 From: thierry.petit at mines-nantes.fr (Thierry PETIT) Date: Thu, 5 Jan 2012 11:17:28 +0100 Subject: CPAIOR 2012 workshop call Message-ID: <5D4D5EB4-7E1E-4D5C-A633-603CAC0DF745@mines-nantes.fr> CPAIOR 2012 - CALL FOR WORKSHOP PROPOSAL Ninth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, Cité des Congrès, Nantes, France, May 28 - June 1, 2012. http://www.emn.fr/z-info/cpaior-2012/ The ninth international conference on Integration of Artificial Intelligence and Operations Research techniques in Constraint Programming will be held in Nantes, France, May 28 - June 1, 2012. The aim of the conference is to bring together interested researchers from Constraint Programming (CP), Artificial Intelligence (AI) and Operations Research (OR) to present new techniques or new applications in combinatorial optimization and to provide an opportunity for researchers in one area to learn about techniques in the others. A main objective of this conference series is also to give these researchers the opportunity to show how the integration of techniques from different fields can lead to interesting results on large and complex problems. The CPAIOR 2012 conference chairs invite proposals for the workshop program. CPAIOR 2012 workshops will provide an informal setting where workshop participants will have the opportunity to discuss specific technical topics in an atmosphere that facilitates the active exchange of ideas. It is an opportunity to disseminate work in progress or to promote new and emerging areas on the intersection of CP, AI, and OR. All workshops will take place on May 29, 2012, at the site of the main conference. Workshops can be proposed for a full or a half day. The internal format of the workshop will be determined by the organizers of each workshop. Proposals for workshops should contain the following information: - The title and a brief technical description of the workshop, specifying the goals and the technical issues it will focus on (this description is meant to be published on the main conference homepage). - The intended duration of the workshop (full/half day). - A brief discussion of why and to whom the workshop is of interest. - A list of related workshops held within the last three years, if any, and their relation to the proposed workshop. - The names of the proposed organizing committee. - The name and email address of the main organizer. Each workshop main organizer will be responsible for: - Creating a web site for the workshop that will be linked from the CPAIOR 2012 website. - Organizing the technical program: call for papers, selecting submissions, inviting attendant, etc. - Providing working pdf notes to be duplicated for the workshop by May 11, 2012. The CPAIOR 2012 conference chairs will be responsible for the following: - Providing publicity for the workshop series as a whole. - Providing logistics support and a meeting place for the workshop. - Scheduling workshops in cooperation with the workshop organizers. - Duplicating working notes (possibly in electronic form) and distributing them to the participants. All proposals should be submitted by electronic mail (in ASCII), to the workshop chair. Important Dates: February 6, 2012: Proposal submission deadline. February 13, 2012: Acceptance notification. February 27, 2012: Deadline for receipt of the URL and Call for Papers/Participation for the workshop. May 11, 2012: Deadline for workshop working notes. May 29, 2010: CPAIOR 2012 workshops. CPAIOR 2012 Workshop Chair: Thierry Petit, Co-Head TASC, LINA / Ecole des Mines de Nantes. Thierry.Petit at mines-nantes.fr -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wjamroga at in.tu-clausthal.de Thu Jan 5 22:53:04 2012 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Thu, 05 Jan 2012 22:53:04 +0100 Subject: LAMAS 2012: Logical Aspects of Multi-Agent Systems, Valencia (Spain), 4/5 June 2012 Message-ID: <4F061BC0.70607@in.tu-clausthal.de> [With apologies for multiple copies] ************************************************************************ * LAMAS 2012: 5TH WORKSHOP ON LOGICAL ASPECTS OF MULTI-AGENT SYSTEMS * * Satellite workshop of AAMAS 2012, June 4 or 5, 2012, Valencia, Spain * * * * website: http://icr.uni.lu/lamas2012/ * * * * FIRST CALL FOR PAPERS * ************************************************************************ OBJECTIVES AND TOPICS OF THE WORKSHOP: LAMAS is a scientific network spanning an interdisciplinary community of researchers working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop is the pivotal event of the network and it provides a platform for presentation, exchange, and publication of ideas in all these areas, including: - Logical systems for specification, analysis, and reasoning about MAS - Modeling MAS with logic-based models - Deductive systems and decision procedures for logics for MAS - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS - Logic-based tools for MAS - Applications of logics in MAS SUBMISSIONS: Authors are invited to submit papers in the following three categories: - Regular papers of 10 to 15 pages, describing original unpublished research. Position papers and reports of advanced work in progress can also be submitted in this category. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Extended abstracts of 2 to 5 pages reporting relevant work in progress or work that has been published or accepted for publication in the last 12 months. Submissions should be anonymous, subject to double-blind reviewing procedure. They must be in pdf and prepared according to the Springer LNCS format. For templates and instructions for authors, see http://www.springer.de/comp/lncs/authors.html . The submission site is http://www.easychair.org/conferences/?conf=lamas2012 . All the accepted papers will appear in the informal workshop proceedings produced together with the AAMAS proceedings. Furthermore, post-proceedings of LAMAS’2012 are envisaged (as a journal special issue or a Springer LNCS/FoLLI sub-series volume) if the amount of quality submissions is sufficient. INVITED SPEAKERS: Wiebe van der Hoek, University of Liverpool Alessio Lomuscio, Imperial College London IMPORTANT DATES: Paper submission: March 10, 2012 (firm deadline, no extensions) Authors notification: April 5, 2012 Camera-ready deadline: April 15, 2012 Workshop: June 4 or 5, 2012 (date yet to be fixed by the AAMAS organizers) PROGRAM COMMITTEE (more PC members are expected to join soon): Thomas Agotnes, University of Bergen Thomas Bolander, Technical University of Denmark Nils Bulling, Clausthal University of Technology Juergen Dix, Clausthal University of Technology Valentin Goranko, Technical University of Denmark Wojtek Jamroga, University of Luxembourg Joao Leite, New University of Lisbon Alessio Lomuscio, Imperial College London John-Jules Meyer, Utrecht University Wojciech Penczek, Polish Academy of Sciences, Warsaw Ram Ramanujam, IMSc Chennai ORGANIZATION AND CONTACT: The workshop is organized by Valentin Goranko, Technical University of Denmark, and Wojtek Jamroga, University of Luxembourg. Contact email: lamas at uni.lu . In case of questions, do not hesitate to write. -- Dr. habil. Wojciech Jamroga Faculty of Science, Technology and Communication University of Luxembourg http://icr.uni.lu/wjamroga/ From J.T.Jeuring at uu.nl Mon Jan 9 11:07:23 2012 From: J.T.Jeuring at uu.nl (Johan Jeuring) Date: Mon, 9 Jan 2012 11:07:23 +0100 Subject: CICM 2012: Second call for papers Message-ID: <1939BAB9-94F9-42B3-A258-F1238B372F45@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 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 ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Abstract submission: 20 February 2012 Submission deadline: 26 February 2012 Reviews sent to authors: 23 March 2012 Rebuttals due: 30 March 2012 Notification of acceptance: 6 April 2012 Camera ready copies due: 20 April 2012 Conference: 9-13 July 2012 ---------------------------------------------------------------- Tracks ---------------------------------------------------------------- *** AISC *** Symbolic computation can be roughly described as the study of algorithms which operate on expression trees. Another way to phrase this is to say that the denotational semantics of expressions trees is not fixed, but is rather context dependent. Expression simplification is probably the archetypal symbolic computation. Mathematically oriented software (such as the so-called computer algebra systems) have been doing this for decades, but not long thereafter, systems doing proof planning and theorem discovery also started doing the same; some attempts at knowledge management and 'expert systems' were also symbolic, but less successfully so. More recently, many different kinds of program analyses have gotten `symbolic', as well as some of the automated theorem proving (SMT, CAV, etc). But a large number of the underlying problems solved by symbolic techniques are well known to be undecidable (never mind the many that are EXP-time complete, etc). Artificial Intelligence has been attacking many of these different sub-problems for quite some time, and has also built up a solid body of knowledge. In fact, most symbolic computation systems grew out of AI projects. These two fields definitely intersect. One could say that in the intersection lies all those problems for which we have no decision procedures. In other words, decision procedures mark a definite phase shift in our understanding, but are not always possible. Yet we still want to solve certain problems, and must find 'other' means of (partial) solution. This is the fertile land which comprises the core of AISC. Rather than try to exhaustively list topics of interest, it is simplest to say that AISC seeks work which advances the understanding of Solving problems which fundamentally involve the manipulation of expressions, but for which decision procedures are unlikely to ever exist. *** Calculemus *** Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning, the interactive theorem provers or proof assistants (PA) and the automated theorem provers (ATP). Currently, symbolic computation is divided into several (more or less) independent branches: traditional ones (e.g., computer algebra and mechanised reasoning) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.) The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated systems for computer mathematics that will routinely be used by mathematicians, computer scientists and engineers in their every day business. The topics of interest of Calculemus include but are not limited to: * Theorem proving in computer algebra (CAS) * Computer algebra in theorem proving (PA and ATP) * Case studies and applications that both involve computer algebra and mechanised reasoning * Representation of mathematics in computer algebra * Adding computational capabilities to PA and ATP * Formal methods requiring mixed computing and proving * Combining methods of symbolic computation and formal deduction * Mathematical computation in PA and ATP * Theory, design and implementation of interdisciplinary systems for computer mathematics * Theory exploration techniques * Input languages, programming languages, types and constraint languages, and modeling languages for mechanised mathematics systems (PA, CAS, and ATP). * Infrastructure for mathematical services *** DML *** Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked, validated and verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. Following success of DML 2008, DML 2009 DML 2010, and DML 2011 track objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects as EuDML, asking such questions as: * What technologies, standards, algorithms and formats should be used and what metadata should be shared? * What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions? * Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work? * What is the best practice for * retrodigitized mathematics (from images via OCR to MathML or TeX); * retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML or TeX); * born-digital mathematics (how to make needed metadata and file formats available as a side effect of publishing workflow [CEDRAM/Euclid model])? DML is an opportunity to share experience and best practices between projects in any area (MKM, NLP, OCR, pattern recognition, whatever) that could change the paradigm for searching, accessing, and interacting with the mathematical corpus. The track is trans/interdisciplinary and contributions from any kind of people on any aspect of the DML building are welcome. *** MKM *** Mathematical Knowledge Management is an interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. The objective of MKM is to develop new and better ways of managing sophisticated mathematical knowledge, based on innovative technology of computer science, the Internet, and intelligent knowledge processing. MKM is expected to serve mathematicians, scientists, and engineers who produce and use mathematical knowledge; educators and students who teach and learn mathematics; publishers who offer mathematical textbooks and disseminate new mathematical results; and librarians and mathematicians who catalog and organize mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. A non-exclusive list of important topics includes: * Representations of mathematical knowledge * Authoring languages and tools * Repositories of formalized mathematics * Deduction systems * Mathematical digital libraries * Diagrammatic representations * Mathematical OCR * Mathematical search and retrieval * Math assistants, tutoring and assessment systems * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics * Challenges and solutions for mathematical workflows *** Systems and Projects *** The Systems and Projects track of the Conferences on Intelligent Computer Mathematics is a forum for presentation of systems and new and ongoing projects in all areas and topics related to the CICM conferences: * AI and Symbolic Computation * Deduction and Computer Algebra * Mathematical Knowledge Management * Digital Mathematical Libraries The track aims to provide an overview of the latest developments and trends within the CICM community as well as to exchange ideas between developers and introduce systems to an audience of potential users. We solicit submissions for two page abstracts in the categories of system descriptions and project presentations. System description should present * newly developed systems, * systems that have not previously been presented to the CICM community, or * significant updates to existing systems. Project presentation should describe * projects that are new or about to start, * ongoing projects that have not yet been presented to the CICM community. * significant new developments in ongoing previously presented projects. All submissions should contain links to demos, downloadable systems, or project pages. Availability of such accompanying material will be a strong prerequisite for acceptance. Accepted abstracts will be published in the CICM proceedings in Springer's LNAI series. Author's are expected to present their abstracts in 5-10 minute teaser talks followed by an open demo/poster session. System papers must be accompanied by a system demonstration, while project papers must be accompanied by a poster presentation. ---------------------------------------------------------------- Submitting ---------------------------------------------------------------- Submissions to tracks A to D must not exceed 15 pages and will be reviewed and evaluated with respect to relevance, clarity, quality, originality, and impact. Shorter papers, e.g., for system descriptions, are welcome. Authors will have an opportunity to respond to their papers' reviews before the programme committee makes a decision. Submissions to the Systems & Projects track must not exceed four pages. The accepted abstracts will be presented at CICM in a fast presentation session, followed by an open demo/poster session. System papers must be accompanied by a system demonstration, and project papers must be accompanied by a poster presentation. The four pages of the abstract should be new material, accompanied by links to demos/downloads/project-pages and [existing] system descriptions. Availability of such accompanying material will be a strong prerequisite for acceptance. Accepted conference submissions from all tracks will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer. In addition to these formal proceedings, authors are permitted and encouraged to publish the final versions of their papers on arXiv.org. 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. The programme committee may offer authors of rejected formal submissions to publish their contributions as work-in-progress papers instead. Depending on the number of work-in-progress papers accepted, they will be presented at the conference either as short talks or as posters. The work-in-progress proceedings will be published as a technical report. All papers should be prepared in LaTeX and formatted according to the requirements of Springer's LNCS series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html). By submitting a paper the authors agree that if it is accepted at least one of the authors will attend the conference to present it. Electronic submission is done through easychair (http://www.easychair.org/conferences/?conf=cicm2012). ---------------------------------------------------------------- Program Committees ---------------------------------------------------------------- General chair: Johan Jeuring (Utrecht University and Open Universiteit the Netherlands) AISC track John A. Campbell; University College London, UK; Co-chair Jacques Carette; McMaster University, Canada; Co-chair Serge Autexier; DFKI Bremen, Germany Jacques Calmet; University of Karlsruhe, Germany Jacques Fleuriot; University of Edinburgh, UK Andrea Kohlhase; International University Bremen, Germany Erik Postma; Maplesoft Inc., Canada Alan Sexton; University of Birmingham, UK Chung-chieh Shan; Cornell University, USA. Stephen Watt; University of Western Ontario, Canada Calculemus track Gabriel Dos Reis; Texas A&M University, USA; Chair Andrea Asperti; University of Bologna, Italy Laurent Bernardin; Maplesoft, Canada James Davenport; University of Bath, UK Ruben Gamboa; University of Wyoming, USA Mark Giesbrecht; University of Waterloo, Canada Sumit Gulwani; Microsoft Research, USA John Harrison; Intel, USA Joris van der Hoeven; École Polytechnique, France Hoon Hong; North Carolina State University, USA Loïc Pottier; INRIA, France Wolfgang Windsteiger; RISC, Austria DML track Petr Sojka; Masaryk University, Brno, CZ; Chair José Borbinha; Technical University of Lisbon, PT Thierry Bouche; University Grenoble, FR Michael Doob; University of Manitoba, Winnipeg, CA Thomas Fischer; Goettingen University, DE Yannis Haralambous; Télécom Bretagne, FR Václav Hlaváč; Czech Technical University, Prague, CZ Michael Kohlhase; Jacobs University Bremen, DE Janka Chlebíková; Portsmouth University, UK Enrique Maciás-Virgós; University of Santiago de Compostela, ES Bruce Miller; NIST, USA Jiří Rákosník; Academy of Sciences, Prague, CZ Eugenio Rocha; University of Aveiro, PT David Ruddy; Cornell University, US Volker Sorge; University of Birmingham, UK Masakazu Suzuki; Kyushu University, JP MKM track Makarius Wenzel; University of Paris-South, France; Chair David Aspinall; University of Edinburgh, Scotland Jeremy Avigad; Carnegie Mellon University, USA Mateja Jamnik; University of Cambridge, UK Cezary Kaliszyk; University of Tsukuba, Japan Manfred Kerber; University of Birmingham, UK Christoph Lüth; DFKI Bremen, Germany Adam Naumowicz; University of Białystok, Poland Jim Pitman; University of California, Berkeley, USA Pedro Quaresma; Universidade de Coimbra, Portugal Florian Rabe; Jacobs University Bremen, Germany Claudio Sacerdoti Coen; University of Bologna, Italy Enrico Tassi; INRIA Saclay, France Freek Wiedijk; Radboud University Nijmegen, The Netherlands Systems & Projects track Volker Sorge; University of Birmingham, UK; Chair Josef Baker; University of Birmingham, UK John Charnley; Imperial College, UK Manuel Kauers; RISC, Austria Koji Nakagawa; Kyushu University, Japan Piotr Rudnicki; University of Alberta, Canada Josef Urban; Radboud University Nijmegen, The Netherlands Richard Zanibbi; Rochester Institute of Technologies, USA From m.b.vanriemsdijk at tudelft.nl Mon Jan 9 15:29:53 2012 From: m.b.vanriemsdijk at tudelft.nl (Birna van Riemsdijk) Date: Mon, 9 Jan 2012 15:29:53 +0100 Subject: PhD vacancy in Multi-Agent Organisations (TU Delft) Message-ID: <55F3277A-AD0B-4565-A137-0722F5F52088@tudelft.nl> PhD Vacancy in Multi-Agent Organisations * Job description This position is part of the SHINE project and will be performed as a cooperation between the Man-Machine Interaction research group at the Faculty of Electrical Engineering, Mathematics and Computer Science, and the ICT research group at the Faculty of Technology, Policy and Management. Daily supervisors are Dr. Virginia Dignum and Dr. M. Birna van Riemsdijk and the promotor is Prof. Dr. Catholijn Jonker. In order to understand, manage and safeguard society against abrupt changes and events in our complex world, there is an increasing need for integrated social monitoring systems that are able to access and integrate many heterogeneous information sources, including observation performed by local communities and traditional networks. This combination, augmented with new, advanced techniques for flexible sensing; software technology for data management, interpretation, dissemination and visualisation; decision making and acting offers great potential for an integrated social monitoring system. This project's main research question is: How can heterogeneous resources (people, mobile sensors, fixed sensors, social media, information systems, etc.) self-organise for answering dynamic information needs? This PhD project will focus on the organisational development and analysis aspects of such systems. In order to achieve their goals, actors (sensors, people, or autonomous agents) participating in integrated social monitoring systems require means for coordination and cooperation that take into account their requirements and (institutional) constraints. Participants are assumed to belong to existing organisations and to be bound by specific norms of conduct (implicit or explicit) and expectations. * Requirements As a PhD student your tasks include the following activities: • performing scientific research; • implementing research prototypes and testing them in live settings; • presenting results at international conferences; • publishing results in scientific journals; • participating in the research groups' activities. We are looking for excellent candidates who meet the following requirements: • an MSc degree in Computer Science, Artificial Intelligence or a closely related field; • good programming skills; • good speaking and writing skills in English. Having a background in multi-agent systems, organisation modelling or multi-agent simulation is a plus. * Conditions of employment Maximum employment: 38 hours per week (1 FTE) Duration of contract: 4 years Salary scale: €2042 to €2612 per month gross In addition, TU Delft offers an attractive benefits package, including a flexible work week, free high-speed Internet access from home (with a contract of two years or longer), and the option of assembling a customised compensation and benefits package (the 'IKA'). Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities. * Information and application For more information about this position, please contact Dr. Birna van Riemsdijk, phone: +31 (0)15-2786331, e-mail: m.b.vanriemsdijk at tudelft.nl or Dr. Virginia Dignum, phone: +31-15-2788064, e-mail: : m.v.dignum at tudelft.nl . To apply, please e-mail the following: • an explanation of your interest in the proposed research field; • a Curriculum Vitae; • copies of diplomas and other relevant certificates; • a complete list of courses attended and corresponding grades; • names and contact details of two references; • proof of English language skills (if applicable). Please send your application materials by the early application deadline of 31 January 2012 to J. Eddini, hr-eemcs.tudelft.nl. We will continue to consider applications until the position is filled. When applying for this position, please refer to vacancy number EWI12-01. ----------------------------- Dr. M. Birna van Riemsdijk assistant professor Man-Machine Interaction Group Department of Mediamatics Faculty of Electrical Engineering, Mathematics and Computer Science Delft University of Technology Mekelweg 4 2628 CD Delft The Netherlands Room: HB 12.040 Telephone: +31 (0)15 2786331 Fax: +31 (0)15 2787141 Website: http://mmi.tudelft.nl/~birna/ Twitter: @mbirna From kuhntobias at gmail.com Tue Jan 10 09:51:56 2012 From: kuhntobias at gmail.com (Tobias Kuhn) Date: Tue, 10 Jan 2012 09:51:56 +0100 Subject: Third Workshop on Controlled Natural Language (CNL 2012): Announcement and Call for Papers Message-ID: <4F0BFC2C.5000707@gmail.com> --------------------------------------------------------------------- Announcement and Call for Papers *** THIRD WORKSHOP ON CONTROLLED NATURAL LANGUAGE (CNL 2012) *** 29-31 August 2012 Zurich, Switzerland http://attempto.ifi.uzh.ch/site/cnl2012/ --------------------------------------------------------------------- A controlled natural language (CNL) is based on natural language but comes with restrictions on vocabulary, grammar, and/or semantics. The general goal is to reduce or eliminate ambiguity and complexity. Some of these languages are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning on seemingly natural texts. Such languages have a direct mapping to some sort of formal logic and should improve the accessiblity of formal knowledge representations or specifications for people unfamiliar with formal notations. All these types of CNL are covered by this workshop. Topics ------ Possible topics for CNL 2012 include: - CNL for knowledge representation - CNL for question answering - CNL for specifications - CNL for business rules - CNL for interactive systems - CNL for machine translation - CNL for improved understandability of texts - design of CNLs - CNL applications - CNL evaluation - usability and acceptance of CNL - CNL grammars and lexica - reasoning in CNL - spoken CNL - CNL in the context of the Semantic Web and Linked Open Data - CNL in the government - CNL in industry - CNL use cases - theoretical properties of CNL Important Dates --------------- Submission deadline: 9 March 2012 Notification of acceptance: 25 May 2012 Deadline for revised papers: 22 June 2012 Workshop: 29-31 August 2012 Submissions and Proceedings --------------------------- We invite researchers to submit papers with novel contributions in the area of CNL. These research papers should be formatted according to the Springer LNCS format and should not exceed 15 pages. Papers should be submitted in PDF format via the EasyChair conference system: http://www.easychair.org/conferences/?conf=cnl2012 Accepted papers will be published in the printed workshop proceedings (probably by Springer). Authors of accepted papers will be invited to present their research at the workshop. Unlike the previous CNL workshops, the final papers will be reviewed and published before the workshop (there are no extended abstracts anymore). Venue ----- The workshop will take place at the Department of Informatics and the Institute of Computational Linguistics of the University of Zurich in Switzerland. Organization Committee ---------------------- - Tobias Kuhn (Yale University, USA), kuhntobias at gmail.com - Norbert E. Fuchs (University of Zurich, Switzerland), fuchs at ifi.uzh.ch Program Committee ----------------- - Johan Bos (University of Groningen, Netherlands) - Peter E. Clark (Vulcan Inc, USA) - Rogan Creswick (Galois, USA) - Danica Damljanovic (University of Sheffield, UK) - Brian Davis (DERI / National University of Ireland) - Norbert E. Fuchs (University of Zurich, Switzerland) - Normunds Gruzitis (University of Latvia) - Stefan Hoefler (University of Zurich, Switzerland) - Kaarel Kaljurand (University of Zurich, Switzerland) - Peter Koepke (University of Bonn, Germany) - Tobias Kuhn (Yale University, USA) - Hans Leiss (University of Munich, Germany) - Reinhard Muskens (Tilburg University, Netherlands) - Gordon Pace (University of Malta) - Richard Power (The Open University, UK) - Laurette Pretorius (University of South Africa) - Mike Rosner (University of Malta) - Aarne Ranta (Chalmers University, Sweden) - Rolf Schwitter (Macquarie University, Australia) - Geoff Sutcliffe (University of Miami, USA) - Silvie Spreeuwenberg (LibRT, Netherlands) - Uta Schwertel (imc, Germany) - Yorick Wilks (University of Sheffield, UK) - Adam Wyner (University of Liverpool, UK) From aamas2012_publicity at infoscience.otago.ac.nz Tue Jan 10 11:19:14 2012 From: aamas2012_publicity at infoscience.otago.ac.nz (AAMAS 2012 Publicity Chair) Date: Tue, 10 Jan 2012 23:19:14 +1300 (NZDT) Subject: Extended deadline (24 Jan.) for AAMAS 2012 Call for Demos Message-ID: <28998496.643.1326190754780.JavaMail.root@infos003.otago.ac.nz> *** Deadline extended to 24 January *** CALL FOR DEMONSTRATIONS Eleventh International Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2012) Valencia, Spain 4-8 June 2012 Demos track Web site: http://swarmlab.unimaas.nl/aamas2012_demos/ Conference Web site: http://aamas2012.webs.upv.es/ DESCRIPTION The goal of the AAMAS DEMOs track is to provide opportunities for participants from academia and/or industry to present their latest developments in agent-based software and/or robotic systems. Interactive systems and novel applications are particularly welcome. Student researchers are encouraged to submit. A "Best Demo" will be selected and awarded by the committee. At least one author of accepted DEMOs will be expected to present a poster and live demonstration at the conference in Valencia. Authors of accepted papers and posters in the main track of the AAMAS conference, as well as workshop presenters, are particularly encouraged to submit! (You'll be there anyway - this is another opportunity to share your work and discuss your results in detail with conference attendees who visit your Demo!) Examples of demos include but are not limited to: * Robotic systems (single- and multi-agent) * Interactive agent-based software systems * Agent-based simulation environments * Personal robotics * Innovative applications of agent-based systems or prototypes (e.g., industrial, military, educational) * Agent-based games * Agent platforms and development environments * Open-source software tools for agent-based system development * Human-robot interactive systems * Virtual agents and interactive virtual environments The organizers will make every effort to facilitate demo requirements. If you have unusual requirements please contact the organizers in advance. At a minimum, we will provide a poster board, a monitor with a standard VGA connector, a power strip and a 2m table for each demonstration. SUBMISSION REQUIREMENTS Submissions accepted for the demonstration session will be advertised on the AAMAS website and in the conference booklet, which will contain abstracts of all available Demos. Each Demo submission must consist of the following: 1. Paper: A 2-page paper in which the authors describe the system to be demonstrated. The paper should describe the application domain, the problem scenario, the technology used, the agent/multi-agent techniques involved, the innovations of the system, its live and interactive aspects, etc. Papers MUST BE PREPARED IN PDF format using the AAMAS style (follow these instructions)). 2. Video or PPT: The paper must contain a URL linking to a demonstration video no more than 5 minutes in length (QuickTime or YouTube format) or a Powerpoint presentation showing and explaining what happens. If some other format can more clearly show the demo, accommodation may be made. Please contact the organizers in advance. 3. Contribution and Supervisor Endorsement (Student Projects Only): A brief note from the student's supervisor describing the student's individual contribution to the project, written on university letterhead and including the supervisor's full name, title and email address. This should be attached as the 3rd page of the PDF Paper submission (above). Accepted Demos will have the 2-page papers included in the AAMAS proceedings. SUBMISSION WEB SITE https://www.easychair.org/conferences/?conf=aamasdemos2012 SELECTION PROCESS The submission and selection processes for the AAMAS 2012 Demos will be separate from that of the main conference. Each submission will be assessed by the Demos Committee. The authors will receive a brief report with the result of the evaluation with the notification. The main evaluation criteria are: * Presentation and technical quality * Significance and originality * Relevance to AAMAS * Maturity of the (deployed) system and readiness for demonstration * Potential for public interaction Notification of acceptance or rejection of submitted demos will be sent to the corresponding author (see dates below). At least one author of each accepted demonstration is required to register and to attend the conference to give the demonstration. IMPORTANT DATES * Submission deadline (extended): January 24, 2012 * Notification of acceptance/rejection: February 14, 2012 * Camera-ready paper: To Be Announced CONTACT INFORMATION For more information, contact the Demos Chair: Prof Paul Scerri Carnegie Mellon University pscerri at cs.cmu.edu From pmt6sbc at maths.leeds.ac.uk Tue Jan 10 17:27:41 2012 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Tue, 10 Jan 2012 16:27:41 GMT Subject: Turing Centenary Conference in Cambridge - Submission Deadline Jan. 20, 2012 Message-ID: <201201101627.q0AGRfvY025446@maths.leeds.ac.uk> ********************************************************************** FINAL CALL FOR PAPERS: TURING CENTENARY CONFERENCE http://www.cie2012.eu Computability in Europe 2012: How the World Computes University of Cambridge Cambridge, 18-23 June 2012 The deadline for SUBMISSION OF PAPERS and informal presentations for this historic event is JANUARY 20, 2012. For submission details, see: http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/give-page.php?12 IMPORTANT DATES: Submission Deadline for LNCS: Jan. 20, 2012 Notification of authors: Mar. 16, 2012 Deadline for final revisions: Apr. 6, 2012 Submission Deadline for Informal Presentations: May 11, 2012 The CONFERENCE PROCEEDINGS will be published by LNCS, Springer-Verlag. Post-conference publications include special issues of APAL and LMCS. We encourage all researchers presenting papers of the highest research quality at CiE 2012 to submit their full papers to the CiE journal COMPUTABILITY where they will be handled as regular submissions. 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. 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 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, connectionist models, economics and the wider scientific world. CiE 2012 is planned to be an event worthy of the remarkable scientific career it commemorates. 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), Rodney Downey (Wellington), Yuri Gurevich (Microsoft), Juris Hartmanis (Cornell), Richard Jozsa (Cambridge), 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). SPECIAL SESSIONS include: * The Universal Turing Machine, and History of the Computer Chairs: Jack Copeland and John Tucker Speakers so far: Ivor Grattan-Guinness, Robert I. Soare * Cryptography, Complexity, and Randomness Chairs: Rod Downey and Jack Lutz Speakers so far: Eric Allender, Lance Fortnow, Omer Reingold, Alexander Shen * The Turing Test and Thinking Machines Chairs: Mark Bishop and Rineke Verbrugge Speakers: Bruce Edmonds, John Preston, Susan Sterrett, Kevin Warwick, Jiri Wiedermann * Computational Models After Turing: The Church-Turing Thesis and Beyond Chairs: Martin Davis and Wilfried Sieg Speakers: Giuseppe Longo, Peter Nemeti, Stewart Shapiro (tbc), 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 Information of funding for students (including ASL grants) and the attendance of female researchers is to follow. There will be the annual Women in Computability Workshop, supported by a grant from the Elsevier Foundation. CiE 2012 will be associated/co-located with a number of other Turing centenary events, including: * ACE 2012, June 15-16, 2012 * Computability and Complexity in Analysis (CCA 2012), June 24-27, 2012 http://cca-net.de/cca2012/ * Developments in Computational Models (DCM 2012), June 17, 2012 http://www.math.uni-hamburg.de/home/loewe/DCM2012/ * THE INCOMPUTABLE at Kavli Royal Society International Centre Chicheley Hall, June 12-15, 2012 http://www.mathcomp.leeds.ac.uk/turing2012/inc/ Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of: * 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 their papers (in PDF-format, max 10 pages) for presentation at 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), Bjarki Holm (Cambridge), Martin Hyland (Cambridge), Benedikt Loewe (Amsterdam), Arno Pauly (Cambridge), Andrew Pitts (Cambridge) The conference is sponsored by the ASL, EACSL, EATCS, Elsevier Foundation, IFCoLog, King's College Cambridge, 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 ********************************************************************** From frank.loebe at informatik.uni-leipzig.de Tue Jan 10 18:00:01 2012 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Tue, 10 Jan 2012 18:00:01 +0100 Subject: FOIS 2012: Call for Papers (7th Int. Conf. on Formal Ontology in Information Systems) Message-ID: <009c01cccfb9$4e8c2ad0$eba48070$@informatik.uni-leipzig.de> (apologies for cross-posting) ... (please distribute) ----------------------------------------------------------------- ------------- CALL FOR PAPERS | FOIS 2012 | Jul 24-27, Graz, Austria ------------- -> DEADLINE: Conference paper submission: Jan 31, 2012 (in ca. 3 weeks) [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 ------------------------------------------------ Ontology, originally a fundamental part of philosophical enquiry, is concerned with the analysis and categorization of what exists. In recent years, however, a complementary focus of ontological inquiry gained significant momentum fueled by the advent of complex information systems which rely on robust and coherent representations of their subject matter. The systematic study of such representations, their reasoning techniques and their relations to reality, are at the center of the modern discipline of formal ontology. Formal ontology in this modern sense is now a research focus in such diverse domains as 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. Researchers in all these 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. The FOIS conference is designed to provide a meeting point for researchers from all disciplines with an interest in formal ontology. The conference encourages submission of high quality articles on both theoretical issues and concrete applications. As in previous years, FOIS 2012 is intended as a nexus of interdisciplinary research and communication [1]. The FOIS 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) [1]. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA) [3], which is a non-profit organization the purpose of which is to promote interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general. ------------------------------------------------ TOPICS OF INTEREST ------------------------------------------------ We seek high-quality papers on a wide range of topics. While authors may focus on fairly narrow and specific issues, all papers should emphasize the relevance of the work described to formal ontology and to information systems. Papers that completely ignore one or the other of these aspects will be considered as lying outside the scope of the meeting. Topic areas of particular interest to the conference are: 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, ... ------------------------------------------------ KEYNOTE SPEAKERS ------------------------------------------------ Steven R. Ray (Carnegie Mellon Silicon Valley, California, USA) Laure Vieu (CNRS-IRIT, Toulouse, France) Edward N. Zalta (Stanford University, California, USA) ------------------------------------------------ IMPORTANT DATES ------------------------------------------------ We are calling for papers to be considered for inclusion in FOIS 2012. Conference paper submission: Jan 31, 2012 <-- Conference paper notification: Mar 08, 2012 Camera-ready conference papers: Mar 24, 2012 >> For young scientists << Poster submission: May 01, 2012 Poster notification: Jun 01, 2012 Web publication of posters: Jul 10, 2012 Conference dates: Jul 24-27, 2012 Workshop paper submission: Mar 15, 2012 Workshop paper notification: Apr 15, 2012 Camera-ready workshop papers: Jun 30, 2012 (note: Workshop CfPs will be distributed separately later) ------------------------------------------------ AUTHOR INSTRUCTIONS FOR CONFERENCE PAPERS ------------------------------------------------ Submitted papers must not exceed 14 pages, including the bibliography and an abstract of no more than 300 words. Papers should be submitted electronically as PDF files prepared in accordance with the IOS formatting guidelines [4]. Submissions should be made via Easychair at the following address: [5] https://www.easychair.org/account/signin.cgi?conf=fois2012 Proceedings will be published by IOS Press and will be available at the time of the conference. Please note that at least one author must register for the conference in order for an accepted paper to be published in the proceedings. ------------------------------------------------ CONFERENCE ORGANISATION ------------------------------------------------ Conference chair: Michael Gruninger (University of Toronto, Canada) Program chairs: Maureen Donnelly (University at Buffalo, USA) Giancarlo Guizzardi (Fed. Univ. of Espirito Santo, Brazil) Local organization: Stefan Schulz (Graz University, Austria) ------------------------------------------------ PROGRAM COMMITTEE ------------------------------------------------ Achille Varzi (Columbia University, New York, USA) Alan Rector (University of Manchester, UK) Albert Goldfain (University at Buffalo, USA) Aldo Gangemi (ISTC-CNR, Rome, Italy) Alessandro Lenci (University of Pisa, Italy) Antony Galton (University of Exeter, UK) Barry Smith (University at Buffalo, USA) Bill Andersen (Highleet, Inc., USA) Brandon Bennett (University of Leeds, UK) Carola Eschenbach (University of Hamburg, Germany) Chris Menzel (Texas A&M University, USA) Chris Welty (IBM Research, Hawthorne, USA) Christiane Fellbaum (Princeton University, USA) Claudio Masolo (ISTC-CNR, Trento, Italy) Colin Batchelor (Royal Society of Chemistry, UK) Daniel Oberle (SAP Research, CEC Karlsruhe, Germany) David Mark (University at Buffalo, USA) Decio Krause (Fed. Univ. of Santa Catarina (UFSC), Brazil) Fabian Neuhaus (NIST, USA) Florian Probst (SAP, Germany) Frank Loebe (University of Leipzig, Germany) Fred Freitas (Fed. Univ. of Pernambuco, Recife, Brazil) Frederico Fonseca (Penn State University, USA) Gerd Wagner (Brandenburg University of Technology, Germany) Heinrich Herre (University of Leipzig, Germany) Jan Dietz (Delft University of Technology, The Netherlands) Janna Hastings (University of Geneva, Switzerland) Jeffrey Parsons (Memorial University of Newfoundland, Canada) Jerome Euzenat (INRIA, Grenoble, France) Jerry Hobbs (University of Southern California, USA) Johanna Seibt (University of Aarhus, Denmark) John Bateman (University of Bremen, Germany) John Mylopoulos (University of Toronto, Canada) John Sowa (Vivomind Intelligence Inc., USA) Joost Breuker (University of Amsterdam, The Netherlands) Ken Kaneiwa (National Institute of Informatics, Tokyo, Japan) Krzysztof Janowicz, (UCLA, USA) Laure Vieu (CNRS-IRIT, Toulouse, France) Leo Obrst (The Mitre Corporation, USA) Leonardo Lesmo (University of Torino, Italy) Maria Luiza Machado Campos (Fed. Univ. of Rio de Janeiro, Brazil) Mark Musen (Stanford University, USA) Martin Doerr (Foundation for Research and Technology, Greece) Mathias Brochhausen (Univ. of Arkansas for Medical Sciences, USA) Mathias Samwald (Medical University of Vienna, Austria) Matteo Cristani (University of Verona, Italy) Mauricio Barcelos de Almeida (Fed. Univ. of Minas Gerais, Brazil) Michael F. Uschold (Semantic Arts, Canada) Michael Gruninger (University of Toronto, Canada) Michael Sintek (DFKI GmbH, Kaiserslautern, Germany) Michel Dumontier (Carleton University, Canada) Natasha Noy (Stanford University, USA) Nicola Guarino (ISTC-CNR, Trento, Italy) Olivier Bodenreider (National Library of Medicine, USA) Oscar Pastor (Polytechnic University of Valencia, Spain) Paul Buitelaar (National University of Ireland, Galway) Peter Rittgen (University College Boras, Sweden) Pierdaniele Giaretta (University of Verona, Italy) Pierre Grenon (Open University, UK) Ricardo Falbo (Federal University of Espírito Santo, Brazil) Riichiro Mizoguchi (University of Osaka, Japan) Robert Hoehndorf (University of Cambridge, UK) Roberta Ferrario (ISTC-CNR, Trento, Italy) Roberto Casati (CNRS-EHSS, Paris, France) Stefano Borgo (ISTC-CNR, Trento, Italy) Terry Halpin (LogicBlox, Australia) Terry Langendoen (University of Arizona, USA) Thomas Bittner (University at Buffalo, USA) Tony Cohn (School of Computing, University of Leeds, UK) Ulrike Sattler (University of Manchester, UK) Veda Storey (Georgia State University, USA) Werner Ceusters (University at Buffalo, USA) Werner Kuhn (University of Munster, Germany) William McCarthy (Michigan State University, USA) Yair Wand (University of British Columbia, Canada) ------------------------------------------------ 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.iospress.nl/authco/instruction_crc.html IOS Press formatting guidelines [5] https://www.easychair.org/account/signin.cgi?conf=fois2012 Submission at EasyChair ----------------------------------------------------------------- From mascardi at disi.unige.it Tue Jan 10 21:31:57 2012 From: mascardi at disi.unige.it (Viviana Mascardi) Date: Tue, 10 Jan 2012 21:31:57 +0100 Subject: First CFP: DALT@AAMAS'12 Message-ID: <4F0CA03D.2040803@disi.unige.it> [Please accept our apologies if you receive multiple postings.] 10th International Workshop on Declarative Agent Languages and Technologies (DALT 2012) 4 or 5 June 2012 (to be confirmed) Valencia, Spain (held in conjunction with AAMAS 2012) URL: http://www.di.unito.it/~baldoni/DALT-2012/ ---------------------------------------------------------------------- CALL FOR PAPERS ---------------------------------------------------------------------- The workshop on Declarative Agent Languages and Technologies (DALT), in its tenth edition this year, is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems. Building complex agent systems calls for models and technologies that ensure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can satisfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of offering solutions satisfying the needs for both specifying and developing multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the semantic web, service-oriented computing, security, and electronic contracting. DALT 2012 will be held as a satellite workshop of AAMAS 2012, the 11th International Joint Conference on Autonomous Agents and Multiagent Systems, in June 2011 in Valencia, Spain. Following the success of nine previous editions, DALT will again aim at providing a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of researchers working on declarative languages and technologies. DALT 2012 will have as a special interest topics those future trends of the web, where declarative languages and technologies for multiagents systems will play an effective role: in particular, social computing (models of social interactions, trust, commitments, and contracts; social environments based on declarative technologies) and its related semantic issues (explicit representation of knowledge and mechanisms for allowing societies of agents to reason on that). ---------------------------------------------------------------------- TOPICS OF INTEREST ---------------------------------------------------------------------- DALT topics of interest include, but are not limited to: DALT 2012 special topic: declarative approaches for agent-based social computing * models of social interactions among agents * models of buiness interactions among agents * models of trust, commitments, and reputation for agents * declarative description of contracts and negotiation policies * social environments based on declarative technologies * Semantic Web-aware declarative agents General themes: * specification of agents and multi-agent systems * declarative approaches to engineering agent-based systems Formal techniques: * (constraint) logic programming approaches to agent systems * distributed constraint satisfaction * modal and epistemic logics for agent modeling * game theory and mechanism design for multi-agent systems * semantics of agent communication * model checking agents and multi-agent systems * agent communication and coordination languages * protocol specification, verification, and reasoning Declarative models: * declarative models of agent beliefs, goals and capabilities * declarative models of bounded rationality * declarative approaches for agent-based grid computing * declarative paradigms for the combination of heterogeneous agents * declarative approaches to organizations and electronic institutions * agent-inspired declarative approaches to Web services and service-oriented computing Applications of declarative techniques to: * multi-agent systems for service-oriented computing * agent-based grid computing * security and trust in multi-agent systems * e-health, e-commerce, e-learning, sociotechnical systems, social networks, virtual organizations. Evaluation of declarative approaches: * experimental analysis of declarative agent technologies * industrial experiences with declarative agent technologies ---------------------------------------------------------------------- SUBMISSION INSTRUCTIONS ---------------------------------------------------------------------- We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publication elsewhere. Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 16 pages. Paper submission is electronic via the conference website. ---------------------------------------------------------------------- WORKSHOP PROCEEDINGS ---------------------------------------------------------------------- Printed copies of the proceedings will be available at the workshop. Assuming a sufficient number of high-quality submissions, we are again going to consider the publication of formal post-proceedings with an international publisher. The post-proceedings of DALT 2003 (LNAI 2990), DALT 2004 (LNAI 3476), DALT 2005 (LNAI 3904), DALT 2006 (LNAI 4327), DALT 2007 (LNAI 4897), DALT 2008 (LNAI 5397), DALT 2009 (LNAI 5948), and DALT 2010 (LNAI 6619) have been published by Springer-Verlag in the Lecture Notes in Artificial Intelligence series. ---------------------------------------------------------------------- IMPORTANT DATES ---------------------------------------------------------------------- Paper submission deadline: 28 February 2012 Notification of acceptance/rejection: 27 March 2012 Camera-ready copies due: 10 April 2012 Workshop Date: 4 or 5 June 2012 ---------------------------------------------------------------------- WORKSHOP ORGANISERS ---------------------------------------------------------------------- Matteo Baldoni (University of Torino, Italy) Louise Dennis (University of Liverpool, UK) Viviana Mascardi (University of Genova, Italy) Wamberto Vasconcelos (University of Aberdeen, UK) From bsl at Cs.Nott.AC.UK Wed Jan 11 16:32:49 2012 From: bsl at Cs.Nott.AC.UK (Brian Logan) Date: Wed, 11 Jan 2012 15:32:49 +0000 Subject: Call for Papers: 10th International Workshop on Programming Multi-Agent Systems (ProMAS'12) Message-ID: <711FFD62-0D3E-4195-8E81-14954EB96E75@cs.nott.ac.uk> FIRST CALL FOR PAPERS Tenth International Workshop on Programming Multi-Agent Systems (ProMAS'12) ProMAS'12 is a satellite workshop at AAMAS 2012 Valencia, Spain, 4-5 June 2012 Over the last decade, the ProMAS workshop series has provided a venue for state-of-the-art research in programming languages and tools for the development of multi-agent systems. With the increasing commercial application of multi-agent systems, the need for development tools and platforms capable of supporting "professional" or "industrial strength" MAS development has only increased. Such languages and tools must be developed in a way that is principled and and at the same time practical, and ProMAS aims to address both theoretical and practical issues related to developing and deploying multi-agent systems. Now in its 10th edition, ProMAS has proved to be an invaluable venue for bringing together leading researchers from both academia and industry to discuss key issues in the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of techniques, concepts, requirements and principles central to multi-agent programming technology. These include the theory and application of agent programming languages, how to effectively implement a multi-agent system specification or design, the verification and analysis of agent systems, as well as the implementation of social structures in agent-based systems (e.g., organisations, coordination, and communication in multi-agent systems). We encourage the submission of papers describing proposals for programming languages and tools that provide specific programming constructs to facilitate the implementation of multi-agent system concepts (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. We are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry. TOPICS OF INTEREST Specific topics of interest include, but are not limited to: - Programming languages, models and abstractions for MAS - Extensions of traditional languages for multi-agent programming - Programming mobile agents - Semantics for multi-agent programming languages - Computational complexity of MAS - Algorithms, techniques, or protocols relevant to multi-agent programming (e.g., coordination, cooperation, negotiation) - Agent communication issues in multi-agent programming - Programming social, organizational, and normative aspects of MAS - Interoperability and standards for MAS - Safety and security for mobile MAS deployment - Fault tolerance and load balancing for mobile MAS - Generic tools and infrastructures for multi-agent programming - High-level executable multi-agent specification languages - Formal methods and tools for specification and verification of MAS - Agent/environment/interaction/organization development tools and platforms - Benchmarks and testbeds for comparing multi-agent programming languages and tools - Applications of multi-agent programming languages including: legacy systems, pervasive applications, multi-robot systems, autonomous software (e.g., UAVs), (Semantic) Web and Grid-based applications, and deployed (industrial-strength) multi-agent systems - Integration of multi-agent and mainstream technologies IMPORTANT DATES Paper submission deadline: 28 February 2012 Notification of acceptance/rejection: 27 March 2012 Camera-ready copies due: 10 April 2012 Workshop Date: 4-5 June 2012 SUBMISSION DETAILS Authors should submit their papers via the easychair conference management system: Papers should be formatted using Springer LNCS style and should be less than 16 pages in length. PUBLICATION Accepted papers will be appear in informal proceedings to distributed among participants during the workshop. As was the case with previous editions of the ProMAS workshop, we are planning to publish extended versions of selected and invited papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. ORGANISING COMMITTEE - Mehdi Dastani (Utrecht University, Netherlands) - Brian Logan (University of Nottingham, UK) - Jomi Hubner (Federal University of Santa Catarina, Brazil) STEERING COMMITTEE - Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil) - Mehdi Dastani (Utrecht University, Netherlands) - Juergen Dix (Clausthal University of Technology, Germany) - Amal El Fallah Seghrouchni (University of Paris VI, France) From K.V.Hindriks at tudelft.nl Fri Jan 13 09:53:33 2012 From: K.V.Hindriks at tudelft.nl (Koen Hindriks - EWI) Date: Fri, 13 Jan 2012 08:53:33 +0000 Subject: PhD Vacancy in Agent-Based Intelligent Vehicle Simulation Message-ID: (Apologies for cross postings.) The Computer Science Department at Delft University of Technology, the Netherlands, is looking for an ambitious and highly motivated PhD candidate with an interest in research on Agent-Based Intelligent Vehicle Simulation. Job description Vehicles that can drive themselves through traffic are becoming reality, as is shown by the Google Car that is based on the technology developed for the DARPA Urban Challenge. In this project intelligent cognitive software agents will be constructed that model the human driver, and potentially have the knowledge to control the vehicle with or without human interaction. Intelligent agents may be used to analyze the behavior of a range of different human driver types and their impact on traffic throughput and safety in simulations. Intelligent driver agents are needed to better understand traffic behavior, and may be applied to increase the situation-awareness of drivers as well as to take over some of the driving tasks. Part of the project is to investigate how traffic observations are used most effectively by drivers and how driving performance can be possibly be enhanced by providing data from other vehicles and from an intelligent road infrastructure to a driver. A simulation environment that can be used in combination with the agents to be developed is already available. This environment provides the functionality for agents to control the vehicle. Your job is the design of cognitive agents that are able to model and support human drivers, further developing the simulation environment and analyzing the agents in this environment. You will be part of a larger team working on this project. Supervision is provided by Prof. dr. C.M. Jonker and dr. K.V. Hindriks. Requirements We are looking for excellent candidates that have received an MSc degree in Artificial Intelligence or Computing Science. Candidates that have experience with agent-based simulation in general, cognitive agents or modeling, or, more specifically, in the area of traffic simulation are especially invited to apply to this position. Contact For more information about this position, please contact Dr. K.V. Hindriks, phone: +31 (0)15-2782523, e-mail: k.v.hindriks at tudelft.nl. Information and application For general application information you are welcome to contact Mrs. J. Eddini, peno-ewi at tudelft.nl. To apply, please e-mail a detailed CV, including contact details of references, course lists with grades, and a letter of application in which you explain both your interest and the relevance of your skills and experience in the context of this research project. Please e-mail your application materials by 30 January 2012 to Mrs. J. Eddini, peno-ewi at tudelft.nl, or send by post to Mrs. J. Eddini, Mekelweg 4, 2628 CD Delft, The Netherlands. Also see: http://mmi.tudelft.nl for more information. When applying for this position, make sure to mention vacancy number EWI2011-03. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From glukacsy at cisco.com Fri Jan 13 15:13:27 2012 From: glukacsy at cisco.com (Gergely Lukacsy (glukacsy)) Date: Fri, 13 Jan 2012 15:13:27 +0100 Subject: Call for Workshop proposal - 28th International Conference on Logic Programming (ICLP 2012) Message-ID: <994BD38D171EAE49B641B378373BA25C01F1B281@XMB-AMS-208.cisco.com> Apologies for cross posting. Gergely *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2012 28th International Conference on Logic Programming September 4-8, 2012 Budapest, Hungary URL: http://www.cs.bme.hu/iclp2012/ ICLP 2012, the 28th International Conference on Logic Programming, will be held in Budapest, Hungary, from September 4 to 8, 2012. Workshops collocated with an international conference are one of the best venues for the presentation and discussion of preliminary work, novel ideas, and new open problems to a wide and interested audience. Collocated workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops collocated with ICLP 2012 can cover any areas related to logic programming, (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: ================== Those interested in organizing a workshop at ICLP 2012 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years * The requested number of half-days allotted to the workshop and an estimate of the number of expected attendees. * The names, affiliation and contact details (email, web page, phone) of the workshop organizers together with a designated contact person. * Previous experience of the workshop organizers in workshop/conference organization. Proposals are expected in ASCII or PDF format. All proposals should be submitted to the Workshop Chair by email by February 10, 2012. Reviewing Process: ================== Each submitted proposal will be reviewed by the Workshop Chair and the Conference Program Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by February 26, 2012. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting place and arrange the distribution of the workshop proceedings (usually on a pendrive). The proceedings, however, should be produced by the workshop organizers. Any workshop registration fees will be handled together with the conference fees. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the Internet and other means.A web page URL which will linked into the ICLP 2012 home page should be provided by April 30, 2012. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the Workshop Chair. * Sending workshop program and workshop proceedings in PDF format to the Workshop Chair for distribution at the conference. * The use of the Computing Research Repository (CoRR) for the workshop proceedings is strongly recommended. For guidelines, see: http://dtai.cs.kuleuven.be/projects/ALP/electronic_publishing.html We encourage reading these instructions in advance so that you can ask paper authors to prepare the final versions of their papers accordingly. Location: ========= All workshops will take place in the city of Budapest at the site of the main conference. See the ICLP 2012 web site for location details. Important Dates: ================ February 10, 2012: Proposal submission deadline February 26, 2012: Notification April 30, 2012: Deadline for receipt of CFP and workshop web page URL August 5, 2012: Deadline for proceedings September 4-8, 2012: ICLP 2012 workshops Workshop Chair: =============== Mats Carlsson matsc at sics.se ======================================================================== = -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Andreas.Herzig at irit.fr Fri Jan 13 16:03:12 2012 From: Andreas.Herzig at irit.fr (Andreas Herzig) Date: Fri, 13 Jan 2012 16:03:12 +0100 Subject: JELIA 2012 Message-ID: <4F1047B0.3090209@irit.fr> JELIA 2012 CALL FOR PAPERS ========================== 12th European Conference on Logics in Artificial Intelligence - Toulouse, France, September 26-28, 2012 http://www.irit.fr/jelia2012 Logics provide a formal basis and key descriptive notation for the study and development of applications and systems in Artificial Intelligence (AI). With the depth and maturity of formalisms, methodologies, and systems today, such logics are increasingly important. The European Conference on Logics in Artificial Intelligence (or Journees Europeennes sur la Logique en Intelligence Artificielle --- JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organized biennially, with English as the official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence series. In 2012 the conference is organized in Toulouse, France. The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major forum for the discussion of logic-based approaches to AI. Aims and Scope ============== The aim of JELIA 2012 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence including: -- Abductive and inductive reasoning -- Answer set programming -- Applications of logic-based AI systems -- Argumentation systems -- Automated reasoning including satisfiability checking and its extensions -- Computational complexity and expressiveness -- Deontic logic and normative systems -- Description logics and other logical approaches to semantic web and ontologies -- Knowledge representation, reasoning, and compilation -- Logic programming and constraint programming -- Logics for uncertain and probabilistic reasoning -- Logics in machine learning -- Logics in multi-agent systems, games, and social choice -- Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid logics -- Planning and diagnosis based on logic -- Preferences -- Reasoning about actions and causality -- Updates, belief revision and nonmonotonic reasoning Paper Submission ================ Proceedings will be published by Springer-Verlag in the Lecture Notes on Artificial Intelligence series. Papers should be written in English, and should be formatted according to the standard Springer LNCS style. There will be two categories for submissions: A. Regular papers Submissions should not exceed 13 pages including figures, references, etc., and should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions must not have been previously published or be simultaneously submitted for publication elsewhere. B. System descriptions Submissions should not exceed 4 pages, and should describe an implemented system and its application area(s). A demonstration is expected to accompany a system presentation. Papers describing systems that have already been presented in JELIA before will be accepted only if significant and clear enhancements to the system are reported and implemented. Important Dates =============== May 18: Abstract submission May 23: Paper submission June 29: Notification of acceptance July 15: Final version From esslli2012 at gmail.com Fri Jan 13 17:28:02 2012 From: esslli2012 at gmail.com (A. Herzig) Date: Fri, 13 Jan 2012 17:28:02 +0100 Subject: Workshop on Formal Models of Communication Message-ID: Call for papers Workshop on Formal Models of Communication European Summer School on Logic, Language and Information (ESSLLI) 2012 06-10 August, Opole, Poland http://www.esslli2012.pl/files/CFP/cfpJonesK_ESSLLI%202012_Workshop_on_Formal_Models_of_Communication.pdf Workshop Co-Chairs: Andrew J I Jones (Department of Informatics, King’s College London) and Steven O Kimbrough (Wharton Business School, University of Pennsylvania). Invited Speakers: to be confirmed. The workshop is organized in conjunction with the activity in SINTELNET Working Group No. 2, on Communicative Interaction. (SINTELNET is the European Network for Social Intelligence, FET Open Coordination Action: www.sintelnet.eu) Summary of the three principal workshop themes 1. Critical assessment of approaches to ACLs: in multi-agent systems research, a number of different approaches have been taken to the formal-logical characterisation of Agent Communication Languages (ACLs), including the FIPA [2002] language, the commitment-based models of Colombetti [2000] and Singh [1998], and the Jones & Parent [2007] convention-based approach. (For an overview see Chopra et al. [in press].) 2. Theories of signalling: philosophical analyses of communicative action, in the tradition of Austin, Grice and Searle, formed the principal background to work on ACLs. However, the prospect of alternative foundations is emerging from theories of signalling, informed by – in particular – games theory and evolutionary biology. (See, e.g., Skyrms [2010].) 3. Deception: there exist a number of philosophical and formal-logical analyses of deception - see, e.g., Adler [1997], Sakama & Caminada [2010]. It would be of interest to compare these with the accounts offered in signalling theory, and to raise the question of whether the phenomenon of deception has been adequately accommodated in models of ACLs. We invite papers (not exceeding 15-20 pages) on topics relating principally to one or more of those three themes. Submission Procedure papers (pdf) should be submitted to Andrew Jones: andrewji.jones at kcl.ac.uk Deadline for submissions: 02 March 2012 Notification: by 01 May 2012 Publication: it is possible that the proceedings of the workshop may be published in the FOLLI subseries of Springer’s LNCS, or in the Journal of Logic, Language and Information (JOLLI). REFERENCES FIPA [2002] FIPA Communicative Act Library Specification. http://www.fipa.org/specs/fipa00037/index.html Colombetti [2000] Colombetti, M., "A commitment-based approach to agent speech acts and conversations", Proceedings of the Workshop on Agent Languages and Communication Policies, 4th International Conference on Autonomous Agents (Agents 2000), Barcelona, Spain, pp.21-29, 2000. Singh [1998] Singh, M.P., "Agent Communication Languages: Rethinking the Principles", IEEE Computer 31, 12 (Dec.), pp.40-47, 1998. Jones & Parent [2007] Andrew J I Jones and Xavier Parent, "A Convention-based Approach to Agent Communication Languages", Group Decision and Negotiation 16, pp. 101-14, 2007. Chopra et al. [in press] Amit Chopra, Alexander Artikis, Jamal Bentahar, Marco Colombetti, Frank Dignum, Nicola Fornara, Andrew J I Jones, Munindar P. Singh, Pinar Yolum, "Research Directions in Agent Communication", ACM Transactions on Intelligent Systems and Technology, 26 pp., in press. Skyrms [2010] Brian Skyrms, Signals – Evolution, Learning & Information, Oxford University Press, Oxford UK, 2010. Adler [1997] Adler, J.E., "Lying, deceiving, or falsely implicating", Journal of Philosophy 94(9), pp.435-452, 1997. Sakama & Caminada [2010] Chiaki Sakama and Martin Caminada, "The Many Faces of Deception" in: Proceedings of the Thirty Years of Nonmonotonic Reasoning (NonMon at 30), Lexington, KY, USA, October 2010. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sonntag at dfki.de Mon Jan 16 13:48:04 2012 From: sonntag at dfki.de (Daniel Sonntag) Date: Mon, 16 Jan 2012 13:48:04 +0100 Subject: KI 2012: Call for papers Message-ID: <4F141C84.3070303@dfki.de> =========================== CALL FOR PAPERS =========================== KI 2012, Saarbrücken, Germany, 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 rseba at disi.unitn.it Mon Jan 16 19:05:20 2012 From: rseba at disi.unitn.it (Roberto Sebastiani) Date: Mon, 16 Jan 2012 19:05:20 +0100 Subject: SAT 2012: Call for Papers Message-ID: <20120116180520.GA4969@disi.unitn.it> [ We apologize if you receive multiple copies of this CFP. ] ------------------------------------------------------------------------- 15th International Conference on THEORY AND APPLICATIONS OF SATISFIABILITY TESTING --- SAT 2012 --- Trento, Italy, June 17-20th, 2012 http://sat2012.fbk.eu/ ------------------------------------------------------------------------- AIM and SCOPE ============= The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the primary annual meeting for researchers studying the propositional satisfiability problem. Importantly, here SAT is interpreted in a rather broad sense: besides plain propositional satisfiability, it includes the domains of MaxSAT and Pseudo-Boolean (PB) constraints, Quantified Boolean Formulae (QBF), Satisfiability Modulo Theories (SMT), Constraints Programming (CSP) techniques for word-level problems and their propositional encoding. To this extent, many hard combinatorial problems can be encoded as SAT instances, in the broad sense mentioned above, including problems that arise in hardware and software verification, AI planning and scheduling, OR resource allocation, etc. The theoretical and practical advances in SAT research over the past twenty years have contributed to making SAT technology an indispensable tool in these domains. SAT 2012 will take place in Trento, Italy, a cosmopolitan city set in a spectacular mountain scenery, and home to a world-class university and research centres. RELEVANT TOPICS =============== The topics of the conference span practical and theoretical research on SAT (in the broader sense above) and its applications, and include, but are not limited to: * Theoretical issues - Combinatorial Theory of SAT - Proof Systems and Proof Complexity in SAT - Analysis of SAT Algorithms * Solving: - Improvements of current solving procedures - Novel solving procedures, techniques and heuristics - Incremental solving * Beyond solving: - Functionalities (e.g., proofs, unsat-cores, interpolants,...) - Optimization * Applications - SAT techniques for other domains - Novel Problem Encodings - Novel Industrial Applications of SAT A more detailed description can be found on the web site. INVITED SPEAKERS ================ We are honored to announce the following invited speakers at SAT 2012: * Aaron Bradley, Boulder, USA. "SAT-based Verification with IC3: Foundations and Demands" * Donald Knuth, Stanford, USA. "Satisfiability and The Art of Computer Programming" The presence of both speakers has been confirmed, although the titles of the talks may be provisional. AFFILIATED EVENTS ================= SAT 2012 is co-located with the 2nd International SAT/SMT Summer School (June 12-15), http://satsmtschool2012.fbk.eu/. SAT 2012 will also host related events like workshops (June 16) and various competitive events. PAPER SUBMISSION ================ Papers must be edited in LATEX using the LNCS format and be submitted electronically as PDF files via EasyChair. We envisage three categories of submissions: REGULAR PAPERS. Submissions, not exceeding fourteen (14) pages, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. TOOL PRESENTATIONS. Submissions, not exceeding six (6) pages, should describe the implemented tool and its novel features. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented in other conferences before will be accepted only if significant and clear enhancements to the tool are reported and implemented. EXTENDED ABSTRACTS/POSTERS. Submissions, not exceeding two (2) pages, briefly introducing work in progress, student work, or preliminary results. These papers are expected to be presented as posters at the conference. Further information about paper submission, including a more detailed description of the scope and specification of the three submission categories, will be made available at SAT 2012 web page. The review process will be subject to a rebuttal phase. IMPORTANT DATES: ================ Abstract Submission: 05/02/2012 Paper Submission: 12/02/2012 Rebuttal phase: 28-30/03/2012 Final Notification: 12/04/2012 Final Version Due: 04/05/2012 SAT/SMT School: 12-15/06/2012 Workshops: 16/06/2012 Conference: 17-20/06/2012 PROCEEDINGS =========== The proceedings of SAT 2012 will be published by Springer-Verlag in the LNCS series. PROGRAM CHAIRS ============== Alessandro Cimatti -- FBK-Irst, Trento, Italy Roberto Sebastiani -- DISI, University of Trento, Italy PROGRAM COMMITTEE ================= Dimitris Achlioptas -- UC Santa Cruz, USA Fahiem Bacchus -- University of Toronto, Canada Paul Beame -- University of Washington, USA Armin Biere -- Johannes Kepler University, Austria Randal Bryant -- Carnegie Mellon University, USA Uwe Bubeck -- University of Paderborn, Germany Nadia Creignou -- Aix-Marseille Université, France Leonardo DeMoura -- Microsoft Research, USA John Franco -- University of Cincinnati, USA Malay Ganai -- NEC, USA Enrico Giunchiglia -- Università di Genova, Italy Youssef Hamadi -- Microsoft Research, UK Zyiad Hanna -- Jasper, USA Holger Hoos -- University of British Columbia, Canada Marijn Heule -- Johannes Kepler University, Austria Kazuo Iwama -- Kyoto University, Japan Oliver Kullmann -- Swansean University, UK Daniel Le Berre -- Université d’Artois, France Ines Lynce -- Instituto Superior Técnico, Portugal Panagiotis Manolios -- Northeastern University, USA Joao Marques-Silva -- University College Dublin, Ireland David Mitchell -- Simon Fraser University, Canada Alexander Nadel -- Intel, Israel Jussi Rintanen -- The Austrailan National University, Australia Lakhdar Sais -- Université d’Artois, France Karem Sakallah -- University of Michigan, USA Bart Selman -- Cornell University, USA Laurent Simon -- Université Paris 11, France Carsten Sinz -- Karlsruhe Institute of Technology, Germany Niklas Sorensson -- Chalmers University, Sweden Ofer Strichman -- Technion, Israel Stefan Szeider -- Vienna University of Technology, Austria Allen Van Gelder -- University of California, Santa Cruz, USA Toby Walsh -- University of New South Wales, Australia Xishun Zhao -- Sun Yat-Sen University, China From sender at ekimelu.com Tue Jan 17 02:42:27 2012 From: sender at ekimelu.com (sender at ekimelu.com) Date: Tue, 17 Jan 2012 01:42:27 -0000 Subject: Special Issue on Smart Cities Message-ID: <20120117014227.32057.53318@chaiten.ccurico.local> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From asaffio at aass.oru.se Tue Jan 17 16:35:04 2012 From: asaffio at aass.oru.se (Alessandro Saffiotti) Date: Tue, 17 Jan 2012 16:35:04 +0100 (CET) Subject: PhD Position on Stigmergic Algorithms for Robots In-Reply-To: Message-ID: ====================================================================== ***** PhD Position on Stigmergic Algorithms for Robots ***** Center for Applied Autonomous Sensor Systems (AASS) Örebro University, Sweden ====================================================================== ---------------------------------------------------------------------- In Short ---------------------------------------------------------------------- Applications are invited for a PhD student position in Computer Science at Örebro University, Sweden. The position focuses on the study of stigmergic algorithms for robotic devices. The main area is artificial intelligence, but the topic also relates to theoretical computer science and to robotics. Research work will involve a combination of theory development and empirical experiments. Apply by January 28, 2012. ---------------------------------------------------------------------- In Detail ---------------------------------------------------------------------- ABOUT THE RESEARCH PROJECT: Sigmergy is one of the many fascinating phenomena which can be observed in nature. Stigmergy is defined in Wikipedia as: "a mechanism of indirect coordination between agents or actions, [in which] the trace left in the environment by an action stimulates the performance of a next action, by the same or a different agent". Stigmergy has important connections with robotics and computer science. By stigmergy, many simple robotic devices could, via indirect communication through the environment, exhibit a collective behavior which is significantly more complex than the individual behavior of each robot. This PhD project will study stigmergic algorithms for robotic devices. The methodology will involve a combination of theoretical and practical investigation. The theoretical investigation will be aimed at defining a robotic stigmergic system, as a function of the type of robots and of the type of stigmergic medium in which they operate; and at studying the formal properties of such a system, e.g., which global algorithms can be implemented in a distributed way through stigmergy, and what are the properties of these implementations (e.g., completeness, soundness, convergence, optimality and computational complexity). The practical investigation will be aimed at verifying the hypotheses generated by the theory through experiments performed in real, physical systems. It will employ a floor containing a regular grid of read/write RFID tags. The successful candidate will be employed as a PhD student with Örebro University for an expected duration of three years. The student is expeted to collaborate with other international research groups interested in the study of stigmergy in artificial systems. A small amount of teaching may also be part of the PhD student's duties. ABOUT THE WORKING PLACE: Örebro University (www.oru.se) is a young university which currently enrolls more than 15,000 students. It is located in Örebro, a city of 130,000 inhabitants situated in central Sweden. The Center for Applied Autonomous Sensor Systems (AASS) is one of the Strong Research Environments at Örebro University. It carries out multi-disciplinary research at the intersection of robotics, computer science, machine learning and artificial intelligence. The research and human environment at AASS is young and enthusiastic. Researchers come from a dozen different countries, in Europe and worldwide, and have different scientific and cultural backgrounds. AASS also frequently hosts international researchers and is involved in several international projects. AASS is internationally renowned for its research in cognitive robotic systems. Further information can be found at http://aass.oru.se/CRS. PREREQUISITES AND APPLICATION PROCESS: In addition to a clear interest in the above research topics, the successful applicant must have an excellent background in mathematics and computer science, and good programming skills. A Master's in computer science, computer engineering or comparable field is required. We particularly seek candidates with good knowledge of artificial intelligence and with inclinations towards cross-disciplinary research. Previous experience with robotics is a plus. Knowledge of the Swedish language is not required, but proficiency in written and spoken English is mandatory. To apply for a position, please send the following material by e-mail to Prof. Alessandro Saffiotti . 1) a motivation letter; 2) an updated CV; 3) at least two academic references; 4) a transcipt of your BS and MSc courses; 5) an electronic copy of your MSc thesis 6) an electronic copy of any publications you might have. Applications can be sent immediately and until January 28, 2012. Late application cannot be considered. We are looking forward to receiving your application! ====================================================================== From Wiebe.Van-Der-Hoek at liverpool.ac.uk Wed Jan 18 14:18:29 2012 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Wed, 18 Jan 2012 13:18:29 +0000 Subject: LOFT 2012 Sevilla - 2nd CFP Message-ID: <8CD9301B-D7AF-48E2-B210-87DF046889C5@liverpool.ac.uk> 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/ 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. Among the topics of particular relevance are: (*) Modal logics for games and protocols: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multivalued logic, logic of belief revision. (*) Foundations of game and decision theory: epistemic foundations of solution concepts, information processing and communication in games, belief formation and revision in games. (*) Learning and information-processing models: economic aspects of information processing, learning in game-theoretic contexts, inductive learning and inductive decision making. (*) Bounded rationality approaches to game and decision theory. 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 SUBMISSION INFORMATION: The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format through http://www.easychair.org/conferences/?conf=loft2012 The deadline for submission is March 1, 2012, and authors will be notified of acceptance decisions by April 9, 2012. PUBLICATION OF CONTRIBUTED PAPERS: A selection of papers presented at LOFT10 will be published in two special issues: one in the Journal of Philosophical Logic and one in the International Game Theory Review. For a list of publications based on previous LOFT conferences see http://www.econ.ucdavis.edu/faculty/bonanno/loft.html Program Chairs: Giacomo Bonanno, University of California Davis, U.S.A. Hans van Ditmarsch, University of Sevilla, Spain Wiebe van der Hoek, University of Liverpool, United Kingdom Program Committee: Mario Benevides Adam Brandenburger Jan Broersen Edith Elkind Ulle Endriss Luis Farinas Del Cerro Yossi Feinberg Marcelo Finger Spyros Galanis Olivier Gossner Paul Harrenstein Martin van Hees Francisco Hernandez Quiroz Andreas Herzig Willemien Kets Jerome Lang Martin Meier Yoram Moses Amparo Marmol Conde Manuel Ojeda Aciego David Pearce Sophie Pinchinat Bryan Renne Olivier Roy Dov Samet Elias Tsakas Tero Tulenheimo Heinrich Wansing Local Organization Committee: Hans van Ditmarsch, University of Sevilla Angel Nepomuceno, University of Sevilla Francisco Salguero, University of Sevilla Fernando Soler, University of Sevilla Fernando Velazquez Quesada, University of Sevilla Important Dates: Deadline for submission: 1 March, 2012 Notification to authors: 9 April, 2012 Conference: 18-20 June 2012 ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 7954292, (+44) 7970247480 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From K.V.Hindriks at tudelft.nl Wed Jan 18 16:26:19 2012 From: K.V.Hindriks at tudelft.nl (Koen Hindriks - EWI) Date: Wed, 18 Jan 2012 15:26:19 +0000 Subject: First CfP ARMS@AAMAS 2012 Message-ID: (apologies for multiple postings) ------------------------------------------------------------------------------- CALL FOR PAPERS Autonomous Robots and Multirobot Systems (ARMS) 2012 A full-day workshop to be held as part of AAMAS-2012 and to accompany the AAMAS Special Track on Robotics June 2012, Valencia, Spain Website: http://mmi.tudelft.nl/arms2012/ ------------------------------------------------------------------------------- Important Dates ---------------------- Paper submission deadline: February 28, 2012 Notification of acceptance: March 27, 2012 Submission of camera-ready version: April 10, 2012 Overview ------------- Robots are agents, too. Indeed, agent researchers are sometimes inspired by robots, sometimes use robots in motivating examples, and sometimes make contributions to robotics. Both practical and analytical techniques in agent research influence, and are influenced by, research into autonomous robots and multi-robot systems. Areas of particular recent cross-fertilization include (but are not limited to): - motion planning and path planning for single and multiple mobile robots - market-based for coalition formation and task allocation - machine learning in robotics - multi-robot teams and swarms - human-agent-robot teamwork - analysis of large-scale multi-robot systems and swarms - decision-theoretic single- and multi-robot planning - imitation and learning by demonstration/example - formal methods and control architectures - Canonical robotics problems, such as robotic soccer, coverage, foraging, or patrolling Despite the rich cross-fertilization between AAMAS and robotics research areas, roboticists and agents researchers have only a few opportunities to meet and interact. The recently established robotics track at AAMAS is one such opportunity. The goal of the proposed workshop is to extend and widen this opportunity, by offering a forum where researchers in this area of research can interact and present promising innovative research directions, and new results. The workshop is coordinated and associated with the AAMAS robotics track. Submissions and Publication ---------------------------------------- The submission website is http://www.easychair.org/conferences/?conf=arms2012. Contributions are sought in all areas of robotics, in particular as related to autonomous agents research, but not necessarily so. Theoretical papers are welcome, as long as they clearly address challenges in robotics. Empirical studies should ideally present experiments with real robots, though physical simulation studies are also acceptable. Papers that focus on mechanical aspects and low-level control should be make an effort to relate to the agents community. Submissions should follow Springer's LNCS format (see http://www.springer.de/comp/lncs/authors.html) and should not exceed 16 pages in length. Organizing Committee TBA ------------------------------- The contact organizers are Gal Kaminka (galk at cs.biu.ac.il) and Koen Hindriks (k.v.hindriks at tudelft.nl). -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From martin.lange at uni-kassel.de Wed Jan 18 16:59:12 2012 From: martin.lange at uni-kassel.de (Martin Lange) Date: Wed, 18 Jan 2012 16:59:12 +0100 Subject: Call for papers: IJCAR workshop on Comparing Logical Decision Methods, Manchester, UK, 30/06/2012 Message-ID: <4F16EC50.1000004@uni-kassel.de> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% CLODEM'2012 %% %% Workshop on Comparing Logical Decision Methods %% %% http://www2.imm.dtu.dk/~vfgo/CLODEM2012/CLODEM2012.html %% %% %% %% Manchester, June 30th, 2012 %% %% affiliated with IJCAR'2012 && %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TOPIC AND OBJECTIVE: Methods for decision problems of a logic are of vital importance for both the theoretical relevance and practical impact of a logic. Different logics require different decision procedures. Nevertheless, certain methodologies like terminating semantic tableaux, automata, games, SAT/SMT methods, resolution, reductions, etc. have proved to be successful in providing decidability results for several, even quite different logics. Perception of some methodology being better than others has grown within certain communities, for example regarding automata-based techniques in automatic verification or tableau-based techniques in knowledge representation. Such perception, however, is often not based on systematic comparative analysis. Sometimes, different methodologies also turn out to do or even be the same in certain cases. Yet, few formal technical results to that effect are known, and the scientific discussions on the pros and cons, and similarities and differences between different methodologies have been rather sporadic so far. The purpose of this workshop is to provide an expert forum for such discussion, to provoke and foster discussion between communities, and to stimulate further research on that topic. It is a follow-up to the CLoDeM'2010 workshop held within FLOC 2010 in Edinburgh in July 2010, affiliated with LICS and IJCAR. The workshop welcomes contributions on comparisons between different methods, exhibiting differences or similarities, in theory or in practice, in general or with respect to a certain logic. SUBMISSIONS: Submissions should be in the form of extended abstracts of at most 15 A4 pages in PDF format using Springer LNCS style or an equivalent format. Submissions may be based on new and original, or on already published or submitted work, but they should address the topic of the workshop. The abstracts of the workshop talks will be included in informal proceedings. No formal proceedings are currently planned, but if the workshop attracts sufficiently many good and original contributions, a journal special issue will be organized after the event. At least one author of each submission that is accepted for the workshop must register for and attend the workshop in order to present the paper. IMPORTANT DATES: Submissions deadline: April 2, 2012 Notification deadline: May 14, 2012 Final versions of abstracts for the informal proceedings: June 8, 2012 Workshop: June 30, 2012 INVITED SPEAKERS: tba WORKSHOP PROGRAM COMMITTEE: * Stéphane Demri, CNRS Cachan, F * Valentin Goranko, DTU Copenhagen, DK * Rajeev Goré, ANU Canberra, AUS * Stefan Göller, Univ. of Bremen, D * Felix Klaedtke, ETH Zurich, CH * Stephan Kreutzer, TU Berlin, D * Martin Lange, Univ. of Kassel, D * Christof Löding, RWTH Aachen, D * Renate Schmidt, Univ. of Liverpool, UK * Colin Stirling, Univ. of Edinburgh, UK * Cesare Tinelli, Univ. of Iowa, US FURTHER INFORMATION: - Workshop website: http://www2.imm.dtu.dk/~vfgo/CLODEM2012/CLODEM2012.html - IJCAR'12 website: http://ijcar.cs.manchester.ac.uk/ ENQUIRIES to the organizers: - Valentin Goranko, http://www2.imm.dtu.dk/~vfgo - Martin Lange, http://www.uni-kassel.de/~mlange/ From gerardo.simari at cs.ox.ac.uk Wed Jan 18 17:37:21 2012 From: gerardo.simari at cs.ox.ac.uk (Gerardo I. Simari) Date: Wed, 18 Jan 2012 16:37:21 +0000 Subject: CFP: European Intelligence & Security Informatics Conference (EISIC 2012) Message-ID: European Intelligence & Security Informatics Conference (EISIC 2012) The Premier European Conference on Counterterrorism and Criminology Odense, Denmark August 22-24, 2012 http://www.eisic.org, http://www.eisic.eu Co-sponsored by IEEE Computer Society --------------------- Call for Papers --------------------- Intelligence and Security Informatics (ISI) research is an interdisciplinary research field involving academic researchers in information technologies, computer science, public policy, bioinformatics, medical informatics, and social and behavior studies as well as local, state, and federal law enforcement and intelligence experts, and information technology industry consultants and practitioners to support counterterrorism and homeland security missions of anticipation, interdiction, prevention, preparedness and response to terrorist acts. The annual IEEE International ISI Conference series ( http://www.isiconference.org) was started in 2003. The European ISI 2011 was held at Athens last year. The goal of EISIC 2012 is to gather people from previously disparate communities to provide a stimulating forum for exchange of ideas and results. We invite academic researchers (in information technologies, computer science, public policy, and social and behavioral studies), law enforcement and intelligence experts, as well as information technology companies, industry consultants and practitioners in the fields involved. EISIC 2012 will be held in the world of HAPPIEST PEOPLE, i.e., DENMARK (Odense, Denmark) on August 22-24, 2012. Submissions may include systems, methodology, testbed, modeling, evaluation, policy, and position papers. Research should be relevant to informatics, organization, and/or public policy in applications of counter-terrorism or protection of local/ national/ international/ global security in the physical world and/or cyberspace. The accepted papers will be published by the IEEE Computer Society Press (approval pending) in formal Proceedings. EISIC 2012 will be organized in four main streams focusing on: - Terrorism Informatics - Information Sharing and Data/Text Mining - Computational Criminology - Infrastructure Protection and Emergency Responses -Enterprise Risk Management and Information Systems Security Topics include but are not limited to: 1. Information Sharing and Data/Text Mining - Intelligence-related knowledge discovery - Computer or cyber crime investigations and digital forensics - Criminal investigative criteria and standard of procedure on Computer crime - Criminal data mining and network analysis - Criminal/ intelligence information sharing and visualization - Web-based intelligence monitoring and analysis - Spatial-temporal data analysis/GIS for crime analysis and security informatics - Deception and intent detection - Cyber-crime detection and analysis - Authorship analysis and identification - Applications of digital library technologies in intelligence data processing, preservation, sharing, and analysis - Agents and collaborative systems for intelligence sharing - HCI and user interfaces of relevance to intelligence and security - Information sharing policy and governance - Privacy, security, and civil liberties issues - Intelligence-computerized community security and surveillance system 2. Infrastructure Protection and Emergency Responses - Cyber-infrastructure design and protection - Intrusion detection - Bio-terrorism tracking, alerting, and analysis - Bio-terrorism information infrastructure - Transportation and communication infrastructure protection - Border/transportation safety - Emergency response and management - Disaster prevention, detection, and management - Communication and decision support for search and rescue - Assisting citizens' responses to terrorism and catastrophic events - Computer forensics and crime lead discovery - Anti-fraud information technology 3. Terrorism Informatics - Terrorism related analytical methodologies and software tools - Terrorism knowledge portals and databases - Terrorist incident chronology databases - Terrorism root cause analysis - Social network analysis (radicalization, recruitment, conducting operations), - visualization, and simulation - Forecasting terrorism - Countering terrorism - Measuring the impact of terrorism on society - Measuring the effectiveness of counter-terrorism campaigns - Crime intelligence and cyberspace crime investigation - Immigration and security 4. Computational Criminology - Crime pattern recognition and modeling tools - Offender social network analysis (infrequent to frequent offenders) - Crime generators and crime attractors - Forecasting crime and its impact - Drug, gang and special crime analysis and modeling tools - Data mining and data fusion of crime - urban databases - Dynamic information systems analysis for crime and place - Privacy and security in crime and justice system data - Spatial and temporal analysis and software tools - Law Enforcement decision support systems - Cybercrime 5. Enterprise Risk Management and Information Systems Security - Information security management standards - Information systems security policies - Behavior issues in information systems security - Fraud detection - Cyber crime and social impacts - Corporate going concerns and risks - Accounting and IT auditing - Corporate governance and monitoring - Board activism and influence - Corporate sentiment surveillance - Market influence analytics and media intelligence - Consumer-generated media and social media analytics -------------------------- Types of submissions -------------------------- Full, Short Papers and Posters. WORKSHOPS/ SYMPOSIUMS In conjunction with EISIC 2012, several workshops will be held on August 21-22, 2012. The currently committed ones include (1) the Innovation in Border Control Workshop, (2) Bio-inspired and Computational Intelligence Systems in Cyber Security (BCISCS 2012) Workshop, and (3) the OSINT-WM 2012 symposium. Workshop proposals are welcome. -------------------- Important Dates -------------------- ■Paper submission due: April 15, 2012 ■Notification of acceptance: May 30, 2012 ■Camera ready paper due: June 15, 2012 ■Authors registration due: June 15, 2012 ■Conference: August 22-24, 2012 ---------------------------- Organizing Committee ---------------------------- Honorary General Chairs Hsinchun Chen, University of Arizona, AZ, USA George J. Hagerty, St. John International University, Turin, Italy Per Michael Johansen, University of Southern Denmark, Denmark General Chairs Uffe Kock Wiil, University of Southern Denmark, Denmark Panagiotis Karampelas, Hellenic American University, NH, USA Progam Chairs Nasrullah Memon, University of Southern Denmark, Denmark Daniel Zeng, Chinese Academy of Sciences, China and University of Arizona, AZ, USA Publicity Chairs Matthias Meckel, University of Central Lancashire, UK Mahmood Shah, University of Central Lancashire, UK Please refer to http://www.eisic.eu/organization.aspx for the full list of members ---------------------------- Program Committee ---------------------------- Please refer to http://www.eisic.eu/committee.aspx for the full list of members Best regards Program Chairs European Intelligence and Security Informatics Conference 2012 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Wed Jan 18 17:39:12 2012 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 18 Jan 2012 11:39:12 -0500 (EST) Subject: LPAR-18 Short Papers and Workshops Message-ID: <20120118163912.95F8B1214C2@mcclellan.cs.miami.edu> ========================== LPAR-18 SHORT PAPERS WORKSHOP PAPERS INVITED SPEAKERS PARTICIPATION ========================== ============================================================ The 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Merida, Venezuela - March 11-15, 2012 www.LPAR-18.info ============================================================ The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 18th edition will be held in Merida, Venezuela. ----------------------------------------------------------------------------- LPAR-18 SHORT PAPERS In keeping with the tradition of LPAR, researchers and practioners are invited to submit short papers reporting on interesting work in progress or providing system descriptions. They need not be original. Extended versions of the short papers may be submitted concurrently with or after LPAR to another conference or a journal. Short papers are limited in length to 5 pages in the EasyChair format. The class style may be downloaded from ... http://www.easychair.org/coolnews.cgi Short papers must be submitted through the EasyChair system using the web page http://www.easychair.org/conferences/?conf=lpar18 under the Short Paper Track. The short paper proceedings will be available electronically. Authors of accepted papers are required to ensure that at least one of them will be present at the conference. Papers that do not adhere to this policy will not be included. Important Dates --------------- Paper submission deadline: February 10th 2012 Notification of acceptance: February 14th 2012 Final version: March 1st 2012 ----------------------------------------------------------------------------- IWIL-2012 The 9th International Workshop on the Implementation of Logics http://www.eprover.org/EVENTS/IWIL-2012.html to be held in conjunction with LPAR-18. Important Dates --------------- Submission of papers/abstracts: February 1st, 2012 Notification of acceptance: February 13th, 2012 Camera ready versions due: February 27th, 2012 Workshop: March 10th, 2012 ----------------------------------------------------------------------------- APS-6 The 6th International Workshop on Analytic Proof Systems http://www.logic.at/staff/chrisf/ws/LPAR-AS-6.html to be held in conjunction with LPAR-18. Important Dates --------------- Submission of abstracts: January 31th, 2012 Notification of acceptance: February 6th, 2012 Workshop: March 10th, 2012 ----------------------------------------------------------------------------- INVITED SPEAKERS We are very honored to have four distinguished invited speakers discuss their vision for their fields at LPAR-18: Elvira Albert, Complutense University of Madrid (Spain) Kenneth McMillan, Microsoft Research (USA) Aart Middeldorp, University of Innsbruck (Austria) Boris Motik, University of Oxford (UK) ----------------------------------------------------------------------------- ACCEPTED PAPERS The programme includes 25 regular papers and 6 tool/system descriptions: http://www.cs.miami.edu/~geoff/Conferences/LPAR-18/AcceptedPapers.html ----------------------------------------------------------------------------- PARTICIPATION Useful information about registration, activities, and travel is available on: http://www.LPAR-18.info ----------------------------------------------------------------------------- From thierry.petit at mines-nantes.fr Wed Jan 18 17:59:47 2012 From: thierry.petit at mines-nantes.fr (Thierry PETIT) Date: Wed, 18 Jan 2012 17:59:47 +0100 Subject: CPAIOR 2012 - Second Call for Workshops Message-ID: <211BA72E-A994-427C-A637-5231E3258099@mines-nantes.fr> CPAIOR 2012 - SECOND CALL FOR WORKSHOP PROPOSAL Ninth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, Cité des Congrès, Nantes, France, May 28 - June 1, 2012. http://www.emn.fr/z-info/cpaior-2012/ The ninth international conference on Integration of Artificial Intelligence and Operations Research techniques in Constraint Programming will be held in Nantes, France, May 28 - June 1, 2012. The aim of the conference is to bring together interested researchers from Constraint Programming (CP), Artificial Intelligence (AI) and Operations Research (OR) to present new techniques or new applications in combinatorial optimization and to provide an opportunity for researchers in one area to learn about techniques in the others. A main objective of this conference series is also to give these researchers the opportunity to show how the integration of techniques from different fields can lead to interesting results on large and complex problems. The CPAIOR 2012 conference chairs invite proposals for the workshop program. CPAIOR 2012 workshops will provide an informal setting where workshop participants will have the opportunity to discuss specific technical topics in an atmosphere that facilitates the active exchange of ideas. It is an opportunity to disseminate work in progress or to promote new and emerging areas on the intersection of CP, AI, and OR. All workshops will take place on May 29, 2012, at the site of the main conference. Workshops can be proposed for a full or a half day. The internal format of the workshop will be determined by the organizers of each workshop. Proposals for workshops should contain the following information: - The title and a brief technical description of the workshop, specifying the goals and the technical issues it will focus on (this description is meant to be published on the main conference homepage). - The intended duration of the workshop (full/half day). - A brief discussion of why and to whom the workshop is of interest. - A list of related workshops held within the last three years, if any, and their relation to the proposed workshop. - The names of the proposed organizing committee. - The name and email address of the main organizer. Each workshop main organizer will be responsible for: - Creating a web site for the workshop that will be linked from the CPAIOR 2012 website. - Organizing the technical program: call for papers, selecting submissions, inviting attendant, etc. - Providing working pdf notes to be duplicated for the workshop by May 11, 2012. The CPAIOR 2012 conference chairs will be responsible for the following: - Providing publicity for the workshop series as a whole. - Providing logistics support and a meeting place for the workshop. - Scheduling workshops in cooperation with the workshop organizers. - Duplicating working notes (possibly in electronic form) and distributing them to the participants. All proposals should be submitted by electronic mail (in ASCII), to the workshop chair. Important Dates: February 6, 2012: Proposal submission deadline. February 13, 2012: Acceptance notification. February 27, 2012: Deadline for receipt of the URL and Call for Papers/Participation for the workshop. May 11, 2012: Deadline for workshop working notes. May 29, 2012: CPAIOR 2012 workshops. CPAIOR 2012 Workshop Chair: Thierry Petit, Co-Head TASC, LINA / Ecole des Mines de Nantes. cpaior2012 at mines-nantes.fr -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pmt6sbc at maths.leeds.ac.uk Thu Jan 19 12:29:35 2012 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Thu, 19 Jan 2012 11:29:35 GMT Subject: Turing Centenary Conference (CiE 2012) - Final submission arrangements Message-ID: <201201191129.q0JBTZre012673@maths.leeds.ac.uk> --------------------------------------------------------------------------- FINAL SUBMISSION INFORMATION --------------------------------------------------------------------------- Turing Centenary Conference (CiE 2012) University of Cambridge, UK June 18 to 23, 2012 http://www.cie2012.eu All final submissions needed by 27 JANUARY 2012* * With CiE 2012 submissions running at unprecedented levels, and the organisers receiving numerous requests for extensions: The server for submissions to the Turing Centenary Conference: CiE 2012 will remain open for new submissions until the end of Sunday, 22 January. Revised versions of papers may be submitted until the end of Friday, 27 January as long as an abstract has been submitted by the end of Sunday, 22 January. --------------------------------------------------------------------------- Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research. The 2012 Turing Centenary Conference will be especially broad, bringing together researchers from the full community influenced by the seminal work of Turing and his contemporaries. For details of the full range of topics, we refer to the original Call for Papers at: http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/give-page.php?42 Best wishes Anuj Dawar and Barry Cooper co-chairs, Turing Centenary Conference __________________________________________________________________________ CiE 2012: Turing Centenary Conference http://www.cie2012.eu ALAN TURING YEAR http://www.turingcentenary.eu AlanTuringYear on Twitter http://twitter.com/AlanTuringYear __________________________________________________________________________ From serra at nce.ufrj.br Wed Jan 18 23:44:54 2012 From: serra at nce.ufrj.br (Sergio Manuel Serra da Cruz) Date: Wed, 18 Jan 2012 20:44:54 -0200 Subject: [Sbc-l] ECML PKDD 2012 call for demos and NECTAR-track submissions In-Reply-To: <4F167957.8000408@csd.auth.gr> References: <4F167957.8000408@csd.auth.gr> Message-ID: On Wednesday, January 18, 2012, Grigorios Tsoumakas wrote: > ECML PKDD 2012 call for demos and NECTAR-track submissions > > --------------------------------- > 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 > > ------------------------------------- > Follow ECML PKDD 2012 > ------------------------------------- > > - Twitter: @ECMLPKDD2012 > - LinkedIn: http://www.linkedin.com/groups?gid=4257980 > - Facebook: http://www.facebook.com/pages/ECML-PKDD-2012/298600073514446 > > _______________________________________________ > Sbc-l mailing list > Sbc-l at sbc.org.br > https://grupos.ufrgs.br/mailman/listinfo/sbc-l > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Fri Jan 20 15:48:30 2012 From: announce at cs.ucy.ac.cy (Announcements) Date: Fri, 20 Jan 2012 16:48:30 +0200 Subject: First Call for Papers: 13th International Conference on Web Information System Engineering (WISE 2012) Message-ID: ======================================================================== The 13th International Conference on Web Information System Engineering (WISE 2012) http://www.wise2012.cs.ucy.ac.cy http://www.wise-society.org/2012 November 14th-16th, 2012 Paphos, Cyprus ======================================================================== *** CALL FOR PAPERS *** The aim of this thirteenth edition of the conference series on Web Information Systems Engineering is to provide an international forum for researchers, professionals, and industrial practitioners to share their knowledge in the rapidly growing area of Web technologies, methodologies and applications. Previous WISE conferences were held in Hong Kong, China (2000), Kyoto, Japan (2001), Singapore (2002), Roma, Italy (2003), Brisbane, Australia (2004), New York, USA (2005), Wuhan, China (2006), Nancy, France (2007), Auckland, New Zealand (2008), Poznan, Poland (2009), Hong Kong, China (2010), and Sydney, Australia (2011). The proceedings of WISE 2012 will be published in 2 separate volumes by Springer in its Lecture Notes in Computer Science series, with best papers to be recommended for publication in special issues of international journals (including World Wide Web). Topics of interests include but are not limited to: * Cloud Computing * Discovering Social Web structures and models * Deep/Hidden Web; * Event Processing and Event-driven Systems; * Evolution and temporal analysis of the Social Web; * Integration of the Web and Internet-connected Objects / IoT; * Linked Open Data; * Peer-Computing; * Rich Web UI; * Search, Text and media extraction, clustering and classification of the Social Web * Semantic Web; * Social web and Applications; * Web Agents and Web Intelligence; * Web-based Applications (e.g., Auction and Negotiation, e-Commerce, e-Government, e-Learning, etc.); * Web-based Business Processes and Web Services; * Web-based Enterprise Systems and Transactions; * Web Data Integration; * Web Data Mashup; * Web Data Models; * Web Information Retrieval; * Web Metrics and Performance; * Web Mining and Web Warehousing; * Web Monitoring and Management; * Web Security and Trust Management; * Web Tools and Languages; * Web Visualisation; and * XML and Semi-structured Data. Important Dates --------------- * Abstract Submission Deadline: 11th May 2012 * Full Paper Submission Deadline: 18th May 2012 * Notification of Acceptance: 13th July 2012 * Full Paper Camera-ready Due: 27th July 2012 * Workshops Proposal Submission Deadline: 4th May 2012 * Panel/Tutorial Proposal Submission Deadline: 1st June 2012 * Demonstration Paper Submission Deadline: 1st June 2012 Publication ----------- Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. All papers will be refereed by at least three members of the program committee. All submitted papers MUST be formatted according to the author guidelines provided by Springer LNCS format and MUST NOT exceed 14 pages. A special issue of WWWJ is scheduled for extended versions of some selected papers from the WISE2012 conference. Organizing Committee -------------------- * General Co-Chairs: Yanchun Zhang, Victoria University, Australia George Angelos Papadopoulos, University of Cyprus, Cyprus * PC Co-Chairs: Xiaoyang (Sean) Wang, Fudan University, China Isabel Cruz, The University of Illinois at Chicago Alex Delis, University of Athens, Greece * WISE Challenge Program/Track Chairs: Xiaofang Zhou, University of Queensland, Australia Weining Qian, East China Normal University, China * Workshop Co-Chairs: Armin Haller, CSIRO, Australia Zhisheng Huan, Vrije University Amsterdam, The Netherlands * Publication Chair: Guangyan Huang, Victoria University, Australia * Publicity Co-Chairs: Demetris Zeinalipour-Yatzi, University of Cyprus, Cyprus Jing Yang, Graduate University, Chinese Academy of Sciences, China * Local Arrangement Chair: Petros Stratis, Easyconferences Ltd. -------------------------------------------------------------------- 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 mohamed.nemiche at uv.es Sat Jan 21 03:44:35 2012 From: mohamed.nemiche at uv.es (Mohamed Nemiche) Date: Sat, 21 Jan 2012 03:44:35 +0100 Subject: CFP: ICCS12 || November 5-6, 2012-Agadir, Morocco -Deadline: April 30, 2012 Message-ID: <5844-4f1a2680-1-2cd81780@116612006> -------- Original Message -------- Subject: CFP: ICCS12 || November 5-6, 2012-Agadir, Morocco -Deadline: April 30, 2012 Date: Viernes 20 Enero 2012 16:17 CET From: "Mohamed Nemiche" To: bouyakhf at fsr.ac.ma Apologies if you receive multiple copies. ___________________ICCS’12 || CAL 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. 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 INVITED SESSIONS http://iccs12.org/invited.html KEYNOTE SPEAKERS http://iccs12.org/keynotes.html PROCEEDINGS, SPECIAL ISSUES All presented papers will be published in IEEE Xplore Digital Library and extended versions of selected papers will be published in special issues of international journals. GENERAL CHAIRS - M. Essaaidi,President - IEEE Morocco Section [essaaidi at ieee.org ; Phone: +212 (0) 661 725 992] - M. Nemiche, Ibn Zohr University, Agadir, Morocco [nemiche at uv.es] TECHNICAL PROGRAM COMMITTEE http://iccs12.org/committees.html 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 mpavone at dmi.unict.it Sun Jan 22 10:11:07 2012 From: mpavone at dmi.unict.it (Mario Pavone) Date: Sun, 22 Jan 2012 10:11:07 +0100 Subject: 2nd CfP PPSN 2012 - 12th Int. Conf. on Parallel Problem Solving from Nature, 1-5 September, 2012 Taormina, Italy Message-ID: <20120122101107.Horde.0vwEVuph4B9PG9KrtBGg87A@dmi.unict.it> ** Apologies for cross-posting ** ************************************************************************************** IMPORTANT: *Submission deadline Thursday March 15, 2012* ************************************************************************************** 12th International Conference on Parallel Problem Solving from Nature - PPSN 2012 http://www.dmi.unict.it/ppsn2012/index.php ppsn2012 at dmi.unict.it 1-5 September, 2012 Hotel Villa Diodoro Taormina, Italy CALL FOR PAPERS ------------------------------------------------------------------------------------- *** The submission system is now open *** https://www.easychair.org/conferences/?conf=ppsn2012 ------------------------------------------------------------------------------------- AIMS & SCOPE Natural Computing is the study of computational systems which use ideas and get inspiration from natural systems, including biological, ecological, physical, chemical, and social systems. It is a fast- growing interdisciplinary field in which a range of techniques and methods are studied for dealing with large, complex, and dynamic problems with various sources of potential uncertainties. PPSN XII will be a showcase of a wide range of topics in Natural Computing including, but not restricted to: Evolutionary Computation, Neural Computation, Molecular Computation, Quantum Computation, Artificial Life, Swarm Intelligence, Artificial Ant Systems, Artificial Immune Systems, Self-Organizing Systems, Emergent Behaviors, and Applications to Real-World Problems. PPSN XII will also feature workshops and tutorials covering advanced and fundamental topics in the field of natural computation. Submissions should present significant contributions. All accepted papers will be presented during poster sessions and will be included in the proceedings. Following the tradition of PPSN, we plan to publish the proceedings in the Series Lecture Notes in Computer Science (LNCS) by Springer. The preceding symposia were held in Dortmund, Brussels, Jerusalem, Berlin, Amsterdam, Paris, Granada, Birmingham, Reykjavik, Dortmund, and Krakow. IMPORTANT DATES Submission deadline: March 15, 2012 Author notification: June 1, 2012 Camera-ready submission: June 20, 2012 PROCEEDINGS Accepted papers will appear in the PPSN 2012 proceedings published by Springer Verlag in the LNCS series. SUBMISSION Authors are invited to submit high-quality manuscripts reporting original unpublished research and recent developments in the topics related to the symposium. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. Submissions must not exceed 10 pages formatted according to LNCS style. All papers will be peer reviewed and comments will be provided to the authors. The submission system can be accessed via https://www.easychair.org/conferences/?conf=ppsn2012 KEYNOTE SPEAKERS Angelo Cangelosi, University of Plymouth, UK Natalio Krasnogor, University of Nottingham, UK Panos M. Pardalos, University of Florida, USA More Keynote Speakers to be Announced TUTORIAL SPEAKERS Jaume Bacardit, University of Nottingham, UK Juergen Branke, University of Warwick, UK Pier Luca Lanzi, Polytechnic of Milan, Italy Martin Pelikan, University of Missouri in St. Louis, USA More Tutorial Speakers to be Announced ORGANIZING COMMITTEE *General Chairs Vincenzo Cutello, University of Catania, Italy Mario Pavone, University of Catania, Italy *Honorary Chair Hans-Paul Schwefel, Dortmund University of Technology, Germany *Programme Chairs Carlos A. Coello Coello, CINVESTAV-IPN, Mexico Kalyanmoy Deb, Indian Institute of Technology, India Stephanie Forrest, University of New Mexico & Santa Fe Institute, USA Giuseppe Nicosia, University of Catania, Italy *Tutorial Chairs Giuseppe Narzisi, Cold Spring Harbor Laboratory, USA Germán Terrazas Angulo, University of Nottingham, UK *Workshop Chair Alberto Moraglio, University of Birmingham, UK CONTACT For further information, please send an email to ppsn2012 at dmi.unict.it Hope to see you in Taormina! Mario Pavone - PPSN 2012 General Chair -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy tel: 0039 095 7383038 fax: 0039 095 330094 Email: mpavone at dmi.unict.it http://www.dmi.unict.it/mpavone/ ------------------------------------------------ From bmuller at glam.ac.uk Tue Jan 24 06:31:25 2012 From: bmuller at glam.ac.uk (Muller B (AT)) Date: Tue, 24 Jan 2012 05:31:25 +0000 Subject: Special FI Issue on Logics, Agents, and Mobility Message-ID: <0B8BDE29-CF14-4BDF-84D1-EF2BE083C61C@glam.ac.uk> Call for Papers Logics, Agents, and Mobility Special Issue of Fundamenta Informaticae We cordially invite you to submit a paper on Logics, Agents, and Mobility for this special issue of Fundamenta Informaticae (FI). Please find details of areas of interest and deadlines below. The issue will be based on (but not limited to) selected presentations at the International workshops LAM'10 & LAM'11. An indication of intention to submit should be sent to as soon as possible. Deadlines are as follows. Submission: 20 May 2012 First Reviews: 8 July 2012 Revisions and final reviewing: August 2012 Publication: Autumn 2012 The main topics of interest include - specification and reasoning about agents, MAS, and mobile systems - modal and temporal logics - model-checking - treatment of location and resources in logics security - type systems and static analysis - logic programming - concurrency theory with a focus on mobility or dynamics in agent systems. We invite you to submit original, unpublished papers on the topics of logics, agents, and mobility as outlined above for this special issue of FI. Papers are usually 12 to 20 pages (up to a maximum of 25 pages) in length and should not have been previously published nor be currently under consideration for publication elsewhere. Submitted papers should be typeset using the FI LaTeX document class, FI style file, bibliography style file and should follow the author’s guidelines available at . Special Issue Editors: Berndt Müller (Farwer), Melvin Fitting Please feel free to contact us at for further details. From ispa2012 at piojito.arcos.inf.uc3m.es Tue Jan 24 11:21:24 2012 From: ispa2012 at piojito.arcos.inf.uc3m.es (ISPA2012) Date: Tue, 24 Jan 2012 11:21:24 +0100 Subject: ISPA 2012 and MUE 2012. LAST DAYS. Paper submission: January 31 (hard deadline) Message-ID: <20120124102124.GA26593@piojito.arcos.inf.uc3m.es> Dear Sir or Madam, (We apologize if you receive multiple copies of this message) =================================================================== The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2012) http://www.arcos.inf.uc3m.es/ispa2012 in conjunction with the The 6th FTRA International Conference on Multimedia and Ubiquitous Engineering (MUE 2012) http://www.arcos.inf.uc3m.es/mue2012 Madrid, Spain, 10-13 July 2012 ** Important Dates ** ================================== Papers due: January, 31, 2012 (hard deadline) Notification: March, 15 2012 Camera ready: April, 15 2012 Conferences dates: July, 10-13, 2012 ** ISPA 2012 Tracks ** =================================== + Algorithms and Applications + Architectures and Virtualization + Middleware and Tools + Network and pervasive computing + Performance Simulations and Evaluations + Reliability, fault-tolerance and security + Database, data-mining and data management ** MUE 2012 Tracks ** ==================================== + Ubiliquitous Computing and Beyond + Multimedia Modeling and Processing + Ubiquitous Services and Applications + Multimedia Services and Applications + Multimedia and Ubiquitous Security + Personal multimedia and ubiquitous computing ** Associated Workshops ** ==================================== + Clouds for Business, Business for Clouds. + International Workshop on Cross-Stratum Optimization for Cloud Computing and Distributed Networked Applications. + International Workshop on AstroParticles Physics Advanced Computing (APPAC). + International Workshop on Multicore Cache Hierarchies: Design and Programmability Issues. + HAC 2012: International Workshop on Heterogeneus Architectures and Computing + International Workshop On The Growing Problems with Scalable, Heterogeneous Infrastructures. + International Workshop on Stream Computing Applications. + The 4th. International Workshop on Multicore and Multithreaded Architectures and Algorithms (M2A2 2012). + D4UTEL 2011 - Design for Ubiquitous Technology Enhanced Learning Methods, Applications, Languages and Tools. ** Conference Proceedings ** ==================================== Every submitted paper will be carefully reviewed by at least three members of the Program Committee. All accepted and presented papers will be included in the conference proceedings published by IEEE CPS and included in IEEE Xplore (indexed by EI). Authors should submit a paper with up to 8 pages by using online systems for review. Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference, otherwise their papers will be removed from the digital libraries of IEEE Xplore and EI after the conference. ** Journal Publications ** ==================================== Extended versions of distinguished selected papers accepted and presented in conference, after further revisions, will be published in issues of following indexed international journals: + Cluster computing, Springer. + The Computer Journal, Oxford. + Int. Journal of Parallel Programming, Springer. + Personal and Ubiquitous Computing, Springer. + Computer & Electrical Engineering, Elsevier. ** Best paper awards ** ==================================== The Program Committee will give two best paper awards: one NVIDIA Best Student Paper Award and one NVIDIA Best Paper Award. Best Paper Awards will be given to the author(s) of a full paper presented at the conference, selected by the Organizing Committee. The Best Paper Award is a Tesla C2075 computing processor, sponsored by NVIDIA. ** Keynote speakers ** ==================================== + Dr. Robert L. Clay, Sandia National Laboratory, USA: Applications programming for Exascale: Challenges & opportunities. + Prof. Mingui Guo, Shangai Jiao Tong University, China: iCampus: A location and context awareness pervasive environment. + Prof. Mateo Valero, Barcelona Supercomputing Center, Spain: Toward Exaflop Supercomputers From invitation at iariaprogram.org Tue Jan 24 19:50:36 2012 From: invitation at iariaprogram.org (ComputationWorld 2012) Date: Tue, 24 Jan 2012 13:50:36 -0500 Subject: 2nd CfP || ComputationWorld 2012: July 22-27, 2012 - Nice, France Message-ID: <1327431036027.3376@iariaprogram.org> INVITATION Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events under ComputationWorld 2012. The submission deadline is March 5, 2012. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= ComputationWorld 2012: July 22-27, 2012 - Nice, France see: http://www.iaria.org/conferences2012/ComputationWorld12.html ComputationWorld 2012 is a federated event focusing on computation technologies as they apply to several fields of study: services, cognition, adaptiveness, patterns, tools, and business intelligence. Submission (full paper) deadline: March 5, 2012 Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform 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. -- SERVICE COMPUTATION 2012, The Fourth International Conferences on Advanced Service Computing http://www.iaria.org/conferences2012/SERVICECOMPUTATION12.html -- CLOUD COMPUTING 2012, The Third International Conference on Cloud Computing, GRIDs, and Virtualization http://www.iaria.org/conferences2012/CLOUDCOMPUTING12.html -- FUTURE COMPUTING 2012, The Fourth International Conference on Future Computational Technologies and Applications http://www.iaria.org/conferences2012/FUTURECOMPUTING12.html -- COGNITIVE 2012, The Fourth International Conference on Advanced Cognitive Technologies and Applications http://www.iaria.org/conferences2012/COGNITIVE12.html -- ADAPTIVE 2012, The Fourth International Conference on Adaptive and Self-Adaptive Systems and Applications http://www.iaria.org/conferences2012/ADAPTIVE12.html -- CONTENT 2012, The Fourth International Conference on Creative Content Technologies http://www.iaria.org/conferences2012/CONTENT12.html -- PATTERNS 2012, The Fourth International Conferences on Pervasive Patterns and Applications http://www.iaria.org/conferences2012/PATTERNS12.html -- COMPUTATION TOOLS 2012, The Third International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking http://www.iaria.org/conferences2012/COMPUTATIONTOOLS12.html -- BUSTECH 2012, The Second International Conference on Business Intelligence and Technology http://www.iaria.org/conferences2012/BUSTECH12.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about ComputationWorld, please reply with "DROP ComputationWorld 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 icnc-fskd-cfp at cqupt.edu.cn Tue Jan 24 23:03:10 2012 From: icnc-fskd-cfp at cqupt.edu.cn (ICNC FSKD) Date: Wed, 25 Jan 2012 06:03:10 +0800 Subject: IT Workshop Submission Deadline 8 March: IEEE Xplore/EI Compendex/ISI Message-ID: <527443351.05032@localhost.com> Dear Colleague, We cordially invite you to submit a paper to the Workshop on Information Technology (WIT 2012), a part of the 9th FSKD conference to be jointly held from 29-31 May 2012, in Chongqing, China. Topics of WIT 2012 include (but are not limited to): Communications and Networking, Automation and Control, Computer applications, Software Engineering, Information Security, etc.. The submission deadline is 8 March 2012. Renowned as the Mountain City, Chongqing is a magnet for visitors from home and abroad for its cultural heritage and numerous attractions. There are many karst caves, hot springs, and gorges in the area. Major tourist spots in and near Chongqing include Dazu Grottoes (rock carvings began in the Tang Dynasty 650 A.D.), Three Gorges, Jinyun Mountain Natural Reserve, Hongya Cave, Shibaozhai, Wulong Karst, etc.. All papers in the conference proceedings will be indexed by both EI Compendex and ISTP as with the past FSKD conferences. Extended versions of selected best papers will appear in an FSKD special issue of Computers & Mathematics with Applications, an SCI-indexed journal. The conference is technically co-sponsored by the IEEE Circuits and Systems Society. The registration fee of US-D430 includes proceedings, lunches, dinners, banquet, coffee breaks, and all technical sessions. Please submit your paper online at http://icnc-fskd.cqupt.edu.cn/Submission.htm (During your electronic submission, select “FSKD’12” for Conference and “Information Technology for Knowledge Discovery” for Category). Join us at this major event in beautiful Chongqing !!! Organizing Committee icnc-fskd at cqupt.edu.cn P.S.: Kindly forward to your colleagues and students in your school/department. If you wish to unsubscribe, in which case we apologize, please reply with " unsubscribe event at tu-clausthal.de " in your email subject. Thanks. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From glukacsy at cisco.com Wed Jan 25 10:24:14 2012 From: glukacsy at cisco.com (Gergely Lukacsy (glukacsy)) Date: Wed, 25 Jan 2012 10:24:14 +0100 Subject: Call for Doctoral Consortium - 28th International Conference on Logic Programming (ICLP 2012) Message-ID: <994BD38D171EAE49B641B378373BA25C02025748@XMB-AMS-208.cisco.com> **apologies for cross-posting** ------------------------------------------------------------------------ ------------------ ICLP-DC 2012 Eighth ICLP Doctoral Student Consortium to be held in Budapest, Hungary, 4th of September 2012 http://sites.unife.it/iclp-dc-2012 ------------------------------------------------------------------------ ------------------ ** Introduction ** The ICLP Doctoral Consortium (DC) is the eighth doctoral consortium to be offered as part of the 28th International Conference on Logic Programming. The DC follows the very positive experience of the previous events held in Sitges (Spain) on October 3rd, 2005, in Seattle (WA, USA) on August 21st, 2006, in Porto (Portugal) on September 8th, 2007, in Udine (Italy) on December 10th, 2008, in Pasadena (USA) on July 15th, 2009, in Edinburgh (Scotland) on July 20th, 2010, and in Lexington (KY, USA) on July 6th, 2011. The DC will take place during the ICLP 2012 in Budapest, Hungary. The Doctoral Consortium is designed for doctoral students working in areas related to logic and constraint programming, with a particular emphasis to students interested in pursuing a career in academia. The Consortium is also open to exceptional Master's students developing MS Theses in Logic Programming. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedback from peers as well as world-renown experts in the field. ** General Information ** The aims of the Doctoral Consortium are: To provide doctoral students working in the field of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback. To provide students with relevant information about important issues for doctoral candidates and future academics. To develop a supportive community of scholars and a spirit of collaborative research. To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. 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 Logic Programming; topics of interest include (but are not limited to): Theoretical Foundations of Logic and Constraint Logic Programming Sequential and Parallel Implementation Technology Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology and Verification Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) Innovative Applications of Logic Programming Submissions by students who have presented their work at a previous ICLP Doctoral Consortia are allowed, but should occur only if there are substantial changes or improvements to the student's work. The Consortium allows participants to interact with established researchers and with other students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. Several renowned faculty members and researchers in the field of Logic Programming will join in evaluating the submission packets and will participate in the Doctoral Consortium, providing feedback to the presenters. **Important Dates** Submission Deadline: May 4th, 2012 Acceptance Notification: May 25th, 2012 Camera ready version: June 10th, 2012 Doctoral Consortium: September 4th, 2012 ICLP 2012 Conference: September 4th-8th, 2012 **Submission Process** *Application Process: To apply for participation to the ICLP 2012 Doctoral Consortium, prepare a submission package consisting of a cover letter, a research summary, and a letter of recommendation (e.g., from your supervisor). The material should be submitted electronically, in PDF format. *Review Criteria: The ICLP Doctoral Consortium review committee will select participants based on their anticipated contribution to the Consortium objectives. Participants typically have settled on their thesis directions and had their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of the submission packet, relevance of their research area w.r.t. the focus of the ICLP Conference, stage of research, advisor's letter, and evidence of promise towards a successful research and academic career, such as published papers or technical reports. *Award: The ICLP Doctoral Consortium Discussants will review the submissions to select the ones to be presented. The organizing committee is actively seeking support to offer scholarship packages to accepted participants. We will update the web site as soon as we have more information regarding this. *Submission Package Send the submission package by e-mail to: iclp12dc at dbai.tuwien.ac.at Include the three documents as separate pdf files in attachment. All submissions must be in English. Submissions will not be considered if they arrive after the deadline. Your submission should not contain any proprietary or confidential material. Cover Page: Please include the following information in the cover page: Statement of interest in participating in the Doctoral Consortium Full name and School and Department in which you are earning your doctorate degree Contact information - address, telephone number, and email address Title of your research and keywords pertinent to your research The URL of your web page (if any) Name of your supervising professor Current stage in your program of study, e.g. (Master/PhD student, start date) Research Summary: Prepare your research summary as a PDF document, using the LIPIcs template. (http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/?L=1 ) Make sure to include your complete name, address and affiliation. The body of your research summary (no more than 6 pages, but 3 is fine as well!) should provide a clear overview of the research, its potential impact, and its current status. You are encouraged to include the following sections: Introduction and problem description Background and overview of the existing literature Goal of the research Current status of the research Preliminary results accomplished (if any) Open issues and expected achievements Bibliographical references Letter of Recommendation: Include a letter of recommendation written by your Graduate Advisor or Thesis Advisor. Please, invite your advisor to include an assessment of the current status of your thesis research and an indication of the expected deadline for thesis submission. In addition, your advisor should indicate what she/he hopes you would gain from participation in the Doctoral Consortium. *Chairs Marco Gavanelli Engineering Department Ferrara University, Italy Stefan Woltran Institute of Information Systems TU Wien, Austria *Program Committee - Fabio Fioravanti, University "G. d'Annunzio" of Chieti - Pescara (Italy) - Paul Fodor, Stony Brook University (USA) - Martin Gebser, Universitat Potsdam (Germany) - Francesca A. Lisi, Universita degli Studi di Bari "Aldo Moro" (Italy) - Marco Maratea, University of Genova (Italy) - Gerardo I. Simari, University of Oxford (UK) - Jon Sneyers, K.U. Leuven (Belgium) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From MFisher at liverpool.ac.uk Wed Jan 25 23:30:52 2012 From: MFisher at liverpool.ac.uk (Michael Fisher) Date: Wed, 25 Jan 2012 22:30:52 +0000 Subject: Short (9 month) postdoc position available at Liverpool.... Message-ID: <4F20829C.6060009@liverpool.ac.uk> We have a short (9 month) post-doc position available here for someone with expertise in one or more of autonomous systems, agent programming languages, hybrid agent architectures, and formal verification. Due to funding constraints this has to be completed by the end of 2012 and so we need the person to start by 1st April 2012. See http://www.liv.ac.uk/working/job_vacancies/research/R-577666.htm -- --------------------------------------------------------------- | Michael Fisher http://www.csc.liv.ac.uk/~michael | | Dept. of Computer Science MFisher at liverpool.ac.uk | | University of Liverpool tel: (+44) 151 795 4262 | | Liverpool L69 3BX, U.K. fax: (+44) 151 795 4235 | --------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : MFisher.vcf Dateityp : text/x-vcard Dateigröße : 325 bytes Beschreibung: nicht verfügbar URL : From claudia.damato at di.uniba.it Thu Jan 26 15:51:04 2012 From: claudia.damato at di.uniba.it (Claudia d'Amato) Date: Thu, 26 Jan 2012 15:51:04 +0100 Subject: ICSC 2012: Call for Workshop Proposals Message-ID: <4F216858.5050402@di.uniba.it> ------------- Apologies for multiple cross-postings --------------------- CALL FOR WORKSHOP PROPOSALS The Sixth IEEE International Conference on Semantic Computing (ICSC2012) continues to foster the growth of a new research community. The conference builds on the success of the past ICSC conferences as an international forum for researchers and practitioners to present research that advances the state of the art and practice of Semantic Computing, as well as identifying emerging research topics and defining the future of the field. The event is located in Palermo, Italy on the Piazza borsa hotel. The technical program of ICSC2012 includes workshops, invited keynotes, paper presentations, panel discussions, industrial "show and tells", demonstrations, and more. Submissions of high-quality papers describing mature results or on-going work are invited. The main goal of the conference is to foster the dialog between experts in each sub-discipline. Therefore we especially encourage submissions of work that is interesting to multiple areas, such as multimodal approaches. Workshops ============================================================ IEEE ICSC 2012: The Sixth IEEE International Conference on Semantic Computing September 19th- 21st, 2012 Palermo, Italy The IEEE ICSC 2012 organizing committee invites proposals for workshops to be held in conjunction with the conference. All workshop proposals are welcome on specific topics of the main conference. The goal of the workshops is to provide an informal forum for researchers to discuss focused and/or emerging research questions and challenges. The typical duration for a workshop is one day. The organizer(s) of approved workshops are responsible for advertising the workshop, distributing the call for papers, gathering submissions, and conducting the paper review process. Important dates ============================================================ - The deadline for workshop proposals is Feb 20th, 2012. - Notifications: March 23rd, 2012. ============================================================ Any general questions regarding ICSC 2012 Workshops and workshop proposals should be directed to the Workshop Co-Chairs by using the following email address: ws-icsc12 at pa.icar.cnr.it Please add [ICSC2012-WS-Proposal] as subjects. Notes that the workshop submission deadline should preferably take place after ICSC notification and workshop paper notifications *must* be sent before the ICSC early registration deadline (which will be announced later). Each workshop proposal (pdf file) must include: (1) Title and acronym. (2) Names, affiliations, and contact details of all organizers (please indicate a primary contact person to whom correspondence should be directed). (3) Short description (workshop format and duration, tentative call for papers, tentative invited speakers and members of the program committee). (4) Audience: research groups working in the field; (if applicable) details about previous editions of the workshop; related workshops in other venues; expected number of submissions. (5) One paragraph about each organizer (scientific profile, previous events you have organized). (6) Every information you deem to be relevant. Policy: * all workshop participants, including the organizer, are required to register for both the workshop and the main conference. All workshop participants are required to register for both the workshop and the main conference. * Due to budget reasons, a workshop might be canceled if there are not enough submissions or registrations. * Proceedings: The organizers will provide a single pdf file to be posted on the website. -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : claudia_damato.vcf Dateityp : text/x-vcard Dateigröße : 334 bytes Beschreibung: nicht verfügbar URL : From annette at cs.vu.nl Thu Jan 26 17:44:20 2012 From: annette at cs.vu.nl (Annette ten Teije) Date: Thu, 26 Jan 2012 17:44:20 +0100 Subject: Second CfP: 18th Int. Conf. on Knowledge Engineering and Knowledge Management (EKAW 2012) References: Message-ID: 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 From Manuela.Bujorianu at manchester.ac.uk Thu Jan 26 22:26:10 2012 From: Manuela.Bujorianu at manchester.ac.uk (Manuela Bujorianu) Date: Thu, 26 Jan 2012 21:26:10 +0000 Subject: HAS2012: Hybrid Autonomous Systems Workshop Message-ID: <38A9C8B532151940826352E121D3570C08EAFA@MBXP07.ds.man.ac.uk> * Aplogies for the inherent multiple postings! The second edition of the Workshop on Hybrid Autonomous Systems Tallinn, Estonia, 31st of March Satellite event of ETAPS 2012 1 tutorial and 8 lectures http: http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/HAS2012.htm Early regstration: 29 January 2012 Registration fee: 30 euro On-line registration is available at: https://purchase.ioc.ee/etaps12/ Organization Manuela Bujorianu (University of Manchester, UK) Emilio Frazzoli (MIT, US) Joost-Pieter Katoen (RWTH Aachen, DE) Tutorial Pieter Mosterman (MathWorks, US and McGill University, CA) Analyzing Execution Semantics of High-level Formalisms for Modelling Hybrid Dynamic Systems Lectures Luca Bortolussi (University of Trieste, IT) Hybrid Behaviour of Continuous Time Markov Chains Louise Dennis (University of Liverpool, UK) Verifying Reasoning within Agent-based Hybrid Control Systems Martin Fraenzle (Oldenburg University, DE) Towards a formal basis of robust behaviour Holger Hermanns (University of Saarlandes, DE) Wireless Hard Real-Time. Probably Provable Mike Hinchey (LERO and NASA, IE) The Challenge of Developing Autonomic Space-exploration Systems Peter Marwedel (University of Dortmund, DE) Efficient Computing in Cyber-Physical Systems Giordano Pola (University of L’Aquila, IT) Arenas of Finite State Machines and their application to the Modelling and Analysis of Air Traffic Management Systems Cristina Seceleanu (Malardalen University, SE) A Resource-Aware Framework for Embedded System Design and Its Extension Towards Adaptivity From announce at teco.edu Sat Jan 28 10:53:22 2012 From: announce at teco.edu (announce at teco.edu) Date: Sat, 28 Jan 2012 10:53:22 +0100 Subject: CFP: Personal and Ubiquitous Computing - Special Issue on Security and Trust in Context-Aware Systems Message-ID: ===================================================================== cfp Personal and Ubiquitous Computing Special Issue on Security and trust in Context-Aware systems (http://www.springer.com/computer/hci/journal/779) ===================================================================== Important dates Manuscript submission: 28.02.2012 First round of reviews: 31.03.2012 Submission of revisions: 21.04.2012 Acceptance notification: 21.05.2012 Final manuscript due: 18.06.2012 Publication date: Summer 2012 Scope Over the last several years, studies considering impacts of security and trust in personal and ubiquitous computing have become an independent research field within the Pervasive Computing area. One strand has concentrated on using context data to establish security or authentication, while a second strand considers trust in context and services provided by remote devices. A third strand, motivated by corporate applications, focuses on resilience of an instrumentation of distributed sources. Research also considers the question how much information can be obfuscated to protect the privacy of a user without preventing the correct operation of a given application. Methodologically, new models for the specific attack scenarios, security threats and counter-effects in wireless sensor networks and context-aware mobile systems need to be developed. Clearly, these strands intersect varied disciplines, including acquisition and classification of context, cryptography and fuzzy authentication, sensor networks, information theory and interface design. The objective of this special issue is to provide a platform to bring together the above strands and other emerging paradigms of research in this area and thereby provide further impetus to research on this class of problems. We solicit original papers and tutorial surveys on the following list of indicative topics. - Context-based mobile wireless authentication - Context-based device pairing - Securing context-aware applications - Sensor-, context-, and location-based authentication - Spontaneous secure context-based device interactions - Autonomic and dependable computing - Methods and techniques for self-configuration, self-healing, self-protecting systems - Flexible and secure orchestration of ICT services - Establishing and managing trust in cyber-physical systems - Anonymous/pseudonymous context aware mobile computation - Legal and social issues of security and privacy for mobile devices - Perception of security and privacy in mobile computing - Resilient cryptography - Entropy of context based keys - Fuzzy cryptography - Security with noisy data - Usability aspects of secure and privacy-preserving context-aware systems - Mechanisms that improve a user's awareness of, and control over, privacy and security - Agent-based methods and architectures for trust and security in Ubiquitous Computing - Contextual reasoning methods for privacy and security in Ubiquitous Computing - Ontology-based and knowledge-based methods and architectures As usual, the above is not an exhaustive list but an indicative one Sumbission Process Prospective authors should submit a pdf of their manuscript via EasyChair: https://www.easychair.org/account/signin.cgi?conf=stpuc2012. Formatting should follow the PUC-guidelines (see http://www.springer.com/computer/hci/journal/779 for more details). Submissions should not exceed 8000 words. Prior to submitting their papers for review, authors should make sure that they understand and agree to adhere to the over-length page charge policy presented in the PUC guidelines. Guest editors René Mayrhofer, Hedda R. Schmidtke Stephan Sigg Contact SecurityAndTrust2012 at easychair.org From greg at csd.auth.gr Mon Jan 30 07:56:03 2012 From: greg at csd.auth.gr (Grigorios Tsoumakas) Date: Mon, 30 Jan 2012 08:56:03 +0200 Subject: 2nd Call for Workshops, Tutorials and Papers at ECML PKDD 2012 Message-ID: <4F263F03.2070400@csd.auth.gr> 2nd Call for Workshops, Tutorials and Papers at ECML PKDD 2012 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/ ----------------------------------- Tutorials and Workshops ----------------------------------- ECML PKDD is the prime European scientific event in the fields of Machine Learning and Data Mining. The first and last day of the program are dedicated to workshops and tutorials on related topics. In this message, we call for proposals for workshops or tutorials. Candidate organizers should submit their proposal to either the workshop chairs or the tutorial chairs before or on March 9, 2012. For more information, please check the following detailed calls: - for workshops: http://www.ecmlpkdd2012.net/calls/call-for-workshops/ - for tutorials: http://www.ecmlpkdd2012.net/calls/call-for-tutorials/ Proposal deadline: Friday, March 9, 2012 Proposals for workshops or tutorials should be sent by email to: - ecmlpkdd2012workshops at cs.bris.ac.uk (workshop proposals) - ecmlpkdd2012tutorials at cs.bris.ac.uk (tutorial proposals) Arno Knobbe & Carlos Soares ECML PKDD 2012 Workshop Chairs Alessandro Moschitti and Siegfried Nijssen ECML/PKDD 2012 Tutorial Chairs -------------- Papers -------------- 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. For more information, please check the following detailed call: http://www.ecmlpkdd2012.net/calls/call-for-papers/ 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) ------------------------------------------ Follow ECML PKDD 2012 ------------------------------------------ - Twitter: @ECMLPKDD2012 - LinkedIn: http://www.linkedin.com/groups?gid=4257980 - Facebook: http://www.facebook.com/pages/ECML-PKDD-2012/298600073514446 From pascal.hitzler at wright.edu Tue Jan 31 02:46:52 2012 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Mon, 30 Jan 2012 20:46:52 -0500 Subject: Semantic Web Journal: Special Call for Surveys on Application Areas of Semantic Technologies Message-ID: <4F27480C.3070400@wright.edu> Semantic Web journal Special Call for Surveys on Application Areas of Semantic Technologies Semantic Web technologies are currently in a transition from research to practice. The amount of progress made in different application areas, however, differs significantly, as do the challenges which lie ahead. The Semantic Web journal calls for survey papers on the state of the art in research, development, and deployment of Semantic Web technologies in specific application areas and domains. Surveys should focus on one specific application area and discuss in a comprehensive way * its importance, * the particular (past, present, and future) challenges faced in applying Semantic technologies in this area, and * the state of the art in developing foundational principles and practical solutions related to this area. Application areas covered may range from those where commercial solutions have already been deployed, to areas where basic research is still under way. They may address very specific needs, e.g., mobile recommender systems, or span broader scientific domains, e.g., the life sciences. Survey articles should have the potential to become well-known introductory and overview texts. They will be reviewed along the following dimensions: (1) Suitability as introductory text, targeted at researchers, students, or practitioners, to get started on the covered topic. (2) How comprehensive and how balanced is the presentation and coverage. (3) Readability and clarity of the presentation. (4) Importance of the covered material to the broader Semantic Web community. Prospective authors must take notice of the submission guidelines posted at http://www.semantic-web-journal.net/authors Authors must submit an intention to contribute, consisting of (tentative) list of authors, (tentative) title, and a short abstract, by March 15th. The reason for this requirement is to avoid that multiple surveys are written on very similar topics. Deadlines: Intention to contribute: March 15th, 2012 Paper submission: May 15th, 2012 First 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 From cfp at grid.chu.edu.tw Tue Jan 31 04:41:11 2012 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Tue, 31 Jan 2012 11:41:11 +0800 Subject: Three co-located conferences, IEEE UIC 2012, IEEE ATC 2012, ICA3PP 2012 (Fukuoka, Japan, September 04-07, 2012) Message-ID: <201201310341.q0V3fBeJ023190@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: