From icsai2018cfp at sdju.edu.cn Mon Sep 3 10:53:30 2018 From: icsai2018cfp at sdju.edu.cn (Prof Song) Date: Mon, 03 Sep 2018 10:53:30 +0200 Subject: ICSAI2018, Nanjing, 2nd Round Submissions due 23 September [EI Compendex/SCOPUS/IEEE Xplore] 2018/9/1 6:14:41 yfikz3 Message-ID: Dear Colleague, The 2018 5th International Conference on Systems and Informatics (ICSAI 2018) will be held from 10-12 November 2018 in Nanjing, China. The deadline for the 2nd (final) round of submissions is 23 September 2018 (papers already submitted in the previous round should not be re-submitted and will receive review notifications on 30 August). ICSAI 2018 aims to be a premier international forum for scientists and researchers to present the state of the art of systems engineering and information science. Topics include (but are not limited to): Systems • Control and Automation Systems • Power and Energy Systems • Intelligent Systems • Computer Systems and Applications Informatics • Communications and Networking • Image, Video, and Signal Processing • Data Engineering and Data Mining • Software Engineering All papers in the conference proceedings will be submitted to EI Compendex, Scopus, and ISTP (ISI Proceedings), as well as IEEE Xplore. Substantially extended versions of best papers will be considered for publication in special issues of SCI-indexed journals, including Computer Science and Information Systems. Nanjing, capital of Jiangsu Province, is one of the Four Great Ancient Capitals of China and was the capital of six Chinese imperial dynasties. The city provides visitors with a great number of historical and cultural sites, as well as stunning scenic spots and areas such as Qixia Mountain, Purple Mountain and Xuanwu Lake. One of the great activities that you must not miss is boating on the Qinhuai River during the evening to enjoy the city's fantastic night views. Other attractions include Yuejiang Tower, Linggu Temple, Presidential Palace, Sun Yat-sen Mausoleum, and Ming Dynasty Xiaoling Mausoleum. For more information, visit the conference web page: http://www.icsai.org.cn/ If you have any questions after visiting the conference web page, please email the secretariat at icsai2018 at sdju.edu.cn Join us at this major event in beautiful Nanjing !!! Organizing Committee icsai2018 at sdju.edu.cn P.S.: Please forward to your colleagues or students who may be interested. If you wish to unsubscribe, in which case we apologize, please reply with "unsubscribe event at tu-clausthal.de " in your email subject. Thanks. 2018/9/1 6:14:41 2xu19s35 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Mon Sep 3 10:53:30 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 03 Sep 2018 10:53:30 +0200 Subject: BigDat 2019: early registration September 18 Message-ID: BigDat 2019: early registration September 18*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   5th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2019   Cambridge, United Kingdom   January 7-11, 2019   Co-organized by:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   http://bigdat2019.irdta.eu/   ********************************************************   --- Early registration deadline: September 18, 2018 ---   ********************************************************   SCOPE:   BigDat 2019 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 24 four-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2019 will take place in Cambridge, a city home of a world-renowned university. The venue will be:   University of Cambridge Department of Engineering Trumpington Street Cambridge CB2 1PZ   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES:   Thomas Bäck (Leiden University), [introductory/intermediate], Data Driven Modeling and Optimization for Industrial Applications   Richard Bonneau (New York University), [introductory] Large Scale Machine Learning Methods for Integrating Protein Sequence and Structure to Predict Gene Function   Altan Cakir (Istanbul Technical University), [introductory/intermediate] Processing Big Data with Apache Spark: From Science to Industrial Applications   Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Cross-domain Big Data Fusion and Analytics   Nitesh Chawla (University of Notre Dame), [intermediate/advanced] Network Science: Representation Learning and Higher Order Networks   Nello Cristianini (University of Bristol), [introductory] The Interface between Big Data and Society   Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] High Performance Big Data Computing   David Gerbing (Portland State University), [introductory] Data Visualization with R   Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs   Geoff McLachlan (University of Queensland), [intermediate/advanced] Applying Finite Mixture Models to Big Data   Folker Meyer (Argonne National Laboratory), [intermediate] Skyport2: A Multi Cloud Framework for Executing Scientific Workflows   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Soumya Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods for Statistical Regression   Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Soft Granular Mining: Features, Applications and Challenges   Lior Rokach (Ben-Gurion University of the Negev), [introductory/advanced] Ensemble Learning   Michael Rosenblum (University of Potsdam), [introductory/intermediate] Synchronization Approach to Time Series Analysis   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services   Rory Smith (Monash University), [intermediate/advanced] Statistical Inference: Optimal Methods for Learning from Signals in Noise   Jaideep Srivastava (University of Minnesota), [intermediate] Social Computing: Computing as an Integral Tool to Understanding Human Behavior and Solving Problems of Social Relevance   Mayte Suárez-Fariñas (Icahn School of Medicine at Mount Sinai), [intermediate] A Practical Guide to the Analysis of Longitudinal Data Using R   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Andrey Ustyuzhanin (National Research University Higher School of Economics), [intermediate/advanced] Surrogate Modelling for Fun and Profit   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: Data Science in Action   Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Multimedia Data Learning   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by December 30, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   ORGANIZING COMMITTEE: (to be completed)   Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) Filippo Spiga (Cambridge, co-chair) Richard E. Turner (Cambridge)   REGISTRATION:   It has to be done at   http://bigdat2019.irdta.eu/registration/   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. During the event, participants will be free to attend the courses they wish.   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 is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available on the event website.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From francesco.osborne at open.ac.uk Mon Sep 3 10:53:30 2018 From: francesco.osborne at open.ac.uk (Francesco.Osborne) Date: Mon, 03 Sep 2018 10:53:30 +0200 Subject: CfP for EKAW2018 Doctoral Consortium Message-ID: Apologies for cross-posting. ==== Call for Papers ==== EKAW2018 Doctoral Consortium Date: 13 November 2018 Venue: Nancy, France Twitter Hashtag: #ekaw2018DC Website: https://project.inria.fr/ekaw2018/call-for-doctoral-consortium/ # IMPORTANT DATES - Abstract deadline : 7 September, 23:59 Hawaii Time (sharp) - Paper deadline : 14 September, 23:59 Hawaii Time (sharp) - Notification : 5 October, 23:59 Hawaii Time (sharp) The EKAW 2018 Doctoral Consortium is an opportunity for PhD students in Knowledge Engineering and Knowledge Management to discuss and obtain feedback on their ongoing work, plans and research directions with/from experienced researchers in the field. The objective is to share best practices of research methods and approaches, as well as to exchange on what it means to engage in an academic career on the topics relevant to the EKAW conference. All papers submitted to the EKAW 2018 Doctoral Consortium will be reviewed by three experienced researchers. In addition, the authors of accepted papers will be asked to review one of the other Doctoral Consortium papers. The objective is to make students experience the reviewing process and to provide for each paper different views regarding the research they describe. Submissions will be divided into two different categories depending on the PhD phase: - Early Stage PhD: Students who may have identified the main research problem they want to address as well as the relevant literature, and who are building their research methodology, but who might not yet have obtained significant results, or only preliminary ones. - Late Stage PhD: Students who have already defined their approach (even if incompletely) and obtained significant results (e.g., that might have been published already). These categories do not affect the chances of being selected. They will, however, be taken into account by the reviewers in their feedback, and in the length and format of the presentation. The organisers might decide to move a submission from one category to the other, if they think it is justified. Submission guidelines All submissions must be single-author submissions. Please acknowledge your PhD advisor(s) and other contributors in the Acknowledgements section. Submissions should clearly indicate the category of the submission (Early Stage PhD or Late Stage PhD) and should be structured around the following items which are the key methodological components required for a sound research narrative: 1. Problem: describe the core problem that you work on, motivate its relevance for the knowledge management, knowledge acquisition and knowledge representation areas, and formulate the research question(s) and/or hypotheses that you will answer; 2. State of the art: describe relevant related work and point out areas that need to be improved or investigated; 3. Proposed Approach: present the approach taken and motivate how this is novel with respect to existing work; 4. Methodology: sketch the methodology that is (or will be) adopted, including the evaluation protocol, i.e. the way in which the results will be validated and/or the hypotheses will be tested. 5. Results: describe the current status of the work and any results that have been reached so far; 6. Discussion: reflect on why you think your approach will work (or not), difficulties you have run into, and recommendations for future work. Topics The Doctoral Consortium focuses on the same topics of the main conference. In particular, but not exclusively, we solicit papers about methods, tools and methodologies relevant with regard to the following topics: AI and Knowledge - AI-based knowledge engineering and management - Natural Language Processing and knowledge discovery/acquisition - Knowledge acquisition for AI - Intelligent knowledge evolution, maintenance, and repair - Managing compliance between knowledge and data - Managing Multimedia knowledge - Machine Learning and the knowledge lifecycle - Combining learning knowledge from data and from humans - Modeling learned and conceptual knowledge together - Lessons learned from case studies - Adoption of techniques that exploit knowledge and AI - Evaluation of techniques that exploit knowledge and AI Knowledge Management - Methodologies and tools for knowledge management - Knowledge sharing and distribution, collaboration - Best practices and lessons learned from case studies - Provenance and trust in knowledge management - Methods for accelerating take-up of knowledge management technologies - Corporate memories for knowledge management - Knowledge evolution, maintenance and preservation - Web 2.0 technologies for knowledge management - Incentives for human knowledge acquisition (e.g. games with a purpose) Knowledge Engineering and Acquisition - Tools and methodologies for ontology engineering - Ontology design patterns - Ontology localisation - Ontology alignment - Knowledge authoring and semantic annotation - Knowledge acquisition from non-ontological resources (thesauri, folksonomies, etc.) - Semi-automatic knowledge acquisition, e.g., ontology learning - Mining the Semantic Web and the Web of Data - Ontology evaluation and metrics - Uncertainty and vagueness in knowledge representation - Dealing with dynamic, distributed and emerging knowledge Social and Cognitive Aspects of Knowledge Representation - Similarity and analogy-based reasoning - Knowledge representation inspired by cognitive science - Synergies between humans and machines - Knowledge emerging from user interaction and networks - Knowledge ecosystems - Expert finding, e.g., by social network analysis - Trust and privacy in knowledge representation - Collaborative and social approaches to knowledge management and acquisition - Crowdsourcing in knowledge management Applications in specific domains such as - eGovernment and public administration - Life sciences, health and medicine - Humanities and Social Sciences - Automotive and manufacturing industry - Cultural heritage - Digital libraries - Geosciences - ICT4D (Knowledge in the developing world) Submission information and requirements All submissions for the Doctoral Consortium must be in English, and between 5 and 8 pages. Papers and abstracts can be submitted electronically via EasyChair (http://www.easychair.org/conferences/?conf=ekaw2018doctoralcons). Submissions must be either in PDF or in HTML, formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details on the LNCS style, see Springer's Author Instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. HTML submissions should be submitted to EasyChair as a ZIP archive that contains the complete content of the paper. Authors can use any HTML-based format for the submission, but a mandatory LNCS-like layout should be provided and the submission still needs to comply with the established page limit. Authors who are new to HTML submissions may consider to use either dokieli (https://dokie.li) or RASH (https://github.com/essepuntato/rash) that can help produce well formatted academic papers using HTML and are capable of rendering papers in the LNCS layout. Students accepted to present at the Doctoral Consortium must attend the Doctoral Consortium for the whole day in order to gain as much value as possible from the experience. Each submitter should also be aware that they will be asked to review one other paper submitted to the Doctoral Consortium. Accepted papers will be published online via CEUR Workshop Proceedings (or equivalent). Important Dates Abstract submission: 7 September 2018 Full paper submission: 14 September 2018 Notification: 5 October 2018 Camera-ready: 19 October 2018 Doctoral Consortium: 13 November 2018 Chairs Francesco Osborne (KMi, The Open University, UK) Laura Hollink (CWI, Netherlands) From tobo at dtu.dk Thu Sep 6 10:41:21 2018 From: tobo at dtu.dk (Thomas Bolander) Date: Thu, 06 Sep 2018 10:41:21 +0200 Subject: 2nd CFP: Special of AIJ on Epistemic Planning Message-ID: 2nd CFP: Special Issue of the Artificial Intelligence Journal (AIJ) on Epistemic Planning Note that the submission deadline has been extended to December 1, 2018. Theme and topics https://www.journals.elsevier.com/artificial-intelligence/call-for-papers/special-issue-on-epistemic-planning Submission Submissions will be open from September 1, 2018 until December 1, 2018 and can be made using the EVISE system: http://www.evise.com/evise/faces/pages/navigation/NavController.jspx?JRNL_ACR=ARTINT. Authors should select when they reach the “Article Type” step in the submission process. Fast publication Reviewing of submitted articles begins immediately after submission, with first decisions (accept, reject, revisions) made within three months. Accepted articles will be published immediately online on the AIJ website and will also be included in the special issue. Important Dates Submission deadline: December 1, 2018 Notification: within 3 months of submission Special issue editors Vaishak Belle, University of Edinburgh Thomas Bolander, Technical University of Denmark Andreas Herzig, CNRS, IRIT Toulouse Bernhard Nebel, Albert-Ludwigs-Universität Freiburg -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Sep 6 10:41:21 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 06 Sep 2018 10:41:21 +0200 Subject: SLSP 2018: poster submission deadline September 8 Message-ID: SLSP 2018: poster submission deadline September 8*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------------------------------------- The 6th International Conference on Statistical Language and Speech Processing (SLSP 2018) invites researchers to submit poster presentations. SLSP 2018 will be held in Mons (Belgium) on October 15-16, 2018. See  http://slsp2018.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 8, 2018 Notification of poster acceptance or rejection: September 15, 2018 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2018 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2018. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (JCR 2016 impact factor: 1.900). REGISTRATION At least one author of each accepted poster must register to the conference by October 1st, 2018. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cfp at mat.unical.it Thu Sep 6 10:41:21 2018 From: cfp at mat.unical.it (Simona Perri) Date: Thu, 06 Sep 2018 10:41:21 +0200 Subject: JELIA 2019 - Preliminary Call for Papers Message-ID: [apologies for multiple postings] = PRELIMINARY Call for Papers = 16th European Conference on Logics in Artificial Intelligence (JELIA 2019) May 8-10, 2019, Rende, Italy == Aim and Scope == The aim of JELIA 2019 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence. Conference topics include, but are not limited to: Abductive and inductive reasoning Answer set programming Applications of logic-based AI systems Argumentation systems Automated reasoning including satisfiability checking and its extensions Computational complexity and expressiveness Deep learning for rules and ontologies Deontic logic and normative systems Description logics and other logical approaches to Semantic Web and ontologies Explanation finding Knowledge representation, reasoning, and compilation Logic programming, answer set programming, constraint logic programming Logic-based data access and integration Logical interpretation of machine learning models Logics for uncertain and probabilistic reasoning Logics in machine learning Logics in multi-agent systems, games, and social choice Neural networks and logic rules Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid logics Nonmonotonic logics, default logics, conditional logics Ontology formalisms and models Ontology-based query answering Ontology-based reasoning Planning and diagnosis based on logic Preferences Reasoning about actions and causality Updates, belief revision and nonmonotonic reasoning == Submissions == JELIA 2019 welcomes submissions of long or short papers in the following categories: A. Regular papers: Submissions should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions must not have been previously published or be simultaneously submitted for publication elsewhere. B. System/Application descriptions: Submissions should describe an implemented system/application and its application area(s). A demonstration should accompany a system/application presentation. Papers describing systems or applications that have already been presented in JELIA before will be accepted only if significant and clear enhancements have been implemented and are properly reported. All submissions should not exceed 13 (resp., 6) pages for long (resp., short) papers, including figures etc., but excluding references, and should be written in English. Submissions must be formatted according to the standard Springer LNCS style, and are not anonymous. The conference proceedings of JELIA 2019 will be published by Springer-Verlag in the Lecture Notes in Artificial Intelligence, a sub-series of Lecture Notes in Computer Science (Important note: Springer will require all the LaTeX source files of all accepted submissions). Policy on Multiple Submission: JELIA 2019 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during JELIA's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. JELIA 2019 (abstract and paper) submissions are handled through the EasyChair conference management system: https://easychair.org/conferences/?conf=jelia2019. == Important Dates == (tentative) November 26th, 2018, 23:59 UTC-12: Abstract submission December 3rd, 2018, 23:59 UTC-12: Paper submission January 16th, 2019: Notification of acceptance February 28th, 2019: Camera-ready due March 1st, 2019: Online registration opens == Venue == University of Calabria, Rende, Italy == Further Information == WWW: https://jelia2019.mat.unical.it/ Email: jelia2019 at mat.unical.it == Committees == === General Chair === Nicola Leone – University of Calabria, Italy === Program Chairs === Francesco Calimeri – University of Calabria, Italy Marco Manna – University of Calabria, Italy === Organization Chairs === Carmine Dodaro – University of Genova, Italy Valeria Fionda – University of Calabria, Italy === Publicity Chair === Simona Perri - University of Calabria, Italy === Finance Chair === TBA === Program Committee === TBA From H.Prakken at uu.nl Thu Sep 6 10:41:21 2018 From: H.Prakken at uu.nl (Henry Prakken) Date: Thu, 06 Sep 2018 10:41:21 +0200 Subject: Final Calls JURIX 2018 conference Message-ID: Final Calls for Papers, Workshops, Tutorials, Doctoral Consortium and Hackaton of the 31st International Conference on Legal Knowledge and Information Systems (JURIX 2018) Groningen (The Netherlands), 12-14 december 2018 http://jurix2018.ai.rug.nl The Conference For more than 30 years, the JURIX conference has provided an international forum for research on the intersection of Law, Artificial Intelligence and Information Systems, under the auspices of the JURIX Foundation for Legal Knowledge Systems. This year's edition will be held in Groningen, The Netherlands, jointly organised by the Faculty of Law and the Department of Artificial Intelligence of the University of Groningen. The conference proceedings will again be published by IOS Press in their series Frontiers in Artificial Intelligence and Applications (FAIA). All calls for the conference are now open: Call for Papers Call for Workshops and Tutorials Call for Doctoral Consortium papers Call for Hackaton Important dates Abstract submission deadline: 16 September 2018 (*mandatory*) Paper submission deadline: 20 September 2018 (*extended*) Demo & poster submission deadline: 16 September 2018 Notification of acceptance of regular papers: 10 October 2018 Camera-ready deadline for regular papers: 19 October 2018 Workshops & Tutorials: 12 December 2018 Main conference: 13 & 14 December 2018 Invited speakers Marie-Francine Moens (KU Leuven, Belgium) Jeroen van den Hoven (TU Delft, The Netherlands) Organisation Programme Chair: - Monica Palmirani , CIRSFID, University of Bologna, Italy Organising co-chairs: - Jeanne Mifsud Bonnici , Faculty of Law, University of Groningen, The Netherlands - Henry Prakken , Faculty of Law, University of Groningen & Department of Information and Computing Sciences, Utrecht University, The Netherlands - Bart Verheij , Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence, University of Groningen, The Netherlands Contact and administration: - Elina Sietsema (e.sietsema at rug.nl) Conference web page: http://jurix2018.ai.rug.nl -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From amal.tawakuli at uni.lu Mon Sep 10 11:00:14 2018 From: amal.tawakuli at uni.lu (Amal TAWAKULI) Date: Mon, 10 Sep 2018 11:00:14 +0200 Subject: LuxLogAI 2018 - Last Call For Participation Message-ID: [ Our apologies should you receive this message more than once ] ====================================================== Last Call For Participation (normal registration deadline approaching) Luxembourg Logic for AI Summit (LuxLogAI 2018) 17-26 Sep 2018, Luxembourg https://luxlogai.uni.lu *** Late registration fee applies to non-students *** ====================================================== The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018, the MIREL workshop the annual meeting of the Deduction Systems group (Deduktionstreffen 2018) and the Short Summer Tutorial on Advanced Belief Change and Default Entailment (SST ABCDE 2018) With its special focus theme on “methods and tools for responsible AI”, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable. The summit will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of Artificial Intelligence and Rule-based Systems. We invite you to join rigorous researchers and inventive practitioners in Luxembourg, a world-class location for research, development and innovation at the heart of Europe. ==Sponsors== - Luxembourg National Research Fund (FNR) - The University of Luxembourg - Interdisciplinary Centre for Security, Reliability and Trust (SnT) - Interdisciplinary Lab for Intelligent and Adaptive Systems (ILIAS) - Digital Luxembourg (sponsor for Diversity at LuxLogAI) ==Keynotes & Speakers== - Hannah Bast (Uni Freiburg) - Pascal Fontaine (Uni Lorraine) - Georg Gottlob (Uni Oxford) - Guido Governatori (CSIRO, Data61) - Cynthia Kop (Radboud Uni Nijmegen) - Valeria de Paiva (Nuance Communications) - Philipp Slusallek (Saarland Uni) - Daniele Nardi (Uni Roma) - Daphna Weinshall (Hebrew Uni Jerusalem) - Bob Kowalski (Imperial College), Miguel Calejo (logicalcontracts.com) and Fariba Sadri (Imperial College London) - Monica Palmirani (Uni Bologna) - Yolanda Spinola-Elias (Uni Seville) ==Multiple Events Summit== - MIREL (MIning and REasoning with Legal texts) Workshop: 17 September 2018. - 4th Global Conference on Artificial Intelligence (GCAI 2018): 17-19 September 2018. - DecisionCAMP (Business Rules and Decision Management Technology): 17-19 September 2018. - AI and ART: 17-19 September 2018. - 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018): 18-21 September 2018. - AI Public Event: 19 September with Viviane Reding [(European Parliament), Toby Walsh (UNSW Sydney), Claude Adam (University of Luxembourg), Philipp Slusallek (DFKI, Saarland University)] - Self Organizing Systems (SOS): 19 September 2018. - Diversity at LuxLogAI: 20 September 2018. - Short Summer Tutorial on Advanced Belief Change and Default Entailment (SST ABCDE 2018): 20 September 2018 - Annual meeting of the Deduction Systems group of GI e.V. (Deduktionstreffen 2018): 21 September 2018. - Reasoning Web Summer School (RW 2018): 22-26 September 2018. ==Registration== Registration is open via EasyChair (https://easychair.org/conferences/?conf=luxlogai2018) - Late registration deadline: 17 September, 2018 *** A late registration fee applies (for non-students) *** ==Organization== - Summit Chair (LuxLogAI): Leon van der Torre (U Luxembourg) - General Chair (RuleML+RR): Xavier Parent (U Luxembourg) - Program Chairs: Christoph Benzmüller (U Luxembourg & FU Berlin) Francesco Ricca (U Calabria) - Financial Chair Martin Theobald (U Luxembourg) - Proceedings Chair: Dumitru Roman (SINTEF/U Oslo) - Industry Track Chair: Silvie Spreeuwenberg (LibRT Amsterdam) - Doctoral Consortium Chair Kia Teymouria (Boston University, Metropolitan College) Paul Fodor (Stony Brook University) - Int’l Rule Challenge Chairs: Giovanni De Gasperis (U L’Aquila) Wolfgang Faber (Alpen-Adria-U Klagenfurt) Adrian Giurca (BTU Cottbus- Senftenberg) - Reasoning Web (RW) Summer School Claudia d’Amato (U Bari) Martin Theobald (U Luxembourg) - Publicity Chair: Amal Tawakuli (U Luxembourg) - Poster Chair Alex Steen (U Luxembourg) - Website Shohreh Haddadan ==Media== - Web: https://luxlogai.uni.lu - Twitter: @luxlogai - Instagram: @luxlogai - RuleML Blog: http://blog.ruleml.org ====================================== See you soon at the University of Luxembourg! Schéi Gréiss | Mit Freundlichen Grüßen | Meilleures Salutations | With Kind Regards Amal Tawakuli Doctoral Candidate CSC Research Unit UNIVERSITÉ DU LUXEMBOURG Campus Belval 6, avenue de la Fonte L-4364 Esch-sur-Alzette/Belval T +352 46 66 44 9811 amal.tawakuli at uni.lu www.uni.lu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From francesco.osborne at open.ac.uk Mon Sep 10 11:00:14 2018 From: francesco.osborne at open.ac.uk (Francesco.Osborne) Date: Mon, 10 Sep 2018 11:00:14 +0200 Subject: EKAW 2018 Doctoral Consortium - Deadline Extension Message-ID: The deadlines of the EKAW 2018 Doctoral Consortium are extended as follows: - Abstract deadline : 14 September, 23:59 Hawaii Time (sharp) - Paper deadline : 21 September, 23:59 Hawaii Time (sharp) - Notification : 12 October, 23:59 Hawaii Time (sharp) - Camera-ready : 26 October 2018 ==== Call for Papers ==== EKAW 2018 Doctoral Consortium Date: 13 November 2018 Venue: Nancy, France Twitter Hashtag: #ekaw2018DC Website: https://project.inria.fr/ekaw2018/call-for-doctoral-consortium/ The EKAW 2018 Doctoral Consortium is an opportunity for PhD students in Knowledge Engineering and Knowledge Management to discuss and obtain feedback on their ongoing work, plans and research directions with/from experienced researchers in the field. The objective is to share best practices of research methods and approaches, as well as to exchange on what it means to engage in an academic career on the topics relevant to the EKAW conference. All papers submitted to the EKAW 2018 Doctoral Consortium will be reviewed by three experienced researchers. In addition, the authors of accepted papers will be asked to review one of the other Doctoral Consortium papers. The objective is to make students experience the reviewing process and to provide for each paper different views regarding the research they describe. Submissions will be divided into two different categories depending on the PhD phase: - Early Stage PhD: Students who may have identified the main research problem they want to address as well as the relevant literature, and who are building their research methodology, but who might not yet have obtained significant results, or only preliminary ones. - Late Stage PhD: Students who have already defined their approach (even if incompletely) and obtained significant results (e.g., that might have been published already). These categories do not affect the chances of being selected. They will, however, be taken into account by the reviewers in their feedback, and in the length and format of the presentation. The organisers might decide to move a submission from one category to the other, if they think it is justified. Submission guidelines All submissions must be single-author submissions. Please acknowledge your PhD advisor(s) and other contributors in the Acknowledgements section. Submissions should clearly indicate the category of the submission (Early Stage PhD or Late Stage PhD) and should be structured around the following items which are the key methodological components required for a sound research narrative: 1. Problem: describe the core problem that you work on, motivate its relevance for the knowledge management, knowledge acquisition and knowledge representation areas, and formulate the research question(s) and/or hypotheses that you will answer; 2. State of the art: describe relevant related work and point out areas that need to be improved or investigated; 3. Proposed Approach: present the approach taken and motivate how this is novel with respect to existing work; 4. Methodology: sketch the methodology that is (or will be) adopted, including the evaluation protocol, i.e. the way in which the results will be validated and/or the hypotheses will be tested. 5. Results: describe the current status of the work and any results that have been reached so far; 6. Discussion: reflect on why you think your approach will work (or not), difficulties you have run into, and recommendations for future work. Topics The Doctoral Consortium focuses on the same topics of the main conference. In particular, but not exclusively, we solicit papers about methods, tools and methodologies relevant with regard to the following topics: AI and Knowledge - AI-based knowledge engineering and management - Natural Language Processing and knowledge discovery/acquisition - Knowledge acquisition for AI - Intelligent knowledge evolution, maintenance, and repair - Managing compliance between knowledge and data - Managing Multimedia knowledge - Machine Learning and the knowledge lifecycle - Combining learning knowledge from data and from humans - Modeling learned and conceptual knowledge together - Lessons learned from case studies - Adoption of techniques that exploit knowledge and AI - Evaluation of techniques that exploit knowledge and AI Knowledge Management - Methodologies and tools for knowledge management - Knowledge sharing and distribution, collaboration - Best practices and lessons learned from case studies - Provenance and trust in knowledge management - Methods for accelerating take-up of knowledge management technologies - Corporate memories for knowledge management - Knowledge evolution, maintenance and preservation - Web 2.0 technologies for knowledge management - Incentives for human knowledge acquisition (e.g. games with a purpose) Knowledge Engineering and Acquisition - Tools and methodologies for ontology engineering - Ontology design patterns - Ontology localisation - Ontology alignment - Knowledge authoring and semantic annotation - Knowledge acquisition from non-ontological resources (thesauri, folksonomies, etc.) - Semi-automatic knowledge acquisition, e.g., ontology learning - Mining the Semantic Web and the Web of Data - Ontology evaluation and metrics - Uncertainty and vagueness in knowledge representation - Dealing with dynamic, distributed and emerging knowledge Social and Cognitive Aspects of Knowledge Representation - Similarity and analogy-based reasoning - Knowledge representation inspired by cognitive science - Synergies between humans and machines - Knowledge emerging from user interaction and networks - Knowledge ecosystems - Expert finding, e.g., by social network analysis - Trust and privacy in knowledge representation - Collaborative and social approaches to knowledge management and acquisition - Crowdsourcing in knowledge management Applications in specific domains such as - eGovernment and public administration - Life sciences, health and medicine - Humanities and Social Sciences - Automotive and manufacturing industry - Cultural heritage - Digital libraries - Geosciences - ICT4D (Knowledge in the developing world) Submission information and requirements All submissions for the Doctoral Consortium must be in English, and between 5 and 8 pages. Papers and abstracts can be submitted electronically via EasyChair (http://www.easychair.org/conferences/?conf=ekaw2018doctoralcons). Submissions must be either in PDF or in HTML, formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details on the LNCS style, see Springer's Author Instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. HTML submissions should be submitted to EasyChair as a ZIP archive that contains the complete content of the paper. Authors can use any HTML-based format for the submission, but a mandatory LNCS-like layout should be provided and the submission still needs to comply with the established page limit. Authors who are new to HTML submissions may consider to use either dokieli (https://dokie.li) or RASH (https://github.com/essepuntato/rash) that can help produce well formatted academic papers using HTML and are capable of rendering papers in the LNCS layout. Students accepted to present at the Doctoral Consortium must attend the Doctoral Consortium for the whole day in order to gain as much value as possible from the experience. Each submitter should also be aware that they will be asked to review one other paper submitted to the Doctoral Consortium. Accepted papers will be published online via CEUR Workshop Proceedings (or equivalent). Important Dates Abstract submission: 14 September 2018 Full paper submission: 21 September 2018 Notification: 12 October 2018 Camera-ready: 26 October 2018 Doctoral Consortium: 13 November 2018 Chairs Francesco Osborne (KMi, The Open University, UK) Laura Hollink (CWI, Netherlands) From maria.luz.castro at udc.gal Mon Sep 10 11:00:14 2018 From: maria.luz.castro at udc.gal (Luz) Date: Mon, 10 Sep 2018 11:00:14 +0200 Subject: Call for papers for the 8th EVOMUSART conference Message-ID: ------------------------------------------------ Call for papers for the 8th EVOMUSART conference Please distribute (Apologies for cross posting) ------------------------------------------------ The 8th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART) will be held in Leipzig, Germany in 24-26 April 2019, as part of the evo* event. The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area. Important dates: Submission: 1 November 2018 Notification to authors: TBA Camera-ready deadline: TBA Evo*: 24-26 April 2019 in Leipzig, Germany We welcome submissions which use Computational Intelligence techniques (e.g. Evolutionary Computation, Artificial Life, Machine Learning, Swarm Intelligence) in the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Submissions must be at most 16 pages long, in Springer LNCS format (instructions downloadable from http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 ). Each submission must be anonymised for a double-blind review process and submitted to https://myreview.saclay.inria.fr/evomusart19 (the link will be live soon). The deadline for submission is 1 November 2018. Accepted papers will be presented orally at the event and included in the evoMUSART proceedings published by Springer Verlag in a dedicated volume of the Lecture Notes in Computer Science series. Indicative topics include but are not limited to: * Systems that create drawings, images, animations, sculptures, poetry, text, designs, webpages, buildings, etc.; * Systems that create musical pieces, sounds, instruments, voices, sound effects, sound analysis, etc...; * Systems that create artifacts such as game content, architecture, furniture, based on aesthetic and functional criteria; * Systems that resort to computational intelligence to perform the analysis of image, music, sound, sculpture, or some other types of artistic object; * Systems in which computational intelligence is used to promote the creativity of a human user; * Theories or models of computational aesthetics; * Computational models of emotional response, surprise, novelty; * Representation techniques for images, videos, music, etc; * Surveys of the current state-of-the-art in the area; * New ways of integrating the user in the process (e.g. improvisation, co-creation, participation). More information on the submission process and the topics of evoMUSART 2019 can be found at http://www.evostar.org/2019/cfp_evomusart.php We look forward to seeing you in Leipzig in 2019! Anikó, Antonios and Luz The evoMUSART 2019 organizers If you wish to unsubscribe, in which case we apologize, please email maria.luz.castro at udc.gal with "unsubscribe [your email address] " in your email subject. Thanks. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From newsletter at nanovea.info Thu Sep 13 11:26:39 2018 From: newsletter at nanovea.info (NANOVEA) Date: Thu, 13 Sep 2018 11:26:39 +0200 Subject: Spring Test, Wear Rates, and Sandpaper Roughness Message-ID: Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Thu Sep 13 11:27:24 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 13 Sep 2018 11:27:24 +0200 Subject: 13th International Workshop on the Implementation of Logics Message-ID: The 13th International Workshop on the Implementation of Logics http://www.eprover.org/EVENTS/IWIL-2018.html CALL FOR PAPERS Deadline: October 1, 2018. The 13th International Workshop on the Implementation of Logics will be held on 16th November 2018, in conjunction with the 22nd International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, at the Haile Resort in Awassa, Ethiopia. We are looking for contributions describing implementation techniques for and implementations of automated reasoning programs, theorem provers for various logics, logic programming systems, and related technologies. Topics of interest include, but are not limited to: + Propositional logic and decision procedures, including SMT + First-order and higher order logics + Non-classical logics, including modal, temporal, description, non-monotonic reasoning + Formal foundations for efficient implementation of logics + Data structures and algorithms for the efficient representation and processing of logical concepts + Proof/model search organization and heuristics for logical reasoning systems + Data analysis and machine learning approaches to search control + Techniques for proof/model search visualization and analysis + Reasoning with ontologies and other large theories + Implementation of efficient theorem provers and model finders for different logics + System descriptions of logical reasoning systems + Issues of reliability, witness generation, and witness verification + Evaluation and benchmarking of provers and other logic-based systems + I/O standards and communication between reasoning systems We are particularly interested in contributions that help the community to understand how to build useful and powerful reasoning systems, and how to apply them in practice. Researchers interested in participating are invited to submit a position statement (2 pages), a short paper (up to 5 pages), or a full paper (up to 15 pages) via the EasyChair page for IWIL-2018. https://easychair.org/conferences/?conf=iwil2018 Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Submissions should be in standard-conforming PDF. Final versions will be required to be submitted in LaTeX using the easychair.cls class file. The proceedings will be published as a volume of Kalpa Publications in Computing. Important Dates: + Submission of papers/abstracts: October 1st, 2018 + Notification of acceptance: October 12th, 2018 + Camera ready versions due: October 29th, 2018 + Workshop: November 16th, 2018 Program committee (so far - more coming): Konstantin Korovin (Co-Chair) University of Manchester Stephan Schulz (Co-Chair) DHBW Stuttgart Martin Suda (Co-Chair) Czech Technical University in Prague Geoff Sutcliffe University of Miami From irdta at irdta.eu Tue Sep 18 15:29:17 2018 From: irdta at irdta.eu (IRDTA) Date: Tue, 18 Sep 2018 15:29:17 +0200 Subject: SLSP 2018: call for participation Message-ID: SLSP 2018: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 6th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2018 Mons, Belgium October 15-16, 2018 Co-organized by: NUMEDIART Institute University of Mons LANGUAGE Institute University of Mons Institute for Research Development, Training and Advice (IRDTA), Brussels/London http://slsp2018.irdta.eu/ ********************************************************************************** PROGRAM Monday, October 15 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Thomas Hain. Crossing Domains in Automatic Speech Recognition - Invited lecture 10:30 - 11:00    Break 11:00 - 12:15 Amal Houidhek, Vincent Colotte, Zied Mnasri and Denis Jouvet. DNN-based Speech Synthesis for Arabic: Modelling and Evaluation Antoine Perquin, Gwénolé Lecorvé, Damien Lolive and Laurent Amsaleg. Phone-level Embeddings for Unit Selection Speech Synthesis Raheel Qader, Gwénolé Lecorvé, Damien Lolive and Pascale Sébillot. Disfluency Insertion for Spontaneous TTS: Formalization and Proof of Concept 12:15 - 13:45    Lunch 13:45 - 14:35    Simon King. Does 'End-to-End' Speech Synthesis Make any Sense? - Invited lecture 14:35 - 14:50    Break 14:50 - 16:05 George Christodoulides. Forced Alignment of the Phonologie du Français Contemporain Corpus Ruei Hung Alex Lee and Jyh-Shing Roger Jang. A Syllable Structure Approach to Spoken Language Recognition Gueorgui Pironkov, Sean Wood, Stéphane Dupont and Thierry Dutoit. Investigating a Hybrid Learning Approach for Robust Automatic Speech Recognition 16:05 - 16:20    Break 16:20 - 17:30    Poster session I 17:30 - 19:30    Touristic visit --- Tuesday, October 16 09:00 - 09:50    Isabel Trancoso. Analysing Speech for Clinical Applications - Invited lecture 09:50 - 10:20    Break 10:20 - 11:35 Jan Vanek, Josef Michalek, Jan Zelinka and Josef Psutka. A Comparison of Adaptation Techniques and Recurrent Neural Network Architectures Andris Varavs and Askars Salimbajevs. Restoring Punctuation and Capitalization Using Transformer Models David Awad, Caroline Sabty, Mohamed Elmahdy and Slim Abdennadher. Arabic Name Entity Recognition Using Deep Learning 11:35 - 11:50    Break and Group photo 11:50 - 13:05 Pratik Doshi and Wlodek Zadrozny. Movie Genre Detection Using Topological Data Analysis and Simple Discourse Features Daniel Grießhaber, Thang Vu and Johannes Maucher. Low-resource Text Classification Using Domain-adversarial Learning Manny Rayner, Johanna Gerlach, Pierrette Bouillon, Nikolaos Tsourakis and Hervé Spechbach. Handling Ellipsis in a Spoken Medical Phraselator 13:05 -    14:35    Lunch 14:35 - 15:50 Laura García-Sardiña, Manex Serras and Arantza Del Pozo. Knowledge Transfer for Active Learning in Textual Anonymisation Fernando Gomes and Juan Manuel Adán-Coello. Studying the Effects of Text Preprocessing and Ensemble Methods on Sentiment Analysis of Brazilian Portuguese Tweets Daniel Lichtblau and Catalin Stoean. Text Documents Encoding through Images for Authorship Attribution 15:50 - 16:05    Break 16:05 - 17:05    Poster session II 17:05 - 17:15    Closing -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ggelfond at unomaha.edu Tue Sep 18 15:29:17 2018 From: ggelfond at unomaha.edu (ggelfond at unomaha.edu) Date: Tue, 18 Sep 2018 15:29:17 +0200 Subject: LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED Message-ID: Call for Papers --------------------------------------------------------------------------- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 https://sites.sju.edu/plw/lpnmr-2019/ Philadelphia, USA June 4-7, 2019 Co-located with Datalog 2.0 Workshop --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. This year's edition of the conference seeks to raise submissions devoted towards use of LPNMR techniques in emerging applications stemming from such areas as deep learning, robotics, cybersecurity, modeling cyberphysical systems, and human-aware AI. Aspects that have been studied in commonsense reasoning, inconsistency tolerance, and handling of dynamic knowledge appear essential in enabling these emerging applications to�provide explanations and justifications of their outcomes. LPNMR 2019 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. INVITED SPEAKERS To be announced TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2019 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is enabled via the LPNMR 2019 Easychair site: https://easychair.org/conferences/?conf=lpnmr2019 Two best papers of general AI interest will be invited for rapid publication in the Artificial Intelligence Journal. Also, the journal Theory and Practice of Logic Programming will devote a special issue for a joint event of LPNMR/Datalog 2.0. Four to six papers will be selected for a rapid publication. In case of invited papers for a rapid publication in journals, there should be at least 30% new content compared to the published conference paper. The extra material should consist of extensions of the existing material such as proofs, further experimental results, and implementation details (some of which would appear as supplementary material). New results could be included too, if appropriate. Authors invited to submit to the special issue should confirm that such extra material is available. MULTIPLE SUBMISSION POLICY LPNMR 2019 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. COLOCATED EVENTS DATALOG 2.0 Workshop ASSOCIATED EVENTS WORKSHOPS To be announced DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. FURTHER INFORMATION WWW: https://sites.sju.edu/plw/lpnmr-2019/ Email: lpnmr2019 at easychair.org Tentative IMPORTANT DATES * Paper registration: January 29 * Paper submission: February 5 * Notification: March 12 * Final versions due: April 2 VENUE Philadelphia, or the "City of Brotherly Love," is the sixth-largest city in the United States and once served as the nation's capital. Philadelphia is an active historical and cultural hub, and has been striving for excellence since 1776. The city's rich history of knowledge and academic prowess has never diminished as it continues to promote and foster higher education. Visitors can explore various attractions in and around Philadelphia, such as the Philadelphia Museum of Art, the Franklin Institute, the Barnes Foundation, the Reading Terminal Market, and much more. Located on the East Coast of the U.S., between New York City and Washington D.C., Philadelphia is easily reachable by air, train, and car. As a testament to Philadelphia's commitment to educational advancement, LPNMR 2019 will be held in one of the city's top colleges, Saint Joseph's University. Saint Joseph's campus is located at the outskirts of the city, in an area that features historic homes, green areas, and a quick connection to Philadelphia's Center City and Old City. GENERAL CHAIR Marcello Balduccini, Saint Joseph's University, USA PROGRAM CHAIRS Yuliya Lierler, University of Neraska at Omaha, USA Stefan Woltran, TU Wien, Austria PUBLICITY CHAIR Gregory Gelfond, University of Nebraska at Omaha, USA WORKSHOPS CHAIR Mario Alviano, University of Calabria, Italy DOCTORAL CONSORTIUM CHAIRS Fangkai Yang, MAANA Inc., USA Joerg Puehrer, TU Wien, Austria MARKETING CHAIRS Elizabeth Angelucci, Saint Joseph's University, USA Kelsey Neri, Saint Joseph's University, USA PROGRAM COMMITTEE Chitta Baral Arizona State University Bart Bogaerts Katholieke Universiteit Leuven Martin Brain University of Oxford Gerhard Brewka Leipzig University Pedro Cabalar Corunna University Francesco Calimeri University of Calabria Stefania Costantini Univ. di L'Aquila Marina De Vos University of Bath James Delgrande Simon Fraser University Agostino Dovier Univ. di Udine Thomas Eiter Vienna University of Technology Esra Erdem Sabanci University Wolfgang Faber Alpen-Adria-Universität Klagenfurt Johannes K. Fichte TU Dresden Paul Fodor Stony Brook University Andrea Formisano Universita di Perugia, Italy Gerhard Friedrich Alpen-Adria-Universität Klagenfurt Sarah Alice Gaggl TU Dresden Martin Gebser University of Potsdam Michael Gelfond Texas Tech University Giovanni Grasso University of Oxford Amelia Harrison The University of Texas at Austin Anthony Hunter University College London Giovambattista Ianni University of Calabria, Italy Daniela Inclezan Miami University Tomi Janhunen Aalto University Gabriele Kern-Isberner Technische Universitaet Dortmund Matthias Knorr Universidade NOVA de Lisboa Joohyung Lee Arizona State University Joao Leite Universidade NOVA de Lisboa Nicola Leone University of Calabria Vladimir Lifschitz University of Texas at Austin Fangzhen Lin Hong Kong University of Science and Technology Marco Maratea DIBRIS, University of Genova Thomas Meyer University of Cape Town and CAIR Alessandra Mileo Dublin City University Emilia Oikarinen Aalto University David Pearce Universidad Politécnica de Madrid Axel Polleres Vienna University of Economics and Business - WU Wien Enrico Pontelli New Mexico State University Christoph Redl Vienna University of Technology Francesco Ricca University of Calabria Orkunt Sabuncu TED University, Ankara Chiaki Sakama Wakayama University Torsten Schaub University of Potsdam Peter Schüller Vienna University of Technology Guillermo R. Simari Universidad del Sur in Bahia Blanca Mantas Simkus Vienna University of Technology Tran Cao Son New Mexico State University Theresa Swift NOVALINKS, Universidade Nova de Lisboa Eugenia Ternovska Simon Fraser University Daniele Theseider Dupre' Universita' del Piemonte Orientale Matthias Thimm Universität Koblenz-Landau Hans Tompits Vienna University of Technology Mirek Truszczynski University of Kentucky Agustin Valverde Universidad de Malaga, Malaga, Spain Johannes P. Wallner Vienna University of Technology Kewen Wang Griffith University Yisong Wang Guizhou University Renata Wassermann University of São Paulo Antonius Weinzierl Vienna University of Technology Jia-Huai You University of Alberta Yuanlin Zhang Texas Tech University Yi Zhou University of Technology, Sydney From riccardo.zese at unife.it Tue Sep 18 15:29:17 2018 From: riccardo.zese at unife.it (Riccardo Zese) Date: Tue, 18 Sep 2018 15:29:17 +0200 Subject: Videos of ILP 2018 Keynotes Message-ID: The video recordings of the keynotes by Marco Gori and William Cohen at the lLP 2018 conference are now available at *https://www.youtube.com/playlist?list=PLJPXEH0boeNDrNcUCQoesU6przDuToqRb * The ILP conference series, started in 1991, is the premier international forum for learning from structured or semi-structured relational data. It 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. The 2018 edition was in Ferrara, Italy on September 2nd - 4th 2018 http://ilp2018.unife.it/ The list of keynote is: Marco Gori: Learning and Inference with Constraints William Cohen: Using Deep Learning Platforms to Perform Inference over Large Knowledge Bases Maximilian Nickel: Hierarchical Representation Learning on Relational Data (recording not available due to technical problems) Conference Chair Fabrizio Riguzzi, University of Ferrara, Italy Program Chairs Elena Bellodi, University of Ferrara, Italy Riccardo Zese, University of Ferrara, Italy -- Riccardo Zese, PhD DE - Dipartimento di Ingegneria Università di Ferrara Via Saragat 1, I-44122, Ferrara, Italy Tel. +39 0532974827 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabrizio.riguzzi at unife.it Tue Sep 18 15:29:17 2018 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Tue, 18 Sep 2018 15:29:17 +0200 Subject: Videos of ACAI 2018 Lectures Message-ID: The video recordings of all the lectures at the 2018 ACAI summer school are now available at https://www.youtube.com/playlist?list=PLJPXEH0boeNDWTNwWTWnVffXi5XwAj1mb The Advanced Course on AI (ACAI) is a specialized course in Artificial Intelligence sponsored by EurAI. The 2018 edition was in Ferrara, Italy on August 27th - 31st 2018 http://acai2018.unife.it/ The theme of the 2018 ACAI School was Statistical Relational Artificial Intelligence (StarAI). StarAI is an emerging area that combines logical (or relational) AI and probabilistic (or statistical) AI. The list of lectures is: Kristian Kersting: Lifted Statistical Machine Learning Vaishak Belle: Effective Probabilistic Logical Reasoning and Learning in Continuous Domains Luc De Raedt: Probabilistic Programming Paolo Frasconi: Kernels and deep networks for structured data Fabrizio Riguzzi: Probabilistic Inductive Logic Programming Marco Lippi: Applications of Statistical Relational Artificial Intelligence Sriraam Natarajan: Human-in-the-loop Statistical Relational Learning Artur d'Avila Garcez: Neural-symbolic learning Sebastian Riedel and Pasquale Minervini: Differentiable Program Interpreters Mathias Niepert and Alberto Garc�a Dur�n: Multi-Modal Neural Link Prediction Organizers Kristian Kersting, TU Darmstadt, Germany Marco Lippi, University of Modena and Reggio Emilia, Italy Sriraam Natarajan, University of Texas at Dallas, USA Fabrizio Riguzzi, University of Ferrara, Italy Local Organizers Elena Bellodi, University of Ferrara, Italy Riccardo Zese, University of Ferrara, Italy From el-ghazali.talbi at univ-lille.fr Tue Sep 18 15:29:17 2018 From: el-ghazali.talbi at univ-lille.fr (El-Ghazali Talbi) Date: Tue, 18 Sep 2018 15:29:17 +0200 Subject: OLA'2018 @Thailand on Optimization and Learning Message-ID: Apologies for cross-posting. Appreciate if you can distribute this CFP to your network. **************************************************************************************** OLA'2019 International Conference on Optimization and Learning: Challenges and Applications 29-31 Jan 2019 Bangkok Thailand http://ola2019.sciencesconf.org/ **************************************************************************************** OLA is a conference focusing on the future challenges of optimization and learning methods and their applications. The conference OLA'2019 will provide an opportunity to the international research community in optimization and learning to discuss recent research results and to develop new ideas and collaborations in a friendly and relaxed atmosphere. OLA'2019 welcomes presentations that cover any aspects of optimization and learning research such as optimization for learning, learning for optimization, optimization and learning under uncertainty, new high-impact applications, parameter tuning, 4th industrial revolution, hybridization issues, optimization-simulation, meta-modeling, high-performance computing, parallel and distributed optimization and learning, surrogate modeling, multi-objective optimization ... Submission papers: We will accept submissions in two different formats: - S1: Extended abstracts of work-in-progress and position papers of a maximum of 3 pages - S2: Original research contributions of a maximum of 10 pages Important dates: =============== Submission deadline Oct 19 2018 Notification of acceptance Nov 9, 2018 Proceedings: Accepted papers in categories S1 and S2 will be published in the proceedings that will be available at the conference. In addition, a post-conference indexed Springer book and special issue of Journal (ITOR International Transaction on Operational Research) is planned to be published. Participants will be invited to submit extended versions of their work for consideration. From irdta at irdta.eu Tue Sep 18 15:29:17 2018 From: irdta at irdta.eu (IRDTA) Date: Tue, 18 Sep 2018 15:29:17 +0200 Subject: LATA 2019: 1st call for papers Message-ID: LATA 2019: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************************* 13th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2019   Saint Petersburg, Russia   March 25-29, 2019   Organized by:             Saint Petersburg State University and Institute for Research Development, Training and Advice, Brussels/London   http://lata2019.irdta.eu/ *************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. LATA 2019 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2019 will take place in Saint Petersburg, whose historic centre is a UNESCO World Heritage Site. The venue will be Saint Petersburg State University.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2019 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE:   Krishnendu Chatterjee (Institute of Science and Technology Austria, AT) Bruno Courcelle (University of Bordeaux, FR) Manfred Droste (University of Leipzig, DE) Travis Gagie (Diego Portales University, CL) Peter Habermehl (Paris Diderot University, FR) Tero Harju (University of Turku, FI) Radu Iosif (Verimag, FR) Kazuo Iwama (Kyoto University, JP) Juhani Karhumäki (University of Turku, FI) Lila Kari (University of Waterloo, CA) Juha Kärkkäinen (University of Helsinki, FI) Bakhadyr Khoussainov (University of Auckland, NZ) Sergey Kitaev (University of Strathclyde, UK) Shmuel Tomi Klein (Bar-Ilan University, IL) Olga Kouchnarenko (University of Franche-Comté, FR) Thierry Lecroq (University of Rouen, FR) Markus Lohrey (University of Siegen, DE) Sebastian Maneth (University of Bremen, DE) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Giancarlo Mauri (University of Milano-Bicocca, IT) Filippo Mignosi (University of L'Aquila, IT) Victor Mitrana (Polytechnic University of Madrid, ES) Joachim Niehren (INRIA Lille, FR) Alexander Okhotin (Saint Petersburg State University, RU) Dominique Perrin (University of Paris-Est, FR) Matteo Pradella (Polytechnic University of Milan, IT) Jean-François Raskin (Université Libre de Bruxelles, BE) Marco Roveri (Bruno Kessler Foundation, IT) Wojciech Rytter (University of Warsaw, PL) Kai Salomaa (Queen's University, CA) Sven Schewe (University of Liverpool, UK) Helmut Seidl (Technical University of Munich, DE) Ayumi Shinohara (Tohoku University, JP) Hans Ulrich Simon (Ruhr-University of Bochum, DE) William F. Smyth (McMaster University, CA) Frank Stephan (National University of Singapore, SG) Martin Sulzmann (Karlsruhe University of Applied Sciences, DE) Jorma Tarhio (Aalto University, FI) Stefano Tonetta (Bruno Kessler Foundation, IT) Rob van Glabbeek (University of New South Wales, AU) Margus Veanes (Microsoft Research, US) Mahesh Viswanathan (University of Illinois, Urbana-Champaign, US) Mikhail Volkov (Ural Federal University, RU) Fang Yu (National Chengchi University, TW) Hans Zantema (Eindhoven University of Technology, NL)   ORGANIZING COMMITTEE:   Alexander Okhotin (Saint Petersburg, co-chair) Manuel Parra-Royón (Granada) Dana Shapira (Ariel) David Silva (London, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) 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). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix.   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=lata2019   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://lata2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: November 11, 2018 Notification of paper acceptance or rejection: December 16, 2018 Final version of the paper for the LNCS proceedings: December 23, 2018 Early registration: December 23, 2018 Late registration: March 11, 2019 Submission to the journal special issue: June 29, 2019   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGMENTS:   Санкт-Петербургский государственный университет   IRDTA – Institute for Research Development, Training and Advice, Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mengwu at vt.edu Tue Sep 18 15:29:17 2018 From: mengwu at vt.edu (Meng Wu) Date: Tue, 18 Sep 2018 15:29:17 +0200 Subject: ATVA 2018 Call for Participation Message-ID: International Symposium on Automated Technology for Verification and Analysis (ATVA 2018) October 7-10, 2018 Los Angeles, California, USA We are pleased to announce that the ATVA 2018 conference program is now online! PROGRAM: https://easychair.org/smart-program/ATVA2018/ REGISTRATION: http://atva-conference.org/registration/ ABOUT ATVA ---------- ATVA 2018 is the 16th in a series of symposia dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between local and international research communities and industry in the field. Previous events were held in Taiwan (2003-2005), Beijing (2006), Tokyo (2007), Seoul (2008), Macao (2009), Singapore (2010), Taiwan (2011), Thiruvananthapuram (2012), Hanoi (2013), Sydney (2014), Shanghai (2015), Chiba (2016), and Pune (2017). Invited Speakers for keynotes and tutorials --------------- Nikolaj Bjorner (Microsoft Research) Corina Pasareanu (NASA Ames Research Center) Sanjit Seshia (University of California, Berkeley) Program Chairs -------------- Shuvendu Lahiri (Microsoft Research) Chao Wang (University of Southern California) Program Committee ----------------- Aws Albarghouthi (University of Wisconsin-Madison) Cyrille Artho (KTH Royal Institute of Technology) Gogul Balakrishnan (Google) Roderick Bloem (Graz University of Technology) Tevfik Bultan (University of California, Santa Barbara) Pavol Cerny (University of Colorado at Boulder) Sagar Chaki (Mentor Graphics) Deepak D’Souza (Indian Institute of Science) Jyotirmoy Deshmukh (University of Southern California) Constantin Enea (IRIF/University Paris Diderot) Grigory Fedyukovich (Princeton University) Masahiro Fujita (University of Tokyo) Sicun Gao (University of California, San Diego) Arie Gurfinkel (University of Waterloo) Fei He (Tsinghua University) Alan Hu (University of British Columbia) Joxan Jaffar (National University of Singapore) Akash Lal (Microsoft Research) Axel Legay (IRISA/NRIA Rennes) Yang Liu (Nanyang Technological University) Zhiming Liu (Southwest University) K. Narayan Kumar (Chennai Mathematical Institute) Doron Peled (Bar Ilan University) Xiaokang Qiu (Purdue University) Giles Reger (University of Manchester) Sandeep Shukla (IIT Kanpur) Oleg Sokolsky (University of Pennsylvania) Armando Solar-Lezama (MIT) Neeraj Suri (TU Darmstadt) Aditya Thakur (University of California, Davis) Willem Visser (Stellenbosch University) Bow-Yaw Wang (Academia Sinica) Farn Wang (National Taiwan University) Georg Weissenbacher (Vienna University of Technology) Naijun Zhan (Chinese Academy of Sciences) Steering Committee ------------------ E Allen Emerson (University of Texas, Austin) Teruo Higashino (Osaka University) Oscar H Ibarra (University of California, Santa Barbara) Insup Lee (University of Pennsylvania) Doron A Peled (Bar Ilan University) Farn Wang (National Taiwan University) Hsu-Chun Yen (National Taiwan University) More details are available at the conference website http://atva-conference.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From me at bohlouli.com Mon Sep 24 10:00:26 2018 From: me at bohlouli.com (Mahdi Bohlouli) Date: Mon, 24 Sep 2018 10:00:26 +0200 Subject: [CfP] CiDaS 2019, Contemporary Issues in Data Science, The International Conference on Message-ID: **apologies for cross-postings** --------------------------------------------------------------------------------------------------------------------- Call for Papers The International Conference on Contemporary Issues in Data Science CiDaS19 Institute for Advanced Studies in Basic Science, 6-8 March 2019, Zanjan, Iran Conference Website: https://cidas.iasbs.ac.ir Submission link: https://easychair.org/conferences/?conf=cidas19 Publication in: https://www.springer.com/series/15362 --------------------------------------------------------------------------------------------------------------------- Data science is rapidly growing field and as a profession incorporates a wide variety of areas from statistics, mathematics and machine learning to applied big data analytics. In this regard, we put special interest and focus on data science in our past executions of CICIS conference. This year, in its 5th run, we decided to dedicate the conference to data science area and accordingly keep it as professional data science event in the future. The 5th international conference on Contemporary issues in Data Science (CiDaS) will provide a sort of a real workshop (not listen-shop) to scientists and scholars to share ideas, initiate future collaborations and brainstorm challenges as well as industries to catch emerging solutions from the science to their real data science problems. Goal: CiDaS aims at providing first class brainstorming and collaboration potentials to data scientists and experts from other related areas and disciplines, who use data science innovations in their field. We accept applied and fundamental research papers, survey papers that show innovations in the field as well as papers from other disciplines that show novel application of data science and big data in their field such as healthcare, manufacturing, finance and etc. Keynote Speakers: - Soeren Auer: Leibniz University of Hannover, TIB Leibniz Information Centre for Science and Technology, Germany - Mohammad Shokoohi Yekta, Apple Inc., United States - Hamid Beigy, Sharif University of Technology, Iran Topics: Main topics to be addressed in the CiDaS conference include, but not limited to: * Big Data Analysis: Linked Open Data, Scalable Machine Learning, Distributed Data Storage and Analysis, Algorithmic and Statistical Techniques for Big Data, Privacy and Ethics * Machine Learning and Data science: Deep Learning, Text Mining and Natural Language Processing, Statistical Pattern Recognition, Statistical Models in Data Science, Probabilistic graphical models * Semantic Data Science: Knowledge Discovery, Semantic Technologies, Novel Information Retrieval, Linked data and Semantic Web, Ontologies, Graph and Network Analysis * Applied Data Science: Computer vision, Biological data analysis and Bioinformatics, Social network analysis, Large Scale Data retrieval and analysis in Smart Cities, Data Science for Gamification, IoT and WoT, Industry 4.0, Malware detection Paper Submission: All submissions should be in English and PDF format. Authors are requested to use the style of the Springer Publications format. For details on the Springer style, see Springer's Author Instructions (ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip). Two types of submissions will be accepted: (1) Full paper and (2) Short paper. Full paper submissions are not allowed to exceed 11 pages including references. Short paper submissions should be maximum 6 pages. All papers should be submitted through Easychair system using the following link: https://easychair.org/conferences/?conf=cidas19 Conference Proceedings: All accepted full papers will be published by Springer in Lecture Notes on Data Engineering and Communications Technologies (https://www.springer.com/series/15362). The books of this series are submitted to ISI Proceedings, MetaPress, Springerlink and DBLP. Important Dates: - Paper submission: November 9, 2018 - Tutorial submission: January 5, 2019 - Preliminary review: January 11, 2019 - Rebuttals: January 23-25, 2019 - Notification of acceptance: February 1, 2019 - Camera-ready and early registration: February 14, 2019 - Late registration deadline: February 24, 2019 Program Chairs: - General Chair: Bahram Sadeghi Bigham - International Chair: Mahdi Bohlouli - Local Chairs: Zahra Narimani, Mahdi Vasighi - Tutorials Chair: Parvin Razzaghi Program Committee: Hassan Abolhassani, Software engineer at Google, USA Mohsen Afsharchi, University of Zanjan, Iran Morteza AnaLoui, Iran University of Science and Technology, Iran Amin Anjomshoa, Massachusetts Institute of Technology, USA Lefteris Angelis, Aristotle University of Thessaloniki, Greece Nikos Askitas, Research Data Center, Institute of Labour Economics, Germany Zeinab Bahmani, Uni-Select Inc, Canada Davide Ballabio, University of Milano-Bicocca, Italy Markus Bick, ESCP Europe Business School, Germany Elnaz Bigdeli, University of Ottawa, Canada Mansoor Davoodi Monfared, Institute of Advanced Studies in Basic Sciences, Iran Mohammad Reza Faraji, Institute of Advanced Studies in Basic Sciences, Iran Agata Filipowska, Poznan University of Economics and Business, Poland Holger Fröhlich, University of Bonn, Germany George Kakarontzas, Technical Educational Institute of Thessaly, Greece Alireza Khastan, Institute of Advanced Studies in Basic Sciences, Iran Antonio Liotta, University of Derby, UK Rahim Mahmoudvand, Bu-Ali Sina University, Iran Samaneh Mazaheri, University of Ontario Institute of Technology, Canada Federico Marini, University of Rome "La Sapienza", Italy Maryam Mehri Dehnavi, University of Toronto, Canada Nima Mirbakhsh, Arcane Inc, Canada Ali Movaghar, Sharif University of Technology, Iran Ehsan Nedaaee Oskoee, Institute of Advanced Studies in Basic Sciences, Iran Peyman Pahlevani, Institute of Advanced Studies in Basic Sciences, Iran Paurush Praveen, Machine Learning Research, CluePoints, Belgium Edy Portmann, University of Fribourg, Switzerland Shahram Rahimi, Southern Illinois University, USA Reinhard Rapp, Hochschule Magdeburg, Germany Mohammad Saraee, University of Salford-Manchester, UK Frank Schulz, SAP AG, Germany Mehdi Sheikhalishahi, Innotec21 GmbH, Germany Ioannis Stamelos, Aristotle University of Thessaloniki, Greece Athena Vakali, Aristotle University of Thessaloniki, Greece Contact: All questions about submissions should be emailed to Zahra Narimani and Mahdi Bohlouli . From geoff at cs.miami.edu Mon Sep 24 10:00:26 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 24 Sep 2018 10:00:26 +0200 Subject: LPAR-22 in Ethiopia - Call for Short Papers Message-ID: ****************************************************************************** The 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR-22 Haile Resort, Awassa, Ethiopia http://www.LPAR-22.info CALL FOR SHORT PRESENTATION PAPERS In keeping with the tradition of LPAR, researchers and practitioners are invited to submit short presentation papers (the papers can be full length, the presentation slots will be short), reporting on interesting work in progress, system and tool descriptions, experimental results, etc. They need not be original, and extended or revised versions of the papers may be submitted concurrently with or after LPAR to another conference or a journal. Authors of accepted papers are required to ensure that at least one of them will be present at the conference. Papers that do not adhere to this policy will not be published. The short presentation papers will be published electronically as a volume in the Kalpa series, see http://www.easychair.org/publications/Kalpa. The LaTeX and Microsoft Word templates for the Kalpa series can be downloaded from http://www.easychair.org/publications/for_authors. Papers may be up to 15 pages long, and must be submitted through the EasyChair system using the web page https://easychair.org/conferences/?conf=lpar22 Paper submission deadline: 3rd October 2018 Notification of acceptance: 10th October 2018 Final version: 17th October 2018 ... however, in order to facilitate authors making travel arrangements, papers submitted before the deadline will be reviewed immediately, and a decision made in approximately one week. Submit early, and submit often! ****************************************************************************** From irdta at irdta.eu Thu Sep 27 09:50:42 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 27 Sep 2018 09:50:42 +0200 Subject: BigDat 2019: early registration October 15 Message-ID: BigDat 2019: early registration October 15*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   5th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2019   Cambridge, United Kingdom   January 7-11, 2019   Co-organized by:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   http://bigdat2019.irdta.eu/   ********************************************************   --- Early registration deadline: October 15, 2018 ---   ********************************************************   SCOPE:   BigDat 2019 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 24 four-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2019 will take place in Cambridge, a city home of a world-renowned university. The venue will be:   University of Cambridge Department of Engineering Trumpington Street Cambridge CB2 1PZ   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES:   Thomas Bäck (Leiden University), [introductory/intermediate], Data Driven Modeling and Optimization for Industrial Applications   Richard Bonneau (New York University), [introductory] Large Scale Machine Learning Methods for Integrating Protein Sequence and Structure to Predict Gene Function   Altan Cakir (Istanbul Technical University), [introductory/intermediate] Processing Big Data with Apache Spark: From Science to Industrial Applications   Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Cross-domain Big Data Fusion and Analytics   Nitesh Chawla (University of Notre Dame), [intermediate/advanced] Network Science: Representation Learning and Higher Order Networks   Nello Cristianini (University of Bristol), [introductory] The Interface between Big Data and Society   Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] High Performance Big Data Computing   David Gerbing (Portland State University), [introductory] Data Visualization with R   Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs   Geoff McLachlan (University of Queensland), [intermediate/advanced] Applying Finite Mixture Models to Big Data   Folker Meyer (Argonne National Laboratory), [intermediate] Skyport2: A Multi Cloud Framework for Executing Scientific Workflows   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Soumya Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods for Statistical Regression   Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Soft Granular Mining: Features, Applications and Challenges   Lior Rokach (Ben-Gurion University of the Negev), [introductory/advanced] Ensemble Learning   Michael Rosenblum (University of Potsdam), [introductory/intermediate] Synchronization Approach to Time Series Analysis   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services   Rory Smith (Monash University), [intermediate/advanced] Statistical Inference: Optimal Methods for Learning from Signals in Noise   Jaideep Srivastava (University of Minnesota), [intermediate] Social Computing – Concepts and Applications   Mayte Suárez-Fariñas (Icahn School of Medicine at Mount Sinai), [intermediate] A Practical Guide to the Analysis of Longitudinal Data Using R   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Andrey Ustyuzhanin (National Research University Higher School of Economics), [intermediate/advanced] Surrogate Modelling for Fun and Profit   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: Data Science in Action   Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Multimedia Data Learning   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by December 30, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   ORGANIZING COMMITTEE: (to be completed)   Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) Filippo Spiga (Cambridge, co-chair) Richard E. Turner (Cambridge)   REGISTRATION:   It has to be done at   http://bigdat2019.irdta.eu/registration/   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. During the event, participants will be free to attend the courses they wish.   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 is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available on the event website.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rrc2soft at gmail.com Thu Sep 27 09:50:42 2018 From: rrc2soft at gmail.com (Rodrigo Roman) Date: Thu, 27 Sep 2018 09:50:42 +0200 Subject: CFP: IJIS Special Issue on 'IoT Security and Privacy' (One week left) Message-ID: Dear All, Please consider submitting to the special issue of International Journal of Information Security on "IoT Security and Privacy". Please find the details described below. Submission deadline is October 1, 2018. We look forward to your submissions! Best regards, Takeshi Takahashi, National Institute of Information and Communications Technology, Japan Rodrigo Roman Castro, Universidad de Málaga, Spain Ryan Ko, University of Waikato, New Zealand Bilhanan Silverajan, Tampere University of Technology, Finland Said Tabet, EMC Corporation, USA (Guest Editors of the special issue of International Journal of Information Security on "IoT Security and Privacy") Call for Papers --------------- Springer International Journal of Information Security Special Issue on “IoT Security and Privacy” https://ijis-si-iotsec.github.io/ https://link.springer.com/journal/10207 The Internet is gradually transforming from a communication platform for conventional IT appliances into the Internet of Things (IoT), increasingly interconnecting many assorted devices and sensors. These devices are generally referred as IoT devices, and many of them are inexpensive and can be constrained in terms of energy, bandwidth and memory. The establishment of IoT ecosystems in various domains is bringing multiple benefits to human users and companies alike. Example of such domains include Smart Homes, Smart Cities, the Industrial Internet and even Intelligent Transportation Systems. However, the IoT as a whole – including related paradigms such as Machine-to-Machine (M2M) and Cyber-Physical Systems (CPS) – is susceptible to a multitude of threats. In fact, many IoT devices currently are insecure and have many security vulnerabilities. For example, many vulnerable IoT devices which have been infected with malware have subsequently become comprised into large botnets, resulting in devastating DDOS attacks. Consequently, ensuring the security of such IoT ecosystems – before, during, and after an attack takes place – is a crucial issue for our society at this moment. This special issue aims to collect contributions by leading-edge researchers from academia and industry, show the latest research results in the field of IoT security and privacy, and provide valuable information to researchers as well as practitioners, standards developers and policymakers. Its aim is to focus on the research challenges and issues in IoT security. Manuscripts regarding novel algorithms, architectures, implementations, and experiences are welcome. Topics include but are not limited to: * Secure protocols for IoT devices * Privacy solutions and privacy helpers for IoT environments * Trust frameworks and secure/private collaboration mechanisms for IoT environments * Secure management and self-healing for IoT environments * Operative systems security for IoT devices * Security diagnosis tools for IoT devices * Threat and vulnerability detection in IoT environments * Anomaly detection and prevention mechanisms in IoT networks * Case studies of malware analysis in IoT environments * IoT forensics and digital evidence * Testbeds and experimental facilities for IoT security analysis and research * Standardization activities for IoT security * Security and privacy solutions tailored to specific IoT domains and ecosystems Submission Guidelines ----------------------- Authors should prepare their manuscripts according to the “Instructions for Authors” guidelines outlined at the journal website: http://www.springer.com/computer/security+and+cryptology/journal/10207 Note that the journal sets no page limit, although we encourage authors to keep their submissions to a length that’s in the ballpark of the accepted articles (unless there are special reasons to submit something longer), i.e., less than 30 pages, in order to expedite the review process. All papers will be peer-reviewed, by following a regular reviewing procedure. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Sep 27 09:50:44 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 27 Sep 2018 09:50:44 +0200 Subject: BigDat 2019: early registration October 15 Message-ID: BigDat 2019: early registration October 15*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   5th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2019   Cambridge, United Kingdom   January 7-11, 2019   Co-organized by:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   http://bigdat2019.irdta.eu/   ********************************************************   --- Early registration deadline: October 15, 2018 ---   ********************************************************   SCOPE:   BigDat 2019 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 24 four-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2019 will take place in Cambridge, a city home of a world-renowned university. The venue will be:   University of Cambridge Department of Engineering Trumpington Street Cambridge CB2 1PZ   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES:   Thomas Bäck (Leiden University), [introductory/intermediate], Data Driven Modeling and Optimization for Industrial Applications   Richard Bonneau (New York University), [introductory] Large Scale Machine Learning Methods for Integrating Protein Sequence and Structure to Predict Gene Function   Altan Cakir (Istanbul Technical University), [introductory/intermediate] Processing Big Data with Apache Spark: From Science to Industrial Applications   Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Cross-domain Big Data Fusion and Analytics   Nitesh Chawla (University of Notre Dame), [intermediate/advanced] Network Science: Representation Learning and Higher Order Networks   Nello Cristianini (University of Bristol), [introductory] The Interface between Big Data and Society   Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] High Performance Big Data Computing   David Gerbing (Portland State University), [introductory] Data Visualization with R   Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs   Geoff McLachlan (University of Queensland), [intermediate/advanced] Applying Finite Mixture Models to Big Data   Folker Meyer (Argonne National Laboratory), [intermediate] Skyport2: A Multi Cloud Framework for Executing Scientific Workflows   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Soumya Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods for Statistical Regression   Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Soft Granular Mining: Features, Applications and Challenges   Lior Rokach (Ben-Gurion University of the Negev), [introductory/advanced] Ensemble Learning   Michael Rosenblum (University of Potsdam), [introductory/intermediate] Synchronization Approach to Time Series Analysis   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services   Rory Smith (Monash University), [intermediate/advanced] Statistical Inference: Optimal Methods for Learning from Signals in Noise   Jaideep Srivastava (University of Minnesota), [intermediate] Social Computing – Concepts and Applications   Mayte Suárez-Fariñas (Icahn School of Medicine at Mount Sinai), [intermediate] A Practical Guide to the Analysis of Longitudinal Data Using R   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Andrey Ustyuzhanin (National Research University Higher School of Economics), [intermediate/advanced] Surrogate Modelling for Fun and Profit   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: Data Science in Action   Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Multimedia Data Learning   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by December 30, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   ORGANIZING COMMITTEE: (to be completed)   Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) Filippo Spiga (Cambridge, co-chair) Richard E. Turner (Cambridge)   REGISTRATION:   It has to be done at   http://bigdat2019.irdta.eu/registration/   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. During the event, participants will be free to attend the courses they wish.   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 is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available on the event website.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rrc2soft at gmail.com Thu Sep 27 09:50:44 2018 From: rrc2soft at gmail.com (Rodrigo Roman) Date: Thu, 27 Sep 2018 09:50:44 +0200 Subject: CFP: IJIS Special Issue on 'IoT Security and Privacy' (One week left) Message-ID: Dear All, Please consider submitting to the special issue of International Journal of Information Security on "IoT Security and Privacy". Please find the details described below. Submission deadline is October 1, 2018. We look forward to your submissions! Best regards, Takeshi Takahashi, National Institute of Information and Communications Technology, Japan Rodrigo Roman Castro, Universidad de Málaga, Spain Ryan Ko, University of Waikato, New Zealand Bilhanan Silverajan, Tampere University of Technology, Finland Said Tabet, EMC Corporation, USA (Guest Editors of the special issue of International Journal of Information Security on "IoT Security and Privacy") Call for Papers --------------- Springer International Journal of Information Security Special Issue on “IoT Security and Privacy” https://ijis-si-iotsec.github.io/ https://link.springer.com/journal/10207 The Internet is gradually transforming from a communication platform for conventional IT appliances into the Internet of Things (IoT), increasingly interconnecting many assorted devices and sensors. These devices are generally referred as IoT devices, and many of them are inexpensive and can be constrained in terms of energy, bandwidth and memory. The establishment of IoT ecosystems in various domains is bringing multiple benefits to human users and companies alike. Example of such domains include Smart Homes, Smart Cities, the Industrial Internet and even Intelligent Transportation Systems. However, the IoT as a whole – including related paradigms such as Machine-to-Machine (M2M) and Cyber-Physical Systems (CPS) – is susceptible to a multitude of threats. In fact, many IoT devices currently are insecure and have many security vulnerabilities. For example, many vulnerable IoT devices which have been infected with malware have subsequently become comprised into large botnets, resulting in devastating DDOS attacks. Consequently, ensuring the security of such IoT ecosystems – before, during, and after an attack takes place – is a crucial issue for our society at this moment. This special issue aims to collect contributions by leading-edge researchers from academia and industry, show the latest research results in the field of IoT security and privacy, and provide valuable information to researchers as well as practitioners, standards developers and policymakers. Its aim is to focus on the research challenges and issues in IoT security. Manuscripts regarding novel algorithms, architectures, implementations, and experiences are welcome. Topics include but are not limited to: * Secure protocols for IoT devices * Privacy solutions and privacy helpers for IoT environments * Trust frameworks and secure/private collaboration mechanisms for IoT environments * Secure management and self-healing for IoT environments * Operative systems security for IoT devices * Security diagnosis tools for IoT devices * Threat and vulnerability detection in IoT environments * Anomaly detection and prevention mechanisms in IoT networks * Case studies of malware analysis in IoT environments * IoT forensics and digital evidence * Testbeds and experimental facilities for IoT security analysis and research * Standardization activities for IoT security * Security and privacy solutions tailored to specific IoT domains and ecosystems Submission Guidelines ----------------------- Authors should prepare their manuscripts according to the “Instructions for Authors” guidelines outlined at the journal website: http://www.springer.com/computer/security+and+cryptology/journal/10207 Note that the journal sets no page limit, although we encourage authors to keep their submissions to a length that’s in the ballpark of the accepted articles (unless there are special reasons to submit something longer), i.e., less than 30 pages, in order to expedite the review process. All papers will be peer-reviewed, by following a regular reviewing procedure. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: