From cfp at grid.chu.edu.tw Tue May 1 11:03:53 2012 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Tue, 1 May 2012 17:03:53 +0800 Subject: (Deadline extension) IEEE UIC/ATC 2012 Message-ID: <201205010903.q4193rmh025744@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tb at imm.dtu.dk Tue May 1 15:31:30 2012 From: tb at imm.dtu.dk (Thomas Bolander) Date: Tue, 1 May 2012 15:31:30 +0200 Subject: SLS2012 Deadline extension Message-ID: <67C376F6-96F3-4A74-942F-B1FCC7785BDC@imm.dtu.dk> 8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK Third Announcement and Call for Papers The 8th Scandinavian Logic Symposium will be held at Roskilde University, Trekroner, Denmark, 20-21 August 2012. After a gap of fifteen years, the Scandinavian Logic Symposium is back. The Symposium is the first major initiative of the newly revived Scandinavian Logic Society (SLS, http://scandinavianlogic.org/) and will be held at Roskilde University (RUC), Denmark. As with previous editions of this conference, the aim of the programme is to reflect current activity in logic in our part of the world. So we hope that participants from Scandinavia, the Baltic countries and Northwestern Russia will take the opportunity to contribute a talk and to meet with fellow logicians from the area. But needless to say, we also extend a warm welcome to logicians from further afield and plan to present a varied and interesting collection of invited and contributed talks. TOPICS The scope of SLS 2012 is broad, ranging over the whole area of mathematical and philosophical logic, and logical methods in computer science. Suitable topics include (but are not limited to): * Proof Theory and Constructivism * Model Theory (including Finite Model Theory) * Set Theory * Computability Theory * Categorical Logic * Logic and Provability * Logic and Computer Science * Logic and Linguistics * Modal, Hybrid, Temporal, and Description Logic * Logics of Games, Dynamics and Interaction * Philosophy of Mathematics * Philosophy of Computation * Philosophy of Logic * Philosophical Logic PREVIOUS SCANDINAVIAN LOGIC SYMPOSIA: 7th Scandinavian Logic Symposium: Uppsala in 1996 6th Scandinavian Logic Symposium: Telemark in 1982 5th Scandinavian Logic Symposium: Aalborg in 1979 4th Scandinavian Logic Symposium: Jyväskylä in 1976 3rd Scandinavian Logic Symposium: Uppsala in 1973 2nd Scandinavian Logic Symposium: Oslo in 1971 1st Scandinavian Logic Symposium: Åbo in 1968 The proceedings of several of these meetings have been published in book form. INVITED SPEAKERS The Program Committee is delighted to announce the names of the four invited speakers: * Nikolaj Bjorner * Rosalie Iemhoff (sponsored by The Danish Network for the History and Philosophy of Mathematics) * Per Martin-Löf * Boban Velickovic SLS TUTORIALS On August 22nd, the day after the symposium finishes, a number of tutorials for PhD-students (or anyone else who is interested) will be given. These are intended to start from a relatively elementary level and lead on to current research problems. The following tutorial lectures have been confirmed so far: * Lars Kristiansen - "Honest subrecursive degree theory" * Sara Negri - "Labelled proof systems for modal logic" * M. H. Sørensen - "Curry-Howard Isomorphism" RELATED EVENTS: Also note that Advances in Modal Logic (AiML) will be held on 22-25 August 2012, Copenhagen, Denmark. URL:http://hylocore.ruc.dk/aiml2012/ PROGRAM COMMITTEE Co-chairs: Neil Jones (Copenhagen) and Erik Palmgren (Stockholm) Members: Torben Brauner (Roskilde) Peter Dybjer (Chalmers) Lars Kristiansen (Oslo) Øystein Linnebo (Birkbeck) Sara Negri (Helsinki) Dag Normann (Oslo) Asger Törnquist, (Vienna) Jouko Väänänen (Helsinki) ORGANISING COMMITTEE Patrick Blackburn (RUC), Klaus Frovin Jørgensen (RUC), Stig Andur Petersen (RUC) SUBMISSIONS Abstracts of talks should be submitted by May 1, 2012** using the EasyChair system https://www.easychair.org/conferences/?conf=sls2012 The abstracts may not exceed 3 pages (including bibliography) and should be in PDF format. **UPDATE: SUBMISSION DATE has been extended: 1 June NOTIFICATION OF ACCEPTANCE: 15 June STUDENT GRANTS We are happy to announce that the ASL is sponsoring SLS2012. Among other things, this means that student ASL members may apply for ASL travel funds that are available for sponsored meetings. (see http://www.aslonline.org/studenttravelawards.html). LOCATION Roskilde University (RUC) is situated at Trekroner, a small town 20 minutes by train from Central Copenhagen, and five minutes by train from Roskilde. ACCOMMODATION Most people who work at RUC and almost all the RUC students live in Copenhagen. Getting to RUC is an easy train journey from the centre of Copenhagen. We anticipate that most conference attendees will book hotels in central Copenhagen, where there are many hotels in many price ranges. Hotel accommodation can also be found in Roskilde, though there the options are more limited. REGISTRATION The conference website will be found at: http://scandinavianlogic.weebly.com/ Details concerning registration will be posted there in due course. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bnc2012ecai at gmail.com Wed May 2 09:58:00 2012 From: bnc2012ecai at gmail.com (BNC 2012) Date: Wed, 2 May 2012 09:58:00 +0200 Subject: BNC@ECAI 2012: Second Call for Papers Message-ID: Second Call For Papers BNC at ECAI'12 Belief change, Non-monotonic reasoning and Conflict resolution http://cair.meraka.org.za/~bnc2012 Montpellier, France *** Aims and Scope Belief change, non-monotonic reasoning and conflict resolution are well established research areas in Artificial Intelligence. In recent years these topics have become important for designing robots and infobots with convincing reasoning and adaptation capabilities. The main aim of this workshop is to bring together active researchers on these topics, including work on belief revision, belief merging, reasoning about action, logic programming, inconsistency management, judgment aggregation, negotiation, and other related topics. Papers on emerging research in this area are especially welcome. Numerous recent papers use techniques from belief change to define conflict resolution methods. In particular, several negotiation and judgment aggregation methods are closely related to work in belief revision or belief merging. Combining ideas from these research topics is one of the aims of this workshop. Hence we especially encourage submission of survey papers or position papers on these questions. A further important trend is the study of the applicability of well known belief change operators and techniques for particular languages that are largely used in applications, such as Horn logics, description logics, or argumentation frameworks. New developments towards such applicative contexts are also highly welcome. *** Topics Topics of interest include, but are not limited to: - Argumentation - Belief change - Belief revision and update - Belief merging - Conflict resolution - Inconsistency management - Judgment aggregation - Logic Programming - Negotiation - Non-monotonic reasoning - Reasoning about action and change *** Submission instructions Papers submitted to BNC'12 must be no longer than 7 pages in the ECAI format (http://people.cs.kuleuven.be/~luc.deraedt/ecai2012-style.zip) and the pdf file should be submitted on EasyChair: http://www.easychair.org/conferences/?conf=bncecai2012 *** Important dates Submission deadline : 25 May 2012 Notification: 22 June 2012 Final version deadline: 6 July 2012 *** Workshop chairs: - Sébastien Konieczny (CRIL-CNRS, France) - Thomas Meyer (CAIR, UKZN and CSIR Meraka) *** Program Committee - Thomas Meyer (CAIR, UKZN and CSIR Meraka) - Sébastien Konieczny (CRIL-CNRS, France) - Ivan Varzinczak (CAIR, UKZN and CSIR Meraka) - Richard Booth (University of Luxembourg) - Torsten Schaub (University of Potsdam) - Gerhard Brewka (Leipzig University) - Weiru Liu (Queen's University Belfast) - Eduardo Fermé (Universidade da Madeira) - Maurice Pagnucco (The University of New South Wales) - Ulle Endriss (University of Amsterdam) - Ramon Pino Perez (Universidad de Los Andes) - James Delgrande (Simon Fraser University) - Renata Wassermann (University of Sao Paulo) - Leon Van Der Torre (ILIAS) - Gabriella Pigozzi - Pavlos Peppas (University of Patras) *** Website maintenance - Kodylan Moodley (CAIR, UKZN and CSIR Meraka) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tkren at kr.tuwien.ac.at Wed May 2 16:57:36 2012 From: tkren at kr.tuwien.ac.at (Thomas Krennwallner) Date: Wed, 2 May 2012 16:57:36 +0200 Subject: 8th Reasoning Web Summer School (RW 2012) - Final Call for Applications Message-ID: <20120502145736.GD88500@kr.tuwien.ac.at> *************************************************** * Application deadline approaching: May 4th, 2012 * *************************************************** CALL FOR APPLICATIONS/PARTICIPATION REASONING WEB 2012 The 8th Reasoning Web Summer School (RW 2012) Vienna, Austria, September 03-08, 2012 http://www.reasoningweb.org/2012/ co-located with the - 6th Int'l Conference on Web Reasoning and Rule Systems (RR 2012), September 10-12, 2012 http://www.rr-conference.org/RR2012/ - 4th Int'l Conference on Computational Models of Argument (COMMA 2012), September 10-12, 2012 http://www.kr.tuwien.ac.at/events/comma2012/ - 2nd Datalog 2.0 Workshop, September 11-13, 2012 http://www.dbai.tuwien.ac.at/event/datalog-2.0/ - 23rd Int'l Conference on Database and Expert Systems Applications (DEXA 2012), September 03-07, 2012 http://www.dexa.org/ The Reasoning Web Summer School 2012 is primarily intended for postgraduate (PhD or MSc) students, postdocs, and other young researchers investigating aspects related to Reasoning on the Semantic Web and related issues. The Summer School will also be open to senior researchers wishing to learn about Semantic Web issues related to their own fields of research. For further details please visit http://www.reasoningweb.org/2012/ As in the previous years, we managed again to attract a distinguished group of expert lecturers, the majority of which will - apart from their lectures - also be present for the duration of the school to interact with students. Interaction with senior researchers and establishing contacts within young researchers is a main focus of the school, which will be supported through social activities and an interactive, amicable atmosphere. This year's summer school will be co-located with a number of related conferences and workshop, viz. Int'l Conference on Web Reasoning and Rule Systems 2012, the Int'l Conference on Computational Models of Argument 2012, the Int'l Conference on Database and Expert Systems Applications 2012, and the 2nd Datalog 2.0 Workshop 2012 (dates and links are given above). This will be a great opportunity to attend major conferences and workshops in the area directly subsequent to the school. Reasoning Web 2012 is part of the Vienna Logic Weeks 2012: http://www.vcla.at/events/vienna-logic-weeks_2012/ As a further highlight, we want to point out the opportunity of PhD students to present their research at the RR 2012 Doctoral Consortium. Joint applications for the Reasoning Web Summer School 2012 and the RR 2012 Doctoral Consortium are explicitly encouraged. More details are given on the RR-DC 2012 website: http://www.kr.tuwien.ac.at/events/rr2012/DoctoralConsortium.html == IMPORTANT DATES == Application deadline: May 4, 2012 Notifications: May 21, 2012 == CONFIRMED LECTURES == - Federation and Navigation in SPARQL 1.1 Marcelo Arenas (PUC Chile) and Jorge Pérez (U Chile) - Semantic Wikis: Approaches, Applications, and Perspectives François Bry (U Munich), Sebastian Schaffert (Salzburg Research), Denny Vrandečić (KIT), and Klara Weiand (U Munich) - Reasoning and Ontologies in Data Extraction Sergio Flesca (U Calabria) and Tim Furche (U Oxford) - Linked Data Stream Processing Manfred Hauswirth, Danh Le Phuoc, and Josiane Xavier Parreira (DERI, NUI Galway) - Data Models and Query Languages for Linked Geospatial Data Manolis Koubarakis, Manos Karpathiotakis, Kostis Kyzirakos, Babis Nikolaou, Michael Sioutis (U Athens) - OWL 2 Profiles: An Introduction to Lightweight Ontology Languages Markus Krötzsch (U Oxford) - Reasoning and Query Answering in Description Logics Magdalena Ortiz and Mantas Simkus (TU Vienna) - Reasoning with Uncertain and Inconsistent Ontologies for the Semantic Web Guilin Qi (South Eastern U) and Jianfeng Du (Guangdong U Foreign Studies) - Argumentation and the Web Francesca Toni (Imperial College London) - Datalog and Its Extensions for the Semantic Web Georg Gottlob, Giorgio Orsi, Andreas Pieris (U Oxford) and Mantas Simkus (TU Vienna) == APPLICATIONS == The number of attendees will be limited, applications for participation have to be submitted via Easychair using the "Application" category: https://www.easychair.org/conferences/?conf=reasoningweb2012 The program of the school will include a poster session, where students can present and discuss their ongoing research with lecturers and colleagues. Applicants who wish to participate in the poster session shall tick the "Participation in poster session" group and include a poster title and abstract with their application submission. Applications must be submitted in PDF format not exceeding 2 pages (min. font size 11pt) and contain the following information: - Name, contact details - Affiliation - Motivation for participation - Summary of profile - Willing to present a poster? (if yes, add a poster title and abstract) - Supervisor (if applicable) - Publications (if applicable) == GRANTS == The organizing committee is considering to offer scholarships to summer school participants to partially cover registration and/or accommodation fees, depending on available sponsorships. There are further grants for students participating in the RR 2012 Doctoral Consortium who would like to extend their stay to also attend the summer school. == REGISTRATION == Details of the registration process will be announced on the summer school website, after the application deadline. As in previous years we will keep the registration fee moderate. == LECTURE NOTES == The course material used during the summer school will be published with Springer's Lecture Notes in Computer Science (LNCS) series. A copy of the proceedings will be included in the registration fees. == PROGRAM COMMITTEE == - Grigoris Antoniou (FORTH Crete) - Abraham Bernstein (U Zuerich) - François Bry (U Munich) - Thomas Eiter (TU Vienna, chair) - Birte Glimm (U Ulm) - Claudio Gutierrez (UC Santiago) - Axel Polleres (Siemens) == CONTACT == For further information including sponsorship opportunities, please contact the local organizers: - Thomas Eiter - Thomas Krennwallner From calimeri at mat.unical.it Wed May 2 19:54:11 2012 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Wed, 2 May 2012 19:54:11 +0200 Subject: LAST CfP: 6th International Conference on Web Reasoning and Rule Systems Message-ID: [Apologies for cross-postings] CALL FOR PAPERS RR 2012 The 6th International Conference on Web Reasoning and Rule Systems Vienna, Austria, 10-12 September 2012 http://www.rr-conference.org/RR2012/ 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. == Highlights in 2012 == In addition to regular papers, RR 2012 solicits the submission of TECHNICAL COMMUNICATIONS (TCs) that report about some interesting recent work, preliminary result, or inspiring viewpoint. Selected TCs will be invited for a full presentation like regular papers. 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. == Topics == RR welcomes original research from all areas of Web Reasoning. Topics of particular interest are: - Semantic Web, Rule and Ontology Languages, and related logics - Reasoning, Querying, Searching and Optimization - Incompleteness, Inconsistency and Uncertainty - Non-monotonic, Commonsense, and Closed-World Reasoning for the Web - Dynamic information, Stream Reasoning and Complex Event Processing - Decision Making, Planning, and Intelligent Agents - Reasoning, Machine Learning, Knowledge Extraction and IR Technologies - Large-scale data management and reasoning on the Web of Data - Data Integration, Dataspaces and Ontology-Based Data Access - Non-Standard Reasoning - Algorithms for distributed, parallelized, and scalable reasoning - System Descriptions and Experimentation - Applications and Experience Papers == Submissions == The conference proceedings will be published by Springer within the Lecture Notes in Computer Science (LNCS) series. Submissions must be prepared in Springer's LaTeX style llncs (http://bit.ly/oPRW8y). There are two submission formats: - Full papers (up to 15 pages) Original research works in the above areas - Technical Communications (up to 4 pages) Results and ideas with interest to the RR audience, including reports about recent own publications, position papers, and presentations of preliminary results All accepted works will be included in the proceedings, with Technical Communications clearly marked as such. All full papers and selected Technical Communications will be invited to give a talk at the conference. All accepted works will have the opportunity to present a poster. Submissions can be made in EasyChair: http://www.easychair.org/conferences/?conf=rr2012 == Important Dates == Abstract submission: May 14, 2012, before 23:59 UTC Full papers submission: May 23, 2012, before 23:59 UTC Notification of acceptance: June 22, 2012 == Invited Speakers == - Gerhard Brewka, University of Leipzig - Tommaso Di Noia, Politecnico di Bari * additional invited speakers will be announced soon == Program Committee == - Darko Anicic, Karlsruhe Institute of Technology - Jean-François Baget, LIRMM Montpellier - Chitta Baral, Arizona State University - Salem Benferhat, University of Artois - Fernando Bobillo, University of Zaragoza - Gerhard Brewka, University of Leipzig - François Bry, Ludwig-Maximilians University Munich - Diego Calvanese, Free University of Bozen-Bolzano - Vinay Chaudhri, SRI International U.S.A. - Kendall Clark, Clark & Parsia LLC Washington DC - Tommaso Di Noia, Technical University of Bari - Francesco M Donini, University of Tuscia - Thomas Eiter, TU Vienna - Michael Fink, TU Vienna - Birte Glimm, Ulm University - Claudio Gutierrez, Universidad of Chile - Andreas Harth, Karlsruhe Institute of Technology - Aidan Hogan, National University of Ireland Galway - Giovambattista Ianni, University of Calabria - Yevgeny Kazakov, University of Oxford - Michael Kifer, Stony Brook University - Clemens Kupke, University of Oxford - Georg Lausen, University of Freiburg - Domenico Lembo, University of Rome "La Sapienza" - Francesca Alessandra Lisi, University of Bari - Thomas Lukasiewicz, University of Oxford - Wolfgang May, University of Göttingen - Alessandra Mileo, National University of Ireland Galway - Ralf Moeller, Hamburg University of Technology - Marie-Laure Mugnier, University of Montpellier II - Magdalena Ortiz, TU Vienna - Jeff Z. Pan, University of Aberdeen - Rafael Peñaloza, TU Dresden - Axel Polleres, Siemens AG Österreich - Andrea Pugliese, University of Calabria - Guilin Qi, Nanjing University China - Riccardo Rosati, University of Rome "La Sapienza" - Sebastian Rudolph, Karlsruhe Institute of Technology - Steven Schockaert, Cardiff University - Mantas Simkus, TU Vienna - Sergio Tessaris, Free University of Bozen - Andrei Voronkov, University of Manchester == 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 From barbara.plank at disi.unitn.it Thu May 3 11:20:10 2012 From: barbara.plank at disi.unitn.it (Barbara Plank) Date: Thu, 3 May 2012 11:20:10 +0200 Subject: JIMSE 2012 Second Call for Papers: Joint workshop on Intelligent Methods for Software System Engineering Message-ID: Second Call for Papers JIMSE: Joint workshop on Intelligent Methods for Software System Engineering **************************************************************************** August 27 or 28, 2012 Montpellier, France The first Joint workshop on Intelligent Methods for Software System Engineering will be held in conjunction with the 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. Workshop Description -------------------- The workshop aims at bringing together worldwide stakeholders and their related communities to discuss current research trends on the use of intelligent techniques for effective and efficient design of software systems. To amplify the impact of the workshop, two different communities sharing the above-mentioned aim will join for the organization of a large event. These include: - The Trustworthy Eternal Systems via Evolving Software, Data and Knowledge (EternalS) community, who has been developing in conjunction with the homonymous European Coordination Action (https://www.eternals.eu/). This includes stakeholders of four broad different ICT areas such as: Learning Systems for Knowledge Management and Representation, Software Systems, Networked Systems and Secure Systems. Such community is sharing competencies and technology for reciprocally improving the specific areas, for example, applying machine learning for anomaly detection or for helping establishing network connection between devices. - The Intelligent Techniques in Software Engineering (ISEW) community, who has been developing through different workshops (see the past venues below). The community focuses on intelligent techniques for addressing, studying, analyzing and understanding critical software development issues, such as software quality and reliability, software cost estimation, software requirements, specifications engineering and software project management. The above communities focus on traditional AI technologies such as: (i) fuzzy logic, artificial neural networks, genetic algorithms; (ii) statistical machine learning (supervised, unsupervised, semi-supervised learning) and domain adaptation; and (iii) specific intelligent approaches for text mining & retrieval, graph mining and ranking algorithms. These are applied to extract patterns and identify relations regarding (a) the different phases and needs of software development and analysis as well as (b) designing effective security policies and networking systems. Scope and Topics ---------------- We aim at encouraging cross-fertilization of ideas amongst researchers from different communities. The topics of the workshop regards (but are not limited to) the application of the following approaches: * Machine Learning * Kernel methods * Text Mining & Retrieval * Probabilistic Reasoning * Model Learning * Expert Systems * Neural Networks * Data Mining * Evolutionary algorithms * Ranking Algorithms * Regression models and Statistical methods TO: * Software Requirements * Software Architecture * Software Methodologies * Software Algorithms * Software Design * Software Performance * Engineering * Software Quality & Reliability * Object-Oriented Analysis and Design * Software Maintenance & Testing * Software Metrics * Software Project Management * Software Cost Estimation * Open Source Software * Software Repository Management * Cloud computing. Additionally, we are particularly interested in contributions describing interdisciplinary researches between the following broad four ICT areas: (i) Learning Systems for Knowledge/Information Management and Representation. This area concerns with research for the development of machine learning models, mainly with applications in the domain of natural language processing, e.g., * Information Extraction * Information Retrieval * Data Mining * Semantic Web * Speech Processing * Image processing * Human Computer Interaction (ii) Software Systems, for example, described by the following keywords: * Modeling languages * Feature description languages * Software product lines * Feature-oriented programming * Delta-oriented programming * Architectural models of diversity * Formal Methods * Software evolution * Component-based systems (iii) Networked Systems This area deals with the connection of networked systems over time, hence addressing eternal interoperability. Related topics include but are not limited to: * Connector theory * Models at runtime * Protocol learning * Protocol synthesis * Runtime verification & validation * Model-based monitoring * Interoperable security, privacy & trust (iv) Secure Systems This topic area deals with supporting the supervised evolution of secure systems from the development, deployment, and operation perspectives. Research in the context of the so-called Future Internet is particularly welcome. Topics include, but are not limited to: * Requirements engineering, * Risk assessment * Software architectures * Modeling techniques * Model-based security techniques * Secure programming * Verification and testing * Software engineering processes for secure and evolvable systems Important Dates --------------- May 20, 2012: Paper submission deadline June 28, 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 abstracts of max. 4 pages including references, pictures and tables, presenting novel research results. 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 Papers should be submitted via the Easychair submission system: https://www.easychair.org/conferences/?conf=jimse2012 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 May 20, 2012. 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/ More on Topics and Background ----------------------------- During last years Open Source Software has considerably increased, enabling free and continuing access to publicly available software engineering data. In turn, this has promoted research on modeling software development and investigating its various aspects. Though, software engineering data is available, two important aspects of a software system have still to be studied such as (i) its representation in terms of domain knowledge and (ii) the representation of its design and implementation history. Successful models for the above points would allow for the design of radically different paradigms for software development. Intelligent techniques can be applied for modeling software-related tasks and providing effective solutions. Machine learning (ML), knowledge-based systems, and data mining have already been used in several Software Engineering (SE) tasks. For example, recent interdisciplinary research in ML and networking systems has shown that statistically learning can produce large improvement in both connecting devices (Bennaceur et al., 2011) and modeling their logic (behavior) (Lamprecht et al., 2011). Moreover, the role ML in software for security systems is very effective as shown for example in (Felderer et al., 2011), whereas knowledge-based approaches seem promising for improving fast prototyping of new product lines as they can automatize formal verification processes of workflows (Schaefer & Sauer, 2011). SE is a conceptual-intensive activity, requiring extensive domain and software knowledge (Zhang & Zhai, 2005). Software data, such as requirements, descriptions, change history, design diagrams, size of programs, tools, packages and methodologies and the source code itself contain a wealth of information about a project status, progress and evolution. Intelligent techniques can be used to analyze such data from past projects to recognize software problems or to learn its natural evolution during time. This is very appealing since suggests methods and techniques for making systems capable of adapting to changes in user requirements and application domains. Most software systems nowadays are built iteratively and incrementally, while integrating and interacting with components from many other systems. Past development models that presupposed that software systems would not significantly evolve after delivery are now outmoded. Hence, SE research is studying the design and implementation of highly evolvable systems. ML is a promising research direction for the design of adaptable models as they requires to manage millions of variables in several dimensions, e.g., time, location, and security conditions, expressing the diversity of the context in which systems operate. Finally, knowledge and experience from the development of previous projects can make the use of supervised learning possible (i.e., training data is available). References ---------- S. Bibi, G. Tsoumakas, I. Stamelos, I. Vlahavas, Regression via Classification applied on Software Defect Estimation, Expert Systems with Applications Journal of Elsevier, Vol 34(3), pp. 2091-2101. Peter Hearty, Norman E. Fenton, David Marquez, Martin Neil: Predicting Project Velocity in XP Using a Learning Dynamic Bayesian Network Model. IEEE Trans. Software Eng. 35(1): 124-137 (2009) Open source project data: www.sourceforge.org Adriano L.I. Oliveira, Petronio L. Braga, Ricardo M.F. Lima, Márcio L. Cornélio, GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation, Information and Software Technology, Volume 52, Issue 11, November 2010, Pages 1155-1166 Stamelos, L. Angelis, P. Dimou, E. Sakellaris, On the use of Bayesian belief networks for the prediction of software productivity, Inf. Softw. Technol. 45 (2003) 51–60. Witten and E. Frank. Data Mining: Practical machine learning tools and techniques, 2nd Edition. Morgan Kaufmann, San Francisco, 2005. Eds. Du Zhang , Jeffrey Tsai, “Machine Learning applications in Software Engineering”, (University of Illinois, Chicago, USA), Series on Software Engineering and Knowledge Engineering , Vol. 16, 2005. AmelBennaceur, Richard Johansson, Alessandro Moschitti, RominaSpalazzese, Daniel Sykes, RachidSaadi, and ValrieIssarny. Inferring affordances using learning techniques. In The First Workshop on Trustworthy Eternal Systems via Evolving Software, Data and Knowledge: EternalS’11. To appear in CCIS Springer, 2011. Anna-Lena Lamprecht, TizianaMargaria, Ina Schaefer and Bernhard Steffen, Comparing Structure-oriented anda Behaviour-oriented Variability Modeling for Workflows. In The First Workshop on Trustworthy Eternal Systems via Evolving Software, Data and Knowledge: EternalS’11. To appear in CCIS Springer, 2011. Ina Schaefer and Thomas Sauer, Towards Verification as a Service. In The First Workshop on Trustworthy Eternal Systems via Evolving Software, Data and Knowledge: EternalS’11. To appear in CCIS Springer, 2011. Felderer, M. and Agreiter, B. and Zech, P. and Breu, R. (2011) A Classification for Model-Based Security Testing. In: The Third International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011). From cy at sdiwc.net Thu May 3 15:35:49 2012 From: cy at sdiwc.net (The International Conference on Cyber Security, Cyber Warfare and Digital Forensic (CyperSec2012)) Date: Thu, 3 May 2012 06:35:49 -0700 Subject: Last CFP - CyberSecurity2012- IEEE ; Malaysia Message-ID: The International Conference on Cyber Security, Cyber Warfare and Digital Forensic (CyberSec2012) University Putra Malaysia, Kuala Lumpur, Malaysia June 26-28, 2012 http://www.sdiwc.net/CyberSec2012/ The CyberSec2012 is technically co-sponsored by IEEE Malaysia Chapter and All papers will be submitted to IEEE for potential inclusion to IEEE Xplore and Ei Compendex. ======================================================================== The proposed conference on the above theme will be held at University Putra Malaysia, Kuala Lumpur, Malaysia, From June 26-28, 2012 which aims to enable researchers to build connections between different digital applications. The conference welcomes papers on the following (but not limited to) research topics: *Cyber Security -Privacy issues -Formal Methods Application in Security -Incident Handling and Penetration Testing -Operating Systems and Database Security -Security in Cloud Computing -Security in Social Networks -Multimedia and Document Security -Hardware-Based security -VOIP, Wireless and Telecommunications Network Security -Security of Web-based Applications and Services -Enterprise Systems Security -SCADA and Embedded systems security -Distributed and Pervasive Systems Security -Secure Software Development, Architecture and Outsourcing -Security for Future Networks -Security protocols -Legal Issues *Digital Forensic -Data leakage, Data protection and Database forensics -Forensics of Virtual and Cloud Environments -Network Forensics and Traffic Analysis Hardware Vulnerabilities and Device Forensics -Information Hiding -File System and Memory Analysis Multimedia Forensic -Executable Content and Content Filtering -Anti-Forensics and Anti-Anti-Forensics Techniques -Malware forensics and Anti-Malware techniques -Evidentiary Aspects of Digital Forensics -Investigation of Insider Attacks -Cyber-Crimes -Large-Scale Investigations -New threats and Non-Traditional approaches *Information Assurance and Security Management -Corporate Governance -Laws and Regulations -Threats, Vulnerabilities, and Risk Management -Business Continuity & Disaster Recovery Planning -Critical Infrastructure Protection -Digital Rights Management and Intellectual Property Protection -Security Policies and Trust Management -Identity Management -Decidability and Complexity -Economics of Security -Fraud Management *Cyber warfare and Physical Security -Surveillance Systems -Cyber Warfare Trends and Approaches -Social engineering -Authentication and Access Control Systems -Biometrics Applications -Electronic Passports, National ID and Smart Card Security -Template Protection and Liveliness detection -Biometrics standards and standardization -New theories and algorithms in biometrics Researchers are encouraged to submit their work electronically. All papers will be fully refereed by a minimum of two specialized referees. Before final acceptance, all referees comments must be considered. Important Dates ============== Submission Date : May 10, 2012 Notification of acceptance: May 20, 2012 Camera Ready submission : May 25, 2012 Registration : May 30, 2012 Conference dates : June 26-28, 2012 From cgf at isep.ipp.pt Thu May 3 21:03:12 2012 From: cgf at isep.ipp.pt (Carlos Ferreira) Date: Thu, 03 May 2012 20:03:12 +0100 Subject: Last CFP: Ubiquitous Data Mining (UDM) - ECAI 2012 Workshop Message-ID: <4FA2D670.6030708@isep.ipp.pt> ** Apologies for cross-posting ** Ubiquitous Data Mining (UDM) Workshop Montpellier, France, August 27-31, 2012 http://www.liaad.up.pt/udm/ in conjunction with ECAI 2012 20th European Conference on Artificial Intelligence Montpellier, France, August 27-31, 2012 http://www2.lirmm.fr/ecai2012/ == Call for Papers == Ubiquitous Data Mining (UDM) uses Data Mining techniques to extract useful knowledge from data, namely when its characteristics reflect a World in Movement. The goal of this workshop is to convene researchers (from both academia and industry) who deal with techniques such as: decision rules, decision trees, association rules, clustering, filtering, learning classifier systems, neural networks, support vector machines, preprocessing, postprocessing, feature selection, visualization techniques, etc. for UDM of distributed and heterogeneous sources in the form of a continuous stream with mobile and/or embedded devices and related themes. Authors are invited to submit original papers in all topics related to Ubiquitous Data Mining. Selected papers will have to be presented during the workshop. The workshop will include extra time for audience discussion of the presentation allowing the group to have a better understanding of the issues, challenges, and ideas being presented. Authors of best workshop papers will be invited to submit extended versions of their work to Intelligent Data Analysis Journal. -- Important Dates -- Paper submission: 31 May, 2012 Author notification: 22 Jun, 2012 Camera-ready copy: 30 Jun, 2012 -- Topics -- Topics include but are not restricted to: - Adaptive Data Mining - Distributed Data Mining - Distributed Data Streams - Grid Data Mining - Learning in Ubiquitous environments - Learning from Sensor Networks - Learning from Social Networks - Visualization Techniques for UDM - Incremental On-line Learning Algorithms - Single-Pass and Scalable Algorithms - Learning in distributed neural network systems; - Real-Time and Real-World Applications - Resource-aware UDM - Theoretical frameworks for UDM -- Submission -- All papers should be submitted in ECAI 2012 camera ready format for publication in the symposium proceedings. The maximum length of papers should not exceed 5 pages in the case of research and experience papers, and 2 pages in the case of position papers (including figures, bibliography and appendices). Submission guidelines must be strictly followed. Papers should be submitted in PDF using the EasyChair conference system available at https://www.easychair.org/conferences/?conf=udm2012 All workshop participants are required to register for both the workshop and the main conference. ECAI, is the leading Conference on Artificial Intelligence in Europe, and is a biennial organization of the European Coordinating Committee for Artificial Intelligence ECCAI. -- Workshop Chairs -- João Gama, Manuel Filipe Santos, Nuno Marques, Paulo Cortez and Pedro Pereira Rodrigues -- Publicity Chair -- Carlos Abreu Ferreira Looking forward to meeting you in Montpellier! From sebastian.sardina at rmit.edu.au Fri May 4 06:27:54 2012 From: sebastian.sardina at rmit.edu.au (Sebastian Sardina) Date: Fri, 4 May 2012 14:27:54 +1000 Subject: =?windows-1252?Q?CFP=3A_The_25th_Australasian_Joint_Conference_on_Artif?= =?windows-1252?Q?icial_Intelligence_=28AI=9212=29?= In-Reply-To: References: Message-ID: [Apologies for cross-posting and re-posting] ------------------------------------------------------------ AI'12 Call for Papers The 25th Australasian Joint Conference on Artificial Intelligence (AI’12) 4-7 December 2012 Sydney, Australia http://25thAnniversaryAustralasianAI.org or http://ai12.org Since the first AI Conference took place in Sydney in 1987, the series of annual Australasian Joint Conferences on Artificial Intelligence have become the premier event for Artificial Intelligence researchers in Australasia and one of the major international forums on AI worldwide. For its 25th anniversary, the Australasian Joint Conference on Artificial Intelligence will return to Sydney in December 2012, jointly hosted by The University of Western Sydney and The University of New South Wales. You are invited to submit original research and application papers on all aspects of AI research, including but not limited to the following: Agent-based and multiagent systems AI applications and innovations Cognitive modeling and computer human interaction Commonsense reasoning Computer vision Constraint satisfaction, search, and optimisation Evolutionary computation Game playing and interactive entertainment Information retrieval, integration, and extraction Knowledge acquisition and ontologies Knowledge representation and reasoning Machine learning and data mining Model-based systems Multidisciplinary AI Natural language processing Planning and scheduling Uncertainty in AI Robotics Social choice Web and information systems All accepted papers submitted to the conference will be published in the Springer Lecture Notes in Artificial Intelligence (LNAI) series. Regular paper submissions, tutorial/workshop proposals should refer to the instructions available at the conference website (http://ai12.org). All papers will be peer reviewed by at least three independent referees. Important Dates: Paper submission 29 June 2012 Workshop/Tutorial proposals 29 June 2012 Notification of acceptance 15 August 2012 Camera-ready submission 14 September 2012 Early registration 31 October 2012 Conference Committee: GENERAL CHAIRS Simeon Simoff, University of Western Sydney Maurice Pagnucco, University of New South Wales PROGRAM CHAIRS Dongmo Zhang, University of Western Sydney Michael Thielscher, University of New South Wales LOCAL ARRANGEMENTS CHAIRS Yan Zhang, University of Western Sydney Abhaya Nayak, Macquarie University AWARD SELECTION CHAIR Toby Walsh, National ICT Australia (NICTA) WORKSHOP/TUTORIAL CHAIR Hans Guesgen, Massey University, New Zealand PUBLICITY CHAIR Sebastian Sardina, RMIT University SPONSORSHIP CHAIRS Sumeet Kumar, Telstra Enterprise & Government Laurence Park, University of Western Sydney CONFERENCE COORDINATOR David Rajaratnam, University of New South Wales AI CHALLENGES COORDINATOR Anton Bogdanovych, University of Western Sydney From David.Obdrzalek at mff.cuni.cz Fri May 4 15:42:38 2012 From: David.Obdrzalek at mff.cuni.cz (David Obdrzalek) Date: Fri, 04 May 2012 15:42:38 +0200 Subject: 2.CFP: Robotics in Education 2012 Message-ID: <4FA3DCCE.14013.4CA92E33@David.Obdrzalek.mff.cuni.cz> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 2nd CALL FOR PAPERS ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 3rd International Conference on Robotics in Education 13 - 15 September 2012 Prague, Czech Republic http://www.rie2012.eu ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ The International Robotics in Education Conference (RiE) aims at bringing researchers, teachers, practicing engineers, as well as industry experts from all over the world onto a common platform. After Bratislava in 2010 and Vienna in 2011, the 2012 Edition of RiE will be held in Prague. We encourage to submit and present new trends, practical experiences, and the latest innovations and advances in the area of Robotics in Education. Suggested topics include, but are not limited to: * Robotics in school * Robotics curricula * Project-based learning and robotics * Didactic approaches and materials * Teaching and training for robotics * Evaluation and pilot studies * Exemplary robotics projects in classes * Laboratory experiments for teaching robotics * International trends in educational robotics * Evaluation and assessment of robotic-enhanced class activities * Hardware and software of robotic kits * Web-based robotics and simulation * Robotics competitions Similarly to previous years, the Robotour contest is part of RiE schedule: http://robotika.cz/competitions/robotour/2012/en. We recommend the conference participants to visit Robotour to see this practical example of robotics in education - and education in robotics, too. Important dates: May 15 2012 Paper submission June 15 2012 Notification of acceptance July 15 2012 Early registration deadline August 1 2012 Camera-ready papers September 13-15 2012 The Conference September 15 2012 Robotour Conference main contact: rie2012 at rie2012.eu Website: http://rie2012.eu Robotour: http://robotika.cz/competitions/robotour/2012/ Conference organisers: Charles University in Prague, Faculty of Mathematics and Physics (Prague, Czech Republic) in cooperation with: FEI STU - Slovak University of Technology in Bratislava, Faculty of Electrical Engineering and Information Technology (Bratislava, Slovakia) INNOC - Austrian Society for Innovative Computer Sciences (Wien, Austria) Previous years: 2011 Vienna: Archive: www.rie2011.org, proceedings: ISBN 978-3-200-02273-7 2010 Bratislava: Archive: rie2010.stuba.sk, proceedings: ISBN 978-80-227-3353-3 From geoff at cs.miami.edu Fri May 4 18:19:01 2012 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 4 May 2012 12:19:01 -0400 (EDT) Subject: IJCAR 2012 Participation and Travel Awards Message-ID: <20120504161901.DDCD612149F@mcclellan.cs.miami.edu> ------------------------------------------------------------------------- IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning http://ijcar.cs.man.ac.uk/ Call for Participation and Woody Bledsoe Student Travel Award Applications ------------------------------------------------------------------------- IJCAR 2012 is a merger of leading events in automated reasoning: * CADE (International Conference on Automated Deduction) * FroCoS (International Symposium on Frontiers of Combining Systems) * FTP (International Workshop on First-order Theorem Proving) * TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods) IJCAR 2012 will be held at the University of Manchester, UK, from June 26th to July 1st, 2012. ------------------------------------------------------------------------- Deadlines: * Early registration will end on May 25th, * Late registration will end on June 11th * Very late and on-site registration will never end To register, please follow the registration page on http://ijcar.cs.man.ac.uk/?page_id=40 Please register now! ------------------------------------------------------------------------- Scientific Programme: * 4 Invited Speakers: -- Nikolaj Bjorner, Microsoft Research Redmond, WA, USA -- Yuri Matiyasevich, Steklov Institute of Mathematics, St. Petersburg, Russia -- Robert Nieuwenhuis, Technical University of Catalonia, Barcelona, Spain -- Nicole Schweikardt, University of Frankfurt, Germany * 3 Evening Lectures by the following pioneers of automated reasoning: -- Peter Andrews, Carnegie Mellon University, USA -- Martin Davis, New York University, USA -- John Alan Robinson, Syracuse University, New York, USA * Herbrand Award Presentation * 32 full papers * 9 system descriptions ------------------------------------------------------------------------- Satellite Events (June 30th - July 1st) Workshops: * Workshop on Automated Theory Exploration (ATX 2012) * Workshop on Synthesis, Verification and Analysis of Rich Models (SVARM 2012) joint with The 7th International Verification Workshop (VERIFY 2012) * Satisfiability Modulo Theories (SMT 2012) * Practical Aspects of Automated Reasoning (PAAR 2012) * Proof eXchange for Theorem Proving (PxTP 2012) * The 4th International Workshop on Invariant Generation (WING 2012) * Uncertainty in Description Logics (UniDL 2012) * The 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012) * The 2nd Joint International Workshop on Strategies in Rewriting, Proving and Programming (IWS 2012) * Workshop on Logics for Resources, Processes, and Programs (LRPP 2012) * The 26th International Workshop on Unification (UNIF 2012) * StarExec * OWL Reasoner Evaluation Workshop * Automated Reasoning for Enterprise Information Systems (AREIS 2012) Competitions: * CADE ATP System Competition (CASC-J6) * SMT Competition (SMT-COMP 2012) * Termination Competition 2012 * OWL Reasoner Evaluation ------------------------------------------------------------------------- Woody Bledsoe Student Travel Awards Important Dates: * Application deadline May 14th * Notification May 21st For application details please follow Woody Bledsoe Student Travel Awards page on http://ijcar.cs.man.ac.uk/?page_id=375 ------------------------------------------------------------------------- We take this opportunity to remind you that IJCAR 2012 is part of the Alan Turing Year, and is held immediately after The Alan Turing Centenary Conference http://www.turing100.manchester.ac.uk/ It is expected that Manchester will be a busy place during these meetings, so please try to register and book your hotels early. You will find some accommodation suggestions at the IJCAR website. We are grateful to generous sponsors of IJCAR 2012 * The University of Manchester * Artificial Intelligence Journal * Microsoft Research ------------------------------------------------------------------------- We are looking forward to seeing you in Manchester, Andrei, Bernhard, Birte, Dale, Geoff, Konstantin, and Uli ------------------------------------------------------------------------- From marc.denecker at cs.kuleuven.be Sat May 5 11:16:49 2012 From: marc.denecker at cs.kuleuven.be (Marc Denecker) Date: Sat, 05 May 2012 11:16:49 +0200 Subject: Doctoral and PostDoctoral Positions in Computational Logic/KRR Message-ID: <4FA4F001.50602@cs.kuleuven.be> Doctoral and PostDoctoral Positions in Computational Logic/KRR The Knowledge Representation and Reasoning (KRR) group at the University of Leuven headed by Marc Denecker The Individual and Collective Reasoning (ICR) group at the University of Luxembourg headed by Leon van der Torre are looking for 1 PostDoctoral and 3 Doctoral Researchers in the area of Computational logic and Knowledge Representation. The research is situated in the convergence of areas of classical logic (FO), constraint solving, datalog and Answer Set Programming and aims to develop extensions of FO logics and inference tools, specifically with application to the field of access and privacy policies. These positions are part of the FWO-FNR research project on "Specification logics and Inference tools for verification and Enforcement for Policies (SIEP)". The positions are based at the following locations: - Leuven: 2 PhD positions http://dtai.cs.kuleuven.be/krr/ The project fits into KRR's aim to develop finite domain inference technologies for knowledge-based problem solving using the FO-based KR language FO(.). Topics: In close collaboration with Luxembourg, PhD students will be involved in research extending FO(.) with epistemic primitives for expressing access and privacy policies. They will extend the existing IDP knowledge base system using techniques inspired by and extending those found in areas such as from SAT, model generation, SAT modulo Theories, Answer Set Programming and Datalog. Tools will be evaluated in novel applications of access and privacy policies, including verification, compliance checking, analysis, experimentation, simulation and execution of policies. - Luxembourg: 1 Postdoc and 1 PhD position http://icr.uni.lu/ Topics: The PostDoc will lead the work on the extension of FO(.) languages to handle aspects of policies (e.g. epistemic aspects in the context of uncertainty), inference algorithms and applications. The PhD student in Luxemburg will focus on applications and methodology and the integration of various aspect of policies (delegation, revocation, dynamic aspects, logical aspects, etc.), explanations, etc. Conditions for Leuven Successful candidates for the PhD positions hold either a MSc in Computer Science, Mathematics or a related discipline and have an interest in logic, formal methods and inference. The appointment is initially for 4 years and afterwards subject to project extension. The salaries follow the Belgian or Luxembourg scheme depending on the location. Initial screening of applications begins immediately and the positions remain open until filled. Applications: Please contact Marc Denecker and/or Leendert van der Torre, preferably via email to Marc Denecker Leendert van der Torre -- Marc Denecker (prof) KU Leuven Departement Computerwetenschappen tel: ++32 (0)16/32.75.57 Celestijnenlaan 200A Room A02.145 fax: ++32 (0)16/32.79.96 B-3001 Heverlee, Belgium email: Marc.Denecker at cs.kuleuven.be http://people.cs.kuleuven.be/~marc.denecker/ ........................................................................ Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From tkren at kr.tuwien.ac.at Sun May 6 09:47:39 2012 From: tkren at kr.tuwien.ac.at (Thomas Krennwallner) Date: Sun, 6 May 2012 09:47:39 +0200 Subject: 8th Reasoning Web Summer School (RW 2012) - Call for Applications (Extended application deadline) Message-ID: <20120506074739.GF4125@kr.tuwien.ac.at> *********************************************** * Extended application deadline: May 25, 2012 * *********************************************** CALL FOR APPLICATIONS/PARTICIPATION REASONING WEB 2012 The 8th Reasoning Web Summer School (RW 2012) Vienna, Austria, September 03-08, 2012 http://www.reasoningweb.org/2012/ co-located with the - 6th Int'l Conference on Web Reasoning and Rule Systems (RR 2012), September 10-12, 2012 http://www.rr-conference.org/RR2012/ - 4th Int'l Conference on Computational Models of Argument (COMMA 2012), September 10-12, 2012 http://www.kr.tuwien.ac.at/events/comma2012/ - 2nd Datalog 2.0 Workshop, September 11-13, 2012 http://www.dbai.tuwien.ac.at/event/datalog-2.0/ - 23rd Int'l Conference on Database and Expert Systems Applications (DEXA 2012), September 03-07, 2012 http://www.dexa.org/ The Reasoning Web Summer School 2012 is primarily intended for postgraduate (PhD or MSc) students, postdocs, and other young researchers investigating aspects related to Reasoning on the Semantic Web and related issues. The Summer School will also be open to senior researchers wishing to learn about Semantic Web issues related to their own fields of research. For further details please visit http://www.reasoningweb.org/2012/ As in the previous years, we managed again to attract a distinguished group of expert lecturers, the majority of which will - apart from their lectures - also be present for the duration of the school to interact with students. Interaction with senior researchers and establishing contacts within young researchers is a main focus of the school, which will be supported through social activities and an interactive, amicable atmosphere. This year's summer school will be co-located with a number of related conferences and workshop, viz. Int'l Conference on Web Reasoning and Rule Systems 2012, the Int'l Conference on Computational Models of Argument 2012, the Int'l Conference on Database and Expert Systems Applications 2012, and the 2nd Datalog 2.0 Workshop 2012 (dates and links are given above). This will be a great opportunity to attend major conferences and workshops in the area directly subsequent to the school. Reasoning Web 2012 is part of the Vienna Logic Weeks 2012: http://www.vcla.at/events/vienna-logic-weeks_2012/ As a further highlight, we want to point out the opportunity of PhD students to present their research at the RR 2012 Doctoral Consortium. Joint applications for the Reasoning Web Summer School 2012 and the RR 2012 Doctoral Consortium are explicitly encouraged. More details are given on the RR-DC 2012 website: http://www.kr.tuwien.ac.at/events/rr2012/DoctoralConsortium.html == IMPORTANT DATES (EXTENDED!) == Application deadline (NEW): May 25, 2012 Notifications (NEW): June 1, 2012 == CONFIRMED LECTURES == - Federation and Navigation in SPARQL 1.1 Marcelo Arenas (PUC Chile) and Jorge Pérez (U Chile) - Semantic Wikis: Approaches, Applications, and Perspectives François Bry (U Munich), Sebastian Schaffert (Salzburg Research), Denny Vrandečić (KIT), and Klara Weiand (U Munich) - Reasoning and Ontologies in Data Extraction Sergio Flesca (U Calabria) and Tim Furche (U Oxford) - Linked Data Stream Processing Manfred Hauswirth, Danh Le Phuoc, and Josiane Xavier Parreira (DERI, NUI Galway) - Data Models and Query Languages for Linked Geospatial Data Manolis Koubarakis, Manos Karpathiotakis, Kostis Kyzirakos, Babis Nikolaou, Michael Sioutis (U Athens) - OWL 2 Profiles: An Introduction to Lightweight Ontology Languages Markus Krötzsch (U Oxford) - Reasoning and Query Answering in Description Logics Magdalena Ortiz and Mantas Simkus (TU Vienna) - Reasoning with Uncertain and Inconsistent Ontologies for the Semantic Web Guilin Qi (South Eastern U) and Jianfeng Du (Guangdong U Foreign Studies) - Argumentation and the Web Francesca Toni (Imperial College London) - Datalog and Its Extensions for the Semantic Web Georg Gottlob, Giorgio Orsi, Andreas Pieris (U Oxford) and Mantas Simkus (TU Vienna) == APPLICATIONS == The number of attendees will be limited, applications for participation have to be submitted via Easychair using the "Application" category: https://www.easychair.org/conferences/?conf=reasoningweb2012 The program of the school will include a poster session, where students can present and discuss their ongoing research with lecturers and colleagues. Applicants who wish to participate in the poster session shall tick the "Participation in poster session" group and include a poster title and abstract with their application submission. Applications must be submitted in PDF format not exceeding 2 pages (min. font size 11pt) and contain the following information: - Name, contact details - Affiliation - Motivation for participation - Summary of profile - Willing to present a poster? (if yes, add a poster title and abstract) - Supervisor (if applicable) - Publications (if applicable) == GRANTS == The organizing committee is considering to offer scholarships to summer school participants to partially cover registration and/or accommodation fees, depending on available sponsorships. There are further grants for students participating in the RR 2012 Doctoral Consortium who would like to extend their stay to also attend the summer school. == REGISTRATION == Details of the registration process will be announced on the summer school website, after the application deadline. As in previous years we will keep the registration fee moderate. == LECTURE NOTES == The course material used during the summer school will be published with Springer's Lecture Notes in Computer Science (LNCS) series. A copy of the proceedings will be included in the registration fees. == PROGRAM COMMITTEE == - Grigoris Antoniou (FORTH Crete) - Abraham Bernstein (U Zuerich) - François Bry (U Munich) - Thomas Eiter (TU Vienna, chair) - Birte Glimm (U Ulm) - Claudio Gutierrez (UC Santiago) - Axel Polleres (Siemens) == CONTACT == For further information including sponsorship opportunities, please contact the local organizers: - Thomas Eiter - Thomas Krennwallner From keijo.heljanko at aalto.fi Sun May 6 23:13:11 2012 From: keijo.heljanko at aalto.fi (Keijo Heljanko) Date: Mon, 7 May 2012 00:13:11 +0300 Subject: PDMC 2012 Call for Papers In-Reply-To: <4FA6E8FA.8020805@aalto.fi> References: <4FA6E8FA.8020805@aalto.fi> Message-ID: <4FA6E967.1090608@aalto.fi> Call for Papers - PDMC 2012 ============================================================================== 11th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2012) September 17th, 2012, Imperial College London, London, UK Co-locating with 9th International Conference on Quantitative Evaluation of SysTems (QEST) 2012 http://www.pdmc.cz/PDMC12 ============================================================================== Abstract submission: May 25, 2012 Full paper submission: June 1, 2012 Notification: July 9, 2012 Workshop: September 17, 2012 Post-proceedings version: October 19, 2012 GOALS AND SCOPE: ---------------- The aim of the PDMC workshop series is to cover all aspects related to the verification and analysis of very large and complex systems, in particular in using methods and techniques that exploit current hardware architectures. The PDMC workshop aims to provide a working forum for presenting, sharing, and discussing recent achievements in the field of high-performance verification. TOPICS OF INTEREST: ------------------- Topics of interest include, but are not limited to: * parallel and/or distributed-memory techniques for verification * parallel SAT solving and its applications in verification * I/O efficient algorithms for verification * GPU accelerated algorithms for verification * platform dependent verification tools * industrial case studies employing PDMC techniques * applications of PDMC techniques to systems biology SUBMISSIONS: ------------ All submissions must be original and unpublished. Regular and tool papers accepted for the presentation at the workshop will appear in Electronic Proceedings in Theoretical Computer Science series, hence, submissions must be prepared in LaTeX using the EPTCS macro package. Submission accepted for the presentation must be presented at the workshop conference by at least one of the authors. Submissions are processed through the EasyChair conference system. We accept * regular papers (max. 15 pages in EPTCS style), * tool papers (max. 5 pages in EPTCS style), PROGRAMME COMMITTEE: -------------------- * Keijo Heljanko (Aalto University, Finland) - co-chair * William J. Knottenbelt (Imperial College London, UK) - co-chair * Henri E. Bal (Vrije University Amsterdam, Netherlands) * Jiri Barnat (Masaryk University, Czech Republic) * Dragan Bosnacki (Eindhoven University of Technology, Netherlands) * Lubos Brim (Masaryk University, Czech Republic) * Gianfranco Ciardo (University of California at Riverside, US) * Stefan Edelkamp (University of Bremen, Germany) * John Erickson (Intel, USA) * Youssef Hamadi (Microsoft Research, UK) * Gerard Holzmann (NASA/JPL, USA) * Gerald Luettgen (University of Bamberg, Germany) * Wendelin Serwe (INRIA/LIG, France) * Gethin Norman (University of Glasgow, UK) * Jaco van de Pol (University of Twente, Netherlands) * Rong Zhou (Palo Alto Research Center, USA) -- keijo.heljanko at aalto.fi http://users.ics.tkk.fi/kepa Professor Department of Information and Computer Science School of Science Aalto University From announce at cs.ucy.ac.cy Mon May 7 16:15:57 2012 From: announce at cs.ucy.ac.cy (Announcements) Date: Mon, 7 May 2012 17:15:57 +0300 Subject: Academic Vacancies -- CS Department -- University of Cyprus Message-ID: VISITING ACADEMIC POSITIONS DEPARTMENT OF COMPUTER SCIENCE UNIVERSITY OF CYPRUS The Department of Computer Science at the University of Cyprus has a number of vacancies for Visiting Academics at the ranks of Lecturer, Assistant, Associate, and Full Professor. Applications are being accepted in all areas, but we are particularly interested in: Theoretical Computer Science / Security / Visual Computing / Computer Games / Human Computer Interaction / Software Engineering / Computer Networks / Data Management A visiting appointment is for one semester (Spring Semester: 15 Jan - 31 May; Fall Semester: 1 Sept - 31 Dec), but can be renewed for up to four semesters. Applicants should hold a Ph.D. in a relevant subject and BE FLUENT IN GREEK (both of these requirements are mandatory). The monthly gross salary for these positions is (in EUR): Visiting Academic Professor: 3.845,84 EUR Visiting Academic Associate Professor: 3.456,98 EUR Visiting Academic Assistant Professor: 3.279,45 EUR Visiting Academic Lecturer: 2.860,41 EUR Presently, the Department is seeking applications for the academic year 2012-2013. The processing of applications has started and will continue until all the available positions have been filled. Anyone wishing to apply should send: I) a full CV, and II) a letter stating for which specific area they are interested in and the semester(s) for which they are available, to the following address (the deadline for receiving applications is the 25th May 2012): The Chairperson Department of Computer Science University of Cyprus P.O. Box 20537 CY-1678 Nicosia, CYPRUS For more details and other information, interested individuals may contact the Chairperson of the Department of Computer Science: Professor Marios D. Dikaiakos Tel: +357-22-892669 Fax: +357-22-892724 E-mail: chair at cs.ucy.ac.cy -------------------------------------------------------------------- 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 womo2012 at easychair.org Mon May 7 16:54:57 2012 From: womo2012 at easychair.org (WoMO 2012) Date: Mon, 7 May 2012 16:54:57 +0200 Subject: 3rd CfP: WoMO 2012 - 6th Int'l Workshop on Modular Ontologies Message-ID: ======================================================== 6th Int'l Workshop on Modular Ontologies (WoMO) Graz, Austria, July 24, 2012 held in conjunction with FOIS 2012 --- Third Call for Papers --- ======================================================== Submission deadline: May 11, 2012 ======================================================== INVITED SPEAKERS: * Thomas Eiter, Vienna University of Technology, Austria Title TBA * Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy Multi context logics: a formal support for structuring knowledge and beliefs (Tentative title) http://www.informatik.uni-bremen.de/~ts/womo2012 MODULARITY, studied for years in software engineering, allows mechanisms for easy and flexible reuse, generalization, structuring, maintenance, design patterns, and comprehension. In formal and applied ontology, modularity is central to reducing the complexity of designing and understanding ontologies, and to facilitating ontology verification, reasoning, development, maintenance and integration. Recent research on ontology modularity shows substantial progress in foundations of modularity, techniques of modularization and modular development, distributed reasoning and empirical evaluation. These results provide a solid foundation and exciting prospects for further research and development. The workshop continues a series of successful events that have been an excellent venue for practitioners and researchers to discuss latest and current work; the most recent WoMOs were held at FOIS 2010 and ESSLLI 2011. TOPICS include, but are not limited to: - What is modularity?: kinds of modules and their properties; modules vs. contexts; design patterns; granularity of representation; - Logical/foundational studies: conservativity; modular ontology languages; reconciling inconsistencies across modules; formal structuring of modules; heterogeneity; - Algorithmic approaches: distributed and incremental reasoning; modularization and module extraction; sharing, linking, reuse; privacy; evaluation of modularization approaches; complexity of reasoning; implemented systems; - Applications: semantic web; life sciences; bio-ontologies; natural language processing; space and time; ambient intelligence; social intelligence; collaborative ontology development and ontology versioning. IMPORTANT DATES Paper Submission: May 11, 2012 Notification: June 12, 2012 Camera ready: July 1, 2012 Workshop: July 24, 2012 SUBMISSION GUIDELINES: We welcome submissions on modularity in a broad sense. The workshop is open to papers of theoretical or practical nature. Submissions should be of up to 11 pages in length, formatted according to Springer LNCS style (see http://www.springer.com/comp/lncs/Authors.html), prepared in PDF format and submitted no later than May 11, 2012, through the EasyChair Submission System (see http://www.easychair.org/conferences/?conf=womo2012). Submitted papers will be peer-reviewed by members of the program committee. Accepted papers will be made available in the proceedings to be published electronically in the CEUR Workshop Proceedings series (see http://www.ceur-ws.org). (Find the WoMO 2010 and 2011 proceedings here http://www.booksonline.iospress.nl/Content/View.aspx?piid=16268 and http://www.booksonline.iospress.nl/Content/View.aspx?piid=20369) WORKSHOP CHAIRS: Thomas Schneider, University of Bremen, Germany Dirk Walther, Technical University of Madrid (UPM), Spain PROGRAM COMMITTEE: Kenneth Baclawski, Northeastern University, Boston, MA, USA Stefano Borgo, Italian National Research Council, Trento, Italy Oscar Corcho, Universidad Politecnica de Madrid, Spain Bernardo Cuenca Grau, University of Oxford, UK Mike Dean, Raytheon BBN Technologies, Ann Arbor, MI, USA Silvio Ghilardi, Universita degli Studi di Milano, Italy Michael Gruninger, University of Toronto, Canada Janna Hastings, EMBL-EBI, Cambridge, UK Robert Hoehndorf, University of Cambridge, UK Boris Konev, University of Liverpool, UK Roman Kontchakov, Birkbeck College, London, UK Thomas Meyer, Meraka Institute, CSIR, Pretoria, South Africa Till Mossakowski, University of Bremen, Germany Immanuel Normann, Birkbeck College, London, UK Leo Obrst, MITRE, McLean, VA, USA Adrian Paschke, Free University of Berlin, Germany David Perez del Rey, Universidad Politecnica de Madrid, Spain Uli Sattler, University of Manchester, UK Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy From fabrizio.riguzzi at unife.it Mon May 7 19:20:40 2012 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Mon, 7 May 2012 19:20:40 +0200 Subject: DEADLINE EXTENSION - ILP 2012 - The 22nd International Conference on Inductive Logic Programming Message-ID: DEADLINE EXTENSION - ILP 2012 - The 22nd International Conference on Inductive Logic Programming Dubrovnik, Croatia, September 17-19, 2012 --------DEADLINE EXTENSION--------- May 14: Abstracts of long papers due May 18: Long papers due http://ida.felk.cvut.cz/ilp2012 KEY DATES: June 4: Notification for long papers July 3: Short/published papers due July 24: Notification for short/published papers September 17-19: Conference INVITED SPEAKERS: Luc de Raedt: Declarative Modelling for Machine Learning Ben Taskar: Geometry of Diversity and Determinantal Point Processes: Representation, Inference and Learning CALL FOR PAPERS The ILP conference series, started in 1991, is the premier international forum on learning from structured data. Originally focusing on the induction of logic programs, it broadened its scope and attracted a lot of attention and interest in recent years. Authors are invited to submit papers presenting original results on all aspects of learning in logic, multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, and other forms of learning from structured data. Typical, but not exclusive, topics of interest for submissions include: - theoretical aspects: learning scenarios, data/model representation frameworks, their computational and/or statistical properties, etc. - algorithmic and implementation aspects: sclability, efficiency, parallelism, management of algorithms and/or discovered patterns, discovery workflows, etc. - applications of learning from relational data in areas of science (bioinformatics, cheminformatics, medical informatics, etc.), natural language processing (computational linguistics, text and web mining etc.), engineering, the arts, etc. We solicit three kinds of papers: 1) Long papers describing original mature work containing appropriate experimental evaluation and/or representing a self-contained theoretical contribution. Long papers will be reviewed by 3 members of the program committee. Authors will be notified prior to the conference on acceptance/rejection for the Springer post-conference proceedings. Authors of accepted papers will be assigned a standard time slot for presentation. 2) Short papers describing original work in progress, brief accounts of original ideas without conclusive experimental evaluation, and other relevant work of potentially high scientific interest but not yet qualifying for the long paper category. The PC chairs will accept/reject short papers on the grounds of relevance. Authors of accepted short papers will be assigned a reduced time slot for presentation. Each short paper will be reviewed by 3 members of the program committee on the basis of both the manuscript and its presentation, and the authors of selected papers will be invited to submit a long version for the Springer post-conference proceedings; the paper will be finally accepted if satisfactorily addressing the reviewer's requirements. 3) Papers relevant to the conference topics and recently published or accepted for publication by a first-class conference such as ECML/PKDD, ICML, KDD, ICDM etc. or journal such as MLJ, DMKD, JMLR etc. The PC chairs will accept/reject such papers on the grounds of relevance and quality of the original publication venue. Authors of accepted papers will be assigned a reduced time slot for presentation. These papers will not appear in the Springer post-conference proceedings. Submissions in category 1 or 2 must not have been published or be under review for a journal or for another conference with published proceedings. They should be submitted in the Springer LNCS format. Long (short) papers must not exceed 12 (6) pages. Papers in category 3 should be submitted in their original format and the authors should indicate the original publication venue. A special issue of the Machine Learning journal is planned following the conference, with papers selected by the PC from all the three categories above, significantly revised and/or extended to meet the MLJ criteria, and re-reviewed by the PC. Program Chairs Fabrizio Riguzzi, University of Ferrara, Italy Filip Železný, Czech Technical University in Prague, Czech Republic Local Organizers Nada Lavrač, Jozef Stefan Institute, Slovenia Tina Anžič, Jozef Stefan Institute, Slovenia Program Committee Érick Alphonse, France Dalal Alrajeh, UK Annalisa Appice, Italy Ivan Bratko, Slovenia Rui Camacho, Portugal James Cussens, UK Saso Dzeroski, Slovenia Floriana Esposito, Italy Nicola Fanizzi, Italy Daan Fierens, Belgium Nuno Fonseca, Portugal Tamás Horváth, Germany Katsumi Inoue, Japan Nobuhiro Inuzuka, Japan Andreas Karwath, Germany Kristian Kersting, Germany Ross King, Wales Ekaterina Komendantskaya, UK Stefan Kramer, Germany Nada Lavrac, Slovenia Francesca Alessandra Lisi, Italy Donato Malerba, Italy Stephen Muggleton, UK Ramon Otero, Spain Aline Paes, Brasil David Page, USA Bernhard Pfahringer, NZ Ganesh Ramakrishnan, India Jan Ramon, Belgium Oliver Ray, UK Chiaki Sakama, Japan José Santos, UK Vitor Santos Costa, Portugal Michèle Sebag, France Jude W. Shavlik, USA Takayoshi Shoudai, Japan Aswhin Srinivasan, India Prasad Tadepalli, USA Alireza Tamaddoni-Nezhad, UK Tomoyuki Uchida, Japan Christel Vrain, France Stefan Wrobel, Germany Akihiro Yamamoto, Japan Gerson Zaverucha, Brazil From serge.autexier at dfki.de Tue May 8 09:17:31 2012 From: serge.autexier at dfki.de (Serge Autexier) Date: Tue, 08 May 2012 09:17:31 +0200 Subject: CICM 2012 Doctoral Programme: 2nd Call for Applications Message-ID: <4FA8C88B.7020108@dfki.de> [Apologies for possible multiple postings.] [Please forward to interested students] SECOND CALL FOR APPLICATIONS CICM 2012 Doctoral Programme July 11, 2012 Jacobs University, Bremen http://cicm2012.cicm-conference.org/cicm.php?event=doctoral The CICM conferences AISC, Calculemus, DML, and MKM bring together researchers from the areas of Artificial Intelligence, computer algebra, automated deduction, and mathematical publishing who are interested in intelligent mathematical computation. It provides students an excellent opportunity to get an overview of ongoing research, challenges and meet established researchers. The Doctoral Programme provides a dedicated forum for PhD students to present and discuss their ideas, ongoing or planned research, and achieved results in an open atmosphere. It will consist of presentations by the PhD students to get constructive feedback, advice, and suggestions from the research advisory board, researchers, and other PhD students. Each PhD student will be assigned to an experienced researcher from the research advisory board who will act as a mentor and who will provide detailed feedback and advice on their intended and ongoing research. APPLICATIONS Students at any stage of their PhD can apply and should submit the following documents: * A two-page abstract of your thesis describing your research questions, research plans, completed and remaining research, evaluation plans and publication plans; * A two-page CV that includes background information (name, university, supervisor), education (degree sought, year/status of degree, previous degrees), employments, relevant research experience (publications, presentations, attended conferences or workshops, etc.) The documents must be in PDF format and be submitted by email to the organizer Serge Autexier at serge.autexier at dfki.de (subject: CICM doctoral programme application) until May 16, 2012. Acceptance of applications will be based on relevance with respect to the topics of the CICM conference. A limited number of student grants will be available for the whole conference. To apply, please indicate this when submitting your proposal including a short explanation why you need a grant. The decision for the grants will be based on neccessity and merit. IMPORTANT DATES Submission of applications: May 16, 2012 Notification of acceptance: May 25, 2012 Mentor's feedback and advices: June 15, 2012 Doctoral programme: July 11, 2012 For any further questions please contact Serge Autexier (serge.autexier at dfki.de) -- Serge Autexier, serge.autexier at dfki.de, http://www.dfki.de/~serge/ DFKI Bremen, Cyber-Physical Systems MZH, Room 3120 Phone: +49 421 218 59834 Bibliothekstr.1, D-28359 Bremen Fax: +49 421 218 98 59834 ---------------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH principal office, *not* the address for mail etc.!!!: Trippstadter Str. 122, D-67663 Kaiserslautern management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff supervisory board: Prof. Hans A. Aukes (chair) Amtsgericht Kaiserslautern, HRB 2313 ---------------------------------------------------------------------- From announce at cs.ucy.ac.cy Wed May 9 10:59:17 2012 From: announce at cs.ucy.ac.cy (Announcements) Date: Wed, 9 May 2012 11:59:17 +0300 Subject: IEEE CSE/EUC 2012: Call for Papers (extended deadline!) Message-ID: *** Call for Papers *** The 15th IEEE International Conference on Computational Science and Engineering (IEEE CSE 2012) http://www.cse2012.cs.ucy.ac.cy/ The 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (IEEE/IFIP EUC 2012) http://www.euc2012.cs.ucy.ac.cy/ 3-5 October 2012, Paphos, Cyprus *** 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 johan.bos at rug.nl Wed May 9 11:48:06 2012 From: johan.bos at rug.nl (Johan Bos) Date: Wed, 9 May 2012 11:48:06 +0200 (CEST) Subject: ESSLLI 2013: call for course and 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/ ------------------------------------------------------------------ IMPORTANT DATES =============== 15 June 2012: Proposal submission deadline 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 marco.gavanelli at unife.it Wed May 9 12:33:11 2012 From: marco.gavanelli at unife.it (Marco Gavanelli) Date: Wed, 09 May 2012 12:33:11 +0200 Subject: ICLP Doctoral Consortium deadline extension Message-ID: <4FAA47E7.7080102@unife.it> **apologies for cross-posting** ------------------------------------------------------------------------------------------ ICLP-DC 2012 Eighth ICLP Doctoral Student Consortium to be held in Budapest, Hungary, 4th of September 2012 http://sites.unife.it/iclp-dc-2012/ ------------------------------------------------------------------------------------------ ** Introduction ** The ICLP Doctoral Consortium (DC) is the eighth doctoral consortium to be offered as part of the 28th International Conference on Logic Programming. The DC follows the very positive experience of the previous events held in Sitges (Spain) on October 3rd, 2005, in Seattle (WA, USA) on August 21st, 2006, in Porto (Portugal) on September 8th, 2007, in Udine (Italy) on December 10th, 2008, in Pasadena (USA) on July 15th, 2009, in Edinburgh (Scotland) on July 20th, 2010, and in Lexington (KY, USA) on July 6th, 2011. The DC will take place during the ICLP 2012 in Budapest, Hungary. The Doctoral Consortium is designed for doctoral students working in areas related to logic and constraint programming, with a particular emphasis to students interested in pursuing a career in academia. The Consortium is also open to exceptional Master's students developing MS Theses in Logic Programming. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedback from peers as well as world-renown experts in the field. ** General Information ** The aims of the Doctoral Consortium are: To provide doctoral students working in the field of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback. To provide students with relevant information about important issues for doctoral candidates and future academics. To develop a supportive community of scholars and a spirit of collaborative research. To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply. Applicants are expected to be conducting research in the field of Logic Programming; topics of interest include (but are not limited to): Theoretical Foundations of Logic and Constraint Logic Programming Sequential and Parallel Implementation Technology Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology and Verification Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) Innovative Applications of Logic Programming Submissions by students who have presented their work at a previous ICLP Doctoral Consortia are allowed, but should occur only if there are substantial changes or improvements to the student's work. The Consortium allows participants to interact with established researchers and with other students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. Several renowned faculty members and researchers in the field of Logic Programming will join in evaluating the submission packets and will participate in the Doctoral Consortium, providing feedback to the presenters. **Important Dates** Submission Deadline: May 11th, 2012 Acceptance Notification: May 25th, 2012 Camera ready version: June 10th, 2012 Doctoral Consortium: September 4th, 2012 ICLP 2012 Conference: September 4th-8th, 2012 **Submission Process** *Application Process: To apply for participation to the ICLP 2012 Doctoral Consortium, prepare a submission package consisting of a cover letter, a research summary, and a letter of recommendation (e.g., from your supervisor). The material should be submitted electronically, in PDF format. *Review Criteria: The ICLP Doctoral Consortium review committee will select participants based on their anticipated contribution to the Consortium objectives. Participants typically have settled on their thesis directions and had their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of the submission packet, relevance of their research area w.r.t. the focus of the ICLP Conference, stage of research, advisor's letter, and evidence of promise towards a successful research and academic career, such as published papers or technical reports. *Award: The ICLP Doctoral Consortium Discussants will review the submissions to select the ones to be presented. The organizing committee is actively seeking support to offer scholarship packages to accepted participants. We will update the web site as soon as we have more information regarding this. *Submission Package Send the submission package by e-mail to: iclp12dc at dbai.tuwien.ac.at Include the three documents as separate pdf files in attachment. All submissions must be in English. Submissions will not be considered if they arrive after the deadline. Your submission should not contain any proprietary or confidential material. Cover Page: Please include the following information in the cover page: Statement of interest in participating in the Doctoral Consortium Full name and School and Department in which you are earning your doctorate degree Contact information - address, telephone number, and email address Title of your research and keywords pertinent to your research The URL of your web page (if any) Name of your supervising professor Current stage in your program of study, e.g. (Master/PhD student, start date) Research Summary: Prepare your research summary as a PDF document, using the LIPIcs template. (http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/?L=1) Make sure to include your complete name, address and affiliation. The body of your research summary (no more than 6 pages, but 3 is fine as well!) should provide a clear overview of the research, its potential impact, and its current status. You are encouraged to include the following sections: Introduction and problem description Background and overview of the existing literature Goal of the research Current status of the research Preliminary results accomplished (if any) Open issues and expected achievements Bibliographical references Letter of Recommendation: Include a letter of recommendation written by your Graduate Advisor or Thesis Advisor. Please, invite your advisor to include an assessment of the current status of your thesis research and an indication of the expected deadline for thesis submission. In addition, your advisor should indicate what she/he hopes you would gain from participation in the Doctoral Consortium. *Chairs Marco Gavanelli Engineering Department Ferrara University, Italy Stefan Woltran Institute of Information Systems TU Wien, Austria *Program Committee Fabio Fioravanti, University "G. d'Annunzio" of Chieti - Pescara (Italy) Paul Fodor, Stony Brook University (USA) Martin Gebser, Universität Potsdam (Germany) Francesca A. Lisi, Universita degli Studi di Bari "Aldo Moro" (Italy) Marco Maratea, University of Genova (Italy) Gerardo I. Simari, University of Oxford (UK) Jon Sneyers, K.U.Leuven (Belgium) -- Marco Gavanelli, Ph.D. in Computer Science Dept of Engineering University of Ferrara Tel/Fax +39-0532-97-4833 http://www.ing.unife.it/docenti/MarcoGavanelli/ From esslli2012 at gmail.com Wed May 9 17:30:00 2012 From: esslli2012 at gmail.com (A. Herzig) Date: Wed, 9 May 2012 17:30:00 +0200 Subject: ESSLLI 2012 call for participation Message-ID: ******************************************************************************** CALL FOR PARTICIPATION AT ESSLLI 2012 Meeting: 24th European Summer School in Logic, Language and Information (ESSLLI) Date: 06-Aug-2012 - 17-Aug-2012 Location: Opole, Poland Meeting URL: http://www.esslli2012.pl Early registration deadline: 15-06-2012 ******************************************************************************** **Meeting Description** For the past 24 years, the European Summer School in Logic, Language and Information (ESSLLI) has been organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. During two weeks, 49 courses and 6 workshops are offered to the attendants, each of 1.5 hours per day during a five days week, with up to seven parallel sessions. ESSLLI also includes a student session (papers and posters by students only, 1.5 hour per day during the two weeks). There will be three evening lectures by Mel Fitting, Jonathan Ginzburg and Adam Przepiorkowski. In 2012, ESSLLI will held in Opole, Poland and will be organized by the University of Opole, Poland. Chair of the program committee is Andreas Herzig, and chairs of the organizing committee are Urszula Wybraniec-Skardowska and Janusz Czelakowski. **Summer School Programme** http://www.esslli2012.pl/index.php?id=67 **Online Registration** http://www.esslli2012.pl/index.php?id=68 **Programme Committee** Chair: Andreas Herzig (Université de Toulouse and CNRS) Local co-chair: Anna Pietryga (University of Opole) Area specialists: Language and Computation: - Miriam Butt (Sprachwissenschaft, University of Konstanz) - Gosse Bouma (Groningen University) Language and Logic: - Regine Eckardt (Language and Literature, University of Göttingen) - Rick Nouwen (UiL-OTS, Utrecht University) Logic and Computation: - Natasha Alechina (CS, University of Nottingham) - Andreas Weiermann (Mathematics and Computation, Ghent University) **Organizing Committee** Chair: Urszula Wybraniec-Skardowska and Janusz Czelakowski (University of Opole) From sescobar at dsic.upv.es Thu May 10 16:23:42 2012 From: sescobar at dsic.upv.es (Santiago Escobar) Date: Thu, 10 May 2012 16:23:42 +0200 Subject: 6th International School on Rewriting (ISR), Valencia, July 16-20, 2012 References: <1C141D88-3ACB-48DC-8493-38CADA017BCC@dsic.upv.es> Message-ID: <1B6202FC-59D1-482D-A227-3B741B270BB9@dsic.upv.es> Call for Participation ISR 2012 6th International School on Rewriting http://www.dsic.upv.es/~isr2012 July 16th - 20th Valencia, Spain Early registration before June 15, 2012! Rewriting is a branch of computer science whose origins go back to the origins of computer science itself (with Thue, Church, Post, and many other prominent researchers). It has strong links with mathematics, algebra, and logic, and it is the basis of well-known programming paradigms like functional and equational programming, which are taught at the universitary level in many countries. In these programming paradigms and corresponding languages, the notions of reduction, pattern matching, confluence, termination, strategy, etc., are essential. Rewriting provides a solid framework for understanding, using, and teaching all these notions. Rewriting techniques are also used in many other areas of software engineering (scripting, prototyping, automated transformation of legacy systems, refactoring, web services, etc.) and are implemented in popular systems like Mathematica, Autocad, and others. Rewriting techniques play a relevant role in computing research, education, and industry. Two tracks are offered, including the lectures and the courses: - Track A: for newcomers in the field, or just for people who want to obtain a new, updated exposure. * Jose Meseguer. Introduction to Term Rewriting * Albert Rubio. Termination of Rewriting: Foundations and Automation * Santiago Escobar. A Rewriting-Based Specification and Programming Language: Maude * Beatriz Alarcon & Raul Gutierrez. Exercises on Term Rewriting - Track B: for those who want to get deeper in the most recent developments and applications of rewriting. * Maria Alpuente: Narrowing Techniques and Applications * Temur Kutsia: Matching, unification, and generalizations * Pierre Lescanne: Lambda Calculus: extensions and applications * Narciso Marti-Oliet: Rewriting Logic and Applications * Georg Moser: Automated Complexity Analysis of Term Rewriting Systems * Albert Oliveras: SAT and SMT techniques in Proof and Verification * Sophie Tison: Tree Automata, Turing Machines and Term Rewriting * Xavier Urbain: Certification of Rewriting Properties * Andrei Voronkov: Automated Reasoning and Theorem Proving For more information, please contact Salvador Lucas From womo2012 at easychair.org Thu May 10 23:43:45 2012 From: womo2012 at easychair.org (WoMO 2012) Date: Thu, 10 May 2012 23:43:45 +0200 Subject: Final CfP+deadline extension: WoMO 2012 - 6th Int'l Workshop on Modular Ontologies Message-ID: ======================================================== 6th Int'l Workshop on Modular Ontologies (WoMO) Graz, Austria, July 24, 2012 held in conjunction with FOIS 2012 --- Final Call for Papers --- ======================================================== +++ EXTENDED SUBMISSION DEADLINE: May 18, 2012 +++ ======================================================== +++ Following requests, we have extended the submission deadline to MAY 18, 2012. +++ INVITED SPEAKERS: * Thomas Eiter, Vienna University of Technology, Austria Title TBA * Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy Multi context logics: a formal support for structuring knowledge and beliefs (Tentative title) http://www.informatik.uni-bremen.de/~ts/womo2012 MODULARITY, studied for years in software engineering, allows mechanisms for easy and flexible reuse, generalization, structuring, maintenance, design patterns, and comprehension. In formal and applied ontology, modularity is central to reducing the complexity of designing and understanding ontologies, and to facilitating ontology verification, reasoning, development, maintenance and integration. Recent research on ontology modularity shows substantial progress in foundations of modularity, techniques of modularization and modular development, distributed reasoning and empirical evaluation. These results provide a solid foundation and exciting prospects for further research and development. The workshop continues a series of successful events that have been an excellent venue for practitioners and researchers to discuss latest and current work; the most recent WoMOs were held at FOIS 2010 and ESSLLI 2011. TOPICS include, but are not limited to: - What is modularity?: kinds of modules and their properties; modules vs. contexts; design patterns; granularity of representation; - Logical/foundational studies: conservativity; modular ontology languages; reconciling inconsistencies across modules; formal structuring of modules; heterogeneity; - Algorithmic approaches: distributed and incremental reasoning; modularization and module extraction; sharing, linking, reuse; privacy; evaluation of modularization approaches; complexity of reasoning; implemented systems; - Applications: semantic web; life sciences; bio-ontologies; natural language processing; space and time; ambient intelligence; social intelligence; collaborative ontology development and ontology versioning. IMPORTANT DATES Paper Submission: May 18, 2012 Notification: June 19, 2012 Camera ready: July 6, 2012 Workshop: July 24, 2012 SUBMISSION GUIDELINES: We welcome submissions on modularity in a broad sense. The workshop is open to papers of theoretical or practical nature. Submissions should be of up to 11 pages in length, formatted according to Springer LNCS style (see http://www.springer.com/comp/lncs/Authors.html), prepared in PDF format and submitted no later than May 18, 2012, through the EasyChair Submission System (see http://www.easychair.org/conferences/?conf=womo2012). Submitted papers will be peer-reviewed by members of the program committee. Accepted papers will be made available in the proceedings to be published electronically in the CEUR Workshop Proceedings series (see http://www.ceur-ws.org). (Find the WoMO 2010 and 2011 proceedings here http://www.booksonline.iospress.nl/Content/View.aspx?piid=16268 and http://www.booksonline.iospress.nl/Content/View.aspx?piid=20369) WORKSHOP CHAIRS: Thomas Schneider, University of Bremen, Germany Dirk Walther, Technical University of Madrid (UPM), Spain PROGRAM COMMITTEE: Kenneth Baclawski, Northeastern University, Boston, MA, USA Stefano Borgo, Italian National Research Council, Trento, Italy Oscar Corcho, Universidad Politecnica de Madrid, Spain Bernardo Cuenca Grau, University of Oxford, UK Mike Dean, Raytheon BBN Technologies, Ann Arbor, MI, USA Silvio Ghilardi, Universita degli Studi di Milano, Italy Michael Gruninger, University of Toronto, Canada Janna Hastings, EMBL-EBI, Cambridge, UK Robert Hoehndorf, University of Cambridge, UK Boris Konev, University of Liverpool, UK Roman Kontchakov, Birkbeck College, London, UK Thomas Meyer, Meraka Institute, CSIR, Pretoria, South Africa Till Mossakowski, University of Bremen, Germany Immanuel Normann, Birkbeck College, London, UK Leo Obrst, MITRE, McLean, VA, USA Adrian Paschke, Free University of Berlin, Germany David Perez del Rey, Universidad Politecnica de Madrid, Spain Uli Sattler, University of Manchester, UK Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy From fink at kr.tuwien.ac.at Fri May 11 13:27:51 2012 From: fink at kr.tuwien.ac.at (Michael Fink) Date: Fri, 11 May 2012 13:27:51 +0200 Subject: 2nd CfP ASPOCP 2012: 5th Workshop on Answer Set Programming and Other Computing Paradigms Message-ID: <4FACF7B7.80005@kr.tuwien.ac.at> =============================================================================== SECOND 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 calimeri at mat.unical.it Fri May 11 15:44:16 2012 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Fri, 11 May 2012 15:44:16 +0200 Subject: RR2012: DEADLINE EXTENSION to May 25/30, 2012 Message-ID: [Apologies for cross-postings] CALL FOR PAPERS RR 2012 The 6th International Conference on Web Reasoning and Rule Systems Vienna, Austria, 10-12 September 2012 http://www.rr-conference.org/RR2012/ == DEADLINE EXTENSION == Abstract submission: May 25 (was may 14), 2012, before 23:59 UTC Full papers submission: May 30 (was may 23), 2012, before 23:59 UTC Notification of acceptance: June 22, 2012 ***Submission deadlines have been extended due to popular demand*** == 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. == Highlights in 2012 == In addition to regular papers, RR 2012 solicits the submission of TECHNICAL COMMUNICATIONS (TCs) that report about some interesting recent work, preliminary result, or inspiring viewpoint. Selected TCs will be invited for a full presentation like regular papers. 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. == Topics == RR welcomes original research from all areas of Web Reasoning. Topics of particular interest are: - Semantic Web, Rule and Ontology Languages, and related logics - Reasoning, Querying, Searching and Optimization - Incompleteness, Inconsistency and Uncertainty - Non-monotonic, Commonsense, and Closed-World Reasoning for the Web - Dynamic information, Stream Reasoning and Complex Event Processing - Decision Making, Planning, and Intelligent Agents - Reasoning, Machine Learning, Knowledge Extraction and IR Technologies - Large-scale data management and reasoning on the Web of Data - Data Integration, Dataspaces and Ontology-Based Data Access - Non-Standard Reasoning - Algorithms for distributed, parallelized, and scalable reasoning - System Descriptions and Experimentation - Applications and Experience Papers == Submissions == The conference proceedings will be published by Springer within the Lecture Notes in Computer Science (LNCS) series. Submissions must be prepared in Springer's LaTeX style llncs (http://bit.ly/oPRW8y). There are two submission formats: - Full papers (up to 15 pages) Original research works in the above areas - Technical Communications (up to 4 pages) Results and ideas with interest to the RR audience, including reports about recent own publications, position papers, and presentations of preliminary results All accepted works will be included in the proceedings, with Technical Communications clearly marked as such. All full papers and selected Technical Communications will be invited to give a talk at the conference. All accepted works will have the opportunity to present a poster. Submissions can be made in EasyChair: http://www.easychair.org/conferences/?conf=rr2012 == Important Dates == Abstract submission: May 25, 2012, before 23:59 UTC Full papers submission: May 30, 2012, before 23:59 UTC Notification of acceptance: June 22, 2012 == Invited Speakers == - Gerhard Brewka, University of Leipzig - Tommaso Di Noia, Politecnico di Bari * additional invited speakers will be announced soon == Program Committee == - Darko Anicic, Karlsruhe Institute of Technology - Jean-François Baget, LIRMM Montpellier - Chitta Baral, Arizona State University - Salem Benferhat, University of Artois - Fernando Bobillo, University of Zaragoza - Gerhard Brewka, University of Leipzig - François Bry, Ludwig-Maximilians University Munich - Diego Calvanese, Free University of Bozen-Bolzano - Vinay Chaudhri, SRI International U.S.A. - Kendall Clark, Clark & Parsia LLC Washington DC - Tommaso Di Noia, Technical University of Bari - Francesco M Donini, University of Tuscia - Thomas Eiter, TU Vienna - Michael Fink, TU Vienna - Birte Glimm, Ulm University - Claudio Gutierrez, Universidad of Chile - Andreas Harth, Karlsruhe Institute of Technology - Aidan Hogan, National University of Ireland Galway - Giovambattista Ianni, University of Calabria - Yevgeny Kazakov, University of Oxford - Michael Kifer, Stony Brook University - Clemens Kupke, University of Oxford - Georg Lausen, University of Freiburg - Domenico Lembo, University of Rome "La Sapienza" - Francesca Alessandra Lisi, University of Bari - Thomas Lukasiewicz, University of Oxford - Wolfgang May, University of Göttingen - Alessandra Mileo, National University of Ireland Galway - Ralf Moeller, Hamburg University of Technology - Marie-Laure Mugnier, University of Montpellier II - Magdalena Ortiz, TU Vienna - Jeff Z. Pan, University of Aberdeen - Rafael Peñaloza, TU Dresden - Axel Polleres, Siemens AG Österreich - Andrea Pugliese, University of Calabria - Guilin Qi, Nanjing University China - Riccardo Rosati, University of Rome "La Sapienza" - Sebastian Rudolph, Karlsruhe Institute of Technology - Steven Schockaert, Cardiff University - Mantas Simkus, TU Vienna - Sergio Tessaris, Free University of Bozen - Andrei Voronkov, University of Manchester == 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 From frank.loebe at informatik.uni-leipzig.de Fri May 11 17:46:45 2012 From: frank.loebe at informatik.uni-leipzig.de (frank.loebe at informatik.uni-leipzig.de) Date: Fri, 11 May 2012 17:46:45 +0200 Subject: OBML 2012: 1st Call for Papers (4th Workshop on Ontologies in Biomedicine and Life Sciences, Sep 27-28, Dresden, Germany) Message-ID: <201205111546.q4BFknqF002917@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, presumably 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 ----------------- TBA (see [1] for updates) 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 adrianrp at unimelb.edu.au Sat May 12 07:45:44 2012 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Sat, 12 May 2012 05:45:44 +0000 Subject: Research Fellows (Supply Chain Optimisation & Automated Planning and Scheduling - updated closing date) Message-ID: ============================= 2 RESEARCH FELLOW POSITIONS ============================= Applications close 8 July 2012 SUPPLY CHAIN OPTIMISATION & AUTOMATED PLANNING AND SCHEDULING Professor Peter Stuckey & Assoc Professor Adrian Pearce The University of Melbourne are seeking two outstanding Research Fellows to conduct leading edge research in supply chain optimisation and automated planning for mine scheduling. The positions will be located in the Department of Computing and Information Systems within the Melbourne School of Engineering. Salary $100,355-$115,715 AUD p.a. (Senior Research Fellow) or $81,925-$97,283 (Research Fellow) plus 9% superannuation; Employment type: Full-time Fixed Term The successful candidates will conduct leading-edge research and development in the area of optimisation for mine scheduling. The work is part of an ARC funded project, "Making the Pilbara Blend: Agile Mine Scheduling through Contingent Planning". As part of the team, working with Professor Peter Stuckey and Assoc Professor Adrian Pearce, you would be involved in discovering more agile contingent planning techniques for solving new classes of scheduling and planning problems. The overarching responsibility of this position will be the development of optimisation techniques for synthesising more robust plans for short term production scheduling of iron ore in distributed, multi-mine pit settings. The role of the Supply Chain Optimisation Fellow will involve computational approaches to optimising supply chain management, such as constraint solving techniques, combinatorial optimisation and/or network flow techniques, especially those for distributed multi-agent problems. The role of the Automated Planning and Scheduling Fellow will involve planning languages such as those based on the situation calculus, classical planning techniques and/or model-checking techniques, especially those for distributed multi-agent problems. This project tackles a challenging problem faced in mine scheduling. An increased need for consistent quality has occurred at the same time as the complexity of modern day mining operations has increased, across multiple mine sites with variable ore grades and increasing infrastructure constraints. There is a pressing need for more agile mining techniques that maximise net present value (NPV) while accommodating the complexities and uncertainties inherent in modern day mining operations. The goal of this project is to bring together automated planning techniques with constraint programming to address this paradigm shift. The research tackles plan synthesis for the multi-commodity, multi-mine site supply chain problem and promises to lead to improved techniques for collaborative planning and solving hard constraint problems. The theoretical significance of this project derives from the fundamental challenge posed by the problem underlying dynamic scheduling. On the one hand, optimisation must take into account nondeterminism - the uncertain outcomes of actions inherent in the problem - and on the other must lead to feasible plans for each mine site - while continuing to solve the necessary constraints for the overall supply chain schedule during the course of continuing (non-terminating) execution. The project will develop agile scheduling techniques of great economic importance. Carefully planned scheduling has the potential to reduce the need for new infrastructure, minimising environmental impacts and maximising regeneration after mining. More details can be found at http://www.agentlab.unimelb.edu.au/mining.html RESEARCH GROUP The Chief investigators of this project are Associate Professor Adrian Pearce & Professor Peter Stuckey, in the Department of Computing and Information Systems within the Melbourne School of Engineering. Optimisation group of NICTA: http://www.nicta.com.au/research/optimisation G12 Constraint Programming Platform: http://www.nicta.com.au/research/projects/constraint_programming_platform Intelligent Agent Laboratory (Agentlab): http://www.agentlab.unimelb.edu.au/ APPLICATION PROCEDURE http://www.jobs.unimelb.edu.au Research Fellow in Supply Chain Optimisation: position number 0028933 (closing 8 July 2012) Research Fellow in Automated Planning and Scheduling: position number 0028932 (closing 8 July 2012) Contact: For more information, please contact Adrian Pearce, adrianrp at unimelb.edu.au Adrian --- Adrian Pearce Department of Computing and Information Systems, The University of Melbourne, Melbourne VIC 3010 Phone: +61 3 8344 1399 adrianrp at unimelb.edu.au http://www.csse.unimelb.edu.au/~adrian/ From cfp at grid.chu.edu.tw Mon May 14 05:03:02 2012 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Mon, 14 May 2012 11:03:02 +0800 Subject: Joint Call For Papers - Conferences / Journal Special Issues (May 2012) Message-ID: <201205140303.q4E332cl001900@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sebastian.sardina at rmit.edu.au Mon May 14 23:44:34 2012 From: sebastian.sardina at rmit.edu.au (Sebastian Sardina) Date: Tue, 15 May 2012 07:44:34 +1000 Subject: =?windows-1252?Q?AI=27=9212_Call_for_Workshops_and_Tutorials?= Message-ID: [Apologies for cross-posting and re-posting] -------------------------------------- AI’12 Call for Workshops and Tutorials -------------------------------------- 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 gregory.bonnet at unicaen.fr Tue May 15 09:53:30 2012 From: gregory.bonnet at unicaen.fr (=?windows-1252?Q?Gr=E9gory_Bonnet?=) Date: Tue, 15 May 2012 09:53:30 +0200 Subject: 3rd CFP : 1st Workshop on Rights and Duties of Autonomous Agents (RDA2) at ECAI 2012 Message-ID: <4FB20B7A.9000307@unicaen.fr> With apologies for multiple posting. Please forward to interested parties. -------------------------------------------------------------------- Call for Papers -------------------------------------------------------------------- --RDA2-- "Rights and Duties of Autonomous Agents'' Workshop at ECAI 2012 August 27 or 28, 2012 Montpellier, France https://rda2-2012.greyc.fr/ -------------------------------------------------------------------- The autonomous decision capability embedded in software or robot agents is one of the major issues of Artificial Intelligence. It is a core property for AI applications such as e-commerce, serious games, ambient computing, social or collective robotics, companion robots, unmanned vehicles. Autonomous agents decide and act in a given context or environment and under domain constraints, and possibly interact with other agents or human beings e.g. to share tasks or to execute tasks on behalf of others. It is thus important to define regulation and control mechanisms to ensure sound and consistent behaviours both at the agent’s individual level and at the multi-agent level. Organisation models, conversation policies, normative systems, constraints, logical frameworks address the problem of how agents’ autonomous behaviours should be controlled, paving the way for formal or pragmatic definitions of agents’ Rights and Duties. The issue is all the more important as autonomous agents may encounter new situations, evolve in open environments, interact with agents based on different design principles, act on behalf of human beings and share common resources. For instance: should an autonomous agent take over the control from a human operator? under which circumstances? The aim of this workshop is to promote discussions and exchanges on the different issues raised by autonomous agents’ Rights and Duties and models that can be proposed to represent and reason on Rights and Duties. TOPICS OF INTEREST We encourage contributions from the following research and application areas: • Autonomous agents and privacy protection • Rights and duties for learning agents • Authority sharing between autonomous agents and human users or operators • Rights and duties of autonomous agents towards other agents; towards human users or operators • Rights and duties of human users or operators towards autonomous agents (especially robots) • Consistency, conflicts among rights and duties in multi-agent and human/agent systems • Mutual intelligibility, explanations • Rights and duties vs failures • Rights and duties of autonomous agents and ethical issues • Control of autonomous agents within organisations, institutions, normative systems • Sociology and law in the modelling of rights and duties: authority, power, dependence, penalty, contracts • Trust and reputation for autonomous agents regulation • Emergence and evolution of rights and duties • Knowledge representation and models for rights and duties • Reasoning on rights and duties • Validation of rights and duties in autonomous agents IMPORTANT DATES June 1st 2012: workshop paper submission deadline June 28th 2012: notification to authors July 9th 2012: camera ready copy submission August 27 or 28, 2012: workshop date SUBMISSION DETAILS Papers must not exceed SIX (6) pages in pdf format, using the ECAI formatting style: http://people.cs.kuleuven.be/%7Eluc.deraedt/ecai2012-style.zip Submissions are via EasyChair at: https://www.easychair.org/conferences/?conf=rda22012 The workshop proceedings will be published as CEUR proceedings. In addition, the organizers will apply for a special issue of an international journal where extended versions of selected papers of the workshop shall be published. For further information on the workshop:https://rda2-2012.greyc.fr/ -- Grégory Bonnet Assistant Professor (MAD Team - GREYC) www.gregory.bonnet.free.fr From esslli2012 at gmail.com Tue May 15 10:01:59 2012 From: esslli2012 at gmail.com (A. Herzig) Date: Tue, 15 May 2012 10:01:59 +0200 Subject: E. W. Beth Dissertation Prize: 2012 new call for nominations Message-ID: E. W. Beth Dissertation Prize: 2012 new call for nominations Since 2002, FoLLI (the Association for Logic, Language, and Information, http://www.folli.org) awards the E.W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. We invite submissions for the best dissertation which resulted in a Ph.D. degree in the year 2011. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of three fields of Logic, Language, and Computation. Interdisciplinarity is an important feature of the theses competing for the E.W. Beth Dissertation Prize. Who qualifies. Nominations of candidates are admitted who were awarded a Ph.D. degree in the areas of Logic, Language, or Information between January 1st, 2011 and December 31st, 2011. There is no restriction on the nationality of the candidate or the university where the Ph.D. was granted. After a careful consideration, FoLLI has decided to accept only dissertations written in English. Dissertations produced in 2011 but not written in English or not translated will be allowed for submission, after translation, also with the call next year (for dissertations defended in 2012). The present call for nominations for the E.W. Beth Disertation Award 2012 will also accept nominations of full English translations of theses originally written in another language than English and defended in 2010 or 2011. Prize. The prize consists of: -a certificate -a donation of 2500 euros provided by the E.W. Beth Foundation -an invitation to submit the thesis (or a revised version of it) to the FoLLI Publications on Logic, Language and Information (Springer). For further information on this series see the FoLLI site. How to submit. Only electronic submissions are accepted. The following documents are required: 1. The thesis in pdf or ps format (doc/rtf not accepted); 2. A ten page abstract of the dissertation in ascii or pdf format; 3. A letter of nomination from the thesis supervisor. Self-nominations are not admitted: each nomination must be sponsored by the thesis supervisor. The letter of nomination should concisely describe the scope and significance of the dissertation and state when the degree was officially awarded; 4. Two additional letters of support, including at least one letter from a referee not affiliated with the academic institution that awarded the Ph.D. degree. All documents must be submitted electronically to buszko at amu.edu.pl. Hard copy submissions are not admitted. In case of any problems with the email submission or a lack of notification within three working days, nominators should write to buszko at amu.edu.pl. Important dates: Deadline for Submissions: May 1, 2012. Extended: June 30, 2012. Notification of Decision: July 31, 2012. Explanation: Due to some technical obstacles, the first call for nominations was announced on the site of FoLLI in the beginning of March 2012 but not widely distributed through mailing lists. Therefore we essentially prolong the deadline now. We ask all potential nominators to inform the chair earlier by a mail to buszko at amu.edu.pl, even before having completed the required documents. Committee : Chris Barker (New York) Wojciech Buszkowski (chair) (Poznan) Dale Miller (Palaiseau) Larry Moss (Bloomington) Ian Pratt-Hartmann (Manchester) Ruy de Queiroz (Recife) Giovanni Sambin (Padua) Rob van der Sandt (Nijmegen) Rineke Verbrugge (Groningen) Heinrich Wansing (Bochum) From thierry.petit at mines-nantes.fr Tue May 15 16:57:57 2012 From: thierry.petit at mines-nantes.fr (Thierry PETIT) Date: Tue, 15 May 2012 16:57:57 +0200 Subject: CPAIOR 2012: Registration online till May 21, 2012 Message-ID: ================================= CPAIOR 2012 ================================= CPAIOR 2012 - Ninth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming May 28 - June 1, 2012, Cité des Congrès, Nantes The detailed program is now online: http://www.emn.fr/z-info/cpaior-2012/ CPAIOR series: http://www.andrew.cmu.edu/user/vanhoeve/cpaior/ This year, CPAIOR will feature 26 presentations of papers (http://www.emn.fr/z-info/cpaior-2012/index.php?page=conference-program), and three invited talks from: - Michel Habib, Université de Paris Diderot, France - Helmut Simonis, 4C, Ireland - Laurence Wolsey, Université Catholique de Louvain, Belgium The conférence is preceded by a number of satellite events: - A one-day Master Class on Scheduling, The program of the Master Class is available one the website of CPAIOR: http://www.emn.fr/z-info/cpaior-2012/index.php?page=master-class - A one-day Wokshop session : http://www.emn.fr/z-info/cpaior-2012/index.php?page=workshops - Combinatorial Optimization in Logistics and Production Systems Chairs : E. Pinson and J. E. Mendoza - First International Workshop on Search Strategies and Non-standard Objectives (SSNOWorkshop'12) Chairs : C. Artigues, E. Hebrard, M.-J. Huguet, D. Mehta - Fourth International Workshop on Bin Packing and Placement Constraints (BPPC'12) Chairs : N. Beldiceanu and F. Fages A social event is organized on May 31 (cocktail on the Erdre river and dinner-concert at the Château de la Poterie, on the edge of the river) ================================= IMPORTANT DATES ================================= - Registration online till May 21, 2012 Registration will also be available onsite. It includes all coffee breaks, lunches (except on Tuesday May 29), and the social event on May 31, 2012. - Master Class: May 28, 2012 - Workshops: May 29, 2012 - Main Conference: May 30 to June 1, 2012 ================================= REGRISTRATION FEES ================================= Option C - Delegates late registration till May 21, 2012 €450 Option D - Students late registration till May 21, 2012 €300 Option E - Master Class only till May 21, 2012 €80 Option F - Workshops only till May 21, 2012 €80 Option G - Delegates on-site registration €570 Option H - Students on-site registration €450 All the details about the features of each option and registration form are available on the CPAIOR website: http://www.emn.fr/z-info/cpaior-2012/index.php?page=registration For more information, please write to the conference chairs: cpaior2012 at mines-nantes.fr -- Thierry Petit, Co-head TASC: http://www.emn.fr/z-info/ppc/ Ecole des Mines de Nantes, LINA CNRS UMR 6241 Tel: + 33 (0)2 51 85 82 08 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calimeri at mat.unical.it Sat May 12 14:51:04 2012 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Sat, 12 May 2012 14:51:04 +0200 Subject: ASPCOMP 2013: 4th OPEN Answer Set Programming Competition: Call for Benchmark Problems 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 C.Orasan at wlv.ac.uk Tue May 15 17:38:49 2012 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Tue, 15 May 2012 15:38:49 +0000 Subject: CFP: JapTAL2012 Message-ID: <1337096333.20628.9.camel@dinel-desktop> [Apologies for cross-posting, but feel free to forward] JapTAL2012, the 8th International Conference on Natural Language Processing, 22-24 October 2012 Kanazawa, Japan http://lang.cs.tut.ac.jp/JapTAL2012/ We are pleased to invite participation in JapTAL2012 organised by the Toyohashi University of Technology (TUT). OVERVIEW JapTAL is the eighth in the series of the TAL conferences, following IceTAL 2010 (Reykjavik, Iceland), GoTAL 2008 (Gothenburg, Sweden), FinTAL 2006 (Turku, Finland), EsTAL 2004 (Alicante, Spain), PorTAL 2002 (Faro, Portugal), VexTAL 1999 (Venice, Italy) and FracTAL 1997 (Besancon, France). The main purpose of the TAL conference series is to bring together scientists representing linguistics, computer science and related fields, sharing a common interest in the advancement of computational linguistics and natural language processing. The conference will consist of keynote talks, oral and poster presentations, invited sessions and workshops, on the applications and theory of natural language processing and related areas. It will provide excellent opportunities for the presentation of interesting new research results and discussion about them, leading to knowledge transfer and the generation of new ideas. The conference will take place in the city of Kanazawa, a leading tourist city where 7 million tourists visit every year. It was a great castle town ruled by an influential leader from the 17th century to the second half of the 19th century. Kanazawa has not suffered from any war devastation or big natural disaster up to now. Therefore, Kanazawa maintains rows of historical houses and inherits traditional handicrafts and traditional performing arts. CALL FOR PAPERS Papers are invited on recent, substantial, original and unpublished research on all aspects of computational linguistics and natural language and speech processing. We welcome submissions both from academia and the industry on any topic that is of interest to the NLP community, encouraging research emphasizing multidisciplinary aspects of NLP and the interplay between linguistics, computer science and application domains such as biomedicine, communication systems, public services, and educational technology. IMPORTANT DATES (Provisional deadlines - see website for confirmation) Papers due: 1 June 2012 Notification of acceptance: 15 July 2012 Camera ready due: 1 September 2012 Conference Chair Hitoshi Isahara, Toyohashi University of Technology, Japan Local Arrangements Chair Kyoko Kanzaki, National Institute of Japanese Language and Linguistics, Japan Full committee to be announced. -- Dr. Constantin Orasan Senior Lecturer in Computational Linguistics Deputy Head of the Research Group in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton From rr.conference.info at gmail.com Tue May 15 23:57:07 2012 From: rr.conference.info at gmail.com (rule reasoning conference) Date: Tue, 15 May 2012 23:57:07 +0200 Subject: RR2012: Doctoral Consortium Last Call / Deadline Extension [Web Reasoning and Rule Systems] Message-ID: Dear colleagues, [Apologies for cross-posting] Please distribute to your students and colleagues. Note that there are grants available for students participating to RR. ***All students from the US are eligible to apply.*** Best regards, Francesco Calimeri --- CALL FOR APPLICATION RR2012 Doctoral Consortium The 1st Web Reasoning and Rule Systems Doctoral Consortium Vienna, Austria, 10-12 September 2012 http://www.rr-conference.org/RR2012/ The RR Doctoral Consortium (DC) is the first doctoral consortium to be offered as part of The 6th International Conference on Web Reasoning and Rule Systems. The RR2012 Doctoral Consortium will provide doctoral students in Web Reasoning and related areas with the unique opportunity to present and discuss their research directions, being involved into state-of-the-art research discussion and being supported in establishing fruitful collaborations with prominent researchers and pioneers of the field. The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply. Applicants are expected to be conducting research in the field of Web Reasoning and Rules and related areas. The co-location of RR2012 with the Reasoning Web Summer School and with other relevant related events will provide multiple opportunities for participating students to enhance their education. The Consortium will allow participants to interact with established researchers through the following initiatives: The poster presentation session will give the students the opportunity to present their dissertation plan, including their already established results as well as their work plan for completion of the thesis. The poster will be accompanied by a written research summary, which will be distributed at the conference. The poster presentation session will be preceded by a spotlight presentations session where poster presenters give 5-minute teaser talks as advertisement for their posters. The mentoring lunch will consist of a lunch break where a senior researcher shares a lunch table with 3-4 students. The researcher will be charged with initiating and driving a discussion on general topics concerning research, career, and Web Reasoning as a discipline. He will also be available for answering questions by the students. ============================= Submission information ============================= To apply for participation to the RR2012 Doctoral Consortium students are asked to submit 1. A research summary of their PhD research addressing the following aspects: - The main problem you are trying to tackle and why it is relevant - What is the state-of-the-art in relation to existing solutions to the problem - Advances beyond the state-of-the-art in terms of your specific contribution and research plan - Current status of the research plan - Expected achievements and possible evaluation metrics to establish the level of success of your results - References 2. A statement of interest in participating to the Doctoral Consortium (less than 1 page) Both the research summary and the attachment must be in PDF format and be formatted according to the Springer Publications format for Lecture Notes in Computer Science (LNCS). Submission will be managed via Easychair (https://www.easychair.org/conferences/?conf=dcrr2012) All proposals submitted to the Doctoral Consortium will undergo a reviewing process. All the accepted contributions have to be presented. The best submissions will present their work as regular (15 min) presentation, and they will be given the option to have their research summaries included in the conference proceedings (Springer LNCS). All the other accepted submissions will be presented at the poster presentation session, preceded by the 5-min talk. Students whose work has been accepted at the poster presentation session should prepare a poster as well in A0 format. Students presenting a poster to the Reasoning Web Summer School can use the same poster for the DC if accepted as short presentations. ============================= Important Dates ============================= Application Deadline (new): Extended to May 25th, 2012 Notification: June 1st, 2012 Grant Application: June 11st, 2012 Grant Notificatin: June 30th, 2012 =============================================== Grants & Awards for students attending RR =============================================== Applications for Grants will be managed via Easychair (https://www.easychair.org/conferences/?conf=grantdcrr2012) Two types of sponsorship will be available. All students at U.S. universities are eligible to apply for the sponsorships. - Type 1 sponsorships will be in the amounts of at least $500 per student. Such sponsorships will be given to students who participate in the Reasoning Web Summer School sponsored by their own funding, such that they can extend their stay to include RR2012. - Type 2 sponsorships will be in the amounts of at least $1,500 per student. They will cover travel and other expenses for attending RR2012. Sponsored students may choose to seek additional funding from other sources such that they can also attend the Reasoning Web Summer School. In order to apply for a grant, students need to submit a single PDF form containing, the following information: Section A: Applicant details, included name and affiliation, title of the PhD Thesis, year of PhD, title and authors (in the correct order) of paper accepted to RR2012 (if any), if the applicant is attending the Reasoning Web Summer School as well, and the type of grant the applicant applies to Section B: Short motivation statement (max 250 words) for applying, including eventual evidence for the need for sponsorship Students will be selected by a committee consisting of the PIs and the chairs of RR2012. In their decisions, the committee members will adhere to the following criteria: 1. Students who have submitted a dissertation plan for review, and the review found the dissertation plan to be of high quality and on an important topic. 2. Students who are first authors of research papers at the conference, and who provide convincing evidence that they would not be able to attend all or part of the event without sponsorship. 3. Students who are co-authors of research papers at the conference, and who provide convincing evidence that they would not be able to attend all or part of the event without sponsorship. 4. Students who have submitted a dissertation plan for review, but the reviews found the dissertation plan of lesser quality. 5. All other students, taking into account the stage of their PhD studies (early-stage PhD are favored), quality of the dissertation plan as assessed by the reviews, quality of the (co-)authored RR2012 research paper as assessed by the reviews. All students being awarded a grant, will present a poster and a spotlight talk based on their dissertation plan. ================= Organization ================= Doctoral Consortium Chair: - Alessandra Mileo, Digital Enterprise Research Institute, NUIG List of Mentors: The list of mentors will be communicated once the review process has been completed. A tentative list of potential mentors may include lecturers of the Reasoning Web Summer School, invited speakers of RR and co-located events and other established researchers by invitation. Program Committee (tentative): - Jeff Z. Pan, University of Aberdeen (United Kingdom) - Axel Polleres, Siemens AG (Österreich) - Sebastian Rudolph, University of Karlsruhe (Germany) - Thomas Eiter, Technische Universitat Wien (Austria) - Diego Calvanese, Free University of Bozen-Bolzano (Italy) - Pascal Hitzler, Wright State University, Dayton OH (US) - Riccardo Rosati, Universita di Roma La Sapienza (Italy) - Krzysztof Janowicz, University of California, Santa Barbara (US) - Thomas Lukasiewicz, Oxford University Computing Laboratory (UK) - Alessandra Mileo, DERI Galway (Ireland) - Heiner Stuckenschmidt, University of Mannheim (Germany) - Terrance Swift, Stony Brook University, New York (U.S.A.) - Holger Wache, University of Applied Sciences Northwestern Switzerland (Switzerland) - Adrian Pachke, Free University of Berlin (Germany) - Marcelo Arenas, Department of Computer Science at the Pontificia Universidad Catolica de Chile From Andreas.Herzig at irit.fr Wed May 16 14:47:04 2012 From: Andreas.Herzig at irit.fr (Andreas Herzig) Date: Wed, 16 May 2012 14:47:04 +0200 Subject: JELIA: Logics in Artificial Intelligence, Toulouse, 26-28 Sep 2012 Message-ID: <4FB3A1C8.5050109@irit.fr> JELIA 2012 CALL FOR PAPERS ========================== 12th European Conference on Logics in Artificial Intelligence - Toulouse, France, September 26-28, 2012 http://www.irit.fr/jelia2012 Logics provide a formal basis and key descriptive notation for the study and development of applications and systems in Artificial Intelligence (AI). With the depth and maturity of formalisms, methodologies, and systems today, such logics are increasingly important. The European Conference on Logics in Artificial Intelligence (or Journees Europeennes sur la Logique en Intelligence Artificielle --- JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organized biennially, with English as the official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence series. In 2012 the conference is organized in Toulouse, France. The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major forum for the discussion of logic-based approaches to AI. Aims and Scope ============== The aim of JELIA 2012 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence including: -- Abductive and inductive reasoning -- Answer set programming -- Applications of logic-based AI systems -- Argumentation systems -- Automated reasoning including satisfiability checking and its extensions -- Computational complexity and expressiveness -- Deontic logic and normative systems -- Description logics and other logical approaches to semantic web and ontologies -- Knowledge representation, reasoning, and compilation -- Logic programming and constraint programming -- Logics for uncertain and probabilistic reasoning -- Logics in machine learning -- Logics in multi-agent systems, games, and social choice -- Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid logics -- Planning and diagnosis based on logic -- Preferences -- Reasoning about actions and causality -- Updates, belief revision and nonmonotonic reasoning Paper Submission ================ Proceedings will be published by Springer-Verlag in the Lecture Notes on Artificial Intelligence series. Papers should be written in English, and should be formatted according to the standard Springer LNCS style. All submissions should be electronically submitted via the link available on the JELIA 2012 web page. There are two categories for submissions: A. Regular papers Submissions should not exceed 13 pages including figures, references, etc., and should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions must not have been previously published or be simultaneously submitted for publication elsewhere. B. System descriptions Submissions should not exceed 4 pages, and should describe an implemented system and its application area(s). A demonstration is expected to accompany a system presentation. Papers describing systems that have already been presented in JELIA before will be accepted only if significant and clear enhancements to the system are reported and implemented. Important Dates =============== May 22: Abstract submission May 25: Paper submission June 29: Notification of acceptance July 15: Final version From serge.autexier at dfki.de Wed May 16 16:20:14 2012 From: serge.autexier at dfki.de (Serge Autexier) Date: Wed, 16 May 2012 16:20:14 +0200 Subject: CICM 2012 Doctoral Programme: Final Call for Applications Message-ID: <4FB3B79E.9060004@dfki.de> -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 [Apologies for possible multiple postings.] [Please forward to interested students] FINAL CALL FOR APPLICATIONS CICM 2012 Doctoral Programme July 11, 2012 Jacobs University, Bremen http://cicm2012.cicm-conference.org/cicm.php?event=doctoral The CICM conferences AISC, Calculemus, DML, and MKM bring together researchers from the areas of Artificial Intelligence, computer algebra, automated deduction, and mathematical publishing who are interested in intelligent mathematical computation. It provides students an excellent opportunity to get an overview of ongoing research, challenges and meet established researchers. The Doctoral Programme provides a dedicated forum for PhD students to present and discuss their ideas, ongoing or planned research, and achieved results in an open atmosphere. It will consist of presentations by the PhD students to get constructive feedback, advice, and suggestions from the research advisory board, researchers, and other PhD students. Each PhD student will be assigned to an experienced researcher from the research advisory board who will act as a mentor and who will provide detailed feedback and advice on their intended and ongoing research. APPLICATIONS Students at any stage of their PhD can apply and should submit the following documents: * A two-page abstract of your thesis describing your research questions, research plans, completed and remaining research, evaluation plans and publication plans; * A two-page CV that includes background information (name, university, supervisor), education (degree sought, year/status of degree, previous degrees), employments, relevant research experience (publications, presentations, attended conferences or workshops, etc.) The documents must be in PDF format and be submitted by email to the organizer Serge Autexier at serge.autexier at dfki.de (subject: CICM doctoral programme application) until May 16, 2012. Acceptance of applications will be based on relevance with respect to the topics of the CICM conference. A limited number of student grants will be available for the whole conference. To apply, please indicate this when submitting your proposal including a short explanation why you need a grant. The decision for the grants will be based on neccessity and merit. IMPORTANT DATES Submission of applications: May 16, 2012 Notification of acceptance: May 25, 2012 Mentor's feedback and advices: June 15, 2012 Doctoral programme: July 11, 2012 For any further questions please contact Serge Autexier (serge.autexier at dfki.de) - -- Serge Autexier, serge.autexier at dfki.de, http://www.dfki.de/~serge/ DFKI Bremen, Cyber-Physical Systems MZH, Room 3120 Phone: +49 421 218 59834 Bibliothekstr.1, D-28359 Bremen Fax: +49 421 218 98 59834 - ---------------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH principal office, *not* the address for mail etc.!!!: Trippstadter Str. 122, D-67663 Kaiserslautern management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff supervisory board: Prof. Hans A. Aukes (chair) Amtsgericht Kaiserslautern, HRB 2313 - ---------------------------------------------------------------------- -----BEGIN PGP SIGNATURE----- Version: GnuPG/MacGPG2 v2.0.12 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk+zt54ACgkQpRemUpqrsYNJhgCdEPYnuXN+aeQlM8Mlqfnrp+8n V20AmgLVBwJIRDGLnraC9zBZN4mjFDZE =srhN -----END PGP SIGNATURE----- From laurent.perrussel at univ-tlse1.fr Thu May 17 08:51:33 2012 From: laurent.perrussel at univ-tlse1.fr (Laurent Perrussel) Date: Thu, 17 May 2012 08:51:33 +0200 Subject: IBERAMIA 2012 - EXTENDED Paper Submission Deadline: June 1st, 2012 Message-ID: <4FB49FF5.2090203@univ-tlse1.fr> (Please accept our apologies if you receive multiple copies of this CFP). ---------------------------------------------------------------------------------------------- Dear colleague, The deadline of IBERAMIA 2012 has been extended until 1st June 2012 (firm deadline). Conference proceedings will be published by Springer in LNAI. Also, selected papers will be invited to publish extended versions in several international journals (see below). The 13th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2012 - http://iberamia.org/iberamia2012) will be held in Cartagena de Indias, Colombia, 13-16 November 2012. IBERAMIA 2012 welcomes submissions on mainstream AI topics, as well as novel cross cutting work in related areas. Topics may include but are not limited to the following: • AI in Education • Applications of AI • Ambient intelligence • Bio‐inspired computing • Computational creativity • Computer Vision and Pattern Recognition • Constraint satisfaction • Data Mining • Emotional computing • Evolutionary computing • Game playing and interactive entertainment • Human‐Computer Interaction • Information extraction and integration • Knowledge acquisition and ontologies • Knowledge Engineering and Applications • Knowledge Representation and Reasoning • Machine Learning • Modelling and Simulation • Multi‐Agent Systems • Natural Language Processing • Neural networks • Planning and Scheduling • Probabilistic Reasoning • Robotics • Swarm intelligence • Uncertainty and Fuzzy Systems *** Paper submission details *** As in previous years, accepted papers will be published in the series “Advances in Artificial Intelligence” of Springer‐Verlag Lecture Notes in Artificial Intelligence. Papers must be written in English, and will be reviewed on the basis of their relevance, significance of the contribution, originality, technical soundness, quality and clarity. Submitted papers must not exceed 10 pages, including all tables, figures, and references and are required to be formatted in the Springer LNCS format (see http://www.springer.de/comp/lncs/authors.html). Submissions over ten pages will be rejected without review. Papers must be submitted through the EasyChair Conference System at https://www.easychair.org/conferences/?conf=iberamia2012. The conference is organized in several areas, so the authors should choose to submit the paper to the most appropriate area for their work. All submissions will go through a peer review process, with three independent PC members reviewing each submission. Reviewing will be blind, so author names and affiliations must be omitted from the submission, using instead the unique tracking number assigned by the conference system at the time of submission. In addition, self‐references in the text, like “in [Garcia 2004], we prove that” should be avoided, using instead references such as “in [Garcia 2004] has been proved that”. *** Special issues *** After the conference, selected papers will be invited to publish extended versions in international peer-reviewed journals. Currently we have agreed with the following: - Journal of Ambient Intelligence and Smart Environments, published by IOS Press (JCR 2010: 1.500) - Information Fusion, published by Elsevier (JCR 2010: 1.621) - Progress in Artificial Intelligence, published by Springer. - Revista Iberoamericana de Inteligencia Artificial, published by the IberoAmerican Society of Artificial Intelligence (IBERAMIA). - International Journal on Interactive Multimedia and Artificial Intelligence, published by Imai Technologies. - International Journal of Natural Computing Research, published by IGI Global. *** Important dates *** Paper submission deadline (EXTENDED): June 1st, 2012 Notification : July 2nd, 2012 Camera ready papers: July 9th, 2012 Conference: Cartagena de Indias, Colombia, 13-16 November 2012 From krzysztof.krawiec at cs.put.poznan.pl Thu May 17 17:24:47 2012 From: krzysztof.krawiec at cs.put.poznan.pl (Krzysztof Krawiec) Date: Thu, 17 May 2012 17:24:47 +0200 Subject: EuroGP 2013: First CfP Message-ID: <4FB5183F.8060200@cs.put.poznan.pl> (apologies for cross-posting) ***************************************************************************** EuroGP 2013, 16th European Conference on Genetic Programming 3-5 April 2013, Vienna, Austria www.evostar.org FIRST CALL FOR PAPERS ***************************************************************************** SUBMISSION DEADLINE: 1 November 2012 EuroGP is the premier annual conference on Genetic Programming, attracting participants from all over the world. High quality papers describing new original research are sought on topics strongly related to the evolution of computer programs, ranging from theoretical work to innovative applications. Topics include but are not limited to: * Theoretical developments * Empirical studies of GP performance and behavior * Algorithms, representations and operators * Applications of GP to real-world problems * Tree-based, Linear, Graph-based, Grammar-based GP * Evolutionary design * Evolutionary robotics * Evolvable hardware * Self-reproducing programs * Fast/Parallel GP * Probabilistic GP * Evolution of various classes of automata or machine * Software Engineering and GP * Unconventional evolvable computation In 2012, EuroGP acceptance rate was 50% (39% for oral presentations). Accepted papers will be included in the proceedings published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) series. The papers which receive the best reviews will be nominated for the Best Paper Award. Authors of selected papers may be invited to submit extended versions of their work to the Springer journal Genetic Programming and Evolvable Machines (GPEM). EuroGP 2013 will be co-located within the EvoStar event with four related conferences: EvoBIO, EvoCOP, EvoMUSART, and EvoApplications. Visit http://www.evostar.org/cfpEuroGP.html or join the EVOstar group on LinkedIn for more details and updates. EuroGP programme chairs Krzysztof Krawiec, Poznan University of Technology, Poland Alberto Moraglio, University of Birmingham, UK From calimeri at mat.unical.it Sat May 19 03:54:53 2012 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Sat, 19 May 2012 03:54:53 +0200 Subject: RR2012: LAST CALL FOR PAPERS - DEADLINE May 25/30, 2012 Message-ID: [apologies for cross posting] CALL FOR PAPERS RR 2012 The 6th International Conference on Web Reasoning and Rule Systems Vienna, Austria, 10-12 September 2012 http://www.rr-conference.org/RR2012/ == DEADLINE EXTENSION == Abstract submission: May 25 (was May 14), 2012, before 23:59 UTC Full papers submission: May 30 (was May 23), 2012, before 23:59 UTC Notification of acceptance: June 22, 2012 ***Submission deadlines have been extended due to popular demand*** == 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. == Highlights in 2012 == In addition to regular papers, RR 2012 solicits the submission of TECHNICAL COMMUNICATIONS (TCs) that report about some interesting recent work, preliminary result, or inspiring viewpoint. Selected TCs will be invited for a full presentation like regular papers. 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. == Topics == RR welcomes original research from all areas of Web Reasoning. Topics of particular interest are: - Semantic Web, Rule and Ontology Languages, and related logics - Reasoning, Querying, Searching and Optimization - Incompleteness, Inconsistency and Uncertainty - Non-monotonic, Commonsense, and Closed-World Reasoning for the Web - Dynamic information, Stream Reasoning and Complex Event Processing - Decision Making, Planning, and Intelligent Agents - Reasoning, Machine Learning, Knowledge Extraction and IR Technologies - Large-scale data management and reasoning on the Web of Data - Data Integration, Dataspaces and Ontology-Based Data Access - Non-Standard Reasoning - Algorithms for distributed, parallelized, and scalable reasoning - System Descriptions and Experimentation - Applications and Experience Papers == Submissions == The conference proceedings will be published by Springer within the Lecture Notes in Computer Science (LNCS) series. Submissions must be prepared in Springer's LaTeX style llncs (http://bit.ly/oPRW8y). There are two submission formats: - Full papers (up to 15 pages) Original research works in the above areas - Technical Communications (up to 4 pages) Results and ideas with interest to the RR audience, including reports about recent own publications, position papers, and presentations of preliminary results All accepted works will be included in the proceedings, with Technical Communications clearly marked as such. All full papers and selected Technical Communications will be invited to give a talk at the conference. All accepted works will have the opportunity to present a poster. Submissions can be made in EasyChair: http://www.easychair.org/conferences/?conf=rr2012 == Important Dates == Abstract submission: May 25, 2012, before 23:59 UTC Full papers submission: May 30, 2012, before 23:59 UTC Notification of acceptance: June 22, 2012 == Invited Speakers == - Gerhard Brewka, University of Leipzig - Tommaso Di Noia, Politecnico di Bari * additional invited speakers will be announced soon == Program Committee == - Darko Anicic, Karlsruhe Institute of Technology - Jean-François Baget, LIRMM Montpellier - Chitta Baral, Arizona State University - Salem Benferhat, University of Artois - Fernando Bobillo, University of Zaragoza - Gerhard Brewka, University of Leipzig - François Bry, Ludwig-Maximilians University Munich - Diego Calvanese, Free University of Bozen-Bolzano - Vinay Chaudhri, SRI International U.S.A. - Kendall Clark, Clark & Parsia LLC Washington DC - Tommaso Di Noia, Technical University of Bari - Francesco M Donini, University of Tuscia - Thomas Eiter, TU Vienna - Michael Fink, TU Vienna - Birte Glimm, Ulm University - Claudio Gutierrez, Universidad of Chile - Andreas Harth, Karlsruhe Institute of Technology - Aidan Hogan, National University of Ireland Galway - Giovambattista Ianni, University of Calabria - Yevgeny Kazakov, University of Oxford - Michael Kifer, Stony Brook University - Clemens Kupke, University of Oxford - Georg Lausen, University of Freiburg - Domenico Lembo, University of Rome "La Sapienza" - Francesca Alessandra Lisi, University of Bari - Thomas Lukasiewicz, University of Oxford - Wolfgang May, University of Göttingen - Alessandra Mileo, National University of Ireland Galway - Ralf Moeller, Hamburg University of Technology - Marie-Laure Mugnier, University of Montpellier II - Magdalena Ortiz, TU Vienna - Jeff Z. Pan, University of Aberdeen - Rafael Peñaloza, TU Dresden - Axel Polleres, Siemens AG Österreich - Andrea Pugliese, University of Calabria - Guilin Qi, Nanjing University China - Riccardo Rosati, University of Rome "La Sapienza" - Sebastian Rudolph, Karlsruhe Institute of Technology - Steven Schockaert, Cardiff University - Mantas Simkus, TU Vienna - Sergio Tessaris, Free University of Bozen - Andrei Voronkov, University of Manchester == 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 From barbara.plank at disi.unitn.it Sat May 19 08:03:38 2012 From: barbara.plank at disi.unitn.it (Barbara Plank) Date: Sat, 19 May 2012 08:03:38 +0200 Subject: JIMSE 2012 Final CFP: Joint workshop on Intelligent Methods for Software System Engineering *** extended deadline: May 29 *** Message-ID: (Apologies for cross-posting) Final Call for Papers JIMSE: Joint workshop on Intelligent Methods for Software System Engineering **************************************************************************** August 27 or 28, 2012 Montpellier, France (ECAI 2012) Workshop website: https://sites.google.com/site/jimse2012/ *** Submission deadline extended to May 29, 2012 *** The first Joint workshop on Intelligent Methods for Software System Engineering will be held in conjunction with the 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. Workshop Description -------------------- The workshop aims at bringing together worldwide stakeholders and their related communities to discuss current research trends on the use of intelligent techniques for effective and efficient design of software systems. To amplify the impact of the workshop, two different communities sharing the above-mentioned aim will join for the organization of a large event. These include: - The Trustworthy Eternal Systems via Evolving Software, Data and Knowledge (EternalS) community, who has been developing in conjunction with the homonymous European Coordination Action (https://www.eternals.eu/). This includes stakeholders of four broad different ICT areas such as: Learning Systems for Knowledge Management and Representation, Software Systems, Networked Systems and Secure Systems. Such community is sharing competencies and technology for reciprocally improving the specific areas, for example, applying machine learning for anomaly detection or for helping establishing network connection between devices. - The Intelligent Techniques in Software Engineering (ISEW) community, who has been developing through different workshops (see the past venues below). The community focuses on intelligent techniques for addressing, studying, analyzing and understanding critical software development issues, such as software quality and reliability, software cost estimation, software requirements, specifications engineering and software project management. The above communities focus on traditional AI technologies such as: (i) fuzzy logic, artificial neural networks, genetic algorithms; (ii) statistical machine learning (supervised, unsupervised, semi-supervised learning) and domain adaptation; and (iii) specific intelligent approaches for text mining & retrieval, graph mining and ranking algorithms. These are applied to extract patterns and identify relations regarding (a) the different phases and needs of software development and analysis as well as (b) designing effective security policies and networking systems. Scope and Topics ---------------- We aim at encouraging cross-fertilization of ideas amongst researchers from different communities. The topics of the workshop regards (but are not limited to) the application of the following approaches: * Machine Learning * Kernel methods * Text Mining & Retrieval * Probabilistic Reasoning * Model Learning * Expert Systems * Neural Networks * Data Mining * Evolutionary algorithms * Ranking Algorithms * Regression models and Statistical methods TO: * Software Requirements * Software Architecture * Software Methodologies * Software Algorithms * Software Design * Software Performance * Engineering * Software Quality & Reliability * Object-Oriented Analysis and Design * Software Maintenance & Testing * Software Metrics * Software Project Management * Software Cost Estimation * Open Source Software * Software Repository Management * Cloud computing. Additionally, we are particularly interested in contributions describing interdisciplinary researches between the following broad four ICT areas: (i) Learning Systems for Knowledge/Information Management and Representation. This area concerns with research for the development of machine learning models, mainly with applications in the domain of natural language processing, e.g., * Information Extraction * Information Retrieval * Data Mining * Semantic Web * Speech Processing * Image processing * Human Computer Interaction (ii) Software Systems, for example, described by the following keywords: * Modeling languages * Feature description languages * Software product lines * Feature-oriented programming * Delta-oriented programming * Architectural models of diversity * Formal Methods * Software evolution * Component-based systems (iii) Networked Systems This area deals with the connection of networked systems over time, hence addressing eternal interoperability. Related topics include but are not limited to: * Connector theory * Models at runtime * Protocol learning * Protocol synthesis * Runtime verification & validation * Model-based monitoring * Interoperable security, privacy & trust (iv) Secure Systems This topic area deals with supporting the supervised evolution of secure systems from the development, deployment, and operation perspectives. Research in the context of the so-called Future Internet is particularly welcome. Topics include, but are not limited to: * Requirements engineering, * Risk assessment * Software architectures * Modeling techniques * Model-based security techniques * Secure programming * Verification and testing * Software engineering processes for secure and evolvable systems Important Dates --------------- *** May 29, 2012 *** : Paper submission deadline June 28, 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 abstracts of max. 4 pages including references, pictures and tables, presenting novel research results. 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 Papers should be submitted via the Easychair submission system: https://www.easychair.org/conferences/?conf=jimse2012 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 May 29, 2012. 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. Tentative 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/ More on Topics and Background ----------------------------- During last years Open Source Software has considerably increased, enabling free and continuing access to publicly available software engineering data. In turn, this has promoted research on modeling software development and investigating its various aspects. Though, software engineering data is available, two important aspects of a software system have still to be studied such as (i) its representation in terms of domain knowledge and (ii) the representation of its design and implementation history. Successful models for the above points would allow for the design of radically different paradigms for software development. Intelligent techniques can be applied for modeling software-related tasks and providing effective solutions. Machine learning (ML), knowledge-based systems, and data mining have already been used in several Software Engineering (SE) tasks. For example, recent interdisciplinary research in ML and networking systems has shown that statistically learning can produce large improvement in both connecting devices (Bennaceur et al., 2011) and modeling their logic (behavior) (Lamprecht et al., 2011). Moreover, the role ML in software for security systems is very effective as shown for example in (Felderer et al., 2011), whereas knowledge-based approaches seem promising for improving fast prototyping of new product lines as they can automatize formal verification processes of workflows (Schaefer & Sauer, 2011). SE is a conceptual-intensive activity, requiring extensive domain and software knowledge (Zhang & Zhai, 2005). Software data, such as requirements, descriptions, change history, design diagrams, size of programs, tools, packages and methodologies and the source code itself contain a wealth of information about a project status, progress and evolution. Intelligent techniques can be used to analyze such data from past projects to recognize software problems or to learn its natural evolution during time. This is very appealing since suggests methods and techniques for making systems capable of adapting to changes in user requirements and application domains. Most software systems nowadays are built iteratively and incrementally, while integrating and interacting with components from many other systems. Past development models that presupposed that software systems would not significantly evolve after delivery are now outmoded. Hence, SE research is studying the design and implementation of highly evolvable systems. ML is a promising research direction for the design of adaptable models as they requires to manage millions of variables in several dimensions, e.g., time, location, and security conditions, expressing the diversity of the context in which systems operate. Finally, knowledge and experience from the development of previous projects can make the use of supervised learning possible (i.e., training data is available). References ---------- S. Bibi, G. Tsoumakas, I. Stamelos, I. Vlahavas, Regression via Classification applied on Software Defect Estimation, Expert Systems with Applications Journal of Elsevier, Vol 34(3), pp. 2091-2101. Peter Hearty, Norman E. Fenton, David Marquez, Martin Neil: Predicting Project Velocity in XP Using a Learning Dynamic Bayesian Network Model. IEEE Trans. Software Eng. 35(1): 124-137 (2009) Open source project data: www.sourceforge.org Adriano L.I. Oliveira, Petronio L. Braga, Ricardo M.F. Lima, Márcio L. Cornélio, GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation, Information and Software Technology, Volume 52, Issue 11, November 2010, Pages 1155-1166 Stamelos, L. Angelis, P. Dimou, E. Sakellaris, On the use of Bayesian belief networks for the prediction of software productivity, Inf. Softw. Technol. 45 (2003) 51–60. Witten and E. Frank. Data Mining: Practical machine learning tools and techniques, 2nd Edition. Morgan Kaufmann, San Francisco, 2005. Eds. Du Zhang , Jeffrey Tsai, “Machine Learning applications in Software Engineering”, (University of Illinois, Chicago, USA), Series on Software Engineering and Knowledge Engineering , Vol. 16, 2005. AmelBennaceur, Richard Johansson, Alessandro Moschitti, RominaSpalazzese, Daniel Sykes, RachidSaadi, and ValrieIssarny. Inferring affordances using learning techniques. In The First Workshop on Trustworthy Eternal Systems via Evolving Software, Data and Knowledge: EternalS’11. To appear in CCIS Springer, 2011. Anna-Lena Lamprecht, TizianaMargaria, Ina Schaefer and Bernhard Steffen, Comparing Structure-oriented and Behaviour-oriented Variability Modeling for Workflows. In The First Workshop on Trustworthy Eternal Systems via Evolving Software, Data and Knowledge: EternalS’11. To appear in CCIS Springer, 2011. Ina Schaefer and Thomas Sauer, Towards Verification as a Service. In The First Workshop on Trustworthy Eternal Systems via Evolving Software, Data and Knowledge: EternalS’11. To appear in CCIS Springer, 2011. Felderer, M. and Agreiter, B. and Zech, P. and Breu, R. (2011) A Classification for Model-Based Security Testing. In: The Third International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011). From swill at csail.mit.edu Sat May 19 17:32:15 2012 From: swill at csail.mit.edu (Sebastian Will) Date: Sat, 19 May 2012 17:32:15 +0200 Subject: [CFP] Deadline Extension WCB 2012 - Workshop on Constraint Based Methods for Bioinformatics In-Reply-To: <4FB7BB30.5040701@csail.mit.edu> References: <4FB7BB30.5040701@csail.mit.edu> Message-ID: <4FB7BCFF.1040508@csail.mit.edu> Dear colleague, we invite you to submit to WCB12, the Workshop on Constraint Based Methods for Bioinformatics 2012; we extended the submission deadline. Please apologize multiple copies. Rolf and Sebastian +-------------------------------------------------------------------------+ CALL FOR PAPERS --- DEADLINE EXTENSION WCB 2012 - Workshop on Constraint Based Methods for Bioinformatics 2012 Budapest, Hungary, September, 8th, 2012 Collocated with ICLP 2012 http://www.bioinf.uni-freiburg.de/Events/WCB12/ Submission: June, 1st, 2012 (EXTENDED) +-------------------------------------------------------------------------+ OVERVIEW AND SCOPE ------------------ Bioinformatics is a challenging and fast growing area of research, which is of utmost importance for our understanding of life. Major contributions to this discipline can have thousands of positive effects in medicine, agriculture, or industry. To pick out only a few examples, Bioinformatics tackles problems related to * Recognition, analysis, and organization of DNA sequences. For instance, Haplotype/Pedigree inference, Phylogenetic reconstruction, Motif localization, and Alignments * Biological systems simulations (for metabolic or regulatory networks) * Prediction of the spatial conformation of a bio-polymer, given its sequence of monomers (in particular for proteins and RNA). The main aim of this workshop is twofold. On the one hand, to share recent results in this area (new ideas, systems and solvers that rely on constraints, but also on Logic Programming, Answer Set Programming, Linear Programming, Mixed Integer Linear Programming, Local Search, and any other AI techniques, possibly combining some of them). On the other hand, to present new challenging problems recently formalized but still beyond current computing capabilities. MANUSCRIPT SUBMISSION --------------------- We welcome submissions of * Extended Abstracts of new results * Abstract of ongoing works * Systems presentations (with demos at the workshop) * Summaries of already accepted or recently published results in the topics above. Manuscripts should be formatted in the standard llncs style and submitted as PDF. The page limit is 6 pages. Submission is handled by Easychair https://www.easychair.org/conferences/?conf=wcb12 IMPORTANT DATES --------------- Submission Deadline: June 1st, 2012 (EXTENSION) Notification to Authors: July 2nd, 2012 Camera-ready: July 27th, 2012 Workshop: September 8th, 2012 The final submission must include latex sources. We are going to use Computing Research Repository (CoRR) for the workshop proceedings. At least one author is required to participate in the workshop and present the work. PROGRAM COMMITTEE ----------------- Nicos Angelopoulos Netherlands Cancer Institute Rolf Backofen (chair) Freiburg Univ., Germany Pedro Barahona Univ. Nova de Lisbona, Portugal Alexander Bockmayr Freie Universität Berlin, Germany Alessandro Dal Palù Parma Univ., Italy Agostino Dovier Udine Univ., Italy Esra Erdem Sabanci Univ., Turkey Francois Fages INRIA Rocquencourt, France Andrea Formisano University of Perugia, Italy Ines Lynce, INESC-ID Lisboa, Portugal Enrico Pontelli NMSU, USA Sven Thiele Univ. of Potsdam, Germany Pascal Van Hentenryck Brown University, USA Sebastian Will (chair) Freiburg Univ., Germany From tkren at kr.tuwien.ac.at Sun May 20 07:27:56 2012 From: tkren at kr.tuwien.ac.at (Thomas Krennwallner) Date: Sun, 20 May 2012 07:27:56 +0200 Subject: 8th Reasoning Web Summer School (RW 2012) - Call for Applications (Extended application deadline) Message-ID: <20120520052756.GO47161@kr.tuwien.ac.at> *********************************************** * Extended application deadline: May 25, 2012 * *********************************************** CALL FOR APPLICATIONS/PARTICIPATION REASONING WEB 2012 The 8th Reasoning Web Summer School (RW 2012) Vienna, Austria, September 03-08, 2012 http://www.reasoningweb.org/2012/ co-located with the - 6th Int'l Conference on Web Reasoning and Rule Systems (RR 2012), September 10-12, 2012 http://www.rr-conference.org/RR2012/ - 4th Int'l Conference on Computational Models of Argument (COMMA 2012), September 10-12, 2012 http://www.kr.tuwien.ac.at/events/comma2012/ - 2nd Datalog 2.0 Workshop, September 11-13, 2012 http://www.dbai.tuwien.ac.at/event/datalog-2.0/ - 23rd Int'l Conference on Database and Expert Systems Applications (DEXA 2012), September 03-07, 2012 http://www.dexa.org/ The Reasoning Web Summer School 2012 is primarily intended for postgraduate (PhD or MSc) students, postdocs, and other young researchers investigating aspects related to Reasoning on the Semantic Web and related issues. The Summer School will also be open to senior researchers wishing to learn about Semantic Web issues related to their own fields of research. For further details please visit http://www.reasoningweb.org/2012/ As in the previous years, we managed again to attract a distinguished group of expert lecturers, the majority of which will - apart from their lectures - also be present for the duration of the school to interact with students. Interaction with senior researchers and establishing contacts within young researchers is a main focus of the school, which will be supported through social activities and an interactive, amicable atmosphere. This year's summer school will be co-located with a number of related conferences and workshop, viz. Int'l Conference on Web Reasoning and Rule Systems 2012, the Int'l Conference on Computational Models of Argument 2012, the Int'l Conference on Database and Expert Systems Applications 2012, and the 2nd Datalog 2.0 Workshop 2012 (dates and links are given above). This will be a great opportunity to attend major conferences and workshops in the area directly subsequent to the school. Reasoning Web 2012 is part of the Vienna Logic Weeks 2012: http://www.vcla.at/events/vienna-logic-weeks_2012/ As a further highlight, we want to point out the opportunity of PhD students to present their research at the RR 2012 Doctoral Consortium. Joint applications for the Reasoning Web Summer School 2012 and the RR 2012 Doctoral Consortium are explicitly encouraged. More details are given on the RR-DC 2012 website: http://www.kr.tuwien.ac.at/events/rr2012/DoctoralConsortium.html == IMPORTANT DATES (EXTENDED!) == Application deadline (NEW): May 25, 2012 Notifications (NEW): June 1, 2012 Summer School Registration (NEW): June 15, 2012 == CONFIRMED LECTURES == - Federation and Navigation in SPARQL 1.1 Marcelo Arenas (PUC Chile) and Jorge Pérez (U Chile) - Semantic Wikis: Approaches, Applications, and Perspectives François Bry (U Munich), Sebastian Schaffert (Salzburg Research), Denny Vrandečić (KIT), and Klara Weiand (U Munich) - Reasoning and Ontologies in Data Extraction Sergio Flesca (U Calabria), Tim Furche (U Oxford), and Linda Oro (U Calabria) - Linked Data Stream Processing Manfred Hauswirth, Danh Le Phuoc, and Josiane Xavier Parreira (DERI, NUI Galway) - Data Models and Query Languages for Linked Geospatial Data Manolis Koubarakis, Manos Karpathiotakis, Kostis Kyzirakos, Babis Nikolaou, Michael Sioutis (U Athens) - OWL 2 Profiles: An Introduction to Lightweight Ontology Languages Markus Krötzsch (U Oxford) - Reasoning and Query Answering in Description Logics Magdalena Ortiz and Mantas Simkus (TU Vienna) - Reasoning with Uncertain and Inconsistent Ontologies for the Semantic Web Guilin Qi (South Eastern U) and Jianfeng Du (Guangdong U Foreign Studies) - Argumentation and the Web Francesca Toni (Imperial College London) - Datalog and Its Extensions for the Semantic Web Georg Gottlob, Giorgio Orsi, Andreas Pieris (U Oxford) and Mantas Simkus (TU Vienna) == APPLICATIONS == The number of attendees will be limited, applications for participation have to be submitted via Easychair using the "Application" category: https://www.easychair.org/conferences/?conf=reasoningweb2012 The program of the school will include a poster session, where students can present and discuss their ongoing research with lecturers and colleagues. Applicants who wish to participate in the poster session shall tick the "Participation in poster session" group and include a poster title and abstract with their application submission. Applications must be submitted in PDF format not exceeding 2 pages (min. font size 11pt) and contain the following information: - Name, contact details - Affiliation - Motivation for participation - Summary of profile - Willing to present a poster? (if yes, add a poster title and abstract) - Supervisor (if applicable) - Publications (if applicable) == GRANTS == The organizing committee is considering to offer scholarships to summer school participants to partially cover registration and/or accommodation fees, depending on available sponsorships. There are further grants for students participating in the RR 2012 Doctoral Consortium who would like to extend their stay to also attend the summer school, see http://www.kr.tuwien.ac.at/events/rr2012/DoctoralConsortium.html#grants == REGISTRATION == If your application has been accepted, you will be notified by email. Registration will be possible until Friday, June 15 2012. The Summer School registration fee is 450 EUR and covers teaching, coffee breaks, social event, and a volume of the proceedings. == LECTURE NOTES == The course material used during the summer school will be published with Springer's Lecture Notes in Computer Science (LNCS) series. A copy of the proceedings will be included in the registration fees. == PROGRAM COMMITTEE == - Grigoris Antoniou (FORTH Crete) - Abraham Bernstein (U Zuerich) - François Bry (U Munich) - Thomas Eiter (TU Vienna, chair) - Birte Glimm (U Ulm) - Claudio Gutierrez (UC Santiago) - Axel Polleres (Siemens) == CONTACT == For further information including sponsorship opportunities, please contact the local organizers: - Thomas Eiter - Thomas Krennwallner From pcvinh at ntt.edu.vn Sun May 20 14:09:06 2012 From: pcvinh at ntt.edu.vn (Phan Cong Vinh) Date: Sun, 20 May 2012 19:09:06 +0700 Subject: CALL FOR PAPERS - ICCASA 2012 - 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 leon.vandertorre at uni.lu Sun May 20 21:15:06 2012 From: leon.vandertorre at uni.lu (Leon van der Torre) Date: Sun, 20 May 2012 21:15:06 +0200 Subject: CLIMA XIII @ ECAI: Final Call for Papers Message-ID: <4FB942BA.20605@uni.lu> CALL FOR PAPERS --------------- 13th International Workshop on Computational Logic in Multi-Agent Systems [CLIMA XIII] with special sessions on: * Logics for Multi-Agent Programming * Logics for Agreement Technologies http://www.csc.liv.ac.uk/~michael/clima2012.html Affiliated with ECAI 2012 Montpellier, France, August 27-28, 2012 Submission deadline: 28th May Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. Following the previous, very successful, editions, the 13th CLIMA will be affiliated with ECAI 2012 and will take place in Montpellier, France, on the 27th and 28th of August 2012. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions: * Logics for Multi-Agent Programming * Logics for Agreement Technologies We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available athttp://www.csc.liv.ac.uk/~michael/clima2012.html Important dates: * Submission: 28th May * Notification: 16th June * Camera Ready: 23rd June CLIMA XII Chairs: * Michael Fisher, University of Liverpool, UK * Leon van der Torre, University of Luxembourg, Luxembourg Special Session Organisers: Logics for Multi-Agent Programming * Mehdi Dastani, University of Utrecht, Netherlands Logics for Agreement Technologies * Guido Governatori, NICTA, Australia Please send all enquiries about CLIMA XIII toclima13 at easychair.org From K.V.Hindriks at tudelft.nl Mon May 21 11:33:01 2012 From: K.V.Hindriks at tudelft.nl (Koen Hindriks - EWI) Date: Mon, 21 May 2012 09:33:01 +0000 Subject: Vacancy Interactive Intelligence - Delft University Message-ID: Electrical Engineering, Mathematics and Computer Science The Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) is known worldwide for its high academic quality and the social relevance of its research programmes. The faculty’s excellent facilities accentuate its international position in teaching and research. The faculty offers an interdisciplinary setting for its 500 employees, 350 PhD students and 1700 undergraduates. Together they work on a broad range of technical innovations in the fields of sustainable energy, telecommunications, microelectronics, embedded systems, computer and software engineering, interactive multimedia and applied mathematics. EEMCS: Your Connection to the Future. The Department of Intelligent Systems (INSY) conceptualises computer science methodologies to sense, abstract, learn, reason, elicit and adapt data and their meaning in ways that respect human values in order to increase human effectiveness in well-being and social innovation. At the heart of the department is therefore the research and teaching in computer science theory, algorithms and solutions for information processing systems that support humans (e.g. robotics), new products (e.g. Internet services), and science (e.g. biology). Within the Department of Intelligent Systems, the Interactive Intelligence section mainly focuses on enabling synergy between humans and cognitive technology by combining research on Artificial Intelligence (including agent reasoning and computational intelligence) with research on Cognitive Engineering (including quality of experience). New developments find application in areas such as negotiation, incident management, lifestyle experience, virtual reality exposure therapy and social robotics. See http://ii.tudelft.nl for more information. Job description The Assistant/Associate Professor will carry out research at the interface between Artificial Intelligence and Cognitive Engineering. The research should enable new technologies that deliver quality of experience between humans and technologies in application areas related to collaboration, lifestyle or healthcare. The Assistant/Associate Professor will supervise PhD students, interns, and Bachelor’s and Master’s students, and will be responsible for teaching. The appointee will also be responsible for management tasks, acquisition of research projects, and valorisation. The Assistant/Associate Professor will become part of the Interactive Intelligence section, currently comprising six full-time faculty members, four part-time faculty members, four post-docs, and 17 PhD students. It is equipped with an Experience Lab to perform subjective testing in the areas of perception, psychophysics, and behavioural research. The group is responsible for teaching artificial intelligence and cognitive engineering at the Bachelor’s and Master’s levels. Requirements Applicants should hold a PhD degree and have experience in and basic knowledge of combining human factors (including subjective testing) with artificial intelligence. Candidates must also have a solid scientific track record proven by international publications. We are seeking a person with good communication skills and the capability of building and maintaining an international network of scientific and industry contacts. Experience in the development and teaching of university courses is appreciated; however, beginning teachers may also apply. Applicants should be flexible and motivated to work on collaborative projects in the group, considering both applied and fundamental technology-oriented research with societal relevance. A good command of English is essential. Conditions of employment This is a full-time, tenure-track position. The starting salary of the Assistant Professor, depending on age and experience, varies from scale 11 to 12 with a maximum of € 4,970 gross per month. TU Delft offers an attractive benefits package, including a flexible work week, free high-speed Internet access from home (with a contract of two years or longer), and the option of assembling a customised compensation and benefits package (the 'IKA'). Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities. TU Delft sets specific standards for the English competency of the teaching staff. TU Delft offers training to improve English competency. TU Delft strives to increase the number of women in higher academic positions; women are therefore especially encouraged to apply. Information and application For more information about this position, please contact Prof. C. M. Jonker, phone: +31 (0)15-2781315, e-mail: C.M.Jonker at tudelft.nl. To apply, please send a detailed CV together with a letter of application, at least three references and at most five key publications. You may e-mail your application materials by 1 June 2012 to Mrs. J. Eddini, HR-EEMCS at tudelft.nl. When applying for this position, please refer to vacancy number EWI2012-10. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From oshanis at gmail.com Mon May 21 13:12:02 2012 From: oshanis at gmail.com (Oshani Seneviratne) Date: Mon, 21 May 2012 07:12:02 -0400 Subject: Call for Research Papers ISWC 2012 Message-ID: ------------------------------------------------------------------------ Call for Research Papers http://iswc2012.semanticweb.org/call-research-papers 11th International Semantic Web Conference http://iswc2012.semanticweb.org/ Boston - USA November 11-15, 2012 ------------------------------------------------------------------------ ISWC is the premier venue for presenting innovative systems and research results related to the Semantic Web and Linked Data. We solicit the submission of original research papers for ISWC 2012's research track, dealing with analytical, theoretical, empirical, and practical aspects of all areas of the Semantic Web. Submissions to the research track should describe original, significant research on the Semantic Web or on Semantic Web technologies, and are expected to provide some principled means of evaluation. To maintain the high level of quality and impact of the ISWC series, all papers will be reviewed by three program committee members and one vice chair of the program committee. To assess papers, reviewers will judge their originality and significance for further advances in the Semantic Web, as well as the technical soundness of the proposed approaches and the overall readability of the submitted papers. We will give specific attention to the evaluation of the approaches described in the papers. We strongly encourage evaluations that are repeatable: preference will be given to papers that provide links to the data sets and queries used to evaluate their approach, as well as systems papers providing links to their source code or to some live deployment. Topics Of Interest ---------------------------- Topics of interest include, but are not limited to: * Management of Semantic Web data and Linked Data * Languages, tools, and methodologies for representing and managing Semantic Web data * Database, IR, NLP and AI technologies for the Semantic Web * Search, query, integration, and analysis on the Semantic Web * Robust and scalable knowledge management and reasoning on the Web * Cleaning, assurance, and provenance of Semantic Web data, services, and processes * Semantic Web Services * Semantic Sensor Web * Evaluation of semantic web technologies * Ontology engineering and ontology patterns for the Semantic Web * Ontology modularity, mapping, merging, and alignment * Ontology Dynamics * Social and Emergent Semantics * Social networks and processes on the Semantic Web * Representing and reasoning about trust, privacy, and security * User Interfaces to the Semantic Web * Interacting with Semantic Web data and Linked Data * Information visualization of Semantic Web data and Linked Data * Personalized access to Semantic Web data and applications * Semantic Web technologies for eGovernment, eEnvironment, eMobility or eHealth * Semantic Web and Linked Data for Cloud environments Submission --------------------- Pre-submission of abstracts is a strict requirement. All papers and abstracts have to be submitted electronically via the Conference Submission System https://www.easychair.org/conferences/?conf=iswc2012. All research submissions must be in English, and no longer than 16 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. Authors of accepted papers will be required to provide semantic annotations for the abstract of their submission, which will be made available on the conference web site. Details will be provided at the time of acceptance. 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. Prior Publication And Multiple Submissions -------------------------------------------------------------------- ISWC 2012 will not accept research 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. The conference organizers may share information on submissions with other venues to ensure that this rule is not violated. Submission of a Poster or Demo together with your Accepted Research Paper ---------------------------------------------------------------------------------------------------------------------- Authors of accepted papers are invited to submit also a poster or a demo to the Posters and Demo track. The submission format is the same as for normal poster and demo submissions but the submission must cite the corresponding paper from the research track. Important Dates ---------------------------- Abstracts: June 1, 2012, 11:59pm Hawaii time Full Paper Submission: June 8, 2012, 11:59pm Hawaii time Author Rebuttals: July 9-11, 2012 Notifications: July 26, 2012 Camera-Ready Versions: September 4, 2012 Conference: November 11-15, 2012 No extensions of the submission deadline will be granted. Research Track Chairs -------------------------------------- Philippe Cudre-Mauroux, University of Fribourg, Switzerland Jeff Heflin, Lehigh University, USA Follow ISWC 2012 on Twitter https://twitter.com/#!/iswcboston From J.T.Jeuring at uu.nl Mon May 21 14:56:53 2012 From: J.T.Jeuring at uu.nl (Johan Jeuring) Date: Mon, 21 May 2012 14:56:53 +0200 Subject: CICM 2012: Call for participation Message-ID: <8DEBAB8C-9CB1-48D6-BFD7-AA9D56B5F1D9@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 homola at fmph.uniba.sk Tue May 22 09:14:35 2012 From: homola at fmph.uniba.sk (Martin Homola) Date: Tue, 22 May 2012 09:14:35 +0200 Subject: ARCOE-12: Third call for papers Message-ID: <20120522071435.GA27262@fmph.uniba.sk> === CALL FOR PAPERS === Acquisition, Representation and Reasoning with Contextualized Knowledge, 4th International Workshop (ARCOE-12) http://www.arcoe.org/2012 held in collocation with 20th European Conference on Artificial Intelligence (ECAI-12) Montpellier, France -- Submission Open -- Submission now open via: https://www.easychair.org/conferences/?conf=arcoe12 -- Important Dates -- Submission deadline: 28 May 2012 Notification: 28 June 2012 Camera ready: 15 July 2012 Early registration: 5 July 2012 Late registration: 8 August 2012 Workshop dates: 27-28 August 2012 -- Description of the workshop -- Dealing with context is one of the most interesting and most important problems faced in Artificial Intelligence (AI). Traditional AI applications often require to model, store, retrieve and reason about knowledge that holds within certain circumstances - the context. Without considering this contextual information, reasoning can easily run to problems such as: inconsistency, when considering knowledge in the wrong context; inefficiency, by considering knowledge irrelevant for a certain context; incompleteness, since an inference may depend on knowledge assumed in the context and not explicitly stated. Contextual information is also relevant in many tasks in knowledge representation and reasoning such as common-sense reasoning, dealing with inconsistency, ambiguity, and uncertainty, evolution, etc. In recent years, research in contextual knowledge representation and reasoning became more relevant in the areas of Semantic Web, Linked Open Data, and Ambient Intelligence, where knowledge is not considered a monolithic and static asset, but it is distributed in a network of interconnected heterogeneous and evolving knowledge resources. The ARCOE workshop aims to provide a dedicated forum for researchers interested in these topics to discuss recent developments, important open issues, and future directions. -- Topics -- ARCOE-12 welcomes submissions on the topics below as well as on their intersection and other topics related to acquisition, representation, reasoning with context and its applications. Philosophical and theoretical foundations of context: 1. What is context and how should it be represented. 2. Relevant types of contextual information and their properties. 3. Combining contextual information with object information for reasoning. 4. Context and common-sense reasoning. 5. Exploiting context in inconsistency and uncertainty handling, defeasible reasoning and argumentation. 6. Contextual logic programming. 7. Updating contextual knowledge and context-aware belief revision. 8. Frameworks for formalizing context and context-aware knowledge representation. Context modeling and contextual knowledge engineering: 1. Modeling of user's/agent's context. 2. Context driven organization of knowledge and modeling. 3. Ontologies for context modeling. 4. Context-aware modeling tools and methodology. 5. Comparisons to context-unaware modeling techniques. Effective reasoning with context: 1. Effective context-aware reasoning algorithms. 2. Distributed reasoning with context. 3. Context-driven heuristics in classical reasoning systems. 4. Reasoning under uncertainty and inconsitency. 5. Defeasible reasoning. 4. Hybrid formalisms for reasoning with context, including sub-symbolic contexts Applications of context in areas such as: 1. Agent communication and coordination. 2. Semantic Web and Linked Open Data. 3. Knowledge modularization. 4. Ontology matching. 5. Ontology fault diagnosis and repair. 6. Ontology evolution and versioning. 7. Information integration. 8. Ambient intelligence and pervasive computing. 9. Exploiting context in Web 2.0 applications, e-commerce, and e-learning. -- Submission Requirements -- Papers of two types can be submitted. Regular papers are intended for research reports and surveys. ARCOE also welcomes reports on significant work in progress which has already achieved some interesting partial results, as well as papers recently submitted or published elsewhere as long as their topic is in line with the workshop. Regular papers should not exceed 12 pages in length including references. Position papers are intended for presentation of interesting new open issues and challenges, and opinions on the status of the field. Position papers are limited to 6 pages including references. All papers must be formatted using the Springer LNCS style: http://www.springer.com/comp/lncs/Authors.html and submitted in PDF format via EasyChair using: https://www.easychair.org/conferences/?conf=arcoe12 The distinction during the selection-phase will be based on 1) Relevance, significance and quality of the submission; 2) The contribution's potential to foster cross-pollination and discussions on ARCOE main themes during the event. Accepted papers will be presented either as oral presentations or as posters, depending on the choice of the program committee. However, all accepted papers will be included in the Working Notes in their full form and will be accessible via the Internet. -- Invited Talks -- * The role of context in controlling inconsistency - Alan Bundy, University of Edinburgh * Multi context logics: a formal support for structuring knowledge - Luciano Serafini, Fondazione Bruno Kessler, Trento -- Workshop Co-Chairs -- * Michael Fink, Vienna University of Technology * Martin Homola (primary contact), Comenius University, Bratislava * Alessandra Mileo, DERI, National University of Ireland * Ivan Jose Varzinczak, Centre for Artificial Intelligence Research, South Africa -- Steering Committee -- * Alan Bundy, University of Edinburgh * Thomas Eiter, Vienna University of Technology * Luciano Serafini, Fondazione Bruno Kessler, Trento -- Resources -- ARCOE-12 website: http://www.arcoe.org/2012/ EasyChair submission site: https://www.easychair.org/conferences/?conf=arcoe12 ARCOE workshop series: http://www.arcoe.org/ ECAI-12 website: http://www2.lirmm.fr/ecai2012/ Enquiries about the ARCOE workshop: arcoe [at] arcoe [dot] org Registration: http://www2.lirmm.fr/ecai2012/index.php?option=com_content&view=article&id=93&Itemid=93 From universal.logic at ufc.br Tue May 22 21:22:53 2012 From: universal.logic at ufc.br (Universal Logic) Date: Tue, 22 May 2012 16:22:53 -0300 (BRT) Subject: =?utf-8?B?TG9naWMgYW5kIFJlbGF0aXZpdHkgLyBJc3R2w6FuIE7DqW1ldGkncyA3MHRo?= =?utf-8?B?IGJpcnRoZGF5IGNvbmZlcmVuY2U=?= Message-ID: <27d65ef043f26fdea27e4fb7afbb32e1.squirrel@correio1.ufc.br> Call for Papers First International Conference on Logic and Relativity: honoring István Németi's 70th birthday September 8 - 12, 2012, Budapest http://www.renyi.hu/conferences/nemeti70/ From stefanschlobach at gmail.com Wed May 23 10:56:02 2012 From: stefanschlobach at gmail.com (Stefan Schlobach) Date: Wed, 23 May 2012 10:56:02 +0200 Subject: Fully funded PhD position on Pragmatic Semantics for the Web of Data at VU University Amsterdam. Message-ID: <4FBCA622.3090400@few.vu.nl> Fully funded PhD position (KRR group @ VU University Amsterdam) ================================================================= JOB OPENING: The Knowledge Representation and Reasoning group, headed by Prof. Frank van Harmelen at the VU University Amsterdam is looking for an enthusiastic PhD student for a 4 year full time position on the project Pragmatic Semantics for the Web of Data funded by the Dutch Science Foundation NWO. WHAT WE OFFER: A world-class research team in semantic technologies, a stimulating work environment, and life in a vibrant and multicultural city that always ranks among the highest on the quality of life indexes. WHAT WE LOOK FOR: A talented and motivated individual with a thorough background in Computer Science and/or Artificial Intelligence. We are particularly looking for students with experience with formal logical methods, the ability to turn theories into practical programs and an interest in validating their theories empirically in practical applications. PROJECT DESCRIPTION: The Web of Data (WoD) connects data in a similar way as the WWW connects documents. Atomic data-units called resources are connected via typed links with arbitrary resources anywhere on the Web, together forming a gigantic graph of linked data. The meaning of the types can be fixed using standardised ontology languages such as RDFS and OWL. The semantics of these languages are based on logical paradigms that were designed for small and hand-made knowledge bases, and come with classical model-theory for assigning truth to formulas, and entailment based on this truth. However, in highly complex, dynamic, context-dependent, opinionated, contradictory and multi- dimensional networks as the WoD, such classical semantics are insufficient, as they are one-dimensional, often prone to logical fallacies, and usually intractable. On the Web in general, and the Web of Data in particular, every bit of information is context-dependent, biased towards a particular viewpoint, opinionated, dated, uncertain or vague. The WoD is a market-place of ideas, not a database, and has to be dealt with accordingly. We have to adapt the formal semantics of existing formalisms to the new requirements. The goal of this project is to develop such novel semantic paradigms for dealing with the complex character of the Web of Data by integrating market-place formalisms such as optimization of truth into the semantics of the standard representation languages. More information is available on: http://altsemantics.wordpress.com/ REQUIREMENTS - A Master in Computer Science, Information Sciences, Artificial Intelligence, Logic or a related field - Genuine interest in addressing real-world problems. APPOINTMENT, SALARY, LOCATION: The appointment will be at the VUA, starting at Sep 1 2012 at the earliest. http://tinyurl.com/VU-personnel-guide contains a review of working conditions at the VU. INTERESTED? For more information please contact Dr. Stefan Schlobach . Please send your application to Elly Lammers by email *before 15 June 2012*. From cgf at isep.ipp.pt Thu May 24 21:39:31 2012 From: cgf at isep.ipp.pt (Carlos Ferreira) Date: Thu, 24 May 2012 20:39:31 +0100 Subject: Reminder - Ubiquitous Data Mining Workshop (ECAI 2012) - One Week for deadline Message-ID: <4FBE8E73.408@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 -- Paper submission: 31 May, 2012 Author notification: 22 Jun, 2012 Camera-ready copy: 30 Jun, 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 rudolph at kit.edu Fri May 25 11:10:12 2012 From: rudolph at kit.edu (Sebastian Rudolph) Date: Fri, 25 May 2012 11:10:12 +0200 Subject: 3nd CfP (DEADLINE EXTENDED): FCA4AI Workshop at ECAI, August 2012, Montpellier, France In-Reply-To: <69CBBF28-9079-42E0-A04F-042E8752C20B@kit.edu> References: <69CBBF28-9079-42E0-A04F-042E8752C20B@kit.edu> Message-ID: With apologies for cross-posting. -------------------------------------------------------------------- Call for Papers -------------------------------------------------------------------- --FCA4AI-- "What can FCA do for Artificial Intelligence?'' Workshop at ECAI 2012 August 27, 2012 (tentative) Montpellier, France http://www.fca4ai.hse.ru -------------------------------------------------------------------- =GENERAL= Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA gives rise to versatile data structures such as concept lattices and systems of dependencies (implications) which can be used for a plethora of AI needs, involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, as well as information retrieval and text processing. Consequently, FCA and AI are intimately related in terms of the pursued goals and employed methods. Recent years have been witnessing increased scientific activity around FCA. In particular, a strand of work has emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures, relational context analysis and exploration-based ontology completion. These extensions are aimed at enabling FCA to deal with more complex than just binary data, from the data analysis and knowledge discovery point of view but also from the perspective of knowledge representation as employed in, e.g., ontology engineering. All these works extend the capabilities of FCA and open up new chances and challenges for AI activities in the framework of FCA. Accordingly, in this workshop, we will be interested in two main issues: - How can FCA support AI activities such as knowledge processing (knowledge discovery, knowledge representation and reasoning), learning (clustering, pattern and data mining), natural language processing, and information retrieval? - How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain? =TOPICS OF INTEREST= The workshop's topics of interest include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures. - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification and clustering. - Knowledge engineering and ontology engineering: knowledge representation and reasoning. - Scalable algorithms for concept lattices and artificial intelligence ``in the large'' (distributed aspects, big data). - Applications of concept lattices: semantic web, information retrieval, visualization and navigation, pattern recognition. The workshop will include time for audience discussion toward a better understanding of the issues, challenges, and ideas being presented. =IMPORTANT DATES= Submission deadline (NEW!): June 8th, 2012 Notification: June 30, 2012 Final version: July 25, 2012 Workshop: August 27, 2012 =SUBMISSION DETAILS= The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be - technical papers not exceeding 8 pages, - system descriptions or position papers on work in progress not exceeding 4 pages Submissions are via EasyChair at https://www.easychair.org/conferences/?conf=fca4ai2012 The workshop proceedings will be published as CEUR proceedings. In addition, the organizers will apply for a special issue of an international journal where extended versions of selected papers of the workshop shall be published. =WORKSHOP CHAIRS= - Sergei O. Kuznetsov Higher School of Economics, Moscow, Russia - Amedeo Napoli LORIA-INRIA, Vandoeuvre les Nancy, France - Sebastian Rudolph Karlsruhe Institute of Technology, Germany =PROGRAM COMMITTEE= - Mathieu D'Aquin Open University, Milton Keynes, UK - Franz Baader Technische Universität Dresden, Germany - Radim Belohlavek Palacky University, Olomouc, Czech Republic - Claudio Carpineto Fondazione Ugo Bordoni, Roma, Italy - Felix Distel Technische Universität Dresden, Germany - Sébastien Ferré IRISA Rennes, France - Bernhard Ganter Technische Universität Dresden, Germany - Pascal Hitzler Wright State University, Dayton, Ohio, USA - Marianne Huchard LIRMM Montpellier, France - Dmitry I. Ignatov Higher School of Economics, Moscow, Russia - Mehdi Kaytoue Universidade Federal Minas Gerais, Belo Horizonte, Brazil - Markus Krötzsch University of Oxford, UK - Sergei A. Obiedkov Higher School of Economics, Moscow, Russia - Uta Priss Ostfalia University of Applied Sciences, Wolfenbüttel, Germany - Baris Sertkaya SAP Dresden, Germany, - Gerd Stumme Universität Kassel, Germany - Petko Valtchev Université du Québec à Montréal, Montréal, Canada _________________________________________________ PD Dr. Sebastian Rudolph senior researcher & project leader at AIFB Karlsruhe Institute of Technology (KIT) rudolph at kit.edu phone +49 721 608 - 47362 www.sebastian-rudolph.de fax +49 721 608 - 45998 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mpavone at dmi.unict.it Mon May 28 00:12:41 2012 From: mpavone at dmi.unict.it (Mario Pavone) Date: Mon, 28 May 2012 00:12:41 +0200 Subject: CfP ICARIS 2012 Call for Abstracts/Posters/Oral Presentations: June 15th, 2012 Message-ID: <20120528001241.Horde.vl7bXeph4B9PwqbZt4FUvpA@dmi.unict.it> CALL FOR ABSTRACTS, SHORT PRESENTATIONS & POSTERS *Apologies for cross-posting* The 11th International Conference on Artificial Immune Systems 28-31 August 2012 Taormina, Italy http://www.artificial-immune-systems.org/icaris/2012/ http://www.artificial-immune-systems.org/icaris/2012/submission.php http://www.artificial-immune-systems.org/icaris/2012/submission_abstract.php IMPORTANT DATES: * Abstract/Poster/Short Presentation Submission deadline: June 15th, 2012 * Notification of acceptance: June 20th, 2012 ** ICARIS 2012 is divided into two main tracks: 1) Computational Immunology, Immunoinformatics, Theoretical Immunology, & Systems Immunology 2) Immunological Computation, Immune-inspired Engineering, Immune-inspired Heuristics *** all abstracts for oral or poster presentation can be submitted in both tracks **** participants of accepted abstracts at ICARIS 2012 can submit their extended versions to the special issue on Natural Computing journal ***** Plenary Speakers: - Piero Mastroeni, University of Cambridge, UK - Stephanie Forrest, University of New Mexico, USA ****** Tutorial Speaker: - Christian Blum, Universitat Politecnica de Catalunya, Spain - Heiko Muller, Italian Institute of Technology - Center of Genomic Science, Italy - Luca Zammataro, Italian Institute of Technology - Center of Genomic Science, Italy ******* Panel "The future of Computational Immunology, Immunoinformatics, Theoretical Immunology and Systems Immunology" - Hugues Bersini, Université Libre de Bruxelles, Belgium - Chang-Zheng Chen, Stanford University, USA - Marc Thilo Figge, Leibniz Institute for Natural Product Research and Infection Biology, Hans-Knöll-Institute, Germany (TBC) - Stephanie Forrest, New Mexico University & SFI, USA - Koichi Kobayashi, Harvard University - Harvard Medical School, USA - Oliver Kohlbacher, University of Tübingen, Germany (TBC) - Melanie Moses, University of New Mexico, USA - Guido Poli, Division of Immunology, Transplantation and Infectious Diseases, Vita-Salute San Raffaele University School of Medicine & San Raffaele Scientific Institute, Milan, Italy - Alex Sette, La Jolla Institute for Allergy & Immunology, La Jolla, USA (TBC) - Veronique Thomas-Vaslin, Université Pierre et Marie Curie, Paris, France - Jon Timmis, University of York, UK - Elisa Vicenzi, Division of Immunology, Transplantation and Infectious Diseases San Raffaele Scientific Institute, Milan, Italy More Speakers to be Announced! We look forward to welcoming you to Taormina in August 2012! C. Coello Coello, J. Greensmith, N. Krasnogor, P. Lio', G. Nicosia, M. Pavone. -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy tel: 0039 095 7383038 fax: 0039 095 330094 Email: mpavone at dmi.unict.it http://www.dmi.unict.it/mpavone/ ------------------------------------------------ From geoff at cs.miami.edu Mon May 28 12:51:41 2012 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 28 May 2012 06:51:41 -0400 (EDT) Subject: IJCAR 2012 Call for Participation Message-ID: <20120528105141.DF6CE12152E@mcclellan.cs.miami.edu> ------------------------------------------------------------------------- IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning http://ijcar.cs.man.ac.uk/ Final Call for Participation and ********Early Registration Deadline Extented to May 30th******** ------------------------------------------------------------------------- IJCAR 2012 is a merger of leading events in automated reasoning: * CADE (International Conference on Automated Deduction) * FroCoS (International Symposium on Frontiers of Combining Systems) * FTP (International Workshop on First-order Theorem Proving) * TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods) IJCAR 2012 will be held at the School of Computer Science, University of Manchester, UK, from June 26th to July 1st, 2012. ------------------------------------------------------------------------- Deadlines: * Early registration will end on May 30th (Extented from May 25th), * Late registration will end on June 11th * Very late and on-site registration will never end To register, please follow the registration page on http://ijcar.cs.man.ac.uk/?page_id=40 Please register now! ------------------------------------------------------------------------- Scientific Programme: * 4 Invited Speakers: -- Nikolaj Bjorner, Microsoft Research Redmond, WA, USA -- Yuri Matiyasevich, Steklov Institute of Mathematics, St. Petersburg, Russia -- Robert Nieuwenhuis, Technical University of Catalonia, Barcelona, Spain -- Nicole Schweikardt, University of Frankfurt, Germany * 3 Evening Lectures by the following pioneers of automated reasoning: -- Peter Andrews, Carnegie Mellon University, USA -- Martin Davis, New York University, USA -- John Alan Robinson, Syracuse University, New York, USA * Herbrand Award Presentation -- Melvin Fitting * 32 full papers * 9 system descriptions ------------------------------------------------------------------------- Satellite Events (June 30th - July 1st) Workshops: * Workshop on Automated Theory Exploration (ATX 2012) * Workshop on Synthesis, Verification and Analysis of Rich Models (SVARM 2012) joint with The 7th International Verification Workshop (VERIFY 2012) * Satisfiability Modulo Theories (SMT 2012) * Practical Aspects of Automated Reasoning (PAAR 2012) * Proof eXchange for Theorem Proving (PxTP 2012) * The 4th International Workshop on Invariant Generation (WING 2012) * Uncertainty in Description Logics (UniDL 2012) * The 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012) * The 2nd Joint International Workshop on Strategies in Rewriting, Proving and Programming (IWS 2012) * Workshop on Logics for Resources, Processes, and Programs (LRPP 2012) * The 26th International Workshop on Unification (UNIF 2012) * StarExec * OWL Reasoner Evaluation Workshop * Automated Reasoning for Enterprise Information Systems (AREIS 2012) Competitions: * CADE ATP System Competition (CASC-J6) * SMT Competition (SMT-COMP 2012) * Termination Competition 2012 * OWL Reasoner Evaluation ------------------------------------------------------------------------- We take this opportunity to remind you that IJCAR 2012 is part of the Alan Turing Year, and is held immediately after The Alan Turing Centenary Conference http://www.turing100.manchester.ac.uk/ It is expected that Manchester will be a busy place during these meetings, so please try to register and book your hotels early. You will find some accommodation suggestions at the IJCAR website. We are grateful to generous sponsors of IJCAR 2012 * The University of Manchester * Artificial Intelligence Journal * Microsoft Research ------------------------------------------------------------------------- We are looking forward to seeing you in Manchester, Andrei, Bernhard, Birte, Dale, Geoff, Konstantin, and Uli ------------------------------------------------------------------------- From oshanis at gmail.com Mon May 28 14:02:24 2012 From: oshanis at gmail.com (Oshani Seneviratne) Date: Mon, 28 May 2012 08:02:24 -0400 Subject: Call for Evaluations and Experiments ISWC 2012 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 Jérôme Euzenat, INRIA & LIG, France Josiane Xavier Parreira, DERI - National University of Galway, Ireland Follow ISWC 2012 on Twitter https://twitter.com/#!/iswcboston From tsoumakas at gmail.com Mon May 28 17:34:45 2012 From: tsoumakas at gmail.com (Grigorios Tsoumakas) Date: Mon, 28 May 2012 18:34:45 +0300 Subject: ECML PKDD 2012 Discovery Challenge on Large Scale Hierarchical Text Classification Message-ID: ECML PKDD 2012 Discovery Challenge: Third Challenge on Large Scale Hierarchical Text Classification Web site: http://lshtc.iit.demokritos.gr/ Email: lshtc_info at iit.demokritos.gr This year's discovery challenge hosts the third edition of the successful PASCAL challenges on large scale hierarchical text classification. The challenge comprises three tracks and it is based on two large datasets created from the ODP web directory (DMOZ) and Wikipedia. The datasets are multi-class, multi-label and hierarchical. The number of categories ranges between 13,000 and 325,000 roughly and the number of documents between 380,000 and 2,400,000. The tracks of the challenge are organized as follows: 1. Standard large-scale hierarchical classification a) On collection of medium size from Wikipedia b) On a large collection from Wikipedia 2. Multi-task learning, based on both DMOZ and Wikipedia category systems 3. Refinement-learning a) Semi-Supervised approach b) Unsupervised approach In order to register for the challenge and gain access to the datasets you must have an account at the challenge Web site. *** Please note that participants can now upload intermediary results on the web site and track the progress of their work! Important dates: - March 30, start of the challenge - April 20, opening of the evaluation - June 29, closing of evaluation - July 20, paper submission deadline - August 3, paper notifications Organizers - Ion Androutsopoulos, AUEB, Athens, Greece - Thierry Artieres, LIP6, Paris, France - Patrick Gallinari, LIP6, Paris, France - Eric Gaussier, LIG, Grenoble, France - Aris Kosmopoulos, NCSR "Demokritos" & AUEB, Athens, Greece - George Paliouras, NCSR "Demokritos", Athens, Greece - Ioannis Partalas, LIG, Grenoble, France -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sebastian.sardina at rmit.edu.au Tue May 29 13:31:09 2012 From: sebastian.sardina at rmit.edu.au (Sebastian Sardina) Date: Tue, 29 May 2012 21:31:09 +1000 Subject: 2nd CFP: The 25th Australasian Joint Conference on Artificial Intelligence (AI'12) - 1 month to submission deadline & venue confirmed! Message-ID: [Apologies for cross-posting and re-posting] ------------------------------------------------------------ AI'12 Call for Papers The 25th Australasian Joint Conference on Artificial Intelligence (AI’12) 4-7 December 2012 Sydney, Australia http://25thAnniversaryAustralasianAI.org or http://ai12.org Since the first AI Conference took place in Sydney in 1987, the series of annual Australasian Joint Conferences on Artificial Intelligence have become the premier event for Artificial Intelligence researchers in Australasia and one of the major international forums on AI worldwide. For its 25th anniversary, the Australasian Joint Conference on Artificial Intelligence will return to Sydney in December 2012, jointly hosted by The University of Western Sydney and The University of New South Wales. 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: Paper submission 29 June 2012 Workshop/Tutorial proposals 29 June 2012 Notification of acceptance 15 August 2012 Camera-ready submission 14 September 2012 Early registration 31 October 2012 Conference Committee: GENERAL CHAIRS Simeon Simoff, University of Western Sydney Maurice Pagnucco, University of New South Wales PROGRAM CHAIRS Dongmo Zhang, University of Western Sydney Michael Thielscher, University of New South Wales LOCAL ARRANGEMENTS CHAIRS Yan Zhang, University of Western Sydney Abhaya Nayak, Macquarie University AWARD SELECTION CHAIR Toby Walsh, National ICT Australia (NICTA) WORKSHOP/TUTORIAL CHAIR Hans Guesgen, Massey University, New Zealand PUBLICITY CHAIR Sebastian Sardina, RMIT University SPONSORSHIP CHAIRS Sumeet Kumar, Telstra Enterprise & Government Laurence Park, University of Western Sydney CONFERENCE COORDINATOR David Rajaratnam, University of New South Wales AI CHALLENGES COORDINATOR Anton Bogdanovych, University of Western Sydney From C.Orasan at wlv.ac.uk Tue May 29 16:25:55 2012 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Tue, 29 May 2012 14:25:55 +0000 Subject: CFP: JapTAL2012, the 8th International Conference on Natural Language Processing (extended deadline) Message-ID: <1338301555.5721.6.camel@dinel-desktop> [Apologies for cross-posting, but feel free to forward] JapTAL2012, the 8th International Conference on Natural Language Processing, 22-24 October 2012 Kanazawa, Japan http://lang.cs.tut.ac.jp/JapTAL2012/ Paper submission deadline: 25 June 2012 (extended) We are pleased to invite participation in JapTAL2012 organised by the Toyohashi University of Technology (TUT). OVERVIEW JapTAL is the eighth in the series of the TAL conferences, following IceTAL 2010 (Reykjavik, Iceland), GoTAL 2008 (Gothenburg, Sweden), FinTAL 2006 (Turku, Finland), EsTAL 2004 (Alicante, Spain), PorTAL 2002 (Faro, Portugal), VexTAL 1999 (Venice, Italy) and FracTAL 1997 (Besancon, France). The main purpose of the TAL conference series is to bring together scientists representing linguistics, computer science and related fields, sharing a common interest in the advancement of computational linguistics and natural language processing. The conference will consist of keynote talks, oral and poster presentations, invited sessions and workshops, on the applications and theory of natural language processing and related areas. It will provide excellent opportunities for the presentation of interesting new research results and discussion about them, leading to knowledge transfer and the generation of new ideas. The conference will take place in the city of Kanazawa, a leading tourist city where 7 million tourists visit every year. It was a great castle town ruled by an influential leader from the 17th century to the second half of the 19th century. Kanazawa has not suffered from any war devastation or big natural disaster up to now. Therefore, Kanazawa maintains rows of historical houses and inherits traditional handicrafts and traditional performing arts. CALL FOR PAPERS Papers are invited on recent, substantial, original and unpublished research on all aspects of computational linguistics and natural language and speech processing. We welcome submissions both from academia and the industry on any topic that is of interest to the NLP community, encouraging research emphasizing multidisciplinary aspects of NLP and the interplay between linguistics, computer science and application domains such as biomedicine, communication systems, public services, and educational technology. IMPORTANT DATES Paper submission deadline: 25 June 2012 (extended) Notification of acceptance: 30 July 2012 Camera-ready copy and author registration: 14 August 2012 Prospective authors are invited to submit full papers (12 pages maximum) and/or short papers (5 pages maximum) by the submission deadline through the online submission system (URL available on the conference website). Conference Chair Hitoshi Isahara, Toyohashi University of Technology, Japan Local Arrangements Chair Kyoko Kanzaki, National Institute of Japanese Language and Linguistics, Japan Full committee to be announced. -- Dr. Constantin Orasan Senior Lecturer in Computational Linguistics Deputy Head of the Research Group in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton From M.M.Dastani at uu.nl Tue May 29 19:25:57 2012 From: M.M.Dastani at uu.nl (Mehdi Dastani) Date: Tue, 29 May 2012 19:25:57 +0200 Subject: CFP CLIMA: Special session on Logics for Multi-Agent Programming (Deadline extension June 3th) Message-ID: <4FC506A5.5050306@uu.nl> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Special session on *** Logics for Multi-Agent Programming *** CLIMA XIII 13th International Workshop on Computational Logic in Multi-Agent Systems http://www.csc.liv.ac.uk/~michael/clima2012sessions.html Montpellier, France, August 27-28, 2012 *** Extended submission deadline *** *** June 3 (abstracts June 1) *** Affiliated with ECAI 2012 Submission deadline: 28 May 2012 Call for Papers ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ INTRODUCTION The development of multi-agent systems requires programming languages to implement individual agents, the organisation in which they operate, and the environment with which they interact. Logic plays a fundamental role in the multi-agent programming research field. Executable logic specifications and logic programming can be used to implement multi-agent systems. Logic reasoning engines can be used in the interpreters of multi-agent programming languages to reason about components of multi-agent systems such as an agent's goals and beliefs, the norms and commitments within the agents' organisation, or the state of the agents' environment. Finally, logic can be used to specify the syntax and semantics of multi-agent programming languages, or to verify and reason about multi-agent programs. This special session on Logics for multi-agent programming invites contributions focusing on the use of logic in multi-agent programming research field. - Logical foundation of multi-agent programming - Logical semantics for multi-agent programming languages - Logics for specification and verification of multi-agent programs - Knowledge representation and reasoning for multi-agent programming SUBMISSION We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Papers are submitted to the special session by following the submission instructions for CLIMA: http://www.csc.liv.ac.uk/~michael/clima2012subs.html The special session on Logics for Multi-Agent Programming is chosen under "category" in Easychair. PROCEEDINGS AND POST-PROCEEDINGS LNCS Proceedings: All the accepted papers (including special session papers) will be published by Springer as a volume in Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Important dates: * Submission (extended): June 3 (abstracts June 1) * Notification: June 16th * Camera Ready: June 23rd Special Session Organiser: * Mehdi Dastani, Utrecht University, The Netherlands In case of questions, please do not hesitate to contact us at m.m.dastani at uu.nl (enquiries particularly related to the special session) or clima13 at easychair.org (general CLIMA enquiries). -- Mehdi Dastani Intelligent Systems Group Utrecht University P.O.Box 80.089 3508 TB Utrecht The Netherlands Tel: +31 - 30 - 253 3599 Fax: +31 - 30 - 251 3791 URL:http://www.cs.uu.nl/~mehdi From marc.denecker at cs.kuleuven.be Tue May 29 19:18:51 2012 From: marc.denecker at cs.kuleuven.be (Marc Denecker) Date: Tue, 29 May 2012 19:18:51 +0200 Subject: LaSh'2012 : deadline extension - June 4 Message-ID: <4FC504FB.6080906@cs.kuleuven.be> ----------------------------------------------------------------------- LaSh'2012 Fourth Workshop on Logic and Search August 27, 2012, Montpellier www.logicandsearch.org/LaSh2012 An ECAI 2012 Workshop ----------------------------------------------------------------------- Recently, strong progress was made in various areas concerned with search problems. Such problems arise in virtually all application domains and branches of computer science. Fueled by the availability of powerful solver technologies developed in areas such as SAT, Constraint Programming, Integer Programming, ASP, SMT and others, several important developments take place. One trend is an exponentially growing diversification of the application fields of these solvers: system configuration, timetabling, job scheduling, planning, software and hardware verification, bioinformatics, music composition, etc. On the level of solvers, a trend is integration of technologies. Architectures are developed that allow to combine these technologies into flexible, configurable systems that solve much broader classes of problems more effectively. On the modeling level, we see the emergence of increasingly expressive modeling languages, as witnessed in Constraint Programming, SMT and ASP. The goal of the LaSh workshops is to bring together researchers from all relevant areas to foster the exchange and development of ideas in both theory and practice of logic-based methods for combinatorial problem solving. LaSh is an occasion to discuss specific technical problems, formulate challenges and opportunities, compare and contrast techniques of different groups, and examine possible synergies and integrations. LaSh 2012 follows LaSh 2006, an ICLP workshop at FLoC 2006 (www.easychair.org/FLoC-06/LaSh.html), LaSh 2008, two day stand-alone workshop (www.cs.kuleuven.be/~dtai/LaSh08), and LaSh 2010, a satellite workshop of FloC 2010 and ICLP, Edinburgh, UK (http://logicandsearch.org/LaSh2010/web/Home.html). We invite contributions to modeling languages, methodology, theory, algorithms and systems. To facilitate discussion of the most relevant current research, we welcome submission of previously-published research as well as new work. Topics of interest include, but are not limited to: * modeling languages and techniques * logics * modularity in languages and solvers * solver design and implementation * integration of solver technologies * expressiveness and complexity * algorithms for grounding and solving * logics-based methods for optimization problems * new applications * system descriptions * experimental evaluations LaSh 2012 will feature invited talks, technical paper sessions, a special session on integration and modularity, a demo session, and a panel/open problem session. INVITED SPEAKERS Konstantin Korovin, University of Manchester, United Kingdom, " Recent Advances in Instantiation-Based First-Order Reasoning " Leonardo de Moura, Microsoft Research, USA, to be announced. Peter Baumgartner, NICTA, Australia, "Integrating Arithmetic into First-Order Theorem Proving - Still a Challenge" SPECIAL SESSION ON SYSTEM INTEGRATION AND EXPLOITING MODULARITY Modularity is essential for modelling languages as it enables to master the description of complex systems and domains by splitting in smaller parts and composing descriptions of the whole domain from smaller independent components. Modularity issues are also essential in the implementation of systems. Model generators, model expanders, answer set programming systems, constraint systems, SMT solvers are developed for increasingly rich languages and include more and more different technologies from SAT, CP and ASP to handle specific language constructs. Integrating these technologies in one system and/or tuning the solver to use the appropriate technology for a set of expressions in a particular application is a challenging problem. So far, these aspects have been given only limited attention. Not much work on this topic has been published. The goal of this special session is to begin to improve this situation. PROCEEDINGS The workshop proceedings will be informal and electronic. SUBMISSIONS We welcome submissions of three kinds: * Regular technical papers, presenting previously unpublished research; * Short papers (system descriptions; work in progress; position papers); * Presentation-only papers, presenting research that is highly relevant but which will have previously been presented elsewhere. (Authors may elect to have such papers excluded from the proceedings.) At the time of submission, authors are requested to clearly specify whether their submission is new or previously published, by adding (New Work) or (Presentation Only) as an additional line in the paper title. Each submissions will be reviewed by at least two members of the program committee. Submissions may be in any common format, such as LNCS, AAAI and Easychair. We prefer that submissions not exceed the equivalent of 15 LNCS pages (5 pages for short papers). Authors should submit a PDF file via Easychair, at http://www.easychair.org/conferences/?conf=lash2012 IMPORTANT DATES Paper Submission: 4 June, 2012 - extended deadline Notification of Acceptance: 28 Jun, 2012 Camera Ready Deadline: 6 August, 2012 Workshop: 27 August, 2012 CONFERENCE ORGANIZERS Marc Denecker, KU Leuven, Belgium Tomi Janhunen, Aalto University, Finland PROGRAM COMMITTEE Armin Biere, Johannes Kepler University, Austria Koen Claessen, Chalmers University of Technology, Sweden Adnan Darwiche, University of California, Los Angeles, USA Leonardo de Moura, Microsoft, USA Thomas Eiter, Vienna University of Technology, Austria Wolfgang Faber, University of Calabria, Italy Alan Frisch, University of York, United Kingdom Enrico Giunchiglia, University of Genova, Italy Daniel LeBerre, Universite d'Artois, France Ines Lynce, INESC-ID Lisboa, Portugal Pierre Marquis, Universite d'Artois, France Tony Mancini, Sapienza Universita di Roma, Italy David Mitchell, Simon Fraser University, Canada Albert Oliveras, Technical University of Catalonia, Spain Barry O'Sullivan, University College Cork, Ireland Jussi Rintanen, Australian National University, Australia Torsten Schaub, Universitat Potsdam, Germany Eugenia Ternovska, Simon Fraser University, Canada Mirek Truszczynski, University of Kentucky, USA Emina Torlak, LogicBlox, USA Victor Marek, University of Kentucky, USA Toby Walsh, University of New South Wales, Australia WORKSHOP CO-CHAIRS Marc Denecker KU Leuven Leuven Belgium tel: +32 (0)16/327557 fax: +32 (0)16/327996 mail: Marc.Denecker at cs.kuleuven.ac.be http://www.cs.kuleuven.ac.be/~marcd/ Tomi Janhunen Aalto University Helsinki Finland tel: +358 9 470 23255 Fax: +358 9 470 23369 mail: Tomi.Janhunen at aalto.fi http://users.ics.tkk.fi/ttj/ Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm From invitation at iariaannounce.org Tue May 29 21:03:43 2012 From: invitation at iariaannounce.org (DataSys 2012) Date: Tue, 29 May 2012 15:03:43 -0400 Subject: Deadline Extension: DataSys 2012: October 21 - 26, 2012 - Venice, Italy Message-ID: <1338318223291.778@iariaannounce.org> INVITATION: The submission deadline is extended to June 18, 2012. Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events under DataSys 2012. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= DataSys 2012: October 21 - 26, 2012 - Venice, Italy see: http://www.iaria.org/conferences2012/DataSys12.html DataSys 2012 is a federated event focusing on communications, information mining and management, mobility, and global health. Submission (full paper) deadline: June 18, 2012 Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html. For details on the each conference's topics, see the individual Call for Papers for each conference. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. Extended versions of selected papers will be published in IARIA on-line Journals (http://www.iariajournals.org) and in Special issues of different journals mentioned on the entry page of each conference. All tracks/topics are open to both research and industry contributions. -- INFOCOMP 2012, The Second International Conference on Advanced Communications and Computation http://www.iaria.org/conferences2012/INFOCOMP12.html -- IMMM 2012 , The Second International Conference on Advances in Information Mining and Management http://www.iaria.org/conferences2012/IMMM12.html -- SOTICS 2012, The Second International Conference on Social Eco-Informatics http://www.iaria.org/conferences2012/SOTICS12.html -- MOBILITY 2012, The Second International Conference on Mobile Services, Resources, and Users http://www.iaria.org/conferences2012/MOBILITY12.html -- GLOBAL HEALTH 2012, The First International Conference on Global Health Challenges http://www.iaria.org/conferences2012/GLOBALHEALTH12.html -- INNOV 2012, The First International Conference on Communications, Computation, Networks and Technologies http://www.iaria.org/conferences2012/INNOV12.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about DataSys, please reply with "DROP DataSys 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 pmt6sbc at maths.leeds.ac.uk Wed May 30 12:09:14 2012 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Wed, 30 May 2012 11:09:14 +0100 (BST) Subject: CiE 2012 Turing Centenary Conference, Cambridge - Final Call for Participation Message-ID: <201205301009.q4UA9E5P022742@maths.leeds.ac.uk> ********************************************************************** CiE 2012 FINAL CALL FOR PARTICIPATION: TURING CENTENARY CONFERENCE http://www.cie2012.eu Computability in Europe 2012: How the World Computes University of Cambridge Cambridge, 18-23 June 2012 CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, artificial intelligence, philosophy and computational aspects of physics, biology, linguistics, economics and the wider scientific world. CiE 2012 is planned to be an event worthy of the remarkable scientific career it commemorates, and will be the largest ever conference centred on the Computability Theoretic legacy of Turing and his contemporaries. Current registrations indicate a final participation approaching 400, with over 240 speakers. ONLINE REGISTRATION is invited for this historic event. For registration details, see: http://www.cl.cam.ac.uk/~amp66/CiE%20Homepage/ ONLINE REGISTRATION DEADLINE: JUNE 8th, 2012 PLENARY SPEAKERS include: Andrew Hodges (Oxford, Special Public Lecture), Ian Stewart (Warwick, Special Public Lecture), Dorit Aharonov (Jerusalem), Veronica Becher (Buenos Aires), Lenore Blum (Carnegie Mellon, The 2012 APAL Lecture), Rodney Downey (Wellington), Yuri Gurevich (Microsoft, The EACSL Lecture), Juris Hartmanis (Cornell), Richard Jozsa (Cambridge, jointly organised lecture with King's College), Stuart Kauffman (Vermont/ Santa Fe), James Murray (Oxford/Princeton, Microsoft Research Lecture), Stuart Shieber (Harvard), Paul Smolensky (Johns Hopkins) and Leslie Valiant (Harvard, jointly organised lecture with King's College). SPECIAL SESSIONS include: * Cryptography, Complexity, and Randomness Chairs: Rod Downey and Jack Lutz Speakers: Eric Allender, Laurent Bienvenu, Lance Fortnow, Valentine Kabanets, Omer Reingold, Alexander Shen * The Turing Test and Thinking Machines Chairs: Mark Bishop and Rineke Verbrugge Speakers: Bruce Edmonds, John Preston, Susan Sterrett, Kevin Warwick, Jiri Wiedermann + Panel Discussion on Future Directions * Computational Models After Turing: The Church-Turing Thesis and Beyond Chairs: Martin Davis and Wilfried Sieg Speakers: Giuseppe Longo, Peter Nemeti, Stewart Shapiro, Matthew Szudzik, Philip Welch, Michiel van Lambalgen * Morphogenesis/Emergence as a Computability Theoretic Phenomenon Chairs: Philip Maini and Peter Sloot Speakers: Jaap Kaandorp, Shigeru Kondo, Nick Monk, John Reinitz, James Sharpe, Jonathan Sherratt * Open Problems in the Philosophy of Information Chairs: Pieter Adriaans and Benedikt Loewe Speakers: Patrick Allo, Luis Antunes, Mark Finlayson, Amos Golan, Ruth Millikan + Panel Discussion on Future Directions * The Universal Turing Machine, and History of the Computer Chairs: Jack Copeland and John Tucker Speakers: Jack Copeland, Steven Ericsson-Zenith, Ivor Grattan-Guinness, Mark Priestley, Bruno Scarpellini, Robert I. Soare, John Tucker There will be the annual Women in Computability Workshop, supported by a grant from Elsevier, with contributions from Lenore Blum, Dorit Aharonov and Ann Copestake. PROGRAMME COMMITTEE: * Samson Abramsky (Oxford) * Pieter Adriaans (Amsterdam) * Franz Baader (Dresden) * Arnold Beckmann (Swansea) * Mark Bishop (London) * Paola Bonizzoni (Milan) * Luca Cardelli (Cambridge) * Douglas Cenzer (Gainesville) * S Barry Cooper (Leeds, Co-chair) * Ann Copestake (Cambridge) * Anuj Dawar (Cambridge, Co-chair) * Solomon Feferman (Stanford) * Bernold Fiedler (Berlin) * Luciano Floridi (Hertfordshire) * Martin Hyland (Cambridge) * Marcus Hutter (Canberra) * Viv Kendon (Leeds) * Stephan Kreutzer (Oxford) * Ming Li (Waterloo) * Benedikt Loewe (Amsterdam) * Angus MacIntyre (London) * Philip Maini (Oxford) * Larry Moss (Bloomington) * Amitabha Mukerjee (Kanpur) * Damian Niwinski (Warsaw) * Dag Normann (Oslo) * Prakash Panangaden (Montreal) * Jeff Paris (Manchester) * Brigitte Pientka (Montreal) * Helmut Schwichtenberg (Munich) * Wilfried Sieg (Carnegie Mellon) * Mariya Soskova (Sofia) * Bettina Speckmann (Eindhoven) * Christof Teuscher (Portland) * Peter van Emde Boas (Amsterdam) * Jan van Leeuwen (Utrecht) * Rineke Verbrugge (Groningen) ORGANISING COMMITTEE: Arnold Beckmann (Swansea), Luca Cardelli (Cambridge), S Barry Cooper (Leeds), Ann Copestake (Cambridge), Anuj Dawar (Cambridge, Chair), Bjarki Holm (Cambridge), Martin Hyland (Cambridge), Benedikt Löwe (Amsterdam), Arno Pauly (Cambridge), Andrew Pitts (Cambridge) The conference is sponsored by the ASL, EACSL, EATCS, Elsevier, the IET, IFCoLog, King's College Cambridge, IOS Press, Springer, Science Magazine, The University of Cambridge and Microsoft Research. For a small poster to download and display: http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/Images/cie12.poster.1000x1400.png Contact: cie-2012 at cl.cam.ac.uk ********************************************************************** From kuhntobias at gmail.com Thu May 31 15:15:44 2012 From: kuhntobias at gmail.com (Tobias Kuhn) Date: Thu, 31 May 2012 09:15:44 -0400 Subject: CNL 2012: Call for Demonstrations Message-ID: <4FC76F00.1060008@gmail.com> --------------------------------------------------------------------- Call for Demonstrations *** THIRD WORKSHOP ON CONTROLLED NATURAL LANGUAGE (CNL 2012) *** 29-31 August 2012 Zurich, Switzerland http://attempto.ifi.uzh.ch/site/cnl2012/ --------------------------------------------------------------------- We are currently preparing the program of CNL 2012 that will consists of two invited talks, 12 submitted talks and two plenary demo sessions. There will be one demo session for academic systems and one for systems from industry. We invite submissions for system demonstrations at CNL 2012. The length of the individual demo presentation will depend on the number of demos. We plan to give some extra time for industry demos. If you are interested in giving a demo at CNL 2012, please respond to this email with a title and a short description (about 3 sentences) not later than 29 June 2012. Please also indicate the type of your demo (academic or industry). We may accept submissions we receive after the deadline as long as we still have free demo slots.