From newsletter at saso-conference.org Mon May 2 09:21:09 2016 From: newsletter at saso-conference.org (=?utf-8?b?SmFuLVBoaWxpcHAgU3RlZ2jDtmZlcg==?=) Date: Mon, 2 May 2016 09:21:09 +0200 Subject: =?utf-8?b?RXh0ZW5kZWQgRGVhZGxpbmU6IFNBU08gMjAxNiAtIElFRUUgSW50ZXJu?= =?utf-8?b?YXRpb25hbCBDb25mZXJlbmNlIG9uIFNlbGYtQWRhcHRpdmUgYW5kIFNl?= =?utf-8?b?bGYtT3JnYW5pemluZyBTeXN0ZW1zLCBTZXB0ZW1iZXIgMTItMTYsIEF1?= =?utf-8?b?Z3NidXJnLCBHZXJtYW55?= Message-ID: ************************************************************************* CALL FOR PAPERS Tenth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016) EXTENDED DEADLINES: Extended abstract submission: May 13, 2016 Extended paper submission: May 23, 2016 Augsburg, Germany; 12-16 September 2016 http://uni-augsburg.de/saso2016 @SASO2016Conf ************************************************************************* Part of FAS* - Foundation and Applications of Self* Computing Conferences Co-located with: The International Conference on Cloud and Autonomic Computing (ICCAC 2016) http://iccac2016.se.rit.edu Due to popular demand, the submission deadlines for both abstracts and papers have been extended: Extended abstract submission: May 13, 2016 Extended paper submission: May 23, 2016 ------------------- Aims and Scope ------------------- The aim of the Self-Adaptive and Self-Organizing systems conference series (SASO) is to provide a forum for the foundations of a principled approach to engineering systems, networks, and services based on self-adaptation and self-organization. The complexity of current and emerging networks, software, and services, especially when dealing with dynamics in the environment and problem domain, has led the software engineering, distributed systems, and management communities to look for inspiration in diverse fields (e.g., complex systems, control theory, artificial intelligence, sociology, and biology) to find new ways of designing and managing such computing systems. In this endeavor, self-organization and self-adaptation have emerged as two promising interrelated approaches. They form the basis for many other self-* properties, such as self-configuration, self-healing, or self-optimization. Systems exhibiting such properties are often referred to as self-* systems. The tenth edition of the SASO conference embraces the inter-disciplinary nature and the scientific, empirical, and application dimensions of self-* systems and welcomes novel results on both self-adaptive and self-organizing systems research. The topics of interest include, but are not limited to: - Systems theory: theoretical frameworks and models; biologically- and socially-inspired paradigms; inter-operation of self-* mechanisms; - Systems techniques: techniques to specify and analyze self-* systems, like statistical physics, machine learning, multi-agent systems, or other novel techniques; - Systems engineering: reusable mechanisms, design patterns, architectures, methodologies; software and middleware development frameworks and methods, platforms and toolkits; hardware; self-* materials; governance of self-* systems, emergent behavior in self-* systems; - System properties: robustness, resilience, and stability; emergence; computational awareness and self-awareness; reflection; anti-fragility; - Cyber-physical and socio-technical systems: human factors and visualization; self-* social computers; crowdsourcing and collective awareness; human-in-the-loop; - Data-driven approaches: data mining; machine learning; data science and other statistical techniques to analyze, understand, and manage behavior of complex systems; - Education: experience reports; curricula; innovative course concepts; methodological aspects of self-* systems education; - Ethics and Humanities in self-* systems; - Applications and experiences with self-* systems in any of the following domains: + Smart-*: application of self-* principles to smart-grids, smart-cities, smart-environments, smart-vehicles + Industrial automation: embedded self-* systems, adaptive industrial plants, smart industries (Industry 4.0) + Transportation: autonomous vehicles, coordination between vehicles, pedestrians, and infrastructure, and traffic optimization + Unmanned systems: aerial vehicles, undersea vehicles, other robotic platforms + Internet of Things: challenges, applications, and benefits; self-* for network management, self-* applied to Cybersecurity We are looking for contributions that present novel theoretical or experimental results, novel design patterns, mechanisms, system architectures, frameworks or tools, or practical approaches and experiences in building or deploying real-world systems and applications. Contributions contrasting different approaches for engineering a given family of systems, or demonstrating the applicability of a certain approach for different systems, are equally encouraged. Likewise, papers describing substantial innovation or insights in the use and communication of self-* systems in the classroom are welcome. Where relevant and appropriate, accepted papers will also be encouraged to participate in the Demo or Poster Sessions. ------------------------------ Important Dates (Updated!) ------------------------------ Extended abstract submission: May 13, 2016 Extended paper submission: May 23, 2016 Notification: June 23, 2016 Camera ready copy due: July 5, 2016 Conference: September 12-16, 2016 ---------------------------- Submission Instructions ---------------------------- Submissions can be up to 10 pages, formatted according to the standard IEEE Computer Society Press proceedings style guide, and submitted electronically in PDF format. Please register as authors and submit your papers using the SASO 2016 conference management system https://easychair.org/conferences/?conf=saso2016. The proceedings will be published by IEEE Computer Society Press, and made available as a part of the IEEE Digital Library. Note that a separate Call for Poster and Demo Submissions will also be issued. As per the standard IEEE policies, all submissions should be original, i.e., they should not have been previously published in any conference proceedings, book, or journal and should not currently be under review for another archival conference. We also highlight IEEE’s policies regarding plagiarism and self-plagiarism (http://www.ieee.org/publications_standards/publications/rights/ID_Plagiarism.html). --------------------- Review Criteria --------------------- Papers should present novel ideas in the cross-disciplinary research context described in this call, motivated by problems from current practice or applied research. Both theoretical and empirical contributions should be highlighted, substantiated by formal analysis, simulation, experimental evaluations, comparative studies, and so on. Appropriate references must be made to related work. Because SASO is a cross-disciplinary conference, we encourage papers to be intelligible and relevant to researchers who are not members of the same specialized sub-field. Authors are also encouraged to submit papers describing applications. Application papers should provide an indication of the real world relevance of the problem that is solved, including a description of the deployment domain, and some form of evaluation of performance, usability, or comparison to alternative approaches. Experience papers are also welcome, especially if they highlight insights into any aspect of design, implementation or management of self-* systems that would be of benefit to practitioners and the SASO community. All submissions will be rigorously peer reviewed and evaluated on the basis of the quality of their technical contribution, originality, soundness, significance, presentation, understanding of the state of the art, and overall quality. ------------------------------- Conference General Chair ------------------------------- Wolfgang Reif University of Augsburg, DE -------------------- Program Chairs -------------------- Giacomo Cabri, University of Modena and Reggio Emilia, IT Gauthier Picard, École Nationale Supérieure des Mines de Saint-Étienne, FR Niranjan Suri, Florida Institute of Human and Machine Cognition, FL, USA From cfp at dsi.uminho.pt Mon May 2 10:30:15 2016 From: cfp at dsi.uminho.pt (Filipe Portela) Date: Mon, 2 May 2016 09:30:15 +0100 Subject: =?UTF-8?Q?ISA=e2=80=99HEALTH_2016_-_Workshop_on_Intelligent_System_?= =?UTF-8?Q?and_Applications_in_Healthcare_-_Call_for_Papers_=28May=2c_09=29?= In-Reply-To: <3783013e-3530-e38b-450e-665046de5cc1@dsi.uminho.pt> References: <3783013e-3530-e38b-450e-665046de5cc1@dsi.uminho.pt> Message-ID: <0b896dba-4f98-8e07-ad24-e86c6cf33965@dsi.uminho.pt> (apologies for cross-posting) ****************************************************************** CFP: Workshop on Intelligent System and Applications in Healthcare (ISA’HEALTH 2016) 18th IEEE Conference on Business Informatics Paris, France, August 29 - September 1 2016. Webpage: algoritmi.uminho.pt/isahealth2016 ****************************************************************** IMPORTANT DATES Deadline for paper submission: May 9, 2016 Notification of paper acceptance: May, 31, 2016 Camera-ready papers due: June, 18, 2016 Conference dates: August 29 - September 1 2016. IMPORTANT NEWS IEEE Conference Scopus and ISI index INTRODUCTION The workshop is framed in the main conference topics, being this an exploration of the main topic (Business Informatics) applied in a specific area, healthcare. The main goal of this workshop is presenting innovative and exciting works and promoting the discussion about how the Intelligent Systems can contribute to improve the quality of the decision process in healthcare. This workshops involves all the topics associated to Business Informatics when applied to healthcare. The Business goal in Healthcare is increasing the quality of services in healthcare reducing costs. This objective contributes to improving the quality of life of patients, in some cases reducing mortality and morbidity. To achieve this goal, the use of intelligent system in the decision process becomes essential. This workshop is focused on demonstrating how to take advantages of using Computer Intelligence, ensuring interoperability and security, overcoming local and temporal barriers in order to support the society needs and the development of innovative systems and applications to support Healthcare decision support. ISA’Health 2016 will bring together the researchers who are working in the area of Intelligent System and Business Informatics. The cross-domain integration and appraisal of different fields related to Intelligent Systems and Applications provides an atmosphere to foster variety of perspectives and opinions. TOPICS OF INTEREST This workshop is looking for new and innovative ways to support the decision process in healthcare taking advantages from the use of intelligent systems and applications. ISA’Health is a good opportunity to researchers disseminate their contributions and presenting new and useful solutions to the community. Innovative and exciting works are welcome in the Healthcare are including but not limited to: • Business Intelligence and Data Mining; • Data and Knowledge Engineering; • Data Security and Protection; • Information Systems Integration & Interoperability; • Intelligent Decision Support Systems; • Intelligent System and Big Data; • Intelligent Systems and Applications applied to society solutions • Intelligent Systems based in Artificial Intelligence; • Intelligent Systems in the storage, update, and transmission of data; • Knowledge discovery, extraction and reasoning; • Life-styling solutions; • Mobile and ubiquitous solutions; • Multi-Agent Systems; • Pervasive Intelligent Systems and applications; • Semantic Interoperability; • Sensor-based systems; • Simulation Systems; • Standards for interoperability. PAPER SUBMISSION To submit a paper, please first upload an abstract of maximum 250 words, via: https://easychair.org/conferences/?conf=isahealth2016. The full paper is required before May 9th 2016. The format of regular, position papers and case studies should follow the IEEE conference style: http://www.ieee.org/conferences_events/conferences/publishing/templates.html. Recommended paper length is up to 10 pages. Only PDF files are accepted. Important note: since the review process is double-blind, please make sure that your names and affiliations are not listed in the paper submitted for review. When submitting a paper, authors are expected to name the Track (optionally, two ordered Tracks) they feel most related to. ORGANIZING COMMITTEE José Machado, University of Minho, Portugal António Abelha, University of Minho, Portugal Manuel Santos, University of Minho, Portugal Filipe Portela, University of Minho and Polytechnic Institute of Oporto, Portugal From ph_r at gmx.net Mon May 2 16:21:10 2016 From: ph_r at gmx.net (=?UTF-8?Q?Philipp_R=c3=bcmmer?=) Date: Mon, 2 May 2016 16:21:10 +0200 Subject: International SAT/SMT/AR Summer School: Final call for participation Message-ID: <57276256.1000205@gmx.net> [ Apologies for multiple copies ] ========================================================================= FINAL CALL FOR PARTICIPATION International SAT/SMT/AR Summer School Instituto Superior Técnico (IST/UL), University of Lisbon Lisbon, Portugal, June 22-25, 2016 http://ssa-school-2016.it.uu.se/ ========================================================================= EXTENDED APPLICATION DEADLINE: May 15th, 2016 Full details of the application and registration procedure are available at the school website (http://ssa-school-2016.it.uu.se/). ABOUT: Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR) continue to make rapid advances and find novel uses in a wide variety of applications, both in computer science and beyond. The SAT/SMT/AR Summer School aims to bring a select group of students up to speed quickly in this exciting research area. The lectures cover both foundational and practical aspects of SAT, SMT, and AR technologies, and their application. The school is the first SAT/SMT/AR Summer School, but continues the successful line of SAT/SMT Summer Schools, which have taken place annually since 2011. The SAT/SMT/AR Summer School will take place on June 22-25 2016 in Lisbon, Portugal, in the week before the IJCAR conference in Coimbra (27 June – 2 July), which in turn is followed by the SAT conference in Bordeaux (July 5-8). The school takes place at the Instituto Superior Técnico (IST/UL), University of Lisbon. INVITED LECTURERS: * Maria Paola Bonacina (Università degli Studi di Verona, Italy) * Supratik Chakraborty (IIT Bombay, India) * Dejan Jovanović (SRI International, USA) * Matti Järvisalo (University of Helsinki, Finland) * Marius Lindauer (University of Freiburg, Germany) * Florian Lonsing (TU Vienna, Austria) * Nuno P. Lopes (Microsoft Research Cambridge, UK) * Jakob Nordström (KTH Royal Institute of Technology, Sweden) * Andrew Reynolds (University of Iowa, USA) * João Marques Silva (University of Lisbon, Portugal) * Laurent Simon (Bordeaux INP, University of Bordeaux, LaBRI-CNRS, France) * Christoph Weidenbach (Max-Planck-Institut für Informatik, Germany) * Thomas Wies (New York University, USA) More details about the programme are available on the school webpage http://ssa-school-2016.it.uu.se/ Organizing committee: Inês Lynce, University of Lisbon Ruzica Piskac, Yale University Philipp Rümmer, Uppsala University From missura.olana at gmail.com Tue May 3 14:43:36 2016 From: missura.olana at gmail.com (Olana Missura) Date: Tue, 3 May 2016 08:43:36 -0400 Subject: ECML-PKDD 2016 Upcoming Deadlines: Demos and Nectar tracks Message-ID: ECML-PKDD 2016 Upcoming Submission DeadlinesDemos Track - Demo submission deadline: Friday, May 13, 2016 - Notification of acceptance: Monday, June 20, 2016 - Camera-ready paper due: Friday, July 1, 2016 Submissions must describe working systems and be based on state-of-the-art machine learning and data mining technology. These systems may be innovative prototype implementations or mature systems that use machine learning techniques and knowledge discovery processes in a real setting. Systems that use basic statistics are not acceptable. A commercial software is not acceptable. The accepted papers for demos will be included in the conference proceedings, to be published by Springer Verlag in the "Lecture Notes in Artificial Intelligence" (LNAI) Series. The demos will be presented in a special demonstration session. At least one of the demo submitters must register for the conference, and perform the demo on site. Additional information about the submission guidelines is available at http://www.ecmlpkdd2016.org/submission.html#call-demos. Nectar Track - Submission deadline: Friday, May 13, 2016 - Notifications of acceptance: Monday, June 20, 2016 - Submission of camera ready copies: Friday, July 1, 2016 The goal of the Nectar Track, started in 2012, is to offer conference attendees a compact overview of recent scientific advances at the frontier of machine learning and data mining with other disciplines, as published in related conferences and journals. We invite senior and junior researchers to submit summaries of their own work published in neighbouring fields, such as (but not limited to) artificial intelligence, data analytics, bioinformatics, games, computational linguistics, natural language processing, computer vision, geoinformatics, health informatics, database theory, human computer interaction, information and knowledge management, robotics, pattern recognition, statistics, social network analysis, theoretical computer science, uncertainty in AI, network science, complex systems science, and computationally oriented sociology, economy and biology, as well as critical data science/studies. Particularly welcome is work that summarises a line of work that comprises older and more recent papers. The described work should be relevant to a broad audience within ECMLPKDD, and (a) illustrate the pervasiveness of data-driven exploration and modelling in science, technology, and the public, as well as innovative applications, and/or (b) focus on theoretical results. Additional information about the submission guidelines is available at http://www.ecmlpkdd2016.org/submission.html#call-nectar. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From valentina.ivanova at liu.se Tue May 3 16:53:12 2016 From: valentina.ivanova at liu.se (Valentina Ivanova) Date: Tue, 3 May 2016 14:53:12 +0000 Subject: [CfP] VOILA 2016 @ ISWC 2016 - Visualization and Interaction for Ontologies and Linked Data Message-ID: <4B07F535C1DBB043B4E107FAA728DD202246ED55@MB2-2010.ad.liu.se> CALL FOR PAPERS VOILA 2016 - Visualization and Interaction for Ontologies and Linked Data 2nd International Workshop at ISWC 2016, 15th International Semantic Web Conference October 17 or 18, 2016, Kobe, Japan http://voila2016.visualdataweb.org -------------------------------------------------- Abstracts Deadline: June 27, 2016 Submission Deadline: July 1, 2016 -------------------------------------------------- Motivation and Objectives ========== 'A picture is worth a thousand words', we often say, yet many areas are in demand of sophisticated visualization techniques, and the Semantic Web is not an exception. The size and complexity of ontologies and Linked Data in the Semantic Web constantly grows and the diverse backgrounds of the users and application areas multiply at the same time. Providing users with visual representations and intuitive interaction techniques can significantly aid the exploration and understanding of the domains and knowledge represented by ontologies and Linked Data. Ontology visualization is not a new topic and a number of approaches have become available in recent years, with some being already well-established, particularly in the field of ontology modeling. In other areas of ontology engineering, such as ontology alignment and debugging, although several tools have recently been developed, few provide a graphical user interface, not to mention navigational aids or comprehensive visualization and interaction techniques. In the presence of a huge network of interconnected resources, one of the challenges faced by the Linked Data community is the visualization of multidimensional datasets to provide for efficient overview, exploration and querying tasks, to mention just a few. With the focus shifting from a Web of Documents to a Web of Data, changes in the interaction paradigms are in demand as well. Novel approaches also need to take into consideration the technological challenges and opportunities given by new interaction contexts, ranging from mobile, touch, and gesture interaction to visualizations on large displays, and encompassing highly responsive web applications. There is no one-size-fits-all solution but different use cases demand different visualization and interaction techniques. Ultimately, providing better user interfaces, visual representations and interaction techniques will foster user engagement and likely lead to higher quality results in different applications employing ontologies and proliferate the consumption of Linked Data. Topics of Interest ========== Topics, subjects, and contexts of interest include (but are not limited to): * Topics: - visualizations - user interfaces - visual analytics - requirements analysis - case studies - user evaluations - cognitive aspects * Subjects: - ontologies - linked data - ontology engineering (development, collaboration, ontology design patterns, alignment, debugging, evolution, provenance, etc.) * Contexts: - classical interaction contexts (desktop, keyboard, mouse, etc.) - novel interaction contexts (mobile, touch, gesture, etc.) - special settings (large, high-resolution, and multiple displays, etc.) - specific user groups and needs (people with disabilities, domain experts, etc.) Submission Guidelines ========== Paper submission and reviewing for this workshop will be electronic via EasyChair. The papers should be written in English, following the Springer LNCS format, and be submitted in PDF on or before July 1, 2016. Paper abstracts are due by June 27, 2016. The following types of contributions are welcome. The recommended page length is given in brackets. There is no strict page limit but the length of a paper should be commensurate with its contribution. Full research papers (8-12 pages); Experience papers (8-12 pages); Position papers (6-8 pages); Short research papers (4-6 pages); System papers (4-6 pages). Accepted papers will again be published as a volume in the CEUR Workshop Proceedings series. Special Issue in JWS ========== We are preparing a special issue on the workshop topic for the Journal of Web Semantics. More information about it will be announced soon. Important Dates ========== Abstracts: June 27, 2016 Submission: July 1, 2016 Notification: July 29, 2016 Camera-ready: August 12, 2015 Organizers ========== Valentina Ivanova, Linköping University, Sweden Patrick Lambrix, Linköping University, Sweden Steffen Lohmann, Fraunhofer IAIS, Germany Catia Pesquita, University of Lisbon, Portugal -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Wed May 4 17:40:13 2016 From: serge.autexier at dfki.de (Serge Autexier) Date: Wed, 4 May 2016 17:40:13 +0200 (CEST) Subject: Last Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 17th *NEW* (was May 9th, 2016) Message-ID: <20160504154013.161AB669A42B@gigondas.localdomain> Last Call for Papers UITP 2016 12th International Workshop on User Interfaces for Theorem Provers in connection with IJCAR 2016 July 2nd, 2016, Coimbra, Portugal http://www.informatik.uni-bremen.de/uitp/current/ * NEW Submission deadline: May 17th, 2016 * ---------------------------------------------------------------------- NEWS: - Invited Speaker: Sylvain Conchon (LRI, France) giving a talk about "AltGr-Ergo, a graphical user interface for the SMT solver Alt-Ergo" - Submission deadline postponed by one week to May, 17th, 2016 ---------------------------------------------------------------------- The User Interfaces for Theorem Provers workshop series brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas. While the reasoning capabilities of interactive proof systems have increased dramatically over the last years, the system interfaces have often not enjoyed the same attention as the proof engines themselves. In many cases, interfaces remain relatively basic and under-designed. The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with proof systems. We welcome participation and contributions from the theorem proving, formal methods and tools, and HCI communities, both to report on experience with existing systems, and to discuss new directions. Topics covered include, but are not limited to: - Application-specific interaction mechanisms or designs for prover interfaces Experiments and evaluation of prover interfaces - Languages and tools for authoring, exchanging and presenting proof - Implementation techniques (e.g. web services, custom middleware, DSLs) - Integration of interfaces and tools to explore and construct proof - Representation and manipulation of mathematical knowledge or objects - Visualisation of mathematical objects and proof - System descriptions UITP 2016 is a one-day workshop to be held on Saturday, July 2nd, 2016 in Coimbra, Portugal, as a IJCAR 2016 workshop. ** Submissions ** Submitted papers should describe previously unpublished work (completed or in progress), and be at least 4 pages and at most 12 pages. We encourage concise and relevant papers. Submissions should be in PDF format, and typeset with the EPTCS LaTeX document class (which can be downloaded from http://style.eptcs.org/). Submission should be done via EasyChair at https://www.easychair.org/conferences/?conf=uitp16 All papers will be peer reviewed by members of the programme committee and selected by the organizers in accordance with the referee reports. At least one author/presenter of accepted papers must attend the workshop and present their work. ** Proceedings ** Authors will have the opportunity to incorporate feedback and insights gathered during the workshop to improve their accepted papers before publication in the Electronic Proceedings in Theoretical Computer Science (EPTCS - http://www.eptcs.org/). ** Important dates ** Submission deadline: May 17th, 2016 Acceptance notification: June 6th, 2016 Camera-ready copy: June 20th, 2016 Workshop: July 2nd, 2016 ** Programme Committee ** Serge Autexier, DFKI Bremen, Germany (Co-Chair) Pedro Quaresma, U Coimbra, Portugal (Co-Chair) David Aspinall, University of Edinburgh, Scotland Chris Benzmüller, FU Berlin, Germany & Stanford, USA Yves Bertot, INRIA Sophia-Antipolis, France Gudmund Grov, Heriott-Watt University, Scotland Zoltán Kovács, RISC, Austria Christoph Lüth, University of Bremen and DFKI Bremen, Germany Alexander Lyaletski, Kiev National Taras Shevchenko Univ., Ukraine Michael Norrish, NICTA, Australia Andrei Paskevich, LRI, France Christian Sternagel, University Innsbruck, Austria Enrico Tassi, INRIA Sophia-Antipolis, France Laurent Théry, INRIA Sophia-Antipolis, France Makarius Wenzel, Sketis, Germany Wolfgang Windsteiger, RISC Linz, Austria Bruno Woltzenlogel Paleo, TU Vienna, Austria From morozov at cplire.ru Wed May 4 21:40:35 2016 From: morozov at cplire.ru (Alexei A. Morozov) Date: Wed, 4 May 2016 22:40:35 +0300 Subject: RuleML and DecisionCamp 2016 Call for Participation Message-ID: <614854478.20160504224035@cplire.ru> RuleML and DecisionCamp 2016 Call for Participation 10th International Web Rule Symposium (RuleML) 2016 http://2016.ruleml.org DecisionCamp 2016 http://2016.ruleml.org/decisioncamp Dates: Wednesday, July 6 - Saturday, July 9, 2016 Location: New Computer Science Department Building, seminar room 120, Stony Brook University, New York, USA == EARLY REGISTRATION DEADLINE == Early registration deadline: May 31, 2016 http://2016.ruleml.org/registration == Accepted papers == http://2016.ruleml.org/list-of-accepted-papers == Accommodation == http://2016.ruleml.org/venue-and-accommodation == 10th International Rule Challenge 2016 == The RuleML 2016 Challenge is one of the highlights at RuleML 2016 conference which seeks to provide a competition among innovative rule-oriented applications, aimed at both the research and industrial side. http://2016.ruleml.org/challenge High quality, original papers, potentially referencing online material, and ranging between 5-15 pages can be submitted at: https://easychair.org/conferences/?conf=ruleml2016 ("10th International Rule Challenge" track). Paper Submission: June 1st, 2016 == Doctoral Consortium == http://2016.ruleml.org/doctoral-consortium Paper Submission: June 1st, 2016 == Industry track == http://2016.ruleml.org/industry-track Paper Submission: June 1st, 2016 == PROGRAM == The program of RuleML2016 includes: * Four invited presentations (http://2016.ruleml.org/keynotes-and-tutorials): Natural Language Access to Data: It Needs Reasoning, Richard Waldinger, SRI International DMN as a Decision Modeling Language, Bruce Silver, Bruce Silver Associates Programming in Picat, Neng-Fa Zhou, City University of New York Practical Knowledge Representation and Reasoning in Ergo, Michael Kifer, Theresa Swift and Benjamin Grosof, Coherent Knowledge Systems * Doctoral Consortium: http://2016.ruleml.org/doctoral-consortium * LegalRuleML OASIS TC Meeting == Registation == Early Registration fees: RuleML - Regular: $250 RuleML - Student: $100 DecisionCAMP only: $75 ----------- Paul Fodor, Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori and Jacob Feldman RuleML2016 and DecisionCamp2016 PC Chairs From ijv at acm.org Fri May 6 09:46:48 2016 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Fri, 6 May 2016 09:46:48 +0200 Subject: DARe-16 at ECAI Message-ID: <22684F24-9B95-4A0A-8615-BF0356870522@acm.org> * Please accept our apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at ECAI 2016 Date: TBC (either 29 or 30 August 2016) The Hague, Netherlands *** Deadline: 12 June 2016 *** ============================== The Third International Workshop on "Defeasible and Ampliative Reasoning" (DARe) http://dare2016.yolasite.com held at the European Conference on Artificial Intelligence (ECAI 2016) -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different types of inference to reason with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypothesis in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the ECAI 2016 LaTeX style (which can be found at http://www.ecai2016.org/calls/call-for-papers/) and should be no longer than 8 pages excluding references and in PDF format. The list of references is limited to one extra page. Please submit to: https://easychair.org/conferences/?conf=dare16 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ The 2015 proceedings are available at http://ceur-ws.org/Vol-1423/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. Please check the ECAI 2016 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 12 June 2016 - Notification: 28 June 2016 - Camera ready: 17 July 2016 - Early registration: 5 July 2016 - Late registration: [TBA] - Workshop date: [TBA] (either 29 or 30 August 2016) -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth (Cardiff University, United Kingdom) - Giovanni Casini (Université du Luxembourg) - Szymon Klarman (Brunel University London, United Kingdom) - Gilles Richard (Université Paul Sabatier, France) - Ivan Varzinczak (CRIL, Université d'Artois, France) -- Program Committee -- - Natasha Alechina (University of Nottingham, UK) - Grigoris Antoniou (University of Huddersfield, UK) - Ofer Arieli (Academic College of Tel-Aviv, Israel) - Guillaume Aucher (University of Rennes 1 - INRIA, France) - Christoph Beierle (FernUniversitaet Hagen, Germany) - Mario Benevides (Federal University of Rio de Janeiro, Brazil) - Antonis Bikakis (University College London, UK) - Alexander Bochman (Holon Institute of Technology, Israel) - Katarina Britz (CAIR, CSIR and Stellenbosch University, South Africa) - Jim Delgrande (Simon Fraser University, Canada) - Marcelo Finger (Universidade de São Paulo, Brazil) - Nina Gierasimczuk (University of Amsterdam, Netherlands) - Patrick Girard (University of Auckland, New Zealand) - Sven Ove Hansson (Royal Institute of Technology, Sweden) - Andreas Herzig (IRIT CNRS, France) - Aaron Hunter (British Columbia Institute of Technology, Canada) - Souhila Kaci (Université Montpellier 2, France) - Antonis Kakas (University of Cyprus) - Gabriele Kern-Isberner (TU Dortmund, Germany) - Simon Kramer (SK-R&D, Switzerland) - Michael Maher (University of New South Wales, Australia) - João Marcos (Universidade Federal do Rio Grande do Norte, Brazil) - Thomas Meyer (University of Cape Town, South Africa) - François Schwarzentruber (ENS Rennes/IRISA, France) - Sonja Smets (University of Amsterdam, Netherlands) - Umberto Straccia (CNR, Italy) - Mirek Truszczynski (University of Kentucky, USA) - Joost Vennekens (K.U. Leuven, Belgium) - Peter Verdée (Universiteit Gent, Belgium) - Heinrich Wansing (Ruhr-Universitaet Bochum, Germany) - Renata Wassermann (Universidade de São Paulo, Brazil) - Anna Zamansky (University of Haifa, Israel) -- Further Information -- Please note that according to ECAI policy all workshop participants are required to register for both the workshop and the main conference. ECAI reserves the right to cancel a workshop if not enough participants register. Please visit the workshop website (http://dare2016.yolasite.com) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan Varzinczak CRIL, Université d’Artois, France http://member.acm.org/~ijv From idsistworkshops at gmail.com Fri May 6 13:35:48 2016 From: idsistworkshops at gmail.com (IDS Workshops) Date: Fri, 6 May 2016 12:35:48 +0100 Subject: =?UTF-8?Q?ISA=e2=80=99HEALTH_2016_-_Workshop_on_Intelligent_System_?= =?UTF-8?Q?and_Applications_in_Healthcare_-_Call_for_Papers_=28May=2c_15=29?= In-Reply-To: <74c60224-e1ec-846f-4f13-1c2066383237@dsi.uminho.pt> References: <74c60224-e1ec-846f-4f13-1c2066383237@dsi.uminho.pt> Message-ID: <43f774a0-1ffb-fd04-f4c5-27f968c97515@gmail.com> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Fri May 6 15:32:49 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 6 May 2016 16:32:49 +0300 Subject: The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016): First Call for Papers, Special Sessions and Tutorials Message-ID: *** First Call for Papers, Special Sessions and Tutorials *** The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016) December 12-14, 2016, St. Raphael Resort, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE2dGggSUVFRSBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBTaWduYWwgUHJvY2Vzc2luZyBhbmQgSW5mb3JtYXRpb24gVGVjaG5vbG9neSAoSVNTUElUIDIwMTYpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMsIFNwZWNpYWwgU2Vzc2lvbnMgYW5kIFR1dG9yaWFscwkyNQlMaXN0cwkzMjMJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fisspit2016%2F IEEE ISSPIT 2016 is the sixteenth in a series of international symposia that aims to cover a wide range of topics in the intersection of signal processing and information technology and to become a fertile ground for discussions between the two research and development communities. Apart from sessions that will present new research results, tutorials and special sessions will be offered as well. Papers describing original work are invited in the general fields covered by ISSPIT, with an emphasis on the topics listed below. Accepted papers will be published in the Proceedings of IEEE ISSPIT 2016 and will be available via IEEE Xplore. Acceptance will be based on quality, relevance, and originality. A contest for Best Paper Awards (senior and student) will be held. Papers are invited in the following (non exclusive) topics: · Signal Processing Theory and Methods · Signal Processing for Communications and Networking · Design & Implementation of Signal Processing Systems · Image, Video & Multidimensional Signal Processing · Multimedia Signal Processing · Biological Image and signal processing · Audio and Acoustic signal Processing · Health Informatics and e-Health · Sensor Arrays · Big Data Analytics in Signal Processing and IT · Radar Signal Processing · Internet Software Architectures · Multimedia and Image Based Systems · Mobile Information Systems · E-Commerce · Bioinformatics and Bioengineering · Information Processing · Geographical Information Systems · Object Based Software Engineering · Speech Processing · Computer Networks · Neural Networks · Social Networks Analysis · Internet of Things · Engineering Systems of Systems Prospective authors are invited to submit full-length, 6-page (max) papers in two-column formats including diagrams and references. Authors can submit their papers as PDF files through the online submission system to be found on the ISSPIT 2016 website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJVGhlIDE2dGggSUVFRSBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBTaWduYWwgUHJvY2Vzc2luZyBhbmQgSW5mb3JtYXRpb24gVGVjaG5vbG9neSAoSVNTUElUIDIwMTYpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMsIFNwZWNpYWwgU2Vzc2lvbnMgYW5kIFR1dG9yaWFscwkyNQlMaXN0cwkzMjMJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fisspit2016%2F. The title page should include author(s) name(s), affiliation, mailing address, telephone, fax, and e-mail address. The author should indicate one or two of the above categories that best describe the topic of the paper. IMPORTANT DATES · Proposals for Tutorials & Special Sessions: August 5th, 2016 · Regular paper submission: September 15th, 2016 · Notification of acceptance: October 26th, 2016 · Camera-ready version with registration: November 15th , 2016 GENERAL CHAIRS · Christos Douligeris, University of Piraeus, Greece · Andreas Pitsillides, University of Cyprus, Cyprus · Andreas Spanias, Arizona State University, USA TECHNICAL PROGRAM CHAIRS · Ioannis Kyriakides, University of Nicosia, Cyprus · Veselin Rakocevic, City University, UK · Thanos Stouraitis, Khalifa University, UAE REGISTRATION & FINANCE CHAIR · Reda Ammar, University of Connecticut, USA PUBLICATION CO-CHAIRS · Josephine Antoniou, University of Central Lancanshire, Cyprus · Christophoros Christophorou, University of Cyprus, Cyprus · Angeliki Tsioliaridou, Foundation of Research and Technology, Greece TUTORIALS CO-CHAIRS · Marios Lestas, Frederick University, Cyprus · Vasos Vasssiliou, University of Cyprus, Cyprus PLENARY & SPECIAL SESSIONS CO-CHAIRS · Christos Liaskos, Foundation of Research and Technology, Greece · Vicky Lesta Papadopoulou, European University Cyprus PUBLICITY CO-CHAIRS · Suvendi Rimer, University of Johannesburg, South Africa · Cristiano Silva, Universidade Federal de Minas Gerais ñ UFMG, Brazil LOCAL ARRANGEMENTS CHAIR · George A. Papadopoulos, University of Cyprus, Cyprus WEB MANAGER · Kyriakos Georgiades, Easy Conferences, Cyprus STEERING COMMITTEE · E. Abdel-Raheem, Ain Shams University, Egypt · R. Ammar, University of Connecticut, USA · F. Elguibaly, University of Victoria, Canada · A. Elmaghraby, University of Louisville, USA (Chair) · A. Tantawy, IBM, Egypt, USA · A. Tewfik, University of Minnesota, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabrizio.riguzzi at unife.it Fri May 6 16:49:22 2016 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Fri, 06 May 2016 14:49:22 +0000 Subject: AI*IA Outgoing Mobility Grants 2016 Message-ID: <94eb2c091f1079810c05322d9097@google.com> =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= AI*IA Outgoing Mobility Grants 2016 Call for research visits Deadline for applications: 10 June 2016 https://sites.google.com/a/aixia.it/italiano/premi/outgoing-mobility =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= To favour mobility of young researchers the Italian Association for Artificial Intelligence (AI*IA) issues the Association Outgoing Mobility Grants for 2015. Applications are solicited for funding a research visit abroad of a PhD student enrolled at an Italian University. Students will be funded by AI*IA which will cover their travel costs and living expenses (up to 2000 euro). The funding will be provided as a reimbursement for the expenses incurred in the visit. After the visit, the awarded person should send the Association the receipts of her/his costs for which she/he would like to be refunded. The central aim of these extended visits is to build a research bridge between researchers and to create a solid basis for long term collaborations. Moreover, the visit has to lead to a submission of an article on a joint research topics to the Intelligenza Artificiale journal. Applications can be made by a student enrolled full-time in a PhD programme at an Italian University. The applicant must be a member of the Association for 2016. If she/he is not a member for 2016 she/he must register before applying. Funding is available for 2 students. The visit start should be between the 1st July 2016 and the 30th of June 2017. Deadline for applications: 10 June 2016 Notification of grants: 22 June 2016 The information required in the application are: 1. name of the Italian PhD student who will go abroad; 2. name of the foreign researcher that will host the student; 3. name and address of the foreign Lab/Department and University; 4. a short (max 2 pages) resume/CV of the Italian student; 5. a short (max 2 pages) resume/CV of the foreign researcher; 6. a short (max 2 pages) description of the research that will be carried out during the visit 7. a budget of the foreseen expenses 8. declaration of the foreign host indicating that the hosting institution is willing to provide office space and access to lab facilities to conduct the research 9. expected visit dates The application must be sent by email to outgoing at aixia.it The applications will be examined by a committee composed by members of the AI*IA Board of Directors. =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabrizio.riguzzi at unife.it Fri May 6 16:53:00 2016 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Fri, 06 May 2016 14:53:00 +0000 Subject: AI*IA Incoming Mobility Grants 2016 Message-ID: =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= AI*IA Incoming Mobility Grants 2016 Call for research visits Deadline for applications: 10 June 2016 https://sites.google.com/a/aixia.it/italiano/premi/incoming-mobility =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= To favour mobility of young researchers the Italian Association for Artificial Intelligence (AI*IA) issues the Association Incoming Mobility Grants for 2015. Applications are solicited for funding a research visit of a PhD student enrolled at a foreign University to an Italian institution. Students will be funded by AI*IA which will cover their travel costs and living expenses (up to 2000 euro). The funding will be provided as a reimbursement for the expenses incurred in the visit. After the visit, the awarded person should send the Association the receipts of her/his costs for which she/he would like to be refunded. The central aim of these extended visits is to build a research bridge between researchers and to create a solid basis for long term collaborations. Moreover, the visit has to lead to a submission of an article on a joint research topics to the Intelligenza Artificiale journal. Eligibility for the visiting student is to be enrolled full-time in a PhD programme at a foreign University. Funding is available for 2 students. The visit start should be between the 1st July 2016 and the 30th of June 2017. Deadline for applications: 10 June 2016 Notification of grants: 22 June 2016 The information required in the application are: 1. name of the foreign PhD student who will be hosted; 2. name and address of the foreign Lab/Department and University; 3. name of the Italian researcher of the hosting institution. The Italian researcher must be a member of the Association for 2016. If she/he is not a member for 2016 she/he must register before applying. 4. a short (max 2 pages) resume/CV of the foreign student; 5. a short (max 2 pages) resume/CV of the Italian host; 6. a short (max 2 pages) description of the research that will be carried out during the visit 7. a budget of the foreseen expenses 8. declaration of the Italian host indicating that the hosting institution is willing to provide office space and access to lab facilities to conduct the research 9. expected visit dates The application must be sent by email to incoming at aixia.it The applications will be examined by a committee composed by members of the AI*IA Board of Directors. =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.russo at imperial.ac.uk Fri May 6 19:44:31 2016 From: a.russo at imperial.ac.uk (Russo, Alessandra M) Date: Fri, 6 May 2016 17:44:31 +0000 Subject: CFP ILP 2016 - Deadline extended Message-ID: <9627DE7E-6E7B-482B-BCF8-98B73029363A@ic.ac.uk> ____________________________________________________________ THIRD CALL FOR PAPERS ____________________________________________________________ ILP 2016: The 26th International Conference on Inductive Logic Programming 4th - 6th September, 2016 London, UK http://ilp16.doc.ic.ac.uk _____________________________________________________________ DEADLINE EXTENDED: Long papers abstract registration: 14 May 2016 Long papers submission 20 May 2016 _____________________________________________________________ Overview: The 26th International Conference on Inductive Logic Programming (ILP 2016) will be held in London, UK, September 4th - 6th, 2016. It will be held at the "Warren House Conference Centre", situated next to Richmond Park (UK Nature Reserve and the largest London Royal Park) and well connected to the centre of London via tubes and trains. The ILP conference series is the premier international forum for learning from structured relational data. Originally focusing on the induction of logic programs, over the years it has expanded its research horizon significantly and welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches. Typical, but not exclusive, topics of interest for submissions include: - Theoretical aspects: logical-foundations of learning; computational/statistical learning theory; specialisation and generalisation; probabilistic logic-based learning; graph and tree mining. - Representation and languages for learning: logic programming; Datalog; first-order logic; description logic and ontologies; higher-order logic; Answer Set Programming; probabilistic logic languages; constraint logic programming; knowledge graphs. - Algorithms and systems: learning with (semi-)structured data; (semi-)supervised and unsupervised relational learning; relational reinforcement learning; predicate invention; propositionalisation approaches; multi-instance learning; learning in the presence of uncertainty; meta-level learning. - Applications of learning in: art; bioinformatics; systems biology; games; medical informatics; robotics; natural language processing; web-mining; software engineering; modelling and adaptation of control systems; socio-technical systems. In addition to the above topics, ILP 2016 is also encouraging contributions in the areas of cognitive technologies, knowledge acquisition from big data, the cloud and crowd sourced data, deep relational learning, as well as contributions on the application of any of these solutions to real world problems. The conference will host keynote talks from both industry and academia and will run the first International ILP Competition. We solicit three types of submissions: 1) Long papers describing original mature work containing appropriate experimental evaluation and/or representing a self-contained theoretical contribution. Accepted long paper submissions will be assigned a standard time slot for presentation and will appear in the Springer LNAI post-conference proceedings. If a long paper submission is not accepted as a long paper, it may be accepted as a "short paper" (see next paragraph), in which case it will be assigned a reduced time slot for presentation, and the authors may be given the opportunity to submit a revised version that will be reviewed after the conference for possible inclusion in the Springer LNAI post-conference proceedings. 2) Short papers describing original work in progress, brief accounts of original ideas without conclusive evaluation, and other relevant work of potentially high scientific interest but not yet qualifying for the long paper category. They will be accepted/rejected on the grounds of their relevance. Accepted short papers will be assigned a reduced time slot for presentation. Authors of selected papers will be invited to submit a long version that will be reviewed after the conference for possible inclusion in the Springer LNAI post-conference proceedings. 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, AAAI, IJCAI, etc. or journal such as MLJ, DMKD, JMLR etc. These will be accepted/rejected 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 LNAI post-conference proceedings. IMPORTANT DATES: * Abstract registration (long papers): 14 May 2016 (extended) * Long paper submission: 20 May 2016 (extended) * Long Paper notification: 26 June 2016 * Short Paper submission: 24 July 2016 * Short Paper notification: 28 July 2016 INVITED SPEAKERS: David Jensen, University of Massachusetts Amherst Vijay Saraswat, IBM TJ Watson Research Lab Frank Wood, University of Oxford BEST STUDENT PAPER AWARDS: There will be up to three best student paper awards. These will be sponsored by the Machine Learning Journal. BEST PAPER AWARDS: There will be a best paper award sponsored by Springer (LNAI). SUBMISSION: Submissions of long papers and short papers must not have been published or be under review for a journal or for another conference with published proceedings. Submissions must be in Springer LNAI format, according to the Springer LNCS author instructions (http://www.springer.com/comp/lncs/Authors.html). Long papers must not exceed 12 pages including references; short papers must not exceed 6 pages not including references. Papers in category 3 should be submitted in their original format and the authors should indicate the original publication venue. All Paper submissions will be electronic through the ILP 2016 Easychair site: https://easychair.org/conferences/?conf=ilp2016 REGISTRATION: Information about registration fees and accommodation are available on the website (http://ilp16.doc.ic.ac.uk/registration). PROCEEDINGS AND SPECIAL ISSUE: The post-proceedings from the Conference will be published by LNAI Springer. A special issue of the Machine Learning journal is planned following the conference, which is open for everyone. This special issue will welcome conference submissions from all three categories, which should be significantly revised and extended, to meet the MLJ criteria, and will be re-reviewed by PC members. ASSOCIATED EVENT: 3rd International Workshop on Probabilistic Logic Programming CONFERENCE AND PROGRAM CO-CHAIRS: Alessandra Russo, Imperial College London UK James Cussens, University of York, UK ILP COMPETITION CHAIR: Mark Law, Imperial College London, UK PUBLICITY CHAIR: Krysia Broda, Imperial College London, UK FINANCIAL CHAIR: Dalal Alrajeh, Imperial College London, UK PROGRAM COMMITTEE: Dalal Alrajeh Alexander Artikis Krysia Broda Rui Camacho Luc De Raedt Sašo Džeroski Floriana Esposito Nicola Fanizzi Stefano Ferilli Nuno Fonseca Katsumi Inoue Kristian Kersting Ross King Nicolas Lachiche Nada Lavrač Francesca Lisi Donato Malerba Stephen Muggleton Aline Paes Jan Ramon Oliver Ray Fabrizio Riguzzi Chiaki Sakama Vítor Santos Costa Takayoshi Shoudai Alireza Tamaddoni-Nezhad Christel Vrain Stefan Wrobel Akihiro Yamamoto Gerson Zaverucha Filip Železný -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From martin.magnusson at oru.se Fri May 6 21:27:54 2016 From: martin.magnusson at oru.se (Martin Magnusson) Date: Fri, 6 May 2016 21:27:54 +0200 Subject: IEEE/RAS Standard for Robot Map Data Representation, Meeting at ICRA 2016 Message-ID: <572CF03A.9040903@oru.se> Dear colleagues, The Working Group for the IEEE/RAS Standard 1873-2015 for Robot Map Data Representation for Navigation will hold a meeting during ICRA 2016 on Monday, May 16th in Room 32 of the ICRA conference venue (Stockholm Waterfront Congress Center). The main goal of the meeting is to solicit and discuss requirements from industrial and academic stakeholders for extending the current 2D standard for map data representation (MDR) to 3D maps. Based on the outcomes of the meeting, the working group will start developing extended specifications from the current specifications to be included in the IEEE-sponsored, official standard for 3D maps for robot navigation. Since the room capacity is limited, please register your attendance to working group secretary Wonpil Yu: ywp at etri.re.kr. *Overview of agenda* - Location: Room 32, Stockholm Waterfront Congress Center - Date: May 16 (Monday), 2016, 09:00-16:30 - 09.00-09.30 Welcome and introduction items - 09.30-09.50 Dissemination of the current (2D) MDR standard specification - 09.50-14.15 Invited talks: Industry requirements and use cases for 3D maps (lunch break included) - 14.30-16.00 Discussion: Future directions for standardisation of map data representation - 16.00-16.15 Next meeting *What is the MDR standard* The MDR standard aims to standardise a common representation and encoding for the map data used for navigation by mobile robots. The encoding will be used when exchanging map data between systems. The standard focuses on interchange of map data between components and systems, particularly those that may be supplied by different vendors. As well as the encoding, the standard aims to specify examples of APIs and protocols for the interchange process so that navigation-related components from multiple vendors may inter-operate. *What does the MDR standard not do* It does not aim to standardise the format of map data used internally in systems, such as for performing navigation calculations, obstacle avoidance, or for storage in a database. Vendors supplying robot components relevant to navigation who choose to conform to the standard may use any encoding they choose for internal representation, provided the map data is available in the standard encoding when accessed through the standard APIs. *What does the standard target* The MDR standard is aimed at mobile robots operating in both indoor and outdoor environments. No restrictions are placed on the complexity of the environment. Applications include, but are not limited to, factory logistics systems, defence and rescue robots, construction and mining robots, agricultural robots, household robots, and general service robots. Metric maps, topological maps, and combined metric/topological maps are supported equally by the standard. However, maps with dynamic information are not explicitly supported. The current version of standard 1873-2015 is available at https://standards.ieee.org/findstds/standard/1873-2015.html On behalf of the working group, Martin Magnusson -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From C.Orasan at wlv.ac.uk Sat May 7 00:32:31 2016 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Fri, 6 May 2016 22:32:31 +0000 Subject: Special Issue of the Machine Translation journal: Natural Language Processing for Translation Memories (extended deadline) References: <034C0B87CC091D46B6CF0FD17E97B38301D24D056C@Exchmbx10I02.unv.wlv.ac.uk> Message-ID: <1462573950.3833.4.camel@wlv.ac.uk> [Apologies for cross-posting] Special Issue of the Machine Translation journal: Natural Language Processing for Translation Memories http://www.springer.com/computer/artificial/journal/10590 Guest editors: Constantin Orasan (University of Wolverhampton, UK) Marcello Federico (FBK, Italy) Submission deadline: June 5, 2016 (extended deadline) 1. Call For Papers Translation Memories (TM) are amongst the most widely used tools by professional translators. The underlying idea of TMs is that a translator should benefit as much as possible from previous translations by being able to retrieve the way in which a similar sentence was translated before. Moreover, the usage of TMs aims to guarantee that new translations follow the client’s specified style and terminology. Despite the fact that the core idea of these systems relies on comparing segments (typically of sentence length) from the document to be translated with segments from previous translations, most of the existing TM systems hardly use any language processing for this. Instead of addressing this issue, most of the work on translation memories focused on improving the user experience by allowing processing of a variety of document formats, intuitive user interfaces, etc. The term second generation translation memories has been around for more than ten years and it promises translation memory software that integrates linguistic processing in order to improve the translation process. This linguistic processing can involve tasks such as the matching of subsentential chunks, editing distance operations between syntactic trees, and the incorporation of semantic and discourse information in the matching process. Terminologies, glossaries and ontologies are also very useful for translation memories, by facilitating the task of the translator and ensuring a consistent translation. The field of Natural Language Processing (NLP) has proposed numerous methods for terminology extraction and ontology extraction. Other ways of enhancing Translation Memories with information from NLP components are to integrate Machine Translation and Translation Memories, and automatically build and clean translation memories from corpora and from the web. This special issue builds on the success of the NLP4TM workshop organised in conjunction with RANLP 2015 and the forthcoming second edition of this workshop at LREC 2016, which will include a shared task on the cleaning of translation memories. Authors of papers accepted at these workshops are encouraged to submit extended versions for the special issue. However, having a paper accepted at the workshop does not constitute a precondition for submitting a paper for the special issue. 2. Topics of interest This special issue invites original papers which show how language processing can help translation memories. Topics of interest include but are not limited to: - improving matching and retrieval of segments by using morphological, syntactic, semantic and discourse information - automatic extraction of terminologies and ontologies for translation memories - integration of named entity recognition and terminologies in matching and retrieval - using natural language processing for automatic construction of translation memories - extracting and aligning TM segments from a parallel or comparable corpus - construction of translation memories using the Internet - corpus based studies about the usefulness of TM for specific domains - development of hybrid TM and MT translation systems - study of NLP techniques used by TM tools available in the market - automatic methods for TM cleaning and maintenance Note: extended versions of paper previously published at conferences and workshops are likely to be eligible. Please consult us if you have any doubts. 4. Submission guidelines Authors should follow the "Instructions for Authors" available on the MT Journal website: http://www.springer.com/computer/artificial/journal/10590 Submissions must be limited to 15 pages (including references) Papers should be submitted online directly on the MT journal's submission website: http://www.editorialmanager.com/coat/default.asp, indicating this special issue in ‘article type’. 5. Important dates Submission deadline: 5th June 2016 First round of reviews: 31st July 2016 Resubmission of improved versions: 31st August 2016 Final decisions to authors: 28th Sep 2016 Camera ready papers: 16th Oct 2016 Publication in Issue 3 of the Machine Translation journal 2016 --- Dr Constantin Orasan Reader in Computational Linguistics Deputy Head of the Research Group in Computational Linguistics Research Institute of Information and Language Processing University of Wolverhampton http://www.wlv.ac.uk/~in6093/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sat May 7 14:15:16 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 7 May 2016 15:15:16 +0300 Subject: 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Second Call for Workshop Proposals Message-ID: ** Second Call for Workshop Proposals *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBTZWNvbmQgQ2FsbCBmb3IgV29ya3Nob3AgUHJvcG9zYWxzCTI3CUxpc3RzCTMxMgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fiui.acm.org%2F2017 Overview ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. IUI 2017 is pleased to invite proposals for workshops to be held in conjunction with the conference. The goal of the workshops is to provide a venue for presenting research on focused topics of interest and an informal forum to discuss research questions and challenges. Workshops will be held on the first day of the conference. We invite submissions of full-day (6 hours) and half-day (3 hours) workshop proposals on any of the conference topics. We encourage proposals for a wide range of workshops, including but not limited to: · "Mini-conferences" on specialized topics; such workshops may have their own paper submission and review processes. · "Late breaking work" meetings; such workshops usually have a lighter review process (e.g. based on abstracts only). · "Hands-on" workshops around a specific problem or topic that may wish to ask participants to submit a position statement. · "Project centric" workshops that may be closely related to the scope of an existing large scale (e.g. EU funded) project. · "Mini-competitions", challenges, or hack-a-thons around selected topics with individual or team participation. Proposal Format Note: The key to a successful workshop submission is to CONTACT THE CHAIRS WITH YOUR IDEAS (workshop2017 at iui.acm.org), and work together to prepare an exciting proposal! Workshop proposals should be maximum 2 pages long and follow the formatting instructions from SIGCHI Paper Format, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBTZWNvbmQgQ2FsbCBmb3IgV29ya3Nob3AgUHJvcG9zYWxzCTI3CUxpc3RzCTMxMgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform . Please submit your proposal by e-mail to the workshop chairs at workshop2017 at iui.acm.org. The proposals should be organized as follows: · Name and title: A one-word workshop acronym and a full title. · Description of workshop topic and goal: This description should discuss the relevance of the suggested topic to IUI and its interest for the IUI 2017 audience. Include a brief discussion of why and for which audience the workshop is of particular interest. · Organizers: Names, affiliations, emails, and web pages of the workshop organizers. This can be a single person or a group of people. Strong proposals normally include organizers who bring differing perspectives on the topic and are actively connected to the communities of potential participants. Please indicate the primary contact person and the organizers who plan to attend the workshop. · Previous history: List of previous workshops that were held on the topic including the conferences that hosted past workshops and the number of participants. Also please provide the list of other workshops organized by workshop organizers in the past. · Workshop program committee: Names and affiliation of the members of the workshop program committee that will evaluate the workshop submissions. · Participants: A statement saying how many participants you expect and how you plan to invite participants for the workshop. We recommend the proposal to include the names of at least 10 people who have expressed interest to participate in the workshop. · Workshop format: A brief description of the workshop format regarding the mix of events such as paper presentations, invited talks, panels, demonstrations, and general discussion. · Length: Full-day or half-day. · Proposal format: Workshop proposals should be maximum 2 pages long and follow the formatting instructions from SIGCHI: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBTZWNvbmQgQ2FsbCBmb3IgV29ya3Nob3AgUHJvcG9zYWxzCTI3CUxpc3RzCTMxMgljbGljawl5ZXMJbm8=&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform . Additional Guidelines · Workshop proposals will be reviewed and evaluated by the workshop chairs and the IUI 2017 program committee chairs. · Organizers: We strongly encourage the workshop organizers to attend IUI and take part in their workshop. This can make the workshops more appealing for the participants and strengthen the discussion part. · Workshop summary: An extended abstract (max. 3 pages) with a summary of the workshop goals and an overview of the workshop topics will be included in the ACM Digital Library for IUI 2017. · Workshop proceedings: At the convenience of the workshop organizers, we will arrange a joint volume of online proceedings for the workshop papers. Workshops should request the authors to submit papers in the ACM SIGCHI Paper Format. · Cancellation: Workshops with fewer than 10 submissions by December 23, 2016 may be cancelled. This will be done in consultation between the workshop chairs of IUI 2017 and the workshop organizers. Additionally, we strongly encourage to have workshop organizers from different institutions and research communities, bringing different perspectives to the workshop topic. We welcome workshops with a creative structure that attracts various types of contributions and ensures rich interactions. The organizers of accepted workshops are responsible for producing a call for participation and publicizing it, such as distributing the call to relevant newsgroups and electronic mailing lists, and especially to potential audiences from outside the IUI conference community. Workshop organizers will maintain their own web site with updated information about the workshop and the IUI 2017 web site will refer to the workshop site. The workshop organizers will coordinate the paper sollicitation, collection, and review process, and coordinate the production of the joint online proceedings with IUI 2017 workshop chairs. Important Dates Discuss your topic with the workshop chairs: ASAP (workshop2017 at iui.acm.org) · Workshop Proposals: September 16, 2016 · Decisions Sent: October 7, 2016 ** TENTATIVE dates of the review cycle ** · Submission Deadline: December 16, 2016 · Final go/no-go Decision: December 23, 2016 · Camera-Ready of Workshop Summary: January 5, 2017 · Notifications to Authors: January 23, 2017 · Camera-Ready of Accepted Papers: February 6, 2017 · Workshop Date: March 13, 2017 Workshops Co-Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From thomas.lukasiewicz at gmail.com Mon May 9 10:19:21 2016 From: thomas.lukasiewicz at gmail.com (Thomas Lukasiewicz) Date: Mon, 9 May 2016 09:19:21 +0100 Subject: CFP: ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW'16) Message-ID: <57304809.6020403@cs.ox.ac.uk> ========================================================== CALL FOR PAPERS 12th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2016) http://c4i.gmu.edu/ursw/2016 In conjunction with the 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan October 17 or 18, 2016 ========================================================== You are invited to participate in the upcoming workshop on Uncertainty Reasoning for the Semantic Web (URSW), to be held as part of the 15th International Semantic Web Conference (ISWC) in October 17-21, 2016 Kobe, Japan. ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The Uncertainty Reasoning workshop is an exciting opportunity for collaboration and cross-fertilization between the uncertainty reasoning community and the Semantic Web / Linked Data community. Effective methods for reasoning under uncertainty are vital for realizing many aspects of the Semantic Web vision, but the ability of current-generation web technology to handle uncertainty remains extremely limited. Thus, there is a continuing demand for uncertainty reasoning technology among Semantic Web researchers and developers, and the URSW workshop creates a unique opening to bring together two communities with a clear commonality of interest but limited history of interaction. By capitalizing on this opportunity, URSW could spark dramatic progress toward realizing the Semantic Web vision. AUDIENCE The intended audience for this workshop includes the following * Researchers in uncertain reasoning technologies with interest in the Semantic Web and Linked Data * Semantic Web and Linked Data developers and researchers * People in the knowledge representation community with interest in the Semantic Web and Linked Data * Ontology researchers and ontological engineers * Web services researchers and developers with interest in the Semantic Web * Developers of tools designed to support semantic web implementation, e.g., Jena developers, Protégé developers, OWL-API developers... TOPIC LIST We intend to have an open discussion on any topic relevant to the general subject of uncertainty in the Semantic Web and Linked Data (including fuzzy theory, probability theory, and other approaches). Therefore, the following list should be just an initial guide. * Syntax and semantics for extensions to Semantic Web / Linked Data languages to enable representation of uncertainty * Logical formalisms to support uncertainty in Semantic Web / Linked Data languages * Probability theory as a means of assessing the likelihood that terms in different ontologies refer to the same or similar concepts * Architectures for applying plausible reasoning to the problem of ontology mapping * Using fuzzy approaches to deal with imprecise concepts within ontologies * The concept of a probabilistic ontology and its relevance to the Semantic Web * Best practices for representing uncertain, incomplete, ambiguous, or controversial information in the Semantic Web / Linked Data * The role of uncertainty as it relates to web services and cloud computing * Interface protocols with support for uncertainty as a means to improve interoperability among web services * Uncertainty reasoning techniques applied to trust issues in the Semantic Web and Linked Data * Existing implementations of uncertainty reasoning tools in the context of the Semantic Web and Linked Data * Issues and techniques for integrating tools for representing and reasoning with uncertainty; * The future of uncertainty reasoning for the Semantic Web and Linked Data IMPORTANT DATES * July 7, 2016: Paper submissions due * July 31: Paper acceptance notification * August 7: Camera-ready papers due * Oct 17 or 18: 12th International Workshop on Uncertainty Reasoning for the Semantic Web SUBMISSION DETAILS The URSW will be accepting submissions of technical papers and position papers. Each submission will be evaluated for acceptability by at least three members of the Program Committee. Decisions about acceptance will be based on relevance to the above topic list, originality, potential significance, topicality and clarity. Since all accepted papers will be presented at the workshop, we require that at least one of the submitting authors must be a registered participant at the ISWC 2016 Conference, and committed to attend the URSW Workshop. Submissions to the workshop are only accepted in electronic format and should be sent via the workshop's EasyChair submission site: http://www.easychair.org/conferences/?conf=ursw2016 Papers must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). This is the very same format adopted by the ISWC 2016. For complete details, see Springer's Author Instructions (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Technical papers submitted to the URSW Workshop must not exceed 12 pages, including figures and references. Submissions exceeding this limit will not be reviewed. Position papers consist of a summary of ideas, projects, or any research efforts that are relevant to the URSW Workshop and must not exceed 4 pages. Following the general acceptance rules of the ISWC 2016 conference, papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference will not be accepted to the URSW workshop. PRESENTATION AND PUBLICATION All papers accepted to the URSW will be presented during the workshop and published in the workshop proceedings. Authors of accepted technical papers will have 20 minutes to present their work, while authors of accepted position papers will have a 10-minute slot to share their ideas. After each presentation, 5 minutes will be allocated to questions from the audience. Both technical and position papers will be published in the URSW workshop proceedings, to be available after the ISWC 2016 conference. In addition, we are planning a journal special issue or Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence (LNCS/LNAI) volume with selected extended and revised versions of technical papers presented at URSW 2016. ORGANIZING COMMITTEE * Fernando Bobillo - University of Zaragoza, Spain * Rommel N. Carvalho - Brazil's Office of the Comptroller General / University of Brasília, Brazil * Davide Ceolin - VU University Amsterdam, The Netherlands * Paulo C. G. Costa - George Mason University, USA * Claudia d'Amato - University of Bari, Italy * Nicola Fanizzi - University of Bari, Italy * Kathryn Laskey - George Mason University, USA * Kenneth J. Laskey - MITRE Corporation, USA * Thomas Lukasiewicz - University of Oxford, UK * Trevor Martin - University of Bristol, UK * Matthias Nickles - INSIGHT Centre for Data Analytics, National University of Ireland, Galway, Ireland * Michael Pool - Credit Suisse, USA From geoff at cs.miami.edu Mon May 9 14:48:45 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 9 May 2016 08:48:45 -0400 (EDT) Subject: Vampire Workshop CFP Message-ID: <20160509124845.B4D9C121513@mcclellan.cs.miami.edu> ========================= Vampire 2016: The 3rd Vampire Workshop July 2, 2016, part of IJCAR 2016 Coimbra, Portugal http://easychair.org/smart-program/Vampire2016/Overview.html ========================= CALL FOR PAPERS ========================= IMPORTANT DATES: Submission deadline: May 27, 2016 Notification of acceptance: May 31, 2016 Final paper submission: June 15, 2016 Workshop day: July 2, 2016 WORKSHOP AIM: The workshop aims at discussing the development and use of the first-order theorem prover Vampire. The workshop will address the newest trends in implementing first-order theorem provers, and focus on new challenges and application areas. Workshop participants will include both Vampire developers and users and provides a convenient opportunity for interesting discussions between tool developers and users. The users can learn more about Vampire and its recent developments. The developers can learn more about the use of Vampire, its efficiency in various application areas and needs of the users. The workshop is going to to shed the light on on problems such as - what is essential for substantial progress in theorem proving tools; - what are the best implementation principles to be used; - what are the best heuristics and strategies, depending on application areas; - both successful and unsuccessful case studies; - missing features in modern theorem provers. The workshop will also overview the most recent advances made in Vampire. PAPER SUBMISSION: We seek submissions reporting on theory, application, case studies, experiments and work-in-progress using Vampire and other theorem provers in various applications. Submissions can be in any form, ranging from work in progress to completed work. For example, the users can submit: - extended abstracts or full papers; - theoretical papers; - experimental papers and case studies - or in general any papers that can benefit tool developers and users. Papers can be of any length, ranging from 2-page abstracts to full papers up to 20 pages in length. The papers should use the EasyChair LaTeX, Microsoft Word, or ODT templates, which can be found at: http://www.easychair.org/publications/epic-templates. Submissions should be made using EasyChair, via the link : https://easychair.org/conferences/?conf=vampire2016 The workshop proceedings will be published in the EasyChair EPiC series. INVITED SPEAKER: Andrew Reynolds, EPFL PROGRAM CHAIRS: Laura Kovacs (Vienna University of Technology and Chalmers University of Technology) Andrei Voronkov (University of Manchester and Chalmers University of Technology) ------------------------------------------------------------------------------ From demri at lsv.ens-cachan.fr Mon May 9 16:18:30 2016 From: demri at lsv.ens-cachan.fr (=?utf-8?Q?St=C3=A9phane_Demri?=) Date: Mon, 9 May 2016 16:18:30 +0200 Subject: AiML-2016: CALL FOR SHORT PRESENTATIONS Message-ID: <683D579F-5335-4675-B695-C37B92C0A847@lsv.ens-cachan.fr> (sorry for multiple copies) AiML-2016: CALL FOR SHORT PRESENTATIONS Short presentations submission deadline: 20 May 2016 Short presentations acceptance notification: 3 June 2016 11TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC BUDAPEST, 30 AUGUST -- 2 SEPTEMBER 2016 http://phil.elte.hu/aiml2016/ Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2016 is the 11th conference in the series. TOPICS We invite submission on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics) - theoretical aspects of modal logic (algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic) - specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics) Papers on related subjects will also be considered. PAPER SUBMISSIONS There will be two types of submissions to AiML-2016: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page at https://easychair.org/conferences/?conf=aiml16 At least one author of each accepted paper or short presentation must register for and attend the conference. (2) SHORT PRESENTATIONS. These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them. INVITED SPEAKERS INCLUDE: Sonja Smets (ILLC, Universiteit van Amsterdam) Yde Venema (ILLC, Universiteit van Amsterdam) Guram Bezhanishvili (New Mexico State University) LOCAL ORGANIZING COMMITTEE Tamas Bitai (Eotvos University, Budapest, Hungary) Reka Markovich (Eotvos University, Budapest, Hungary) Andras Mate (Eotvos University, Budapest, Hungary) Péter Mekis (Eotvos University, Budapest, Hungary) Attila Molnar (Eotvos University, Budapest, Hungary) Gergely Szekely (Alfred Rényi Institute of Mathematics, Hungarian Academy of Sciences) PROGRAMME COMMITTEE Natasha Alechina (University of Nottingham) Carlos Areces (FaMAF, Universidad Nacional de Córdoba) Philippe Balbiani (IRIT, Toulouse, France) Alexandru Baltag (FNWI ILLC) Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow) Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University, Denmark) Serenella Cerrito (Laboratoire IBISC, Evry France) Stéphane Demri (LSV, CNRS, ENS Cachan) Valeria de Paiva (Nuance, USA) David Fernandez-Duque (Instituto Tecnológico Autónomo de México) Melvin Fitting (Lehman College, CUNY, USA) David Gabelaia (The Free University of Tbilisi, Tbilisi, Georgia) Silvio Ghilardi (Università degli Studi di Milano, Italy) Valentin Goranko (Stockholm University) Rajeev Gore (The Australian National University) Andreas Herzig (IRIT, Toulouse, France) Rosalie Iemhoff (Utrecht University) Agi Kurucz (King's College London) Roman Kuznets (TU Wien) Martin Lange (University of Kassel, Germany) Carsten Lutz (Universität Bremen) Andras Mate (Eotvos University, Budapest, Hungary) Angelo Montanari (University of Udine) Larry Moss (Indiana University, USA) Sara Negri (University of Helsinki) Sergei Odintsov (Novosibirsk State University) Hiroakira Ono (Japan Advanced Insitute of Science and Technology) Mark Reynolds (The University of Western Australia) Ilya Shapirovsky (Institute for the Information Transmission Problems) Renate Schmidt (University of Manchester) Valentin Shehtman (Institute for the Information Transmission Problems) Viorica Sofronie-Stokkermans (Universitat Koblenz-Landau) Thomas Studer (Universität Bern) Rineke Verbrugge (Groningen, NL) Heinrich Wansing (Ruhr University Bochum) Michael Zakharyaschev (Birkbeck College London, UK) PROGRAMME COMMITTEE CO-CHAIRS Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow) Stephane Demri (LSV, CNRS, ENS Cachan) IMPORTANT DATES Full papers acceptance notification: 18 May 2016 Short presentations submission deadline: 20 May 2016 Short presentations acceptance notification: 3 June 2016 Final version of full papers and short presentations due: 12 June 2016 Conference: 30 August -- 2 September 2016 FURTHER INFORMATION. Please see http://phil.elte.hu/aiml2016/?page=call_for_papers ENQUIRIES. E-mail enquiries should be directed to the PC co-chairs, sent to aiml16 at easychair.org From abb at cs.stir.ac.uk Mon May 9 18:10:27 2016 From: abb at cs.stir.ac.uk (Andrea Bracciali) Date: Mon, 9 May 2016 17:10:27 +0100 Subject: CIBB 2016 - Second Call for Papers Message-ID: <19C45BCE-4724-4DB6-BD9B-B50450B4AFE9@cs.stir.ac.uk> [apologies for multiple posting] ============================================================== SECOND CALL FOR PAPERS CIBB 2016 13th International Meeting on Computational Intelligence methods for Bioinformatics and Biostatistics University of Stirling, Stirling, Scotland UK September 1-3 2016 http://www.cs.stir.ac.uk/events/cibb2016/ cibb2016 at gmail.com ============================================================== In evidence (please see below and the web for details): - the very interesting list of INVITED SPEAKERS is growing ! - five new SPECIAL SESSIONS are running ! - EXTENDED DEADLINES for paper submission Please, connect to the conference via @CIBB2016 on twitter Keynote Speakers (to be completed) Prof. Mark Beaumont School of Biological Sciences, Bristol University Evolutionary Biology Prof. Natalio Krasnogor School of Computing Science, Newcastle University Computing Science and Synthetic Biology Prof. Bud Mishra Courant Institute of Mathematical Sciences and NYU School of Medicine, New York University NYU, and Mt Sinai School of Medicine Computer Science, Cell Biology and Genetics Dr. Guido Sanguinetti School of Informatics, University of Edinburgh System design of stochastic models SPECIAL SESSIONS Engineering Bio-interfaces and Rudimentary Cells as a way to develop Synthetic Biology Contacts: Maria Raposo, mfr at fct.unl.pt Biocuration and integration of biomedical databases Contacts: Riccardo Rizzo, ricrizzo at pa.icar.cnr.it Modelling and simulation methods for Systems Biology and Systems Medicine Contacts: Paolo Cazzaniga, paolo.cazzaniga at unibg.it High-Performance Computing and Deep learning methods for Genomic Data Analysis Contacts: : Fabio Tordini, tordini at di.unito.it Statistical inference in mechanistic models of biological system Contacts: Dirk Husmeier, Dirk.Husmeier at glasgow.ac.uk Scope The main goal of this 13th edition of the CIBB international conference is to provide a multi-disciplinary forum open to researchers interested in the application of computational intelligence, in a broad sense, to open problems in bioinformatics, biostatistics, systems and synthetic biology and medical informatics. Cutting edge methodologies capable of accelerating life science discoveries will be discussed. Following its tradition and roots, this year's meeting will bring together researchers from the international scientific community interested in advancements and future perspectives in bioinformatics and biostatistics. Also, looking at current trends and future opportunities at the edge of computer and life sciences, the application of computational intelligence to system and synthetic biology, and the consequent impact on innovative medicine will be of great for the conference. Theoretical and experimental biologists are also invited to participate in order to present novel challenges and foster multidisciplinary collaboration. The scientific program of CIBB 2016 will include Keynote Speakers, tutorials and special sessions. Contributed papers will be presented in plenary oral sessions, special sessions, or poster sessions. Topics of interest include, but are not restricted to: · Next generation sequencing bioalgorithms · Multi-omics data analysis · High dimensional statistical analysis of omics data · Algorithms for alternative splicing analysis · Algorithms for molecular evolution and phylogenetic analysis · Methods for the visualization of high dimensional complex omic data · Software tools for bioinformatics · Methods for comparative genomics · Methods for functional classification of genes · Methods for unsupervised analysis, validation and visualization of structures discovered in bio-molecular data · Health-Informatics and Medical Informatics. · Methods for the integration of clinical and genetic data · Heterogeneous data integration and data fusion for diagnostics · Algorithms for pharmacogenomics · Biomedical text mining and imaging · Methods for diagnosis and prognosis within personalized medicine · Statistical methods for the analysis of clinical data · Prediction of secondary and tertiary protein structures · Mass spectrometry data analysis in proteomics · Algorithms for molecular evolution and phylogenetic analysis · Bio-molecular databases and data mining · Mathematical modeling and automated reasoning on biological and synthetic systems · Computational simulation of biological systems · Methods and advances in systems biology · Spatio-temporal analysis of synthetic and biological systems · Network systems biology · Models for cell populations and tissues · Methods for the engineering of synthetic components · Modelling and engineering of interacting synthetic and biological systems · Software tools for bioinformatics, biostatistics, systems and synthetic biology Publication Accepted papers will be presented at the conference (at least one author is expected to register), and will be published on proceedings for conference distribution. Extended and revised versions of the papers presented at CIBB 2016 will be invited for a post-conference monograph. This is traditionally published in the Springer series of Lecture Notes in Bioinformatics (LNBI), (arrangements undergoing). Continuing the tradition of CIBB, we are planning to publish best papers in one (or more, as appropriate) special issue of an international scientific journal (such as BMC Bioinformatics, in the latest editions). Paper Submission Papers must be prepared following the guidelines illustrated on the CIBB web site and should be long between 4 and 6 pages. Papers should be submitted in PDF format on the Easy Chair conference system (link available on the web site). Important Dates Paper submission deadline: 29th May 2016 Notification of acceptance: 22nd June 2016 Final paper due: 8th July 2016 Conference: 1st -3rd September 2016 General Chairs Andrea Bracciali, University of Stirling, UK David Gilbert, Brunel University London, UK Gilbert MacKenzie, UL, ENSAI and Keele, UK From newsletter at saso-conference.org Wed May 11 12:13:24 2016 From: newsletter at saso-conference.org (=?utf-8?b?SmFuLVBoaWxpcHAgU3RlZ2jDtmZlcg==?=) Date: Wed, 11 May 2016 12:13:24 +0200 Subject: Joint Call for Workshop Papers of SASO 2016 and ICCAC 2016 (FAS*W) Message-ID: ************************************************************************* FAS*W 2016 (SASO and ICCAC) Joint Call For Workshop Papers International Workshops on Foundations and Applications of Self-* Systems (FAS*W) Augsburg, Germany, September 12 & 16, 2016 Workshops at FAS*: DSPL: 9th International Workshop on Dynamic Software Product Lines. Variability at Runtime SASO^ST: 4th International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems AMGCC'16: 4th International Workshop on Autonomic Management of high performance Grid and Cloud Computing QA4SASO: 3rd Edition of the IEEE Workshop on Quality Assurance for Self-adaptive, Self-organising Systems DSS: The 2nd International Workshop on Data-driven Self-regulating Systems SOCO: 1st International Workshop on Self-Organising Construction eCAS: 1st eCAS Workshop on Engineering Collective Adaptive Systems ISCW: 1st International Workshop on Information Security and Privacy for Mobile Cloud Computing, Web and Internet of Things Submission deadline for all workshops: July 4, 2016 http://fasstar2016.informatik.uni-augsburg.de/ http://iccac2016.se.rit.edu/ http://uni-augsburg.de/saso2016 @SASO2016Conf ************************************************************************* 9th International Workshop on Dynamic Software Product Lines. Variability at Runtime (DSPL) Friday 16th September 2016 http://sites.lero.ie/dspl2016 Scientific Organizers * Jesper Andersson, Linnaeus University, Sweden * Rafael Capilla, University Rey Juan Carlos, Madrid, Spain * Holger Eichelberger, University of Hildesheim, Germany The concept of adaptation and self-adaptation of systems, in particular at runtime has caught the attention of the research community at large, both inside the domain of Software Product Lines (SPL) as well as outside SPL in areas like models-at-runtime, selfadaptive systems, ubiquitous computing, and specific application domains where runtime adaptation and post-deployment activities are required. Dynamic software product lines (DSPL) were established as a research area under the assumption that product line concepts can be very usefully applied in this context. Since its inception the DSPL-workshop addresses the mission of supporting adaptive and adaptable system development based on product line concepts. The lack of maturity and consolidation of DSPL approaches stills needs significant research effort to advance the state of the art. Our focus is to extend the community of researchers and to provide a forum for the discussion of current research on related topics. ------------------------------------------------------------------------- 4th International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO^ST) Friday 16th September 2016 http://sasost.isse.de Scientific Organizers * Gerrit Anders, University of Augsburg * Jean Botev, University of Luxembourg, Faculty of Science, Technology and Communication, Computer Science and Communications Research Unit * Markus Esch, Fraunhofer Institute for Communication, Information Processing and Ergonomics FKIE The design and operation of computer systems has traditionally been driven by technical aspects and considerations. However, the usage characteristics of information and communication systems are both implicitly and explicitly determined by social interaction and the social graph of users. This aspect is becoming more and more evident with the increasing popularity of social network applications on the internet. This workshop will address all aspects of self-adaptive and self-organising mechanisms in socio-technical systems, covering different perspectives of this exciting research area ranging from normative and trust management systems to socio-inspired design strategies for distributed algorithms, collaboration platforms and communication protocols. ------------------------------------------------------------------------- 4th International Workshop on Autonomic Management of high performance Grid and Cloud Computing (AMGCC'16) Monday 12th September 2016 http://htcaas.kisti.re.kr/wiki/index.php/AMGCC16 Scientific Organizers * Jaeyoung Choi, Soongsil University, Korea * Soonwook Hwang, Korea Institute of Science and Technology Information, Korea Grid computing leverages enormous computing resources scattered over the internet in order to integrate and form a large-scale computing platform to solve grand-scale problems. Grid computing also has had great influence on the cloud computing besides the virtualization technology, which logically decouples the physical computing resources with the computing system. Consequently, the cloud computing provides cost-effective, fast, and unlimited virtualized resources for large-scale applications. Cloud computing is also used as "utility computing" where the computing services are provided on-demand and as needs based. Thus, it is commonly deployed for various applications these days. Managing hybrid, virtualized computing resources in a large-scale cloud computing environments, however, still leaves a lot of research to be conducted. Furthermore, autonomous managements of resources in such a large scale federated hybrid computing infrastructures are crucial. In this workshop, we would like to bring researcher around the world to discuss and communicate the challenges and research results in the design, implementation, and evaluation of novel autonomous hybrid cloud resource management systems, and the theory and practice of cloud and grid resource management. ------------------------------------------------------------------------- Third Edition of the IEEE Workshop on Quality Assurance for Self-adaptive, Self-organising Systems (QA4SASO) Monday 12th September 2016 http://qa4saso.isse.de Scientific Organizers * Benedikt Eberhardinger, Augsburg University, Germany, Institute for Software & Systems Engineering * Franz Wotawa, Technical University of Graz, Austria, Institute for Software Technology * Hella Seebach, Augsburg University, Germany, Institute for Software & Systems Engineering Developing self-adaptive, self-organising systems (SASO) that fulfil the requirements of different stakeholders is no simple matter. Quality assurance is required at each phase of the entire development process, starting from requirements elicitation, system architecture design, agent design, and finally in the implementation of the system. The quality of the artefacts from each development phase affects the rest of the system, since all parts are closely related to each other. Furthermore, the shift of adaption decisions from design-time to run-time -- necessitated by the need of the systems to adapt to changing circumstances -- makes it difficult, but even more essential, to assure high quality standards in these kind of systems. Accordingly, the analysis and evaluation of these self-* systems has to take into account the specific operational context to achieve high quality standards. The necessity to investigate this field has already been recognized and addressed in different communities but there exists so far no platform to bring all these communities together. Therefore, the workshop provides within its third edition an established open stage for discussions about the different aspects of quality assurance for self-adaptive, self-organising systems. ------------------------------------------------------------------------- The 2nd International Workshop on Data-driven Self-regulating Systems (DSS) Monday 12th September 2016 http://dss2016.inn.ac/ Scientific Organizers * Evangelos Pournaras, ETH Zurich * Akshay Uttama Nambi S.N., Delft University of Technology * Nik Bessis, Edge Hill University Ormskirk/UK The emergence of pervasive and ubiquitous technologies together with social media has resulted in unprecedented opportunities to reason about the complexity of our society based on magnitudes of data. Embedded ICT technologies mandate the functionality and operations of several techno-socio-economic systems such as traffic systems, transportation systems, Smart Grids, power/gas/water networks, etc. It is estimated that over 50 billion connected smart devices will be online by the year 2020. Moreover, social media provide invaluable insights about the complexity of social interactions and how these interactions influence the sustainability of several ICT-enabled techno-socio-economic systems. These observations show that regulating online the complex systems of our nowadays digital society is a grand challenge. Regulation concerns trade-offs such as the alignment of technical requirements, e.g. robustness, fault-tolerance, safety and security, with social or environmental requirements, for instance, fairness in the utilization of energy resources. The scale of nowadays data cannot tackle the challenge by itself as data may convey ungrounded correlations and biased predictions. Smart, autonomic and selfregulating mechanisms are required for filtering data streams in real-time and transform them to valuable information based on which intelligent adaptive decisions can be made in a decentralized fashion under a plethora of operational scenarios. ------------------------------------------------------------------------- 1st International Workshop on Self-Organising Construction (SOCO) Friday 16th September 2016 http://vonmammen.org/soco2016/ Scientific Organizers * Sebastian von Mammen, University of Augsburg * Ingo Mauser, Karlsruhe Institute of Technology * Heiko Hamann, University of Paderborn Our key theme is self-organising construction and we aim at cumulating, presenting, discussing and advancing new research results from theory and practice as well as novel scientific concepts and methodologies. Originally inspired by nest construction in social insects, the general concept relies on a large number of agents that coordinate their construction efforts by prompting and reacting to local stimuli. Very recently, with the wake of robotic swarms and novel material processing approaches, including for instance 3D printing techniques and innovative deployment of carbon fibres, self-organising construction is quickly gaining tremendous transformative significance in the context of various design and construction processes. These include also the construction, extension and renovation of architectural buildings, engineering design, industrial assembly and manufacture, and landscape architecture. Aligned with the host conference, we solicit for submissions that highlight the design and management of selforganising construction from a computational perspective. ------------------------------------------------------------------------- 1st eCAS Workshop on Engineering Collective Adaptive Systems (eCAS) Monday 12th September 2016 http://ecas2016.apice.unibo.it/ Scientific Organizers * Jacob Beal, Raytheon BBN Technologies, USA * Nicola Capodieci, University of Modena and Reggio Emilia, Italy Collective Adaptive Systems (CAS) is a broad term that describes large scale systems that comprise of many units/nodes, each of which may have their own individual properties, objectives and actions. Decision-making in such a system is distributed and possibly highly dispersed, and interaction between the units may lead to the emergence of unexpected phenomena. CASs are open, in that nodes may enter or leave the collective at any time, and boundaries between CASs are fluid. The units can be highly heterogeneous (computers, robots, agents, devices, biological entities, etc.), each operating at different temporal and spatial scales, and having different (potentially conflicting) objectives and goals, even if often the system has a global goal that is pursued by means of collective actions. Our society increasingly depends on such systems, in which collections of heterogeneous 'technological nodes' are tightly entangled with human and social structures to form 'artificial societies.' Yet, to properly exploit them, we need to develop a deeper scientific understanding of the principles by which they operate, in order to better design them. This workshop solicits papers that address new methodologies, theories and principles that can be used in order to develop a better understanding of the fundamental factors underpinning the engineering and operation of such systems, so that we can better design, build, and analyse such systems. ------------------------------------------------------------------------- 1st International Workshop on Information Security and Privacy for Mobile Cloud Computing, Web and Internet of Things (ISCW) Friday 16th September 2016 https://sites.google.com/site/iscw2016/ Scientific Organizers * Dharma P. Agrawal, University of Cincinnati, USA * B. B. Gupta, National Institute of Technology Kurukshetra, Haryana, India * Yaser Jararweh, Jordan University of Science and Technology, Jordan. ISCW-2016 is the first International Workshop on Information Security and Privacy for Mobile Cloud Computing, Web and Internet of Things. The aim of ISCW-2015 is to provide a premier international platform for wide range of professions including scholars, researchers, academicians and Industry people to discuss and present the most recent security and privacy challenges and developments in 'Mobile Cloud Computing, Web and Internet of Things' from the perspective of providing security awareness and its best practices for the real world. This conference is open to submit novel and high quality research contributions in the field of information security and privacy. We anticipate that this conference will open new entrance for further research and technology improvements in this important area. From feeds at sentic.net Thu May 12 08:15:16 2016 From: feeds at sentic.net (feeds) Date: Thu, 12 May 2016 01:15:16 -0500 (EST) Subject: [SenticNet] CFP: 6th ICDM Workshop on Sentiment Analysis (SENTIRE), Dec2016, Barcelona Message-ID: <1332958434.1742521.1463033716574.JavaMail.open-xchange@bosoxweb03.eigbox.net> Apologies for cross-posting, Submissions are invited to the 6th ICDM Workshop on Sentiment Elicitation from Natural Text for Information Retrieval and Extraction (SENTIRE) to be held at ICDM'16 this December in Barcelona. For more information, please visit http://sentic.net/sentire RATIONALE Memory and data capacities double approximately every two years and, apparently, the Web is following the same rule. User-generated contents, in particular, are an ever-growing source of opinion and sentiments which are continuously spread worldwide through blogs, wikis, fora, chats and social networks. The distillation of knowledge from such sources is a key factor for applications in fields such as commerce, tourism, education and health, but the quantity and the nature of the contents they generate make it a very difficult task. Due to such challenging research problems and wide variety of practical applications, opinion mining and sentiment analysis have become very active research areas in the last decade. Our understanding and knowledge of the problem and its solution are still limited as natural language understanding techniques are still pretty weak. Most of current research in sentiment analysis, in fact, merely relies on machine learning algorithms. Such algorithms, despite most of them being very effective, produce no human understandable results such that we know little about how and why output values are obtained. All such approaches, moreover, rely on syntactical structure of text, which is far from the way the human mind processes natural language. Next-generation opinion mining systems should employ techniques capable to better grasp the conceptual rules that govern sentiment and the clues that can convey these concepts from realization to verbalization in the human mind. TOPICS SENTIRE aims to provide an international forum for researchers in the field of opinion mining and sentiment analysis to share information on their latest investigations in social information retrieval and their applications both in academic research areas and industrial sectors. The broader context of the workshop comprehends Web mining, AI, Semantic Web, information retrieval and natural language processing. Topics of interest include but are not limited to: • Sentiment identification & classification • Opinion and sentiment summarization & visualization • Explicit & latent semantic analysis for sentiment mining • Concept-level opinion and sentiment analysis • Sentic computing • Opinion and sentiment search & retrieval • Time evolving opinion & sentiment analysis • Semantic multidimensional scaling for sentiment analysis • Multidomain & cross-domain evaluation • Domain adaptation for sentiment classification • Multimodal sentiment analysis • Multimodal fusion for continuous interpretation of semantics • Multilingual sentiment analysis & re-use of knowledge bases • Knowledge base construction & integration with opinion analysis • Transfer learning of opinion & sentiment with knowledge bases • Sentiment corpora & annotation • Affective knowledge acquisition for sentiment analysis • Biologically inspired opinion mining • Sentiment topic detection & trend discovery • Big social data analysis • Social ranking • Social network analysis • Social media marketing • Comparative opinion analysis • Opinion spam detection SUBMISSIONS AND PROCEEDINGS Authors are required to follow IEEE ICDM Proceedings Author Guidelines. The paper length is limited to 10 pages, including references, diagrams, and appendices, if any. However, please note that page 9 and 10 are considered extra (and, hence, charged) in the final submission. Manuscripts are to be submitted through CyberChair. Each submitted paper will be evaluated by three PC members with respect to its novelty, significance, technical soundness, presentation, and experiments. Accepted papers will be published in IEEE ICDM proceedings. Selected, expanded versions of papers presented at the workshop will be invited to a forthcoming Special Issue of Cognitive Computation on opinion mining and sentiment analysis. TIMEFRAME • August 12th, 2016: Submission deadline • September 13th, 2016: Notification of acceptance • September 20th, 2016: Final manuscripts due • December 12th, 2016: Workshop date ORGANIZERS • Erik Cambria, Nanyang Technological University (Singapore) • Bing Liu, University of Illinois at Chicago (USA) • Amir Hussain, University of Stirling (UK) • Yongzheng Zhang, LinkedIn Inc. (USA) From ortiz at kr.tuwien.ac.at Thu May 12 15:30:15 2016 From: ortiz at kr.tuwien.ac.at (Magdalena Ortiz) Date: Thu, 12 May 2016 15:30:15 +0200 Subject: RR 2016 Second Call for Papers Message-ID: <57348567.6040108@kr.tuwien.ac.at> ================================================================== RR 2016 SECOND CALL FOR PAPERS 10th International Conference on Web Reasoning and Rule Systems Aberdeen, Scotland, UK, September 9-11, 2016 http://www.abdn.ac.uk/events/rr-2016/ ================================================================== The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning rule-based systems, and their applications in reasoning about web data. The 10th edition, RR 2016, will take place in Aberdeen, Scotland, UK, on September 9th-11th 2016, and will be co-located with the 12th Reasoning Web Summer School (RW2016). Please see http://www.abdn.ac.uk/events/rr-2016/ for more information. == TOPICS == RR welcomes original research from all areas of Web Reasoning and Rule Systems. Topics of particular interest include: * Rule-based languages for intelligent information access and for the semantic web * Ontology-based data access * Data management, and data interoperability for web data * Distributed agent-based systems for the web * Scalability and expressive power of logics for the semantic web * Reasoning with incomplete, inconsistent and uncertain data * Non-monotonic, common-sense, and closed-world reasoning for web data * Constraint programming, inductive logic programming for web data * Streaming data and complex event processing * Rule-based approaches to machine learning, knowledge extraction and information retrieval * Rule-based approaches to natural language processing * System descriptions, applications and experiences == SUBMISSIONS == We accept the following submission formats for papers: * Full papers (up to 15 pages in LNCS style) * Technical Communications (up to 6 pages in LNCS style) Submitted full papers should present original and significant research results. They must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed. Technical communications are intended for promising but possibly preliminary work, position papers, system descriptions, and applications descriptions (which may be accompanied by a demo). Submissions: via EasyChair (https://easychair.org/conferences/?conf=rr2016) == PUBLICATION == The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS). All submissions must be prepared in Springer's LaTeX style llncs (http://www.springer.com/comp/lncs/Authors.html). == IMPORTANT DATES == Title and Abstract submission: May 23, 2016 (extended) Full papers submission: May 27, 2016 (extended) Notification of acceptance: June 22, 2016 Camera-ready submission: July 3, 2016 Conference: September 9-11, 2016 For each of these deadlines, a cut-off point of 23:59 AOE (anywhere on earth) applies. == BEST PAPER AND STUDENT PAPER AWARDS == Awards for Best Paper and Best Student Paper will be presented to the corresponding author(s) at the conference. To qualify for the Best Student Paper award, the main authors must not hold a PhD at the paper submission deadline, and indicate their eligibility upon submission. The program committee reserves the right to not give out the awards, or to split the awards among multiple submissions. == GRANTS FOR STUDENTS ATTENDING RR/RW 2016 == RR will be offering scholarships to participants to partially cover registration and/or accommodation fees. An additional number of grants is reserved to US Students to attend RR2016 and the co-located RW2016 summer school. Details can be found on the conference website. == DOCTORAL CONSORTIUM == Continuing its successful tradition, RR 2016 will host a Doctoral Consortium (DC). The RR 2016 DC will provide doctoral students in Web Reasoning and related areas with a unique opportunity to present and discuss their research directions, be involved into state-of-the-art research discussion, and supported in establishing fruitful research collaborations. The DC is composed by two main events: - a mentoring lunch, where students will have the opportunity to get in touch with prominent researchers and pioneers in the field of Web Reasoning and Rules, and of related areas; and - a poster session where students will have the possibility to present their work, share their ideas, and receive constructive feedback on their research activity. Please see the website for detailed information on how to participate in the DC. == REASONING WEB SUMMER SCHOOL == The Reasoning Web (RW) summer school series (RW2016) series focuses on the advanced capabilities required by Semantic Web and Linked Data application scenarios calling for Reasoning. This perspective, centered on the reasoning techniques complementing other research efforts in these areas, will give insight into the Semantic Web, Linked Data, Ontologies, Rules, and Logic. The 12th edition of the School will take be colocated with RR 2016, 5-11 September 2016. == INIVTED SPEAKERS == Abraham Bernstein, University of Zurich, Switzerland Meghyn Bienvenu, CNRS & University of Montpellier, France Ian Horrocks, University of Oxford, UK Leonid Libkin, University of Edinburgh, UK == ORGANISATION == General Chair: Umberto Straccia (ISTI-CNR, Italy) Program Chairs: Magdalena Ortiz (TU Wien, Austria) Stefan Schlobach (Vrije Universiteit Amsterdam, The Netherlands) Local Chair: Jeff Pan (The University of Aberdeen, UK) Doctoral Consortium Chair: Rafael Peñaloza (Free University of Bozen-Bolzano, Italy) Publicity Chair: Adila Krisnadhi (Wright State University, USA & Universitas Indonesia, Indonesia) Sponsorship Chair Giorgos Stamou (NTUA, Greece) == PROGRAM COMMITTEE == Darko Anicic (Siemens AG, Germany) Meghyn Bienvenu (CNRS, University of Montpellier, INRIA, France) Fernando Bobillo (University of Zaragoza, Spain) Elena Botoeva (Free University of Bozen-Bolzano, Italy) Pierre Bourhis (CNRS LIFL/INRIA Lille, France) Loris Bozzato (Fondazione Bruno Kessler, Italy) Minh Dao-Tran (Vienna University of Technology, Austria) Sergio Flesca (DEIS - University of Calabria, Italy) Paul Fodor (Stony Brook University, USA) Andre Freitas (University of Passau, Germany) Víctor Gutiérrez Basulto (University of Bremen, Germany) André Hernich (University of Liverpool, UK) Aidan Hogan (DCC, Universidad de Chile, Chile) Yazmin Ibanez (Vienna University of Technology, Austria) Mark Kaminski (University of Oxford, UK) Benny Kimelfeld (Technion - Israel Institute of Technology, Israel) Roman Kontchakov (Birkbeck, University of London, UK) Markus Krötzsch (Technische Universität Dresden, Germany) Georg Lausen (University of Freiburg, Germany) Joohyung Lee (Arizona State University, USA) Domenico Lembo (Sapienza University of Rome, Italy) Thomas Meyer (Centre for Artificial Intelligence Research, UKZN and CSIR Meraka, South Africa) Marie-Laure Mugnier (University of Montpellier (LIRMM / INRIA), France) Matthias Nickles (National University of Ireland, Galway, DERI, Ireland) Andreas Pieris (Vienna University of Technology, Austria) Axel Polleres (Vienna University of Economics and Business - WU Wien, Austria) Juan L. Reutter (Pontificia Universidad Católica, Chile) Francesco Ricca (University of Calabria, Italy) Sebastian Rudolph (Technische Universität Dresden, Germany) Vladislav Ryzhikov (Free University of Bozen-Bolzano, Italy) Juan F. Sequeda (Capsenta Labs, USA) Evgeny Sherkhonov (University of Amsterdam, The Netherlands) Mantas Simkus (Vienna University of Technology, Austria) Daria Stepanova (Max Planck Institute for Informatics, Saarbrücken, Germany ) Domagoj Vrgoc (PUC, Chile) Guohui Xiao (Free University of Bozen-Bolzano, Italy) From s.verberne at cs.ru.nl Fri May 13 09:59:50 2016 From: s.verberne at cs.ru.nl (Suzan Verberne) Date: Fri, 13 May 2016 03:59:50 -0400 Subject: STAIRS 2016 - deadline approaching: May 16 Message-ID: (apologies for cross-posting) STAIRS 2016 We invite students and young post-doctoral AI fellows to submit their work to the Eighth European Starting AI Researcher Symposium (STAIRS). STAIRS is an international meeting intended to support AI researchers, from all countries, at the beginning of their career: PhD students or people holding a PhD for less than one year. STAIRS 2016 will be co-located with ECAI 2016, the European Conference on AI, in The Hague, Holland, 26 Aug - 2 Sept 2016. STAIRS offers doctoral students and young post-doctoral AI researchers: * a first experience of submitting and presenting a paper in an international forum with a broad scope and a peer review process * an opportunity to discuss and explore their research interests and European career objectives and opportunities. (+) Topics of Interest Papers are welcome on all aspects of contemporary AI, including, but not restricted to: * Applications of AI * Autonomous Agents & Multi-agent Systems * Case-Based Reasoning * Cognitive Modelling & Cognitive Architectures * Computational Creativity * Constraints, Satisfiability, and Search * Information Retrieval & Natural Language Processing * Knowledge Representation, Reasoning, and Logic * Machine Learning & Data Mining * Model-Based Reasoning * Natural Language Processing * Planning and Scheduling, * Robotics, Perception, Vision and Sensing * Social Intelligence and Socio-Cognitive Systems * Uncertainty in AI * Web and Knowledge-based Information Systems * Multidisciplinary Topics (+) Important Dates - Paper submission deadline: 16.5 - Notification of acceptance/rejection: 10.6 - Camera-Ready Copy Due: 17.6 - Conference: 29th-30th August, 2016 The proceedings of STAIRS will be published and distributed by IOS Press' "Frontiers in Artificial Intelligence and Applications" (FAIA) series. More info can be found at http://www.ecai2016.org/calls/stairs-call-for-papers/ STAIRS Co-Chairs: H. Sofia Pinto, sofia at inesc-id.pt (IST, Universidade de Lisboa, Portugal) David Pearce, david.pearce at upm.es (Universidad Politecnica de Madrid, Spain) -- Suzan Verberne, researcher Information Foraging Lab, Institute for Computing and Information Sciences Radboud University Nijmegen Tel: 0031 24 36 53431/15775 Email: s.verberne at cs.ru.nl http://sverberne.ruhosting.nl -- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icnc-fskd-cfp at hnu.edu.cn Mon May 16 10:11:18 2016 From: icnc-fskd-cfp at hnu.edu.cn (Prof Tang) Date: Mon, 16 May 2016 16:11:18 +0800 Subject: IT Track, 2nd Round Submissions due 16 May: Submitting to IEEE Xplore/EI Compendex/ISI 2016/5/16 16:11:28 tcsv55mw7 Message-ID: <20160516161128200270@hnu.edu.cn> Dear Colleague, We cordially invite you to submit a paper to the Information Technology track in the upcoming 2016 12th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD 2016), to be held from 13-15 August 2016 in Changsha, China. The submission deadline is 16 May 2016. Topics include (but are not limited to): Communications and Networking, Automation and Control, Software Engineering, Information Security, etc.. Changsha, the capital of Hunan Province, is a historic and cultural city in southern China and a busy port on the Xiangjiang River, with a population over 6 million. Founded over 3000 years ago, the city became the capital of the Zhou state (951-960 AD) and a leading commercial center during the Song dynasty (960-1279 AD). Changsha International Airport is easily accessible with direct flights to all major domestic and some international destinations. Other famous tourist destinations in Hunan include the Zhangjiajie National Park (natural heritage listed by the UN) and Fenghuang (Phoenix) Ancient City. As with the past ICNC-FSKD conferences, all papers in conference proceedings will be submitted to both EI Compendex and ISTP (ISI Proceedings), as well as IEEE Xplore (all previous ICNC-FSKD conferences from 2005 to 2014 have been indexed in Ei Compendex). Extended versions of selected best papers will appear in SCIE-indexed international journals, such as Swarm and Evolutionary Computation (Elsevier, SJR: 4.638), Applied Soft Computing (SCI/Elsevier, Impact Factor: 2.810) and Journal of Computer and System Science (CCF B，IF: 1.2), as well as EI-indexed international journals with 100+ papers (5 SCI-indexed and 3 Ei-index journal special issues for ICNC-FSKD 2015 invited more than 120 extended papers. The reviews are expected to complete in June 2016). ICNC-FSKD 2016 is technically co-sponsored by the IEEE Circuits and Systems Society (pending). ICNC-FSKD is a premier international forum for scientists and researchers to present the state of the art of data mining and intelligent methods inspired from nature, particularly biological, linguistic, and physical systems, with applications to computers, circuits, systems, control, robotics, communications, and more. This is an exciting and emerging interdisciplinary area in which a wide range of theory and methodologies are being investigated and developed to tackle complex and challenging problems. The registration fee of US-D460 includes proceedings, lunches, dinners, banquet, coffee breaks, and all technical sessions. To promote international participation of researchers from outside the country/region where the conference is held (i.e., China’s mainland), researchers outside of China’s mainland are encouraged to propose invited sessions. An honorarium of US-D400 will be enjoyed by the organizer(s) for each completed (with at least 6 registered papers) invited session. The first author of each paper in an invited session must not be affiliated with an organization in China’s mainland. "(Invited Paper)" may be added below the title of each paper in the invited sessions. Invited session organizers will solicit submissions, conduct reviews and recommend accept/reject decisions on the submitted papers. Invited session organizers will be able to set their own submission and review schedules, as long as a set of recommended papers is determined by 3 June 2016. Each invited session proposal should include: (1) the name, bio, and contact information of each organizer of the invited session; (2) the title and a short synopsis of the invited session. Please send your proposal to icnc-fskd at hnu.edu.cn For more information, visit the conference web page: http://icnc-fskd.hnu.edu.cn/ If you have any questions after visiting the conference web page, please email the secretariat at icnc-fskd at hnu.edu.cn Join us at this major event in historical Changsha !!! Organizing Committee icnc-fskd at hnu.edu.cn P.S.: Kindly forward to your colleagues and students in your school/department. If you wish to unsubscribe, in which case we apologize, please reply with " unsubscribe event at tu-clausthal.de " in your email subject. Thanks. 2016/5/16 16:11:28 o8jlvt -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.artikis at gmail.com Mon May 16 12:13:21 2016 From: a.artikis at gmail.com (Alexander Artikis) Date: Mon, 16 May 2016 13:13:21 +0300 Subject: 3rd CFP: special issue on Online Forecasting and Proactive Analytics Message-ID: Apologies for cross-posting. ==================== CALL FOR PAPERS SPECIAL ISSUE ON ONLINE FORECASTING AND PROACTIVE ANALYTICS IN THE BIG DATA ERA BIG DATA RESEARCH JOURNAL Rapid social, economic and political changes are making organizations shift their thinking from reactive to proactive in order to forecast opportunities and threats that could affect their business. Eliminating or mitigating an anticipated problem, or capitalizing on a forecast opportunity, can substantially improve our quality of life, and prevent environmental and economic damage. Changing traffic light policies and speed limits to avoid traffic congestions, for example, can reduce carbon emissions, optimize public transportation and increase commuter satisfaction. Similarly, adding credit cards to watch-lists as a result of forecasting fraud can reduce the cost inflicted payment processing companies and merchants, and consequently lower credit card costs. Unlike traditional real-time analytics, that refers to the just-in-time processing of recent data, providing the opportunity to additionally implement forecasting supports proactive decision-making. To forecast problems and opportunities that may actually take place in the near future, high velocity data streams from heterogeneous and distributed sources need to be correlated in real-time with high volume historical data. Moreover, forecasting techniques must be resilient to the lack of veracity of the streaming as well as the historical data. We invite quality submissions focusing on all aspects of forecasting using Big Data. We welcome both theoretical contributions as well as papers describing interesting applications. Broad topics include: -Complex event forecasting -Optimisation techniques for forecasting using Big Data -Forecasting under uncertainty -Machine learning for model construction -Scalability and high throughput issues in forecasting -Distributed forecasting systems for handling Big Data -Provenance in forecasting -Benchmarks, performance evaluation, and testbeds -Verification of forecasting models -Visual analytics for forecasting and proactive decision-making -Adaptive forecasting systems -Big Data applications of forecasting systems, such as analytics for the Internet-of-Things (IoT), online web analytics, smart grid analytics, credit card fraud management, traffic forecasting, and fleet management. KEY DATES Submission: 15 June 2016 Notification: 15 September 2016 Revisions: 15 October 2016 Final decision: 1 November 2016 GUEST EDITORS Alexander Artikis, University of Piraeus & NCSR Demokritos, Greece Themis Palpanas, Paris Descartes University, France Peter Pietzuch, Imperial College London, UK Matthias Weidlich, Humboldt-Universitat zu Berlin, Germany SUBMISSION http://www.journals.elsevier.com/big-data-research/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pokahr at informatik.uni-hamburg.de Tue May 17 12:01:10 2016 From: pokahr at informatik.uni-hamburg.de (Alexander Pokahr) Date: Tue, 17 May 2016 12:01:10 +0200 Subject: Deadline Extension - MATES 2016 PhD Mentoring Message-ID: (We apologize for multiples copies. Please forward this CFP to anyone who might be interested.) Call for papers for the *PhD Mentoring of the 14th German Conference on Multiagent System Technologies (MATES 2016)* === Overview === Conference Date: September 27 - 30, 2016 Conference Location: Klagenfurt, Austria PhD Short Paper Submission (up to 6 pages LNCS): May 30, 2016 Web page: http://www.dfki.de/mates2016/html/phd_mentoring.html === Details === The MATES PhD mentoring session (doctoral consortium) is meant to support PhD students working in the area of intelligent agents or multi-agent systems. It offers a platform to researchers in all stages of their PhD studies to present and discuss their ideas in an academic professional environment. The program provides an opportunity to PhD students to interact with their peers as well as with experienced researchers in the field, and to receive valuable feedback on their work and advice for their future careers. In particular, each student will be assigned a member of the MATES doctoral consortium, who is an experienced researcher in the relevant field and will be available for personal interactions during the day of the MATES PhD mentoring session. The main goals of the PhD mentoring session are - to give PhD researchers an opportunity to get feedback and suggestion on their work from experienced researchers and their peers. - to interact with other PhD researchers and to get an overview of the field of multi-agent systems. - to get advice for their (academic) career. - to provide networking opportunities. Paper Submission: Submissions to the PhD mentoring session (PhD short papers) should provide information on the following aspects of the PhD work: - Motivation - State of the Art - Methodical approach - Preliminary results/findings (optional - Affiliation and contact details of the PhD supervisor PhD short papers are up to 6 pages long, written in English and formatted with Springer LNCS style. The selection process takes into account the quality of the submitted PhD short paper which will be peer-reviewed by members of the MATES PhD mentoring program committee. The PhD short papers must be submitted electronically via e-mail to pokahr at informatik.uni-hamburg.de Presentation and Publication: All accepted PhD short papers will be assigned a slot for oral presentation during the MATES PhD mentoring session. In addition, a selected set of these accepted papers describing original, unpublished work mature enough for publication will be included in the MATES proceedings. Important Dates: PhD Short Paper Submission: May 30, 2016 PhD Short Paper Acceptance Notification: June 13, 2016 Camera-Ready Paper (only for selected papers) : June 27, 2016 MATES Conference: September 27 - 30, 2016 Program Committee of Doctoral Consortium: Bernhard Bauer (University of Augsburg) Jan Ole Berndt (University of Trier) Nils Bulling (Delft University of Technology) Maria Ganzha (University of Gdan´sk) Vladimir Gorodetsky (St. Petersburg Institute for Informatics and Automation) Axel Hahn (University of Oldenburg) Franziska Klügl (Örebro University) Jörg P. Müller (TU Clausthal) Andrea Omicini (Alma Mater Studiorum–Università di Bologna) Sascha Ossowski (University Rey Juan Carlos) Paolo Petta (Austrian Research Institute for Artificial Intelligence) Jordi Sabater Mir (IIIA-CSIC) Jürgen Sauer (University of Oldenburg) René Schumann (HES-SO University of Applied Sciences Western Switzerland) Matthias Thimm (Universität Koblenz-Landau) Ingo J. Timm (University of Trier) Rainer Unland (University of Duisburg-Essen) Michael Weyrich (Universität Siegen) From ladjel.bellatreche at ensma.fr Tue May 17 17:25:49 2016 From: ladjel.bellatreche at ensma.fr (Ladjel Bellatreche) Date: Tue, 17 May 2016 17:25:49 +0200 Subject: MEDI 2016: Deadline is approaching & Special Issues; Elsevier Message-ID: Sorry for multiple postings. *6th International Conference on Model & Data Engineering** **(MEDI'2016)** **Aguadulce, Almeria, SPAIN **21-23 September 2016 http://indalog.ual.es/MEDI2016/HOME.html * _*Special Issues:*_ 1. *Computer Standards & Interfaces, Elsevier (5-Year Impact Factor: 1.314)* 2. *Computer Languages, Systems and Structures, Elsevier (5-Year Impact Factor: 0.416)* _*Keynote Speakers:*_ 1. *Professor Ulrich Frank, Germany* 2. *Professor Schahram Dustdar, Austria* *_Important Dates_* ** * *Full paper submission deadline: May 23th 2016* * *Notification to authors: June 19th 2016* * *Camera ready submissions: July 6th 2016* _*Gala Party: *_ *Gala party will take place 22 September in Fort-Bravo/Texas-Hollywood which is thebiggest film studios of Western style in Europe. They are located in the desert of **Tabernas, Almería : http://indalog.ual.es/MEDI2016/SOCIAL_EVENTS.html* The 6th International Conference on Model & Data Engineering (MEDI) will be held from 21 to 23 September 2016 in Almer√≠a, Spain. Previous MEDI events took place at Obidos/Portugal (2011), Poitiers/France (2012), Calabria/Italy (2013), Larnaca/Cyrpus (2014) and Rhodes Island/ Greece (2015). The main objective of the conference is to provide a forum for the dissemination of research accomplishments and to promote the interaction and collaboration between the models and data research communities. This international scientific event, initiated by researchers from Euro-Mediterranean countries, aims also at promoting the creation of north-south scientific networks, projects and faculty/student exchanges. *_Topics_ **Modelling and Models Engineering* * Design of general-purpose modelling languages and related stand-ards * Model driven engineering, modelling languages, meta-modelling, model transformation, model evolution * Formal modelling, verification and validation, analysis, testing * Ontology based modelling, role of ontologies in modelling activities * Model manipulation and models as first objects * Heterogeneous modelling, model integration, interoperability * Modeling in software engineering; applications of models * Modeling in the contexts of emerging applications and paradigms: cloud computing, data analytics, big data, social network,services, etc. * Modeling & Standards *Data Engineering* * Heterogeneous data, data Integration and Interoperability * Distributed, parallel, grid, p2p, cloud databases * Data warehouses and OLAP, data mining * Database system Internals, performance, self-tuning benchmarking and testing * Database security, personalization, recommendation * Web databases, ontology based databases * Applications and case studies * Modeling for Data Management * New models and architectures for databases and data warehouses * Modeling and quality of data * Modeling for enhancing sharing data * Models for explicit and implicit semantics based data optimization * Model reification, model repositories * Modeling nonfunctional properties of systems * Data as models and models as data * Service based data management, service oriented applications * Models for data monitoring * Urbanization of database applications * Cost Models for New Paradigms * Eco-design of Advanced Database Applications * Data Lifecycle Management for Big Data (sources, cleansing, federation, preservation, privacy, etc.) * Machine Learning * Knowledge Bases * Hardware optimizations for Big Data (multi-core, GPU, networking, etc.) * Data Flow management and scheduling * Storage and analytic architectures * Recommendation & Personalization * Trust and credential management * Trusted Computing in Cloud Computing *Applications and tooling* * Industry transfer, experiences * Data and model manipulation and tooling * Modelling tools and experimentation _*General Co-Chairs:*_ * Jesús M. Almendros-Jiménez, University of Almería, Spain * Yamine Ait Ameur, ENSEEIHT/IRIT, France _*Program Committee Co-Chairs:*_ * Oscar Pastor López, Universitat Politècnica de València, Spain * Ladjel Bellatreche, ISAE-ENSMA, Poitiers, France *Organizing Committee:* * Jesús M. Almendros-Jiménez, University of Almería, Spain * Antonio Becerra-Terón, University of Almería, Spain * Manuel Torres, University of Almería, Spain *Program Committee: TBA *_*Submission Procedure:*_ Authors are invited to submit research and application papers representing original, previously unpublished work. Papers should be submitted in PDF format. Submissions must conform to Springer's Lecture Notes in Computer Science (LNCS) format and should not exceed 12 pages. Authors who want to buy extra pages may submit a paper up to 16 pages with the indication that the authors will purchase extra pages if the paper is accepted. Submissions which do not conform to the LNCS format and/or which exceed 12 pages (or 16 pages with the extra page purchase commitment) will be rejected without reviews. Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. All accepted papers will be published in Springer LNCS series. Duplicate submissions are not allowed. *Gala party will take place 22 September in Fort-Bravo/Texas-Hollywood* http://fortbravooficial.com/ /Fort-Bravo/Texas-Hollywood are the biggest film studios of Western style in Europe. They are located in the desert of Tabernas, Almería. These decorations dating from the 60´s when Sergio Leone discovered Tabernas (Almería) and started rolling his numerous successes in the cinema, making Tabernas a reference to making movies, knows as spaghetti-western movies. Currently in Fort Bravo is still rolling films, commercials, music videos, shorts films... You can contemplate an authentic wooden populated American Old West, see a typical Mexican town, enter in a military fort and see an Indian village or walking in the streets of the West town, watching the show of cowboys with gunfights and poker games in the Saloon, bank robbery, cancan dancing in traditional costumes of the time, ride on horse cart, rental horses for guided walks and routes, photo studio for dressing like the people of the Western era... Fort-Bravo/Texas-Hollywood has Saloon-Bar , restaurant, souvenir shop to get souvenir gift and bungalows fully equipped for use and enjoyment. And in summer Fort-Bravo/Texas-Hollywood has a beautiful themed swimming pool for taking a bath with your family and a private BBQ local or a very big Saloon of celebrations for all kinds of events, celebrations, parties, communions, weddings and bachelor./ Regards Ladjel. -- Ladjel BELLATRECHE Professor LIAS/ISAE-ENSMA Téléport 2 - 1 avenue Clément Ader - BP 40109 86961 FUTUROSCOPE CHASSENEUIL Cedex - FRANCE Tel. (+33) (0)5-49-49-80-77 - Fax : (+33) (0)5-49-49-80-64 E-mail: bellatreche at ensma.fr URL: http://www.lias-lab.fr/members/bellatreche -- Ladjel BELLATRECHE Professor LIAS/ISAE-ENSMA Téléport 2 - 1 avenue Clément Ader - BP 40109 86961 FUTUROSCOPE CHASSENEUIL Cedex - FRANCE Tel. (+33) (0)5-49-49-80-77 - Fax : (+33) (0)5-49-49-80-64 E-mail: bellatreche at ensma.fr URL: http://www.lias-lab.fr/members/bellatreche -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From prima2016publicity at gmail.com Tue May 17 20:35:45 2016 From: prima2016publicity at gmail.com (Nadin Kokciyan) Date: Tue, 17 May 2016 21:35:45 +0300 Subject: Call for Student Session of PRIMA 2016 Message-ID: PRIMA-2016 Student Session Call for Abstracts and Applications August 22-26, 2016, Phuket, Thailand URL: http://prima2016.di.unito.it Co-located with PRICAI 2016 (Pacific Rim International Conference on Artificial Intelligence) ----------------------------------------------------------------- Students are invited to submit a two page abstract and apply for reduced participation fee to the student session to be held at the PRIMA conference, Phuket, Bangkok August 22-26, 2016. The conference will feature three invited speakers (Prof. Toru Ishi- da, Prof. Jörg Müller, and Prof. Phan Minh Dung) and a mini- school on computational logic and autonomous agents. The confer- ence venue is one of the best tourist destinations in Thailand. See http://prima2016.di.unito.it/ for more details. The student session provides an opportunity for Ph.D. students to discuss their research interests and career objectives with es- tablished researchers in the field, network with other partici- pants, and receive mentoring about career planning and career op- tions. The student session will expose students to different ar- eas of research within autonomous agents and help build profes- sional connections within the international community of re- searchers. ----------------------------------------------------------------- Deadline for applications: June 5, 2016 Notification of acceptance: June 15, 2016 ----------------------------------------------------------------- Applicants should submit: 1. a two-page extended abstract that summarizes the research problem being investigated, the specific contributions made, and directions for the remaining work. The extended abstract has to be formatted using the LNCS format, and is at most to 2 pages, including references. When writing it remember that the audience might not be necessarily knowledgeable in the narrow topic of your thesis. Be sure to introduce the content at a level that the general audience can understand it, but also include enough low- level details for the experts to understand your unique contribu- tions. Accepted extended abstracts will be published in the PRIMA Proceedings and be presented briefly at the student session. 2. a curriculum vitae (2 pages) with background (name, universi- ty), education (degree sought, year/status in degree, previous degrees), employment, and relevant experience in research (publi- cations, presentations, conferences attended, etc). 3. name of the thesis advisor and information, including title, department, affiliation and email address. A request for a letter of support will be emailed to your thesis advisor. All these documents must be joined into a *single PDF file* befo- re submission. For details visit: http://prima2016.di.unito.it ----------------------------------------------------------------- For additional information and questions contact: Matteo Baldoni (University of Torino, Italy): baldoni at di.unito.it Amit K. Chopra (Lancaster University, United Kingdom): akchopra.mail at gmail.com Tran Cao Son (New Mexico State University, US): tson at cs.nmsu.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fstolzenburg at hs-harz.de Thu May 19 20:14:02 2016 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Thu, 19 May 2016 20:14:02 +0200 Subject: CfP: MIWAI 2016 - 10th Multi-Disciplinary International Workshop on Artificial Intelligence Message-ID: <573E026A.1050604@hs-harz.de> MIWAI 2016 - 10th Multi-Disciplinary International Workshop on Artificial Intelligence Chiang Mai, Thailand December 7-9, 2016 Call for Papers IMPORTANT DATES Submission deadline: August 1, 2016 Author notification: September 1, 2016 Camera-ready papers due: September 15, 2016 Workshop dates: December 7-9, 2016 The time for deadlines is in Hawaii Standard Time. Further Information: ABOUT MIWAI Artificial Intelligence (AI) research has broad applications in real world problems. Examples include control, planning and scheduling, pattern recognition, knowledge mining, software applications, strategy games and others. The ever-evolving needs in society and business both on a local and on a global scale demand better technologies for solving more and more complex problems. Such needs can be found in all industrial sectors and in any part of the world. This workshop aims to be a meeting place where excellence in AI research meets the needs for solving dynamic and complex problems in the real world. The academic researchers, developers, and industrial practitioners will have extensive opportunities to present their original work, technological advances and practical problems. Participants can learn from each other and exchange their experiences in order to fine tune their activities in order to help each other better. CALL FOR PAPERS Artificial intelligence is a broad area of research. We encourage researchers to submit papers in the following areas but not limited to: THEORY, METHODS AND TOOLS Cognitive Science Computational Philosophy Computational Intelligence Computer Vision Evolutionary Computing Game Theory Knowledge Representation and Reasoning Machine Learning Multi-agent Systems Natural Language Processing Planning and Scheduling Robotics Speech Recognition Uncertainty in AI Vision Web and AI APPLICATIONS Ambient Intelligence Big Data Biometrics Bioinformatics Chatbots Decision Support Systems E-commerce Industrial Applications of AI Knowledge Management Telecommunications and Web Services Surveillance Spam Filtering Software Engineering Social Networking Security Semantic Web Recommender Systems Privacy SUBMISSION Both research and application papers are solicited. All submitted papers will be reviewed on the basis of technical quality, relevance, significance, and clarity. Each paper should have no more than twelve (12) pages in the Springer-Verlag LNCS style. The authors' names and institutions should not appear in the paper. Unpublished work of the authors should not be cited. As in the previous years, the proceedings will be published in Springer's Lecture Notes in Artificial Intelligence (LNAI) series. Springer-Verlag author instructions are available at: . NO-SHOW POLICY MIWAI strongly expects its submitting authors to adhere to the academic code of honour. In particular, this means that any paper that is eventually accepted to the technical program will be on the understanding that at least one co-author of the paper both registers *and attends* the workshop to present the paper. KEYNOTE SPEAKERS Prof. Rina Dechter, Ph.D, University of California, Irvine ... COMMITTEES Steering Committee Arun Agarwal, University of Hyderabad, India Rajkumar Buyya, University of Melbourne, Australia Patrick Doherty, University of Linkoping, Sweden Jérôme Lang, University Paris-Dauphine, France James F. Peters, University of Manitoba, Canada Srinivasan Ramani, IIIT Bangalore, India C Raghavendra Rao, University of Hyderabad, India Leon Van Der Torre, University of Luxembourg, Luxembourg Conveners Richard Booth, Cardiff University, UK Chattrakul Sombattheera, Mahasarakham University, Thailand Honorary Chair Sujin Butdisuwan, Mahasarakham University, Thailand General Co-chair Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Program Co-Chairs Chattrakul Sombattheera, Mahasarakham University, Thailand Frieder Stolzenburg, Harz University of Applied Sciences, Germany Publicity Co-chair Olarik Surinta, Mahasarakham University, Thailand Program Committee see workshop website CONTACT Dr. Chattrakul Sombattheera Faculty of Informatics Mahasarakham University Khamreang, Kantarawichai Mahasarakham Thailand 44150 Email: Tel/Fax: +66 43 754 359 From conference at icdim.org Fri May 20 17:30:07 2016 From: conference at icdim.org (conference at icdim.org) Date: Fri, 20 May 2016 21:00:07 +0530 Subject: ICDIM 2016 Message-ID: Eleventh International Conference on Digital Information Management (ICDIM 2016) Porto, Portugal September 19-21, 2016 (www.icdim.org) Technically and financially co-sponsored by IEEE Technology Engineering Management Society Proceedings will be indexed in IEEE Xplore Following the successful earlier conferences at Bangalore (2006), Lyon (2007), London (2008), Michigan (2009) , Thunder Bay (2010), Melbourne (2011), Macau (2012), Islamabad (2013) Thailand (2014) and Jeju (2015) the eleventh event is being organized at Porto in Portugal in 2016. The International Conference on Digital Information Management is a multi-subdomain conference on digital information management, science and technology. The principal aim of this conference is to bring people in academia, research laboratories and industry together, and offer a collaborative platform to address the emerging issues and solutions in digital information science and technology. The ICDIM intends to bridge the gap between different areas of digital information management, science and technology. This forum will address a large number of themes and issues. The conference will feature original research and industrial papers on the theory, design and implementation of digital information systems, as well as demonstrations, tutorials, workshops and industrial presentations. The 11th International Conference on Digital Information Management will be held during September 19-21, 2016 at Porto in Portugal. The topics in ICDIM 2016 include but are not confined to the following areas. Information Retrieval Data Grids, Data and Information Quality Big Data Management Temporal and Spatial Databases Data Warehouses and Data Mining Web Mining including Web Intelligence and Web 3.0 E-Learning, eCommerce, e-Business and e-Government Natural Language Processing XML and other extensible languages Web Metrics and its applications Enterprise Computing Semantic Web, Ontologies and Rules Human-Computer Interaction Artificial Intelligence and Decision Support Systems Knowledge Management Ubiquitous Systems Peer to Peer Data Management Interoperability Mobile Data Management Data Models for Production Systems and Services Data Exchange issues and Supply Chain Data Life Cycle in Products and Processes Case Studies on Data Management, Monitoring and Analysis Security and Access Control Information Content Security Mobile, Ad Hoc and Sensor Network Security Distributed information systems Information visualization Web services Quality of Service Issues Multimedia and Interactive Multimedia Image Analysis and Image Processing Video Search and Video Mining Cloud Computing Workshops ICDIM 2016 has the following co-located workshops Fifth Workshop on Emerging Problem- specific Crowdsourcing Technologies Fifth Workshop on Advanced Techniques on Data Analytics and Data Visualization Fourth IEEE International Workshop on Data Management Second Workshop on Internet of Things Second Workshop on Big Data Mining Second Workshop on Cluster Computing Second Workshop on Intelligent Information Systems Proceedings - All the accepted papers will appear in the proceedings published by IEEE. - All papers will be fully indexed by IEEE Xplore. - All the ICDIM papers are indexed by DBLP. Modified version of the selected papers will appear in the special issues of the following peer reviewed journals. 1. Journal of Digital Information Management (SCOPUs/EI) 2. Journal of Electrical Systems 3. Recent Advances in Electrical & Electronic Engineering 4. International Journal of Web Applications (IJWA) 5. International Journal of Information Technology and Web Engineering (IJITWE) 6. International Journal of Emerging Sciences (IJES) 7. International Journal of Grid and High Performance Computing (IJGHPC) (Scopus and EI Indexed) 8. International Journal of Computational Science and Engineering (Scopus and EI Indexed) 9. International Journal of Big Data Intelligence 10. International Journal of Applied Decision Sciences (Scopus/EI) 11. International Journal of Management and Decision Making (Scopus/EI) 12 International Journal of Strategic Decision Sciences 13. International Journal of Enterprise Information Systems (Scopus/EI Important Dates Full Paper Submission June 30, 2016 Notification of Authors August 1, 2016 Registration Due September 1, 2016 Camera Ready Due September 1, 2016 Workshops/Tutorials/Demos September 20, 2016 Main conference September 19-21, 2016 SUBMISSIONS AT http://www.icdim.org/submission.html Committee General Chair Ramiro Sámano Robles, Instituto Superior de Engenharia do Porto Rua, Portugal Program Chairs Arun Pujari, Central University of Rajasthan, India Antonio J. Tallón-Ballesteros, University of Seville, Spain Co-Chairs Robert Bierwolf, IEEE TEMS, Netherlands Imran Bajwa, The Islamia University of Bahwalpur, Pakistan Feliz Lustenberger, Espros Photonics Corporation, Switzerland Francesco Piccialli, University of Naples “Federico II”, Italy Workshop Chair Simon Fong, University of Macau, Macau Email: conference at icdim.org SUBMISSIONS AT http://www.icdim.org/submission.html ---------------------------------- From ortiz at kr.tuwien.ac.at Fri May 20 19:21:29 2016 From: ortiz at kr.tuwien.ac.at (Magdalena Ortiz) Date: Fri, 20 May 2016 19:21:29 +0200 Subject: RR 2016 Final call for papers - abstract submission: 23 May Message-ID: ================================================================== RR 2016 FINAL CALL FOR PAPERS 10th International Conference on Web Reasoning and Rule Systems Aberdeen, Scotland, UK, September 9-11, 2016 http://www.abdn.ac.uk/events/rr-2016/ ================================================================== The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning rule-based systems, and their applications in reasoning about web data. The 10th edition, RR 2016, will take place in Aberdeen, Scotland, UK, on September 9th-11th 2016, and will be co-located with the 12th Reasoning Web Summer School (RW2016). Please see http://www.abdn.ac.uk/events/rr-2016/ for more information. == TOPICS == RR welcomes original research from all areas of Web Reasoning and Rule Systems. Topics of particular interest include: * Rule-based languages for intelligent information access and for the semantic web * Ontology-based data access * Data management, and data interoperability for web data * Distributed agent-based systems for the web * Scalability and expressive power of logics for the semantic web * Reasoning with incomplete, inconsistent and uncertain data * Non-monotonic, common-sense, and closed-world reasoning for web data * Constraint programming, inductive logic programming for web data * Streaming data and complex event processing * Rule-based approaches to machine learning, knowledge extraction and information retrieval * Rule-based approaches to natural language processing * System descriptions, applications and experiences == SUBMISSIONS == We accept the following submission formats for papers: * Full papers (up to 15 pages in LNCS style) * Technical Communications (up to 6 pages in LNCS style) Submitted full papers should present original and significant research results. They must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed. Technical communications are intended for promising but possibly preliminary work, position papers, system descriptions, and applications descriptions (which may be accompanied by a demo). Submissions: via EasyChair (https://easychair.org/conferences/?conf=rr2016) == PUBLICATION == The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS). All submissions must be prepared in Springer's LaTeX style llncs (http://www.springer.com/comp/lncs/Authors.html). == IMPORTANT DATES == Title and Abstract submission: May 23, 2016 (extended) Full papers submission: May 27, 2016 (extended) Notification of acceptance: June 22, 2016 Camera-ready submission: July 3, 2016 Conference: September 9-11, 2016 For each of these deadlines, a cut-off point of 23:59 AOE (anywhere on earth) applies. == BEST PAPER AND STUDENT PAPER AWARDS == Awards for Best Paper and Best Student Paper will be presented to the corresponding author(s) at the conference. To qualify for the Best Student Paper award, the main authors must not hold a PhD at the paper submission deadline, and indicate their eligibility upon submission. The program committee reserves the right to not give out the awards, or to split the awards among multiple submissions. == GRANTS FOR STUDENTS ATTENDING RR/RW 2016 == RR will be offering scholarships to participants to partially cover registration and/or accommodation fees. An additional number of grants is reserved to US Students to attend RR2016 and the co-located RW2016 summer school. Details can be found on the conference website. == DOCTORAL CONSORTIUM == Continuing its successful tradition, RR 2016 will host a Doctoral Consortium (DC). The RR 2016 DC will provide doctoral students in Web Reasoning and related areas with a unique opportunity to present and discuss their research directions, be involved into state-of-the-art research discussion, and supported in establishing fruitful research collaborations. The DC is composed by two main events: - a mentoring lunch, where students will have the opportunity to get in touch with prominent researchers and pioneers in the field of Web Reasoning and Rules, and of related areas; and - a poster session where students will have the possibility to present their work, share their ideas, and receive constructive feedback on their research activity. Please see the website for detailed information on how to participate in the DC. == REASONING WEB SUMMER SCHOOL == The Reasoning Web (RW) summer school series (RW2016) series focuses on the advanced capabilities required by Semantic Web and Linked Data application scenarios calling for Reasoning. This perspective, centered on the reasoning techniques complementing other research efforts in these areas, will give insight into the Semantic Web, Linked Data, Ontologies, Rules, and Logic. The 12th edition of the School will take be colocated with RR 2016, 5-11 September 2016. == INIVTED SPEAKERS == Abraham Bernstein, University of Zurich, Switzerland Meghyn Bienvenu, CNRS & University of Montpellier, France Leonid Libkin, University of Edinburgh, UK Ian Horrocks, University of Oxford, UK == ORGANISATION == General Chair: Umberto Straccia (ISTI-CNR, Italy) Program Chairs: Magdalena Ortiz (TU Wien, Austria) Stefan Schlobach (Vrije Universiteit Amsterdam, The Netherlands) Local Chair: Jeff Pan (The University of Aberdeen, UK) Doctoral Consortium Chair: Rafael Peñaloza (Free University of Bozen-Bolzano, Italy) Publicity Chair: Adila Krisnadhi (Wright State University, USA & Universitas Indonesia, Indonesia) Sponsorship Chair Giorgos Stamou (NTUA, Greece) == PROGRAM COMMITTEE == Darko Anicic (Siemens AG, Germany) Meghyn Bienvenu (CNRS, University of Montpellier, INRIA, France) Fernando Bobillo (University of Zaragoza, Spain) Elena Botoeva (Free University of Bozen-Bolzano, Italy) Pierre Bourhis (CNRS LIFL/INRIA Lille, France) Loris Bozzato (Fondazione Bruno Kessler, Italy) Minh Dao-Tran (Vienna University of Technology, Austria) Sergio Flesca (DEIS - University of Calabria, Italy) Paul Fodor (Stony Brook University, USA) Andre Freitas (University of Passau, Germany) Víctor Gutiérrez Basulto (University of Bremen, Germany) André Hernich (University of Liverpool, UK) Aidan Hogan (DCC, Universidad de Chile, Chile) Yazmin Ibanez (Vienna University of Technology, Austria) Mark Kaminski (University of Oxford, UK) Benny Kimelfeld (Technion - Israel Institute of Technology, Israel) Roman Kontchakov (Birkbeck, University of London, UK) Markus Krötzsch (Technische Universität Dresden, Germany) Georg Lausen (University of Freiburg, Germany) Joohyung Lee (Arizona State University, USA) Domenico Lembo (Sapienza University of Rome, Italy) Thomas Meyer (Centre for Artificial Intelligence Research, UKZN and CSIR Meraka, South Africa) Marie-Laure Mugnier (University of Montpellier (LIRMM / INRIA), France) Matthias Nickles (National University of Ireland, Galway, DERI, Ireland) Andreas Pieris (Vienna University of Technology, Austria) Axel Polleres (Vienna University of Economics and Business - WU Wien, Austria) Juan L. Reutter (Pontificia Universidad Católica, Chile) Francesco Ricca (University of Calabria, Italy) Sebastian Rudolph (Technische Universität Dresden, Germany) Vladislav Ryzhikov (Free University of Bozen-Bolzano, Italy) Juan F. Sequeda (Capsenta Labs, USA) Evgeny Sherkhonov (University of Amsterdam, The Netherlands) Mantas Simkus (Vienna University of Technology, Austria) Daria Stepanova (Max Planck Institute for Informatics, Saarbrücken, Germany ) Domagoj Vrgoc (PUC, Chile) Guohui Xiao (Free University of Bozen-Bolzano, Italy) From cfp at dsi.uminho.pt Sat May 21 09:48:07 2016 From: cfp at dsi.uminho.pt (Filipe Portela) Date: Sat, 21 May 2016 08:48:07 +0100 Subject: Call for Chapters: Next-Generation Mobile and Pervasive Healthcare Solutions - IGI Book In-Reply-To: References: Message-ID: Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From missura.olana at gmail.com Sun May 22 13:31:05 2016 From: missura.olana at gmail.com (Olana Missura) Date: Sun, 22 May 2016 07:31:05 -0400 Subject: ECML/PKDD 2016 Discovery Challenge Call For Contributions Message-ID: ECML/PKDD 2016 Discovery Challenge: The 3rd challenge is online at http://alt.qcri.org/ecml2016/!cQA Challenge: Learning to Re-Rank Questions for Community Question Answering Due to the extended use of Web forums, such as Yahoo! Answers or Stackoverflow, there has been a renewed interest in Community Question Answering (cQA). cQA combines traditional question answering with a modern Web scenario, where users pose questions hoping to get the right answers from other users. The most critical problem arises when a new question is asked in the forum. If the user's question is similar (even semantically equivalent) to a previously posted question, she/he should not wait for answers or for another user to address her/him to the relevant thread already archived in the forum. An automatic system can search for previously-posted relevant questions and instantaneously provide the found information. In this challenge, given a new question and a set of questions previously posted to a forum, together with their corresponding answer threads, a machine learning model must rank the forum questions according to their relevance against the new user question. Even if this task involves both Natural Language Processing (NLP) and Information Retrieval, the challenge focuses on the machine learning aspects of reranking the relevant questions. Therefore, we provide both the initial rank and the feature representation of training and test examples to the participants. We extract features from the text of the user and forum questions using advanced NLP techniques, e.g., syntactic parsing. Most interestingly, we also provide the Gram matrices of tree kernels applied to advanced structural tree representation. A few other features express the relevance of the thread comments, associated with the forum questions, against the user question. Participants are expected to exploit these data for building novel and effective machine learning models for reranking the initial question list in a better rank according to Mean Average Precision (MAP). Challenge Website http://alt.qcri.org/ecml2016/ OrganizersDiscovery Challenge Chairs - Elio Masciari, ICAR CNR, Italy - Alessandro Moschitti, Qatar Computing Research Institute, HKBU (Prof. at the University of Trento, Italy) cQA Challenge Chairs - Alberto Barrón-Cedeño, Qatar Computing Research Institute - Giovanni Da San Martino, Qatar Computing Research Institute - Simone Filice, Università degli Studi di Roma "Tor Vergata" - Preslav Nakov, Qatar Computing Research Institute Prizes Prizes will be awarded to the two best performing teams: - 1,000€ to the winner on the test set; - 500€ to the winner on the development set. - If the same team wins on both sets, the €500 go to the first runner up on the test set. Important dates Release of the training and development sets: Thursday, May 12, 2016 Opening of the online oracle for submissions on the development set: Monday, May 16, 2016 Registration deadline: Friday, July 22, 2016 End of submission period on the development set: Friday, July 22, 2016 Release of the test set: Saturday, July 23, 2016 End of submission period on the test set: Saturday, July 30, 2016 Winner announcement: Monday, August 1, 2016 Deadline for system description report submission (selected only): Sunday, August 7, 2016 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sun May 22 14:51:50 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 22 May 2016 14:51:50 +0200 Subject: WebST 2016: early registration deadline 28 May Message-ID: <545102060a010b0b035e570507090453510200535457535301075d54040657585d5700520a5a0257025459540505@grlmc_ip-zone_com-6> WebST 2016: early registration deadline 28 May*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************************** INTERNATIONAL SUMMER SCHOOL ON WEB SCIENCE AND TECHNOLOGY   WebST 2016   Bilbao, Spain   July 18-22, 2016   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/WebST2016/ *****************************************************************************   --- Early registration deadline: May 28, 2016 ---   ********************************************************   AIM:   WebST 2016 is a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical, multidisciplinary and fast developing area of web studies, which covers a large spectrum of current exciting research and industrial innovation from computing and technologies to social sciences and the humanities and has turned out to be the largest socio-technical infrastructure in human history. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of web science and technology will be displayed, namely: content analysis and information extraction, information networks, search, data and semantics, ontologies, user behavior and personalization, online communities, social networks, economic transactions, mobility, security and privacy, graph analysis, web mining and applications. Main challenges and opportunities will be identified through 4 keynote lectures, 17 six-hour courses, and 1 round table, which will tackle the most active and promising topics from various perspectives: philosophy, sociology, politics, digital humanities, economics, computer science, engineering and mathematics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. Moreover, an open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   Graduates and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be assumed for some of them. WebST 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, scholars, industry leaders and innovators.   REGIME:   In addition to keynotes, at least 2 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another.   VENUE:   WebST 2016 will take place in Bilbao, a city famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao   KEYNOTE SPEAKERS:   Ricardo Baeza-Yates (Pompeu Fabra University), Distributed Web Search   Jiawei Han (University of Illinois, Urbana-Champaign), From Data to Knowledge: A Data-to-Network-to-Knowledge (D2N2K) Paradigm   Prabhakar Raghavan (Google), Three Vignettes from the Theory and Practice of Large Data Analysis   Amit P. Sheth (Wright State University), Semantic, Cognitive and Perceptual Computing – three intertwined strands of a golden braid of intelligent computing   PROFESSORS AND COURSES:   Timothy Baldwin (University of Melbourne), [intermediate] Social Media and Text Analytics   Boualem Benatallah (University of New South Wales), [advanced] API Engineering and Management   Vassilis Christophides (INRIA, Paris), [introductory/intermediate] Entity Resolution in the Web of Data   Brian D. Davison (Lehigh University), [introductory] Useful Web Mining with R   Marco Gori (University of Siena), [advanced] Learning Semantic-based Structures from Textual Sources   Alon Halevy (Recruit Institute of Technology), [introductory] Structured Data on the Web   Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate] Construction and Mining of Text-Rich Heterogeneous Information Networks   Andreas Hotho (University of Würzburg), [intermediate] Social Semantics in the Web   Ravi Kumar (Google), [introductory/intermediate] Computing at Scale: Models and Algorithms   Haewoon Kwak (Qatar Foundation), [introductory/intermediate] From Social Network Analysis to Social Media Analytics and beyond: Challenges and Opportunities   Cathy Marshall (Texas A&M University), [introductory] Qualitative Methods for Studying Users on the Web   Mirco Musolesi (University College London), [introductory/intermediate] Mining Big (and Small) Mobile Data   Bijan Parsia (University of Manchester), [introductory] The Semantic Web and Linked Data   Prabhakar Raghavan (Google), [intermediate] Introduction to Web Search Engines   Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about   Barry Smith (University at Buffalo), [introductory] Towards Ontological Foundations for​ Web Science   Raphael Volz (Pforzheim University of Applied Science), [introductory] Improving Prediction Models with Open Data   OPEN SESSION   An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to florentinalilica.voicu (at) urv.cat by July 15, 2016.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Borja Sanz (co-chair) Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/webst2016/Registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event.   FEES:   Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   A suggestion of accommodation is available on the webpage.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGEMENTS:   University of Deusto Rovira i Virgili University -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From diwt at dirf.org Mon May 23 11:56:53 2016 From: diwt at dirf.org (diwt at dirf.org) Date: Mon, 23 May 2016 15:26:53 +0530 Subject: Technologies for Smart Cities 2016 In-Reply-To: References: Message-ID: CALL FOR PAPERS First Workshop on "Technologies for Smart Cities" Colocated with the Fifth International Conference on the Future Generation Communication Technologies (FGCT 2016) Luton, (near London). UK August 17-19, 2016 www.socio.org.uk/fgct (Technically co-sponsored by IEEE UK & Ireland) Smart cities enable to improve the traditional networks and services to become more efficient with the use of digital and telecommunication technologies, for the benefit of its inhabitants and community. Smart technologies lead to transform disparate data collected from machines, embedded systems, and sensors around the city or and turn it into valued information that helps make the community safe, economically viable and more efficient. Using this information can help drive improvements to the way we manage our services. Smartly interconnected platforms make it easier for people to securely connect and share vital information in real time. This powerful capability supports intelligent action in the moment and better-informed decision making for the long term. Thus technologies play a signicant role in the transformation of smart cities. The proposed workshop will address such technologies that include but not necessarily the following- Networks and Advanced Communications Cloud Mobility Internet of Things (IoT) Cyber Security and Privacy Open-data initiatives Parking apps Dynamic kiosks for real-time information Mobile payments Machine-to-machine (M2M) technology Self Service Models Smart Applications Intelligent Transport Systems All presented papers in the conference will be published in the proceedings of the conference and submitted to the IEEE Xplore Digital Library. The workshop is co-located with the main conference. Important Dates Submission of Papers: June 01, 2016 Notification of Acceptance: July 01, 2016 Camera Ready: August 01, 2016 Registration: August 01, 2016 Conference Dates: August 17-19, 2016 The selected papers after extension and modification will be published in many peer reviewed and indexed journals. Journal of Computer and System Sciences/ (ISI/Scopus) Journal of Digital Information Management (Scopus/EI) International Journal of Computational Science and Engineering (Scopus and EI Indexed) Decision Analytics International Journal of Big Data Intelligence International Journal of Applied Decision Sciences (Scopus/EI) International Journal of Management and Decision Making (Scopus/EI) International Journal of Strategic Decision Sciences International Journal of Enterprise Information Systems (Scopus/EI) Journal of Electrical Systems Recent Advances in Electrical & Electronic Engineering General Chair Ezendu Ariwa, University of Bedfordshire, UK Programme Chairs Carsten Maple, University of Bedfordshire, UK Yong Yue, University of Bedfordshire, UK Hathairat Ketmaneechairat, King Mongkut’s University of Technology, Thailand. Submissions at http://www.socio.org.uk/fgct/paper-submission/ Conference email: fgct at socio.org.uk From masjap at bath.ac.uk Mon May 23 18:15:27 2016 From: masjap at bath.ac.uk (Julian Padget) Date: Mon, 23 May 2016 17:15:27 +0100 Subject: 2nd CfP: COIN@ECAI 2016 - The Hague, NL, August 30th/Revised schedule Message-ID: <57432C9F.6020007@bath.ac.uk> [with apologies for cross-posts] Second Call for papers: COIN at ECAI 2016 *** Submission deadline: 12th June *** *** Abstract submission: 9th June *** PLESASE NOTE: the submission deadline is hard due to the tight timing derived from the ECAI schedule for main conference decisions (June 7th) and for early registration (July 5th). The registration deadline means COIN, like other workshops, is being asked to publish decisions by June 28th, giving two weeks for reviewing plus two days for decision-making. Hence abstract submission is critical to allow bidding to take place beforehand. Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN at ECAI2016) (http://www.cs.bath.ac.uk/coin at ecai2016) A workshop co-located with the European Conference on Artificial Intelligence 2016 (http://www.ecai2016.org/) August 30, 2016, The Hague, The Netherlands OBJECTIVES The emergence of open socio-technical systems raises a range of challenges and opportunities for research and technological development in the area of autonomous agents and multi-agent systems. In particular, human expectations about software behaviour - justified or not - significantly affect the evolution of human attitudes towards, acceptability of and creation of trust in such systems. Consequently, mechanisms that transmit representations of human values and how software can make decisions that respect them, are potentially significant for the effective design and construction of mixed human/software open systems. Coordination, organizations, institutions and norms are four key governance elements for such systems, and the COIN workshops constitute a space for debate and exploration of these four elements in the design and use of open systems. We seek to attract high-quality papers and an active audience to debate mathematical, logical, computational, methodological, implementational, philosophical and pragmatic issues related to the four aspects of COIN. In particular we seek to attract: * papers that present formal treatment of topics, * papers that present interdisciplinary treatment of topics, * papers that provide experimental support to claims, * papers that discuss tools, prototypes and actual working systems, * papers that propose novel and challenging positions, * papers that report on the experience of deployment and application of regulated open MAS, and * papers concerned with modelling, animation and simulation techniques for these types of multi-agent systems. Of particular interest for the workshop are those papers that articulate a challenging or innovative view. COIN is ranked B on the CORE Conference Ranking list: http://portal.core.edu.au/conf-ranks/2160/ IMPORTANT DATES 2016-06-09 Deadline for abstract submission 2016-06-12 Deadline for paper submission 2016-06-28 Notification of decisions 2016-07-05 ECAI early registration deadline 2016-07-27 Camera-ready copy due 2016-08-30 Date of workshop INSTRUCTIONS FOR AUTHORS For preparation of papers please follow the instructions for authors available at the Springer LNCS Web page. The length of each paper including figures and references may not exceed 16 pages. All papers must be written in English and submitted in PDF format. For submission of papers, please use the EasyChair site at https://easychair.org/conferences/?conf=coinecai2016. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the workshop to present the work. PROCEEDINGS Preliminary proceedings will be available before the conference. They will also be distributed to ECAI 2016 registrants in electronic form. As with previous COIN workshops, we will have an LNCS post-proceedings. Authors will be invited to submit revised and extended versions of their paper for consideration for a Springer LNCS volume combining the post-proceedings of this workshop with those for the first COIN workshop held earlier in 2016 at AAMAS. Revised papers must take into account the discussion held during the workshop; hence, only papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume. COIN at ECAI2016 CO-CHAIRS Julian Padget (University of Bath, United Kingdom) j.a.padget at bath.ac.uk Ana Paula Rocha (University of Porto, Portugal) arocha at fe.up.pt From franconi at inf.unibz.it Mon May 23 19:09:33 2016 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Mon, 23 May 2016 19:09:33 +0200 Subject: PhD Scholarships in Computer Science in Bozen-Bolzano (Italy) - DEADLINE 8 JUNE. Message-ID: <23052016190933982GGh77pfXqRRd0196@webmail.unibz.it> PhD Scholarships in Computer Science at the Free Univ. of Bozen-Bolzano (Italy). The Free University of Bozen-Bolzano was founded in 1997 as a multilingual (English, German, Italian) internationally oriented institution. A public competition for the allocation of 12 PhD positions in the Faculty of Computer Science is open, and 9 of these positions will be covered by grants (17,000€ per year). The deadline for submitting the application (admission/pre-enrolment to the 32nd PhD cycle) via is the 8th of June 2016. PhD students are expected to work full-time on their research during the period of the PhD studies, which lasts three years. An additional support is given to spend a period of 6-12 months at an international research center. The official language of the programme is English, and it is expected that students are able to write and speak fluently in English. The PhD study programme places an emphasis on research. PhD candidates are strongly advised to look at the three areas (listed below) which are the focus of the research at the Faculty of Computer Science, and to get in contact with their desired research area before applying. The Selection Committee ranks PhD students based on a comparative assessment of the merits and qualifications of applicants, taking into account also feedback from potential supervisors in the selected research area. RESEARCH AREAS: * KRDB - KNOWLEDGE AND DATA Logic-based languages for knowledge representation Intelligent access to data Semantic technologies Information integration Data-aware process modelling, verification, and synthesis Business process monitoring, mining, and conformance Temporal aspects of data and knowledge Extending database technologies Visual and verbal paradigms for information modelling and exploration Reasoning with Uncertain and Imprecise Knowledge The KRDB Research Centre for Knowledge and Data (web page: ) was founded in 2002, and it currently comprises about 30 researchers, including PhD students. The research activity is focussed on two main areas: (1) intelligent data and information management, with emphasis on modelling of data and on the challenges related to modelling and dealing with structured, complex, and big data; and (2) business processes and data, with the aim of studying the entire process lifecycle including the modelling of business processes and organisations. The KRDB Centre is widely recognised as one of the internationally leading groups in knowledge representation research, with a synergy between foundational research and application-oriented research. KRDB contact person: Enrico Franconi . * IDSE - INFORMATION AND DATABASE SYSTEMS ENGINEERING Spatial and temporal databases Approximation techniques in databases Query optimisation in databases Cooperative interfaces for information access and filtering Data mining techniques for preference elicitation and recommendation Cloud computing and big data Agile development and human aspects of software engineering Software startups and lean startup methodology Design based hardware engineering Technology enhanced learning Interaction design The research activities in the area of database and information systems engineering focus on key aspects of applied computer science, including data warehousing and data mining, the integration of heterogeneous and distributed databases, time-varying information, data models, and query processing. The research approach is primarily constructive in its outset, and it includes substantial experimental and analytical elements. The development activities cover the design of data models and structures, and the development of algorithms, data structures, languages, and systems. The experimental activities verify real world artefacts with the help of prototypes and simulations. The analytic activities include the analysis of the algorithmic complexity and the evaluation of languages. The main goal is theoretically sound results that solve real world problems. * SERG - SOFTWARE ENGINEERING Empirical software engineering Mining software repositories Software reliability and testing Automatic improvement and empirical investigation of software quality attributes Recommendation systems in software engineering Software system behaviour The research topics in software engineering are focused on the empirical and quantitative study of innovative models for software development. The target analysis techniques include both traditional statistics, and new approaches, such as computational intelligence, Bayesian models, and meta-analytical systems. The innovative software development techniques include (a) methods based on lean management, such as agile methods, with a specific interest for benchmarking and identification of defects, and (b) open source development models, with specific attention for self organising systems and the analysis of the resulting quality aspects. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From asdm at fi.upm.es Tue May 24 09:33:57 2016 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Tue, 24 May 2016 09:33:57 +0200 (CEST) Subject: Eleventh Madrid UPM Advanced Statistics and Data Mining Summer School (June 27th - July 8th, 2016) - Early registration deadline Message-ID: <1078546004.2.1464075237577.JavaMail.bojan@bojan> Dear colleagues, We would like to remind you that early registration for the Madrid UPM Advanced Statistics and Data Mining summer school finishes on June 6th. The summer school will be held in Boadilla del Monte, near Madrid, from June 27th to July 8th. This year's edition comprises 12 week-long courses (15 lecture hours each), given during two weeks (six courses each week). Attendees may register in each course independently. No restrictions, besides those imposed by timetables, apply on the number or choice of courses. For the second time in a row, INOMICS has selected our summer school as one of the world's top ten summer schools in mathematics and statistics. You can read more at http://bit.ly/1TweJjj Early registration is *OPEN*. Extended information on course programmes, price, venue, accommodation and transport is available at the school's website: http://www.dia.fi.upm.es/ASDM There is a 25% discount for members of Spanish AEPIA and SEIO societies. Please, forward this information to your colleagues, students, and whoever you think may find it interesting. Best regards, Pedro Larranaga, Concha Bielza, Bojan Mihaljevic and Laura Anton-Sanchez. -- School coordinators. *** List of courses and brief description *** * Week 1 (June 27th - July 1st, 2016) * 1st session: 9:45-12:45 Course 1: Bayesian Networks (15 h) Basics of Bayesian networks. Inference in Bayesian networks. Learning Bayesian networks from data. Real applications. Practical demonstration: GeNIe, Weka, Bayesia, R. Course 2: Time Series(15 h) Basic concepts in time series. Descriptive methods for time series. Linear models for time series. Extensions. Practical demonstration: R. 2nd session: 13:45-16:45 Course 3: Supervised Pattern Recognition (15 h) Introduction. Assessing the performance of supervised classification algorithms. Preprocessing. Classification techniques. Combining multiple classifiers. Comparing supervised classification algorithms. Practical demonstration: Weka. Course 4: Bayesian Inference (15 h) Introduction: Bayesian basics. Conjugate models. MCMC and other simulation methods. Regression and Hierarchical models. Model selection. Practical demonstration: R and WinBugs. 3rd session: 17:00 - 20:00 Course 5: Neural Networks and Deep Learning (15 h) Introduction. Training algorithms. Learning and Optimization. MLPs in practice. Deep Networks. Practical session: Python with keras and Jupyter notebooks. Course 6: Unsupervised Pattern Recognition (15 h) Introduction to clustering. Data exploration and preparation. Prototype-based clustering. Density-based clustering. Graph-based clustering. Cluster evaluation. Miscellanea. Conclusions and final advise. Practical session: R. * Week 2 (July 4th - July 8th, 2016) * 1st session: 9:45-12:45 Course 7: Statistical Inference (15 h) Introduction. Some basic statistical test. Multiple testing. Introduction to bootstrap methods. Introduction to Robust Statistics. Practical demonstration: R. Course 8: Big Data with Apache Spark (15 h) Introduction. Spark framework and APIs. Data processing with Spark. Spark streaming. Machine learning with Spark MLlib. 2nd session: 13:45-16:45 Course 9: Text Mining (15 h) Introduction. Language Modeling. Text Similarity. Text Classification. Information Extraction. Practical session: Python, with Jupyter notebooks. Course 10: Feature Subset Selection (15 h) Introduction. Filter approaches. Embedded methods. Wrapper methods. Advanced topics. Practical session: R and Weka. 3rd session: 17:00-20:00 Course 11: Support Vector Machines and Regularized Learning (15 h) Introduction. SVM models. SVM learning algorithms. Regularized learning. Convex optimization for regularized learning. Practical session: Python with scikit-learn, Jupyter notebooks. Course 12: Hidden Markov Models (15 h) Introduction. Discrete Hidden Markov Models. Basic algorithms for Hidden Markov Models. Semicontinuous Hidden Markov Models. Continuous Hidden Markov Models. Unit selection and clustering. Speaker and Environment Adaptation for HMMs. Other applications of HMMs. Practical session: HTK. If you wish to stop receiving emails regarding the Madrid UPM Advanced Statistics and Data Mining summer school, please reply to this email with the title STOP. From frank.loebe at informatik.uni-leipzig.de Tue May 24 09:40:13 2016 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Tue, 24 May 2016 09:40:13 +0200 Subject: ODLS 2016: 2nd Call for Papers, for Jun 22(!) (7th Workshop on Ontologies and Data in Life Sciences, Sep 29-30, Halle (Saale), Germany) Message-ID: (apologies for cross-posting) ... (please distribute) ------------------------------------------------------- 2nd Call for Papers >> ODLS 2016 << Submission deadline: June 22, 2016 (strict!) https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2016-ODLS Updates compared to 1st CfP + Keynote Speaker: Robert Stevens, University of Manchester, UK + 12 confirmed PC members (further inquiries pending) + selected contributions -> Journal of Biomedical Semantics ------------------ 7th Workshop on Ontologies and Data in Life Sciences (ODLS 2016) Sep 29-30, 2016 Halle (Saale), Germany Scope and Goals of the Workshop ------------------------------- Medicine, biology and life sciences produce hardly manageable and comprehensible amounts of data, information, and knowledge. Their computer-based retrieval, processing, integration, as well as their conceptual foundation, interpretation and application presents ever new challenges to existing methods of knowledge representation, data bases, and data analysis. In the life sciences, enormous data sets are being produced in connection with biological and medical experiments, aiming to unravel biological interconnections for a better understanding in order to offer patients the best possible therapies. Data management and data processing in the life sciences ranges from the best possible integration and usage of distributed, heterogeneous data to the best possible obfuscation of medical data. This integrated workshop covers the overall spectrum of biomedical information management, from experimental data acquisition and preprocessing, across analysis, structuring and interpretation of data, up to developing structured representations of knowledge, in particular in the form of ontologies, with their various applications. The aims of this workshop are to exchange ideas, to discuss new results and applications as well as to inspire cooperation. The workshop has an interdisciplinary character. It fosters the collaboration between ontologists, computer scientists, bio-informaticians, medical information scientists, applied logicians, as well as the cooperation with physicians, bio-chemists, and biometricians. Scientists, professionals as well as students in academia and industry are welcome to share knowledge and experience at ODLS. Topics ------ The following topics are of (equal) relevance for the workshop. Submissions regarding other related topics are likewise welcome. * Ontologies and ontological analysis in biology, medicine and clinical research, e.g. * Ontologies for biological or medical phenotypes * Ontologies for biochemistry, neuro-biology, ecology * Process ontologies in systems biology and medicine * Ontologies for the specification of clinical trial data * Foundational ontologies (with indicated applications in life sciences), e.g. of time and space, properties, roles, functions, material objects * Medical terminologies and their applications * Linking ontologies to terminologies, models and data standards * Methods and tools for the development, management and application of ontologies, e.g. * Ontology crossreferencing, mapping, integration and evolution * Quality assurance, best practices and evaluation of ontologies * Provenance, audit and evidence ontologies in life sciences * Ontology learning and refinement, e.g. by text mining * Ontology portals and libraries * Integrative data semantics * Semantic or ontology-based data annotation, enrichment, analysis and interpretation * Data management methods and systems in biology, medicine and health care, e.g. for * Heterogeneity and integration of data, including of Linked Data and Big Data * Management, retrieval and sharing of Big Data and/or complex data sets * Curation, analysis and visualization of data in life sciences * Omics-data for diagnosis and therapy * Biomedical metadata and metadata management * Generic transformation of clinical data into Semantic Web standards * Data protection of clinical data * Text mining and transformation of unstructured into structured data * Use of biomedical ontologies in text mining * Applications of biomedical ontologies in the Semantic Web, for Linked Open Data or Big Data * Life sciences applications enabled by the Semantic Web or Linked Open Data Important Dates --------------- Submission of contributions: June 22, 2016 (Wed) <-- strict Author notification: August 25, 2016 (Thu) Camera-ready manuscripts due: September 15, 2016 (Thu) Registration: September 18, 2016 (Sun) ODLS Workshop: September 29-30, 2016 (Thu-Fri) Please NOTE: The deadlines include no room for extensions. Especially, the submission deadlines are specified as intended from the beginning, rather than declaring earlier dates in this call and granting an (initially unknown) deadline extension later. Submission Instructions ----------------------- Submissions to the workshop can be * abstracts of 1-2 pages or * papers of 4-6 pages (any such length is equally welcome; 6 pages is the strict maximum, including references). Contributions in English are highly recommended, but submissions in German can also be accepted. Besides original submissions, __abstracts__ on work accepted for and possibly already presented at other events can likewise be accepted. The preferred file format for submissions is PDF, other admitted formats are Microsoft Word (DOC and DOCX) and Postscript (PS). Corresponding templates for submissions will be available shortly at the ODLS website [1]. Contributions must be submitted via the EasyChair conference system at [2] https://easychair.org/conferences/?conf=odls2016 Accepted abstracts and papers will be made available electronically by the date of the workshop. After the workshop, authors of selected submissions will be invited to submit revised and extended versions to the Journal of Biomedical Semantics [3]. Keynote Speaker(s) ------------------ * Robert Stevens, University of Manchester, UK (Topic TBA) (further inquiries under consideration, see [1] for updates) Scientific Organization ----------------------- ODLS 2016 is associated with the group Ontologies in Biomedicine and Life Sciences (OBML) [4] within the German Informatics Society (GI), and it is a Supported Event of the International Association for Ontology and its Applications (IAOA) [5]. Scientific Co-organizers: * Martin Boeker, University of Freiburg * Heinrich Herre, University of Leipzig * Ludger Jansen, University of Rostock * Frank Loebe, University of Leipzig <-- main contact [6] * Daniel Schober, Leibniz Institute of Plant Biochemistry, Halle (Saale) Location and Local Organization ------------------------------- The workshop is hosted by the Leibniz Institute of Plant Biochemistry (IPB) [7] in Halle (Saale), Germany. Local Co-organizers: * Daniel Schober, <-- main local contact [8] AG Bioinformatics & Mass Spectrometry, IPB * Steffen Neumann, AG Bioinformatics & Mass Spectrometry, IPB * Stefan Brass, Institute for Computer Science, Martin-Luther-University of Halle-Wittenberg Program Committee ----------------- * Martin Boeker, University Hospital Freiburg * Jesualdo Tomás Fernández-Breis, University of Murcia, Spain * Anika Groß, University of Leipzig * Heinrich Herre, University of Leipzig * Robert Hoehndorf, King Abdullah University of Science and Technology (KAUST), Saudi Arabia * Ludger Jansen, University of Rostock * Frank Loebe, University of Leipzig * Axel Ngonga-Ngomo, University of Leipzig * Anika Oellrich, King's College London, UK * Daniel Schober, Leibniz Institute of Plant Biochemistry (IPB), Halle (Saale) * George Tsatsaronis, Technical University of Dresden * Dagmar Waltemath, University of Rostock (further inquiries pending, see [1] for updates) Sponsor ------- The organizers acknowledge generous sponsorship by OntoChem IT Solutions [9], Halle (Saale), Germany. Links ----- [1] Workshop website https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2016-ODLS http://tinyurl.com/odls-2016 [2] EasyChair submission site https://easychair.org/conferences/?conf=odls2016 [3] Journal of Biomedical Semantics http://jbiomedsem.biomedcentral.com/ [4] OBML website https://wiki.imise.uni-leipzig.de/Gruppen/OBML [5] IAOA website http://iaoa.org/ [6] Main contact: Frank Loebe https://wiki.imise.uni-leipzig.de/FrankLoebe [7] Local organization website http://www.ipb-halle.de/en/ [8] Local main contact: Daniel Schober http://www.ipb-halle.de/en/employee/daniel-schober/ [9] OntoChem IT Solutions (Sponsor) website http://www.ontochem.de/ ------------------------------------------------------- From ijv at acm.org Tue May 24 17:25:45 2016 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Tue, 24 May 2016 17:25:45 +0200 Subject: Defeasible and Ampliative Reasoning (DARe) at ECAI 2016 Message-ID: <55384E2F-E9BA-4B67-B343-C20207C99D1B@acm.org> * Please accept our apologies if you receive multiple copies of this call * ** Workshop date announced: 29 August 2016 ** ============================== Call for Papers DARe at ECAI 2016 Date: 29 August 2016 The Hague, Netherlands *** Deadline: 12 June 2016 *** ============================== The Third International Workshop on "Defeasible and Ampliative Reasoning" (DARe) http://dare2016.yolasite.com held at the European Conference on Artificial Intelligence (ECAI 2016) -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different types of inference to reason with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypothesis in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the ECAI 2016 LaTeX style (which can be found at http://www.ecai2016.org/calls/call-for-papers/) and should be no longer than 8 pages excluding references and in PDF format. The list of references is limited to one extra page. Please submit to: https://easychair.org/conferences/?conf=dare16 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ The 2015 proceedings are available at http://ceur-ws.org/Vol-1423/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. Please check the ECAI 2016 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 12 June 2016 - Notification: 28 June 2016 - Camera ready: 17 July 2016 - Early registration: 5 July 2016 - Late registration: [TBA] - Workshop date: 29 August 2016 -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth (Cardiff University, United Kingdom) - Giovanni Casini (Université du Luxembourg) - Szymon Klarman (Brunel University London, United Kingdom) - Gilles Richard (Université Paul Sabatier, France) - Ivan Varzinczak (CRIL, Université d'Artois, France) -- Program Committee -- - Natasha Alechina (University of Nottingham, UK) - Grigoris Antoniou (University of Huddersfield, UK) - Ofer Arieli (Academic College of Tel-Aviv, Israel) - Guillaume Aucher (University of Rennes 1 - INRIA, France) - Christoph Beierle (FernUniversitaet Hagen, Germany) - Mario Benevides (Federal University of Rio de Janeiro, Brazil) - Antonis Bikakis (University College London, UK) - Alexander Bochman (Holon Institute of Technology, Israel) - Katarina Britz (CAIR, CSIR and Stellenbosch University, South Africa) - Jim Delgrande (Simon Fraser University, Canada) - Marcelo Finger (Universidade de São Paulo, Brazil) - Nina Gierasimczuk (University of Amsterdam, Netherlands) - Patrick Girard (University of Auckland, New Zealand) - Sven Ove Hansson (Royal Institute of Technology, Sweden) - Andreas Herzig (IRIT CNRS, France) - Aaron Hunter (British Columbia Institute of Technology, Canada) - Souhila Kaci (Université Montpellier 2, France) - Antonis Kakas (University of Cyprus) - Gabriele Kern-Isberner (TU Dortmund, Germany) - Simon Kramer (SK-R&D, Switzerland) - Michael Maher (University of New South Wales, Australia) - João Marcos (Universidade Federal do Rio Grande do Norte, Brazil) - Thomas Meyer (University of Cape Town, South Africa) - François Schwarzentruber (ENS Rennes/IRISA, France) - Sonja Smets (University of Amsterdam, Netherlands) - Umberto Straccia (CNR, Italy) - Mirek Truszczynski (University of Kentucky, USA) - Joost Vennekens (K.U. Leuven, Belgium) - Peter Verdée (Universiteit Gent, Belgium) - Heinrich Wansing (Ruhr-Universitaet Bochum, Germany) - Renata Wassermann (Universidade de São Paulo, Brazil) - Anna Zamansky (University of Haifa, Israel) -- Further Information -- Please note that according to ECAI policy all workshop participants are required to register for both the workshop and the main conference. ECAI reserves the right to cancel a workshop if not enough participants register. Please visit the workshop website (http://dare2016.yolasite.com) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan Varzinczak CRIL, Université d’Artois, France http://member.acm.org/~ijv From alqithami at gmail.com Wed May 25 08:42:41 2016 From: alqithami at gmail.com (Saad Alqithami) Date: Wed, 25 May 2016 01:42:41 -0500 Subject: [Deadline Approaching] CFP: Internet of Agents Workshop Message-ID: The First International Workshop on the Internet of Agents (IoA) - In conjunction with WI conference - Omaha, Nebraska: October 13, 2016 - http://www2.cs.siu.edu/~salqithami/ioa/ ** DEADLINE: JUNE 1, 2016 ** - [ CFP ] : On the confluence between Multi-Agent Systems (MAS) and the Internet of Things (IoT), there is a strong ongoing trend for the IoT to seize the intelligent nature/architecture of the MAS. In the Internet of Agents (IoA) workshop, we aim to understand the current range of nascent network centric agents. At one end of the spectrum, this includes agents’ efforts to form collaborative units. On the other end of the spectrum, we seek to understand techniques and methodologies for constructing online agents that represent interests of their actual counterparts and take actions autonomously. This workshop will reflect the impacts of the dynamic network proliferation and start of smart agent systems that exploit and explore opportunities heralded by the fast social-pace of interconnectivity. Smart agents are aware of the social climate of their environment while performing their design tasks or multitasks. They account for interactions with other agents so as to perform social acts in order to complement their physical and speech acts. This workshop emphasizes on the operational elements of the dynamic network that facilitate intelligence on the Internet. Social and cognitive foundations surrounding IoA that include nature of interactions among agents engaged in a meaningful exchange are of special interest. The workshop will feature invited talks by leading researchers and an exciting collection of oral presentations as well as an interactive poster session. - [ OBJECTIVES AND AREAS ] : The workshop seeks to attract papers concerning: - Discussing general challenges of IoA and potential solutions, - Presenting a novel architecture of IoA, - Describing experiments or prototype design for IoA, or - Presenting successful applications combining IoT and MAS This can be through a theoretical analysis or simulation methods. Papers may address one or more of the listed topics, although authors should not feel limited by them. All topics and submission formats are open to both research and industry contributions. - Agents-based interactive environments. - Architectures of cognitively reasoned interactions. - Cooperation and collaboration mechanisms. - Collective benefits of political fallouts and economic externalities. - Computational models of distributed technologies. - IoT/M2M applications and services employing MAS. - Globalized networks and grid alliances. - Network-centric warfare, individualism or organizations. - Smart societies and cities deploying protocols of IoA. - [ IMPORTANT DATES ] : Submission DEADLINE: JUNE 1, 2016 Notification of acceptance: June 25, 2016 - For submission instructions and more information, visit: http://www2.cs.siu.edu/~salqithami/ioa/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alessandro.aldini at uniurb.it Wed May 25 16:26:20 2016 From: alessandro.aldini at uniurb.it (Aldini, Alessandro) Date: Wed, 25 May 2016 16:26:20 +0200 Subject: FOSAD summerschool: Foundations of Security Analysis and Design 2016 Message-ID: 16TH INTERNATIONAL SCHOOL ON FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN FOSAD 2016 ==================================================== http://www.sti.uniurb.it/events/fosad16 ==================================================== 29 August - 3 September 2016, Bertinoro, Italy In cooperation with the European Network for Cyber-security (NeCS) *** Application Deadline: June 20, 2016 FOSAD has been one of the foremost events established with the goal of disseminating knowledge about foundations of security analysis and design to graduate students and young computer scientists from academia or industry. COURSES> Eerke Boiten (Kent Univ.) What's the unit of security? Cas Cremers (Oxford Univ.) Mathematical models, analysis tools, and Internet security Emiliano de Cristofaro (Univ. College London) Privacy-preserving information sharing: tools and applications Bryan Ford (EPFL) Secure systems building Alfredo Pironti (INRIA) Formal verification of security protocol implementations: from theory to practice Ahmad-Reza Sadeghi (TU Darmstadt) Practical systems security Ankur Taly (Google Inc.) Practical distributed authorization The courses alternate theory and practice sessions. OPEN SESSION> Daily sessions are organized for participants who intend to take advantage of the audience for presenting their current research/tool in the area. SCIENTIFIC COMMITTEE> Martin Abadi Javier Lopez Alessandro Aldini Fabio Martinelli (Chair) Gilles Barthe Catherine Meadows Eerke Boiten Bart Preneel Sandro Etalle SCHOOL VENUE> The school is organized at the University Residential Center of Bertinoro (CEUB), Italy: http://www.ceub.it/ The host venue provides a unique architectonical and environmental setting joining the stunning views of the hilltop of Bertinoro with the historical location of the ancient fortress and the facilities of the Center, which offers accommodation, meeting rooms, and modern conference and computing services. SCHOOL DATES> Prospective participants should apply through the FOSAD web page by: June 20, 2016. Notification of accepted applicants will be posted by: June 24, 2016. Registration to the school is due by: July 24, 2016. SCHOOL FEES> The full fee is 900 Euros and covers stay from August 28, in double room, half board (breakfast and lunch), welcome dinner of August 28 and social dinner included. A limited amount of grants will be provided to cover part of the fee for young researchers. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jeffpan.sw at googlemail.com Thu May 26 21:44:33 2016 From: jeffpan.sw at googlemail.com (Jeff Pan) Date: Thu, 26 May 2016 20:44:33 +0100 Subject: [CFA] The 12th Reasoning Web Summer School (RW 2016) Message-ID: Application Deadline - June 24th, 2016 ********************************************** CALL FOR APPLICATIONS The 12th Reasoning Web Summer School (RW 2016) Aberdeen, UK, September 5-9, 2016 http://www.abdn.ac.uk/events/rr-2016/rw-summer-school-2016/ ********************************************** co-located with: - 10th International Conference on Web Reasoning and Rule Systems (RR 2016), Aberdeen, UK, September 9-11, 2016 The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques which are of particular interest to Semantic Web, Linked Data and Knowledge Graph applications. It is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to learn about Reasoning on the Semantic Web and related issues. In 2016, the theme of the school is: "Query Rules" As in the previous years, lectures in the summer school will be given by a distinguished group of expert lecturers. Apart from their lectures, most lecturers will also be present for the duration of the school to interact and establish contacts with the students. The summer school is co-located with RR2016, hence, there will be a great opportunity for students to also attend a major event in the area after the school. In addition, RR will also include a Doctoral Consortium and students of RW are particularly encouraged to also apply to the Doctoral consortium of RR - joint applications are explicitly encouraged. == IMPORTANT DATES == Application deadline: June 24th, 2016 Notifications: July 8, 2016 == LECTURES == see webiste for the list of lectures http://www.abdn.ac.uk/events/rr-2016/rw-summer-school-2016/rw-tutorials/ and program http://www.abdn.ac.uk/events/rr-2016/rw-summer-school-2016/programme/ == APPLICATIONS == The number of attendees will be limited and participation will depend on submitting an application which will undergo a reviewing process. Applications have to be submitted by email to Martin J Kollingbaum ( http://www.abdn.ac.uk/ncs/profiles/m.j.kollingbaum/) and Jeff Z. Pan ( http://homepages.abdn.ac.uk/jeff.z.pan/pages/). 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 indicate this and include a poster title and abstract with their application submission. A selection of students attending RW will have the possibility to also attend the RR Doctoral Consortium with the opportunity to present their poster in a regular session of RR 2016. Students interested to be considered in this selection process should indicate it in their application. Students applying to RW are encouraged to submit also to the RR Doctoral Consortium (http://www.abdn.ac.uk/events/rr-2016/doctoral-consortium/), which will have proceedings and a mentoring lunch. 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) - Willing to be considered for RR/RuleML 2015 Doctoral Consortium? - Supervisor (if applicable) - Publications (if applicable) == SCHOOL FEES == The fee for attending the school alone is £385. The fee for attending both the school and the RR2016 confernece is £485. == 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. == GRANTS == There will be a limited number of student grants available for the summer school and for the co-located RR2016 conference. == ORGANISATION == * Organising Chairs Jeff Z. Pan (University of Aberdeen, UK) * Scientific Advisory Board Diego Calvanese (Free University of Bozen-Bolzano, Italy) Thomas Eiter (Vienna University of Technology, Austria) Ian Horrocks (Oxford University, UK) Michael Kifer (Stony Brook University, USA) Fangzhen Lin (Hong Kong University of Science and Technology, Hong Kong) * Application Coordinator Martin J Kollingbaum (University of Aberdeen, UK) == CONTACT == For further information including sponsorship opportunities, please contact the organising chairs. http://www.abdn.ac.uk/events/rr-2016/rw-summer-school-2016/ Doctoral Consortium ==================== We would also like to invite PhD students to submit PhD papers to the collocated two Doctoral Consortium: RR 2016 Doctoral Consortium http://www.abdn.ac.uk/events/rr-2016/doctoral-consortium/ Submission deadline for PhD papers: June 15th 2016 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jleite at fct.unl.pt Fri May 27 02:32:53 2016 From: jleite at fct.unl.pt (Joao Leite) Date: Fri, 27 May 2016 01:32:53 +0100 Subject: PhD Scholarship in Knowledge-Based Systems at the New University of Lisbon. Message-ID: PhD Scholarship in Knowledge-Based Systems at the New University of Lisbon. The NOVA Laboratory of Computer Science and Informatics (NOVA LINCS) and the Computer Science and Informatics Department (DI) PhD Program in Computer Science is now opening a call for PhD Studentships. NOVA LINCS is a Portuguese leading research unit (rated “Excellent” in the last (2013) FC&T evaluation) hosted at Departamento de Informática - Universidade Nova de Lisboa. We are pursuing an ambitious research program on Principles and Engineering for Global Software Systems, as a collaboration of the research groups Computer Systems, Knowledge-based Systems, Multimodal Systems, and Software Systems. The NOVA LINCS Knowledge-Based Systems (KBS) group conducts research in the broad area of knowledge representation and reasoning. Candidates must hold a Master degree or equivalent with a top record in a field closely related to Computer Science and Informatics, and should be highly motivated to perform competitive scientific research, publish their results in top quality conferences and journals, and develop new solutions. Autonomy and ability to work both independently and within research teams are expected. A good domain of English is necessary. More information about the structure of the PhD program can be obtained at http://www.di.fct.unl.pt/en/en/teaching/phd-computer-science. Student will be offered the opportunity of spending some time at research labs or other institutions with which NOVA LINCS and DI have agreements or partnerships in projects or exchange agreements. Lisbon is a very attractive place to live in and work ( http://edition.cnn.com/2014/01/25/travel/lisbon-coolest-city/). The positions will be supported up to 4 years, renewable on a yearly basis. The studentship includes a monthly stipend of €1080 net (no taxes applicable) plus social security insurance, tuition fees, and additional support to installation costs for candidates coming from abroad. The first call for applications is open until June 3, 2016. The application must include the following documents: motivation letter, CV, and copy of academic records/certificates. Applications and inquiries should be sent to nova-lincs.secretariado at fct.unl.pt (cc. to jleite at fct.unl.pt) with reference “PhD Studentships Application NOVALINCS-2016-1st Call”. Any specific inquiries should be sent to Joao Leite (jleite at fct.unl.pt). -- --------------------------------------------------------------- Joao Leite FCT-UNL - Universidade Nova de Lisboa, Faculdade de Ciencias e Tecnologia, Departamento de Informatica e-mail: jleite at fct.unl.pt web: http://centria.di.fct.unl.pt/~jleite --------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From henning at ruc.dk Fri May 27 12:28:01 2016 From: henning at ruc.dk (Henning Christiansen) Date: Fri, 27 May 2016 10:28:01 +0000 Subject: Call for papers: CSLP 2016; 8th International Workshop on Constraints and Language Processing. New York, October 2016 with ICLP Message-ID: Call for papers 8th International Workshop on Constraints and Language Processing, CSLP 2016 One day of 17–21 Oct, 2016 http://control.ruc.dk/CSLP2016/ A workshop affiliated with ICLP: 32th International Conference of Logic Programming 2016, New York, USA Organized by Henning Christiansen, Roskilde University, Denmark Verònica Dahl, Simon Fraser University, Canada. Workshop Purpose: Constraints are widely used in linguistics, computer science, psychology and many other fields. How they are used, however, varies widely according to the research domain: natural language processing, knowledge representation, cognitive modeling, problem solving mechanisms, etc. Since 2004, the CSLP workshop series has addresses different constraint oriented ways of modeling and treating language, and this time – the 7th CSLP workshop – is affiliated with the International Conference of Logic Programming, and focuses (non-exclusively) on logic programming based methods. This workshop addresses the question of how to best integrate constraints from an interdisciplinar perspective and with logic programming as a pivot, in view of powerful and robust human language processing. The topics include, but are not limited to, constraint-based linguistic theories, constraints in human language comprehension and production, constraint handling rules (CHR) and constraint handling rule grammars (CHRG), context modeling and discourse interpretation, acquisition of constraints, grammar induction through constraints, probabilistic constraint-based reasoning, constraint satisfaction technologies and constraint logic programming – all around the axis of logic programming. Several years of CSLP workshops (see left menu) aiming at integrating the different approaches on Constraint Solving and Language Processing shed light upon possible common frameworks capable of explaining how constraints play a role in representing, processing and acquiring linguistic information, and this from a formal, technical, and cognitive perspective. Among these frameworks, those that contained logic programming as a main aspect emerged as the most promising ones, e.g.. Constraint Handling Rules (CHR) as an extension to the logic programming language Prolog has added a mechanism for forward-chaining reasoning to complement Prolog's standard backwards chaining, goal-directed style. The combination of the two proved to provide a very powerful reasoning framework that creates an extended potential in applying logic programming for language processing and reasoning. Such results allow us to predict that adding logic programming may quite likely jump-start a whole new area of research that stands to revolutionize and revitalize formal logic approaches to NLP, adding robustness and flexibility to the models that can now be achieved, while elegantly marrying efficiency with direct executability. Topics include, but are not limited to: * Linguistic analysis and linguistic theories biased towards (Constraint) Logic Programming * Application of Constraint Solving and Constraint Logic Programming for language analysis and production * Constraint based modeling, comprehension and production of language * Context modelling and discourse interpretation * Acquisition of constraints * Constraints and learning * Cross-theoretical view of the notion of constraint * New advances in constraint-based linguistic theories * Constraint satisfaction technologies for language processing * Models of an applications for other than textual or spoken languages, e.g., sign languages and biological, multimodal human-computer interaction, visual languages * Probabilistic constraint-based reasoning for language and context comprehension See also: all information about previous CSLP workshops and publications Submission: Authors are invited to submit a full paper of up to 12 pages. Papers must be submitted electronically as PDF files and be prepared using the Springer LNAI/LNCS format. Previously published papers cannot be accepted, but new and perhaps preliminary work are welcome. Submissions will be reviewed by the international program committee. One author for each accepted paper must attend the workshop in order to present the paper. Proceedings will be made available for the participants and made available online. Submission site: Please submit your paper via the easychair system https://easychair.org/conferences/?conf=cslp16 Important dates: * Submission deadline: June 22, 2016 * Notification: August 1, 2016 * Final copy due: September 10, 2016 * Workshop: One day of 17–21 Oct, 2016 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From demri at lsv.ens-cachan.fr Fri May 27 14:00:20 2016 From: demri at lsv.ens-cachan.fr (=?utf-8?Q?St=C3=A9phane_Demri?=) Date: Fri, 27 May 2016 14:00:20 +0200 Subject: Deadline extension: GandALF 2016 (Catania, Italy, September 14-16) Message-ID: *** Apologies if you receive multiple copies. *** ----------------------------------------------------------------------------------------------------------------------- Deadline extension - GandALF 2016 (Catania, Italy, September 14-16) ----------------------------------------------------------------------------------------------------------------------- Due to some requests, the deadline for abstract and paper submission of GandALF 2016 has been extended to June 6, 2016 ----------------------------------------------------------------------------------------------------------------------- The Seventh International Symposium on Games, Automata, Logics and Formal Verification will take place in Catania, Italy, from September 14 to 16. Web page: http://gandalf2016.dmi.unict.it The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The symposium covers an ample spectrum of themes, ranging from theory to applications, and encourages cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. TOPICS OF INTEREST The topics covered by the conference include, but are not limited to, the following: Automata Theory Automated Deduction Computational aspects of Game Theory Concurrency and Distributed computation Decision Procedures Deductive, Compositional, and Abstraction Techniques for Verification Finite Model Theory First-order and Higher-order Logics Formal Languages Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems Games and Automata for Verification Game Semantics Logical aspects of Computational Complexity Logics of Programs Modal and Temporal Logics Model Checking Models of Reactive and Real-Time Systems Program Analysis and Software Verification Run-time Verification and Testing Specification and Verification of Finite and Infinite-state Systems Synthesis PROCEEDINGS The proceedings will be published by Electronic Proceedings in Theoretical Computer Science. Authors of the best papers will be invited to submit a revised version of their work to a special issue of Information and Computation. Selected papers from previous editions appeared in special issues of the International Journal of Foundation of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013 and 2014), and Acta Informatica (GandALF 2015). INVITED SPEAKERS Luca Bortolussi (University of Trieste, Italy) Joanna Golinska-Pilarek (Institute of Philosophy, University of Warsaw, Poland) Arnaud Sangnier (Laboratoire LIAFA, Université Paris Diderot, France) SUBMISSIONS Submitted papers should not exceed fourteen (14) pages using EPTCS format (please use the LaTeX style provided at http://style.eptcs.org ), be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF or PS format and will be handled via the EasyChair Conference system at the following address: https://www.easychair.org/conferences/?conf=gandalf2016 IMPORTANT DATES New deadline for Abstract & Paper submission: June 6, 2016 Notification: July 1, 2016 Camera-ready: July 29, 2016 PROGRAM COMMITTEE Parosh Aziz Abdulla, Univ. of Uppsala, Sweden Ahmed Bouajjani, LIAFA, France Patricia Bouyer-Decitre, CNRS & LSV, France Domenico Cantone, Univ. of Catania, Italy (co-chair) Krishnendu Chatterjee, Inst. of Science and Tech. Austria Vincenzo Ciancia, ISTI "A. Faedo", CNR, Pisa, Italy Giorgio Delzanno, Univ. of Genoa, Italy (co-chair) Laurent Doyen, CNRS & LSV, France Bernd Finkbeiner, Universität des Saarlandes, Germany Antonín Kucera, Masaryk University (Brno), Czech Republic Henryk Michalewski, Univ. of Warsaw, Poland Angelo Montanari, Univ. of Udine, Italy K. Narayan Kumar, Chennai Mathematical Institute, India Doron Peled, Bar Ilan Univ., Israel Norbert Preining, Japan Advanced Institute of Science and Technology Sasha Rubin, Univ. of Napoli "Federico II", Italy Sven Schewe, Univ. of Liverpool, UK Enrico Tronci, Univ. of Roma "La Sapienza", Italy Damien Zufferey, MIT CSAIL, USA STEERING COMMITTEE Javier Esparza, Univ. of Munich, Germany Angelo Montanari, Univ. of Udine, Italy Margherita Napoli, Univ. of Salerno, Italy Mimmo Parente, Univ. of Salerno, Italy Wolfgang Thomas, Aachen Univ., Germany The submission Web site for GandALF 2016 is https://easychair.org/conferences/?conf=gandalf2016 _______________________________________________ Grin-eventi mailing list Grin-eventi at grin-informatica.it http://www.grin-informatica.it:8080/cgi-bin/mailman/listinfo/grin-eventi -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lfloridi at gmail.com Fri May 27 14:35:40 2016 From: lfloridi at gmail.com (Luciano Floridi) Date: Fri, 27 May 2016 13:35:40 +0100 Subject: JOB: Postdoctoral Researcher in Information Ethics position at the University of Oxford In-Reply-To: References: Message-ID: We are advertising a Postdoctoral Researcher in Information Ethics position at the University of Oxford. If you are interested in ethics and technology please apply, the position is completely open to a large spectrum of research interests and expertise. And please forward this to anyone who might be interested. The postdoc is a full-time research position for 18 months, no teaching no admin, and plenty of opportunities and support to develop new ideas. The postdoc will collaborate with me (http://www.oii.ox.ac.uk/people/floridi/) and my research group (http://epic.oii.ox.ac.uk/) at the Oxford Internet Institute, a Department in the University of Oxford Social Sciences Division (http://www.oii.ox.ac.uk/). For the formal advertisement, a full description of the job, and details about how to apply please check: http://tinyurl.com/jlbfg3e Best wishes, Luciano Floridi _______________________________________________________ www.oii.ox.ac.uk/people/floridi/ | www.philosophyofinformation.net Professor of Philosophy and Ethics of Information Director of Research Oxford Internet Institute | University of Oxford PA Mrs. Lisa Smyth | pa.floridi at oii.ox.ac.uk https://twitter.com/Floridi Tel: +44 (0) 1865 287202 1 St Giles, Oxford, OX1 3JS, UK From grlmc at grlmc.com Sat May 28 20:23:12 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 28 May 2016 20:23:12 +0200 Subject: TPNC 2016: 2nd call for papers Message-ID: <545102060a010b0b085e50000509575c545f06560254575504030b080e50575552020001050953060757580a0f51@grlmc_ip-zone_com-6> TPNC 2016: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *************************************************************************** 5th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2016   Sendai, Japan   December 12-14, 2016   Organized by:   Cyberscience Center Tohoku University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/TPNC2016/ ***************************************************************************   AIMS:   TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2016 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.   VENUE:   TPNC 2016 will take place in Sendai, in the northeast (Tohoku) region of Japan. The city was founded in 1600 and is nicknamed the "city of trees". It is the second largest city north of Tokyo. It takes about 100 minutes to reach Sendai from Tokyo by bullet train (Shinkansen). The venue will be the Cyberscience Center, Aobayama Campus, Tohoku University:   http://www.cc.tohoku.ac.jp/HTML/   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   amorphous computing ant colonies artificial chemistry artificial immune systems artificial life bacterial foraging cellular automata chaos computing collision-based computing complex adaptive systems computing with DNA computing with words and perceptions developmental systems evolutionary computing fractal geometry fuzzy logic gene assembly in ciliates granular computing intelligent systems in-vivo computing membrane computing nanocomputing neural computing optical computing physarum machines quantum computing quantum information reaction-diffusion systems rough sets self-organizing systems swarm intelligence synthetic biology   - Applications of natural computing to:   algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence   A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.   STRUCTURE:   TPNC 2016 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   Eric Bonabeau (Icosystem), The Interface: Thinking Differently about How Humans and Algorithms Connect   Luis Martínez López (University of Jaén), Managing Natural Noise in Recommender Systems   Qingfu Zhang (City University of Hong Kong), Decomposition Multiobjective Evolutionary Computation   PROGRAMME COMMITTEE:   Andrew Adamatzky (University of the West of England, UK) Zixing Cai (Central South University, China) Óscar Castillo (Tijuana Institute of Technology, Mexico) Óscar Cordón (University of Granada, Spain) Gianni Di Caro (Dalle Molle Institute for Artificial Intelligence Research, Switzerland) Marco Dorigo (Free University of Brussels – ULB, Belgium) Austin G. Fowler (Google, USA) Michel Gendreau (Montreal Polytechnic, Canada) Debasish Ghose (Indian Institute of Science, Bangalore, India) Jin-Kao Hao (University of Angers, France) Inman Harvey (University of Sussex, UK) Wei-Chiang Hong (Nanjing Tech University, China) Amir Hussain (University of Stirling, UK) Robert John (University of Nottingham, UK) Joshua Knowles (University of Birmingham, UK) Kwong-Sak Leung (Chinese University of Hong Kong, China) Seth Lloyd (Massachusetts Institute of Technology, USA) José A. Lozano (University of the Basque Country, Spain) Vittorio Maniezzo (University of Bologna, Italy) Carlos Martín-Vide (Rovira i Virgili University, Spain, chair) Philip K. McKinley (Michigan State University, USA) Jerry M. Mendel (University of Southern California, USA) Marjan Mernik (University of Maribor, Slovenia) Radko Mesiar (Slovak University of Technology in Bratislava, Slovakia) Chrystopher Nehaniv (University of Hertfordshire, UK) Vilém Novák (University of Ostrava, Czech Republic) Linqiang Pan (Huazhong University of Science and Technology, China) Frederick E. Petry (Naval Research Laboratory, USA) Dan Ralescu (University of Cincinnati, USA) Francisco C. Santos (University of Lisbon, Portugal) Friedrich Simmel (Technical University of Munich, Germany) Andrzej Skowron (University of Warsaw, Poland) John A. Smolin (IBM Thomas J. Watson Research Center, USA) Ying Tan (Peking University, China) Guy Theraulaz (Paul Sabatier University, France) Tommaso Toffoli (Boston University, USA) Vicenç Torra (University of Skövde, Sweden) Edward Tsang (University of Essex, UK) Sergi Valverde (Pompeu Fabra University, Spain) José Luis Verdegay (University of Granada, Spain) Fernando J. Von Zuben (University of Campinas, Brazil) K. Birgitta Whaley (University of California, Berkeley, USA) Darrell Whitley (Colorado State University, USA) Xin‐She Yang (Middlesex University, UK) Hao Ying (Wayne State University, USA) Mengjie Zhang (Victoria University of Wellington, New Zealand) Zhi-Hua Zhou (Nanjing University, China)   ORGANIZING COMMITTEE:   Masayuki Fukumitsu (Ebetsu) Carlos Martín-Vide (Tarragona, co-chair) Takaaki Mizuki (Sendai, co-chair) Hideaki Sone (Sendai) Miguel A. Vega-Rodríguez (Cáceres) Florentina Lilica Voicu (Tarragona)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=tpnc2016   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/TPNC2016/Registration.php   DEADLINES:   Paper submission: July 26, 2016 (23:59h, CET) Notification of paper acceptance or rejection: September 2, 2016 Final version of the paper for the LNCS proceedings: September 9, 2016 Early registration: September 9, 2016 Late registration: November 28, 2016 Submission to the post-conference journal special issue: March 14, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   TPNC 2016 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   Phone: +34 977 559 543 Fax: +34 977 558 386   ACKNOWLEDGEMENTS:   Tohoku University Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cibb2016 at gmail.com Sat May 28 20:56:20 2016 From: cibb2016 at gmail.com (cibb2016@Stirling) Date: Sat, 28 May 2016 19:56:20 +0100 Subject: CIBB2016 - last call for paper (EXTENDED!) References: <6C2258D9-7CE7-4C08-80F6-7831B810B149@cs.stir.ac.uk> Message-ID: <404E3DB8-54B5-4236-8B3F-1A9405F0F588@gmail.com> [apologies for multiple posting] ======================================================================= THIRD CALL FOR PAPERS PAPER SUBMISSION: 12th June 2016 (EXTENDED) CIBB 2016 13th International Meeting on Computational Intelligence methods for Bioinformatics and Biostatistics University of Stirling, Stirling, Scotland UK September 1-3 2016 http://www.cs.stir.ac.uk/events/cibb2016/ cibb2016 at gmail.com ======================================================================= In evidence (please see below and the web for details): - Due to numerous request paper submission has been extended: Paper submission deadline: 12th June 2016 (EXTENDED) - the very interesting list of invited speakers is growing ! - five special sessions are running - please, connect to the conference via @CIBB2016 on twitter Keynote Speakers (to be completed) Prof. Mark Beaumont School of Biological Sciences, Bristol University Evolutionary Biology Prof. Natalio Krasnogor School of Computing Science, Newcastle University Computing Science and Synthetic Biology Prof. Bud Mishra Courant Institute of Mathematical Sciences and NYU School of Medicine, New York University NYU, and Mt Sinai School of Medicine Computer Science, Cell Biology and Genetics Dr. Guido Sanguinetti School of Informatics, University of Edinburgh System design of stochastic models Special Sessions Engineering Bio-interfaces and Rudimentary Cells as a way to develop Synthetic Biology Contacts: Maria Raposo, mfr at fct.unl.pt Biocuration and integration of biomedical databases Contacts: Riccardo Rizzo, ricrizzo at pa.icar.cnr.it Modeling and simulation methods for Systems Biology and Systems Medicine Contacts: Paolo Cazzaniga, paolo.cazzaniga at unibg.it High-Performance Computing and Deep learning methods for Genomic Data Analysis Contacts: Fabio Tordini, tordini at di.unito.it Statistical inference in mechanistic models of biological system Contacts: Dirk Husmeier, Dirk.Husmeier at glasgow.ac.uk Scope The main goal of this 13th edition of the CIBB international conference is to provide a multi-disciplinary forum open to researchers interested in the application of computational intelligence, in a broad sense, to open problems in bioinformatics, biostatistics, systems and synthetic biology and medical informatics. Cutting edge methodologies capable of accelerating life science discoveries will be discussed. Following its tradition and roots, this year's meeting will bring together researchers from the international scientific community interested in advancements and future perspectives in bioinformatics and biostatistics. Also, looking at current trends and future opportunities at the edge of computer and life sciences, the application of computational intelligence to system and synthetic biology, and the consequent impact on innovative medicine will be of great for the conference. Theoretical and experimental biologists are also invited to participate in order to present novel challenges and foster multidisciplinary collaboration. The scientific program of CIBB 2016 will include Keynote Speakers, tutorials and special sessions. Contributed papers will be presented in plenary oral sessions, special sessions, or poster sessions. Topics of interest include, but are not restricted to: Next generation sequencing bioalgorithms Multi-omics data analysis High dimensional statistical analysis of omics data Algorithms for alternative splicing analysis Algorithms for molecular evolution and phylogenetic analysis Methods for the visualization of high dimensional complex omic data Software tools for bioinformatics Methods for comparative genomics Methods for functional classification of genes Methods for unsupervised analysis, validation and visualization of structures discovered in bio-molecular data Health-Informatics and Medical Informatics. Methods for the integration of clinical and genetic data Heterogeneous data integration and data fusion for diagnostics Algorithms for pharmacogenomics Biomedical text mining and imaging Methods for diagnosis and prognosis within personalized medicine Statistical methods for the analysis of clinical data Prediction of secondary and tertiary protein structures Mass spectrometry data analysis in proteomics Algorithms for molecular evolution and phylogenetic analysis Bio-molecular databases and data mining Mathematical modeling and automated reasoning on biological and synthetic systems Computational simulation of biological systems Methods and advances in systems biology Spatio-temporal analysis of synthetic and biological systems Network systems biology Models for cell populations and tissues Methods for the engineering of synthetic components Modelling and engineering of interacting synthetic and biological systems Software tools for bioinformatics, biostatistics, systems and synthetic biology Publication Accepted papers will be presented at the conference (at least one author is expected to register), and will be published on proceedings for conference distribution. Extended and revised versions of the papers presented at CIBB 2016 will be invited for a post-conference monograph. This is traditionally published in the Springer series of Lecture Notes in Bioinformatics (LNBI), (arrangements undergoing). Continuing the tradition of CIBB, we are planning to publish best papers in one (or more, as appropriate) special issue of an international scientific journal (such as BMC Bioinformatics, in the latest editions). Paper Submission Papers must be prepared following the guidelines illustrated on the CIBB web site and should be long between 4 and 6 pages. Papers should be submitted in PDF format on the Easy Chair conference system (link available on the web site). Important Dates Paper submission deadline: >>>>>>>> 12th June 2016 (EXTENDED) <<<<<<<<< Notification of acceptance: 3rd July 2016 Final paper due: 24th July 2016 Conference: 1st -3rd September 2016 General Chairs Andrea Bracciali, University of Stirling, UK David Gilbert, Brunel University London, UK Gilbert MacKenzie, UL, ENSAI and Keele, UK Biostatistics Technical Chair Marco Bonetti, Università Bocconi, Italy Bioinformatics Technical Chair Ivan Merelli, ITB-CNR, Italy Local Organizing Committee Chairs Leslie Smith, University of Stirling, UK Giulio Caravagna, Edinburgh University, UK Publicity Chair Francesco Masulli, University of Genoa, Italy Special Session and Tutorial Chair Claudia Angelini, IAC-CNR, Italy Publication Chair Riccardo Rizzo, ICAR-CNR, Italy Steering Commitee Pierre Baldi, University of California, Irvine, CA, USA Elia Biganzoli, University of Milan, Italy Clelia Di Serio, Vita-Salute San Raffaele University, Italy Alexandru Floares, Oncological Institute Cluj-Napoca, Romania Jon Garibaldi, University of Nottingham, United Kingdom Nikola Kasabov, Auckland University of Technology, New Zealand Francesco Masulli, University of Genova, Italy and Temple University, PA, USA Leif Peterson, TMHRI, Houston, Texas, USA Roberto Tagliaferri, University of Salerno, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From N.Bulling at tudelft.nl Sun May 29 11:09:36 2016 From: N.Bulling at tudelft.nl (Nils Bulling - EWI) Date: Sun, 29 May 2016 09:09:36 +0000 Subject: 18th European Agent Systems Summer School (EASSS) -- Early registration deadline extended Message-ID: <286B4959-F0DD-4A72-BB94-99AFCFFCD7EE@tudelft.nl> ****************************************************************************** * SECOND CALL FOR PARTICIPATION * !! Early Registration Deadline extended !! 18th European Agent Systems Summer School (EASSS-2016) to be held at the University of Catania, Catania, Italy 25-30 July 2016 Web page: http://easss2016.dmi.unict.it Contact: easss2016 at dmi.unict.it ***************************************************************************** *** NEWS ***************************************************************************** The early registration deadline for the summer school has been extended to 10 June 2016. ***************************************************************************** *** ABOUT EASSS-2016 ***************************************************************************** Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level. The 18th European Agent Systems Summer School will be held at the University of Catania, Catania, Italy, from the 25th to 30th of July 2016. As was the case with its highly successful earlier editions, EASSS-2016 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-agent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers, and will be taught by leading researchers in the field. The scheduled tutorials of EASSS-2016 are: * Agents meet the IoT: Towards Ecosystems of Networked Smart Objects - Giancarlo Fortino, University of Calabria, Italy * Complex Event Recognition in Multi-Agent Systems - Alexander Artikis, University of Piraeus, Greece * Simple Models of Opinion Dynamics On Networks. The role of network structure on the emergence of consensus in simple models of opinion dynamics. - Vincenzo Nicosia, Queen Mary University of London, UK * Multi-objective decision making - Shimon Whiteson and Diederik M. Roijers, University of Oxford, Uk * Spatial Multi-Agent Systems - Andrea Omicini, Stefano Mariani, Mirko Viroli, University of Bologna, Italy * Introduction to Judgment Aggregation for Multi-Agent Systems. - Marija Slavkovik, University of Bergen, Norway * Norm synthesis in Normative Multi-Agent Systems - Javier Morales, IIIA-CSIC, Spain * What is “correct” when rules admit exceptions? On default logic and formal argumentation - Truls Pedersen, University of Bergen, Norway - Sjur Dyrkolbotn, Utrecht University, The Netherlands * Programming Conversational Agents with Akka Actors - Maíra Gatti de Bayser and Paulo Cavalin, IBM Research, Brazil * Verification of Autonomous Agents and Multiagent Systems. - Natasha Alechina and Brian Logan, University of Nottingham, UK * Model Driven Agent-Oriented Software Engineering - Nikolaos Spanoudakis, Technical University of Crete, Greece * Optimisation in multi­agent systems - Jesús Cerquides Bueno and Juan A. Rodríguez­Aguilar, IIIA-CSIC, Spain * Programming Autonomous Robots using PROFETA and the BDI model - Corrado Santoro, University of Catania, Italy Please visit http://easss2016.dmi.unict.it/?page_id=217 for more details about the list of tutorial. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/). ****************************************************************************** *** THE VENUE ****************************************************************************** Catania is the second major city of Sicily; it is a beautiful place that provides, in a unique site, the strength of volcano Etna with the crystal clear sea of the Ionian coast and the historical and archaeological heritage. EASSS participants can enjoy the venue and combine scientific and touristic activities in a single trip. The coast is full of beaches with very different characteristics, ranging from the classical yellow sand, to the black volcanic rocks. And the climate of July strongly calls for swimming and taking sun baths. Not far from Catania, there are many other places to visit which can make the stay an unforgettable experience: Acireale and Noto, full of baroque architecture; Siracusa, Taormina, Piazza Armerina, Agrigento, Selinunte, Segesta, Mothia, with their ancient Greek and Latin ruins; Palermo, which witnesses the presence of the Arabian domination; Acitrezza, a fisherman village in which the famous "Polyphemus vs. Ulysses" event of the Odyssey poem is set; and many many others. ****************************************************************************** *** IMPORTANT DATES ****************************************************************************** Early registration deadline: 10 June 2016 (extended) Regular registration deadline: 1 July 2016 (extended) Summer school: 25-30 July 2016 ****************************************************************************** *** FEES ****************************************************************************** Early registration: 340 EUR Regular registration: 360 EUR This includes the participation to the courses, coffee breaks, lunches Monday-Tuesday and Thursday, and online access to the material used during the courses by the teachers. ****************************************************************************** *** SOCIAL PROGRAM ****************************************************************************** A social program will be organised on Wednesday afternoon. It will be a trip on the top of the mount Etna. It will include walks on some specific areas and visits to some caves. The trip will be completed with a typical Sicilian dinner. The cost of the Social Program is expected to be around 60 euros, *not included* in the registration fee (for the moment). ****************************************************************************** *** CO-LOCATED EVENT ****************************************************************************** A workshop is co-located with EASSS-2016; it is the "Workshop 'From Objects to Agents' (WOA-2016)", a per-year meeting of the Italian research group on Agent and Multi-agent Systems. The participation to the workshop is free for all EASSS students and tutors. The language of the workshop is English. Students are invited to submit their papers if they want to share their research ideas and participate to the live discussions. Proceedings will be published on-line in the CEUR-WS website with ISSN. More details can be found on http://woa2016.dmi.unict.it ****************************************************************************** *** Acknowledgement ****************************************************************************** The summer school is sponsored by the journal Artificial Intelligence (AIJ) and by EURAMAS. The support is greatly appreciated. ****************************************************************************** *** EASSS-2016 Committees and Contact ****************************************************************************** Scientific Committee: - Davide Grossi, University of Liverpool, UK - Corrado Santoro, University of Catania, Italy - Amal El Fallah-Seghrouchni, University Pierre et Marie Curie, France Local Organsing Committee: - Massimiliano De Benedetti, University of Catania, Italy - Fabrizio Messina, University of Catania, Italy - Giuseppe Pappalardo, University of Catania, Italy - Corrado Santoro, University of Catania, Italy Contact: easss2016 at dmi.unict.it ****************************************************************************** *** PREVIOUS EDITIONS ****************************************************************************** EASSS has been organised annually in different European locations since 1999. * EASSS-2015 in Barcelona: http://http://www.iiia.csic.es/easss2015 * EASSS-2014 in Chania: http://www.intelligence.tuc.gr/easss2014 * EASSS-2013 in London: http://www.inf.kcl.ac.uk/events/easss13/index.html EASSS-2012/Valencia, Spain; EASSS-2011/Girona, Spain; EASSS-2010/Saint-Etienne, France; EASSS-2009/Torino, Italy; EASSS-2008/Lisbon, Portugal; EASSS-2007/Durham, UK; EASSS-2006/Annecy,France; EASSS-2005/Utrecht, Netherlands; EASSS-2004/Liverpool, UK; EASSS-2003/Bologna, Italy; EASSS-2002/Barcelona, Spain; EASSS-2001/Prague, Czech Republic; EASSS-2000/Saarbrucken, Germany; EASSS-1999/Utrecht, Netherlands ****************************************************************************** — Priv.-Doz. Dr. rer. nat. habil. Nils Bulling Interactive Intelligence Group Delft University of Technology The Netherlands http://www.nilsbulling.com From tobias.philipp at tu-dresden.de Sun May 29 22:05:41 2016 From: tobias.philipp at tu-dresden.de (Tobias Philipp) Date: Sun, 29 May 2016 22:05:41 +0200 Subject: The European Master's Program in Computational Logic: Application until 5 June 2016 Message-ID: Dear all, I'd like to draw your attention to the fact that applications for the European Master's Program in Computational Logic are possible UNTIL 5 June 2016. More details are given below. Please spread this information as wide as possible among friends and colleagues, at your old universities and the places, where you currently live and work. Many thanks -- Steffen ******************************************************************************************************* The European Master's Program in Computational Logic We are glad to announce to you the possibility to join our European Master's Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universität Dresden in Germany, the Universidade Nova de Lisboa in Portugal and the Technische Universität Wien in Austria. Within this program you have the choice to study at two /three of the four European universities. In addition, you can do your project work at the National ICT of Australia (NICTA). You will graduate with a MSc in Computer Science and obtain a joint degree. Information on the universities and the program including the application procedure is provided here: http://www.emcl-study.eu/home.html Language of instruction is English. Tuition fees are 3.000 EUR (for non-European students) and 1.000 (for European students) per year. Tuition fee waivers and small scholarships are available. Do not hesitate to contact us if you have any further questions. Kind regards -- Steffen Hölldobler Prof. Dr. Steffen Hoelldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden, Germany phone: [+49](351)46 33 83 40 fax: [+49](351)46 33 83 42 email: sh at iccl.tu-dresden.de -- TU Dresden Department of Computer Science International Center for Computational Logic 01062 Dresden,Germany Tel.: +49 (0)351 463 38341 -- In the case, you do not want to receive this email, please write an email to tobias.philipp at tu-dresden.de, subject: UNSUBSCRIBE From prima2016publicity at gmail.com Mon May 30 08:17:15 2016 From: prima2016publicity at gmail.com (Nadin Kokciyan) Date: Mon, 30 May 2016 09:17:15 +0300 Subject: 2nd Call for Student Session of PRIMA 2016 [free passes available for students] Message-ID: PRIMA-2016 Student Session Call for Abstracts and Applications (NEW: !!! Scholarships Available !!!) August 22-26, 2016, Phuket, Thailand URL: http://prima2016.di.unito.it Co-located with PRICAI 2016 (Pacific Rim International Conference on Artificial Intelligence) ----------------------------------------------------------------- Students are invited to submit a two page abstract and apply for a scholarship to attend the student session to be held at the PRIMA conference, Phuket, Bangkok August 22-26, 2016. The confe- rence will feature three invited speakers (Prof. Toru Ishida, Prof. Jörg Müller, and Prof. Phan Minh Dung) and a minischool on computational logic and autonomous agents. The conference venue is one of the best tourist destinations in Thailand. See http://prima2016.di.unito.it/ for more details. The student session provides an opportunity for students to discuss their research interests and career objectives with es- tablished researchers in the field, network with other partici- pants, and receive mentoring about career planning and career op- tions. The student session will expose students to different ar- eas of research within autonomous agents and help build profes- sional connections within the international community of re- searchers. Multiple scholarships are available for students wishing to attend the student session. In addition to the student session, scholars- hip holders will have access to all PRIMA sessions (keynotes, tec- hnical sessions, student session and tutorials) and also to every other PRIMA/PRICAI sessions and events, including the PRIMA workshop (http://prima2016.di.unito.it/npmase.html) and the PRICAI Student Symposium on the Artificial Intelligence and Applications (http://aiat.in.th/pricai2016/front/show/ds-ai), as well as the other workshops. The scholarships are available to students at all levels (doctoral, master, junior-Post doctoral, or bachelor) students. Graduate or post-graduate students should submit items 1, 2, and 3 described below. Undergraduate students need to submit a letter of interest. ----------------------------------------------------------------- Deadline for applications: June 5, 2016 Notification of acceptance: June 15, 2016 ----------------------------------------------------------------- Applicants should submit: 1. a two-page extended abstract that summarizes the research problem being investigated, the specific contributions made, and directions for the remaining work. The extended abstract has to be formatted using the LNCS format, and is at most to 2 pages, including references. When writing it remember that the audience might not be necessarily knowledgeable in the narrow topic of your thesis. Be sure to introduce the content at a level that the general audience can understand it, but also include enough low- level details for the experts to understand your unique contribu- tions. Accepted extended abstracts will be published in the PRIMA Proceedings and be presented briefly at the student session. 2. a curriculum vitae (2 pages) with background (name, universi- ty), education (degree sought, year/status in degree, previous degrees), employment, and relevant experience in research (publi- cations, presentations, conferences attended, etc). 3. name of the thesis advisor and information, including title, department, affiliation and email address. A request for a letter of support will be emailed to your thesis advisor. All these documents must be joined into a *single PDF file* befo- re submission. For details visit: http://prima2016.di.unito.it -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From s.verberne at cs.ru.nl Mon May 30 09:56:35 2016 From: s.verberne at cs.ru.nl (Suzan Verberne) Date: Mon, 30 May 2016 00:56:35 -0700 Subject: ECAI registration is open Message-ID: ECAI 2016 newsflash: - Fee information and registration is online at http://www.ecai2016.org/location/ - Registration site also allows to book hotel at special prices - Deadline for early fee is 5 July - Members of European AI associations have a special fee, so people should consider becoming member of their associations ( https://www.eurai.org/organisation/member-societies) *** About ECAI *** The biennial European Conference on Artificial Intelligence (ECAI) is Europe’s premier venue for presenting scientific results in AI. Under the general theme of “AI for human values”, the 22nd edition of ECAI will be held in the city of The Hague, in sight the Peace Palace, seat of the International Court of Justice, a location highly appropriate to the conference theme. The conference dates are 29 August – 2 September 2016, with the workshops taking place on 29-30 August. -- Suzan Verberne, researcher Data Science, Institute for Computing and Information Sciences Radboud University Nijmegen Tel: 0031 24 36 53431/15775 Email: s.verberne at cs.ru.nl http://sverberne.ruhosting.nl -- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From morozov at cplire.ru Mon May 30 16:20:58 2016 From: morozov at cplire.ru (Alexei A. Morozov) Date: Mon, 30 May 2016 17:20:58 +0300 Subject: RuleML and DecisionCamp 2016 Call for Participation Message-ID: <1602602287.20160530172058@cplire.ru> RuleML and DecisionCamp 2016 Call for Participation 10th International Web Rule Symposium (RuleML) 2016 http://2016.ruleml.org DecisionCamp 2016 http://2016.ruleml.org/decisioncamp Dates: Wednesday, July 6 - Saturday, July 9, 2016 Location: New Computer Science Department Building, room 120, Stony Brook University, New York, USA == EARLY REGISTRATION DEADLINE == Benefit from reduced early registration fee by: May 31, 2016 http://2016.ruleml.org/registration == NEWS == Invited presentations by: Richard Waldinger (2016 Herbrand Award winner), Charles Forgy (inventor of the RETE algorithm, Bruce Silver (book author on DMN Method and Style), Michael Kifer, Theresa Swift and Benjamin Grosof. == OPEN CALLS (Challenge, Doctoral Consortium, Industry Track) == Submission Deadline (Papers/Demos/Posters) for all Open Calls: June 5th, 2016 === 10th International Rule Challenge 2016 === The RuleML 2016 Challenge is one of the highlights of the RuleML 2016 Symposium, providing a friendly competition environment for innovative rule-oriented systems and applications, aimed at both research and industry participants. http://2016.ruleml.org/challenge High-quality, original papers, potentially referencing online material, and ranging between 5-15 pages should be submitted at: https://easychair.org/conferences/?conf=ruleml2016 ("10th International Rule Challenge" track). === New: Call for Posters === Posters are called for about late-breaking rule topics, e.g. domain-specific applications of rule systems. Posters should be accompanied by high-quality, original 1-4 page extended abstracts, which should be submitted at: https://easychair.org/conferences/?conf=ruleml2016 ("10th International Rule Challenge" track). === Doctoral Consortium === Both PhD students and mentors are called for: http://2016.ruleml.org/doctoral-consortium === Industry Track === Will include a panel about use of rules and rule technologies in business cases: http://2016.ruleml.org/industry-track == ACCEPTED PAPERS == http://2016.ruleml.org/list-of-accepted-papers == ACCOMMODATION == http://2016.ruleml.org/venue-and-accommodation == PROGRAM == The program of RuleML 2016 includes (http://2016.ruleml.org/program): * Four invited presentations (http://2016.ruleml.org/keynotes-and-tutorials): - Natural Language Access to Data: It Needs Reasoning, Richard Waldinger, SRI International - DMN as a Decision Modeling Language, Bruce Silver, Bruce Silver Associates - Programming in Picat, Neng-Fa Zhou, City University of New York - Practical Knowledge Representation and Reasoning in Ergo, Michael Kifer, Theresa Swift and Benjamin Grosof, Coherent Knowledge Systems * 10th International Rule Challenge 2016 (http://2016.ruleml.org/challenge) * Doctoral Consortium (http://2016.ruleml.org/doctoral-consortium) * LegalRuleML OASIS TC Meeting * DecisionCamp 2016 (http://2016.ruleml.org/decisioncamp) == REGISTRATION == Early Registration fees: RuleML - Regular: $250 RuleML - Student: $100 DecisionCAMP only: $75 ----------- Paul Fodor, Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori and Jacob Feldman RuleML2016 and DecisionCamp2016 PC Chairs From demri at lsv.ens-cachan.fr Tue May 31 12:43:48 2016 From: demri at lsv.ens-cachan.fr (=?utf-8?Q?St=C3=A9phane_Demri?=) Date: Tue, 31 May 2016 12:43:48 +0200 Subject: TIME 2016 --- Final Call for Papers Message-ID: <4023AA4D-7E89-4F4E-942F-2329D6959FD3@lsv.ens-cachan.fr> [ Apologies for cross posting ] --------------------------------------------------------------------------------------------------- TIME 2016 23rd International Symposium on Temporal Representation and Reasoning Final Call for Papers http://time2016.compute.dtu.dk TIME 2016 takes place at the Technical University of Denmark. --------------------------------------------------------------------------------------------------- Aim --------------------------------- TIME 2016 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 23rd edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification. The Artificial Intelligence track includes, but is not limited to: - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - reasoning about actions and change - planning and planning languages - ontologies of time and space-time - belief and uncertainty in temporal knowledge - temporal learning and discovery - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web - constraint-based temporal reasoning - temporal preferences The Database track includes, but is not limited to: - temporal data models and query languages - temporal query processing and indexing - temporal data mining - time series data management - stream data management - spatio-temporal data management, including moving objects - data currency and expiration - indeterminate and imprecise temporal data - temporal constraints - temporal aspects of business processes and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - temporal aspects and big data - temporal aspects in NoSQL databases - temporal data warehouses - temporal healthcare databases and warehouses - time series analysis and mining - semistructured temporal data - novel applications of temporal database management - novel visualizations and interfaces for temporal data - experiences with real applications The Logic and Verification track includes, but is not limited to: - specification and verification of systems - verification of web applications - synthesis and execution - model-checking algorithms and implementations - verification of infinite-state systems - reasoning about transition systems - temporal architectures - temporal logics for distributed systems - temporal logics for games and open systems - temporal logics of knowledge - hybrid systems and real-time logics - cyber-physical systems - tools and practical systems - temporal issues in security Submission --------------------------------- Submissions should be in PDF format (with the necessary fonts embedded). They must be formatted according to the IEEE guidelines and must not exceed 10 pages (US letter format); over-length submissions may be rejected without review. Submissions will be handled electronically by EasyChair: https://easychair.org/conferences/?conf=time2016 . Accepted papers will be presented at the symposium and included in the proceedings, which is planned to be published by the Conference Publishing Services (CPS), as usual within the TIME series. Acceptance of a paper is contingent on one author registering for and presenting the paper at the symposium. As in previous years, it is planned that the authors of the best papers of the conference will be invited to submit an extended version of their contribution to a special issue of a well-respected computer science journal. Important Dates --------------------------------- Full papers due: June 20th, 2016 Notification: July 25th, 2016 Final version due: August 10th, 2016 Symposium: October 17-19, 2016 Invited Speakers --------------------------------- Kim Guldstrand Larsen, Aalborg University, Denmark Angelo Montanari, University of Udine, Italy Paolo Terenziani, University of Piemonte Orientale, Alessandria, Italy Program Committee --------------------------------- Alessandro Artale, Free University of Bozen-Bolzano, Italy Sourav Bhowmick, Nanyang Technological University, Singapore Amedeo Cesta, CNR - National Research Council of Italy Anton Dignös, Free University of Bozen-Bolzano, Italy Curtis Dyreson, Utah State University, Utah, USA (Chair) Johann Eder, Alpen Adria University Klagenfurt, Austria Martin Fränzle, Oldenburg University, Germany Shashi Gadia, Iowa State University, USA Rajeev Gore, The Australian National University, Australia Fabio Grandi, University of Bologna, Italy Michael R. Hansen, Technical Univ. of Denmark, Denmark (Chair) Keijo Heljanko, Aalto University, Finland Luke Hunsberger, Vassar College, New York, USA (Chair) Felix Klaedtke, NEC Europe Ltd., Germany Francois Laroussinie, LIAFA, Univ. Paris 7, CNRS, France Martin Leucker, University of Lübeck, Germany Etienne Lozes, LSV, CNRS and ENS Cachan, France Federica Mandreoli, University of Modena and Reggio Emilia, Italy Robert Mattmüller, University of Freiburg, Germany Aniello Murano, Universita' di Napoli "Federico II", Italy Angelo Oddi, ISTC-CNR, Italian National Research Council, Italy Paritosh Pandya, Tata Institute of Fundamental Research, Mumbai, India Dirk Pattinson, The Australian National University, Australia R. Ramanujam, Institute of Mathematical Sciences, Chennai, India Sven Schewe, University of Liverpool, UK Kristian Torp, Aalborg University, Denmark Martin Wehrle, University of Basel, Switzerland Steering Committee --------------------------------- Jan Chomicki, University at Buffalo, State University of New York, USA Carlo Combi, University of Verona, Italy Stephane Demri, CNRS and ENS Cachan, France Clare Dixon, University of Liverpool, UK Luke Hunsberger, Vassar College, USA Martin Lange, University of Kassel, Germany Angelo Montanari, University of Udine, Italy Ben Moszkowski, University of Newcastle, UK Mark Reynolds, The University of Western Australia, Australia Jef Wijsen, Université de Mons, Belgium Local organizers --------------------------------- Michael R. Hansen and Karin Tunder. Both from DTU Compute. Email: time2016(at)compute.dtu.dk Venue --------------------------------- TIME 2016 will take place at the campus of the Technical University of Denmark, hosted by DTU Compute. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sibylle.schwarz at htwk-leipzig.de Tue May 31 20:15:44 2016 From: sibylle.schwarz at htwk-leipzig.de (Sibylle Schwarz) Date: Tue, 31 May 2016 20:15:44 +0200 Subject: 2nd CfP: WLP 2016 Message-ID: <131496b5-838d-47bd-6497-f7b1b635603c@htwk-leipzig.de> ====================================================================== SECOND CALL FOR PAPERS 30th Workshop on Logic Programming (WLP 2016) Leipzig, Germany, September 12 - 13, 2016 http://nfa.imn.htwk-leipzig.de/WLP2016 part of the Leipzig Week of Declarative Programming (L-DEC) 2016 http://nfa.imn.htwk-leipzig.de/LDEC2016 ====================================================================== The Workshops on (Constraint) Logic Programming are the annual meeting of the German Society of Logic Programming Gesellschaft für Logische Programmierung e.V. (GLP) and bring together researchers interested in logic programming, constraint programming, answer set programming, and related areas like databases and artificial intelligence (not only from Germany). The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. Contributions are welcome on all theoretical, experimental, and application aspects of logic programming (LP) and constraint programming (CP), including, but not limited to the following areas: Logic Programming and Extensions * foundations of CP and LP * constraint solving and optimisation * functional logic programming, objects * dynamics, updates, states, transactions * interaction of CP and LP with other formalisms like agents, XML, JAVA * parallelism and concurrency * complexity and expressive power * program analysis, program transformation, program verification, meta programming Knowledge Representation and Nonmonotonic Reasoning * deductive databases, data mining * rule-based systems * abductive and inductive logic programming * answer-set programming * semantics and proof-theoretical investigations Application of Logic Programming * logic programming in production, management, environment, education, medicine, internet, etc. * CP/LP for Semantic Web applications and reasoning on the Semantic Web * data modelling for the Web, semistructured data, and Web query languages Implementation of Systems * system descriptions, comparisons, evaluations, benchmarks * implementation techniques * software techniques and programming support (e.g., types, modularity, design patterns, debugging, testing, systematic program development). The primary focus is on new and original research results but submissions describing innovative products, prototypes under development, interesting experiments (e.g., benchmarks) or ongoing scientific work are also encouraged. Submission ========== Authors are invited to submit an extended abstract (no longer than 15 pages including figures and references) or a system description (no longer than 6 pages) in PDF (11pt) via EasyChair http://www.easychair.org/conferences/?conf=wlp2016. All submissions must be unpublished original work. However, work that already appeared in unpublished or informally published workshops proceedings may be submitted, too. All submissions must be written in English and prepared in EPTCS style (http://style.eptcs.org). Selected papers will be published electronically in joint WLP/ WFLP post-conference proceedings in EPTCS. Important Dates =============== Submission of papers: June 15, 2016 (extended) Notification of acceptance: July 15, 2016 Workshop: September 12 - 13, 2016 Program committee ================= Stefan Brass - Univ. Halle Gerhard Brewka - Univ. Leipzig Michael Hanus - CAU Kiel Heinrich Herre - Univ. Leipzig Steffen Hölldobler - TU Dresden Petra Hofstedt - BTU Cottbus Ulrich John - HWTK Berlin Georg Ringwelski - HS Zittau/Görlitz Torsten Schaub - Univ. Potsdam Sibylle Schwarz (chair) - HTWK Leipzig Dietmar Seipel - Univ. Wuerzburg Workshop Organizer =============== Sibylle Schwarz Hochschule für Technik, Wirtschaft und Kultur Leipzig F-IMN, Postfach 301166 04251 Leipzig sibylle.schwarz at htwk-leipzig.de http://www.imn.htwk-leipzig.de/~schwarz