From cgf at isep.ipp.pt Fri Jun 1 00:24:07 2012 From: cgf at isep.ipp.pt (Carlos Ferreira) Date: Thu, 31 May 2012 23:24:07 +0100 Subject: Deadline Extension: 14 Jun - Ubiquitous Data Mining Workshop (ECAI 2012) Message-ID: <4FC7EF87.4000301@isep.ipp.pt> ** Apologies for cross-posting ** Ubiquitous Data Mining (UDM) Workshop Montpellier, France, August 27-31, 2012 http://www.liaad.up.pt/udm/ in conjunction with ECAI 2012 20th European Conference on Artificial Intelligence Montpellier, France, August 27-31, 2012 http://www2.lirmm.fr/ecai2012/ -- Important Dates -- Extended Paper submission: 14 Jun, 2012 Author notification: 28 Jun, 2012 Camera-ready copy: 9 Jul, 2012 == Call for Papers == Ubiquitous Data Mining (UDM) uses Data Mining techniques to extract useful knowledge from data, namely when its characteristics reflect a World in Movement. The goal of this workshop is to convene researchers (from both academia and industry) who deal with techniques such as: decision rules, decision trees, association rules, clustering, filtering, learning classifier systems, neural networks, support vector machines, preprocessing, postprocessing, feature selection, visualization techniques, etc. for UDM of distributed and heterogeneous sources in the form of a continuous stream with mobile and/or embedded devices and related themes. Authors are invited to submit original papers in all topics related to Ubiquitous Data Mining. Selected papers will have to be presented during the workshop. The workshop will include extra time for audience discussion of the presentation allowing the group to have a better understanding of the issues, challenges, and ideas being presented. Authors of best workshop papers will be invited to submit extended versions of their work to Intelligent Data Analysis Journal. -- Topics -- Topics include but are not restricted to: - Adaptive Data Mining - Distributed Data Mining - Distributed Data Streams - Grid Data Mining - Learning in Ubiquitous environments - Learning from Sensor Networks - Learning from Social Networks - Visualization Techniques for UDM - Incremental On-line Learning Algorithms - Single-Pass and Scalable Algorithms - Learning in distributed neural network systems; - Real-Time and Real-World Applications - Resource-aware UDM - Theoretical frameworks for UDM -- Submission -- All papers should be submitted in ECAI 2012 camera ready format for publication in the symposium proceedings. The maximum length of papers should not exceed 5 pages in the case of research and experience papers, and 2 pages in the case of position papers (including figures, bibliography and appendices). Submission guidelines must be strictly followed. Papers should be submitted in PDF using the EasyChair conference system available at https://www.easychair.org/conferences/?conf=udm2012 All workshop participants are required to register for both the workshop and the main conference. ECAI, is the leading Conference on Artificial Intelligence in Europe, and is a biennial organization of the European Coordinating Committee for Artificial Intelligence ECCAI. -- Workshop Chairs -- João Gama, Manuel Filipe Santos, Nuno Marques, Paulo Cortez and Pedro Pereira Rodrigues -- Publicity Chair -- Carlos Abreu Ferreira Looking forward to meeting you in Montpellier! From H.Prakken at uu.nl Fri Jun 1 10:10:07 2012 From: H.Prakken at uu.nl (Henry Prakken) Date: Fri, 1 Jun 2012 10:10:07 +0200 Subject: CFP JURIX 2012: Legal Knowledge and Information Systems Message-ID: <4FC878DF.7010208@uu.nl> Call for Papers: JURIX 2012 http://conference.jurix.nl/2012/cfp.html The 25th International Conference on Legal Knowledge and Information Systems University of Amsterdam, The Netherlands, 17-19th December 2012 Celebrating 25 years of supporting and enhancing cutting edge research in the interface between law and computer technology, the 2012 JURIX conference will return to its roots in Amsterdam. We invite submission of original papers on the advanced management of legal information and knowledge, covering foundations, methods, tools, systems and applications for the following (non-exhaustive) list of topics: * Support for lawyers, in legal reasoning, document drafting, negotiation; * Support for the production and management of legislation, in agenda setting, policy analysis, drafting, workflow management, monitoring implementation; * Support for the judiciary, in application of the law, analysis of evidence, management of cases; * Support for police activities, in forensic inquiries, search and evaluation of evidence, management of investigations; * Support for public administration, in applying regulations and managing information; * Support for the acquisition, management or use of legal knowledge, using rules, cases, neural networks, intelligent agents or other methods; * Systems and methods to support policies and legal issues for social networks; * Retrieval of legal information; * Legal education; * Digital-rights management; * Alternative dispute resolution, particularly on-line; * Regulatory compliance and compliance of business processes; * Theoretical foundations for the use of Artificial Intelligence techniques in the legal domain; * Models of legal knowledge, including concepts (legal ontologies), rules, cases, principles, values and procedures; * Legal inference and argumentation; * Verification and validation of legal knowledge systems; * Management of legal information in the semantic web; * XML standards for legal documents, including legislative, judicial, administrative acts as well as private documents, such as contracts; * Modelling the legal interactions of autonomous agents and digital institutions; * Methods for managing organizational change when introducing legal knowledge systems; * Evaluation of systems using advanced informatics techniques in legal applications; * Interdisciplinary applications of legal informatics methods and systems. The deadline for paper submission is the 1. September 2012. Papers should be submitted through the EasyChair Conference Management System, https://www.easychair.org/conferences/?conf=jurix2012 using PDF or Word format, and should not exceed 10 pages when formatted using the styles and guidelines in the Instructions for Authors. Author instructions and style sheets can be found at the IOS Press site under “Book Publishing” in the “Authors’ Corner”. Authors are strongly encouraged to use these style sheets, as papers not meeting the publisher’s criteria or exceeding the page limit will be excluded from inclusion in the proceedings. The conference proceedings will be published by IOS Press (Amsterdam, Berlin, Oxford, Tokyo, Washington DC) in their series “Frontiers in Artificial Intelligence and Applications” before the Conference Proposals for tutorials and workshops are invited and strongly encouraged. All proposals, including a short description of the topic, should be sent to the Programme Chair by email. . There will also be a possibility to publish selected workshop papers with a range of peer reviewed journals, including SCRIPTed Programme Chair: Burkhard Schafer, SCRIPT Centre for IT and IP Law University of Edinburgh, UK. b.schafer at ed.ac.uk Local Organisation Chair: Tom van Engers, Leibniz Center for Law Faculteit der Rechtsgeleerdheid/Faculty of Law Universiteit van Amsterdam vanEngers at uva.nl Conference website: http://conference.jurix.nl/2012/cfp.html Important Dates: * Deadline for submissions of papers: 1. September 2012 * Notification of acceptance: 30th September * Final, camera-ready copies required by: 5th October 2012 * Deadline for proposals for workshops and tutorials: 15. September * Conference: main conference 17-18th December, workshops 19th December JURIX conferences are held under the auspices of the Dutch Foundation for Legal Knowledge Systems. Contacts You can contact us by sending an email to Burkhard Schafer, B.schafer at ed.ac.uk From georgev at unipi.gr Fri Jun 1 14:47:58 2012 From: georgev at unipi.gr (George Vouros) Date: Fri, 1 Jun 2012 15:47:58 +0300 Subject: 2nd CfP: First International Conference on Agreement Technologies (AT 2012) Message-ID: <48C4D441-0B1A-4063-990F-AE46679C8139@unipi.gr> [Apologies if you receive this more than once] ==================================== C A L L F O R P A P E R S AT 2012 First International Conference on Agreement Technologies October 15 - 16, 2012 in Dubrovnik, Croatia http://at2012.tel.fer.hr/ ==================================== AIMS & SCOPE ======================== Agreement Technologies refer to computer systems in which autonomous software agents negotiate with one another, typically on behalf of humans, in order to come to mutually acceptable agreements. An agent may choose whether to fulfil an agreement or not, and it should fulfil it when there is an obligation to do so derived from the standing agreements. Autonomy, interaction, mobility and openness are key concepts studied within the Agreement Technologies approach. Semantic alignment, negotiation, argumentation, virtual organisations, trust and reputation and several other technologies are part of the sandbox to define, specify and verify such systems. The first International Conference on Agreement Technologies is an interdisciplinary forum that brings together researchers and practitioners working on the various topics comprising this emergent and vibrant field. It provides an avenue to discuss and exchange new ideas and techniques for the design, implementation and verification of next generation open distributed systems centred on the notion of agreement among computational agents. The conference is supported by COST Action IC0801 on Agreement Technologies. TOPICS OF INTEREST =================== - Argumentation, negotiation - Trust and reputation - Coordination and distributed decision making - Computational Social Choice - Semantic alignment - Inter-theory Relations - Decision and game theoretic foundations for agreement - Agent Commitments - Semantic Service Coordination - Normative Systems - Individual reasoning about norm adoption - Collective deliberation about norm adoption - Autonomic Electronic Institutions - Group planning agreements - Deliberative Agreement: social choice and collective judgment - Evolution of organisational structures - Social Intelligence - Logics for Agreements - Real-time agreements - Agreement patterns - Agreement technologies architectures, environments and methodologies - Applications of agreement technologies (e.g. web service composition, contract automation, supply chain automation, sensor networks, etc.) SUBMISSION DETAILS =================== We encourge submission of original papers from the above-mentioned or other related areas. Each submission should be in one of the following categories: Full Papers: Papers in this category should represent original and previously unpublished work that is currently not under review in any conference or journal. Both basic and applied research papers are welcome. Papers should not exceed 15 pages including references and figures. Position Papers: Contributions in this category may represent either a summary of original work that has already been published in a conference or journal (in this case submissions must include explicitly a reference to the already published work), or a summary of original results obtained as a product of STSMs funded by the Agreement Technologies Cost Action, or ongoing research that can lead to important contributions to Agreement Technologies. Submissions in this category should not exceed 2 pages. All submissions must be written in English and formatted according to the Springer LNCS style, which can be obtained from http://www.springer.de/comp/lncs/authors.html. Submissions must be done via easychair at https://www.easychair.org/conferences/?conf=at2012 All papers will be reviewed. The conference proceedings will be published with CEUR-WS.org. We also plan a special issue of AI Review for extended versions of high-quality papers describing original, novel research. IMPORTANT DATES ======================= Abstracts due: June 20, 2012 Full papers due: June 25, 2012 Notification: July 20, 2012 Camera-ready submission: September 9, 2012 AT-2012 conference: October 15-16, 2012 CONFERENCE OFFICIALS =================== Conference Chair: Sascha Ossowski (University Rey Juan Carlos, Spain) Programme Chairs: Francesca Toni (Imperial College London, UK) George Vouros (University of Piraeus, Greece) Local Chairs and Organisation: Gordan Jezic, University of Zagreb, Croatia Mario Kusek, University of Zagreb, Croatia Marin Lujak, University Rey Juan Carlos, Spain Tanja Grzilo, University of Zagreb, CAAS Dubrovnik, Croatia CONTACT =============================== Email: at2012 at agreement-technologies.eu Web: http://at2012.tel.fer.hr/ ================================ George Vouros Professor Dept of Digital Systems, University of Piraeus Greece URL: http://ai-group.ds.unipi.gr/georgev/ Email: georgev at unipi.gr Voice: +30 210 4142552 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pascal.hitzler at wright.edu Fri Jun 1 17:43:12 2012 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Fri, 01 Jun 2012 11:43:12 -0400 Subject: Call for Contributions: What will the Semantic Web look like 10 years from now? - workshop at ISWC2012 Message-ID: <4FC8E310.3040201@wright.edu> Call for Contributions ISWC2012 workshop on What will the Semantic Web look like 10 years from now? http://stko.geog.ucsb.edu/sw2022/ The Semantic Web, as a field, is undergoing a major shift. After 10 years of mainly foundations-driven research, we now see strong indicators that Semantic Web methods are entering mainstream technology, in a number of forms. The consequent rise in commercial interest will likely have a fundamental impact on the field. Some established research results will make it into mainstream applications. Others will become obsolete. Radically new ideas will emerge. It is thus the right time for the community to contemplate the way ahead. In this workshop, we will provide an exciting forum for the discussion of the future of the Semantic Web. Researchers and practitioners from all corners of the field are invited to provide their insights and projections. The event will focus on discussions and the exchange of ideas, and will use a mix of different styles of interaction between the participants. It is always good to try to look ahead and anticipate the development of a field. For the Semantic Web, it is now particularly important because recent developments indicate that Semantic Web technologies are entering the industrial mainstream. Schema.org and the Facebook Open Graph Protocol are bringing metadata to bear on the Web large-scale. IBM's Watson and Apple's Siri incorporate Semantic Technologies. Google is revamping its search approach and is going more semantic in implementing their knowledge graph. And these are just a few of the prominent examples. The commercial uptake will be a game-changer for the field. It seems that only a fraction of the research results of the past ten years are currently being picked up. It seems that shallow semantics brings added value in many, but not all, application areas. In others it seems that there are roadblocks for which deep semantics is required for added value - but current approaches are still limited. Linked Data and Big Data are popular buzzwords right now, but could they be hitting a peak on the expectation curve? If so, what is going to happen in the subsequent dive? If not, how will those areas affect the field's future? In this workshop, we intend to bring together researchers from all corners of the broader Semantic Web community, to share and discuss projections of the way ahead in Semantic Web technologies and knowledge engineering in general. WORKSHOP FORMAT AND STRUCTURE This full-day workshop is open for all interested parties. We ask for responses to the question in the workshop's title, and they can be of a variety of formats, including short (4-6 page) papers, abstracts, slidesets or any other (up to 6 page) approach an author may wish to include. The submitted material will be assessed by the program committee and the organizers, and decisions will be made which of the contributions can be presented, and in what form. Depending on the contributions, we will have primarily short oral presentations, panel discussions, posters, and demos. Most importantly, the workshop will focus on the exchange of ideas and on discussions. SUBMISSIONS AND PROCEEDINGS Sumissions, which are due by July 31, 2012, can take a variety of formats, limited to a maximum of 6 pages. They can be * single-page abstracts * short papers (4-6 pages) * a set of slides (maximum 4 slides per page) * any other format (e.g., HTML5 limited to an equivalent of 6 pages, audio or video limited by 5 minutes) - authors are encouraged to contact the chairs to get approval. All accepted submissions will be made available through the workshop web-page and the electronic conference proceedings of ISWC 2012. Accepted papers and other suitable material will be made available via CEUR-WS. Selected papers may be considered for a fast-track submission to a Semantic Web journal. Submissions must be made via easychair at http://www.easychair.org/conferences/?conf=sw2022 IMPORTANT DATES Submissions due: July 31, 2012 Acceptance Notification: August 21, 2012 Camera-ready Copies: September 10, 2012 ORGANIZERS Frank van Harmelen, Vrije Universiteit Amsterdam, The Netherlands James A. Hendler, Rensselaer Polytechnic Institute, U.S.A. Pascal Hitzler, Kno.e.sis Center, Wright State University, U.S.A. Krzysztof Janowicz, University of California, Santa Barbara, USA Denny Vrandecic, AIFB, Karlsruhe Institute of Technology, Germany; and Wikimedia Deutschland PROGRAMME COMMITTEE Stefan Decker, DERI Galway, Ireland Dieter Fensel, STI Innsbruck, Austria Tim Finin, University of Maryland, U.S.A. Mark Greaves, Vulcan, Inc. Jeff Hefflin, Leehigh University, U.S.A. Ivan Hermann, W3C Ian Horrocks, University of Oxford, U.K. Aditya Kalyanpur, IBM Werner Kuhn, University of Muenster, Germany Ora Lassila, Nokia Tony Lee, Saltlux, South Korea David Martin, Apple, Inc. Enrico Motta, The Open University, U.K. Natasha Noy, University of Stanford, U.S.A. Evelyne Viegas, Microsoft Michael Witbrock, CyCorp For further information, please see http://stko.geog.ucsb.edu/sw2022/ -- 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 announce at cs.ucy.ac.cy Sun Jun 3 11:47:29 2012 From: announce at cs.ucy.ac.cy (Announcements) Date: Sun, 3 Jun 2012 12:47:29 +0300 Subject: IEEE CSE/EUC 2012: Final Call for Papers (extended deadline!) Message-ID: *** Final Call for Papers *** The 15th IEEE International Conference on Computational Science and Engineering (IEEE CSE 2012) http://www.cse2012.cs.ucy.ac.cy/ The 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (IEEE/IFIP EUC 2012) http://www.euc2012.cs.ucy.ac.cy/ 3-5 October 2012, Paphos, Cyprus *** EXTENDED DEADLINE: 10th June 2012 *** CSE 2012 The Computational Science and Engineering area has earned prominence through advances in electronic and integrated technologies beginning in the 1940s. Current times are very exciting and the years to come will witness a proliferation in the use of various advanced computing systems. It is increasingly becoming an emerging and promising discipline in shaping future research and development activities in academia and industry, ranging from engineering, science, finance, economics, arts and humanitarian fields, especially when the solution of large and complex problems must cope with tight timing schedules. CSE 2012 is the next event, in a series of highly successful IEEE International Conferences on Computational Science and Engineering, held mainly as the International Workshop on High Performance Scientific and Engineering Computing for 10 editions. The previous CSE-11 was held in Dalian, China, August 24-26, 2011. CSE 2012 is to bring together computer scientists, applied mathematicians, engineers in different disciplines and researchers to present, discuss and exchange ideas, results and experiences in the area of advanced computing for problems in science and engineering applications and inter-disciplinary. We are inviting new and unpublished papers on, but not limited to, the following topics: * Intelligent and Bio-inspired Computing * Distributed and Parallel Computing * Database and Data Mining * Cluster, Grid, P2P and Cloud Computing * Mobile Computing and Wireless Communications * CSE Education * Scientific and Engineering Computing * Embedded and Ubiquitous Computing * Advanced Networking and Applications * Security, Privacy and Trust * Service and Internet Computing - Dependable, Reliable and Autonomic Computing * CSE applications EUC 2012 Embedded and ubiquitous computing is an exciting paradigm that promises to provide computing and communication services to the end users all the time and everywhere. Its systems are now invading in every aspect of our daily life and promise to revolutionize our life much more profoundly than elevators, electric motors or even personal computer evolution ever did. The emergence of this technology is a natural outcome of research and technological advances in a variety of areas including embedded systems, pervasive computing and communications, wireless networks, mobile computing, distributed computing and agent technologies. EUC 2012 is the next event, in a series of highly successful IEEE International Conferences on Embedded and Ubiquitous Computing (EUC), previously held as ICDCS-ECS04 (Tokyo, Japan, March 2004), EUC-04 (Aizu, Japan, August 2004), EUC-05 (Nagasaki, Japan, December 2005), EUC-06 (Seoul, Korea, August 2006), EUC-07 (Taipei, Taiwan, December 2007), EUC-08 (Shanghai, China, December 2008), EUC-09 (Vancouver, Canada, August 2009), EUC-10 (Hong Kong, December 2010) and EUC 2011 (Melbourne, Australia, October 2011). Topics of particular interest include, but are not limited to: Embedded Computing * Embedded System Software and Optimization * Embedded System Architectures * Hardware/Software Co-design and Design Automation * Real-Time Systems and Operating Systems * Application-Specific Processors and Devices * Power-Aware Computing * Sensor Networks * System/Network-on-Chip * Reconfigurable Computing Systems and Applications * Cyber-Physical Systems Ubiquitous Computing * Pervasive Computing and Communications * Middleware and Peer-to-Peer Computing * Internet Computing and Applications * Multimedia and Data Management * Human-Computer Interaction * Network Protocols * Wireless Communication & Networks * Mobile Computing * Agents and Distributed Computing * Security and Fault Tolerance Applications Submission Guidelines Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers should be at most 8 pages including the bibliography and well-marked appendices, and should follow the IEEE 8.5" x 11" Two-Column Format. Committee members are not required to read the appendices, and so the paper should be intelligible without them. Submissions are to be made to the submission web site. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Papers must be received by the submission deadline. Authors of accepted papers must guarantee that their papers will be presented at the conference. Accepted papers will be published in the IEEE conference proceedings (EI indexed). Selected best papers will be published in special issues of high quality journals (currently under negotation). Important Dates * Submission Deadline: 10 June * Notification of Acceptance: 15 July * Camera-ready Versions Submitted: 31 July * Author Registration: 31 July -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. From pmt6sbc at maths.leeds.ac.uk Sun Jun 3 12:37:46 2012 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Sun, 3 Jun 2012 11:37:46 +0100 (BST) Subject: Turing Centenary Conference, Manchester, June 22-25: Call for Participation Message-ID: <201206031037.q53AbkPm004056@maths.leeds.ac.uk> THE TURING CENTENARY CONFERENCE Manchester, UK, June 22-25, 2012 http://www.turing100.manchester.ac.uk/ Call for Participation NEWS: (1) The early registration deadline has been extended to June 11, 2012 (2) The organisers have funds for supporting participants. Please write to the programme chair if support is essential for your attendance. The programme includes 18 invited talks (of which 10 are given by Turing Award winners), 2 public talks, 2 panels, a poster session, a chess programme and a competition of programs proving theorems. Public lectures: -- Jack Copeland (University of Canterbury, New Zealand) Alan Turing, Pioneer of the Information Age -- Sir Roger Penrose (University of Oxford, Wolf Prize winner) The Problem of Modelling the Mathematical Mind Invited lectures: -- Garry Kasparov (Kasparov Chess Foundation) The Reconstruction of Turing's "Paper Machine" -- Vint Cerf (Google, Turing Award winner) Turing's Legacy in the Networked World -- David Ferrucci (IBM) Beyond Jeopardy! The Future of Watson -- Don Knuth (Stanford University, Turing Award winner) All Remaining Questions Answered -- Adi Shamir (Weizmann Institute of Science, Turing Award winner) Turing's Cryptography from a Modern Perspective -- Samuel Klein (Wikipedia) TBC -- George Ellis (University of Cape Town, Templeton Award winner) On the Nature of Causation in Digital Computer Systems -- Frederick P. Brooks, Jr. (University of North Carolina, Turing Award winner) Pilot ACE Architecture in Context -- Sir Tony Hoare (Microsoft Research, Turing Award winner) Can Computers Understand Their Own Programs? -- Edmund M. Clarke (Carnegie Mellon University, Turing Award winner) Model Checking and the Curse of Dimensionality -- Michael O. Rabin (Harvard University, Turing Award winner) Turing, Church, Gödel, Computability, Complexity and Randomization: A Personal Perspective -- Leslie Valiant (Harvard University, Turing Award winner) Computer Science as a Natural Science -- Andrew Chi-Chih Yao (Tsinghua University, Turing Award winner) Quantum Computing: A Great Science in the Making -- Manuela M. Veloso (Carnegie Mellon University) Symbiotic Autonomy: Robots, Humans, and the Web -- Rodney Brooks (MIT) Turing's Humanoid Thinking Machines -- Hans Meinhardt (Max Planck Institute for Developmental Biology) Turing's Pioneering Paper 'The Chemical Basis of Morphogenesis and the Subsequent Development of Theories of Biological Pattern Formation -- Yuri Matiyasevich (Institute of Mathematics, St. Petersburgh) Alan Turing and Number Theory Panel speakers: -- Samson Abramsky (Oxford University) -- Ron Brachman (Yahoo Labs) -- Martin Davis (New York University) -- Steve Furber (The University of Manchester) -- Carole Goble (The University of Manchester) -- Pat Hayes (Institute for Human and Machine Cognition, Pensacola) -- Bertrand Meyer (Swiss Federal Institute of Technology) -- Moshe Vardi (Rice University) For more details please check http://www.turing100.manchester.ac.uk/. REGISTRATION: The number of participants is limited. Register early to avoid disappointment! To register, access https://www.easychair.org/conferences/?conf=turing100 and click on "Registration". *** Registration fees *** All fees are in Pound Sterling. early (on or before June 11) late (June 12 or later) Student 280 330 Regular 380 450 To qualify for a student registration you must be a registered full-time student on June 23, 2012. The registration fees include - Attendance of sessions - Conference reception - Conference dinner - Coffee breaks and lunches - Poster session proceedings CHAIRS: Honorary Chairs: Rodney Brooks (MIT) Roger Penrose (Oxford) Conference Chairs: Matthias Baaz (Vienna University of Technology) Andrei Voronkov (The University of Manchester) Turing Fellowships Chair: Barry Cooper (University of Leeds) Theorem Proving Competition Chair: Geoff Sutcliffe (University of Miami) Computer Chess Programme Chair Frederic Friedel (Chessbase) Programme Chair Andrei Voronkov (The University of Manchester) ------------------------------------------------------------------- The Alan Turing Year: http://www.turingcentenary.eu/ ------------------------------------------------------------------- From gregory.bonnet at unicaen.fr Mon Jun 4 08:56:02 2012 From: gregory.bonnet at unicaen.fr (=?windows-1252?Q?Gr=E9gory_Bonnet?=) Date: Mon, 04 Jun 2012 08:56:02 +0200 Subject: (deadline extension) 1st Workshop on Rights and Duties of Autonomous Agents (RDA2) at ECAI 2012 Message-ID: <4FCC5C02.10201@unicaen.fr> With apologies for multiple posting. Please forward to interested parties. * Deadline extension until June 10th 2012 * -------------------------------------------------------------------- Call for Papers -------------------------------------------------------------------- --RDA2-- "Rights and Duties of Autonomous Agents'' Workshop at ECAI 2012 August 27 or 28, 2012 Montpellier, France https://rda2-2012.greyc.fr/ -------------------------------------------------------------------- The autonomous decision capability embedded in software or robot agents is one of the major issues of Artificial Intelligence. It is a core property for AI applications such as e-commerce, serious games, ambient computing, social or collective robotics, companion robots, unmanned vehicles. Autonomous agents decide and act in a given context or environment and under domain constraints, and possibly interact with other agents or human beings e.g. to share tasks or to execute tasks on behalf of others. It is thus important to define regulation and control mechanisms to ensure sound and consistent behaviours both at the agent¹s individual level and at the multi-agent level. Organisation models, conversation policies, normative systems, constraints, logical frameworks address the problem of how agents¹ autonomous behaviours should be controlled, paving the way for formal or pragmatic definitions of agents¹ Rights and Duties. The issue is all the more important as autonomous agents may encounter new situations, evolve in open environments, interact with agents based on different design principles, act on behalf of human beings and share common resources. For instance: should an autonomous agent take over the control from a human operator? under which circumstances? The aim of this workshop is to promote discussions and exchanges on the different issues raised by autonomous agents¹ Rights and Duties and models that can be proposed to represent and reason on Rights and Duties. TOPICS OF INTEREST We encourage contributions from the following research and application areas: € Autonomous agents and privacy protection € Rights and duties for learning agents € Authority sharing between autonomous agents and human users or operators € Rights and duties of autonomous agents towards other agents; towards human users or operators € Rights and duties of human users or operators towards autonomous agents (especially robots) € Consistency, conflicts among rights and duties in multi-agent and human/agent systems € Mutual intelligibility, explanations € Rights and duties vs failures € Rights and duties of autonomous agents and ethical issues € Control of autonomous agents within organisations, institutions, normative systems € Sociology and law in the modelling of rights and duties: authority, power, dependence, penalty, contracts € Trust and reputation for autonomous agents regulation € Emergence and evolution of rights and duties € Knowledge representation and models for rights and duties € Reasoning on rights and duties € Validation of rights and duties in autonomous agents IMPORTANT DATES June 10th 2012: workshop paper submission deadline June 28th 2012: notification to authors July 9th 2012: camera ready copy submission August 27 or 28, 2012: workshop date SUBMISSION DETAILS Papers must not exceed SIX (6) pages in pdf format, using the ECAI formatting style: http://people.cs.kuleuven.be/%7Eluc.deraedt/ecai2012-style.zip Submissions are via EasyChair at: https://www.easychair.org/conferences/?conf=rda22012 The workshop proceedings will be published as CEUR proceedings. In addition, the organizers will apply for a special issue of an international journal where extended versions of selected papers of the workshop shall be published. For further information on the workshop:https://rda2-2012.greyc.fr/ -- Grégory Bonnet Assistant Professor (MAD Team - GREYC) www.gregory.bonnet.free.fr From a.ricci at unibo.it Mon Jun 4 16:41:44 2012 From: a.ricci at unibo.it (Alessandro Ricci) Date: Mon, 4 Jun 2012 14:41:44 +0000 Subject: CFP: AGERE! @ SPLASH 2012 - Programming based on Actors, Agents and Decentralized Control Message-ID: CALL FOR PAPERS AGERE! @ SPLASH 2012 2nd Int. Workshop on Programming based on Actors, Agents, and Decentralized Control Workshop held at the ACM SPLASH Conference 2012 Tucson, Arizona (US) October 22, 2012 http://agere2012.apice.unibo.it Deadlines: Abstracts August 5, 2012 Papers August 12, 2012 + special issue in Science of Computer Programming ăgo ăgo, ăgis, egi, actum, ăgĕre latin verb meaning to act, to lead, to do, common root for actors and agents The fundamental turn of software into concurrency and distribution is not only a matter of performance, but also of design and abstraction. It calls for programming paradigms that, compared to current mainstream paradigms, would allow us to more naturally think about, design, develop, execute, debug, and profile systems exhibiting different degrees of concurrency, autonomy, decentralization of control, and physical distribution. The AGERE! workshop is dedicated to focusing on and developing the research on programming systems, languages and applications based on actors, agents and any related programming paradigm promoting a decentralized control mindset in solving problems and in developing systems to implement such solutions. The workshop is designed to cover both the theory and the practice of design and programming, bringing together researchers working on the models, languages and technologies, and practitioners developing real-world systems and applications. The first edition of AGERE! was organized in SPLASH 2011, drawing significant interest and attendance (see program at http://agere2011.apice.unibo.it). The workshop is now scheduled to take place also at SPLASH 2012 and, related to this event, a special issue on the journal Science of Computer Programming is scheduled for the end of the year. === Organizers Gul Agha, University of Illinois at Urbana-Champaign, USA Rafael H. Bordini, FACIN–PUCRS, Brazil Assaf Marron, Weizmann Institute of Science, Israel Alessandro Ricci, University of Bologna, Italy (ref: a.ricci at unibo.it) === Program Committee (partial list, other names are to be confirmed) Gul Agha, University of Illinois at Urbana-Champaign, USA Joe Armstrong, SICS / Ericsson, Sweden Saddek Bensalem, Verimag, France Rafael H. Bordini, FACIN–PUCRS, Brazil Gilad Braha, Google, USA Rem Collier, UCD, Dublin Tom Van Cutsem, Vrije Universiteit, Brussel, Belgium Amal El Fallah Seghrouchni, LIP6 - Univ. P and M. Curie, Paris, France Jurgen Dix, Technical University of Clausthal, Germany Tom Holvoet, Dept. Computer Science K.U.Leuven, Belgium Assaf Marron, Weizmann Institute of Science, Israel Jens Palsberg, UCLA, Los Angeles, USA Ravi Pandya, Microsoft, USA Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany Alessandro Ricci, University of Bologna, Italy Birna van Riemsdijk, Delft University of Technology, The Netherlands Giovanni Rimassa, Whitestein Technologies, Switzerland Gera Weiss, Ben Gurion University, Israel Guy Wiener, HP, Israel Akinori Yonezawa, University of Tokyo, Japan University, Japan ... === Main topics The topics of interest for the workshop include: - Programming languages and frameworks + theory and practice about languages and frameworks based on agents, actors, and decentralized control. - Foundations + ideas, concepts, formalization of the computation and programming models for agents, actors and decentralized control. - Design + design principles underlying the paradigms and bridging the gap between design to programming - Validation and verification + theory and tools about testing, debugging, profiling, verifying and validating software systems based on such paradigms - Applications + design and development of real-world applications - Teaching + experiences and reflections about using these paradigms in teaching (concurrent and distributed) programming === Contributions & deadlines AGERE! welcomes three kinds of contributions: - full-papers + length up to 12 pages; covering new research, per the above topics, not previously published. - short-papers & position papers + length up to 4 pages, these papers are meant to introduce a contribution (an idea, a viewpoint, an argument, work in progress...) which may be in its initial stage and not fully developed but which is worth to be presented given its relevance to the AGERE! topics, triggering discussions and interactions. - reviews & surveys + up to 12 pages, these papers are meant to provide a good synthesis & reflections about some aspect (specific or general) which is relevant for the workshop, contributing then to workshop discussions on the state of the art and open issues - demo + length up to 4 pages, these contributions are about a technology/system that will be demonstrated during the workshop. Deadlines: Abstracts August 5, 2012 Papers (*) August 12, 2012 Papers can be submitted at https://www.easychair.org/conferences/?conf=ageresplash2012 in PDF format. Submissions should use the ACM format, following the guidelines in http://www.sigplan.org/authorInformation.htm. (*) including full-papers, short/position papers, reviews & surveys, demo papers === Publication channels Accepted papers (full, short/position, surveys/reviews, demo) will be included in the ACM DL proceedings after the conference. Besides, a selected set of papers will be invited to be extended and included in a special issue which is being organized for the end of the year in the journal Science of Computer Programming. The special issue will be about actor-oriented and agent-oriented programming, and - more generally - on programming systems, languages, and applications based on actors, agents, and decentralized control abstractions. Read more at the AGERE! web site: http://agere2012.apice.unibo.it === SELECTED BIBLIOGRAPHY * To “set the frequency” [1] Actors and Agents as Programming Paradigms - An Overview. AGERE! 2011 introductory talk. A. Ricci. http://apice.unibo.it/xwiki/bin/download/AGERE/WebHome/opening.pdf [2] H. Sutter and J. Larus. Software and the concurrency revolution. ACM Queue: Tomorrow’s Computing Today, 3(7):54–62, Sept. 2005. [3] M. Resnick. Turtles, Termites and Traffic Jams. Explorations in Massively Parallel Microworlds. MIT Press, 1994. [4] A. Kay. Programming and programming languages, 2010. VPRI Research Note RN-2010-001. [5] Howell R. Jordan, Goetz Botterweck, Marc-Philippe Huget, Rem Collier: A feature model of actor, agent, and object programming languages. SPLASH Workshops 2011: 147-158 * Actors & OO Concurrent Programming approaches [1] G. Agha. Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge, MA, USA, 1986. [2] C. Hewitt. Viewing control structures as patterns of passing messages. Artif. Intell., 8(3):323–364, 1977. [3] G. Agha, I. A. Mason, S. Smith, and C. Talcott. A Foundation for Actor Computation. Journal of Functional Programming, 7(01):1–72, 1997. [4] J.P. Briot, R. Guerraoui, and K.P. Lohr. Concurrency and distribution in object-oriented programming. ACM Comput. Surv., 30(3):291–329, 1998. [5] G. Agha. Concurrent object-oriented programming. In in Communications of the ACM, Association for Computing Machinery, vol. 33, no. 9, pp 125-141, September, 1990. [6] G. Agha, P. Wegner, and A. Yonezawa, editors. Research directions in concurrent object-oriented programming. MIT Press, Cambridge, MA, USA, 1993. [7] R. K. Karmani, A. Shali, and G. Agha. Actor frameworks for the JVM platform: a comparative analysis. In PPPJ ’09: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, pages 11–20, New York, NY, USA, 2009. ACM. [8] A. Yonezawa, editor. ABCL: an object-oriented concurrent system. MIT Press, Cambridge, MA, USA, 1990. [9] J. Armstrong. Erlang. Commun. ACM, 53(9):68–75, 2010. [10] J. Schafer and A. Poetzsch-Heffter. Jcobox: generalizing ¨active objects to concurrent components. In Proceedings of the 24th European conference on Object-oriented programming, ECOOP’10, pages 275–299, Berlin, Heidelberg, 2010. Springer-Verlag. [11] P. Haller and M. Odersky. Scala actors: Unifying thread-based and event-based programming. Theoretical Computer Science, 2008. [12] T. Van Cutsem: AmbientTalk: modern actors for modern networks. SPLASH Workshops 2011: 227-230 [13] M. S. Miller, Eric Dean Tribble, Jonathan S. Shapiro: Concurrency Among Strangers. TGC 2005: 195-229 * Agents and Agent-Oriented Programming [1] J. J. Odell. Objects and agents compared. Journal of Object Technology, 1(1):41–53, 2002. [2] N. R. Jennings. An agent-based approach for building complex software systems. Commun. ACM, 44(4):35–41, 2001. [3] Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51–92, 1993. [4] R. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors. Multi-Agent Programming Languages, Platforms and Applications. Volume 1 (2005) and 2 (2009). Springer. [5] A. Ricci, A. Santi. Designing a General-Purpose Programming Language based on Agent-Oriented Abstractions: The simpAL Project. SPLASH Workshops 2011: 159-170 [6] M. D. Travers. Programming with Agents: New metaphors for thinking about computation. Massachusetts Institute of Technology, 1996. [7] R. Bordini, J. Hubner, and M. Wooldridge. Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley & Sons, Ltd, 2007. [8] M. Dastani. 2apl: a practical agent programming language. Autonomous Agents and Multi-Agent Systems, 16(3):214–248, 2008. [9] K. V. Hindriks. Programming rational agents in GOAL. In R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors, Multi-Agent Programming: Languages, Platforms and Applications (2nd volume), pages 3–37. Springer-Verlag, 2009. [10] F. Bellifemine, G. Caire, A. Poggi, G. Rimassa: JADE: A software framework for developing multi-agent applications. Lessons learned. Information & Software Technology 50(1-2): 10-21 (2008) [11] N. Howden, R. Ronnquist, A. Hodgson, and A. Lucas. JACK intelligent agentsTM — summary of an agent infrastructure. In Proceedings of Second International Workshop on Infras- tructure for Agents, MAS, and Scalable MAS, held with the Fifth International Conference on Autonomous Agents (Agents 2001), 2001. [12] Sean Edward Russell, Howell R. Jordan, Gregory M. P. O'Hare, Rem W. Collier: Agent Factory: A Framework for Prototyping Logic-Based AOP Languages. MATES 2011: 125-136 [13] A. Pokahr, L. Braubach, Kai Jander: Unifying Agent and Component Concepts: Jadex Active Components. MATES 2010: 100-112 * Other Decentralized Control Programming Approaches [1] D. Harel, Assaf Marron, Gera Weiss: Programming Coordinated Behavior in Java. ECOOP 2010: 250-274 [2] S. Bliudze and J. Sifakis. A notion of glue expressiveness for component-based systems. CONCUR, 2008. [3] D. Harel, Assaf Marron, Guy Wiener, Gera Weiss: Behavioral programming, decentralized control, and multiple time scales. AGERE! @ SPLASH Workshops 2011: 171-182 LA RICERCA C’È E SI VEDE: 5 per mille all'Università di Bologna - C.F.: 80007010376 http://www.unibo.it/5permille Questa informativa è inserita in automatico dal sistema al fine esclusivo della realizzazione dei fini istituzionali dell’ente. From barbara.plank at disi.unitn.it Tue Jun 5 11:15:56 2012 From: barbara.plank at disi.unitn.it (Barbara Plank) Date: Tue, 5 Jun 2012 11:15:56 +0200 Subject: JIMSE 2012 Final CFP: Joint workshop on Intelligent Methods for Software System Engineering at ECAI 2012 *** extended deadline: June 20 *** NEWS! student scholarships *** Message-ID: (Apologies for cross-posting) JIMSE: Joint workshop on Intelligent Methods for Software System Engineering **************************************************************************** Co-located with ECAI 2012 August 27 or 28, 2012 Montpellier, France The first Joint workshop on Intelligent Methods for Software System Engineering will be held in conjunction with ECAI 2012, the biennial European Conference on Artificial Intelligence, the leading conference on Artificial Intelligence in Europe, which will take place in Montpellier, France, in August, 27-31, 2012. JIMSE is co-organized by the European Coordination Action EternalS: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge. Please visit the workshop website: https://sites.google.com/site/jimse2012/ News: *** Submission deadline extended to June 20, 2012 *** *** Student scholarships - application deadline June 25 *** (for students selected based on their submitted abstract) Important Dates --------------- *** June 20, 2012 ***: Paper submission deadline *** June 25, 2012 ***: Student abstract deadline July 5, 2012: Notification of acceptance July 15, 2012: Camera-ready deadline July 22, 2012: send PDF to workshop chairs August 27 or 28, 2012 JIMSE workshop at ECAI 2012 Submission ---------- To promote discussion and the topics of the workshop, we invite the submission of papers of max. 4 pages including references, pictures and tables, presenting novel research results or position papers. The abstracts will be peer reviewed by the Program Committee (double-blind review process). Final versions of the extended abstracts (max. 10 pages including references) will be published in online proceedings, while selected contributions will appear as post-proceedings in the Springer CCIS (Communications in Computer and Information Science) series (pending approval). For further details see http://www.springer.com/series/7899 Students are particularly encouraged to submit an abstract of 2 to 4 pages. Submission of student abstracts regarding concrete research or research ideas related to any of the topics above. Student abstracts will be posted on the workshop website and a selection of them will be awarded a scholarship to attend the workshop and ECAI. Papers should be submitted via the Easychair submission system: https://www.easychair.org/conferences/?conf=jimse2012 For student abstracts, please indicate it at submission time by adding "student abstract" to the keyword list. All submissions should be formatted using the ECAI 2012 style file that can be found at: http://people.cs.kuleuven.be/~luc.deraedt/ecai2012-style.zip As the reviewing will be blind, papers must not include the authors' names and affiliations. Submissions should be in English and should not have been published previously. If essentially identical papers are submitted to other conferences or workshops as well, this fact must be indicated at submission time. The submission deadline is 23:59 CET on June 20, 2012 (for papers) and June 25, 2012 (for students abstracts). Voice your ideas ---------------- The contributions and the outcome of the discussion that will follow the paper presentation will be considered for inclusion in the roadmap that the EternalS coordination action is designing for the European community: https://www.eternals.eu The roadmap will be an input to the European Community for the definition of the Work Programme of 2013. Program Committee ----------------- Andreas Andreou, University of Cyprus, Cyprus Lefteris Angelis, Aristotle University of Thessaloniki, Greece Roberto Basili, University of Rome Tor Vergara, Italy Helen Berki, University of Tampere, Finland Götz Botterweck, Lero, Ireland Sofia Cassel, University of Uppsala, Sweden Krishna Chandramouli, Queen Mary University of London, UK James Clarke, Telecommunications Software and Systems Group, Ireland Anna Corazza, University of Naples Federico II, Italy Sergio Di Martino, University of Naples Federico II, Italy Michael Felderer, University of Innsbruck, Austria Fausto Giunchiglia, University of Trento, Italy Reiner Hähnle, TU Darmstadt, Germany Falk Howar, TU Dordtmund, Germany Valerie Issarny, INRIA, France Richard Johansson, University of Gothenburg, Sweden Jan Jürjens, TU Dortmund, Germany George Kakarontzas, Technical University of Larisa, Greece Achilles Kameas, Hellenic Open University, Greece Basel Katt, University of Innsbruck, Austria Chris Lokan, UNSW at ADFA, Australia Ilaria Matteucci, CNR, Italy Emilia Mendes, University of Auckland, Νew Zealand Grzegorz Nalepa, AGH University of Science and Technology, Poland Claudia Niederee, L3S Research Center Hannover, Germany Animesh Pathak, INRIA, France Tomas Piatrik, Queen Mary University of London, UK Hongyang Qu, University of Oxford, UK Rick Rabiser, JKU Linz, Austria Vasile Rus, The University of Memphis, USA Riccardo Scandariato, Katholieke Universiteit Leuven, Belgium Ina Schaefer, TU Braunschweig, Germany Holger Schöner, Software Competence Center Hagenberg, Austria Bernhard Steffen, TU Dortmund, Germany Christos Tjortjis, The University of Manchester, UK Grigorios Tsoumakas, Aristotle University of Thessaloniki, Greece Michalis Vazirgiannis, Athens University of Economics & Business Maria Virvou, University of Piraeus, Greece Qianni Zhang, Queen Mary University of London, UK Workshop Chairs --------------- Stamatia Bibi (Aristotle University of Thessaloniki, Greece) Alessandro Moschitti (University of Trento, Italy) Barbara Plank (University of Trento, Italy) Ioannis Stamelos (Aristotle University of Thessaloniki, Greece) Contact & Website ----------------- For general questions about the workshop, please send an email to jimse2012 at gmail.com Workshop website: https://sites.google.com/site/jimse2012/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fink at kr.tuwien.ac.at Wed Jun 6 19:21:38 2012 From: fink at kr.tuwien.ac.at (Michael Fink) Date: Wed, 06 Jun 2012 19:21:38 +0200 Subject: Final CfP ASPOCP 2012: 5th Workshop on Answer Set Programming and Other Computing Paradigms Message-ID: <4FCF91A2.1090105@kr.tuwien.ac.at> =============================================================================== FINAL CALL FOR PAPERS ASPOCP 2012 5th Workshop on Answer Set Programming and Other Computing Paradigms http://sites.google.com/site/aspocp12 September 4th, 2012 Collocated with the International Conference on Logic Programming 2012 Budapest, Hungary September 4-8, 2012 =============================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, answer set programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which has led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. While this has been the most studied relationship which is currently extended towards satisfiability modulo theories (SMT), the relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified boolean formulas (QBF), first-order logic (FOL), or FO(ID) logic is also the subject of active research. New methods of computing answer sets are being developed based on the relation between ASP and other paradigms, such as the use of pseudo-Boolean solvers, QBF solvers, FOL theorem provers, and CLP systems. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction. This workshop will facilitate the discussion about crossing the boundaries of current ASP techniques in theory, solving, and applications , in combination with or inspired by other computing paradigms. TOPICS Topics of interests include (but are not limited to): - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). - ASP and constraint programming. - ASP and other logic programming paradigms, e.g., FO(ID). - ASP and other nonmonotonic languages, e.g., action languages. - ASP and probabilistic reasoning. - ASP and machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions to ASP. - ASP and multi-agent systems. - ASP and multi-context systems. - Modularity and ASP. - ASP and argumentation. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - ASP and related paradigms in applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS Papers must describe original research and should not exceed 15 pages in the Springer LNCS format . Paper submission will be handled electronically by means of the Easychair system. The submission page is available at http://www.easychair.org/conferences/?conf=aspocp12 IMPORTANT DATES Submission deadline: June 19, 2012 Notification: July 19, 2012 Camera-ready articles due: July 29, 2012 Workshop: September 4, 2012 PROCEEDINGS The workshop contributions will be published electronically, using the Computing Research Repository (CoRR). LOCATION The workshop will be held in Budapest, Hungary, collocated with the International Conference on Logic Programming (ICLP) 2012. WORKSHOP CO-CHAIRS Michael Fink, Vienna University of Technology, Austria Yuliya Lierler, University of Kentucky, USA PROGRAM COMMITTEE Marcello Balduccini, Kodak Research Labs, USA Gerhard Brewka, University of Leipzig, Germany Pedro Cabalar, Corunna University, Spain Sandeep Chintabathina, University of Arkansas at Pine Bluff, USA Wolfgang Faber, University of Calabria, Italy Martin Gebser, University of Potsdam, Germany Giovambattista Ianni, University of Calabria, Italy Joohyung Lee, Arizona State University, USA Joao Leite, New University of Lisbon, Portugal, Vladimir Lifschitz, University of Texas at Austin, USA Marco Maratea, University of Genoa, Italy Alessandro Mosca, Free University of Bolzano, Italy Emilia Oikarinen, Aalto University, Finland David Pearce, Universidad Politecnica de Madrid, Spain Axel Polleres, Siemens AG Corporate Technology, Austria Peter Schueller, Vienna University of Technology, Austria Guillermo R. Simari, Universidad Nacional del Sur, Argentina Tran Cao Son, New Mexico State University, USA Miroslaw Truszczynski, University of Kentucky, USA Joost Vennekens, Catholic University of Leuven, Belgium Stefan Woltran, Vienna University of Technology, Austria Fangkai Yang, University of Texas at Austin, USA Jia-Huai You, University of Alberta, Canada From lange.martin at gmail.com Wed Jun 6 19:27:45 2012 From: lange.martin at gmail.com (Martin Lange) Date: Wed, 06 Jun 2012 19:27:45 +0200 Subject: PhD studentship in computational logic / formal methods at the University of Kassel, Germany In-Reply-To: <4F33C745.2050104@uni-kassel.de> References: <4F33C745.2050104@uni-kassel.de> Message-ID: <4FCF9311.6000504@gmail.com> One full-time PhD studentship is available at the School of Electrical Engineering and Computer Science of the University of Kassel, Germany. The position is funded by the ERC project "Model Checking Unleashed" and is initially available for two years with the possibility of extension for another year but no later than 30/11/2015. There are no teaching obligations. Starting date is negotiable. The project investigates applications of logical methods to various computational problems from diverse areas like database theory, graph theory, bio-informatics, computational linguistics, etc. but also in the classical domain of model checking, namely formal methods. Applicants must have an MSc / diploma in computer science, mathematics, or related areas, or should be very close to completion thereof. They should have a good background in theoretical computer science, with strong interest in logic, algorithmics, and/or possible application areas as mentioned above. The project is run at the Formal Methods and Software Verification group (FMV). Working language is English. Knowledge of German is not a requirement for this position. Further information about the FMV group is available here: http://cms.uni-kassel.de/unicms/index.php?id=31745 For informal enquiries please contact Martin Lange via . @uni-kassel.de or +49/0 561 8046261. Applications must be directed to the HR department of the University of Kassel via bewerbungen at uni-kassel.de . They should contain a CV and names of 1-2 references, and must state the reference number for this announcement which is 18734. Deadline for applications is June, 30th, 2012. The official announcement for this position is available here (in German): http://www.uni-kassel.de/intranet/aktuelles/stellenangebote/stellenausschreibung-details/tx_ukstellenausschreibung/18734.html -- ---------------------------------------------------------------- Prof. Dr. Martin Lange http://www.uni-kassel.de/~mlange Elect. Engineering& Comp. Science martin.lange at uni-kassel.de University of Kassel, Germany +49/0 561 804 6261 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Fri Jun 8 14:37:26 2012 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 8 Jun 2012 08:37:26 -0400 (EDT) Subject: StarExec workshop at IJCAR 2012 Message-ID: <20120608123726.4ADF31214B3@mcclellan.cs.miami.edu> ====================== CALL FOR PARTICIPATION ======================= 1st StarExec Workshop (StarExec 2012) July 1, 2012 http://clc.cs.uiowa.edu/starexec12/ Affiliated with IJCAR 2012 Organizers: Aaron Stump, Geoff Sutcliffe, and Cesare Tinelli StarExec is a cross-community solver execution and benchmark library service under joint development at the University of Iowa and the University of Miami. Its goal is to facilitate the experimental evaluation of logic solvers and other automated reasoning tools by providing a shared storage and computing infrastructure to store, manage and make available benchmark libraries; execute comparative evaluations; and run solver competitions. This workshop aims at bringing together developers and users of logic solvers, to introduce them to the StarExec service and obtain feedback that will guide the ongoing development. The StarExec team will present the system as it has been developed thus far. Attendees will be given access to the service so they can use it and provide feedback. Selected leaders of logic solver communities will give presentations highlighting the needs and expectations of their communities. The workshop will conclude with a panel and discussion. -------- Schedule --------- 09:00 - 09:15am The StarExec Vision (Cesare Tinelli) 09:15 - 10:00am The StarExec Implementation (Ben McCune) 10:00 - 10:30am Break 10:30 - 11:30am Practicum: Attendees use StarExec 11:30 - 12:00am Feedback on Use of StarExec 12:00 - 13:30pm Lunch 13:30 - 15:00pm Presentations by Logic Solver Community Leaders (Armin Biere, GB Ianni, Olivier Roussel, Johannes Waldmann) 15:00 - 15:30pm Break 15:30 - 16:30pm Panel and Discussion (Geaoff Sutcliffe, David Cok, Andrei Paskevich, Stephan Schulz, Michael Tautschnig) ===================================================================== From sebastian.sardina at rmit.edu.au Sat Jun 9 03:06:42 2012 From: sebastian.sardina at rmit.edu.au (Sebastian Sardina) Date: Sat, 9 Jun 2012 11:06:42 +1000 Subject: =?windows-1252?Q?AI=9212_Second_Call_for_Workshops_and_Tutorials?= Message-ID: [Apologies for cross-posting and re-posting] ------------------------------------------------------------ Join us to celebrate the 25th anniversary of the Australasian Joint Conference on Artificial Intelligence, which will be held in Sydney, 4-7 December 2012. The AI’12 conference committee warmly invites proposals for the workshop and tutorial programme to be held immediately prior to the main technical programme of the AI’12 conference on 4 December. The objectives of the workshops are to stimulate and facilitate active exchange, interaction and discussion among field researchers, and comparison of methodologies related to specific topics. Both theoretical studies and applied exercises, in particular some industrial applications of artificial intelligence, are welcome. The workshops will provide an informal setting where participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas and problem solving experience. The tutorials aim at providing conference attendees with an introduction to current research in a area of artificial intelligence. Participants of the tutorial are expected to have a background in artificial intelligence, but not necessarily in the area covered by the tutorial. Tutorial presenters are encouraged to not only cover theoretical aspects of the area, but also point out relevant applications. Members from all areas of the AI community are invited to submit workshop and tutorial proposals for review. Workshops and tutorials on new and emerging topics, or on applications, are particularly encouraged. Workshops and tutorials can vary in length from half-day to one full day. Important Dates --------------- Proposal submission deadline 29 June 2012 Proposal acceptance notification 27 July 2012 Deadline for posting workshop call for papers/tutorial call for participation 6 August 2012 Provisional attendees list (with a list of accepted papers for workshops) 5 October 2012 Final list of attendees 2 November 2012 Themes/Topics ------------- Workshop and tutorial topics include, but are not restricted to, the following: Agent-based and multiagent systems AI applications and innovations Cognitive modelling and computer human interaction Commonsense reasoning Computer vision Constraint satisfaction, search, and optimisation Evolutionary computation Game playing and interactive entertainment Information retrieval, integration, and extraction Knowledge acquisition and ontologies Knowledge representation and reasoning Machine learning and data mining Model-based systems Multidisciplinary AI Natural language processing Planning and scheduling Uncertainty in AI Robotics Social choice Web and information systems Submission Requirements ----------------------- Proposals for workshops and tutorials should contain the following information: An attractive title and technical description of the workshop/tutorial, clearly stating the goals, focus and technical issues to be addressed, and indicating the relevance of the workshop or tutorial to the main conference and potential participants. A preliminary agenda, including planned duration, a proposed schedule, publicity arrangement and, in the case of workshops, a description of the paper review process and potential publications related to the workshop. Workshop/tutorial organisers and/or tentatively confirmed attendees (if any), their names, affiliations, and contact details (postal addresses, phone numbers, and email addresses). It is encouraged that workshop committees are composed of the workshop chair(s) and at least 3 other committee members from different universities, with sound track records and working experience on the technical issues to be addressed in the workshop. Proposers are encouraged to send their draft proposal to potential participants for comments before submission. All proposals should be submitted by the deadline, via electronic mail, to the AI’12 workshop/tutorial chair: Hans W. Guesgen h.w.guesgen at massey.ac.nz The selection of the workshops and tutorials to be included in the final AI ’12 programme will be based upon multiple factors, including: the scientific/technical interest of the topics, the quality of the proposal, balance and distinctness of topics, and the capacity of the conference workshop/tutorial programme. Note that authors of proposals addressing similar and/or overlapping content areas and/or audiences may be requested to merge their proposals as a condition for acceptance. Responsibilities of AI’12 ------------------------- For successful proposals, AI’1w will be responsible for the followings: Providing publicity for the workshop/tutorial series as a whole. Providing logistic support and a meeting place for the workshop/tutorial. Together with the organizers, determining the workshop/tutorial date and time. Duplicating working notes and distributing them to the participants. AI reserves the right to cancel any workshop/tutorial if the above responsibilities are not fulfilled, or if too few attendees register for the workshop/tutorial to support its running costs. From J.T.Jeuring at uu.nl Mon Jun 11 16:27:22 2012 From: J.T.Jeuring at uu.nl (Johan Jeuring) Date: Mon, 11 Jun 2012 16:27:22 +0200 Subject: CICM 2012: 2nd Call for participation; early registration deadline approaching In-Reply-To: <8DEBAB8C-9CB1-48D6-BFD7-AA9D56B5F1D9@uu.nl> References: <8DEBAB8C-9CB1-48D6-BFD7-AA9D56B5F1D9@uu.nl> Message-ID: <3FFC389C-4B48-41B1-A922-331C7558C332@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 participation ---------------------------------------------------------------- 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 is 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 is 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 ---------------------------------------------------------------- Programme ---------------------------------------------------------------- The global programme of the conference, tracks, and workshops are available via: http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=programme and the accepted papers via: http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=accepted ---------------------------------------------------------------- Registration ---------------------------------------------------------------- Early registration rates are applicable until June 15. See http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&menu=registration From pcvinh at ntt.edu.vn Mon Jun 11 19:42:23 2012 From: pcvinh at ntt.edu.vn (Phan Cong Vinh) Date: Mon, 11 Jun 2012 10:42:23 -0700 Subject: CALL FOR PAPERS - ICCASA 2012 - One week to DEADLINE June 16, 2012 Message-ID: CALL FOR PAPERS ****** International Conference on Context-Aware Systems and Applications- ICCASA 2012 URL: http://iccasa.org ****** The ICCASA 2012 sponsored by ICST (a member of EAI- European Alliance for Innovation) and NTT University (NTTU) is a place for highly original ideas about how Context-Aware Systems (CAS) are going to shape networked computing systems of the future. Hence, it focuses on rigorous approaches and cutting-edge solutions which break new ground in dealing with the properties of context-awareness. Its purpose is to make a formal basis more accessible to researchers, scientists, professionals and students as well as developers and practitioners in ICT by providing them with state-of-the-art research results, applications, opportunities and future trends ******************* Highlights ******************* - All accepted papers will be published by Springer and made available through SpringerLink Digital Library, one of the world's largest scientific libraries - Proceedings will be submitted for indexing by Google Scholar, ISI, EI Compendex, Scopus and many more - The event is organised by the European Alliance for Innovation, a leading community-based organisation devoted to the advancement of innovation in the field of ICT ******************* Important Dates: ******************* Workshop proposals due: 01 April 2012 Tutorial/Industry track proposal deadline: 06 June 2012 Demo/Poster proposal deadline: 06 June 2012 Submission deadline: 16 June 2012 Notification of acceptance: 17 August 2012 Camera-ready deadline: 15 September 2012 Conference: Monday, 26 – Tuesday, 27 November 2012 Submission guidelines: For more details and instructions on paper submission please see: http://iccasa.org ********************************** Selected Journal Publication **********************************: All papers, but particularly those nominated for the Best Paper competition, will be automatically considered for publication in an expanded form in the special issues of Springer Mobile Networks and Applications (MONET) journal (SCIE-indexed), LNCS Transactions on Computational Science (Springer) and International Journal of Computational Science and Engineering (Inderscience) From t.dinoia at poliba.it Tue Jun 12 18:24:28 2012 From: t.dinoia at poliba.it (Tommaso Di Noia) Date: Tue, 12 Jun 2012 18:24:28 +0200 Subject: 1st CFP - Semantic Technologies meet Recommender Systems & Big Data Message-ID: <4FD76D3C.50305@poliba.it> Apologies for possible multiple posts ============================ CALL FOR PAPERS ============================ International Workshop on Semantic Technologies meet Recommender Systems & Big Data - SeRSy 2012 in conjunction with ISWC 2012, Boston, USA, November 11-15, 2012 http://sisinflab.poliba.it/sersy2012/ IMPORTANT DATES --------------- Submission for workshop papers: Jul 31 Notification of acceptance: Aug 21 Camera-ready versions: Sep 10 MOTIVATION ---------- People generally need more and more advanced tools that go beyond those implementing the canonical search paradigm for seeking relevant information. A new search paradigm is emerging, where the user perspective is completely reversed: from finding to being found. Recommender Systems may help to support this new perspective, because they have the effect of pushing relevant objects, selected from a large space of possible options, to potentially interested users. To achieve this result, recommendation techniques generally rely on data referring to three kinds of objects: users, items and their relations. Recent developments of the Semantic Web community offer novel strategies to represent data about users, items and their relations that might improve the current state of the art of recommender systems, in order to move towards a new generation of recommender systems which fully understand the items they deal with. More and more semantic data are published following the Linked Data principles, that enable to set up links between objects in different data sources, by connecting information in a single global data space: the Web of Data. Today, Web of Data includes different types of knowledge represented in a homogeneous form: sedimentary one (encyclopedic, cultural, linguistic, common-sense) and real-time one (news, data streams, ...). This data might be useful to interlink diverse information about users, items, and their relations and implement reasoning mechanisms that can support and improve the recommendation process. The challenge is to investigate whether and how this large amount of wide-coverage and linked semantic knowledge can be automatically introduced into systems that perform tasks requiring human-level intelligence. Examples of such tasks include understanding a health problem in order to make a medical decision, or simply deciding which laptop to buy. Recommender systems support users exactly in those complex tasks. The primary goal of the workshop is to showcase cutting edge research on the intersection of Semantic Technologies and Recommender Systems, by taking the best of the two worlds. This combination may provide the Semantic Web community with important real-world scenarios where its potential can be effectively exploited into systems performing complex tasks. TOPICS ------- Topics of interest include (but are not limited to): Recommendation approaches using Semantic technologies - Linked Data for Recommender Systems - Ontology-based recommendation algorithms - Merging and ranking recommendations - Social recommender systems - Reasoning with Big Data Data Acquisition - Discovery of relevant Linked Data sources for recommendation algorithms - Tracking provenance, evaluating reliability, quality and trustworthiness of Linked Data - Linking, aggregating, intertwining and mining Linked Data for recommender systems - Integrity and privacy issues New Reference Architectures for Recommender Systems - Linked Data in new Recommender Systems architectures - Efficiency, performance and scalability issues - Distributed architectures Innovative applications - Semantic technologies for Cross-lingual and cross-domain recommender systems - Mining user data streams - Semantic technologies for improving transparency and explanations Evaluation methodologies and approaches - Big datasets for the evaluation - Evaluation methodologies for real time personalization in big datasets - Semantic technologies for improving novelty, diversity and serendipity FORMAT ----------------------- We welcome work at all stages of development: papers can describe applied systems, empirical results or theoretically grounded positions. * Full papers (10-12 pages) * Short papers (4-6 pages) * Demos (2-4 pages for description) Papers should be formatted according to the general ISWC2012 submission guidelines. Accepted format is PDF. SUBMISSION ----------------------- Please submit your paper via EasyChair at the following URL: https://www.easychair.org/conferences/?conf=sersy2012 You need to open a personal account upon the first login, if you do not have one. ORGANIZING COMMITTEE -------------------- Marco de Gemmis - University of Bari Aldo Moro, Italy Tommaso Di Noia - Politecnico of Bari, Italy Pasquale Lops - University of Bari Aldo Moro, Italy Thomas Lukasiewicz - University of Oxford, UK Giovanni Semeraro - University of Bari Aldo Moro, Italy PROGRAM COMMITTEE ----------------- Fabien Abel (L3S Research Centre - Germany) Claudio Bartolini (HP Labs @ Palo Alto – USA) Marco Brambilla (Politecnico di Milano – Italy) Andrea Calì (Birkbeck, University of London – UK) Ivan Cantador (Universidad Autónoma de Madrid – Spain) Pablo Castells (Universidad Autónoma de Madrid – Spain) Federica Cena (University of Turin – Italy) Bettina Fazzina (Università della Calabria – Italy) Tim Furche (Oxford University Computing Laboratories – UK) Nicola Henze (Leibniz Universitä Hannover – Germany) Leo Iaquinta (Univ.di Milano Bicocca – Italy) Roberto Mirizzi (Politecnico of Bari – Italy) Enrico Motta (Open University in Milton Keynes – UK) Cataldo Musto (Università di Bari "Aldo Moro" – Italy) Fedelucio Narducci (Univ.di Milano Bicocca – Italy) Vito Claudio Ostuni (Politecnico of Bari – Italy) Alexandre Passant (DERI, National University of Ireland – Ireland) Gerardo I. Simari (University of Oxford – UK) Markus Zanker (Alpen–Adria–Universitä Klagenfurt – Austria) CONTACT ----------------- e-mail: sersy2012 at gmail.com Web page: http://sisinflab.poliba.it/sersy2012/ twitter: @sersy2012 linkedin: http://tinyurl.com/sersy2012 From mir2012 at easychair.org Wed Jun 13 21:01:07 2012 From: mir2012 at easychair.org (mir2012 at easychair.org) Date: Wed, 13 Jun 2012 21:01:07 +0200 (CEST) Subject: CFP: MIR 2012--Mathematics Information Retrieval, Bremen, July 8th Message-ID: <20120613190107.D98336297C@anxur.fi.muni.cz> [apologies for multiple copies] MIR 2012 Workshop (Mathematics Information Retrieval) July 8th, 2012 at CICM 2012, Bremen Germany http://cicm2012.cicm-conference.org/cicm.php?event=mir The MIR Workshop brings together researchers working on information retrieval for digital mathematics libraries and mathematical document collections for discussions and friendly systems competition. Workshop format: ================ The MIR Workshop will consist of a traditional-style scientific program with presentations of submitted papers in the Math IR Symposium together with the Math IR happening, where workshop participants competitively or jointly solve a set of Math IR challenges and submit their solutions to a panel of mathematician judges. Important dates: ================ - Symposium: Abstract Submission: June 15th, 2012 Paper Submission: June 16th, 2012 Notification: June 19th, 2012 Final Versions: June 22th, 2012 Proceedings on site July 8th, 2012 - Happening: Dataset available: now MIR System Registration: June 15th, 2012 Submissions in LNCS format (llncs.cls from Manuscript guidelines at www.springer.com/authors) should be sent via Easychair at: https://www.easychair.org/account/signin.cgi?conf=mir2012 Programme Committee (to be completed): ===================================== Michael Kohlhase, Jacobs University (PC co-chair) Petr Sojka, Masaryk University (PC co-chair) Math IR Symposium at MIR 2012 (July 8th, morning) ============================= http://cicm2012.cicm-conference.org/cicm.php?event=mir&menu=symposium The Math IR Symposium is a traditional-style half-day workshop with scientific contributions about mathematics information retrieval. Topics include but not limited to: - MIR systems design and descriptions - requirements for mathematics information retrieval: use cases and typical queries - formula normalization, similarity, indexing and search algorithms - mathematics retrieval corpora preparation and tagging - semantically enhancing mathematical corpora for IR (from math OCR or presentation MathML in DML) - extracting semantic relations from corpora - evaluation of MIR (methods and test corpora) Math IR Happening at MIR 2012 (July 8th, afternoon) ============================= http://cicm2012.cicm-conference.org/cicm.php?event=mir&menu=happening A friendly competition for the systems presented at the workshop. Since math information retrieval is still quite young and developing, we will not make this an official competition, but a happening, where we get together and try our systems on a common set of problems. We expect the happening to transcend the workshop proper. MIR is part of CICM multiconference and is followed by Digital Mathematics Library track of CICM on July 9th: http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=dml From b.verheij at ai.rug.nl Thu Jun 14 14:51:42 2012 From: b.verheij at ai.rug.nl (Bart Verheij) Date: Thu, 14 Jun 2012 14:51:42 +0200 Subject: Call for participation: 4th International Conference on Computational Models of Argument (COMMA 2012) Vienna, Austria, September 10-12, 2012 Message-ID: COMMA 2012 - CALL FOR PARTICIPATION 4th International Conference on Computational Models of Argument (COMMA 2012) Vienna, Austria, September 10-12, 2012 *** Early registration deadline: July 4, 2012 *** COMMA is a regular forum for presentation and exchange of the latest research results related to computational aspects of argumentation. The technical programme of COMMA 2012 includes 28 full presentations, 17 presentations of short papers, and 13 system demonstrations. A special track is devoted to innovative applications. The COMMA 2012 programme includes invited lectures by * Trevor Bench-Capon (University of Liverpool, United Kingdom) * Erik Krabbe (University of Groningen, The Netherlands) * Keith Stenning (University of Edinburgh, United Kingdom) and, as part of the Vienna Logic Weeks (http://www.vcla.at/events/vienna-logic-weeks_2012/), a plenary lecture by * Bob Kowalski (Imperial College London, United Kingdom) REGISTRATION COMMA 2012 registration fee includes lunches for three workshop days, coffee breaks, one ticket for the social event, and copy of the proceedings. Registration is made online via the following link: http://www.kr.tuwien.ac.at/events/comma2012/registration.php * Discounted Early Registration ends: July 4, 2012 * Late Registration ends: August 30, 2012 * On-site registration will be possible during the conference. ACCOMMODATION Details on accommodation can also be found on the registration site: http://www.kr.tuwien.ac.at/events/comma2012/registration.php STUDENT GRANTS A limited number of student grants is available for participation in COMMA 2012. Each grant will cover the registration fee and will provide a contribution to the accommodation costs. The students who want to apply for this grant write an email to comma12 at kr.tuwien.ac.at providing * a proof of full-time student status (copy of valid student ID card or letter from their institution or program director), * a short justification confirming that the attendance to COMMA 2012 could not be financed by other means such as project funds, * whether you are a coauthor of an accepted paper/system demonstration at COMMA 2012. The deadline for applying to the student grants is July 1, 2012. LOCATION The conference will be held in the main building of Vienna University of Technology, Karlsplatz 13, 1040 Wien, Austria. ORGANISING COMMITTEE * Program Chair: Bart Verheij (University of Groningen, The Netherlands) * Conference Chairs: Stefan Szeider and Stefan Woltran (Vienna University of Technology, Austria) * Demonstrations coordinator: Adam Wyner (University of Liverpool, United Kingdom) CONTACT comma12 at kr.tuwien.ac.at From sara.montagna at UNIBO.IT Thu Jun 14 15:40:42 2012 From: sara.montagna at UNIBO.IT (Sara Montagna) Date: Thu, 14 Jun 2012 15:40:42 +0200 Subject: CfP: 1st International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions (ASENSIS 2012) Message-ID: <1E798D99-9A31-4C16-BADE-4CA5022BFC79@UNIBO.IT> [Apologies for cross-postings. Please send to interested colleagues and students.] *********************************************************************************************** CALL FOR PAPERS 1st International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions (ASENSIS 2012) 10 September 2012 To be held in conjunction with the Sixth IEEE International Conference on Self-Adaptive and Self-Organisizing Systems (SASO 2012) Lyon, France; 10-14 September 2012 --- http://saso2012.univ-lyon1.fr/ *********************************************************************************************** ---------------- Aims and Scope ---------------- Emerging distributed computing scenarios (mobile, pervasive, and social) are characterised by intrinsic openness, decentralisation, and dynamics. According, the effective deployment and execution of distributed services and applications calls for open service frameworks promoting situated and self-adaptive behaviours, and supporting diversity in services and long-term evolvability. This suggests adopting nature-inspired and/or socially-inspired approaches, in which services are modelled and deployed as autonomous individuals in an ecosystem of other services, data sources, and pervasive devices. Accordingly, the self-organising interactions patterns among components and the resulting emerging dynamics of the system, as those of natural systems or of social systems, can inherently exhibit effective properties of self-adaptivity and evolvability. Although many initiatives (like those named upon digital/business service ecosystems) recognise that the complexity of modern service systems is comparable to that of natural ecosystems, the idea that nature - other than a mean to metaphorically characterise their complexity - can become the source of inspiration for their actual modelling and implementation is only starting being metabolised. The goal of the workshop is to bring together researchers and practitioners, with the aims of unfolding the many challenges related to the modelling, design and implementation of adaptive service ecosystems in natural and social terms, and identifying promising approaches and solutions. ------------------- Important Deadlines ------------------- Abstract submission: July 1st, 2012 Full paper submission: July 4th, 2012 Notification of acceptance: July 25th, 2012 Camera-ready version of accepted papers: August 24th, 2012 Early registration: August 20th, 2012 All deadlines are at 11:59 PM Hawaii Time (HST). ------------------ Topics of Interest ------------------ Topics include but are not limited to: - Models and tools for adaptive service ecosystems - Software architectures for emergent distributed service systems - Middleware for service ecosystems - Bio-inspired self-organising design patterns - Coordination models and languages - Middleware platforms - Dynamic Services composition - Adaptive coordination models and patterns - Self-organization and coordination - Coordination in systems of feedback loops - Middleware for adaptive coordination - Multiagent systems - Methodologies for adaptive and self-organising system engineering ---------------------------- Papers submission and format ---------------------------- Papers must be formatted according to IEEE Specifications and be of a maximum of 6 pages in length. Submission details are available on the workshop website (http://asensis2012.apice.unibo.it/). Authors are kindly reminded of the IEEE policy on publications and the five levels of plagiarism defined by the IEEE. These rules will be strictly enforced. In particular, self-plagiarized papers will be rejected without further ado. All papers should be submitted electronically in PDF format through the EasyChair submission system using this link https://www.easychair.org/conferences/?conf=asensis2012. If you do not have an EasyChair account, please register herehttp://www.easychair.org All accepted papers will be published by IEEE Xplore following the workshop. --------------- Review Process --------------- All submitted papers will be peers reviewed by at least 3 reviewers. ---------------- Co - Organisers ---------------- Jose Luis Fernandez-Marquez, Institute for Service Sciences, University of Geneva Sara Montagna, DEIS, Universita' di Bologna Andrea Omicini, DEIS, Universita' di Bologna Franco Zambonelli, DISMI, Universita' di Modena e Reggio Emilia ------------------ Program Committee ------------------ Gul Agha (University of Illinois at Urbana-Champaign, USA) Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) Giovanna Di Marzo (University of Geneva, Switzerland) Simon Dobson (University of St. Andrews, UK) Alois Ferscha (University of Linz, Austria) Sam Guinea (Politecnico di Milano, Italy) Ruth Falconer (University of Abertay, Dundee, UK) Sam Malek (George Mason University, USA) Marco Mamei (Universita' di Modena e Reggio Emilia, Italy) Juan A. Rodriguez Aguilar (IIIA, Spain) Kyle Usbeck (Raytheon BBN Technologies, Cambridge) Giuseppe Valetto (Drexel University USA) Mirko Viroli (Universita' di Bologna, Italy) Giuseppe Vizzari (Universita' di Milano-Bicocca, Italy) LA RICERCA C’È E SI VEDE: 5 per mille all'Università di Bologna - C.F.: 80007010376 http://www.unibo.it/5permille Questa informativa è inserita in automatico dal sistema al fine esclusivo della realizzazione dei fini istituzionali dell’ente. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From oshanis at gmail.com Fri Jun 15 14:44:58 2012 From: oshanis at gmail.com (Oshani Seneviratne) Date: Fri, 15 Jun 2012 20:44:58 +0800 Subject: Call for Evaluations and Experiments ISWC 2012 *REMINDER: ABSTRACT DEADLINE TODAY* Message-ID: ------------------------------------------------------------------------ Call for Evaluations and Experiments http://iswc2012.semanticweb.org/call-evaluations-and-experiments 11th International Semantic Web Conference http://iswc2012.semanticweb.org/ Boston - USA November 11-15, 2012 ------------------------------------------------------------------------ The Semantic Web (and Linked Data) has been an active area of research for several years. This 11th edition of the International Semantic Web conference introduces the Evaluations and Experiments Track. Its goal are to consolidate research material and to gain new scientific insights and results by providing a place for in-depth experimental studies of significant scale. It aims at promoting experimental evaluations in Semantic Web/Linked Data research trying to create a research cycle between theory and experiments as in other sciences (e.g., physics). Papers in this track can fit in different categories: Experimental studies comparing a spectrum of approaches to a particular problem and, through extensive experiments, providing a comprehensive perspective on the underlying phenomena or approaches. Analyses of experimental results providing insights on the nature or characteristics of studied phenomena, including negative results. Result verification focusing on verifying or refuting published results and, through the renewed analysis, help to advance the state of the art. Benchmarking, focusing on datasets and algorithms for comprehensible and systematic evaluation of existing and future systems. Availability of experimental datasets is highly important (if not compulsory). In addition, these papers will be more specifically judged on the basis of their: Precise description of control experimental conditions Reproducibility Applicability range (broad coverage results being better than narrow applicability). Special attention will be paid to reproducibility. Hence, experimental settings will have to be extensively described so that the results could be independently reproduced and counter-experiments could be designed. The experimental approach is based on systematic scientific methods used in many disciplines. http://www.experiment-resources.com/ provides a good collection of methods, experiment design strategies, and resources. Topics of Interests ---------------------------------------- For a list of topic of interests please visit the Call for Research Papers http://iswc2012.semanticweb.org/call-research-papers Submission ---------------------------------------- Pre-submission of abstracts is a strict requirement. All papers and abstracts have to be submitted electronically via the Conference Submission System http://www.easychair.org/conferences/?conf=iswc2012et. All research submissions must be in English, and no longer than 12 pages. Papers that exceed this limit will be rejected without review. Submissions must be in PDF formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details on the LNCS style, see Springer’s Author Instructions. ISWC-2012 submissions are not anonymous. Accepted papers will be distributed to conference attendees and also published by Springer in the printed conference proceedings, as part of the Lecture Notes in Computer Science series. At least one author of each accepted paper must register for the conference and present the paper there. Important Dates ---------------------------------------- Abstracts: June 15, 2012, 11:59pm Hawaii time Full Paper Submission: June 22, 2012, 11:59pm Hawaii time Notifications: August 9, 2012 Camera-ready Versions: September 4, 2012 Conference November 11-15, 2012 No extensions of the submission deadline will be granted. Research Track Chairs ---------------------------------------- Manfred Hauswirth, DERI - National University of Galway, Ireland Jerome Euzenat, INRIA & LIG, France Josiane Xavier Parreira, DERI - National University of Galway, Ireland Follow ISWC 2012 on Twitter https://twitter.com/#!/iswcboston From treinen at debian.org Fri Jun 15 16:32:06 2012 From: treinen at debian.org (Ralf Treinen) Date: Fri, 15 Jun 2012 16:32:06 +0200 Subject: Call for Participation: Mancoosi International Solver Competition Message-ID: The Mancoosi International Solver Competition (MISC) http://www.mancoosi.org/misc-2012/ Call for Participation IRILL, the the Center for Research and Innovation on Free Software, calls for the third international competition of solvers for package/component installation and upgrade problems. Instances of these problems are given by a set of currently installed or available software packages, with complex relations between them like dependencies, conflicts, and features. The problem instances used in the competition are expressed in a language called CUDF that allows to express relationships between components like they are known for instance in GNU/Linux distributions, or for Eclipse plugins. We are not only interested in finding some solution to such a problem, but in finding the best solution according to different optimization criteria. For a detailed description please look at the competition web page http://www.mancoosi.org/misc-2012/ Participating solvers will be judged by the correctness of the solution, the quality of the solution according to the respective optimization criteria, and speed. The results of the competition will be announced on September, 8, at the LoCoCo workshop at ICLP 2012 (http://lococo.irill.org/2012). Timeline: - August, 1: Registration of participants by email to misc-committee at sympa.mancoosi.univ-paris-diderot.fr - August, 13: Submission of solvers - September, 8: announcement of the results Organization Committee: Pietro Abate, University Paris-Diderot, France Roberto Di Cosmo, University Paris-Diderot, France (co-chair) Ralf Treinen, University Paris-Diderot, France (co-chair) Stefano Zacchiroli, University Paris-Diderot, France From mnakamur at jaist.ac.jp Mon Jun 18 11:53:59 2012 From: mnakamur at jaist.ac.jp (Makoto Nakamura) Date: Mon, 18 Jun 2012 18:53:59 +0900 Subject: CFP: JURISIN2012 Message-ID: <4FDEFAB7.1050801@jaist.ac.jp> Dear Sir, I would like to send you a cfp mail of Sixth International Workshop on Juris-Informatics (JURISIN2012). Best regards, Makoto Nakamura (Nagoya University) -------------------------- (Apologies for multiple copies) Call for Papers: Sixth International Workshop on Juris-informatics (JURISIN 2012) Nov.30 - Dec. 1, 2012 http://www.kl.i.is.nagoya-u.ac.jp/jurisin2012/ Amusement Zone Miyazaki (The JA-AZM Hall) Kirishima 1-1-1, Miyazaki, Japan with a support of The Japanese Society for Artificial Intelligence in association with Fourth JSAI International Symposia on AI (JSAI-isAI 2012) **** Submission Deadline: September 17, 2012 **** **** Aims and scope **** Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop is to discuss both the fundamental and practical issues for juris-informatics among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional "AI and law" area. We solicit unpublished papers on theories, technologies and applications on juris-informatics. **** Topics **** Relevant topics include, but are not limited to, the following: * Legal reasoning * Argumentation/Argumentation agent * Legal term ontology * Formal legal knowledge-base/Intelligent management of legal knowledge-base * Translation of legal documents * Computer-aided law education * Use of Informatics and AI in law * Legal issues on ubiquitous computing/multi-agent system/the Internet * Social implications of use of informatics and AI in law **** Submissions **** We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere except as a submission to JURIX 2012 (The 25th International Conference on Legal Knowledge and Information Systems). The double submission policy with JURIX 2012 is as follows: 1. Papers being submitted both to JURISIN2012 and JURIX2012 must note this on the title page. 2. A paper to be presented at JURISIN2012 must be withdrawn from JURIX2012 and vice versa according to the choice by the authors. 3. If the authors do not follow this double submission policy, the paper by the authors will not be included in the proceedings of JURISIN 2012. Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form, which can be obtained from http://www.springeronline.com, and not exceed 14 pages including figures, references, etc. If you use a word file, please follow the instruction of the format designated at the workshop page, and then convert it into a pdf form and submit it at the paper submission page. If a paper is accepted, at least one author of the paper must register the workshop and present it. **** Proceedings **** A printed volume of the proceedings with ISBN will be available at the workshop. **** Post Proceedings**** The chair of JSAI-IsAI 2012 is now negotiating with Springer Verlag to publish selected papers of the workshop in the JSAI-isAI 2012 post-proceedings as a volume of LNAI. If it is the case, the authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings, after another round of refereeing. Note that the selected papers of the previous workshops were publisehd as volumes of LNAI4914(JURISIN 2007), LNAI5447(JURISIN 2008), LNAI6284(JURISIN 2009), LNAI6797(JURISIN2010) and LNAI7258(JURISIN2011), respectively. **** Financial Support for Students **** We have received from JSAI partical economical support for travelling costs for promising foreign students whose papers have been accepted to be presented at JURISIN2012. The amount of the whole support is 250,000 yen and we divide it to students who need a support. The actual support will vary based on the number of applicants and where students come from. Please contact the chairperson (mnakamur ((at)) law.nagoya-u.ac.jp) for details. **** Important Dates **** Submission Deadline: September 17, 2012 Notification: October 15, 2012 Camera Ready Copy due: October 29, 2012 JURISIN 2012: November 30 - December 1, 2012 **** Workshop Chair **** Makoto Nakamura, Nagoya University, Japan Katsuhiko Toyama, Nagoya University, Japan **** Organizing Committee Members **** Makoto Nakamura, Nagoya University, Japan Katsumi Nitta, Tokyo Institute of Technology, Japan Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Katsuhiko Toyama, Nagoya University, Japan **** Programme Committee Members **** Thomas Agotnes, University of Bergen, Norway Phan Minh Dung, AIT, Thailand Tom Gordon, Franfoher FOKUS, Germany Guido Governatori, The University of Queensland, Australia Tokuyasu Kakuta, Nagoya University, Japan Takehiko Kasahara, Toin University of Yokohama, Japan Masahiro Kozuka, Kanazawa University, Japan Makoto Nakamura, Nagoya University, Japan Katsumi Nitta, Tokyo Institute of Technology, Japan Paulo Novais, University of Minho, Portugal Jeremy Pitt, Imperial College, UK Henry Prakken, University of Utrecht & Groningen, The Netherlands Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Akira Shimazu, Japan Advanced Institute of Science and Technology, Japan Fumihiko Takahashi, Meiji Gakuin University, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan Katsuhiko Toyama, Nagoya University, Japan Radboud Winkels, The University of Amsterdam, the Netherlands Shin-ichi, Yoro, Osaka University, Japan John Zeleznikow, Victoria University, Australia **** Home page of JURISIN 2012 **** http://www.kl.i.is.nagoya-u.ac.jp/jurisin2012/ **** preivous JURISIN workshops **** JURISIN2007 http://research.nii.ac.jp/~ksatoh/jurisin.html JURISIN2008 http://www.ntt.dis.titech.ac.jp/jurisin2008/ JURISIN2009 http://research.nii.ac.jp/~ksatoh/jurisin2009.html JURISIN2010 http://research.nii.ac.jp/~ksatoh/jurisin2010.html JURISIN2011 http://research.nii.ac.jp/~ksatoh/jurisin2011.html For any inquiry, please send it to "jurisin2012 ((at)) kl.i.is.nagoya-u.ac.jp". From johan.bos at rug.nl Mon Jun 18 14:25:19 2012 From: johan.bos at rug.nl (Johan Bos) Date: Mon, 18 Jun 2012 14:25:19 +0200 (CEST) Subject: ESSLLI 2013: extended deadline (june 29) course/workshop proposals Message-ID: ------------------------------------------------------------------ Call for Course and Workshop Proposals ESSLLI 2013 25th European Summer School in Logic, Language and Information Duesseldorf, Germany August 5-16, 2013 http://esslli2013.de/ EXTENDED DEADLINE DUE TO POPULAR DEMAND ------------------------------------------------------------------ IMPORTANT DATES =============== 29 June 2012: Proposal submission deadline (extended) 15 September 2012: Notification 1 June 2013: Course material due TOPICS AND FORMAT ================= Proposals for courses and workshops at ESSLLI'2013 are invited in all areas of Logic, Linguistics and Computing and Information Sciences. Cross-disciplinary and innovative topics are particularly encouraged. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses, e.g. as an introductory course followed by an advanced one. In such cases the ESSLLI programme committee reserves the right to accept just one of the two proposals. All instructional and organizational work at ESSLLI is performed completely on a voluntary basis, so as to keep participation fees to a minimum. However, organizers and instructors have their registration fees waved, and are reimbursed for travel and accommodation expenses up to a level to be determined and communicated with the proposal notification. ESSLLI can only guarantee reimbursement for at most one course/workshop organizer, and can not guarantee full reimbursement of travel costs for lecturers or organizers from outside of Europe. The ESSLLI organizers would appreciate any help in controlling the School's expenses by seeking complete coverage of travel and accommodation expenses from other sources. CATEGORIES ========== Each proposal should fall under one of the following categories. * FUNDAMENTAL COURSES * Such courses are designed to present the basics of a research area, to people with no prior knowledge in that area. They should be of elementary level, without prerequisites in the course's topic, though possibly assuming a level of general scientific maturity in the relevant discipline. They should enable researchers from related disciplines to develop a level of comfort with the fundamental concepts and techniques of the course's topic, thereby contributing to the interdisciplinary nature of our research community. * INTRODUCTORY COURSES * Introductory courses are central to ESSLLI's mission. They are intended to introduce a research field to students, young researchers, and other non-specialists, and to foster a sound understanding of its basic methods and techniques. Such courses should enable researchers from related disciplines to develop some comfort and competence in the topic considered. Introductory courses in a cross-disciplinary area may presuppose general knowledge of the related disciplines. * ADVANCED COURSES * Advanced courses are targeted primarily to graduate students who wish to acquire a level of comfort and understanding in the current research of a field. * WORKSHOPS * Workshops focus on specialised, usually topics of current interest. Workshops organisers are responsible for solliciting papers and selecting the workshop programme. PROPOSAL GUIDELINES =================== Course and workshop proposals should follow closely the following guidelines to ensure full consideration. Each course may have no more than two instructors, and each workshop no more than two organizers. All instructors and organizers must possess a PhD or equivalent degree by the submission deadline. Course proposals should mention explicitly the intended course category. Proposals for introductory courses should indicate the intended level, for example as it relates to standard textbooks and monographs in the area. Proposals for advanced courses should specify the prerequisites in detail. Proposals must be submitted in PDF format via: https://www.easychair.org/conferences/?conf=esslli2013 and include all of the following: o Personal information for each proposer: Name, affiliation, contact address, email, fax, homepage (optional) o General proposal information: Title, category o Contents information * Abstract of up to 150 words * Motivation and description (up to two pages) * Tentative outline * Expected level and pre-requisites * Appropriate references (e.g. textbooks, monographs, proceedings, surveys) o Practical information: * Relevant preceding meetings and events, if applicable * Potential external funding for participants ------------------------------------------------------------------ From tsoumakas at gmail.com Tue Jun 19 10:34:02 2012 From: tsoumakas at gmail.com (Grigorios Tsoumakas) Date: Tue, 19 Jun 2012 11:34:02 +0300 Subject: ECML PKDD 2012: Last Call for Workshop Papers Message-ID: [ please distribute - apologies for multiple postings ] ECML PKDD 2012 General Call for Workshop Papers The organizing committee of the ECML PKDD 2012 conference invites you to submit your latest research to one of the 11 workshops that will be held on 24th and 28th September. This year, ECML PKDD 2012 will feature workshops on a variety of hot topics and will also include one workshop associated with the Discovery Challenge as well as two workshops that feature challenges. So besides providing you the opportunity to present and discuss the latest developments and applications in Machine Learning and Data Mining, these workshops will enable you to put your best technology to the test. The deadline for submission is June 29th (details below). The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) will take place in Bristol, UK from September 24th to 28th, 2012. This event builds upon a very successful series of 22 ECML and 15 PKDD conferences, which have been jointly organized for the past 11 years. ECML PKDD is the prime European scientific event in these fields. It will feature presentations of contributed papers and invited speakers, a wide program of workshops and tutorials on the first and last days, a discovery challenge, and a DINe track with demo, industry, and ‘nectar’ talks. Workshops website: http://www.ecmlpkdd2012.net/programme/workshops Arno Knobbe & Carlos Soares ECML PKDD 2012 Workshop Chairs ** Important Deadlines ** [for all workshops except the Discovery Challenge] Deadline for submissions: June 29, 2012 Author notification: July 20, 2012 Camera-ready papers due: August 3, 2012 Workshops takes place: September 24 and 28, 2012 Details about the submission process for each workshop can be found at the corresponding website. ** Monday Workshops (24th September 2012) ** * MUSE: Mining Ubiquitous and Social Environments Martin Atzmueller and Andreas Hotho [http://www.kde.cs.uni-kassel.de/ws/muse2012/] The goal of this workshop is to promote an interdisciplinary forum for researchers working in the fields of ubiquitous computing, social web, Web 2.0, and social networks which are interested in utilizing data mining in a ubiquitous setting. The workshop seeks for contributions adopting state-of-the-art mining algorithms on ubiquitous social data. Papers combining aspects of the two fields are especially welcome. In short, we want to accelerate the process of identifying the power of advanced data mining operating on data collected in ubiquitous and social environments, as well as the process of advancing data mining through lessons learned in analyzing these new data. * NFMCP: New Frontiers in Mining Complex Patterns Annalisa Appice, Michelangelo Ceci, Corrado Loglisci, Giuseppe Manco, Elio Masciari and Zbigniew Ras [http://www.di.uniba.it/~nfmcp2012/index.htm] NFMCP aims at bringing together researchers and practitioners of data mining interested in exploring emerging technologies and applications where complex patterns in expressive languages are principally extracted from new prominent data sources like blogs, event or log data, biological data, spatio-temporal data, social networks, mobility data, sensor data and streams, and so on. We are interested in advanced techniques which preserve the informative richness of data and allow us to efficiently and efficaciously identify complex information units present in such data. * Silver: The Silver Lining – learning from unexpected results Joaquin Vanschoren and Wouter Duivesteijn [http://datamining.liacs.nl/silver.html] This workshop is dedicated to the proposition that insight often begins with unexpected results. Unexpected results chart the boundaries of our knowledge: they identify errors, reveal false assumptions, and force us to dig deeper. Unfortunately, this process is rarely mentioned in the machine learning and data mining discourse. Indeed, there exists a publication bias that favors (incremental) successes over novel discoveries of why some ideas, while intuitive and plausible, do not work. With this workshop, we want to give a voice to unexpected results that deserve wider dissemination: thoroughly conducted studies that follow a plausible idea that did not achieve the aspired results, but instead taught us novel lessons; studies showing that well-known (successful) methods will not work under certain conditions, highlighting remaining weaknesses and new avenues of research; and stories that focus on how a successful method was discovered after one or several failed attempts. * IID: Instant Interactive Data Mining Jilles Vreeken, Nikolaj Tatti, Bart Goethals, Anton Dries, Matthijs van Leeuwen, Siegfried Nijssen [http://adrem.ua.ac.be/iid2012/] At IID’12 we will discuss data mining techniques that allow users to interactively explore their data, receiving near-instant updates to every requested refinement. While Instant mining and Stream mining start from different perspectives and operate under different constraints, there is a significant overlap in techniques and developments in either setting can have a significant impact on the other. Therefore, this workshop aims to bring together researchers interested in instant and adaptive data mining methods, whether for use in interactive systems or in the processing of large streams of evolving data. * LDSSB: Learning and Discovery in Symbolic Systems Biology Oliver Ray and Katsumi Inoue [https://www.cs.bris.ac.uk/~oray/LDSSB12/] Symbolic Systems Biology is a rapidly emerging field involving the application of formal logic-based methods to Systems Biology. Recently a spectrum of such approaches have begun to demonstrate their utility in modelling and analysing a variety of biological phenomena. Examples include Boolean logic, classical logic, modal logics, hybrid logic, rewriting logic, computational logics, constraint programming, formal methods, process calculi, graphical models, and many more. The primary aim of this workshop is to explore how machine learning and knowledge discovery techniques can be used within such formalisms to help learn and revise biological models. A secondary aim is to investigate how symbolic methods can be combined with numerical techniques in order to better handle noise and uncertainty in the real world. ** Friday Workshops (28th September 2012) ** * SDAD: Sentiment Discovery from Affective Data Mohamed Medhat Gaber, Mihaela Cocea, Stephan Weibelzahl, Ernestina Menasalvas and Cyril Labbe [http://gaberm.myweb.port.ac.uk/sdad12/] The current expansion of social media leads to masses of affective data related to peoples’ emotions, sentiments and opinions. Knowledge discovery from such data is an emerging area of research in the past few years, with a potential number of applications of paramount importance to business organisations, individual users and governments. Data mining and machine learning techniques are used to discover knowledge from various types of affective data such as ratings, text or browsing data. Although research in this area has grown considerably in the recent years, knowledge discovery from affective data is in its infancy state with more open issues and challenges which often require interdisciplinary approaches. This workshop aims to bring together researchers in this area to present their latest work, to discuss the challenges in the field and identify where our efforts, as a research community, should focus. * ALRA: Active Learning in Real-world Applications Laurent Candillier, Max Chevalier and Vincent Lemaire [http://www.nomao.com/labs/alra] Machine learning indicates methods and algorithms which allow a model to learn a behavior thanks to examples. Active learning gathers methods which select examples used to build a training dataset for the predictive model. All the strategies aim to use a set of examples as small as possible and to select the most informative examples. When designing active learning algorithms for real-world data, some specific issues are raised. The main ones are scalability and practicability. Methods must be able to handle high volumes of data, and the process for labeling new examples by an expert must be optimized. We encourage papers that describe applications of active learning in real-world. The industrial context, the main difficulties met and the original solution developed, shall be described. Contributions on the associated Nomao challenge ( http://www.nomao.com/labs/challenge), that proposes such a practical application of active learning, will also be welcome. * I-Pat: Mining and exploiting interpretable local patterns Henrik Grosskreutz, Stefan Ruping and Nikos Karacapilidis [http://www.iais.fraunhofer.de/interpretable-patterns-workshop.html] Local patterns, like itemsets, correlations, contrast sets or subgroups, stand out from other data mining tools by their descriptive nature, which makes them directly interpretable by end users like clinicians, fraud experts or analysts. In this workshop, we wish to investigate typical use cases and key requirements for the successful usage of local pattern mining in applications where next to the statistical performance of models, the understandability and interestingness of the models is the key success factor. * COMMPER: Community Mining and People Recommenders Panagiotis Papapetrou, Jaakko Hollmen and Luiz Augusto Pizzato [http://research.ics.tkk.fi/events/commper2012/] Data mining and knowledge discovery in social networks has advanced significantly over the past several years, due to the availability of a large variety of offline and online social network systems. The focus of COMMPER 2012 is on social networks with special focus on community mining and people recommenders. Community minding involves topics such as the analysis of scientific communities and collaboration networks, including bibliometrics, and the formation of teams. People recommenders focus on the all topics where recommender systems are used to enable connections among users, such systems can be found on all types of social networks such as photo sharing websites, expert search, mentoring systems and online dating.. * CoLISD: Collective Learning and Inference on Structured Data Balaraman Ravindran, Kristian Kersting, Sriraam Natarajan, S. Shivashankar [http://www.cse.iitm.ac.in/CoLISD/CoLISD.html] Classical ML techniques assume the data to be iid, but the real world data is inherently relational and can generally be represented using graphs or some variants of them. The importance of modelling structured data is evident from its increasing presence: WWW, social networks, organizational network, image, protein sequence, relational data etc. This field has been recently receiving a lot of attention in the community under different themes depending on the problem addressed and the nature of solution. Variants include iterative classification, structured prediction, relational learning, etc. While there are other issues such as learning the network structure, CoLISD focuses on the within-network learning and inference tasks with special emphasis on collective inference. * ECML/PKDD 2012 Discovery Challenge: Third Challenge on Large Scale Hierarchical Text Classification Ion Androutsopoulos, Thierry Artieres, Patrick Gallinari, Eric Gaussier, Aris Kosmopoulos, George Paliouras, Ioannis Partalas [http://lshtc.iit.demokritos.gr/] This year’s discovery challenge hosts the third edition of the successful PASCAL challenges on large scale hierarchical text classification. The challenge comprises three tracks and it is based on two large datasets created from the ODP web directory (DMOZ) and Wikipedia. The datasets are multi-class, multi-label and hierarchical. The number of categories ranges between 13,000 and 325,000 roughly and the number of documents between 380,000 and 2,400,000. The three tracks are: 1) Standard large-scale hierarchical classification, 2) Multi-task learning and 3) Refinement-learning. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From J.M.Broersen at uu.nl Tue Jun 19 14:46:01 2012 From: J.M.Broersen at uu.nl (Jan Broersen) Date: Tue, 19 Jun 2012 14:46:01 +0200 Subject: Call for participation: DEON 2012, Deontic Logic in Computer Science Message-ID: <4FE07489.6030403@uu.nl> DEON 2012 11th International Conference on Deontic Logic in Computer Science 16-18 July 2012 University of Bergen, Bergen, Norway Special theme: Deontic Logic and Social Choice ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Invited speakers: Fabrizio Cariani, Davide Grossi, John Horty, Christian List. Program: http://infomedia.uib.no/deon2012/program.html Registration: http://infomedia.uib.no/deon2012/registration.html Deadline for registration: July 1st (later will be possible, but only against a higher price) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. There have been nine previous DEON conferences: Amsterdam, December 1991; Oslo, January 1994; Sesimbra, January 1996; Bologna, January 1998; Toulouse, January 2000; London, May 2002; Madeira, May 2004; Utrecht, July 2006, Luxembourg, July 2008, Fiesole July 2010. General Themes ============== - the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, logics of action, logics of time, and other related areas of logic - the formal analysis of normative concepts and normative systems - the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility and liability - normative aspects of protocols for communication, negotiation and multi-agent decision making - the formal representation of legal knowledge - the formal specification of normative systems for the management of bureaucratic processes in public or private administration - applications of normative logic to the specification of database integrity constraints Special Theme: Deontic Logic and Social Choice =============================== - Normative system selection and optimization - Merging and aggregation of norms - Compliance and enforcement strategies for norms - Game theoretic aspects of deontic reasoning - Norms, culture and and shared values - Violation detection and norm creation mechanisms - Simulation of dynamics in normative systems - Emergence of norms - Norm change Chairs: ======= Thomas Ågotnes, University of Bergen Jan Broersen, Utrecht University Dag Elgesem, University of Bergen From tb at imm.dtu.dk Tue Jun 19 15:44:18 2012 From: tb at imm.dtu.dk (Thomas Bolander) Date: Tue, 19 Jun 2012 15:44:18 +0200 Subject: AiML-2012: Call for Participation Message-ID: <8F0920C3-28B5-4000-BC30-2698A494F779@imm.dtu.dk> AiML-2012: CALL FOR PARTICIPATION 9-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC COPENHAGEN, 22-25 AUGUST, 2012 http://hylocore.ruc.dk/aiml2012.html Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2012 is the ninth conference in the series. REGISTRATION: Please see http://hylocore.ruc.dk/aiml2012/registration.php NOTE THAT THE DEADLINE FOR EARLY REGISTRATION IS JUNE 29. ACCEPTED PAPERS: Please see http://hylocore.ruc.dk/aiml2012/accepted.php CONFERENCE LOCATION Advances in Modal Logic 2012 will be held at the IDA conference centre in downtown Copenhagen: http://ida.dk/sites/moedecenter/english/Sider/EnglishForside.aspx This is in easy walking distance from Copenhagen Central Station and a number of reasonably priced hotels. INVITED SPEAKERS Lev Beklemishev (Moscow State University) Johan van Benthem (University of Amsterdam and Stanford University) Lars Birkedal (IT University of Copenhagen, Denmark) Patrick Blackburn (Roskilde University) Balder ten Cate (UC Santa Cruz) Larisa Maksimova (Novosibirsk State University) SPECIAL SESSION ON HYBRID LOGIC. Hybrid logic is an extension of modal logic allowing to refer explicitly to states of the model in the syntax of formulas. There will be a special session of AiML devoted to papers on hybrid logic. The scope of the special session is standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but also other extensions of modal logic can be considered. SPECIAL SESSION IN HONOUR OF LARISA MAKSIMOVA. There will be a special session of AiML devoted to papers and talks in honour of Larisa Maksimova, in recognition of her many outstanding contributions to modal logic. PROGRAMME COMMITTEE Carlos Areces (FaMAF, Universitad Nacional de Cordoba, Argentina) Philippe Balbiani (IRIT, Toulouse, France) Lev Beklemishev (Moscow State University, Russia) Guram Bezhanishvili (New Mexico State University, USA) Nick Bezhanishvili (Imperial College London, UK) Patrick Blackburn (Roskilde University, Denmark) Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University, Denmark) Giovanna Corsi (Università di Bologna, Italy) Giovanna D'Agostino (Università di Udine, Italy) Stephane Demri (LSV, ENS Cachan, France) Melvin Fitting (Lehman College, CUNY, USA) Robert Goldblatt (Victoria University of Wellington, New Zealand) Valentin Goranko (Technical University of Denmark) Rajeev Gore (Australian National University, Australia) Andreas Herzig (IRIT, Toulouse, France) Ian Hodkinson (Imperial College London, UK) Wiebe van der Hoek (University of Liverpool, UK) Rosalie Iemhoff (University of Utrecht, The Netherlands) Alexander Kurz (University of Leicester, UK) Tadeusz Litak (University of Leicester, UK) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Martin Otto (Technical University of Darmstadt, Germany) Alessandra Palmigiano (ILLC, University of Amsterdam, The Netherlands) Renate Schmidt (University of Manchester, UK) Lutz Schröder (Friedrich-Alexander-Universität Erlangen-Nürnberg) Valentin Shehtman (Moscow State University, Russia) Dimiter Vakarelov (Sofia University, Bulgaria) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Heinrich Wansing (Ruhr University Bochum, Germany) Frank Wolter (University of Liverpool, UK) Michael Zakharyaschev (Birkbeck College, London, UK) PROGRAMME COMMITTEE CO-CHAIRS Silvio Ghilardi (Università degli Studi di Milano, Italy) Lawrence Moss (Indiana University, USA) ORGANIZING COMMITTEE CO-CHAIRS Thomas Bolander (Technical University of Denmark) Torben Braüner (Roskilde University, Denmark) FURTHER INFORMATION. Please see http://hylocore.ruc.dk/aiml2012/ ENQUIRIES. E-mail enquiries should be directed to aiml2012 at easychair.org From calimeri at mat.unical.it Tue Jun 19 15:52:44 2012 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Tue, 19 Jun 2012 15:52:44 +0200 Subject: 4th *OPEN* Answer Set Programming Competition 2013 - New Call for benchmarks Message-ID: [apologies for any cross-posting] ........................................................................ 4th OPEN Answer Set Programming Competition 2013 Call for Benchmark Problems University of Calabria - Vienna University of Technology Fall/Winter 2012/2013 http://aspcomp2013.mat.unical.it/ ........................................................................ The 4th Open Answer Set Programming Competition is open to ASP systems and *any other system* based on a declarative specification paradigm. The event is currently open and in the Call for Benchmarks stage. == Call for Benchmark Problems == Participants will compete on a selected collection of declarative specifications of benchmark problems, taken from a variety of domains as well as real world applications, and instances thereof. These include, but are not limited to: - Deductive database tasks on large data-sets - Sequential and Temporal Planning - Classic and Applicative graph problems - Puzzles and Combinatorics - Scheduling, Timetabling, and other resource allocation problems - Combinatorial Optimization Problems - Ontology reasoning - Automated Theorem Proving and Model Checking - Reasoning tasks over large propositional instances - Constraint Programming problems - Other AI problems We encourage to provide help by proposing and/or devising new challenging benchmark problems. The submission of problems arising from applications of practical impact are strongly encouraged; problems used in the former ASP Competitions, or variants thereof, can be re-submitted. Benchmark authors are expected to produce a problem specification and an instance set (or a generator thereof). The detailed benchmark problems submission procedure is available at: http://www.mat.unical.it/aspcomp2013/BenchmarkSubmission === About the ASP Competition Series === Answer Set Programming is a well-established paradigm of declarative programming with close relationship to other declarative modelling paradigms and languages, such as SAT Modulo Theories, Constraint Handling Rules, FO(.), PDDL, CASC, and many others. Since the first informal editions (Dagstuhl 2002 and 2005), ASP systems compare themselves in the nowadays customary ASP Competition: the 4th ASP Competition will be run jointly at the University of Calabria (Italy) and the Vienna University of Technology (Austria), in the first half of 2013. The event is the sequel to the ASP Competition series, held at the University of Potsdam (Germany) in 2006-2007, at the University of Leuven (Belgium) in 2009, and at University of Calabria (Italy) in 2011. The current competition takes place in cooperation with the 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), where the results will be announced. The ASP competition is held as an open tournament. The "Model & Solve" competition track fosters the spirit of integration among communities, and is thus open to all types of solvers: ASP systems, SAT solvers, SMT solvers, CP systems, FOL theorem provers, Description Logics reasoners, planning reasoners, or any other. The "System" competition track is instead set up on a fixed language based on the answer set semantics. == Important Dates == * Problem selection stage Problem submission deadline: Aug 31th, 2012 * Competition stage "Model & Solve" submission deadline: Mar 1st, 2013 "System" submission deadline: Mar 1st, 2013 * Sep 15-19th, 2013 Announcement of results and awards at LPNMR 2013 - Corunna, Spain For further information please visit the competition web site http://aspcomp2013.mat.unical.it/ or contact us by email: aspcomp2013 at kr.tuwien.ac.at. From iccs12.agadir at gmail.com Tue Jun 19 20:17:34 2012 From: iccs12.agadir at gmail.com (M Nemiche) Date: Tue, 19 Jun 2012 20:17:34 +0200 Subject: Deadline Approaching - International Conference on Complex Systems || Agadir-Morocco Message-ID: CALL FOR PAPERS =================================================================== INTERNATIONAL CONFERENCE ON COMPLEX SYSTEMS ICCS'12 is an IEEE technically co-sponsored conference November 5-6, 2012 Agadir, Morocco http://iccs12.org Submission deadline: June 30, 2012 =================================================================== Ibn Zohr University organize in partnership with IEEE Morocco Section; Spanish Society of General Systems and International Academy for Systems and Cybernetic Science the International Conference on Complex Systems. The city of Agadir, Morocco 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. ================================================================== PUBLICATION All presented papers will be published in the conference proceedings and included in IEEE Xplore Digital Library Authors of selected papers will be invited to submit extended versions of their papers to the International Journal of Computational Intelligence Systems (IJCIS) Impact Factor 1,471 Extended versions of selected papers will be published in the special issue of the following journals: 1. International Journal of Artificial Intelligence and Soft Computing (IJAISC) 2. International Journal of Systems, Control and Communications (IJSCC) 3. International Journal of Applied Evolutionary Computation (IJAEC) 4. International Journal on Information & Communication Technologies (IJICT) =================================================================== TOPICS The topics of interest include, but are not limited to: - Fuzzy Set Theory and Fuzzy Systems - Fractals, Chaos Theory and Chaotic Systems - Artificial Neural Networks - Genetic and Evolutionary Algorithms - Adaptive Agents and Multi-agent Learning - Multi-agent Social Simulation and Cognitive Modeling with Agents - Agent-Based Modeling and Simulation - Agent and Multi-agent Architectures - Game Theory, Strategic Decision-Making in Competitive Environments - Modeling and Control Systems - Diagnosis and Fault-tolerant Control Systems - Hardware-Software Co-Design, Embedded Systems - Complex Biomedical Engineering - Complex Dynamic Systems and Globalization - General System Theory and Methodology - Complex Social and Ecological Systems - Economical, Political and Juridical Systems - Socio-Cultural and Behavioral Modeling - Mathematical Methods in Cybernetics and Systems Theory - Sociocybernetics and Mathematical Sociology ================================================================== CONTACT M. Nemiche nemiche at uv.es =================================================================== DEADLINES Paper Submission: June 30, 2012 ICCS'12 Conference: November 5-6, 2012 Deadline Approaching - International Conference on Complex Systems From georgev at unipi.gr Tue Jun 19 22:22:22 2012 From: georgev at unipi.gr (George Vouros) Date: Tue, 19 Jun 2012 23:22:22 +0300 Subject: AT 2012 Deadline Extension (2 July): 1st International Conference on Agreement Technologies Message-ID: <18DEEDF3-5BEA-4819-BA5D-37CB17C7C734@unipi.gr> [Apologies if you receive this more than once] ==================================== C A L L F O R P A P E R S AT 2012 First International Conference on Agreement Technologies October 15 - 16, 2012 in Dubrovnik, Croatia http://at2012.tel.fer.hr/ ==================================== ################################################################## # NEWS # Keynote Speaker: Carles Sierra (Title: Negotiation and Search) # Sintelnet panel: Pablo Noriega and Andrew Jones (tbc) will talk on topics in Social intelligence and Agreement Technologies (Title: Tba) # Conference proceedings will be published with CEUR-WS.org # Special Issue with AI Review # Papers Due: *** 2nd July 2012 *** NEW DEADLINE *** ################################################################## AIMS & SCOPE ======================== Agreement Technologies refer to computer systems in which autonomous software agents negotiate with one another, typically on behalf of humans, in order to come to mutually acceptable agreements. An agent may choose whether to fulfil an agreement or not, and it should fulfil it when there is an obligation to do so derived from the standing agreements. Autonomy, interaction, mobility and openness are key concepts studied within the Agreement Technologies approach. Semantic alignment, negotiation, argumentation, virtual organisations, trust and reputation and several other technologies are part of the sandbox to define, specify and verify such systems. The first International Conference on Agreement Technologies is an interdisciplinary forum that brings together researchers and practitioners working on the various topics comprising this emergent and vibrant field. It provides an avenue to discuss and exchange new ideas and techniques for the design, implementation and verification of next generation open distributed systems centred on the notion of agreement among computational agents. The conference is supported by COST Action IC0801 on Agreement Technologies. TOPICS OF INTEREST =================== - Argumentation, negotiation - Trust and reputation - Coordination and distributed decision making - Computational Social Choice - Semantic alignment - Inter-theory Relations - Decision and game theoretic foundations for agreement - Agent Commitments - Semantic Service Coordination - Normative Systems - Individual reasoning about norm adoption - Collective deliberation about norm adoption - Autonomic Electronic Institutions - Group planning agreements - Deliberative Agreement: social choice and collective judgment - Evolution of organisational structures - Social Intelligence - Logics for Agreements - Real-time agreements - Agreement patterns - Agreement technologies architectures, environments and methodologies - Applications of agreement technologies (e.g. web service composition, contract automation, supply chain automation, sensor networks, etc.) SUBMISSION DETAILS =================== We encourge submission of original papers from the above-mentioned or other related areas. Each submission should be in one of the following categories: Full Papers: Papers in this category should represent original and previously unpublished work that is currently not under review in any conference or journal. Both basic and applied research papers are welcome. Papers should not exceed 15 pages including references and figures. Position Papers: Contributions in this category may represent either a summary of original work that has already been published in a conference or journal (in this case submissions must include explicitly a reference to the already published work), or a summary of original results obtained as a product of STSMs funded by the Agreement Technologies Cost Action, or ongoing research that can lead to important contributions to Agreement Technologies. Submissions in this category should not exceed 2 pages. All submissions must be written in English and formatted according to the Springer LNCS style, which can be obtained from http://www.springer.de/comp/lncs/authors.html. Submissions must be done via easychair at https://www.easychair.org/conferences/?conf=at2012 All papers will be reviewed. The conference proceedings will be published with CEUR-WS.org. We also plan a special issue of AI Review for extended versions of high-quality papers describing original, novel research. IMPORTANT DATES ======================= Abstracts due: June 20, 2012 Papers due: July 2, 2012 Notification: July 20, 2012 Camera-ready submission: September 9, 2012 AT-2012 conference: October 15-16, 2012 CONFERENCE OFFICIALS =================== Conference Chair: Sascha Ossowski (University Rey Juan Carlos, Spain) Programme Chairs: Francesca Toni (Imperial College London, UK) George Vouros (University of Piraeus, Greece) Local Chairs and Organisation: Gordan Jezic, University of Zagreb, Croatia Mario Kusek, University of Zagreb, Croatia Marin Lujak, University Rey Juan Carlos, Spain Tanja Grzilo, University of Zagreb, CAAS Dubrovnik, Croatia CONTACT =============================== Email: at2012 at agreement-technologies.eu Web: http://at2012.tel.fer.hr/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sender at ekimelu.com Thu Jun 21 05:19:44 2012 From: sender at ekimelu.com (sender at ekimelu.com) Date: Thu, 21 Jun 2012 03:19:44 -0000 Subject: CFP Social Networking Message-ID: <20120621031944.1134.60644@chaiten.ccurico.local> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fernandez at iiia.csic.es Thu Jun 21 17:30:02 2012 From: fernandez at iiia.csic.es (Jose Luis Fernandez Marquez) Date: Thu, 21 Jun 2012 17:30:02 +0200 Subject: CfP: Coordination Models, Languages and Applications - CM track at ACM SAC 2013 Message-ID: <4FE33DFA.6060102@iiia.csic.es> ******************************************************************************************************************** Coordination Models, Languages and Applications Special Track of the 28th ACM Symposium on Applied Computing (SAC'13) http://sac2013.apice.unibo.it/ March 18 - 22, 2013 Institute of Engineering of the Polytechnic Institute of Coimbra (ISEC-IPC) Coimbra, Portugal ********************************************************************************************************************* Building on the success of the fourteenth previous editions (1998-2012), a special track on coordination models, languages and applications will be held at SAC 2013. Over the last decade, we have witnessed the emergence of models, formalisms and mechanisms to describe concurrent and distributed computations and systems based on the concept of coordination. The purpose of a coordination model is to enable the integration of a number of possibly heterogeneous components (processes, objects, agents, services) in such a way that the resulting ensemble can execute as a whole, forming a distributed software system with desired characteristics and functionalities. This is done in terms of coordination abstractions, languages, algorithms, mechanisms, and middleware specifically focused on the management of component interaction. The coordination paradigm crosscuts a number of contemporary software engineering approaches and fields, which we aim to cross-fertilize and bring contribution to, including in particular: multi-agent systems, self-adaptative and self-organising systems, service-oriented architectures, component-based systems, and all related middleware platforms. The Special Track on Coordination Models, Languages and Applications takes a deliberately broad view of what constitutes coordination. Accordingly, major topics of interest this year will include: - Novel models, languages, programming and implementation techniques - Applications - Internet, Web, and pervasive computing systems coordination - Coordination of multi-agent systems, including mobile agents, intelligent agents, and agent-based simulations - Languages for service description and composition - Models, frameworks and tools for Group Decision Making - All aspects related to Cooperative Information Systems (e.g. workflow management, CSCW) - Software architectures and software engineering techniques - Configuration and Architecture Description Languages - Middleware platforms - Self-organising, self-adaptive and nature-inspired coordination approaches - Coordination technologies, systems and infrastructures - Relationship with other computational models such as object oriented, declarative (functional, logic, constraint) programming or their extensions with coordination capabilities - Formal aspects (semantics, reasoning, verification) - Coordination models and specification in Service-Oriented Architectures, Web Service technologies (orchestration, choreography, etc), and Pervasive Computing We also welcome papers on practical systems or novel applications that are aimed at reaching coordination between components and services, especially if those systems and novel applications challenge existing ideas and models. ---------------------- Important Dates ---------------------- *** Sept 21, 2012: Paper submission *** Nov 10, 2012: Author notification Nov 30, 2012: Camera-Ready Copy March 18-22, 2013: Conference ------------------------ Program Co-Chairs ------------------------ Mirko Viroli Alma Mater Studiorum - Universita' di Bologna http://www.ingce.unibo.it/~mviroli email: mirko.viroli at unibo.it Gabriella Castelli Universita' di Modena e Reggio Emilia http://pervasive2.morselli.unimo.it/~gabriella email: gabriella.castelli at unimore.it Jose Luis Fernandez-Marquez University of Geneva http://iss.unige.ch/?q=users/fernandez email: joseluis.fernandez at unige.ch -------------------------------- Program Committee Members -------------------------------- Farhad Arbab, CWI Amsterdam and Leiden University, Netherlands Jacob Beal, BBN Technologies, USA Cristian Borcea, New Jersey Institute of Technology, USA Dave Clarke, Katholieke Universiteit Leuven, Belgium Ferruccio Damiani, University of Torino, Italy Wolfgang De Meuter, Vrije Universiteit Brussel, Belgium Rocco De Nicola, Institute for Advanced Studies Lucca, Italy Simon Dobson, University of St Andrews, Scotland Markus Endler, University of Sao Paulo, Brazil Alois Ferscha, Johannes Kepler Universitat Linz, Austria Keith Harrison-Broninski, Role Modellers Ltd, UK Sam Malek, George Mason University, USA Manuel Mazzara, Newcastle University, UK Michael O'Grady, University College Dublin, Ireland Andrea Omicini, University of Bologna, Italy Manuel Oriol, University of York, UK Antonio Porto, University of Porto, Portugal Alessandro Ricci, University of Bologna, Italy Juan Antonio Rodriguez Aguilar, IIIA-CSIC, Spain Davide Rossi, University of Bologna, Italy Michael Ignaz Schumacher, University of Applied Sciences, Switzerland Yasuyuki Tahara, National Institute of Informatics, Japan Paul Tarau, University of North Texas, USA Robert Tolksdorf, Freie Universitaet Berlin, Germany Giuseppe Valetto, Drexel University, USA Daniel Villatoro, Barcelona Digital Technological Center, Spain Meritxell Vinyals, Artificial Intelligence Research Institute, Spain Eiko Yoneki, University of Cambridge Computer Laboratory, UK George Wells, Rhodes University, South Africa Herbert Wiklicky, Imperial College London, UK Pawel T. Wojciechowski, Poznan University of Technology, Poland Franco Zambonelli, University of Modena and Reggio Emilia, Italy ------------------ Proceedings ------------------ Papers accepted for the Special Track on Coordination Models, Languages and Applications will be published by ACM both in the SAC 2013 proceedings and in the Digital Library. ---------------------------------- Paper submission and format ---------------------------------- All papers should represent original and previously unpublished works that currently are not under review in any conference or journal. The author(s) name(s) and address(es) must NOT appear in the body of the paper, and self-reference should be in the third person. This is to facilitate blind review. Only the title should be shown at the first page without the author's information. Submitted papers must be no longer than 6 pages and in the ACM two-column page format (doc template, pdf template, latex template). It will be possible to have up to 2 extra pages in the proceeding at a charge of $80 per page (total 8 pages maximum). For accepted papers, registration for the conference is required and allows accepted papers to be printed in the conference proceedings. The accepted paper MUST be presented by an author or a proxy. This is a requirement for the paper to be part of the ACM/IEEE digital library. Submission is entirely automated via the STAR Submission System, which is available from the main SAC Web Site: https://www.softconf.com/d/sac2013/. ---------------------- Poster Sessions ---------------------- Papers that received high reviews (that is acceptable by reviewer standards) but were not accepted due to space limitation can be invited for the poster session. Poster should be not longer than 2 pages plus 1 extra page at $80. The poster session procedures and details will be posted on SAC 2013 website as soon as they become available. --------------------------------------------- Student research abstracts competition --------------------------------------------- Graduate students are invited to submit research abstracts (minimum of 2-page and maximum of 4-page) following the instructions published at SAC 2013 website. Submission of the same abstract to multiple tracks is not allowed. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lukasiew at gmail.com Thu Jun 21 20:06:26 2012 From: lukasiew at gmail.com (Thomas Lukasiewicz) Date: Thu, 21 Jun 2012 19:06:26 +0100 Subject: URSW 2012: Call for Papers Message-ID: <4FE362A2.2070002@cs.ox.ac.uk> *********************************************************** CALL FOR PAPERS 8th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2012) http://c4i.gmu.edu/ursw/2012 In conjunction with the 11th International Semantic Web Conference (ISWC 2012) Boston, USA November 11-12, 2012 *********************************************************** You are invited to participate in the upcoming workshop on Uncertainty Reasoning for the Semantic Web (URSW), to be held as part of the 11th International Semantic Web Conference (ISWC) in November of 2012 at the Boston Park Plaza Hotel & Towers, USA. ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The Uncertainty Reasoning Workshop is an exciting opportunity for collaboration and cross-fertilization between the uncertainty reasoning community and the Semantic Web community. Effective methods for reasoning under uncertainty are vital for realizing many aspects of the Semantic Web vision, but the ability of current-generation web technology to handle uncertainty is extremely limited. Recently, there has been a groundswell of demand for uncertainty reasoning technology among Semantic Web researchers and developers. This surge of interest creates a unique opening to bring together two communities with a clear commonality of interest but limited history of interaction. By capitalizing on this opportunity, URSW could spark dramatic progress toward realizing the Semantic Web vision. AUDIENCE The intended audience for this workshop includes the following: - Researchers in uncertainty reasoning technologies with interest in Semantic Web and Web-related technologies; - Semantic web developers and researchers; - People in the knowledge representation community with interest in the Semantic Web. - Ontology researchers and ontological engineers; - Web services researchers and developers with interest in the Semantic Web; - Developers of tools designed to support semantic web implementation, e.g., Jena developers, Protégé developers, OWL-API developers. TOPIC LIST We intend to have an open discussion on any topic relevant to the general subject of uncertainty in the Semantic Web (including fuzzy theory, probability theory, and other approaches). Therefore, the following list should be just an initial guide. - Syntax and semantics for extensions to Semantic Web languages to enable representation of uncertainty; - Logical formalisms to support uncertainty in Semantic Web languages; - Probability theory as a means of assessing the likelihood that terms in different ontologies refer to the same or similar concepts; - Architectures for applying plausible reasoning to the problem of ontology mapping; - Using fuzzy approaches to deal with imprecise concepts within ontologies; - The concept of a probabilistic ontology and its relevance to the Semantic Web; - Best practices for representing uncertain, incomplete, ambiguous, or controversial information in the Semantic Web; - The role of uncertainty as it relates to Web services; - Interface protocols with support for uncertainty as a means to improve interoperability among Web services; - Uncertainty reasoning techniques applied to trust issues in the Semantic Web; - Existing implementations of uncertainty reasoning tools in the context of the Semantic Web; - Issues and techniques for integrating tools for representing and reasoning with uncertainty; - The future of uncertainty reasoning for the Semantic Web. IMPORTANT DATES July 31, 2012 Paper submissions due August 21 Paper acceptance notification September 10 Camera-ready papers due November 11-12 URSW 2012 SUBMISSION DETAILS The URSW workshop will be accepting submissions of technical papers and position papers. Each submission will be evaluated for acceptability by at least three members of the Program Committee. Decisions about acceptance will be based on relevance to the above topic list, originality, potential significance, topicality, and clarity. Since all accepted papers will be presented at the workshop, we require that at least one of the submitting authors must be a registered participant at the ISWC 2012 conference, and committed to attend the URSW workshop. Submissions to the workshop are only accepted in electronic format and should be sent via the workshop's submission site: https://www.easychair.org/account/signin.cgi?conf=ursw2012. Papers must be formatted in the style of the Springer publications format for Lecture Notes in Computer Science (LNCS). This is the very same format adopted by the ISWC 2011. For complete details, see Springer's Author Instructions (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Technical papers submitted to the URSW Workshop must not exceed 12 pages, including figures. Submissions exceeding this limit will not be reviewed. Position papers consist of a summary of ideas, projects, or any research efforts that are relevant to the URSW Workshop and must not exceed 4 pages. Following the general acceptance rules of the ISWC 2012 conference, papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference will not be accepted to the URSW workshop. PRESENTATION AND PUBLICATION URSW 2012 will be a full-day workshop divided into 4 sessions. The first session will start with the workshop's keynote presentation, which will be followed by technical paper presentations. Sessions two and three will be devoted to presenting our selected technical and position papers, while the remaining session will be planned in a format that invites an open debate on results, conclusions, and recommendations. We plan to convey a work meeting after the workshop, if the last session needs to be extended. All papers accepted to URSW 2012 will be presented during the workshop and published in the workshop proceedings. Authors of accepted technical papers will have 20 minutes to present their work, while authors of accepted position papers will have a 10-minute slot to share their ideas. After each presentation, 5 minutes will be allocated to questions from the audience. Both technical and position papers will be published in the URSW workshop proceedings, to be available after the ISWC 2012 Conference. In addition, technical papers accepted for presentation at URSW 2012 will be eligible for participating in an international journal special issue or in a post-proceedings book. ORGANIZING COMMITTEE The organizing committee is as follows (in alphabetical order): Fernando Bobillo - University of Zaragoza, Spain Rommel N. Carvalho - George Mason University, USA Paulo C. G. Costa - George Mason University, USA Nicola Fanizzi - University of Bari, Italy Kathryn B. Laskey - George Mason University, USA Kenneth J. Laskey - MITRE Corporation, USA Thomas Lukasiewicz - University of Oxford, UK Trevor Martin - University of Bristol, UK Matthias Nickles - Technical University of Munich, Germany Michael Pool - Vertical Search Works, Inc., USA PROGRAM COMMITTEE The confirmed members of the program committee are the following (in alphabetical order): Fernando Bobillo - Universidad de Zaragoza, Spain Silvia Calegari - University of Milano-Bicocca, Italy Rommel N. Carvalho - George Mason University, USA Davide Ceolin - VU University Amsterdam, Netherlands Paulo C. G. Costa - George Mason University, USA Fabio G. Cozman - Universidade de Sao Paulo, Brazil Nicola Fanizzi - University of Bari, Italy Marcelo Ladeira - University of Brasilia, Brazil Kathryn B. Laskey - George Mason University, USA Kenneth J. Laskey - MITRE Corporation, USA Thomas Lukasiewicz - University of Oxford, UK Trevor Martin - University of Bristol, UK Matthias Nickles - University of Bath, UK Rafael Peñaloza - Technical University Dresden, Germany Michael Pool - Vertical Search Works, Inc., USA Livia Predoiu - University of Magdeburg, Germany Guilin Qi - Southeast University, China Célia Ralha - University of Brasilia, Brazil Dave Robertson - University of Edinburgh, UK Daniel Sánchez - European Centre for Soft Computing, Spain Sergej Sizov - University of Koblenz-Landau, Germany Giorgos Stoilos - National and Technical University of Athens, Greece Umberto Straccia - ISTI-CNR, Pisa, Italy Matthias Thimm - Universität Koblenz, Germany Andreas Tolk - Old Dominion University, USA Peter Vojtas - Charles University, Czech Republic We are looking forward to seeing you in Boston! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fernandez at iiia.csic.es Fri Jun 22 14:34:33 2012 From: fernandez at iiia.csic.es (Jose Luis Fernandez Marquez) Date: Fri, 22 Jun 2012 14:34:33 +0200 Subject: 2nd CfP: SASO Workshops 2012 (6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems) Message-ID: <4FE46659.1090307@iiia.csic.es> ------------------------------------------------------------------------------------------------------- SASO 2012 - Call for Papers - WORKSHOPS 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems Lyon, France; 10-14 September 2012 --- http://saso2012.univ-lyon1.fr/ -------------------------------------------------------------------------------------------------------- --------------------------------------------------------------------------------------------- WS1 : Adaptive Integration of Perception and Action in Robotic and Intelligent Systems (AIPA) --------------------------------------------------------------------------------------------- To be held on the 14th September 2012 This workshop will bring together researchers from different areas such as vision, computational neuroscience, artificial intelligence, applied mathematics, robotics to gain broad insights into specific research issues related to coupling sensing and actuation to accomplish complex tasks in challenging environments, and to foster discussions about ongoing research, establish directions for future research and collaborations, and identify best practices for adaptive security. http://saso2012.univ-lyon1.fr/workshop/SASO-AIPA-cfp.pdf Organizing committee chairs --------------------------- - Kirstie Bellman (Aerospace Corporation), Paul Robertson (DOLL, Inc. USA) - Rolf Wurtz (Ruhr-Universitat Bochum, Germany) - Phyllis R. Nelson (California State Polytechnic University, USA) ------------------------------------------ WS2 : Adaptive Host and Network Security ----------------------------------------- To be held on the 14th September 2012 Over the past decade the treat of cyber attacks on critical commercial and government infrastructure has been growing at an alarming rate to a point where it is now considered to be a major threat in the world. Current approaches to cyber security involve building fast-growing multi-million line systems that attempt to detect and remove attacking software. Meanwhile, cyber exploits continue to multiply in number, but their size continues to be a couple of hundred lines of code. This disparity of effort means that the current defensive approaches to cyber security can at best fight a holding action. The workshop is intended to explore game-changing approaches to cyber security that focus on adaptation. There is a clear need to develop systems at both the host level and the network level to actively adapt to cyber attacks and to provide greater protection for networked computation at all levels. The format for this full day workshop is to have a number of short paper presentations, thematically organized discussion and panel sessions, and one invited speaker. The significance of this workshop is to bring together researchers from different areas such as networking, programming languages, computer hardware, and operating systems to gain broad insights into specific research issues related to adaptive host and network security, and to foster discussions about ongoing research, establish directions for future research and collaborations, and identify best practices for adaptive security. http://saso2012.univ-lyon1.fr/workshop/SASO-AHANS-cfp.pdf Organizing committee chairs --------------------------- - Stuart Wagner (Applied Communication Sciences, USA) - Robert Laddaga (DOLL, Inc. USA) - Robert Watson (University of Cambridge, UK) ----------------------------------------------------- WS3: Secure Autonomous Electric Power Grids Workshop ----------------------------------------------------- To be held on the 10th September 2012 Electric energy grids worldwide are becoming smarter and more adaptive to efficiently bring power from a wide variety of production technologies to a broad consumer base. With this increase in complexity and adaptivity we see an ever-increasing demand for predictable power availability and cost-optimizing control of power consumption (and local generation where available) among consumers. "Security" in the grid has many dimensions, from protecting national resources against human adversaries to simply guaranteeing the availability of power to customers. This workshop is concerned with creating autonomous electric power grids that are secure in all senses of the word. https://sites.google.com/site/saepog/ Organizing committee chairs --------------------------- - Glenn Fink, Ph.D., Pacific Northwest National Laboratory (PNNL) - Errin Fulp, Ph.D., Wake Forest University (WFU) - Hartmut Schmeck, Ph.D., Institute of Applied Informatics and Formal Description Methods (AIFB) - Sven Brueckner, Ph.D., Jacobs Engineering, Inc. (Jacobs) ------------------------------------------------------------------------ WS4: Institutions for Sustainable, Smarter and Protective Infrastructure ------------------------------------------------------------------------ To be held on the 14th September 2012 In an increasingly inter-connected world, where all things are dependent on one another, small local perturbations can have complex effects on a global scale. This is particularly true for urban and rural infrastructure and resources, such as water, transport, electricity, etc. These infrastructures and resources are all maintained and regulated by one or more institutions, designed and used by government bodies, non-governmental organisations or private companies. Increasingly, the success of these institutions is dependent on both the engagement of citizens, evidence-based policy making and the leverage of computational intelligence to achieve intended global outcomes from micro-level interactions. The unpredictability of events and their consequences demands institutions which are more adaptive, more responsive, more pro-active and more coordinated in their behaviour when dealing with local crisis management. Due to the inter-connection of human and electronic decision making, solutions for optimising both parts are required, moreover it is very important to consider the ability (and willingness) of humans to adapt to the new infrastructure and vice versa. These are essential aspects of delivering smarter infrastructure for promoting security and supporting sustainability, from both an economical and ecological perspective. This workshop will be of concern to anyone interested in autonomic and self-organising systems in human and electronic institutions, organisation and enterprises, with applications to critical infrastructure like water, transport, electricity and so on. http://www.isspi.org Organizing committee chairs --------------------------- - Julia Schaumeier (Imperial College London, UK) - Dr Michael Cox (Indiana University, USA) - Prof. Stephen McArthur (University of Strathclyde, Glasgow) - Prof. Takayuki (Nagoya Institute of Technology, Japan) --------------------------------------------------------------------------------------------------- WS5: Technologies for the Organisation, Adaptation and Simulation of Transportation Systems (TOAST) --------------------------------------------------------------------------------------------------- To be held on the 14th September 2012 Year after year we are witnessing an increasing mobility of people and goods around the globe, from everyday commuting, to holiday trips, food and good distribution, and transportation related to ageing and public health, among many others. All this trips can be made by many different means of transportation (airplanes, public transport, private cars, car pooling, public bicycles, etc.), each of them with its own characteristics, advantages and disadvantages. As a consequence, the management of the transportation system as a whole becomes a very complex task, and it requires a better knowledge of users' travels and behaviours as well as their interactions with their environment. To carry out this work, modeling methods and simulation tools are playing an increasingly importance for infrastructure design, network operation and new mobile services. In addition, the increasing pressure to mitigate the climate change has a major impact on logistics, and companies world-wide must rethink their distribution strategies to reduce their carbon footprint. In light of this, self-adaptive and self-organising systems seem to be very appropriate. On one hand, self-adaptive systems allow the transportation systems to continuously adapt and cope with the dynamism of the environment (changing traffic conditions, dynamic demand, accidents, etc.). On the other hand, self-organising systems let the different involved actors to organise themselves, trying to achieve their goals without the need of a central authority forcing them to adopt a given behaviour. Also, the design of urban development and deployment of digital services can be expressed as of complex and self-* systems by the number and nature of the entities involved, their interactions and their respective dynamics. The purpose of this workshop is to bring researchers and practitioners together in order to set up visions on how methods and tools can be used for ground transportation applications. http://www.iis.ee.ic.ac.uk/TOASTS Organizing committee chairs --------------------------- - Jean-Michel Auberlet, IFSTTAR (France) - Didac Busquets, Imperial College London (UK) - Emmanuelle Grislin-Le Strugeon, LAMIH (France) - Paulo Leitao, Polytechnic Institute of Braganca (Portugal) ------------------------------------------------------------------------------------------------ WS6: Second International Workshop on Socio-Aware Networked Computing Systems (SocioAware 2012) ------------------------------------------------------------------------------------------------ To be held on the 10th September 2012 The workshop seeks to shed light on the question how the increasing pervasion of technical infrastructures with social aspects affects the engineering of reliable and scalable networked computing systems. A particular focus will be laid upon the question how the ongoing trend towards a rigorous mathematical modeling of self-organization processes in social systems (for instance in the language of complex networks, dynamical systems and random matrix theory) can influence and inspire the design of distributed algorithms, network topologies and communication protocols, resulting in what may be called socio-aware networked computing systems. http://socioaware.syssoft.uni-trier.de/ Organizing committee chairs --------------------------- - Pr. Peter Sturm (University of Trier, Germany) - Jean Botev (University of Luxembourg, Luxembourg) - Markus Esch (Universite catholique de Louvain, Belgium) - Ingo Scholtes ETH Zurich, Switzerland) - Bernd Klasen (SES ASTRA TechCom, Luxembourg) --------------------------------------------------------------------------------------------------- WS7 : Evaluation of Self-Adaptive and Self-Organizing Systems - Tools, Techniques and Case studies --------------------------------------------------------------------------------------------------- To be held on the 10th September 2012 Self-adaptive and self-organizing systems are, by nature, systems that operate and adapt under dynamic circumstances. Evaluating solutions to dynamic problems is particularly complicated: - solutions to dynamic problems need to take into account various (and sometimes conflicting) objectives, including timeliness of adaptation, overheads (for computation and communication), tolerance of disruption , etc. - approaches for on-line algorithms, such as K-competitive analysis, may not be suitable since these require a notion of an optimal solution - a notion hard to define for dynamic solution techniques - comparing self-organizing solutions to their static counterpart is not always a fair comparison. Comparing a distributed or decentralized solution, which needs to account for extra communication to allow the system to scale with an off-line algorithm, is unfair. - comparing adaptive (i.e. self-adaptive or self-organizing) solutions is hard, because they have been driven with non-functional requirements and requirements such as reliability, stability or system lifetime may be more important than performance efficiency. Additionally, but related to these challenges, there are relatively few (and in some cases no) benchmark suites or codes for dynamic scenarios to work with. In short, disciplined approaches to allow us to reason and study the qualities of SASO systems are required. This workshop aims to bring together a variety of researchers in the SASO, autonomic computing and cyber physical systems areas, to discuss these topics. The workshop will solicit experience reports, theoretical work, position statements, and other research contributions. https://sites.google.com/site/eval4saso2012/ Organizing committee chairs --------------------------- - Tom Holvoet (KU Leuven, Belgium) - Julie McCann (Imperial College London, UK) - Richard John Anthony (University of Greenwich, UK) ---------------------------------------------------------------------------------------- WS8: 2nd AWARE workshop on Challenges for Achieving Self-Awareness in Autonomic Systems ---------------------------------------------------------------------------------------- To be held on the 10th September 2012 The goal of the workshop is to identify key challenges involved in creating self-aware systems which are capable of autonomous management, and consider methods by which these challenges can be addressed. The workshop specifically targets an interdisciplinary community of researchers in the hope that collective expertise from a range of domains can be leveraged to drive forward research in the area. http://www.aware-project.eu/saso-2012/ Organizing committee chairs --------------------------- - Professor Emma Hart (Edinburgh Napier University) - Dr Giacomo Cabri (Universita' di Modena e Reggio Emilia, Italy) -------------------------------------------------------------------------------------------------------- WS9: First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions -------------------------------------------------------------------------------------------------------- To be held on the 10th September 2012 Emerging distributed computing scenarios (mobile, pervasive, and social) are characterised by intrinsic openness, decentralization, and dynamics. According, the effective deployment and execution of distributed services and applications calls for open service frameworks promoting situated and self-adaptive behaviours, and supporting diversity in services and long-term evolvability. This suggests adopting nature-inspired and/or socially-inspired approaches, in which services are modelled and deployed as autonomous individuals in an ecosystem of other services, data sources, and pervasive devices. Accordingly, the self-organizing interactions patterns among components and the resulting emerging dynamics of the system, as those of natural systems or of social systems, can inherently exhibit effective properties of self-adaptivity and evolvability. Although many initiatives (like those named upon digital/business service ecosystems) recognise that the complexity of modern service systems is comparable to that of natural ecosystems, the idea that nature - other than a mean to metaphorically characterize their complexity - can become the source of inspiration for their actual modelling and implementation is only starting being metabolised. The goal of the workshop is to bring together researchers and practitioners, with the aims of unfolding the many challenges related to the modelling, design and implementation of adaptive service ecosystems in natural and social terms, and identifying promising approaches and solutions. http://apice.unibo.it/xwiki/bin/view/ASENSIS/ Organizing committee chairs --------------------------- - Jose Luis Fernandez-Marquez, Institute for Service Sciences, University of Geneva - Sara Montagna, DEIS, University of Bologna - Andrea Omicini, DEIS, Univesity of Bologna - Franco Zambonelli, DISMI, Universita' di Modena e Reggio Emilia -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From frank.loebe at informatik.uni-leipzig.de Fri Jun 22 17:13:25 2012 From: frank.loebe at informatik.uni-leipzig.de (frank.loebe at informatik.uni-leipzig.de) Date: Fri, 22 Jun 2012 17:13:25 +0200 Subject: OBML 2012: 2nd Call for Papers (4th Workshop on Ontologies in Biomedicine and Life Sciences, Sep 27-28, Dresden, Germany) Message-ID: <201206221513.q5MFDTlt005757@isun.informatik.uni-leipzig.de> (apologies for cross-posting) ... (please distribute) ------------------------------------------------------- Call for Papers >> OBML 2012 << Sep 27-28, Dresden, Germany Submission deadline: Aug 01, 2012 [1] https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2012 ------------------ Fourth Workshop of Ontologies in Biomedicine and Life Sciences (OBML 2012) Goals of OBML ------------- The workshop series on "Ontologies in Biomedicine and Life Sciences" (OBML workshop) was initiated by the working group for OBML of the German Society for Computer Science in 2009. The OBML workshop aims to bring together scientists who are working on all areas of ontologies applied to biomedicine and the life sciences to exchange ideas, discuss new results, start collaborations and to initiate new projects. The OBML workshop is held annually and deals with all aspects of biomedical ontologies as well as additional "hot" topics. This year's "hot" topic is the representation of physiology. Physiology is the science of the functions and functionings of biological systems, and significant resources have been invested in biology and medicine to describe and simulate physiological processes. In particular, researchers in systems biology and systems medicine have generated a large number of computational models to predict the outcome of physiological processes on a sub-cellular, cellular, tissue and organ-level scale, and projects such as the Virtual Physiological Human aim to extend this work further and create a computational model of human physiology. While ontologies are now widely applied to integrate biomedical data in many domains, the complexity of the physiology domain has limited the success of ontologies so far. We aim to address this problem in the OBML workshop by organizing a special session on the ontology of physiology. This session will bring together researchers in ontology, biomedicine, systems biology and knowledge representation to present their solutions and requirements for the domain of physiology. Topics ------ We invite submissions in all areas of biomedical ontology, including the following topics: - applications of ontologies and terminologies in biology, medicine, and clinical research - methods and tools for the construction and management of ontologies - ontologies for knowledge representation, methods of reasoning, integration and interoperability of ontologies - applications of the Semantic Web and knowledge representation formalisms in biomedicine and the life sciences - new biomedical ontologies and updates to existing ontologies For our special session on "ontology of physiology", we are particularly interested in - ontology and systems biology - ontology of processes - ontology of functions, functionings, dispositions and tendencies - links between physiology, phenotypes and disease - use of ontologies for the description of parameters, inputs, simulations and simulation results of computational models Submission instructions ----------------------- Submissions to the workshop should comprise 2-4 pages and must be written in English. The preferred file format for submissions is PDF, other admitted formats are Microsoft Word (DOC and DOCX) and Postscript (PS). Please use the corresponding template for submissions, either the LaTeX template or the Microsoft Word template. Submissions must be submitted via Easychair at [2] http://www.easychair.org/conferences/?conf=obml2012 Dates ----- Submission deadline: August 01, 2012 Author notification: August 31, 2012 Submission of camera-ready manuscripts: September 16, 2012 OBML Workshop: September 27-28, 2012 Location -------- The OBML Workshop 2012 will take place in Dresden, Germany, at the Biotechnology Center of the Technical University. Invited Speakers ---------------- Francisco Couto (Universidade de Lisboa) Michael Schroeder (Technical University Dresden) George Gkoutos (University of Cambridge) Organization ------------ Robert Hoehndorf (chair) Martin Boeker (program chair) Heinrich Herre (program chair) Frank Loebe (co-organizer) Local Organization ------------------ Michael Schroeder (Biotechnology Center, Technical University Dresden) Program committee ----------------- Martin Boeker, University Medical Center Freiburg Patryk Burek, University of Leipzig Fred Freitas, Federal University of Pernambuco, Recife, Brazil George Gkoutos, University of Cambridge Giancarlo Guizzardi, Federal University of Espirito Santo, Brazil Heinrich Herre, University of Leipzig Robert Hoehndorf, University of Cambridge Ludger Jansen, University of Rostock Janet Kelso, Max Planck Institute for Evolutionary Anthropology, Leipzig Toralf Kirsten, University of Leipzig Frank Loebe, University of Leipzig Axel Ngonga-Ngomo, University of Leipzig Anika Oellrich, European Bioinformatics Institute, Cambridge Roberto Poli, University of Trento Dietrich Rebholz-Schuhmann, European Bioinformatics Institute, Cambridge Peter Robinson, Charité – Universitätsmedizin Berlin Paul Schofield, University of Cambridge Michael Schroeder, Technical University Dresden Stefan Schulz, Medical University Graz Luca Toldo, Merck KGaA George Tsatsaronis, Technical University Dresden Links ----- [1] Workshop website https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2012 [2] Submission system http://www.easychair.org/conferences/?conf=obml2012 From frank.loebe at informatik.uni-leipzig.de Fri Jun 22 17:33:50 2012 From: frank.loebe at informatik.uni-leipzig.de (frank.loebe at informatik.uni-leipzig.de) Date: Fri, 22 Jun 2012 17:33:50 +0200 Subject: FOIS 2012: Regular registration period ends on Jun 30 (Call for Participation: Formal Ontology in Information Systems, Jul 24-27, Graz, Austria) Message-ID: <201206221533.q5MFXsTS006540@isun.informatik.uni-leipzig.de> (apologies for cross-posting) ... (please distribute) ----------------------------------------------------------------- CALL FOR PARTICIPATION [ registration reminder + accepted posters ] >>> FOIS 2012 <<< Jul 24-27, Graz, Austria [1] http://purl.org/icbofois2012 -> Approaching DEADLINES: * Regular registration fees apply until: Jun 30, 2012 * Complimentary registration (in special cases [4]): Jul 06, 2012 -> Newly added: list of accepted posters ------------------------------------------------ TITLE AND CO-LOCATION ------------------------------------------------ Seventh International Conference on Formal Ontology in Information Systems (FOIS 2012) July, 24-27, 2012 in Graz, Austria held together with the Third International Conference on Biomedical Ontology (ICBO 2012) ------------------------------------------------ DEFINITION AND SCOPE ------------------------------------------------ Researchers in diverse areas increasingly recognize the need for serious engagement with ontology, understood as a general theory of the types of entities and relations making up their respective domains of enquiry, in providing a solid foundation for their work. Among these areas there are * conceptual modeling, * database design, * software engineering, * organizational modeling, * artificial intelligence, * computational linguistics, * the life sciences, * bioinformatics, * geographic information science, * knowledge engineering, * information retrieval, and * the semantic web. The FOIS conference is designed to provide a meeting point for interdisciplinary research and communication for researchers from all interested disciplines. The conference series [2] began with the first meeting in Trento, Italy in June 1998 followed by meetings in 2001, 2004, 2006, 2008, and 2010. The seventh FOIS conference will be held in Graz, Austria July 24-27, 2012, in conjunction with the third International Conference on Biomedical Ontology (ICBO 2012). For further general information on FOIS, the flagship conference of the International Association for Ontology and its Applications (IAOA) [3], please consult the websites of FOIS 2012 [1] or the conference series website [2]. ------------------------------------------------ IMPORTANT DATES and SELECTED FEES (FOIS only) ------------------------------------------------ Regular registration (300 - 620 EUR): until Jun 30, 2012 <-- Complimentary registration (special cases): until Jul 06, 2012 <-- Late registration (350 - 720 EUR): until Jul 27, 2012 Conference dates: Jul 24-27, 2012 Complimentary registration is only available to a very limited set of cases. Concerning regular registration, there are special rates for combining FOIS and ICBO. Additional rates apply per tutorial and per workshop. For details, please see [4-6]. Note that the periods for early registration and for applications for travel funding are over. [4] http://www.kr-med.org/icbofois2012/registration.htm ------------------------------------------------ KEYNOTES ------------------------------------------------ "Observing Formal Ontology from the Street" Steven R. Ray (Carnegie Mellon Silicon Valley, California, USA) "Improving the Coherence of Lexical Resources and Ontologies" Laure Vieu (CNRS-IRIT, Toulouse, France) "A Computational, Meta-Ontological Framework" Edward N. Zalta (Stanford University, California, USA) ------------------------------------------------ ACCEPTED POSTERS <-- ! NEW ! ------------------------------------------------ * A Semantic Approach to Personalizing Routes (Vladimir Luna, Marco Moreno and Rolando Quintero) * Adverse Events Following Immunization (Melanie Courtot, Ryan R Brinkman and Alan Ruttenberg) * Vulnerability Ranking of Geographic Objects using Conceptual Representations (Imelda Escamilla, Marco Moreno and Miguel Torres) * Ontology-based Framework for Policy-driven Governance in Cloud Application Platforms (Dimitrios Kourtesis and Iraklis Paraskakis) * Korean Food Ontology (Eugene Kim) * Adaptive Ontology Based Index and Search Process in Digital Libraries (Emanuel Reiterer) * Ontology-driven Information System for the Knowledge Transmission in Prevention Education (Susanna Pivetti, Roberta Gazzarata and Mauro Giacomini) * Ontological Representation of Metaphors: A Case-Study (Francesca Quattri) * Extracting Domain Ontologies from Italian Texts: An Approach with Finite State Transducers (Edoardo Salza) * 4 + 1 View Model for the Process of Generating Consistent Labels in the Financial Domain (Dagmar Gromann) * Semantic and Intelligent Search of Geospatial Datasets (Julio C. Vizcarra Romero, Miguel J. Torres Ruiz and Rolando Quintero Tellez) * Part-whole Relations in Conceptual Spaces (Sandro Rama Fiorini, Peter Gärdenfors and Mara Abel) ------------------------------------------------ ACCEPTED PAPERS ------------------------------------------------ The following conference paper submissions have been accepted for presentation at FOIS 2012: * Ontology of Time in GFO (Ringo Baumann, Frank Loebe and Heinrich Herre) * States, Processes and Events, and the Ontology of Causal Relations (Antony Galton) * Three Semantics for the Core of the Distributed Ontology Language (Till Mossakowski, Christoph Lange and Oliver Kutz) * Probability assignments to dispositions in ontologies (Adrien Barton, Anita Burgun and Régis Duvauferrier) * The mysterious appearance of objects (Roberta Ferrario, Emanuele Bottazzi and Claudio Masolo) * A Method for Evaluating Ontologies: Introducing the BFO-Rigidity Decision Tree Wizard (Ali Seyed) * Does your ontology make a (sense) difference? (Pawel Garbacz) * Axiomatizing Change-of-state Words (Niloofar Montazeri and Jerry R. Hobbs) * Using Partial Automorphisms to Design Process Ontologies (Bahar Aameri) * Toward a Commonsense Theory of Microsociology: Interpersonal Relationships (Jerry Hobbs, Alicia Sagae and Suzanne Wertheim) * Suggestions for Galaxy Workflow Design Using Semantically Annotated Services (Alok Dhamanaskar, Michael Cotterell, Jie Zheng, Jessie Kissinger, Christian Stoeckert and John Miller) * An Ontology for Skill and Competency Management (Maryam Fazel-Zarandi and Mark S. Fox) * A Temporal Extension of the Hayes/ter Horst Entailment Rules and an Alternative to W3C's N-ary Relations (Hans-Ulrich Krieger) * A method for re-engineering a thesaurus into an ontology (Daniel Kless, Ludger Jansen, Jutta Lindenthal and Jens Wiebensohn) * Preliminaries to a formal ontology of failure of engineering artifacts (Luca Del Frate) * The Void in Hydro Ontology (Torsten Hahmann and Boyan Brodaric) * Integrating OntoClean's Notion of Unity and Identity with a Theory of Classes and Types (Ali Seyed) * Maturation of Neuroscience Information Framework: An Ontology Driven Information System for Neuroscience (Fahim Imam, Stephen Larson, Anita Bandrowski, Jeffrey Grethe, Amarnath Gupta and Mary Ann Martone) * Elements for a linguistic ontology in the verbal domain (Tovena Lucia) * Towards A Unified Definition of Function (Riichiro Mizoguchi, Yoshinobu Kitamura and Stefano Borgo) * The Date-Time Vocabulary (Mark Linehan, Ed Barkmeyer and Stan Hendryx) * Interactive Semantic Feedback for Intuitive Ontology Authoring (Ronald Denaux, Dhavalkumar Thakker, Vania Dimitrova and Anthony Cohn) * Ontology Content "At A Glance" (Gökhan Coskun, Mario Rothe and Adrian Paschke) * Towards the Ontological Commitment of a Database Schema on the Geological Domain (Alda Maria Silva and Maria Claudia Cavalcanti) ------------------------------------------------ CONFERENCE ORGANISATION ------------------------------------------------ Conference chair: Michael Gruninger (University of Toronto, Canada) Program chairs: Maureen Donnelly (University at Buffalo, USA) Giancarlo Guizzardi (Fed. Univ. of Espírito Santo, Brazil) Local organization: Stefan Schulz (Graz University, Austria) For the FOIS program committee, please see the FOIS 2012 website [1]. ------------------------------------------------ LINKS ------------------------------------------------ [1] http://purl.org/icbofois2012 == http://www.kr-med.org/icbofois2012 FOIS and ICBO 2012 website [2] http://www.formalontology.org/ FOIS conference series [3] http://www.iaoa.org International Association for Ontology and Its Applications [4] http://www.kr-med.org/icbofois2012/registration.htm FOIS/ICBO page with registration information [5] http://de.amiando.com/icbofois2012registration.html FOIS/ICBO online registration [6] http://www.kr-med.org/icbofois2012/graph/rates.png FOIS/ICBO registration rates overview ----------------------------------------------------------------- From rseba at disi.unitn.it Fri Jun 22 19:52:17 2012 From: rseba at disi.unitn.it (Roberto Sebastiani) Date: Fri, 22 Jun 2012 19:52:17 +0200 Subject: Postdoc positions in SAT/SMT-based Verification available in Trento Message-ID: <20120622175217.GA11070@disi.unitn.it> --------------------------------------------------------------------------- [[[ We apologize if you receive multiple copies of this message ]]] --------------------------------------------------------------------------- -------------------------------------------------------------- PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED. -------------------------------------------------------------- One post-doc position in ICT on the research project "Advanced SMT Techniques for Word-level Formal Verification - (WOLF)" is available in Trento, Italy, under the joint supervision of - Alessandro Cimatti, FBK, Trento, and - Roberto Sebastiani, DISI, University of Trento. The research activity will be carried out jointly within the Embedded Systems (ES) Research Unit of the Center for Scientific and Technological Research of the Fondazione Bruno Kessler (FBK), Trento, and the Software Engineering, Formal Methods & Security Research Program, at Department of Information Engineering and Computer Science (DISI) of University of Trento. Aim and Scope ============= The research activity will aim at investigating and developing novel techniques, methodologies and support tools for Satisfiability Modulo Theories (SMT) for the formal verification of systems. This work will be part of the "Advanced SMT Techniques for Word-level Formal Verification - (WOLF)" project, a three-year research project supported by SRC/GRC (http://www.src.org/compete/s201113/), in strict collaboration with the Formal Verification Group at Intel, Haifa, and other major HW companies. The ultimate goal of the WOLF project is to provide a comprehensive SMT package to support effective formal verification of systems ranging from RTL circuits all the way up to high-level hardware description languages (e.g. SystemC) and software. The package will be implemented on top of the MathSAT SMT platform (http://mathsat.fbk.eu/), and provided as an API. Candidate Profile ================= The ideal candidate should have an PhD in computer science or related discipline, and combine solid theoretical background and excellent software development skills (in particular C/C++). A solid background knowledge and/or previous experience on Satisfiability Modulo Theory (SMT) and/or Propositional Satisfiability (SAT) is required. Previous experience in the following areas will also be considered favourably: Model Checking, Automated Reasoning, Constraint Solving and Optimization, Embedded Systems Design Languages (e.g. Verilog, VHDL). The candidate should be able to work in a collaborative environment, with a strong committment to reaching research excellence and achieving assigned objectives. Terms and dates =============== The position will start as soon as possible, and will have to be renewed yearly, for a maximum of three years. The expected salary will range from about 2200 to 2400 euros net income, and the gross will include previdential (social security) contributions. Facilities for meals at the local canteen can be provided. Applications and Inquiries ========================== Interested candidates should inquire for further information and/or apply by sending email to wolf-recruit at disi.unitn.it, with subject 'POSTDOC ON WOLF PROJECT'. Applications should contain a statement of interest, with a Curriculum Vitae, and the names of reference persons. PDF format is strongly encouraged. It should also indicate an estimated starting date. Contact Persons =============== Dr. ALESSANDRO CIMATTI, Embedded Systems Research Unit, FBK-Irst, via Sommarive 18, I-38123 Povo, Trento, Italy http://sra.fbk.eu/people/cimatti/, Prof. ROBERTO SEBASTIANI Software Engineering, Formal Methods & Security Research Program DISI, University of Trento, via Sommarive 14, I-38123 Povo, Trento, Italy http://disi.unitn.it/~rseba/. ======================================================================= The Embedded Systems Research Unit at FBK ========================================= The Embedded Systems Unit consists of about 15 persons, including researchers, post-Doc, Ph.D. students, and programmers. The Unit carries out research, tool development and technology transfer in the fields of design and verification of embedded systems. Current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink). * Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis). * Formal Safety Analysis, based on the integration of traditional techniques (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques. The Embedded Systems Unit is part of Fondazione Bruno Kessler, formerly Istituto Trentino di Cultura, a public research institute of the Autonomous Province of Trento (Italy), founded in 1976. The institute, through its center for the scientific and technological research, is active in the areas of Information Technology, Microsystems, and Physical Chemistry of Surfaces and Interfaces. Today, FBK is an internationally recognized research institute, collaborating with industries, universities, and public and private laboratories in Italy and abroad. The institute's applied and basic research activities aim at resolving real-world problems, driven by the need for technological innovation in society and industry. The SW Engineering, Formal Methods & Security Research Program at DISI ====================================================================== The SW Engineering, Formal Methods & Security R. P. at DISI currently consists on 5 faculties, various post-docs and PhD students. The Unit carries out research, tool development and technology transfer in the fields of Goal-Oriented Requirements Engineering, Agent-oriented SW engineering, Security, and Formal Methods. Referring to formal methods, current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems. * Optimization in SMT and its applications. * Advanced Model Checking Techniques for Formal Verification of hardware, embedded critical software, and hybrid systems. The R.P. is part of the Department of Information Engineering and Computer Science, DISI (http://disi.unitn.it/) of University of Trento. University of Trento in the latest years has always been rated among the top-three small&medium-size universities in Italy. DISI currently consists of 50 faculties, 68 research staff and support people, 21 postdocs and 146 Doctoral students, plus administrative and technical staff. DISI covers all the different areas of information technology (computer science, telecommunications, and electronics) and their applications. These disciplines above are studied individually but also with a strong focus on their integration, Location ======== Trento is a lively town of about 100.000 inhabitants, located 130 km south of the border between Italy and Austria. It is well known for the beauty of its mountains and lakes, and it offers the possibility to practice a wide range of sports. Trento enjoys a rich cultural and historical heritage, and it is the ideal starting point for day trips to famous towns such as Venice or Verona, as well as to enjoy great naturalistic journeys. Detailed information about Trento and its region can be found at http://www.trentino.to/home/index.html?_lang=en. From mir2012 at easychair.org Sat Jun 23 08:59:05 2012 From: mir2012 at easychair.org (mir2012 at easychair.org) Date: Sat, 23 Jun 2012 08:59:05 +0200 (CEST) Subject: CFP: MIR 2012--Mathematics Information Retrieval, Bremen, July 8th Message-ID: <20120623065905.3C4E2632B1@anxur.fi.muni.cz> [Apologies for multiple copies] MIR 2012 Workshop (Mathematics Information Retrieval) July 8th, 2012 at CICM 2012, Bremen Germany http://cicm2012.cicm-conference.org/cicm.php?event=mir The MIR Workshop brings together researchers working on information retrieval for digital mathematics libraries and mathematical document collections for discussions and friendly systems competition. Workshop format: ================ The MIR Workshop will consist of a traditional-style scientific program with presentations of submitted papers in the Math IR Symposium together with the Math IR happening, where workshop participants competitively or jointly solve a set of Math IR challenges and submit their solutions to a panel of mathematician judges. Important dates (note the new dates!): ================ - Symposium: Abstract Submission: June 25th, 2012 Paper Submission: June 30th, 2012 Notification: by one week after paper submission Final Versions: July 3rd, 2012 Workshop with electronic preproceedings: July 8th, 2012 Yellow Postproceedings are planned after the workshop. - Happening: Dataset available: http://arxmliv.kwarc.info/mir12/ MIR System Registration: June 30th, 2012 Submissions in LNCS format (llncs.cls from Manuscript guidelines at www.springer.com/authors) should be sent via Easychair at: https://www.easychair.org/account/signin.cgi?conf=mir2012 Programme Committee (to be completed): ===================================== Michael Kohlhase, Jacobs University (PC co-chair) Petr Sojka, Masaryk University (PC co-chair) Akiko Aizawa, The University of Tokyo Iadh Ounis, University of Glasgow Leo Galamboš, Charles University, Prague MIR Happening Judges panel (to be completed) Romeo Anghelache, Zentralblatt Math Patrick Ion, Mathematical Reviews Invited (videoconference) talk (July 8th, after lunch): ============================== Michael Trott (Wolfram Research): Mathematical Search Math IR Symposium at MIR 2012 (July 8th, morning) ============================= http://cicm2012.cicm-conference.org/cicm.php?event=mir&menu=symposium The Math IR Symposium is a traditional-style half-day workshop with scientific contributions about mathematics information retrieval. Topics include but not limited to: - MIR systems design and descriptions - requirements for mathematics information retrieval: use cases and typical queries - formula normalization, similarity, indexing and search algorithms - mathematics retrieval corpora preparation and tagging - semantically enhancing mathematical corpora for IR (from math OCR or presentation MathML in DML) - extracting semantic relations from corpora - Evaluation of MIR (methods and test corpora) Symposium contributions do not have to be complemented by MIR system registration for Happening. Math IR Happening at MIR 2012 (July 8th, afternoon) ============================= http://cicm2012.cicm-conference.org/cicm.php?event=mir&menu=happening A friendly competition for the systems presented at the workshop. Since math information retrieval is still quite young and developing, we will not make this an official competition, but a happening, where we get together and try our systems on a common set of problems. We expect the happening to transcend the workshop proper. MIR is part of CICM multiconference and is followed by Digital Mathematics Library track of CICM on July 9th: http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=dml From iccs12.agadir at gmail.com Sun Jun 24 15:02:23 2012 From: iccs12.agadir at gmail.com (M Nemiche) Date: Sun, 24 Jun 2012 15:02:23 +0200 Subject: [last call for participation] - International Conference on Complex Systems || Agadir-Morocco Message-ID: CALL FOR PAPERS =================================================================== INTERNATIONAL CONFERENCE ON COMPLEX SYSTEMS ICCS'12 is an IEEE technically co-sponsored conference November 5-6, 2012 Agadir, Morocco http://iccs12.org Submission deadline: June 30, 2012 =================================================================== Ibn Zohr University organize in partnership with IEEE Morocco Section; Spanish Society of General Systems and International Academy for Systems and Cybernetic Science the International Conference on Complex Systems. The city of Agadir, Morocco 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. ================================================================== PUBLICATION All presented papers will be published in the conference proceedings and included in IEEE Xplore Digital Library Authors of selected papers will be invited to submit extended versions of their papers to the International Journal of Computational Intelligence Systems (IJCIS) Impact Factor 1,471 Extended versions of selected papers will be published in the special issue of the following journals: 1. International Journal of Artificial Intelligence and Soft Computing (IJAISC) 2. International Journal of Systems, Control and Communications (IJSCC) 3. International Journal of Applied Evolutionary Computation (IJAEC) 4. International Journal on Information & Communication Technologies (IJICT) =================================================================== TOPICS The topics of interest include, but are not limited to: - Fuzzy Set Theory and Fuzzy Systems - Fractals, Chaos Theory and Chaotic Systems - Artificial Neural Networks - Genetic and Evolutionary Algorithms - Adaptive Agents and Multi-agent Learning - Multi-agent Social Simulation and Cognitive Modeling with Agents - Agent-Based Modeling and Simulation - Agent and Multi-agent Architectures - Game Theory, Strategic Decision-Making in Competitive Environments - Modeling and Control Systems - Diagnosis and Fault-tolerant Control Systems - Hardware-Software Co-Design, Embedded Systems - Complex Biomedical Engineering - Complex Dynamic Systems and Globalization - General System Theory and Methodology - Complex Social and Ecological Systems - Economical, Political and Juridical Systems - Socio-Cultural and Behavioral Modeling - Mathematical Methods in Cybernetics and Systems Theory - Sociocybernetics and Mathematical Sociology ================================================================== CONTACT M. Nemiche nemiche at uv.es =================================================================== DEADLINES Paper Submission: June 30, 2012 ICCS'12 Conference: November 5-6, 2012 From pakdd2013 at gmail.com Sun Jun 24 20:19:30 2012 From: pakdd2013 at gmail.com (CFP PAKDD2013) Date: Sun, 24 Jun 2012 20:19:30 +0200 Subject: Call For Papers PAKDD 2013 Message-ID: Call For Papers PAKDD 2013 The 17th Pacific-Asia Conference on Knowledge Discovery and Data Mining Gold Coast, Australia Conference Website http://pakdd2013.pakdd.org/ Submission System https://cmt.research.microsoft.com/PAKDD2013/ Important Dates Paper submission due: Oct. 1 (Mon). 2012 Notification to author: Dec. 19 (Wed). 2012 Camera ready due: Jan. 6 (Sun). 2013 *[23:59:59 Pacific Time] ============================================================== Conference Scope The Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) is a leading international conference in the areas of data mining and knowledge discovery (KDD). It provides an international forum for researchers and industry practitioners to share their new ideas, original research results and practical development experiences from all KDD related areas, including data mining, data warehousing, machine learning, artificial intelligence, databases, statistics, knowledge engineering, visualization, and decision-making systems. The conference calls for research papers reporting original investigation results and industrial papers reporting real data mining applications and system development experience. ============================================================== Topics The topics of relevance for the conference papers include but not limited to the following: * Novel models and algorithms * Clustering * Classification * Ranking * Association analysis * Anomaly detection * Data pre-processing * Feature extraction and selection * Mining heterogeneous data * Mining multi-source data * Mining sequential data * Mining spatial and temporal data * Mining unstructured and semi-structured data * Mining graph and network data * Parallel, distributed, and high performance data mining on the cloud platform * Privacy preserving data mining * Mining high dimensional data * Mining uncertain data * Mining imbalanced data * Mining dynamic/streaming data * Statistical methods for data mining * Visual data mining * Interactive and online mining * Mining behavioral data * Mining multimedia data * Mining scientific databases * Ubiquitous knowledge discovery * Agent-based data mining * Mining social networks * Financial data mining * Fraud and risk analysis * Security and intrusion detection * Opinion mining and sentiment analysis * Post-processing including quality assessment and validation * Integration of data warehousing, OLAP and data mining * Human, domain, organizational and social factors in data mining * Applications to healthcare, bioinformatics, computational chemistry, * Eco-informatics, marketing, online gaming, etc All paper submissions will be handled electronically. Detailed instructions are provided on the conference home page. ============================================================== Paper Submission Each submitted paper should include an abstract up to 200 words. It should also adhere to the double-blind review policy and not longer than 12 single-spaced pages with 10pt font size. Authors are strongly encouraged to use Springer LNCS/LNAI manuscript submission guidelines (available at http://www.springer.de/comp/lncs/authors.html) for their initial submissions. All papers must be submitted electronically through Microsoft's Conference Management Service (CMT) in PDF format only. The submitted papers must not be previously published anywhere, and must not be under consideration by any other conferences or journal during the PAKDD review process. Submitting a paper to the conference means that if the paper were accepted, at least one author will attend the conference to present the paper. For no-show authors, their affiliations will receive a notification. The program committee chairs are not allowed to submit papers to the conference for a fair review process. All papers will be double-blind reviewed by the Program Committee on the basis of technical quality, relevance to data mining, originality, significance, and clarity. Papers that do not comply with the Submission Guidelines will be rejected without review. Before submitting your paper, please carefully read and agree with the PAKDD submission policy and no-show policy: http://pakdd.togaware.com/policy.html ============================================================== Conference Officers Honorary Co-chairs * Jiawei Han. University of Illinois at Urbana-Champaign,USA * Ramamohanarao Kotagiri, University of Melbourne, Australia * Graham Williams. Australia Taxation Office, Australia Conference Co-chairs * Hiroshi Motoda, AFOSR/AOARD and Osaka University, Japan * Longbing Cao. University of Technology, Sydney, Australia Program Committee Co-chairs * Jian Pei. Simon Fraser University, Canada * Vincent S. Tseng. National Cheng Kung University, Taiwan Local Arrangement Co-chairs * Vladimir Estivill-Castro. Griffith University (Gold Coast), Australia * Xue Li, University of Queensland, Australia * Richi Nayak, Queensland University of Technology, Australia * Xinhua Zhu, University of Technology, Sydney, Australia Workshop Co-chairs * Jiuyong Li. University of Sourth Australia, Australia * Kay Chen Tan. National University of Singapore, Singapore * Bo Liu. Guangdong University of Technology, China Tutorial Co-chairs * Tu Bao Ho. Japan Advanced Institute of Science and Technology, Japan * Mengjie Zhang. Victoria University of Wellington, New Zealand Award Chair * Chengqi Zhang, University of Technology, Sydney, Australia Sponsorship Co-chair * Yue Xu, Queensland University of Technology, Australia Publicity Co-chairs * P.Krishna Reddy, The International Institute of Information * Technology, Hyderabad, India * Yifeng Zeng, Aalborg University, Denmark * Xin Wang, University of Calgary, Canada * Zhihong Deng, Peking University, China ============================================================== Further Information For further information, please contact the Program Committee Chairs by pakdd13-program at pakdd.org . General inquiries * Longbing Cao University of Technology Sydney, Australia Email: pakdd13 at pakdd.org Phone: (61)2-9514-4477 Fax: (61)2-9514-1807 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sebastian.sardina at rmit.edu.au Tue Jun 26 07:02:52 2012 From: sebastian.sardina at rmit.edu.au (Sebastian Sardina) Date: Tue, 26 Jun 2012 15:02:52 +1000 Subject: AI'12 DEADLINE EXTENSION (13 July 2012) - CFP: The 25th Australasian Joint Conference on Artificial Intelligence (AI'12) In-Reply-To: References: Message-ID: [Apologies for cross-posting and re-posting] ------------------------------------------------------------ Due to popular requests, we extend the deadline for paper submissions to *** GMT 23:59 Friday 13 July 2012 ***. The perspective authors are kindly reminded that this will be a firm deadline and no late submissions will be accepted after the deadline. ------------------------------------------------------------ AI'12 Call for Papers The 25th Australasian Joint Conference on Artificial Intelligence (AI’12) 4-7 December 2012 Sydney, Australia http://25thAnniversaryAustralasianAI.org or http://ai12.org Since the first AI Conference took place in Sydney in 1987, the series of annual Australasian Joint Conferences on Artificial Intelligence have become the premier event for Artificial Intelligence researchers in Australasia and one of the major international forums on AI worldwide. For its 25th anniversary, the Australasian Joint Conference on Artificial Intelligence will return to Sydney in December 2012, jointly hosted by The University of Western Sydney and The University of New South Wales. For 2012, the conference venue will be the outstanding Sydney Harbour Marriott Hotel, one of Sydney’s premier harbourside hotels at Circular Quay. The venue overlooks the sparkling Sydney Harbour and the world famous Sydney Opera House, and is just moments away from the historic Rocks district. You are invited to submit original research and application papers on all aspects of AI research, including but not limited to the following: Agent-based and multiagent systems AI applications and innovations Cognitive modeling and computer human interaction Commonsense reasoning Computer vision Constraint satisfaction, search, and optimisation Evolutionary computation Game playing and interactive entertainment Information retrieval, integration, and extraction Knowledge acquisition and ontologies Knowledge representation and reasoning Machine learning and data mining Model-based systems Multidisciplinary AI Natural language processing Planning and scheduling Uncertainty in AI Robotics Social choice Web and information systems All accepted papers submitted to the conference will be published in the Springer Lecture Notes in Artificial Intelligence (LNAI) series. Regular paper submissions, tutorial/workshop proposals should refer to the instructions available at the conference website (http://ai12.org). All papers will be peer reviewed by at least three independent referees. Important Dates: *** REVISED *** Paper submission: GMT 23:59 Friday 13 July 2012 *** EXTENDED *** Notification: GMT 23:59 Monday 27 August 2012 *** EXTENDED *** Camera-ready submission 14 September 2012 Early registration 31 October 2012 Conference Committee: GENERAL CHAIRS Simeon Simoff, University of Western Sydney Maurice Pagnucco, University of New South Wales PROGRAM CHAIRS Dongmo Zhang, University of Western Sydney Michael Thielscher, University of New South Wales LOCAL ARRANGEMENTS CHAIRS Yan Zhang, University of Western Sydney Abhaya Nayak, Macquarie University AWARD SELECTION CHAIR Toby Walsh, National ICT Australia (NICTA) WORKSHOP/TUTORIAL CHAIR Hans Guesgen, Massey University, New Zealand PUBLICITY CHAIR Sebastian Sardina, RMIT University SPONSORSHIP CHAIRS Sumeet Kumar, Telstra Enterprise & Government Laurence Park, University of Western Sydney CONFERENCE COORDINATOR David Rajaratnam, University of New South Wales AI CHALLENGES COORDINATOR Anton Bogdanovych, University of Western Sydney From invitation at iariaprogram.org Tue Jun 26 09:42:05 2012 From: invitation at iariaprogram.org (ICSNC 2012) Date: Tue, 26 Jun 2012 03:42:05 -0400 Subject: Deadline Extension: ICSNC 2012 || November 18-23, 2012 - Lisbon, Portugal Message-ID: <1340696525186.1331@iariaprogram.org> INVITATION: ================= The submission deadline has been extended to July 18, 2012. Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICSNC 2012. In addition, authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICSNC 2012 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICSNC 2012, The Seventh International Conference on Systems and Networks Communications November 18-23, 2012 - Lisbon, Portugal General page: http://www.iaria.org/conferences2012/ICSNC12.html Call for Papers: http://www.iaria.org/conferences2012/CfPICSNC12.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2012/SubmitICSNC12.html Submission deadline: July 18, 2012 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ICSNC 2012 Topics (topics and submission details: see CfP on the site) WINET: Wireless networks 3G/4G integration; Wireless protocols, architectural and design concepts; Design and implementation of mobile information systems; Wireless communications and mechanisms; Antenna and RF subsystems; Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Wireless technologies; Wireless applications & services; IP Multimedia subsystems (IMS); Wireless and mobility; Wireless-wireline convergence; Radio communications systems; Specialized wireless networks; Management of wireless networks; Position on standards & fora on wireless networks; Business models on wireless networks; Communications regulations, Spectrum management; Software-Defined Radio (SDR) [ architectures, hardware, software, signal processing and smart antennas, etc.] HSNET: High speed networks Technologies, protocols, and applications for high speed networks; Voice over high speed networks; Services and interconnections of high speed networks; Technologies for High speed optical networks; Optical burst switching; End-to-end applications; Optical control plan; Advanced optical technology architectures; Design of high speed systems and networks; Methodologies and development tools for high speed networks; Management and control of high speed networks; Performance in high speed networks; Security aspects in high speed networks; QoS/SLA in high speed networks; Diagnosing high speed networks; High speed networks and NGN SENET: Sensor networks Architectures and protocols for wired and wireless sensor networks; Design of sensor networks; Instrumentation and models for deployment of sensors networks; Power in sensor networks; Ad hoc and wireless sensor networks; Management and control of sensor networks; Performance in sensor networks; Security and reliability aspects in sensor networks; Information assurance in sensor networks; QoS/SLA in sensor networks; Applications, case studies and prototypes with sensor networks MHNET: Mobile and Ad hoc networks Mobile technology and fundamentals; Analytical and validation models for mobility; Architecture and routing protocols for mobile networks; Architectures, frameworks, fundamentals on ad hoc networks; Energy efficient design, cross-layer design, scalability; MAC protocols for ad-hoc and sensor networks (801.11, Bluetooth, etc.); Data, information, and signal processing in mobile networks; Complexity analysis of mobile algorithms and protocols; Software platforms and development tools supporting mobility; QoS/SLA, access control and security in mobile and ad hoc networks; Location and mobility management; Location and service discovery in ad hoc networks; Planning, provisioning, and deployment mobility features; Directional and smart antennas for mobile and ad-hoc networks; Performance and security in ad hoc and mobile networks; Self-organization, synchronization and stability in ad hoc networks; Self-management in ad hoc and mobile networks; Ad hoc and mobile networks and autonomic com puting; Mobile ad hoc platforms, systems and tools; Applications over ad hoc networks; Standards evolution on mobility and ad hoc networks VENET: Vehicular networks Communication technologies in vehicular networks; Frameworks and architectures for vehicular networks; Interoperability with Internet and other networks; Vehicle-infrastructure communications; Vehicle-to-vehicle communications; Emerging inter/intra-vehicle and infrastructure-to-vehicle wireless technologies; Cross-layer design and optimization for vehicular networks; Middleware and service architectures for vehicular networks; Propagation issues Vehicular sensors and data collection and process; On-drive diagnostics and repair technologies and systems; Protocol features /MAC, QoS, routing, multicast, addressing, identity/; Mobility and hand-off ; Properties /security, privacy, performance, robustness, real-time, etc./; Control and management in vehicular networks; Driver-oriented support systems /assistance, active&passive safety, etc./; Case studies and fields trials on vehicular networks; Applications across vehicular networks /content distribution, alerting, etc./; Standardization /802.11p, DSRC, etc./ and standard platforms /JasPar, AUTOSTAR, etc./ RFID: Radio-frequency identification systems Fundamentals for RFID systems; Communications in RFID systems; Next generation RFID Technologies; RFID middleware design and architecture; Antenna design for RFID; System design and deployment; Circuits and architecture; RFID ans sensor networks; Bridging RFID networks in heterogeneous networks; Collision, proximity, speed; Security, privacy, trust; Monitoring and control of RFID systems; Localization and tracking; Inventory tracking; Testing and verification; Planing and executing RFID systems; RFID pilot projects; Use cases in deploying and operating /finance, manufacture, agriculture, transportation, etc./; Tools for supporting the design and deployment of RFID systems SESYS: Security systems Security analysis methodologies; Middleware and distributed systems security; Cryptography, certificates, information hiding, access control; Protection, risk, vulnerabilities, attacks, authorization/authentication; Access control, wireless access control, broadband access control; Biometrics, smart cards, identification and trust methodologies; Certification, accreditation anonymity, and audit; Security management, emergency contingency planning, identify theft, life safety; Wireless and mobile security; Fast security associations; Electronic surveillance and e-commerce protocols; Security and trust in web-services-based applications; Peer-to-peer security, denial of services; Information survivability, insider threat protection, integrity; Intellectual property rights, privacy, legal and regulatory issues; Criminal exploitation of technology; Commercial and industrial security; Viruses, hackers, worms, spam, and other malicious code MCSYS: Multimedia communications systems Technologies, protocols, and mechanisms for multimedia communications; Multimedia compression mechanisms and information representation; Multimedia encoding and compression, MPEG-1 to MPEG-4, Wavelet and fractal; Multimedia frameworks, communications, and middleware; Next generation multimedia communications; Mobile multimedia communications; Methodologies and development tools for multimedia communications systems; Wireless mobile multimedia communications; Ad hoc multimedia networks; IP-based Multimedia Subsystems (IMS); QoS/SLA in mobile multimedia services and applications; Mechanisms for interactive multimedia applications; Designing and implementing interactive applications; Multimedia authoring, publishing, and right securing; Security and performance for multimedia communications; Management, QoS, and security aspects in streaming over wireless ad hoc networks; Management and control of multimedia systems; Standards protocols for multimedia communications POSYS: Policy-based systems Policy for automation control; Trusting policy control commands; Policy-driven autonomic organizations; Policy-based control scalability; Policy sensors for feedback control; Policy conflict detection and conflict resolution; Context-aware policy-driven adaptive frameworks; Policy integrity, trust and negotiations; Policy-based software applications; Policing pervasive computing environments; Policing on-demand systems and services PESYS: Pervasive education system Learning and teaching systems; E-learning methods and e-learning scenarios; Tools and architectures for mobile/ubiquitous e-learning; Cooperative learning and working; Mobile technology and education; Distance learning and education; Computers and arts; Education in developing regions; Reflection in learning software and hardware; Social impact metrics on distance learning; Methodologies and processes for education; Curriculum projects and experiences; Intelligent support; Multimedia environment for teaching; E-market place for higher education; Embedded systems education; Wearable computers and education ================================================ To stop receiving notices about ICSNC, please reply with "DROP ICSNC event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From fstolzenburg at hs-harz.de Tue Jun 26 13:45:44 2012 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Tue, 26 Jun 2012 13:45:44 +0200 Subject: KI 2012 Workshop on Human Reasoning and Automated Deduction: 2nd Call for Papers Message-ID: <4FE9A0E8.2010802@hs-harz.de> [Please excuse multiple postings] CALL FOR PAPERS ================ KI 2012 Workshop on Human Reasoning and Automated Deduction http://imodspace.iig.uni-freiburg.de/kik KIK -- KI & Kognition Workshop Series -------- List of important dates Submission deadline: July 9, 2012 Notification: August 10, 2012 Camera-ready copy: August 24, 2012 Workshop: September 24, 2012 -------- Description of workshop topic and goal Automated deduction aims at formalizing diverse aspects of reasoning and has many application areas from software verification to mathematical theorem proving. It is originally based on algorithmic methods derived from mathematical logics. In contrast, human reasoning cannot be completely described by logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Still, humans have an impressive ability to derive acceptable conclusions. From the very beginning of AI research, there has been a strong emphasis on incorporating mechanisms of human rationality and cognition into reasoning systems. The workshop aims at bringing together researchers from AI, Automated Deduction, and Cognitive Science to foster a multi-disciplinary exchange and to discuss possibilities to overcome the historic separation. Topics of interest include, but are not limited to the following: - Non-monotonic, defeasible, and classical reasoning and possible explanations for human reasoning - Limits and differences between automated and human reasoning - Application fields of automated reasoning in the interaction with human reasoners (e.g., in spatial knowledge processing) - Human-computer interaction and cognitive robotics (regarding the relevance for reasoning methods) This workshop continues a series of successful workshops initiated by the Special Interest Group "Cognition" in the GI. -------- Submission Details Papers should be formatted according to the Springer LNCS guidelines (ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip). The length of each paper should be 4 to 8 pages. All papers must be written in English and submitted in pdf format. Submissions should be sent in electronic form to fstolzenburg at hs-harz.de . -------- Organizers Thomas Barkowsky, University of Bremen barkowsky at sfbtr8.uni-bremen.de http://cosy.informatik.uni-bremen.de/staff/thomas-barkowsky Marco Ragni, University of Freiburg ragni at cognition.uni-freiburg.de http://portal.uni-freiburg.de/cognition/members/ragni Frieder Stolzenburg, Harz University of Applied Sciences fstolzenburg at hs-harz.de http://fstolzenburg.hs-harz.de/ -------- Program committee Ulrich Furbach, U Koblenz Steffen Hölldobler, TU Dresden Manfred Kerber, U Birmingham Ute Schmid, TU Bamberg Christoph Wernhard, TU Dresden Bernhard Nebel, U Freiburg Stefan Wölfl, U Freiburg Further requests have been sent out to potential program committee members. -------- Areas of Interest Automated Deduction and Cognitive Science Knowledge Acquisition, Representation, Reasoning and Ontologies Non-Monotonic Reasoning and Default Logics Embodied AI: Robotics, Vision and Perception Artificial General Intelligence Cognitive Modeling, AI and Psychology -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabrizio.riguzzi at unife.it Tue Jun 26 14:05:29 2012 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Tue, 26 Jun 2012 14:05:29 +0200 Subject: ILP 2012: call for short and published papers Message-ID: 2nd CFP - ILP 2012 - The 22nd International Conference on Inductive Logic Programming Dubrovnik, Croatia, September 17-19, 2012 http://ida.felk.cvut.cz/ilp2012 KEY DATES: July 9: Short/published papers due July 27: Notification for short/published papers September 17-19: Conference INVITED SPEAKERS: Luc de Raedt: Declarative Modelling for Machine Learning Ben Taskar: Geometry of Diversity and Determinantal Point Processes: Representation, Inference and Learning Geraint A. Wiggins: talk on computational creativity, title TBA CALL FOR PAPERS The ILP conference series, started in 1991, is the premier international forum on learning from structured data. Originally focusing on the induction of logic programs, it broadened its scope and attracted a lot of attention and interest in recent years. Authors are invited to submit papers presenting original results on all aspects of learning in logic, multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, and other forms of learning from structured data. Typical, but not exclusive, topics of interest for submissions include: - theoretical aspects: learning scenarios, data/model representation frameworks, their computational and/or statistical properties, etc. - algorithmic and implementation aspects: sclability, efficiency, parallelism, management of algorithms and/or discovered patterns, discovery workflows, etc. - applications of learning from relational data in areas of science (bioinformatics, cheminformatics, medical informatics, etc.), natural language processing (computational linguistics, text and web mining etc.), engineering, the arts, etc. We solicit two kinds of papers: 1) Short papers describing original work in progress, brief accounts of original ideas without conclusive experimental evaluation, and other relevant work of potentially high scientific interest but not yet qualifying for the long paper category. The PC chairs will accept/reject short papers on the grounds of relevance. Authors of accepted short papers will be assigned a reduced time slot for presentation. Each short paper will be reviewed by 3 members of the program committee on the basis of both the manuscript and its presentation, and the authors of selected papers will be invited to submit a long version for the Springer post-conference proceedings; the paper will be finally accepted if satisfactorily addressing the reviewer's requirements. 2) Papers relevant to the conference topics and recently published or accepted for publication by a first-class conference such as ECML/PKDD, ICML, KDD, ICDM etc. or journal such as MLJ, DMKD, JMLR etc. The PC chairs will accept/reject such papers on the grounds of relevance and quality of the original publication venue. Authors of accepted papers will be assigned a reduced time slot for presentation. These papers will not appear in the Springer post-conference proceedings. Submissions in category 1 must not have been published or be under review for a journal or for another conference with published proceedings. They should be submitted in the Springer LNCS format and should not exceed 6 pages. Papers in category 2 should be submitted in their original format and the authors should indicate the original publication venue. A special issue of the Machine Learning journal is planned following the conference, with papers selected by the PC from both categories above, significantly revised and/or extended to meet the MLJ criteria, and re-reviewed by the PC. Program Chairs Fabrizio Riguzzi, University of Ferrara, Italy Filip Železný, Czech Technical University in Prague, Czech Republic Local Organizers Nada Lavrač, Jozef Stefan Institute, Slovenia Tina Anžič, Jozef Stefan Institute, Slovenia Program Committee Érick Alphonse, France Dalal Alrajeh, UK Annalisa Appice, Italy Ivan Bratko, Slovenia Rui Camacho, Portugal James Cussens, UK Saso Dzeroski, Slovenia Floriana Esposito, Italy Nicola Fanizzi, Italy Daan Fierens, Belgium Nuno Fonseca, Portugal Tamás Horváth, Germany Katsumi Inoue, Japan Nobuhiro Inuzuka, Japan Andreas Karwath, Germany Kristian Kersting, Germany Ross King, Wales Ekaterina Komendantskaya, UK Stefan Kramer, Germany Nada Lavrac, Slovenia Francesca Alessandra Lisi, Italy Donato Malerba, Italy Stephen Muggleton, UK Ramon Otero, Spain Aline Paes, Brasil David Page, USA Bernhard Pfahringer, NZ Ganesh Ramakrishnan, India Jan Ramon, Belgium Oliver Ray, UK Chiaki Sakama, Japan José Santos, UK Vitor Santos Costa, Portugal Michèle Sebag, France Jude W. Shavlik, USA Takayoshi Shoudai, Japan Aswhin Srinivasan, India Prasad Tadepalli, USA Alireza Tamaddoni-Nezhad, UK Tomoyuki Uchida, Japan Christel Vrain, France Stefan Wrobel, Germany Akihiro Yamamoto, Japan Gerson Zaverucha, Brazil From artale at inf.unibz.it Tue Jun 26 14:46:31 2012 From: artale at inf.unibz.it (Alessandro Artale) Date: Tue, 26 Jun 2012 14:46:31 +0200 Subject: Call for funded PhD positions at KRDB Centre, Free Univ. Bolzano, Italy - Deadline Aug. 31, 2012 Message-ID: =============================================================== CALL FOR PhD POSITIONS - DEADLINE August 31, 2012 Fully funded PhD positions at the KRDB Research Centre for Knowledge and Data Faculty of Computer Science Free University of Bozen-Bolzano, Italy =============================================================== The Faculty of Computer Science of the Free University of Bozen-Bolzano (Italy) offers regular openings for studentships for its PhD program. The PhD programme has been running since 2004/2005. Since 2011/2012 there has also been a European programme (EPCL) which provides a joint qualification. *** 3 of the PhD positions with studentship are offered by the KRDB Research Centre for Knowledge and Data. *** The 2012/2013 PhD call is now open and the deadline to apply is: ****** 31.August.2012 ****** Up-to-date information about how to apply for the PhD program and the studentship - including deadlines, number of positions and necessary documents - can be found in the university PhD web pages: - http://www.unibz.it/en/public/research/phd/prospectivePhdstudents.html - http://www.unibz.it/en/inf/progs/phdcs/default.html The grant amounts to 51,000 Euro over the three years of the PhD. Substantial extra funding is available for participation in international conferences, schools and workshops. The faculty of Computer Science and its PhD program are entirely based on the English language. RESEARCH TOPICS The KRDB Research Centre for Knowledge and Data (http://www.inf.unibz.it/krdb/) of the Faculty of Computer Science invites applicants to the PhD program to get in touch with the research group (see CONTACT PERSON below), in order to have a better understanding of the possible research activities in which perspective students may be involved. Relevant research topics in the centre are the following: * Computational Logic and Deductive Databases * Computational Logic and Constraint Programming * Description Logics and Ontology Languages * Conceptual Data Modelling and Ontology Design * Ontology Based Data Access * Query Answering in Distributed Environments * Intelligent Access to Web Resources * Semistructured Data Management * Temporal Logics and Temporal Databases * Knowledge-based techniques for Service Access and Composition * Knowledge-based techniques for Business Processing * Evolution and Update of Knowledge Bases * Data Quality and Completeness * Modelling and Accessing Imcomplete Data Other research topics are listed in the personal web pages of the members of the KRDB Centre, see: The research activities in the KRDB research centre require good knowledge of Logic and of Foundations of Databases, and some knowledge of Artificial Intelligence and of Knowledge Representation. Good knowledge of English is also preferred. EUROPEAN PhD PROGRAM IN COMPUTATIONAL LOGIC (EPCL) The Free University of Bozen-Bolzano participates through the KRDB Research Centre to the European PhD Program in Computational Logic (EPCL) Students that are admitted for a PhD position at the KRDB Research Centre may apply to join EPCL. The admission to EPCL is decided by a Joint Commission consisting of representatives of the EPCL partner universities. THE KRDB CENTRE -- http://www.inf.unibz.it/krdb/index.php CONTACT To get in contact with the KRDB Research Centre, send an email to Dr. Alessandro Artale . To get in touch with the current PhD students see: From datalog2.0.announce at gmail.com Wed Jun 27 16:22:49 2012 From: datalog2.0.announce at gmail.com (Datalog 2.0 Workshop) Date: Wed, 27 Jun 2012 16:22:49 +0200 Subject: Datalog 2.0 Workshop - Call for Registration Message-ID: THE 2nd WORKSHOP ON THE RESURGENCE OF DATALOG IN ACADEMIA AND INDUSTRY ---------- EARLY REGISTRATION DEADLINE QUICKLY APPROACHING ----------- September 11-13, 2012, Vienna, Austria http://www.dbai.tuwien.ac.at/datalog2.0 CALL FOR REGISTRATION EARLY REGISTRATION DEADLINE: July 2nd, 2012 For registration please use: http://www.dbai.tuwien.ac.at/datalog2.0/registration.html The "2nd Workshop on the Resurgence of Datalog in Academia and Industry" (Datalog 2.0, 2012) will be held in Vienna, Austria, on September 11-13, 2012, and will be co-located with the ``International Conference on Web Reasoning and Rule Systems" (RR 2012) and the ``International Conference on Computational Models of Argument" (COMMA 2012). This will be the first open version of the workshop, second in total. The previous edition was held in Oxford, UK, during March 2010. It was based on invitations only. Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its main aim is to bring everyone up-to-date and map out directions for future research. Over the past few years, Datalog has resurrected as a lively topic with applications in many different areas of computer science, as well as industry. Due to this renewed interest and increased level of activity in the area, we have decided to open the workshop for submissions. This year we have a world-class group of invited speakers and tutorials, as well as a very lively and inspiring technical program composed of regular papers, system descriptions, and tutorials. We believe that attending Datalog 2.0, 2012 is a great opportunity for everyone interested in the foundations and the current applications of Datalog. Invited Speakers: Thomas Eiter (TU Wien) Yuri Gurevich (Microsoft Research) Phokion Kolaitis (UC Santa Cruz) Robert Kowalski (Imperial College, London), joint talk with RR and COMMA Oege de Moor (Oxford U.) Marie-Laure Mugnier (U. of Montpellier) Invited Tutorials: Todd J. Green (UC Davis, LogicBlox) Axel Polleres (Siemens AG Austria) Accepted Papers: Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina and Pierfrancesco Veltri: Magic-Sets for Datalog with Existential Quantifiers Tom Ameloot and Jan Van Den Bussche: On the CRON Conjecture Stefan Brass: Order in Datalog with Applications to Declarative Output Cristina Civili and Riccardo Rosati: A broad class of first-order rewritable tuple-generating dependencies Jaffer Gardezi and Leopoldo Bertossi: Query Rewriting using Datalog for Duplicate Resolution Matteo Interlandi: Reasoning about Knowledge in Distributed Systems Using Datalog Sven Koehler, Bertram Ludaescher and Yannis Smaragdakis: Declarative Datalog Debugging for Mere Mortals Thomas Lukasiewicz, Maria Vanina Martinez and Gerardo Simari: Inconsistency-Tolerant Query Rewriting for Linear Datalog+/- William Marczak, Peter Alvaro, Neil Conway, Joseph Hellerstein and David Maier: Confluence Analysis for Distributed Programs: A Model-Theoretic Approach Domenico Sacca' and Edoardo Serra: Data Exchange in Datalog is mainly a Matter of Choice Marianne Shaw, Bill Howe, Paris Koutris and Dan Suciu: Optimizing Large-Scale Semi-Naive Datalog Evaluation in Hadoop Carlo Zaniolo: Logical Foundations of Continuous Query Languages for Data Streams System Description: Daniel Ritter and Till Westmann: Reconstructing Linked Business Networks from Network Mining Data using Datalog Tutorial: Onofrio Febbraro, Giovanni Grasso, Nicola Leone and Francesco Ricca: Datalog Development Tools General Chair: Georg Gottlob (Oxford U.) Program Chairs: Pablo Barcelo (U. of Chile) Reinhard Pichler (TU Wien) Program Committee: Chitta Baral (Arizona State U.) Piero Bonatti (U. of Napoli) Loreto Bravo (U. of Concepcion) Andrea Cali (U. London, Birbeck) Diego Calvanese (Free U. of Bozen-Bolzano) Jurgen Dix (TU Clausthal) Tim Furche (Oxford U.) Claudio Gutierrez (U. of Chile) Georg Lausen (U. Freiburg) Nicola Leone (U. of Calabria) Y. Annie Liu (SUNY, Stony Br.) Boon Thau Loo (U. of Pennsylvania) Raghu Ramakrishnan (Yahoo!) Sebastian Rudolph (Karlsruhe IT) Tuncay Tekle (LogicBlox) Miroslaw Truszczynski (U. Kentucky) Stijn Vansummeren (U. Libre Bruxelles) Victor Vianu (UC San Diego) Stefan Woltran (TU Wien) Peter Wood (U. London, Birbeck) Local organizers: Markus Pichlmair (TU Wien) Reinhard Pichler (TU Wien) From glukacsy at cisco.com Thu Jun 28 14:25:43 2012 From: glukacsy at cisco.com (Gergely Lukacsy (glukacsy)) Date: Thu, 28 Jun 2012 12:25:43 +0000 Subject: Call for participation - 28th International Conference on Logic Programming (ICLP 2012) Message-ID: <51AD0370C639D946AAC11E73B6C88772011B17@xmb-rcd-x05.cisco.com> Apologies for cross posting. Gergely ========================================================================= CALL FOR PARTICIPATION 28th International Conference on Logic Programming (ICLP 2012) Theory and Practice of Logic Programming Budapest, Hungary, September 4-8, 2012 http://www.cs.bme.hu/iclp2012/ ========================================================================= REGISTRATION Registration Site is now open at: http://www.cs.bme.hu/iclp2012/Registration.html Early registration is until July 13, 2012. ACCOMMODATION Information on hotels is available on the homepage: http://www.cs.bme.hu/iclp2012/HotelInfo.html CONFERENCE SCOPE Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. This year conference will offer invited talks and tutorials, as well as technical presentations on the broad spectrum of most recent research topics in the field. The conference will also host Doctoral Consortium, several workshops, and a Prolog programming contest. WORKSHOPS * Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), September 4 * 9th International Workshop on Constraint Handling Rules (CHR 2012), September 4 * 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012), September 4 * WG17, September 4-5 * 22nd Workshop on Logic-based methods in Programming Environments (WLPE 2012), September 8 * Constraint Based Methods for Bioinformatics (WCB'12), September 8 * Coinductive Logic Programming (Co-LP), September 8 Workshops are perhaps the best places for the presentation of preliminary work, undeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. DOCTORAL CONSORTIUM The 8th Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and world-renown experts in the field. Accepted participants receives partial financial support to attend the event and the main conference. The best paper and presentation from the DC is given the opportunity to present in a special session of the main ICLP conference. INVITED TALKS * Ferenc Darvas (http://www.thalesnano.com/board_of_directors) "Several Applications of Logic Programming in Hungary" * Jan Wielemaker (http://www.cs.vu.nl/~janw/) "25 years of SWI Prolog" * Mike Elston (http://www.securitease.com/) on "Applications of Prolog and CHR to stock brokering tools" * Invited author(s) of the most influencial paper of ICLP/ILPS 1992 * Invited author(s) of the most influencial paper of ICLP 2002 TUTORIAL * Viviana Mascardi (http://www.disi.unige.it/person/MascardiV/) "Logic-based Agents and the Semantic Web" FINANCIAL ASSISTANCE The Association for Logic Programming has funds to assist financially disadvantaged participants and, specially, students in order to be able to attend the conference. For information, please contact the organizers of the Doctoral Consortium and the General Chair. HOTELS See http://www.cs.bme.hu/iclp2012/HotelInfo.html. CONFERENCE VENUE The Conference will be located in Tulip Inn Budapest Millennium. Budapest is in the center of Hungary, in the heart of Central Europe. Hungary is member of the European Union and belongs to the Schengen area. Hungary is well-served by transport links from abroad. The main international airport is Budapest Ferihegy. Budapest is linked to 15 European capitals by train, directly or indirectly; e.g. a Wien-Budapest trip is less than 3 hours. SPONSORS The conference is sponsored by the Association for Logic Programming (ALP), the Artificial Intelligence Section of the John von Neumann Computer Society and by AIT-Budapest (Aquincum Institute of Technology). ICLP 2012 ORGANIZATION General Chair: Péter Szeredi (Budapest Univ. of Technology and Economics) Program Comittee Chairs: Agostino Dovier (Univ. of Udine), Vítor Santos Costa (Univ. of Porto) Workshop Chair: Mats Carlsson (SICS, Sweden) Doctoral Consortium Chairs: Marco Gavanelli (Univ. of Ferrara), Stefan Woltran (Vienna University of Technology) Prolog Programming Contest Chair: Tom Schrijvers (Universiteit Gent) Publicity Chair: Gergely Lukácsy (Cisco Systems Inc.) Web Manager: János Csorba (Budapest Univ. of Technology and Economics) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sat Jun 30 10:29:28 2012 From: announce at cs.ucy.ac.cy (Announcements) Date: Sat, 30 Jun 2012 11:29:28 +0300 Subject: IEEE CSE/EUC 2012: Call for Papers (new conference dates!) Message-ID: *** Call for Papers *** The 15th IEEE International Conference on Computational Science and Engineering (IEEE CSE 2012) http://www.cse2012.cs.ucy.ac.cy/ The 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (IEEE/IFIP EUC 2012) http://www.euc2012.cs.ucy.ac.cy/ 5-7 December 2012, Paphos, Cyprus CSE 2012 The Computational Science and Engineering area has earned prominence through advances in electronic and integrated technologies beginning in the 1940s. Current times are very exciting and the years to come will witness a proliferation in the use of various advanced computing systems. It is increasingly becoming an emerging and promising discipline in shaping future research and development activities in academia and industry, ranging from engineering, science, finance, economics, arts and humanitarian fields, especially when the solution of large and complex problems must cope with tight timing schedules. CSE 2012 is the next event, in a series of highly successful IEEE International Conferences on Computational Science and Engineering, held mainly as the International Workshop on High Performance Scientific and Engineering Computing for 10 editions. The previous CSE-11 was held in Dalian, China, August 24-26, 2011. CSE 2012 is to bring together computer scientists, applied mathematicians, engineers in different disciplines and researchers to present, discuss and exchange ideas, results and experiences in the area of advanced computing for problems in science and engineering applications and inter-disciplinary. We are inviting new and unpublished papers on, but not limited to, the following topics: * Intelligent and Bio-inspired Computing * Distributed and Parallel Computing * Database and Data Mining * Cluster, Grid, P2P and Cloud Computing * Mobile Computing and Wireless Communications * CSE Education * Scientific and Engineering Computing * Embedded and Ubiquitous Computing * Advanced Networking and Applications * Security, Privacy and Trust * Service and Internet Computing - Dependable, Reliable and Autonomic Computing * CSE applications EUC 2012 Embedded and ubiquitous computing is an exciting paradigm that promises to provide computing and communication services to the end users all the time and everywhere. Its systems are now invading in every aspect of our daily life and promise to revolutionize our life much more profoundly than elevators, electric motors or even personal computer evolution ever did. The emergence of this technology is a natural outcome of research and technological advances in a variety of areas including embedded systems, pervasive computing and communications, wireless networks, mobile computing, distributed computing and agent technologies. EUC 2012 is the next event, in a series of highly successful IEEE International Conferences on Embedded and Ubiquitous Computing (EUC), previously held as ICDCS-ECS04 (Tokyo, Japan, March 2004), EUC-04 (Aizu, Japan, August 2004), EUC-05 (Nagasaki, Japan, December 2005), EUC-06 (Seoul, Korea, August 2006), EUC-07 (Taipei, Taiwan, December 2007), EUC-08 (Shanghai, China, December 2008), EUC-09 (Vancouver, Canada, August 2009), EUC-10 (Hong Kong, December 2010) and EUC 2011 (Melbourne, Australia, October 2011). Topics of particular interest include, but are not limited to: Embedded Computing * Embedded System Software and Optimization * Embedded System Architectures * Hardware/Software Co-design and Design Automation * Real-Time Systems and Operating Systems * Application-Specific Processors and Devices * Power-Aware Computing * Sensor Networks * System/Network-on-Chip * Reconfigurable Computing Systems and Applications * Cyber-Physical Systems Ubiquitous Computing * Pervasive Computing and Communications * Middleware and Peer-to-Peer Computing * Internet Computing and Applications * Multimedia and Data Management * Human-Computer Interaction * Network Protocols * Wireless Communication & Networks * Mobile Computing * Agents and Distributed Computing * Security and Fault Tolerance Applications Submission Guidelines Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers should be at most 8 pages including the bibliography and well-marked appendices, and should follow the IEEE 8.5" x 11" Two-Column Format. Committee members are not required to read the appendices, and so the paper should be intelligible without them. Submissions are to be made to the submission web site. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Papers must be received by the submission deadline. Authors of accepted papers must guarantee that their papers will be presented at the conference. Accepted papers will be published in the IEEE conference proceedings (EI indexed). Journal Special Issues Selected best papers will be published in special issues of high quality journals. Currently we are under negotiation, among others, with the Computer Journal (Oxford University Press), the Journal of Computer and System Sciences (Elsevier), the International Journal of High Performance Computing (SAGE publs), the Future Generation Computing Systems journal (Elsevier), Concurrency and Computation (Wiley), the Journal of System Architecture (Elsevier), the IEEE System Journal, the Journal of Wireless Personal Communications (Springer), and the Journal of Personal and Ubiquitous Computing (Springer). Important Dates * Submission Deadline: 20 July * Notification of Acceptance: 21 September * Camera-ready Versions Submitted: 5 October * Author Registration: 5 October -------------------------------------------------------------------- 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 cfp at grid.chu.edu.tw Sat Jun 30 13:27:29 2012 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Sat, 30 Jun 2012 19:27:29 +0800 Subject: Joint Call For Papers - Conferences / Journal Special Issues (July 2012 update) Message-ID: <201206301127.q5UBRTpH003742@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calimeri at mat.unical.it Sat Jun 30 16:04:48 2012 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Sat, 30 Jun 2012 16:04:48 +0200 Subject: RR2012: CALL FOR PARTICIPATION - Early registration deadline approaching Message-ID: CALL FOR PARTICIPATION RR 2012 The 6th International Conference on Web Reasoning and Rule Systems Vienna, Austria, 10-12 September 2012 http://www.rr-conference.org/RR2012/ == EARLY REGISTRATION DEADLINE == Early registration deadline: July 6, 2012. == RR == The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. == REGISTRATION == Register here for RR and RR Doctoral Consortium 2012: http://goo.gl/0DBRy full link: http://vienna.nethotels.com/mice/english/int_conference_on_web_reasoning_and_rule_systems RR 2012 registration fee includes: all RR 2012 conference sessions, RR 2012 doctoral consortium, coffee breaks, conference proceedings, and social event. The following rates apply: Early registration (May 16 — July 6, 2012): EUR 300,00 (Regular) EUR 200,00 (Student) Late registration (July 7 — September 12, 2012): EUR 400,00 (Regular) EUR 300,00 (Student) == Conference Program == Invited Speakers: Gerhard Brewka Tommaso Di Noia Phokion Kolaitis (Joint talk with Datalog 2.0) Robert Kowalski (Joint talk with COMMA and Datalog 2.0) Timetable: To be announced. Please check out the conference site for updates at http://www.rr-conference.org/RR2012/ == ACCEPTED PAPERS == Full list available at: http://www.kr.tuwien.ac.at/events/rr2012/AcceptedPapers.html Each participant of the conference has to register, particularly, at least one author of each accepted full or technical communications paper is expected to register for the conference. == Highlights in 2012 == RR 2012 is co-located with a number of interesting events: - 8th Reasoning Web Summer School 4-8 September, http://reasoningweb.org/2012/ - COMMA 2012: 4th Int. Conf. on Computational Models of Argument 10-12 September, http://www.kr.tuwien.ac.at/events/comma2012/ - DEXA 2012: 23rd Int. Conf. on Database and Expert Systems Applications 03-07 September, http://www.dexa.org/ - 2nd Workshop "Datalog 2.0" 11-13 September, http://www.dbai.tuwien.ac.at/event/datalog-2.0/ The Reasoning Web Summer School is a great opportunity particularly for young researchers to combine with attendance of the conference. Submissions by summer school participants are particularly encouraged. == Organization == General chair: - Pascal Hitzler, Wright State University Program chairs: - Markus Krötzsch, University of Oxford - Umberto Straccia, ISTI-CNR Local Chair: - Thomas Eiter, TU Vienna Doctoral Consortium Chair: - Alessandra Mileo, National University of Ireland Galway Sponsorship Chair: - Marco Maratea, University of Genova Publicity Chair: - Francesco Calimeri, University of Calabria