June 2016 - SIPTA News - lists.sipta.org

[SIPTA] Final Call: KSEM 2016 - Knowledge Science, Engineering and Management Conference

by KSEM

June 24, 2016

[SIPTA] FW: interesting lecture

by Kreinovich

June 23, 2016

[SIPTA] CfP - IUKM 2016: Submission deadline extended

by Van-Nam HUYNH

[Apologies if you receive multiple copies of this message.] Due to several requests for extension, we have decided to extend the deadline for submissions until July 10, 2016. We would appreciate it very much if you could kindly help to disseminate enclosed CFP in your working networks, and encourage your colleagues and students to submit their works to the conference. —————————————————————————————————————— NEW: Extended Submission Deadline: July 10, 2016 FINAL CALL FOR PAPERS ---------------------------------------------------------------------------- The Fifth International Symposium on INTEGRATED UNCERTAINTY in KNOWLEDGE MODELLING and DECISION MAKING http://www.jaist.ac.jp/IUKM/IUKM2016/ NOVEMBER 30 - DECEMBER 2, 2016, Da Nang, VIETNAM ---------------------------------------------------------------------------- -The International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making (IUKM) aims to provide a forum for exchanges of research results, ideas for and experience of application among researchers and practitioners involved with all aspects of uncertainty management and application. Previous symposia have been successfully held in Ishikawa, Japan (IUM 2010 - AISC 68), Hangzhou, China (IUKM 2011 - LNAI 7027), Beijing, China (IUKM 2013 - LNAI 8032) and Nha Trang, Vietnam (IUKM 2015 - LNAI 9376). The fifth IUKM (2016) will take place in the central coastal city of Da Nang, Vietnam, during November 30 - December 2, 2016. Da Nang is located on the Eastern Sea coast, midway between Hanoi and Ho Chi Minh City and is the largest city of Central Vietnam. It is also in close proximity to several UNESCO World Heritage Sites, including the Imperial City of Hue, the Old Town of Hoi An , and the archaeological site of My Son. ---------------------------------------------------------------------------- Proposal for special sessions and workshops is encouraged and welcome. ---------------------------------------------------------------------------- Relevant topics for the IUKM 2016 Symposium include, but are not limited to, the following: + Theory and Methodology - Uncertainty formalisms: Bayesian probability, Dempster-Shafer theory, imprecise probability, random sets, rough sets, fuzzy sets and interval-based models - Modelling uncertainty and inconsistency in big data - Logics for reasoning under uncertainty - Information fusion and knowledge integration in uncertain environments - Decision making under various types of uncertainty - Aggregation operators - Copulas for dependence modelling - Granular and soft computing - Computational intelligence + Application - Data mining and knowledge discovery - Ontology engineering and Semantic Web - Intelligent data analysis and modelling - Agents and argumentation - Natural language processing - Medical informatics and bioinformatics - Ranking and recommendation systems - Big data and cloud computing - Social network analysis and mining - Sensor fusion - System identification and modelling - Diagnosis and reliability - Decision support systems - Kansei/affective engineering - Service computing - Engineering management - Supply chain management - Environmental management - Economics and econometrics PUBLICATION The authors are invited to submit their full papers by July 10, 2016 (extended deadline). The submissions will be peer-reviewed for originality and scientific quality. As done in previous editions, the proceedings of IUKM 2016 will be published by Springer-Verlag in the Lecture Notes in Artificial Intelligence series, and be available at the Symposium. Authors are requested to prepare their papers in the Springer LNAI format. Submissions should not exceed 12 pages and must be submitted electronically through the conference's Easychair submission page (https://easychair.org/conferences/?conf=iukm2016) IMPORTANT DATES Deadline for paper submission: 10 July 2016 Notification of acceptance/rejection: 25 August 2016 Final camera-ready and author registration: 15 September 2016 Early registration: 10 October 2016 Symposium dates: 30 November - 2 December 2016 ————————————— ————————————— Honorary Co-Chairs Michio Sugeno (European Center for Soft Computing, Spain) Hung T. Nguyen (New Mexico State University, USA; Chiang Mai University, Thailand) Cong-Co Le (Duy Tan University, Da Nang, Vietnam) Sadaaki Miyamoto (Tsukuba University, Japan) General Co-Chairs Nguyen-Bao Le (Duy Tan University, Da Nang, Vietnam) Thierry Denoeux (University of Technology of Compiègne, France) Program Co-Chairs Van-Nam Huynh (JAIST, Japan) Masahiro Inuiguchi (University of Osaka, Japan) Bac Le (University of Science, VNU-Ho Chi Minh, Vietnam)

June 19, 2016

Re: [SIPTA] REC'2016 and REC'2018

by Kreinovich

Dear Friends, The 7th International Workshop on Reliable Engineering Computing REC'2016 in Bochum, Germany, is over. Many many thanks to Steffen Freitag, Conference Chair, for the great organization. Scott Ferson kindly agreed to organize the next conference in Summer 2018 in Liverpool, UK. Imprecise probability, especially when applied to engineering problems, are always strongly present at this series of conferences.

June 17, 2016

[SIPTA] RCRA 2016 Preliminary Call for Papers

by Andrea Formisano

[APOLOGIES FOR MULTIPLE POSTINGS] * ______________________________________________________________________ * The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) organizes the 23rd RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2016) workshop of the 15th International Conference of the Italian Association for Artificial Intelligence http://www.aixia2016.unige.it/ Genova, November 28 - December 1, 2016 RCRA group web site: http://rcra.aixia.it/ Workshop web site: http://rcra.aixia.it/rcra2016 e-mail: rcra2016[AT]easychair[DOT]org * ______________________________________________________________________ * This event follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in Artificial Intelligence. * ______________________________________________________________________ * IMPORTANT DATES Paper submission deadline: September 8th, 2016 Notification of acceptance: October 10th, 2016 Final version of accepted original papers: October 31st, 2016 Early registration: TBA (early-registration for AI*IA 2016) Workshop day: November 28th, 2016 AIMS AND SCOPE Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridized with techniques in other areas. Artificial Intelligence tools often exploit or hybridize techniques developed by other research communities, such as Operations Research. In recent years, research in Artificial Intelligence has more and more focused on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems. Scope of the workshop is fostering the cross-fertilization of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modeling, and ease of development. Topics of interest include, but are not limited to: * Experimental evaluation of algorithms for o knowledge representation o automated reasoning o planning o scheduling o machine learning o model checking o boolean satisfiability (SAT) o constraint programming o argumentation o temporal reasoning o combinatorial optimization o quantified boolean formulae and quantified constraints o modal logics o logic programming o answer set programming o ontological reasoning * Definition and construction of benchmarks * Experimentation methodologies * Metaheuristics * Algorithm hybridization * Static analysis of combinatorial problems * Languages and systems for definition and solution of problems * Comparisons between systems and algorithms * Application experiences (visualization, graphics, security, transports,...) WORKSHOP CHAIRS * Stefano Bistarelli University of Perugia, Italy * Andrea Formisano University of Perugia, Italy * Marco Maratea University of Genova, Italy WORKSHOP PROGRAM COMMITTEE TBA HOST ORGANIZATION University of Genova, Italy SUBMISSIONS Authors are invited to submit either original (full or short) papers, or papers that appear on conference proceedings. Publications showing negative results are welcome, provided that the approach was original and very promising in principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths. The authors are requested to clearly specify whether their submission is original or already published. A footnote in the first page would suffice. Workshop submissions must be in PDF format, do not exceed 15 (for full papers) or 8 (for short papers) pages, and should be written in LaTeX, using the LNCS style. RCRA 2016 uses EasyChair for the submission of contributions. Contributions must be submitted through this page: https://easychair.org/conferences/?conf=rcra2016 All submissions will be reviewed by at least three members of the program committee. CONTACT In case of need, the workshop co-chairs can be contacted by sending an email to: rcra2016[AT]easychair[DOT]org PROCEEDINGS Accepted papers will be published online, as an issue of the CEUR-WS workshop proceeding series, AI*IA sub-series. Moreover, as in previous editions (http://rcra.aixia.it/publications) we are considering the possibility of having workshop post-proceedings appearing in a special issue of an international journal, provided that a sufficient amount of high quality papers is collected. HISTORY OF THE RECENT WORKSHOP SERIES * RCRA 2015 as a workshop of AI*IA 2015, Ferrara, Italy http://rcra.aixia.it/rcra2015 Extended versions of the best papers will appear in a special issue of Fundamenta Informaticae * RCRA 2014 as a workshop of SAT 2014, IJCAR 2014 and ICLP 2014, Vienna, Austria - http://rcra.aixia.it/rcra2014 Extended versions of the best papers will appear in a special issue of AI Communications * RCRA 2013, Rome, Italy - http://rcra.aixia.it/rcra2013 Extended versions of the best papers will appear in a special issue of JETAI * Previous editions: http://rcra.aixia.it/workshops

June 15, 2016

[SIPTA] CFP: ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW'16)

by Thomas Lukasiewicz

========================================================== 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

June 14, 2016