From neurodltensor at gmail.com Thu Jun 14 10:14:55 2018 From: neurodltensor at gmail.com (Evgeny Burnaev) Date: Thu, 14 Jun 2018 10:14:55 +0200 Subject: CALL FOR PAPERS: Deep Learning and Tensor/Matrix Decomposition for Applications in Neuroscience Message-ID: CALL FOR PAPERS DLAN 2018 Workshop on Deep Learning and Tensor/Matrix Decomposition for Applications in Neuroscience will be held in conjunction with ICDM 2018 November 17th, 2018, Singapore https://crei.skoltech.ru/cdise/icdm-2018-workshop/ --------------------------------------------------------------------------------------------------------------------------------- DLAN is a full day workshop, organized in conjunction with ICDM 2018. The IEEE International Conference on Data Mining series (ICDM) has established itself as the world’s premier research conference in data mining. The main goal of current workshop is to bring together academics, researchers and practitioners to discuss and reflect on recent challenges in neuroscience in the context of Deep Learning. The workshop is oriented to all potential applications of deep learning and matrix/tensor decomposition and networks in feature extraction, classification, recognition, segmentation, enhancing, clustering, anomaly detection, and prediction of brain and behavior data – as applied to the multi-modal brain data (MRI/fMRI/CT, EEG/MEG, and biomarker assays), especially for mental disorders. Special focus will be made on the practical aspects of how to design and train deep neural networks with appropriate reduction of the dimensionality, to achieve high classification performance and reliability. Because of recent breakthroughs in machine learning, especially deep neural networks, it is expected that physicians will be able to completely rely on the machine interpretation of MRIs, CT, PET scans using deep learning in the nearest future. Though deep neural networks have revolutionized computer vision through the end-to-end learning (i.e., learning from the raw data), it is still difficult to accomplish the early detection of the major neurodegenerative diseases (such as ADHD, Autism, or Alzheimer’s) with the neural networks today, partially due to the need for development of optimization techniques in order to work with the Big Data in the most efficient way. These and related topics will be addressed at this workshop. IMPORTANT DATES --------------------------- All deadlines are at 11:59PM Pacific Time. WORKSHOP PAPER SUBMISSIONS August 7, 2018 WORKSHOP PAPER NOTIFICATION September 4, 2018 WORKHSOP DATE November 17, 2018 TOPICS OF INTEREST -------------------------------- We aim for a focus on the applications of Deep Learning to analysis of neuroimaging data. Topics of interests for the workshop include, but are not limited to: Magnetic Resonance Imaging (MRI) / functional Magnetic Resonance Imaging (fMRI) Electroencephalography (EEG) Magnetoencephalography (MEG) Positron Emission Tomography (PET) Near-infrared spectroscopy (NIRS) Computed Tomography (CT) Behavioral Data Physiological Data Electromyography (EMG) We encourage submissions describing innovative work in related fields that address the issue of interpretability in applications of DL to neuroscience. SUBMISSION GUIDELINES ------------------------------------- We invite submission of unpublished original research papers that are not under review elsewhere. All papers will be peer reviewed. If accepted, at least one of the authors must attend the workshop to present their work. Paper submissions should be limited to a maximum of ten (10) pages, in the IEEE 2-column format (link), including the bibliography and any possible appendices. Submissions longer than 10 pages will be rejected without review. All submissions will be triple-blind reviewed by the Program Committee on the basis of technical quality, relevance to scope of the conference, originality, significance, and clarity. For further information, please visit the ICDM guidelines page http://icdm2018.org/calls/call-for-papers/. Manuscripts must be submitted electronically via the submission site. https://wi-lab.com/cyberchair/2018/icdm18/scripts/submit.php?subarea=S26&undisplay_detail=1&wh=/cyberchair/2018/icdm18/scripts/ws_submit.php We do not accept email submissions. Accepted papers will be published in the conference proceedings by the IEEE Computer SocietyPress. If you are considering submitting to the workshop and have questions regarding the workshop scope or need further information, please do not hesitate to contact the organizers at NeuroDLTensor (at) gmail.com. ORGANIZERS --------------------------- Andrzej Cichocki (Skoltech) Alexander Bernstein (Skoltech) Evgeny Burnaev (Skoltech) Dmitry Dylov (Skoltech) Ivan Oseledets (Skoltech) CONTACT us at: NeuroDLTensor (at) gmail.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From C.Orasan at wlv.ac.uk Thu Jun 14 10:14:55 2018 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Thu, 14 Jun 2018 10:14:55 +0200 Subject: Reminder: PhD studentship in Translation Technology (University of Wolverhampton) References: <837ebec1c93913b5192e143867dfaff23fd1cf34.camel@wlv.ac.uk> Message-ID: [Apologies for cross-posting] One PhD studentship in Translation Technology Closing date 20th June 2018 The Research Group in Computational Linguistics (http://rgcl.wlv.ac.uk) at the University of Wolverhampton invites applications for a 3-year PhD studentship in the area of translation technology. This PhD studentship is part of a larger university investment which includes other PhD students and members of staff with the aim to strengthen the existing research undertaken by members of the group in this area. This funded student bursary consist of a stipend towards living expenses (£14,500 per year) and remission of fees. We invite applications in the area of translation technology defined in the broadest sense possible and ranging from advanced methods in machine translation to user studies which involves the use of technology in the translation process. We welcome proposals focusing on Natural Language Processing techniques for translation memory systems and translation tools in general. Given the current research interests of the group and its focus on computational approaches, we would be interested in topics including but not limited to: - Enhancing retrieval and matching from translation memories with linguistic information - The use of deep learning (and in general, statistical) techniques in translation memories - (Machine) translation of user generated content - The use of machine translation in cross-lingual applications (with particular interest in sentiment analysis, automatic summarisation and question answering) - Phraseology and computational treatment of multi-word expressions in machine translation and translation memory systems - Quality estimation for translation professionals Other topics will also be considered as long as they align with the interests of the group. The appointed student is expected to work on a project that has a significant computational component. For this reason we expect that the successful candidate will have good background in computer science and programming. The application deadline is 20th June 2018 and Skype interviews with the shortlisted candidates are planned for the 26th June. The starting date of the PhD position is as soon as possible after the offer is made. The successful applicant must have: - A good honours degree or equivalent in Computational Linguistics, Computer Science, Translation studies or Linguistics - A strong background in Programming and Statistics/ Mathematics or in closely related areas (if relevant to the proposed topic). - Experience in Computational Linguistics / Natural Language Processing, including statistical, Machine Learning and Deep Learning, applications to Natural Language Processing. - Experience with translation technology - Experience with programming languages such as Python, Java or R is a plus - An IELTS certificate with a score of 6.5 is required from candidates whose native language is not English. If a certificate is not available at the time of application, the successful candidate must be able to obtain it within one month from the offer being made. Candidates from both UK/EU and non-EU can apply. We encourage applications from female candidates. Applications must include: 1. A curriculum vitae indicating degrees obtained, courses covered, publications, relevant work experience and names of two referees that could be contacted if necessary 2. A research statement which outlines the topics of interest. More information about the expected structure of the research statement can be found at https://www.wlv.ac.uk/media/departments/star-office/documents/Guidelines-for-completion-of-Research-Statement.doc These documents will have to be sent by email before the deadline to Amanda Bloore (A.Bloore at wlv.ac.uk). Informal enquiries can be sent to Constantin Orasan (C.Orasan at wlv.ac.uk) Established by Prof Mitkov in 1998, the research group in Computational Linguistics delivers cutting-edge research in a number of NLP areas. The results from the latest Research Evaluation Framework confirm the research group in Computational Linguistics as one of the top performers in UK research with its research defined as ‘internationally leading, internationally excellent and internationally recognised’. The research group has recently completed successfully the coordination of the EXPERT project a successful EC Marie Curie Initial Training Network promoting research, development and use of data-driven technologies in machine translation and translation technology (http://expert-itn.eu). --- Dr Constantin Orasan Reader in Computational Linguistics Deputy Head of the Research Group in Computational Linguistics Research Group in Computational Linguistics Research Institute of Information and Language Processing University of Wolverhampton MC139 Stafford Street Wolverhampton WV1 1LY Tel. +44 (0) 1902 321630 Email: C.Orasan at wlv.ac.uk Homepage: http://dinel.org.uk From Nicolas.Troquard at unibz.it Thu Jun 14 10:14:55 2018 From: Nicolas.Troquard at unibz.it (Nicolas Troquard) Date: Thu, 14 Jun 2018 10:14:55 +0200 Subject: [Cfp] BOG: BadOntoloGy workshop @ JOWO @ FOIS Message-ID: 2nd CALL FOR PAPER ============================================= BOG: BadOntoloGy http://bog.inf.unibz.it/ Cape Town, South Africa, 19-21 September 2018. Part of the Joint Ontology Workshops (JOWO 2018), a pool of satellite events held at the 10th International Conference on Formal Ontology in Information Systems (FOIS 2018). Submission deadline: June 25, 2018 ============================================= As ontologies are adopted by new practitioners and as they grow in size, bad ontologies become an increasingly common reality. Bad ontologies may be inconsistent, have unwanted consequences, be ridden with anti-patterns. In general, bad ontologies present design mistakes that make their use and maintenance problematic or impossible. We welcome original contributions about all topics related to bad ontologies, including but not limited to: - the cataloguing of ontology symptoms - symptoms detection - diagnostic methods to explain the symptoms - ontology quality measures - principled methods for building bad ontologies - benchmarks of bad ontologies for evaluating repairing methods Submissions: ========== We accept submissions, between 5 and 14 pages, through Easychair at the URL https://easychair.org/conferences/?conf=jowo2018 (select track "BOG : BadOntoloGy"). Publication: ========= All accepted papers will be part of the JOWO proceedings. (See previous edition at the URL http://ceur-ws.org/Vol-2050/). Important dates: ============ - June 25, 2018: submission deadline - July 23, 2018: acceptance notification to authors - August 15, 2018: camera ready versions due - September 17-18, 2018: JOWO 2018 - September 19-21, 2018: FOIS 2018 Organizing committee: ================= - Giancarlo Guizzardi, Free University of Bozen-Bolzano - Oliver Kutz, Free University of Bozen-Bolzano - Rafael Peñaloza, Free University of Bozen-Bolzano - Nicolas Troquard, Free University of Bozen-Bolzano Program Committee: ========================= - Claudia d’Amato, University of Bari - Mathieu d'Aquin, Insight Centre for Data Analytics, National University of Ireland Galway - Joāo Paulo Almeida, Federal University of Espirito Santo - Werner Ceusters, SUNY at Buffalo - Oscar Corcho, Universidad Politécnica de Madrid - Ricardo A. Falbo, Federal University of Espirito Santo - Aldo Gangemi, Università di Bologna & CNR-ISTC - Andreas Herzig, IRIT-CNRS - Adila A. Krisnadhi, Wright State University & Universitas Indonesia - Frank Loebe, University of Leipzig - Fabian Neuhaus, University of Magdeburg - Bijan Parsia, The University of Manchester - María Poveda-Villalón, Universidad Politécnica de Madrid - Catherine Roussey, Irstea - Uli Sattler, The University of Manchester - Claudia Schon, Universität Koblenz-Landau - Stefan Schulz, Institute of Medical Informatics, Statistics and Documentation, Graz General Hospital and University Clinics - Amanda Vizedom, Crédit Suisse -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Jun 14 10:14:55 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 14 Jun 2018 10:14:55 +0200 Subject: DeepLearn 2018: early registration June 24 Message-ID: DeepLearn 2018: early registration June 24*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   2nd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2018   Genova, Italy   July 23-27, 2018   Organized by: University of Genova IRDTA – Brussels/London   http://grammars.grlmc.com/DeepLearn2018/   ***************************************************************   --- Early registration deadline: June 24, 2018 ---   ***************************************************************   SCOPE:   DeepLearn 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 six-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, DeepLearn 2018 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:   DeepLearn 2018 will take place in Genova, the capital city of Liguria, inscribed on the UNESCO World Heritage List and with one of the most important ports of the Mediterranean. The venue will be:   Porto Antico di Genova – Centro Congressi Magazzini del Cotone – Module 10 16128 Genova, Italy   KEYNOTE SPEAKERS: (to be completed)   Paolo Frasconi (University of Florence), Bilevel Programming for Hyperparameter Optimization and Meta-Learning   PROFESSORS AND COURSES:   Tülay Adalı (University of Maryland, Baltimore County), [introductory/intermediate] Data Fusion through Matrix and Tensor Decompositions: Linear, Multilinear, and Nonlinear Models and their Applications   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences   Thomas Breuel (NVIDIA Corporation), [intermediate] Design and Implementation of Deep Learning Applications   Joachim M. Buhmann (Swiss Federal Institute of Technology Zurich), [introductory/advanced] Model Selection by Algorithm Validation   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Michael Gschwind (IBM Global Chief Data Office), [introductory/intermediate] Deploying Deep Learning at Enterprise Scale   Namkug Kim (Asan Medical Center), [intermediate] Deep Learning for Computer Aided Detection/Diagnosis in Radiology and Pathology   Sun-Yuan Kung (Princeton University), [introductory] A Methodical and Cost-effective Approach to Optimization/Generalization of  Deep Learning Networks   Li Erran Li (Uber ATG), [intermediate/advanced] Deep Reinforcement Learning: Foundations, Recent Advances and Frontiers   Dimitris N. Metaxas (Rutgers University), [advanced] Adversarial, Discriminative, Recurrent, and Scalable Deep Learning Methods for Human Motion Analytics, Medical Image Analysis, Scene Understanding and Image Generation   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [introductory/advanced] Cognitive Architectures for Object Recognition in Video   Douglas A. Reynolds (Massachusetts Institute of Technology) & Najim Dehak (Johns Hopkins University), [introductory/intermediate] More than Words Can Say: Machine and Deep Learning for Speaker, Language, and Emotion Recognition from Speech   Björn Schuller (Imperial College London), [intermediate/advanced] Deep Learning for Signal Analysis   Michèle Sebag (French National Center for Scientific Research, Gif-sur-Yvette), [intermediate] Representation Learning, Domain Adaptation and Generative Models with Deep Learning   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning and Kernel Machines   Kenji Suzuki (Tokyo Institute of Technology), [introductory/advanced] Deep Learning in Medical Image Processing, Analysis and Diagnosis   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] A Statistical Machine Learning Perspective of Deep Learning: Algorithm, Theory, Scalable Computing   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   Mohammed J. Zaki (Rensselaer Polytechnic Institute), [introductory] Introductory Tutorial on Regression and Deep Learning   Yudong Zhang (University of Leicester), [introductory/intermediate] Convolutional Neural Network and Its Variants   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 July 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning 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 July 15, 2018.   EMPLOYERS SESSION:   Firms searching for personnel well skilled in deep learning 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 July 15, 2018.   ORGANIZING COMMITTEE:   Alberto Cabri (Genova) Francesco Masulli (Genova, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) Stefano Rovetta (Genova) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2018/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation 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 can be found at   http://www.deeplearn-hotels.promoest.com/hp.aspx?s=0   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:   Università degli studi di Genova Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From asdm at fi.upm.es Thu Jun 14 10:14:55 2018 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Thu, 14 Jun 2018 10:14:55 +0200 Subject: Thirteenth Madrid UPM Advanced Statistics and Data Mining Summer School (June 25th - July 6th, 2018) - Two weeks until start! Message-ID: Dear colleagues, We would like to remind you that registration for week one of the Madrid UPM Advanced Statistics and Data Mining summer school finishes in less than two weeks, on June 20th. Registration for week two finishes a week later, on June 27th. The summer school will be held in Boadilla del Monte, near Madrid, from June 25th to July 6th. This year's edition comprises 12 week-long courses (15 lecture hours each), given during two weeks (six courses each week). Attendees may register in each course independently. No restrictions, besides those imposed by timetables, apply on the number or choice of courses. Our summer school has been an INOMICS world top ten summer schools in mathematics and statistics from 2015 to 2018. See the last year's ranking at http://bit.ly/2oR00GI Registration is *OPEN*. Extended information on course programmes, price, venue, accommodation and transport is available at the school's website: http://www.dia.fi.upm.es/ASDM There is a 25% discount for members of Spanish AEPIA and SEIO societies. Please, forward this information to your colleagues, students, and whoever you think may find it interesting. Best regards, Pedro Larrañaga, Concha Bielza, Bojan Mihaljević and Santiago Gil Begué. -- School coordinators. *** List of courses and brief description *** * Week 1 (June 25th - June 29th, 2018) * 1st session: 9:45-12:45 Course 1: Bayesian Networks (15 h) Basics of Bayesian networks. Inference in Bayesian networks. Learning Bayesian networks from data. Real applications. Practical demonstration: GeNIe, Weka, Bayesia, R. Course 2: Time Series(15 h) Basic concepts in time series. Linear models for time series. Time series clustering. Practical demonstration: R. 2nd session: 13:45-16:45 Course 3: Supervised Pattern Recognition (15 h) Introduction. Assessing the performance of supervised classification algorithms. Preprocessing. Classification techniques. Combining multiple classifiers. Comparing supervised classification algorithms. Practical demonstration: Weka. Course 4: Statistical Inference (15 h) Introduction. Some basic statistical test. Multiple testing. Introduction to bootstrap methods. Introduction to Robust Statistics. Practical demonstration: R. 3rd session: 17:00 - 20:00 Course 5: Neural Networks and Deep Learning (15 h) Introduction. Training algorithms. Learning and Optimization. MLPs in practice. Deep Networks. Practical session: Python with keras and Jupyter notebooks. Course 6: Big Data with Apache Spark (15 h) Introduction. Spark framework and APIs. Data processing with Spark. Spark streaming. Machine learning with Spark MLlib. * Week 2 (July 2nd - July 6th, 2018) * 1st session: 9:45-12:45 Course 7: Bayesian Inference (15 h) Introduction: Bayesian basics. Conjugate models. MCMC and other simulation methods. Regression and Hierarchical models. Model selection. Practical demonstration: R and WinBugs. Course 8: Unsupervised Pattern Recognition (15 h) Introduction to clustering. Data exploration and preparation. Prototype-based clustering. Density-based clustering. Graph-based clustering. Cluster evaluation. Miscellanea. Conclusions and final advise. Practical session: R. 2nd session: 13:45-16:45 Course 9: Text Mining (15 h) Information Retrieval 101. Unsupervised Text Processing. Representation Learning. Information Extraction. Natural Language Understanding. Practical session: Python, with Jupyter notebooks. Course 10: Feature Subset Selection (15 h) Introduction. Filter approaches. Embedded methods. Wrapper methods. Additional topics. Practical session: R and Weka. 3rd session: 17:00-20:00 Course 11: Support Vector Machines and Regularized Learning (15 h) Introduction. SVM models. SVM learning algorithms. Regularized learning. Convex optimization for regularized learning. Practical session: Python with scikit-learn, Jupyter notebooks. Course 12: Hidden Markov Models (15 h) Introduction. Discrete Hidden Markov Models. Basic algorithms for Hidden Markov Models. Semicontinuous Hidden Markov Models. Continuous Hidden Markov Models. Unit selection and clustering. Speaker and Environment Adaptation for HMMs. Other applications of HMMs. Practical session: HTK. From J.M.Broersen at uu.nl Thu Jun 14 10:14:55 2018 From: J.M.Broersen at uu.nl (Jan Broersen) Date: Thu, 14 Jun 2018 10:14:55 +0200 Subject: Final call for Participation DEON 2018 in Utrecht Message-ID: Registration closes on June 15th (coming Friday) for the 14th International Conference on Deontic Logic and Normative Systems 3-6 July 2018, Utrecht, the Netherlands https://deon2018.sites.uu.nl The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organisation theory and law. In addition to these general themes, DEON 2018 will encourage a special focus on the topic: “Deontic reasoning for responsible AI” Invited speakers: Marek Sergot (London) Christoph Benzmüller (Berlin) Melissa Fusco (Columbia) Olivier Roy (Bayreuth) The detailed program is available at: https://deon2018.sites.uu.nl/program/ The DEON 2018 organisation team From frederic.mesnard at gmail.com Thu Jun 14 10:14:55 2018 From: frederic.mesnard at gmail.com (Fred Mesnard) Date: Thu, 14 Jun 2018 10:14:55 +0200 Subject: LOPSTR 2018: Second Round Final Call for Papers Message-ID: ====================================================================== LOPSTR 2018: Second Round Final Call for Papers ====================================================================== 28th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/index.html Frankfurt, Germany, September 4-6, 2018 (co-located with PPDP 2018 and WFLP 2018) The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018) will be held at the Goethe-University Frankfurt am Main, Germany. Previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester, Edinburgh, and Namur. LOPSTR 2018 will be co-located with PPDP 2018 (International Symposium on Principles and Practice of Declarative Programming) and WFLP 2018 (International Workshop on Functional and Logic Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chairs in case of questions). In order to more closely follow previous LOPSTR timelines, we have added an additional round of paper submission at a more usual time for LOPSTR. Papers submitted in the first round may already be accepted before this round, while rejected papers from the first round can be resubmitted. Important Dates Abstract submission: June 26, 2018 Paper/Extended abstract submission: June 30, 2018 Notification: July 30, 2018 Camera-ready (for electronic pre-proceedings): August 15, 2018 Symposium: September 4-6, 2018 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2018. Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Invited Talks LOPSTR/PPDP: Philippa Gardner, Imperial College - formal methods for JavaScript LOPSTR/PPDP: Jorge Navas, SRI International - SeaHorn and constrained horn clauses for verification LOPSTR: Laure Gonnord, University of Lyon - experiences in designing scalable static analyses PPDP: Chung-Chieh Shan, Indiana University - probabilistic programming Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/lopstr18.html#pc Program Chairs Fred Mesnard, University of Reunion Island, France Peter Stuckey, University of Melbourne, Australia Organizing Committee David Sabel (General Chair), Computer Science Institute Goethe-University Frankfurt am Main, Germany From Cassia.Trojahn at irit.fr Mon Jun 18 10:33:59 2018 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Mon, 18 Jun 2018 10:33:59 +0200 Subject: EKAW 2018 =?utf-8?q?=3A?= Third call for =?utf-8?q?research=2C?= in-use and position papers In-Reply-To: <190d-5acdb600-19-54e3b000@241277230> Message-ID: [Apologies for cross-postings] ** Call for research, in-use, and position papers ** https://project.inria.fr/ekaw2018/ The 21th International Conference on Knowledge Engineering and Knowledge Management concerns all aspects of eliciting, acquiring, modeling and managing knowledge, and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on. The special theme of EKAW 2018 is "Knowledge and AI". We are indeed calling for papers that describe algorithms, tools, methodologies, and applications that exploit the interplay between knowledge and Artificial Intelligence techniques, with a special emphasis on knowledge discovery.EKAW 2018 will put a special emphasis on the importance of Knowledge Engineering and Knowledge Management with the help of AI as well as for AI. ** Proceedings ** The proceedings of the research track will be published by Springer Verlag in the Lecture Notes in Artificial Intelligence series. The authors of selected best papers will be invited to submit an extended version of their manuscript to a special issue of the Semantic Web Journal by IOS Press. ** Best paper award ** Research and in-use papers are eligible for the Bob Wielinga Best Paper Award sponsored by Springer that will award a prize of 1,000 euros to the best paper of the main track. ** Topics of interest ** EKAW 2018 welcomes papers dealing with theoretical, methodological, experimental, and application-oriented aspects of knowledge engineering and knowledge management. In particular, but not exclusively, we solicit papers about methods, tools and methodologies on 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 Multi-media 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) ** Type of papers ** We will accept different types of papers. The papers will all have the same status and follow the same formatting guidelines in the proceedings but will receive special treatment during the reviewing phase. In particular, each paper type will be subject to its own evaluation criteria. The Programme Committee will also make sure that there is a reasonable balance of the paper types accepted. At submission time the paper has to be clearly identified as belonging to one of the following categories. Research papers: These are "standard" papers presenting a novel method, technique or analysis with appropriate empirical or other types of evaluation as a proof-of-concept. The main evaluation criteria here will be originality, technical soundness and validation. In-use papers: Here we are expecting papers describing applications of knowledge management and engineering in real environments. Applications need to address a sufficiently interesting and challenging problem on real-world datasets, involving many users, etc. The focus is less on the originality of the approach and more on presenting systems that solve a significant problem while addressing the particular challenges that come with the use of real-world data. Evaluations are essential for this type of paper and should involve a representative subset of the actual users of the system. Position papers: We invite researchers to also publish position papers, which describe novel and innovative ideas. Position papers may also comprise an analysis of currently unsolved problems, or review these problems from a new perspective, in order contribute to a better understanding of these problems in the research community. We expect that such papers will guide future research by highlighting critical assumptions, motivating the difficulty of a certain problem or explaining why current techniques are not sufficient, possibly corroborated by quantitative and qualitative arguments. ** Important dates ** Abstract deadline: July 2nd, 2018 Submission deadline: July 9th, 2018 Notification of acceptance: August 31st, 2018 Camera-ready paper: September 10th, 2018 Conference days: November 13th-16th, 2018 All submission deadlines are 23:59:59 Hawaii Time. ** Submissions ** Pre-submission of abstracts is a strict requirement. All papers and abstracts have to be submitted electronically via EasyChair. All submissions for research, in-use, and position papers must be in English, and no longer than 15 pages. Papers that exceed this limit will be rejected without review. Submissions must be in PDF, formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details on the LNCS style, see Springer's Author Instructions. ** Organization ** General chair Amedeo Napoli (CNRS, France) Yannick Toussaint (Université de Lorraine, France) Program chairs Catherine Faron Zucker (Université Nice Sophia Antipolis, France) Chiara Ghidini (Fondazione Bruno Kessler, Italy) From karl.h.hammar at gmail.com Mon Jun 18 10:33:59 2018 From: karl.h.hammar at gmail.com (Karl Hammar) Date: Mon, 18 Jun 2018 10:33:59 +0200 Subject: [CfP] FOIS 2018 Ontologies Competition DEADLINE EXTENSION Message-ID: NOTE: Deadline extension to June 29! We cordially invite you to submit to the FOIS 2018 ontologies competition, which will be held in conjunction with the FOIS (Formal Ontology in Information Systems) 2018 conference in Cape Town, South Africa, September 17-21. This year's contest is around ontologies that connect to the physical world in a quantitative way. The goal is to offer approaches to subjects that are of broad relevance across the physical sciences and technology that can be applied to realistically complex problems, and demonstrate how they work for representing and querying data. Examples of subjects that would be of interest are: 1. Spatially varying qualities such as temperature, wind speed, precipitation as it varies over an extended region as used in climate work, engineering models that measure spatial patterns of stress in materials, patterns of population and related aspects such as travel patterns and infrastructure, relevant for urban planning or study of epidemics, or distributions of substances or cells in the body as they evolve. 2. System of physical quantities - the question of units and conversions between them, physical laws and formulas that relate them, "base" versus "derived" quantities, dimensionless quantities, quantities that vary in time. 3. Temporal evolution and patterns: Time course of disease, markets, dynamics of physical processes, longitudinal studies, treatment and clinical follow-up. # Requirements * The ontology should be represented using OWL or Common logic, specifying a reasoner for the fragment of logic used. * A representative data set (which can be simulated) that is sufficient to demonstrate utility * A set of queries demonstrating expressiveness and utility and which produce expected results Submissions will be in the form of a short paper giving an explanation of the approach and instructions for demonstrating the work. The submitter should document any software that needs to be installed, as well as step by step instructions for executing the queries. Reviewers will follow these instructions and reproducibility will be part of the evaluation. Packaging that requires minimal installation, such as by a self-contained system that uses docker, would be beneficial. Submitted papers should not exceed 5 pages (not including instructions) and include an abstract of no more than 300 words. Papers should be submitted non-anonymously in PDF format following IOS Press formatting guidelines. Accepted submissions will be published in the JOWO proceedings. The winner of the competition will receive a prize of $500 USD or equivalent All material should be publicly available, for example via a Github repository, clearly licensed and accompanied by a descriptive Readme. Evaluation criteria. - How realistic are the use case and data? - Expressive power - Range of applicability - is the work useful across different domains - Efficiency and scaling - Conformity to one or more upper level ontologies - Ease of reproducing the query results The Easychair submission page can be found at: https://easychair.org/conferences/?conf=jowo2018. You will be asked to choose a track. Choose "Ontology Competition". # Important dates * Submissions due June 29 * Notification July 15 * Camera ready due: Aug 15, 2018 Presentation at FOIS September 17-21. FOIS website: http://www.iaoa.org/fois/2018.html Competition website: http://fois2018.cs.uct.ac.za/?page_id=280 # Organizers * Alan Ruttenberg (alanruttenberg at gmail.com) * Melanie Courtot (mcourtot at gmail.com) # Program Committe * Matthew West, Information Logic/ Leeds University * Kerry Trentelman, Defence Science and Technology Group * Dalia Varanka , Johns Hopkins University * Aldo Gangemi, Università di Bologna & CNR-ISTC * Fabian Neuhaus, University of Magdeburg * Jie Zheng, University of Pennsylvania * Ramona Walls, iPlant From idsistworkshops at gmail.com Mon Jun 18 10:33:59 2018 From: idsistworkshops at gmail.com (IDS Workshops) Date: Mon, 18 Jun 2018 10:33:59 +0200 Subject: =?UTF-8?Q?CALL_FOR_WORKSHOP_PROPOSALS_-_International_Conference_on?= =?UTF-8?Q?_Intelligent_Technologies_for_Interactive_Entertainment_=28Novemb?= =?UTF-8?Q?er_21-23=2c_2018=2cGuimar=c3=a3es=2c_Portugal=29?= Message-ID: [Please accept our apologies if you receive multiple copies of this email] The 10th INTETAIN celebrates the future of Intelligent Technologies for Interactive Entertainment by inviting researchers to submit novel contributions around developments and insights in art, design, science, and engineering regarding computer based systems (algorithms, models, software and tools) or devices (smartphone, digital cameras, …) that provide intelligent human interaction or entertainment experiences We are pleased to invite you to submit Workshops Proposals to INTETAIN 2018. They should be in English and include: workshop title, workshop organizer contacts, workshop scope, workshop affinity with INTETAIN2018 and a tentative Workshop Call for Papers (maximum of 2 pages in pdf). Proposals should be submitted directly by email to cfp at dsi.uminho.pt, with the subject: INTETAIN2018 Workshop proposal. Important dates July 1st, 2018 - Proposal submission deadline July 3rd, 2018 - Decision notification Conference details available at http://intetain.org/ From andrea.orlandini at istc.cnr.it Mon Jun 18 10:33:59 2018 From: andrea.orlandini at istc.cnr.it (AndreA Orlandini) Date: Mon, 18 Jun 2018 10:33:59 +0200 Subject: =?UTF-8?Q?Call_for_Papers_-_GandALF_2018_-_International_Symposium_?= =?UTF-8?Q?on_Games=2c_Automata=2c_Logics=2c_and_Formal_Verification_-_Saarb?= =?UTF-8?Q?r=c3=bccken_-_26-28_September_2018?= In-Reply-To: References: Message-ID: Apologies for multiple postings **** DEADLINE EXTENSION **** After many requests, the deadline for submitting papers has been extended NEW DATES: – Abstract submission: June 20th, 2018 – Paper submission: June 22nd, 2018 A selection of papers will be invited for a special issue on the International Journal on "Information and Computation" (Elsevier). ***************************************************************************** CALL FOR PAPERS - GandALF 2018 ***************************************************************************** The Ninth International Symposium on Games, Automata, Logics, and Formal Verification will be held in Saarbrücken (Germany) on September 26th - 28th, 2018. https://www.react.uni-saarland.de/gandalf2018/index.html ***************************************************************************** The aim of GandALF 2018 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following: – Automata Theory – Automated Deduction – Computational aspects of Game Theory – Concurrency and Distributed computation – Decision Procedures – Deductive, Compositional, and Abstraction Techniques for Verification – Finite Model Theory – First-order and Higher-order Logics – Formal Languages – Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems – Games and Automata for Verification – Game Semantics – Logical aspects of Computational Complexity – Logics of Programs – Modal and Temporal Logics – Model Checking – Models of Reactive and Real-Time Systems – Program Analysis and Software Verification – Run-time Verification and Testing – Specification and Verification of Finite and Infinite-state Systems – Synthesis IMPORTANT DATES ****************** – Abstract submission: June 20th, 2018 – Paper submission: June 22nd, 2018 – Notification: August 1st, 2018 – Camera-ready: August 17th, 2018 - Conference: September 26th-28th, 2018 PUBLICATIONS ****************** The proceedings will be published by Electronic Proceedings in Theoretical Computer Science. Authors of the best papers will be invited to submit a revised version of their work to a special issue of Information and Computation. The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016 and 2017, the latter two still in progress), and Acta Informatica (GandALF 2015). SUBMISSIONS ****************** Submitted papers should not exceed fourteen (14) pages using EPTCS format (please use the LaTeX style provided athttp://style.eptcs.org), be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF or PS format and will be handled via the EasyChair Conference system at the following address: https://www.easychair.org/conferences/?conf=gandalf2018 INVITED SPEAKERS ****************** Saddek Bensalem (Université Grenoble Alpes): Rigorous System design : The BIP Framework Véronique Bruyère (University of Mons): On the synthesis of equilibria in graph games Kim G. Larsen (Aalborg University): Energy Timed Automata and Games PROGRAM CHAIRS ****************** Martin Zimmermann, Saarland University, Germany AndreA Orlandini, ISTC-CNR, Italy PROGRAM COMMITTEE ****************** Mohamed Faouzi Atig (Uppsala University, Sweden) Christel Baier (TU Dresden, Germany) Patricia Bouyer (LSV, CNRS & ENS Cachan, Université Paris Saclay, France) Laura Bozzelli (Università degli Studi di Napoli Federico II, Italy) Thomas Colcombet (CNRS, France) Dario Della Monica (Universidad Complutense de Madrid, Spain) Jie-Hong Roland Jiang (National Taiwan University, Taiwan) Ranko Lazic (The University of Warwick, United Kingdom) Jérôme Leroux (CNRS, France) Radu Mardare (Aalborg University, Denmark) Angelo Montanari (University of Udine, Italy) Andrea Orlandini (co-chair, National Research Council of Italy (ISTC-CNR), Italy) Gennaro Parlato (University of Southampton, United Kingdom) Doron Peled (Bar Ilan University, Israel) Mickael Randour (UMONS - Université de Mons, Belgium) Mark Reynolds (The University of Western Australia, Australia) Pietro Sala (University of Verona, Italy) Pierluigi San Pietro (Politecnico di Milano, Italy) B Srivathsan (Chennai Mathematical Institute, India) Martin Zimmermann (co-chair, Saarland University, Germany) STEERING COMMITTEE ****************** Luca Aceto (Reykjavik University, Iceland) Javier Esparza (University of Munich, Germany) Salvatore La Torre (University of Salerno, Italy) Angelo Montanari (University of Udine, Italy) Mimmo Parente (University of Salerno, Italy) Wolfgang Thomas (Aachen University, Germany) -- --------------------------------------------------------------------- AndreA Orlandini PhD National Research Council of Italy Institute for Cognitive Science and Technology Phone: +39-06-44595-223 E-mail:andrea.orlandini at istc.cnr.it Fax: +39-06-44595-243 Url:http://www.istc.cnr.it/group/pst --------------------------------------------------------------------- Me, the one and only person that never leaves me alone! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From francesco.nocera at poliba.it Mon Jun 18 10:33:59 2018 From: francesco.nocera at poliba.it (Francesco Nocera) Date: Mon, 18 Jun 2018 10:33:59 +0200 Subject: [CFP] First International Workshop on Ensemble-based Software Engineering (EnSEmble 2018) In-Reply-To: References: Message-ID: *** We apologize if you receive multiple copies *** CALL FOR PAPERS _** EnSEmble 2018 **–** First International Workshop on Ensemble-based Software Engineering**_ http://sisinflab.poliba.it/ensemble/2018/ 4th November, 2018, Lake Buena Vista, Florida, United States Held in conjunction with the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) https://2018.fseconference.org/ —————————————————————————– IMPORTANT DATES: Workshop paper submissions due: July 27th, 2018 Notification to authors: August 24th, 2018 Camera-ready copies due: September 18th, 2018 —————————————————————————— Contemporary and future software systems are composed of large-scale ensembles of widely distributed, largely autonomous and heterogeneous entities situated in both the physical world and in back-end computer systems. From software development perspective, the world of computing is shifting from the era of single device computing to a new era where literally everything (Services, Things and People) is interconnected, online, and programmable. We are therefore increasingly looking at, and building, emergent and adaptive socio-technical applications built on top of large-scale decentralized distributed computing systems. The lessons learned in distributed software management have led to the idea of a micro-service-based architectural style derived from the concept of web services, flows, and message exchange. These concepts are not only used in large systems, but become common practice in all types of applications, even the smallest, applications involving smart things. The goal of this workshop is to bring the attention of researchers and practitioners of the software engineering to the opportunities and challenges involved in new trend and issue related to software architecting. The workshop aims to present and discuss latest ongoing research as well as radical new research directions in engineering modern and future software application involving several and heterogeneous domains. The aim is to analyze and propose new paradigms of software distributed software platform, including sharing and reuse of everything: people, objects, and services, but also sharing of economy aspect of these entities. Main relevant content should comprise concepts of community: the main activity of services is to create and manage, characterized by sociality, economic advantage, efficiency of service, comfort, and so on. There is a bilateral and continuous relationship between different categories of end-user. Business services are no longer paid from top to bottom, but people are meeting to exchange or share assets, time, money, etc. So the goods are owned by people and not by companies. This new high-level perspective on the sharing of services requires and asks for new technologies, requirements and style to be implemented. Finally, people experience advantages derived from sharing of everything reaching the satisfaction of requirements that are both architectural as far as the design is concerned and non-functional concerning economical, experiential, efficiency, and other proper category depending on the specific domain and typology of involved things. Topics of interested include but are not limited to: * Engineering web of things and of everything * Software architectural styles and patterns for connecting objects, devices and services * Engineering new paradigm for software architecture * The Emerging Paradigms: Fog and Edge Computing * Liquid software * Challenges for distributed application * Architectures and Framework for smart devices connection * Microservices and distributed software models * Architecture for adaptive systems * Optimization and Decision-making approaches * Scalability and Performance analysis * Languages, platforms, APIs and other tools for Ensembles * Internet of events (people, things, content, object) * Sustainable software engineering * Emerging paradigms of software platform: crowdfunding, crowdsourcing * Sharing economy: reuse, sharing and reusing * Scenarios, case studies, and experience reports of Ensembles in different contexts (e.g., Smart Mobility, Smart Energy/Smart Grid, Smart Buildings, Emergency, etc..) * Applications and tools behaving in shared economy environment and domains: Crowdfunding, car sharing, house-sharing, coworking SUBMISSION: Workshop papers are: 8 pages long and peer-reviewed; 4 pages for demo-paper describing existing tools or prototypes. Submission of papers in ACM Master article template, should be submitted as a single PDF file in the EasyChair system [https://easychair.org/conferences/?conf=ensemble2018]. Submissions will be judged on novelty, relevance, clarity of presentation, and correctness. Authors of accepted submissions are required to present their work. Accepted papers will be included in the conference proceedings and published in ACM Digital Library. ———————————————————————– ORGANIZING COMMITTEE _Workshop Chairs: Antonio Bucchiarone, Fondazione Bruno kessler, Trento, Italy Marina Mongiello, Polytechnic University of Bari, Bari, Italy Francesco Nocera, Polytechnic University of Bari, Bari, Italy Michael Sheng, Macquarie University, Sydney, Australia _ Publicity Chair: Luca Riccardi, Polytechnic University of Bari, Italy _ Program Committee(TBC): Marco Autili, University of L'Aquila, Italy Vito Bellini, Polytechnic University of Bari, Italy Radu Calinescu, University of York, UK Rafael Capilla, Universidad Rey Juan Carlos, Spain Maurizio Leotta, University of Genova, Italy Niko Mäkitalo, University of Helsinki, Finland Ivano Malavolta, Vrije Universiteit Amsterdam, The Netherlands Radu-Casian Mihailescu, Malmö University, Sweden Henry Muccini, University of L’Aquila, Italy Luigi Patrono, University of Salento, Italy Hongyu Pei Breivold, Mälardalen University, Sweden Alessandra Russo, Imperial College London, UK Patrizia Scandurra, University of Bergamo, Italy Romina Spalazzese, Malmö University, Sweden Sungwon Kang, Korea Advanced Institute of Science and Technology, Republic of Korea Uwe Zdun, University of Vienna, Austria Informativa Privacy - Ai sensi del Regolamento (UE) 2016/679 si precisa che le informazioni contenute in questo messaggio sono riservate e ad uso esclusivo del destinatario. Qualora il messaggio in parola Le fosse pervenuto per errore, La preghiamo di eliminarlo senza copiarlo e di non inoltrarlo a terzi, dandocene gentilmente comunicazione. Grazie. Privacy Information - This message, for the Regulation (UE) 2016/679, may contain confidential and/or privileged information. If you are not the addressee or authorized to receive this for the addressee, you must not use, copy, disclose or take any action based on this message or any information herein. If you have received this message in error, please advise the sender immediately by reply e-mail and delete this message. Thank you for your cooperation. [5x1000] -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From stefano.borgo at cnr.it Mon Jun 18 10:33:59 2018 From: stefano.borgo at cnr.it (Stefano Borgo) Date: Mon, 18 Jun 2018 10:33:59 +0200 Subject: [Cfp] KODeP workshop @ JOWO + FOIS 2018 In-Reply-To: References: Message-ID: **Ontology for Heterogeneous Knowledge in Design and Planning** https://kodepjowo.wordpress.com/ Cape Town, South Africa, 19-21 September 2018. Part of the Joint Ontology Workshops (JOWO 2018), a pool of satellite events held at the 10th International Conference on Formal Ontology in Information Systems (FOIS 2018). Submission deadline: June 25, 2018 The aim of KODeP is to explore the connections between applied ontology and the theory-in-action (Schon, 1983; Gergen, Zielke, 2006; Dick, et al. 2009) space of design (e.g. design theory) and planning (e.g. multi-agent planning, organizational theory).The workshop focuses on the fields of architecture and engineering where applied ontology methodologies can help to develop a cognitive framework for the theory-in-action approach by disambiguating the terminology and allowing the principled management of complex knowledge. Ontology, understood as the general theory of types of entities and relations making up a domain of inquiry, provides a solid foundation for modeling and using heterogeneous knowledge. Our purpose is to solicit works that elicit and highlight the richness of possibilities that the ontological approach makes accessible in design and in planning processes. In the last few years a variety of research results have outlined that design ontology (architecture, engineering) and space ontology (environment, places and regions as life settlements) are structurally and organizationally linked. In this vein, efforts to develop sound operational ontologies in these domains (e.g. individual and/or social, artificial and/or natural) should be compared and integrated to produce effective and multi-perspective theory-in-action frames. *Topics* Important relations arise between foundational and applied ontologies and the above cited knowledge domains. Among the other issues relevant to the FOIS conference the workshop pays attention to the following ones: - the relation between natural objects/artifacts in dealing with complex environmental systems; space and time interaction in dealing with the making of a city or of a design object; - the relation among cognition, natural and/or formal language, and semantics in complex agent-based systems like environmental/urban systems; - ontology of mental agency as support to decision processes in design and planning; - knowledge management; ontology in design; - ontologies in specific science or professional domains; - ontologies in architecture, engineering, and for the general organization of actual space. *Information* Please submit your paper through easychair: https://easychair.org/conferences/?conf=jowo2018 Papers are intended to be at least five pages long (with around 2500 characters, or 380-400 words, per page) All submissions must be in pdf format and must follow the IOS Press FOIS formatting guidelines, available at https://goo.gl/qkTpT7. *Important dates* June 25, 2018 – submission deadline for papers July 20, 2018 – acceptance notification to authors August 15, 2018 – camera ready versions due The organizers encourage the submission of interdisciplinary research -- Laboratory for Applied Ontology, ISTC CNR Trento, Italy From leon.vandertorre at uni.lu Thu Jun 21 10:24:21 2018 From: leon.vandertorre at uni.lu (Leon VAN DER TORRE) Date: Thu, 21 Jun 2018 10:24:21 +0200 Subject: 3rd and final CFP MIREL 2018, DL July 2, 2018 In-Reply-To: <88413DDF-0C3E-4EA8-AE57-6650527304F0@uni.lu> References: <88413DDF-0C3E-4EA8-AE57-6650527304F0@uni.lu> Message-ID: Call for Papers MIREL workshop MIning and REasoning with Legal texts In conjunction with LuxLogAI September 17th - Luxembourg https://sites.google.com/view/mirelworkshop2018/ Submission deadline: July 2, 2018 The aim of MIREL-2018 workshop is to bridge the gap between the community working on legal ontologies and NLP parsers and the community working on reasoning methods and formal logic, in line with the objectives of the MIREL (MIning and REasoning with Legal texts) project. The workshop aims at fostering the scientific discussion between approaches based on language technologies applied to the legal domain (representing legal knowledge) and those based on legal reasoning (using the legal knowledge to build specialized services and applications). Background Legal scholars and practitioners are feeling increasingly overwhelmed with the expanding set of legislation and case law available these days, which is assuming more and more of an international character. For example, European legislation is estimated to be 170,000 pages long, of which over 100,000 pages have been produced in the last ten years. Furthermore, legislation is available in unstructured formats, which makes it difficult for users to cut through the information overload. As the law gets more complex, conflicting, and ever changing, more advanced methodologies are required for analyzing, representing and reasoning on legal knowledge. The management of large repositories of norms, and the semantic access and reasoning to these norms are key challenges in Legal Informatics, which is experiencing growth in activity, also at the industrial level. Specifically, it is necessary to address both conceptual challenges, such as the role of legal interpretation in mining and reasoning, and computational challenges, such as the handling of big legal data, and the complexity of regulatory compliance. Legal domain has always been attractive to language and semantic technology because of its importance for the society with respect to globalization and common markets as well as for its challenges for formalization and specific language use. For this reason, several research projects in the legal domain have been recently funded by the EU and similar institutions, among which ``MIREL: MIning and REasoning with Legal texts'' (http://www.mirelproject.eu/). The past two editions of the present workshop were held in Nice, in conjunction with the Jurix 2016 conference, and in London, in conjunction with the ICAIL 2017 conference. Objective The development of NLP techniques and semantic technologies for automatic analysis and indexing of big data freely available on the web has created opportunities for building new approaches to improve the efficiency, comprehensibility, and consistency of legal systems. Semantic analysis aims at relating syntactic elements – which could be phrases, clauses, sentences, paragraphs, and whole documents - to their meanings in a given domain, including meanings specific to legal information. On the one hand, in recent years the EU has delivered huge amounts of resources on EU law in many languages (such as, EuroParl, JRC, etc.). On the other hand, the matured NLP and Semantic Web technology provides a good inventory: for formalizing the law data in the form of domain ontologies; for automating the process of relevant knowledge extraction from legal documents; and for representing it in form of Linked Data in RDF. This will support legal reasoning tasks such as better search possibilities, compliance checking and decision support, as well as a better presentation of the legal information to professional and non-professional stakeholders. Topics Language technologies for processing of legal texts Legal reasoning (searching, compliance checking, decision support) Ontology design patterns for the legal domain Ontological modeling of legal data Core and domain ontologies for the legal domain Legal knowledge on the Web Legal Linked Open Data Machine learning and data mining for legal applications Adaptation of language processing modules to legal domain Large-scale normative reasoning Computational methods for legal reasoning Extraction of legal Named entities - legal citations, etc. Legal search engines - requirements, implementations, etc. Semantic annotations for legal texts Formal analysis of normative concepts and normative systems Formal analysis of the semantics/pragmatics of deontic and normative expressions in natural language Expressive vs. lightweight representations of legal knowledge Legislation and case law corpora in Linked Open Data Applications in the legal domain Submission We invite submissions up to 12 pages plus 3 additional pages for bibliography and appendix, in LNCS format (http://www.springer.com/comp/lncs/authors.html). Authors shall submit their papers electronically via EasyChair before the due date in PDF format: https://easychair.org/conferences/?conf=mirel2018 The proceedings will appear in College Publications' IfCoLoG Journal of Logics and their Applications. http://collegepublications.co.uk/ifcolog/ Organizers Laura Alonso Alemany, Universidad Nacional de Córdoba (Argentina) Guillermo Simari, Universidad Nacional del Sur (Argentina) Leon van der Torre, University of Luxembourg (Luxembourg) LuxLogAI The MIREL 2018 workshop is the start of the Luxembourg Logic for AI Summit, which takes place on 17-26 September 2018 (https://luxlogai.uni.lu/). The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), the MIREL 2018 workshop, and the Deduktionstreffen 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. Enquiries For questions contact the organizers (lauraalonsoalemany at gmail.com , grsimari at gmail.com , leon.vandertorre at uni.lu ). -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icaart at insticc.info Thu Jun 21 10:24:21 2018 From: icaart at insticc.info (icaart at insticc.info) Date: Thu, 21 Jun 2018 10:24:21 +0200 Subject: CFP ICAART 2019 - 11th Int.l Conf. on Agents and Artificial Intelligence (Prague/Czech Republic) Message-ID: SUBMISSION DEADLINE 11th International Conference on Agents and Artificial Intelligence Submission Deadline: October 1, 2018 http://www.icaart.org/ February 19 - 21, 2019 Prague, Czech Republic. ICAART is organized in 2 major tracks: - Agents - Artificial Intelligence In Cooperation with: EUROGRAPHICS and AFIG.
Proceedings will be submitted for indexation by: DBLP, DBLP, Thomson Reuters, EI, SCOPUS, Semantic Scholar and Semantic Scholar.
With the presence of internationally distinguished keynote speakers: Penousal Machado, University of Coimbra, Portugal Carla P. Gomes, Cornell University, United States Michal Pechoucek, Czech Technical University in Prague, Czech Republic Lambert Schomaker, University of Groningen, Netherlands A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, ICAART Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 185 Fax: +351 265 520 186 Web: http://www.icaart.org/ e-mail: icaart.secretariat at insticc.org From icores at insticc.info Thu Jun 21 10:24:21 2018 From: icores at insticc.info (icores at insticc.info) Date: Thu, 21 Jun 2018 10:24:21 +0200 Subject: CFP ICORES 2019 - 8th Int.l Conf. on Operations Research and Enterprise Systems (Prague/Czech Republic) Message-ID: SUBMISSION DEADLINE 8th International Conference on Operations Research and Enterprise Systems Submission Deadline: October 1, 2018 http://www.icores.org/ February 19 - 21, 2019 Prague, Czech Republic. ICORES is organized in 2 major tracks: - Methodologies and Technologies - Applications In Cooperation with: EUROGRAPHICS and AFIG.
Proceedings will be submitted for indexation by: DBLP, DBLP, Thomson Reuters, EI, SCOPUS, Semantic Scholar and Semantic Scholar.
With the presence of internationally distinguished keynote speakers: Federico Della Croce, Politecnico di Torino, Italy Helena Ramalhinho Lourenço, Universitat Pompeu Fabra, Spain Ronald Giachetti, Naval Postgraduate School, United States A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, ICORES Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 185 Fax: +351 265 520 186 Web: http://www.icores.org/ e-mail: icores.secretariat at insticc.org From icpram at insticc.info Thu Jun 21 10:24:21 2018 From: icpram at insticc.info (icpram at insticc.info) Date: Thu, 21 Jun 2018 10:24:21 +0200 Subject: CFP ICPRAM 2019 - 8th Int.l Conf. on Pattern Recognition Applications and Methods (Prague/Czech Republic) Message-ID: SUBMISSION DEADLINE 8th International Conference on Pattern Recognition Applications and Methods Submission Deadline: October 1, 2018 http://www.icpram.org/ February 19 - 21, 2019 Prague, Czech Republic. ICPRAM is organized in 2 major tracks: - Theory and Methods - Applications In Cooperation with: EUROGRAPHICS and AFIG.
Proceedings will be submitted for indexation by: DBLP, DBLP, Thomson Reuters, EI, SCOPUS, Semantic Scholar and Semantic Scholar.
With the presence of internationally distinguished keynote speakers: Linda G. Shapiro, University of Washington, United States Bram van Ginneken, Radboud University Medical Center, Netherlands Michal Irani, Weizmann Institute of Science, Israel Davide Maltoni, University of Bologna, Italy A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, ICPRAM Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 185 Fax: +351 265 520 186 Web: http://www.icpram.org/ e-mail: icpram.secretariat at insticc.org From francesco.osborne at open.ac.uk Thu Jun 21 10:24:21 2018 From: francesco.osborne at open.ac.uk (Francesco.Osborne) Date: Thu, 21 Jun 2018 10:24:21 +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: TBA Doctoral Consortium: 13 November 2018 Chairs Francesco Osborne (KMi, The Open University, UK) Laura Hollink (CWI, Netherlands) -- The Open University is incorporated by Royal Charter (RC 000391), an exempt charity in England & Wales and a charity registered in Scotland (SC 038302). The Open University is authorised and regulated by the Financial Conduct Authority in relation to its secondary activity of credit broking. From blllne2 at unife.it Thu Jun 21 10:24:21 2018 From: blllne2 at unife.it (Elena Bellodi) Date: Thu, 21 Jun 2018 10:24:21 +0200 Subject: [ II DEADLINE EXTENSION ] PLP 2018 - Probabilistic Logic Programming Workshop Message-ID: * Deadline extended to ​3rd​ July, 2018 * - ​----------------------------------------------------- ​ PLP-2018: The Fifth Workshop on Probabilistic Logic Programming A workshop of the 28th International Conference on Inductive Logic Programming 1 September 2018 ​ ​ Ferrara, Italy http://stoics.org.uk/plp/plp2018/ Overview -------- Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus braking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * bioinformatics * semantic web * robotics * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software The above list should be interpreted broadly and is by no means exhaustive. Purpose ------- The fifth edition of PLP is held at the ILP conference in Ferrara. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ILP. In particular, we hope that both (a) other ILP researchers will become interested in using PLP formalisms and (b) that PLP researchers are inspired by other inductive learning approaches. Submissions ----------- Submissions will be managed via EasyChair (https://easychair.org/confere nces/?conf=plp2018). Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-12 pages in length. Works in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Registration to the event ------------ Registrations are open. Visit http://raid2018.unife.it/registration/ for all the information. Publication ----------- Proceedings will be stored permanently in the form of CEUR Workshop Proceedings (http://ceur-ws.org/). They will consist of clearly marked sections corresponding to the different types of submissions accepted. Special Issue of IJAR --------------------- Like for past editions of PLP, we plan to invite all authors to submit a revised version of their paper for a Probabilistic Logic Programming special issue of the IJAR journal. Deadlines --------- Papers due: ​ ​ *3rd* * July* *20​18* Notification to authors: ​ ​ 15th July 2018 Camera ready version due: 27th July 2018 Workshop day: 1st September 2018 (the deadline for all dates is 23:59 BST) Invited Speakers ----------------- Riccardo Zese, University of Ferrara, Italy Angelika Kimmig, Cardiff University, UK *** Co-located Events *** ----------------- The workshop is part of the Relational Artificial Intelligence Days (RAID) organized in Ferrara, which include: Before - ACAI 2018: Advanced Course on Statistical Relational Artificial Intelligence, 27th - 31st August 2018 After - ILP 2018: Inductive Logic Programming Conference, 2nd - 4th September 2018 http://raid2018.unife.it/ Program Chairs -------------- Elena Bellodi (Department of Mathematics and Computer Science, University of Ferrara, Italy) Tom Schrijvers (Department of Computer Science, KU Leuven, Belgium) Programme Committee ------------------- Krysia Broda (Imperial College, UK) Henning Christiansen (Roskilde University, Denmark) Fabio Cozman (University of São Paulo, Brazil) Luke Dickens (University College London, UK) Sriraam Natarajan (The University of Texas at Dallas, USA) Matthias Nickles (National University of Ireland, Ireland) Rolf Schwitter (Macquarie University, Australia) Chung-chieh Shan (Indiana University Bloomington, USA) Senior Committee ---------------- Nicos Angelopoulos (Sanger Institute, UK) Vitor Santos Costa (Universidade do Porto, Portugal) James Cussens (University of York, UK) Arjen Hommersom (Open University, The Netherlands) Angelika Kimmig (Cardiff University, UK) Evelina Lamma (University of Ferrara, Italy) David Poole (University of British Columbia, Canada) Luc De Raedt (KU Leuven, Belgium) Fabrizio Riguzzi (University of Ferrara, Italy) Alessandra Russo (Imperial College, UK) Joost Vennekens (KU Leuven, Belgium) -- Elena Bellodi, Ph.D. Postdoctoral Research Fellow Department ​ of Mathematics and Computer Science​ University of Ferrara, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Jun 21 10:24:21 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 21 Jun 2018 10:24:21 +0200 Subject: TPNC 2018: 2nd call for papers Message-ID: TPNC 2018: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *************************************************************************** 7th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2018   Dublin, Ireland   December 12-14, 2018   Co-organized by:   Natural Computing Research & Applications Group School of Business University College Dublin   Institute for Research Development, Training and Advice Brussels / London   http://tpnc2018.irdta.eu/ ***************************************************************************   AIMS:   TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2018 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.   VENUE:   TPNC 2018 will take place in Dublin, a major historical and contemporary centre for education, arts, administration, economy and industry. The venue will be:   Michael Smurfit Graduate Business School University College Dublin Carysfort Avenue Blackrock Co. Dublin http://www.smurfitschool.ie/   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   artificial chemistry artificial immune systems artificial life cellular automata cognitive computing cognitive engineering cognitive robotics collective behaviour complex systems computational intelligence computational social science computing with words developmental systems DNA computing DNA nanotechnology evolutionary algorithms evolutionary computing evolutionary game theory fractal geometry fuzzy control fuzzy logic fuzzy sets fuzzy systems genetic algorithms genetic programming granular computing heuristics intelligent agents intelligent systems machine intelligence metaheuristics molecular programming multiobjective optimization neural computing neural networks quantum communication quantum computing rough sets self-assembly self-organization social computing social simulation soft computing swarm intelligence synthetic biology   - Applications of natural computing to:   algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence   A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.   STRUCTURE:   TPNC 2018 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   Juergen Branke (University of Warwick), Design of Complex Systems via Simulation-based Optimisation   Hani Hagras (University of Essex), Towards Human Understandable Explainable AI via Type-2 Fuzzy Logic Systems   Georgios Ch. Sirakoulis (Democritus University of Thrace), The Cellular Automata Computing Paradigm Enriched: From Simple Models to Real World Applications   PROGRAMME COMMITTEE:   Andrew Adamatzky (University of the West of England, UK) Wolfgang Banzhaf (Memorial University of Newfoundland, CA) Mauro Birattari (Université Libre de Bruxelles, BE) Christian Blum (Spanish Higher Scientific Research Council, ES) Shyi-Ming Chen (National Taiwan University of Science and Technology, TW) Sung-Bae Cho (Yonsei University, KR) Claude Crépeau (McGill University, CA) Jean-Louis Deneubourg (Université Libre de Bruxelles, BE) Marco Dorigo (Université Libre de Bruxelles, BE) Matthias Ehrgott (Lancaster University, UK) Carlos M. Fonseca (University of Coimbra, PT) Amir H. Gandomi (Stevens Institute of Technology, US) Michel Gendreau (Polytechnique Montréal, CA) Deborah M. Gordon (Stanford University, US) Jin-Kao Hao (University of Angers, FR) Zeng-Guang Hou (Chinese Academy of Sciences, CN) Licheng Jiao (Xidian University, CN) Janusz Kacprzyk (Polish Academy of Sciences, PL) Hamid Reza Karimi (Polytechnic University of Milan, IT) Ljupco Kocarev (Macedonian Academy of Sciences and Arts, MK) Vladik Kreinovich (University of Texas El Paso, US) Rudolf Kruse (University of Magdeburg, DE) José Ignacio Latorre (University of Barcelone, ES) Jing Liang (Zhengzhou University, CN) Gui Lu Long (Tsinghua University, CN) Jianquan Lu (Southeast University, CN) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Luis Martínez (University of Jaén, ES) Ujjwal Maulik (Jadavpur University, IN) José M. Merigó (University of Chile, CL) Nenad Mladenovic (Serbian Academy of Sciences and Arts, RS) Michael O'Neill (University College Dublin, IE) Celso C. Ribeiro (Fluminense Federal University, BR) Frank Schweitzer (Swiss Federal Institute of Technology Zurich, CH) Patrick Siarry (Paris-Est Créteil Val de Marne University, FR) Andrzej Skowron (University of Warsaw, PL) John A. Smolin (IBM Thomas J. Watson Research Center, US) Attila Szolnoki (Hungarian Academy of Sciences, HU) José Luis Verdegay (University of Granada, ES) Fernando J. Von Zuben (State University of Campinas, BR) David Wolpert (Santa Fe Institute, US) Hao Ying (Wayne State University, US) Jacek M. Żurada (University of Louisville, US)   ORGANIZING COMMITTEE:   David Fagan (Dublin, co-chair) Sara Morales (Brussels) Michael O'Neill (Dublin, co-chair) Manuel Jesús Parra Royón (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres) Irene Ward (Dublin)   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).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=tpnc2018   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 Soft Computing (Springer, 2016 JCR impact factor: 2.472) 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://tpnc2018.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: July 29, 2018 Notification of paper acceptance or rejection: September 5, 2018 Final version of the paper for the LNCS proceedings: September 12, 2018 Early registration: September 12, 2018 Late registration: November 28, 2018 Submission to the journal special issue: March 14, 2019   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   UCD – University College Dublin   IRDTA – Institute for Research Development, Training and Advice, Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icca at ijcis.info Thu Jun 21 10:24:21 2018 From: icca at ijcis.info (ICCA CONFERENCE) Date: Thu, 21 Jun 2018 10:24:21 +0200 Subject: ICCA18 Message-ID: *********************************************************************************************************** *********************************************************************************************************** *****************************Apologize for Multiple Reception of this message****************************** *********************************************************************************************************** *********************************************************************************************************** Dear Professor, Please note only few days are remaining for the papers submission deadline for ICCA'18 conference. We will be pleased to welcome you in Beirut - Lebanon in July 25th-26th, 2018. Key people from the Lebanese Ministry of Education and Research will participate in the conference. In additions Deans and Presidents of several Universities have confirmed their attendance. Best regards Eng. Dana Bandock The conference secretary **************C A L L F O R P A P E R S************* PAPER SUBMISSION DEADLINE JUNE 27, 2018 International Conference on Computer and Applications Third Edition July 25-26, 2018, RAMADA PLAZA RAOUCHEH, Beirut, Lebanon EDAS NUMBER 24063 - IEEE CONFERENCE NUMBER 43450 In the Memory of Professor Lotfi A. Zadeh Founder of Fuzzy Logic LATEST NEWS: ICCA'17 Proceedings are Published in IEEE XPLORE AN INDEXED CONFERENCE - SPONSORED BY SPRINGER-VERLAG & IEEE & IEEE COMPUTER SOCIETY (Technical Co-sponsorship) The International Conference on Computer and Applications ICCA 18 is an annual event focusing on state of the art technologies pertaining to digital information, communications and multimedia. It addresses all applications of computing including (but not limited to) connected health, information security, edutainment and serious games, education, grid computing, transportation, social computing, natural language processing, knowledge extraction and reasoning, knowledge extraction, image and pattern processing, virtual reality, cloud computing, robotics, networks algorithms, web engineering, big data analytics, ontology, constraints satisfaction, cryptography and steganography, neural networks, artificial intelligence, biometry and bio-informatics, embedded systems, computer graphics, algorithms and optimization, Internet of things and smart cities. It is an opportunity for researchers and practitioners to meet together and discuss the recent trends in computer applications. Young researchers are highly encouraged to submit their work to the conference. Technical Committee include ------------------------------------- Prof. Patrick S. P. Wang (USA) Dr. Sumaya Al-Maadeed (Qatar) Dr. Justin Varghese (Saudi Arabia) Prof. Mohamed Jemni (Tunisia) Prof. Jinana Faidhi (Canada) Prof. Omara Karam (Dean, Egypt) Prof. Abed Elsadik (Canada) Dr. Saudia Subash, (India) Dr. Nabil Sahli (Oman) Prof. Jianfeng Ma Prof. Amir Hooshang Mazinan (Iran) Prof. Albert Zomaya (Australia) Prof. Hassan Ali Artail (Lebanon) Dr. J. Subash Bose (Saudi Arabia) Prof. Osman Ibrahim (Egypt) Prof. Chadi Assi (Canada) Prof. Ali M. Jaoua (Qatar) Dr. Jalal Akaichi (Saudi Arabia) Prof. Ali Haidar (Lebanon) Prof. Mohammad Khalil (Lebanon) Prof. Adrian Constantin (Vienna) Prof. Wenliang Du (USA) Dr. Majdi Rawashdeh (Jordan) Dr. Mohamad EID (UAE) Prof. Peter Mark Athanas Prof. Sabah Mohammad (Canada) Prof. Youcef Baghdadi (Oman) Prof. Moutaz Saleh (Qatar) Dr. Mohsin Bilal (USA) Prof. Nima Bari (USA) Dr. Khaled Khan (Qatar) Dr. Nader Hossain (Canada) Dr. Daouad Daouad (Jordan) Prof. Samir A. Elsaoud (Egypt) Prof. Mohamed Jemni (Tunisia) Dr. Abdelaali Hassaine (Qatar) Prof. Sadok Benyahia (Tunisia) Dr. Borhan Marzougui (UAE) Prof. Hassan Ali Artail (Lebanon) Prof. Fadi Dornaika (Spain) Prof. Abdul Sadka (UK) Prof. Med Salim Bouhlel (Tunisia) Prof. Ali Elzaart (Lebanon) Prof. A. Vasilakos (Sweden) Prof. Hany Ammar (USA) Dr. Islam Taj-Eddin (Egypt) Dr. Borhan Marzougui (UAE) Dr. Mohamad EID (UAE) Dr. Ahmad S. Mashhour (Bahrain) Prof. ELSayed ElHorbaty (Egypt) Prof. Mudasser F. Wyne (USA) Prof. Abdel Badi Salem (Egypt) Dr. Mohamed M. Yeddes (UAE) Prof. Ezekiel F. Adebiyi (Nigeria) Prof. Wald. Koczkodaj (Canada) Prof. Taleb Obaid (Iraq) Prof. Sebti Foufou (Qatar) Prof. Abdelaziz Bouras (Qatar) Prof. Azlinah Mohamed (Malaysia) Prof. Zakaria Maamar (UAE) Dr. Mohamed A. Mellal (Algeria) Dr. Osama Shata (Qatar) Prof. Arthur Edwards (Colima) Prof. Hossam El Sofany (Egypt) Prof. Arafat Awajan (Jordan) Dr. Khalid AbualSaud (Qatar) ............................. Submission Instructions ------------------------------ Authors are encouraged to submit high quality, original work written in good English that has neither appeared in, nor is under consideration by other conferences or journals. Paper submission is done through EDAS management system. A Special privileges will be given to young researchers (i.e., PhDs, Postdoctoral fellow). Proceedings Publication ------------------------------ All accepted and registered papers will be submitted to be published into IEEE Xplore. Alternatively, the program committee will select the best papers to be published by Springer-Verlag in a book on "Recent Trends in Computer Applications for Sustainable Development" and in a special issue of the journal of Complex & Intelligent Systems (Indexed in Web Of Science). Springer Book ------------------ The best papers will be selected after a second round of peer review for publications in an edited volume by SPRINGER after the conference. Interested authors should update their papers based on the ICCA'18 reviewers comments (research work, contribution, English, etc.). The publication of the accepted paper doesn't require any additional payment from the authors: The conference website: http://www.ijcis.info/icca18ieee.htm Contact: ------------ Eng. Dana Bandock icca at ijcis.info dana.bandock at ijcis.info From marin.lujak at imt-lille-douai.fr Thu Jun 21 10:24:21 2018 From: marin.lujak at imt-lille-douai.fr (Marin Lujak) Date: Thu, 21 Jun 2018 10:24:21 +0200 Subject: [jobs] Postdoc Position in Intelligent Multi-Agent Coordination in Logistics at IMT Lille Douai, France Message-ID: [Apologies for cross-posting] Applications are invited for an 18-month postdoc contract of employment within the Department of Computer Science and Control Systems (DIA) at the Institute Mines Telecom Lille Douai (IMT Lille Douai). The successful applicant will work on the French E-LOGISTICS project in designing and developing real-time coordination technologies and methods for multi-agent systems applied to last-mile logistics. The applicant is expected to have (or be finishing) a PhD Degree or equivalent in Computer Science or a related field. Moreover, the applicant is expected to have a good background in Multi-Agent Systems, while the background in Combinatorial Optimization, Machine Learning, Semantic Technologies and/or Big Data is a plus. The work contract should start as soon as possible and should last for 18 months, with competitive working conditions. Prospective candidates should send (i) motivation letter describing your research experience and interests, (ii) up-to-date CV, and (iii) contact information for 3 references to the following e-mail addresses: stephane.lecoeuche at imt-lille-douai.fr , arnaud.doniec at imt-lille-douai.fr , and marin.lujak at imt-lille-douai as soon as possible and preferably before July 18th, 2018. About IMT Lille Douai IMT Lille Douai was created in the fusion between Ecole des Mines de Douai (Engineering School Douai), a French National Graduate School of Engineering and Telecom Lille. It is the part of IMT Institut Mines Telecom and is the biggest Engineering School on the north of Paris in France. As a leader in education and training in the digital sector, IMT Lille Douai offers numerous research possibilities to foreign students, who now represent more than 30% of the school's population. It is highly selective and provides an excellent academic and multi-cultural student environment. Its excellence was recognized by L’Usine Nouvelle rankings as the Top 20 of all Engineering Schools in France in 2017. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icca at ijcis.info Mon Jun 25 10:44:43 2018 From: icca at ijcis.info (ICCA CONFERENCE) Date: Mon, 25 Jun 2018 10:44:43 +0200 Subject: Call For Papers In-Reply-To: <1177574953.47616638.1529869391787.JavaMail.zimbra@ijcis.info> References: <1177574953.47616638.1529869391787.JavaMail.zimbra@ijcis.info> Message-ID: *********************************************************************************************************** *********************************************************************************************************** *****************************Apologize for Multiple Reception of this message****************************** *********************************************************************************************************** *********************************************************************************************************** ************** F I N A L C A L L F O R P A P E R S************* PAPER SUBMISSION DEADLINE JUNE 27, 2018 International Conference on Computer and Applications Third Edition July 25-26, 2018, RAMADA PLAZA RAOUCHEH, Beirut, Lebanon EDAS NUMBER 24063 - IEEE CONFERENCE NUMBER 43450 In the Memory of Professor Lotfi A. Zadeh Founder of Fuzzy Logic LATEST NEWS: ICCA'17 Proceedings are Published in IEEE XPLORE AN INDEXED CONFERENCE - SPONSORED BY SPRINGER-VERLAG & IEEE & IEEE COMPUTER SOCIETY (Technical Co-sponsorship) The International Conference on Computer and Applications ICCA 18 is an annual event focusing on state of the art technologies pertaining to digital information, communications and multimedia. It addresses all applications of computing including (but not limited to) connected health, information security, edutainment and serious games, education, grid computing, transportation, social computing, natural language processing, knowledge extraction and reasoning, knowledge extraction, image and pattern processing, virtual reality, cloud computing, robotics, networks algorithms, web engineering, big data analytics, ontology, constraints satisfaction, cryptography and steganography, neural networks, artificial intelligence, biometry and bio-informatics, embedded systems, computer graphics, algorithms and optimization, Internet of things and smart cities. It is an opportunity for researchers and practitioners to meet together and discuss the recent trends in computer applications. Young researchers are highly encouraged to submit their work to the conference. Technical Committee include ------------------------------------- Prof. Patrick S. P. Wang (USA) Dr. Sumaya Al-Maadeed (Qatar) Dr. Justin Varghese (Saudi Arabia) Prof. Mohamed Jemni (Tunisia) Prof. Jinana Faidhi (Canada) Prof. Omara Karam (Dean, Egypt) Prof. Abed Elsadik (Canada) Dr. Saudia Subash, (India) Dr. Nabil Sahli (Oman) Prof. Jianfeng Ma Prof. Amir Hooshang Mazinan (Iran) Prof. Albert Zomaya (Australia) Prof. Hassan Ali Artail (Lebanon) Dr. J. Subash Bose (Saudi Arabia) Prof. Osman Ibrahim (Egypt) Prof. Chadi Assi (Canada) Prof. Ali M. Jaoua (Qatar) Dr. Jalal Akaichi (Saudi Arabia) Prof. Ali Haidar (Lebanon) Prof. Mohammad Khalil (Lebanon) Prof. Adrian Constantin (Vienna) Prof. Wenliang Du (USA) Dr. Majdi Rawashdeh (Jordan) Dr. Mohamad EID (UAE) Prof. Peter Mark Athanas Prof. Sabah Mohammad (Canada) Prof. Youcef Baghdadi (Oman) Prof. Moutaz Saleh (Qatar) Dr. Mohsin Bilal (USA) Prof. Nima Bari (USA) Dr. Khaled Khan (Qatar) Dr. Nader Hossain (Canada) Dr. Daouad Daouad (Jordan) Prof. Samir A. Elsaoud (Egypt) Prof. Mohamed Jemni (Tunisia) Dr. Abdelaali Hassaine (Qatar) Prof. Sadok Benyahia (Tunisia) Dr. Borhan Marzougui (UAE) Prof. Hassan Ali Artail (Lebanon) Prof. Fadi Dornaika (Spain) Prof. Abdul Sadka (UK) Prof. Med Salim Bouhlel (Tunisia) Prof. Ali Elzaart (Lebanon) Prof. A. Vasilakos (Sweden) Prof. Hany Ammar (USA) Dr. Islam Taj-Eddin (Egypt) Dr. Borhan Marzougui (UAE) Dr. Mohamad EID (UAE) Dr. Ahmad S. Mashhour (Bahrain) Prof. ELSayed ElHorbaty (Egypt) Prof. Mudasser F. Wyne (USA) Prof. Abdel Badi Salem (Egypt) Dr. Mohamed M. Yeddes (UAE) Prof. Ezekiel F. Adebiyi (Nigeria) Prof. Wald. Koczkodaj (Canada) Prof. Taleb Obaid (Iraq) Prof. Sebti Foufou (Qatar) Prof. Abdelaziz Bouras (Qatar) Prof. Azlinah Mohamed (Malaysia) Prof. Zakaria Maamar (UAE) Dr. Mohamed A. Mellal (Algeria) Dr. Osama Shata (Qatar) Prof. Arthur Edwards (Colima) Prof. Hossam El Sofany (Egypt) Prof. Arafat Awajan (Jordan) Dr. Khalid AbualSaud (Qatar) ............................. Submission Instructions ------------------------------ Authors are encouraged to submit high quality, original work written in good English that has neither appeared in, nor is under consideration by other conferences or journals. Paper submission is done through EDAS management system. A Special privileges will be given to young researchers (i.e., PhDs, Postdoctoral fellow). Proceedings Publication ------------------------------ All accepted and registered papers will be submitted to be published into IEEE Xplore. Alternatively, the program committee will select the best papers to be published by Springer-Verlag in a book on "Recent Trends in Computer Applications for Sustainable Development" and in a special issue of the journal of Complex & Intelligent Systems (Indexed in Web Of Science). Springer Book ------------------ The best papers will be selected after a second round of peer review for publications in an edited volume by SPRINGER after the conference. Interested authors should update their papers based on the ICCA'18 reviewers comments (research work, contribution, English, etc.). The publication of the accepted paper doesn't require any additional payment from the authors: The conference website: http://www.ijcis.info/icca18ieee.htm Contact: ------------ Eng. Dana Bandock icca at ijcis.info dana.bandock at ijcis.info From Nicolas.Troquard at unibz.it Mon Jun 25 10:44:43 2018 From: Nicolas.Troquard at unibz.it (Nicolas Troquard) Date: Mon, 25 Jun 2018 10:44:43 +0200 Subject: [Cfp] BOG: BadOntoloGy workshop @ JOWO @ FOIS Message-ID: FINAL CALL FOR PAPER ============================================= BOG: BadOntoloGy http://bog.inf.unibz.it/ Cape Town, South Africa, 19-21 September 2018. Part of the Joint Ontology Workshops (JOWO 2018), a pool of satellite events held at the 10th International Conference on Formal Ontology in Information Systems (FOIS 2018). Submission deadline: July 2, 2018 (EXTENDED) ============================================= As ontologies are adopted by new practitioners and as they grow in size, bad ontologies become an increasingly common reality. Bad ontologies may be inconsistent, have unwanted consequences, be ridden with anti-patterns. In general, bad ontologies present design mistakes that make their use and maintenance problematic or impossible. We welcome original contributions about all topics related to bad ontologies, including but not limited to: - the cataloguing of ontology symptoms - symptoms detection - diagnostic methods to explain the symptoms - ontology quality measures - principled methods for building bad ontologies - benchmarks of bad ontologies for evaluating repairing methods Submissions: ========== We accept submissions, between 5 and 14 pages, through Easychair at the URL https://easychair.org/conferences/?conf=jowo2018 (select track "BOG : BadOntoloGy"). Publication: ========= All accepted papers will be part of the JOWO proceedings. (See previous edition at the URL http://ceur-ws.org/Vol-2050/). Important dates: ============ - July 2, 2018: submission deadline (EXTENDED) - July 23, 2018: acceptance notification to authors - August 15, 2018: camera ready versions due - September 17-18, 2018: JOWO 2018 - September 19-21, 2018: FOIS 2018 Organizing committee: ================= - Giancarlo Guizzardi, Free University of Bozen-Bolzano - Oliver Kutz, Free University of Bozen-Bolzano - Rafael Peñaloza, Free University of Bozen-Bolzano - Nicolas Troquard, Free University of Bozen-Bolzano Program Committee: ========================= - Claudia d’Amato, University of Bari - Mathieu d'Aquin, Insight Centre for Data Analytics, National University of Ireland Galway - Joāo Paulo Almeida, Federal University of Espirito Santo - Werner Ceusters, SUNY at Buffalo - Oscar Corcho, Universidad Politécnica de Madrid - Ricardo A. Falbo, Federal University of Espirito Santo - Aldo Gangemi, Università di Bologna & CNR-ISTC - Andreas Herzig, IRIT-CNRS - Adila A. Krisnadhi, Wright State University & Universitas Indonesia - Frank Loebe, University of Leipzig - Fabian Neuhaus, University of Magdeburg - Bijan Parsia, The University of Manchester - María Poveda-Villalón, Universidad Politécnica de Madrid - Catherine Roussey, Irstea - Uli Sattler, The University of Manchester - Claudia Schon, Universität Koblenz-Landau - Stefan Schulz, Institute of Medical Informatics, Statistics and Documentation, Graz General Hospital and University Clinics - Amanda Vizedom, Crédit Suisse -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Mon Jun 25 10:44:43 2018 From: serge.autexier at dfki.de (Serge Autexier) Date: Mon, 25 Jun 2018 10:44:43 +0200 Subject: CICM 2018, Call for Contributions to doctoral programme, work-in-progress, posters, demos, tutorial Message-ID: Call for Contributions work-in-progress - posters - demos - tutorials - doctoral programme 11th Conference on Intelligent Computer Mathematics - CICM 2018 - August 13-17, 2018 RISC, Hagenberg, Austria http://www.cicm-conference.org/2018 -------------------------------------------------------------------------------- CICM focuses on theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, libraries, and user interfaces. CICM 2018 will feature 3 invited speakers: * Akiko Aizawa, National Institute of Informatics, University of Tokyo * Bruno Buchberger, Research Institute for Symbolic Computation, Johannes Kepler University * Adri Olde Daalhuis, University of Edinburgh and 6 affiliated workshops: * Computer Algebra in the age of Types * Computer Mathematics in Education - Enlightenment or Incantation * Formal Mathematics for Mathematicians * Formal Verification of Physical Systems * Mathematical Models and Mathematical Software as Research Data * OpenMath Workshop In addition to the above and the formally reviewed program, CICM invites contributions of various forms: 1) Work-in-progress papers (any length up to 15 pages) will be lightly reviewed and, if accepted, presented at the conference and published in a volume of CEUR-WS. 2) Demos and posters (submitted as a summary of a few paragraphs) will be presented during a dedicated session. Submission is open to any topic interesting to the CICM audience. We also encourage authors of accepted papers to supplement their talk with a demo or poster. 3) Tutorials (up to 60 minutes, submitted as a summary of a few paragraphs) will take place in individual rooms during a dedicated session. 4) Doctoral program submissions (2 page abstract + CV) will be presented and discussed during a dedicated session focusing on mentoring. Submission is open to any doctoral student in the CICM area. Student authors of accepted papers are strongly encouraged to additionally submit to the doctoral program. Financial support for doctoral program participants is available. All submissions should be made via easychair at https://easychair.org/conferences/?conf=cicm2018 Notifications are sent on a rolling basis. The last day to submit is July 15. From dana.bandock at ijcis.info Thu Jun 28 10:26:37 2018 From: dana.bandock at ijcis.info (Eng. Dana Bandock) Date: Thu, 28 Jun 2018 10:26:37 +0200 Subject: WCTCS18: CFP In-Reply-To: <550745760.49840471.1530125699811.JavaMail.zimbra@ijcis.info> References: <550745760.49840471.1530125699811.JavaMail.zimbra@ijcis.info> Message-ID: Dear Professor, We invite you to submit your paper to the WCTCS18/ICCA18 and get benefits from the following: 1- Accepted papers will be submitted to IEEE Explore. 2- You can submit a chapter to a scientific book that will be published by Springer-Verlag (Germany). 3- You are eligible to submit a paper to the journal of Complex Systems-Published by SPRINGER (ISI Indexed - Thomson-Clarivate, will have an IF very soon). 3- Meet with top scholars from FRANCE, GERMANY, FINLAND, JAPAN, AUSTRALIA, CANADA, GCC, MIDDLE EAST and LEBANON (who have already accepted and registered papers). 4- Networks with local and international researchers to build strong collaborations. 5- Visit one of the most beautiful country in the region with tasty food and generous hospitality. We are looking forward to meeting you in Beirut in July 24-27, 2018 Best regards Eng. Dana Bandock dana.bandock at ijcis.info *********************************************************************************************************** *********************************************************************************************************** *****************************Apologize for Multiple Reception of this message****************************** *********************************************************************************************************** *********************************************************************************************************** ************** INDEXED WORKSHOP - CONFERENCE ************* PAPERS SUBMISSION DEADLINE JULY 13, 2018 http://www.ijcis.info/WCTCS%2018.pdf The 2018 International Workshop on Computer Tools and Communication Systems (WCTCS'18) - July 26th, 2018 & Special Sessions: Reconfigurable Computing CubeSat Technologies, Mission Analysis and Subsystems Design. JOINTLY WITH International Conference on Computer and Applications Third Edition July 25-26, 2018, RAMADA PLAZA RAOUCHEH, Beirut, Lebanon EDAS NUMBER 24063 - IEEE CONFERENCE NUMBER 43450 In the Memory of Professor Lotfi A. Zadeh Founder of Fuzzy Logic LATEST NEWS: ICCA'17 Proceedings are Published in IEEE XPLORE AN INDEXED CONFERENCE - SPONSORED BY SPRINGER-VERLAG & IEEE & IEEE COMPUTER SOCIETY (Technical Co-sponsorship) The International Conference on Computer and Applications ICCA 18 is an annual event focusing on state of the art technologies pertaining to digital information, communications and multimedia. It addresses all applications of computing including (but not limited to) connected health, information security, edutainment and serious games, education, grid computing, transportation, social computing, natural language processing, knowledge extraction and reasoning, knowledge extraction, image and pattern processing, virtual reality, cloud computing, robotics, networks algorithms, web engineering, big data analytics, ontology, constraints satisfaction, cryptography and steganography, neural networks, artificial intelligence, biometry and bio-informatics, embedded systems, computer graphics, algorithms and optimization, Internet of things and smart cities. It is an opportunity for researchers and practitioners to meet together and discuss the recent trends in computer applications. Young researchers are highly encouraged to submit their work to the conference. Technical Committee include ------------------------------------- Prof. Patrick S. P. Wang (USA) Dr. Sumaya Al-Maadeed (Qatar) Dr. Justin Varghese (Saudi Arabia) Prof. Mohamed Jemni (Tunisia) Prof. Jinana Faidhi (Canada) Prof. Omara Karam (Dean, Egypt) Prof. Abed Elsadik (Canada) Dr. Saudia Subash, (India) Dr. Nabil Sahli (Oman) Prof. Jianfeng Ma Prof. Amir Hooshang Mazinan (Iran) Prof. Albert Zomaya (Australia) Prof. Hassan Ali Artail (Lebanon) Dr. J. Subash Bose (Saudi Arabia) Prof. Osman Ibrahim (Egypt) Prof. Chadi Assi (Canada) Prof. Ali M. Jaoua (Qatar) Dr. Jalal Akaichi (Saudi Arabia) Prof. Ali Haidar (Lebanon) Prof. Mohammad Khalil (Lebanon) Prof. Adrian Constantin (Vienna) Prof. Wenliang Du (USA) Dr. Majdi Rawashdeh (Jordan) Dr. Mohamad EID (UAE) Prof. Peter Mark Athanas Prof. Sabah Mohammad (Canada) Prof. Youcef Baghdadi (Oman) Prof. Moutaz Saleh (Qatar) Dr. Mohsin Bilal (USA) Prof. Nima Bari (USA) Dr. Khaled Khan (Qatar) Dr. Nader Hossain (Canada) Dr. Daouad Daouad (Jordan) Prof. Samir A. Elsaoud (Egypt) Prof. Mohamed Jemni (Tunisia) Dr. Abdelaali Hassaine (Qatar) Prof. Sadok Benyahia (Tunisia) Dr. Borhan Marzougui (UAE) Prof. Hassan Ali Artail (Lebanon) Prof. Fadi Dornaika (Spain) Prof. Abdul Sadka (UK) Prof. Med Salim Bouhlel (Tunisia) Prof. Ali Elzaart (Lebanon) Prof. A. Vasilakos (Sweden) Prof. Hany Ammar (USA) Dr. Islam Taj-Eddin (Egypt) Dr. Borhan Marzougui (UAE) Dr. Mohamad EID (UAE) Dr. Ahmad S. Mashhour (Bahrain) Prof. ELSayed ElHorbaty (Egypt) Prof. Mudasser F. Wyne (USA) Prof. Abdel Badi Salem (Egypt) Dr. Mohamed M. Yeddes (UAE) Prof. Ezekiel F. Adebiyi (Nigeria) Prof. Wald. Koczkodaj (Canada) Prof. Taleb Obaid (Iraq) Prof. Sebti Foufou (Qatar) Prof. Abdelaziz Bouras (Qatar) Prof. Azlinah Mohamed (Malaysia) Prof. Zakaria Maamar (UAE) Dr. Mohamed A. Mellal (Algeria) Dr. Osama Shata (Qatar) Prof. Arthur Edwards (Colima) Prof. Hossam El Sofany (Egypt) Prof. Arafat Awajan (Jordan) Dr. Khalid AbualSaud (Qatar) ............................. Submission Instructions ------------------------------ Authors are encouraged to submit high quality, original work written in good English that has neither appeared in, nor is under consideration by other conferences or journals. Paper submission is done through EDAS management system. A Special privileges will be given to young researchers (i.e., PhDs, Postdoctoral fellow). Proceedings Publication ------------------------------ All accepted and registered papers will be submitted to be published into IEEE Xplore. Alternatively, the program committee will select the best papers to be published by Springer-Verlag in a book on "Recent Trends in Computer Applications for Sustainable Development" and in a special issue of the journal of Complex & Intelligent Systems (Indexed in Web Of Science). Springer Book ------------------ The best papers will be selected after a second round of peer review for publications in an edited volume by SPRINGER after the conference. Interested authors should update their papers based on the ICCA'18 reviewers comments (research work, contribution, English, etc.). The publication of the accepted paper doesn't require any additional payment from the authors: The conference website: http://www.ijcis.info/icca18ieee.htm The workshop website: http://www.ijcis.info/WCTCS%2018.pdf Contact: ------------ Eng. Dana Bandock icca at ijcis.info dana.bandock at ijcis.info From karl.h.hammar at gmail.com Thu Jun 28 10:26:37 2018 From: karl.h.hammar at gmail.com (Karl Hammar) Date: Thu, 28 Jun 2018 10:26:37 +0200 Subject: =?UTF-8?Q?FOIS_2018_Industry_Track=3A_Call_for_Industry_Demonstr?= =?UTF-8?Q?ations_and_Papers_=E2=80=93_Deadline_extended_to_9_July?= Message-ID: We invite submissions from industry on the industrial application of ontologies and semantic technology at this year’s 10th International Conference on Formal Ontology in Information Systems (FOIS 2018); please see http://fois2018.cs.uct.ac.za/ and the Demonstrations and Industry Track page at http://fois2018.cs.uct.ac.za/?page_id=359 Contributions from industry may take the form of demonstrations or formal papers, or a combination of the two. Papers will be published in the proceedings for the Workshop component of FOIS, the Joint Ontology WOrkshops (JOWO 2018). Please see the JOWO page at http://www.iaoa.org/jowo2018/ Formal papers and demonstrations should be related to the topics of interest of the main FOIS conference. The scope for papers and demonstrations includes software for the ontology lifecycle as well as ontology-based software, for example: · Computational environments and prototypes for ontological engineering · Practical ontology projects · Advances in applying ontologies and lessons learned · Late-breaking results of innovative uses of ontology-based and/or ontology engineering techniques · Use of ontology in industrial and business applications · Ontological representations of software engineering techniques and frameworks · Industry and enterprise ontologies and ontology standards e.g. finance, biomedical · Regulatory and compliance applications of ontology · Ontology driven software engineering · Deriving ontology applications from business concept (reference) ontologies · Use of ontologies in machine learning, natural language processing or artificial intelligence, · Use of ontologies in linked data or in Semantic Web based inference processing applications · Findings about the nature and style of ontology needed for a given type of industrial application In line with the scope and audience of FOIS and JOWO, papers and demonstrations should indicate the ontological motivations/principles for the presented technical application or solution. The submission should also answer these questions: · What is the research background and application context of the paper or demonstration? · For whom is it most interesting/useful? (e.g., for business data owners, corporate compliance officers or other corporate stakeholders, ontology researchers, ontology developers, ontology practitioners, and/or for graduate or undergraduate students?) · What are the key technologies used and what are the technical challenges addressed? In addition, these points should be considered: · How does the system, application or infrastructure relate to pre-existing work and what is its contribution to ontology research? · The specific use or uses of ontology in the application (if an application is described) · Whether any given ontology formally describes real things or data about things · The logical formalism in which any given ontology is framed · Relationship of the ontology to application data if any · Ontology development techniques followed · Use or non-use of upper ontologies, along with rationale for same · Ontology quality or assessment measures followed, if any · Any other considerations relating to the application of semantics or model theory in any given ontology e.g. formal ontological stances (realism, nominalism etc.) Formal Papers We invite formal paper submissions relevant to the area of ontology and related information systems and which address the topics of the FOIS Conference. Technical reports on ontology-based software systems (free or commercial), descriptions of completed work, and work in progress are all welcome, as are papers on industry ontologies, standards and regulatory applications. Authors must submit a paper that should be between 6 to 10 pages in the FOIS format (see http://fois2018.cs.uct.ac.za/?page_id=8). All paper submissions will undergo a common review process alongside those for demonstrations. Formal papers for which it is intended that there is also a demonstration component should clearly indicate this in the abstract. Accepted papers will be published in the JOWO Workshop Proceedings. Demonstrations The FOIS 2018 Industry Track Demo Sessions are designed to provide an exciting and highly interactive way to demonstrate ontology research. This element of the Industry Track complements the overall program of the FOIS conference and is an excellent forum to advertise the applicability of results and software, as well as to receive feedback from the international ontology research community. Demonstrations are intended to showcase innovative formal ontology related implementations and technologies in industry. Demonstrations of ontology-based software systems (free or commercial), whether these are completed work or work in progress, are all welcome. We explicitly welcome entries from commercial providers. However, submissions for demonstrations should go beyond pure advertisements of commercial software packages and convey some scientific contribution. Demonstrations should make clear what will be demonstrated and in particular point out what makes the demonstration a novel showcase. Submitters should further specify the following: · What exactly will be demonstrated? · What will attendees of the demonstration learn? · How does the demonstrated system, application or infrastructure relate to pre-existing work? · Why is it a novel showcase in ontology research? Authors must submit an extended abstract for evaluation. This should ideally run to two or three pages and should be at most 5 pages. All demonstration submissions will undergo a common review process alongside formal papers. Authors are strongly encouraged to include in their submission a link to where the demo (live or recorded video) can be found. They should also make clear what exactly will be demonstrated to the participants. Submission Details (Papers and Demonstrations) All submissions must be made electronically via the EasyChair conference submission system at: https://easychair.org/conferences/?conf=jowo2018 (please, select 'Demo-Industry’). Demonstration descriptions and formal papers shall be submitted non-anonymously in PDF format. Formal papers shall follow IOS Press formatting guidelines found at http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/ For demonstrations it is possible to present remotely if necessary, but at least one of the presenters must be a registered participant at the conference. Authors of formal papers are required both to register and to attend and present their paper in person at the FOIS conference. IMPORTANT DATES Industry and Demo Track Submissions due: 9 JULY 2018 Notifications to submitters: 25 JULY 2018 Camera-ready versions due: 15 AUG 2018 Industry and Demonstrations Track Chairs: Mike Bennett (Hypercube Ltd., UK) Key-Sun Choi (KAIST, South Korea) From amal.tawakuli at uni.lu Thu Jun 28 10:26:37 2018 From: amal.tawakuli at uni.lu (Amal TAWAKULI) Date: Thu, 28 Jun 2018 10:26:37 +0200 Subject: Last Call for Applications: The 14th International Reasoning Web Summer School - RW 2018 (Approaching Deadline: June 30, 2018) Message-ID: ==================================================================================================== Last Call for Applications: The 14th International Reasoning Web Summer School - RW 2018 (Approaching Deadline: June 30, 2018) ==================================================================================================== Luxembourg, 22 - 26 Sep 2018 http://2018.ruleml-rr.org/rw.html ==Summary== The Reasoning Web Summer School 2018, as part of the annual series of summer schools, welcomes applications from Master and PhD students as well as from postdoctoral researchers, young researchers, and senior researchers wishing to learn about the research areas of Semantic Web and related sub-areas such as Linked Data, Knowledge Graphs, Ontologies, Rules, and Logic. Participants to the summer school will have the opportunity to attend lectures, to be involved in working groups concerning small case studies or research tasks to focus on and to be presented in a final plenary session, discuss ideas and closely interact with leading researchers in the Semantic Web community and beyond. ==Program== This year’s school program will include the following topics and lecturers: • Information Extraction for Knowledge Graph Construction - Philipp Cimiano, University of Bielefeld • Semantic Data in the Cloud - Steffen Staab and Daniel Janke, University of Koblenz Landau • Machine Learning with and for Knowledge Graphs - Heiko Paulheim, University of Mannheim • Stream Reasoning - Emanuele Della Valle, Politecnico di Milano • Learning and Reasoning in Knowledge Graphs - Daria Stepanova, Max Planck Institute • Normative reasoning for the Semantic Web - Guido Gorvernatori, Commonwealth Scientific and Industrial Research Organisation • Efficient SPARQL queries on very large Knowledge Graphs - Hannah Bast, University of Freiburg • Reasoning at Scale - Jacopo Urbani, Vrije Universiteit Amsterdam • Deep Learning for the Semantic Web - Thomas Lukasiewicz, University of Oxford Although no specific background knowledge is required for attending the summer school, basics of Knowledge Representation and the Semantic Web (including technologies such as RDF, OWL, etc.) will be helpful for benefiting from the contents of the school. Students are also committed to a full participation for the whole duration of the school. ==Registration Fees== The registration fees for attending the RW Summer School will be 300 EUR (if your RW registration is bundled with the one for RuleML-RR) and 350 EUR (if you choose to only register for RW), respectively. This includes all lectures and teaching sessions, lunches, coffee breaks, school proceedings and a social event. ==Student Grants== A limited number of grants will be available for selected students who would otherwise not be able to attend the summer school. As such, please ask for financial support in your application (see “Application” section) only if this is the necessary condition for you to participate in the summer school. ==Application== Students and researchers interested in participating need to submit their application by June 30, 2018 via EasyChair using the following link: https://easychair.org/conferences/?conf=rw2018. The application should consist of a single pdf file that includes: • A single-page CV. • A short motivation letter of up to 300 words stating research interests and reasons for the willingness to attend the summer school. • Necessity for a visa to enter Luxembourg (Yes or No). If required, invitation letters will be set up. • Necessity for financial support. A limited number of travel grants will be provided, please thus ask for financial support only if this is a necessary condition for you to join the school. Please add a rough quote for your estimated expenses (travel + hotel costs) to your application in this case. Notifications about the selection results will be sent by July 15, 2018 For any questions, please contact: rw2018 at easychair.org RW2018 Chairs Claudia d’Amato and Martin Theobald ============================= Schéi Gréiss | Mit Freundlichen Grüßen | Meilleures Salutations | With Kind Regards Amal Tawakuli Doctoral Candidate Big Data and Data Science Research Group - ILIAS Lab - 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 slucas at dsic.upv.es Mon Jun 4 10:02:22 2018 From: slucas at dsic.upv.es (Salvador Lucas) Date: Mon, 4 Jun 2018 10:02:22 +0200 Subject: WST 2018 - Call for Participation (July 18-19, 2018) Message-ID: <86d04791-fb69-64d0-4e88-0cb50a355ba5@dsic.upv.es> ==========================================================================                        WST 2018 - Call for Participation                    16th International Workshop on Termination                               part of FLoC 2018                     July 18-19, 2018, Oxford, United Kingdom                           http://wst2018.webs.upv.es/ ========================================================================== REGISTRATION (June 6th is the last day for early registration!)    http://www.floc2018.org/register/ INVITED SPEAKERS:     James Worrell - University of Oxford        "Termination Checking and Invariant Synthesis for Affine Programs"     Akihisa Yamada - NII Japan        "Towards a Unified Method for Termination" PROGRAMME (see also the list of accepted papers attached below):    https://easychair.org/smart-program/FLoC2018/WST-program.html TERMINATION AND COMPLEXITY COMPETITION: In 2018, the Termination and Complexity Competition (TERCOMP) will run in parallel with FLoC 2018 as part of the FLoC Olympic Games. The results of the competition will be presented and discussed during a special session at WST 2018. ACCEPTED PAPERS: Eric Hehner. Objective and Subjective Specifications. Guillaume Genestier and Frédéric Blanqui. Termination of Lambda-Pi modulo rewriting using the size-change principle Jera Hensel, Florian Frohn and Jürgen Giesl. Complexity Analysis for Bitvector Programs Alfons Geser, Dieter Hofbauer and Johannes Waldmann. Comparing on Strings: Semantic Kachinuki Order Nachum Dershowitz and Jean-Pierre Jouannaud. GPO: A Path Ordering for Graphs Jose Divasón, Sebastiaan Joosten, René Thiemann and Akihisa Yamada. A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving Jonas Schöpf and Christian Sternagel. TTT2 with Termination Templates for Teaching Cristina David, Daniel Kroening and Peter Schrammel. Procedure-Modular Termination Analysis Salvador Lucas. Well-founded models in proofs of termination Aalok Thakkar, Balaji Krishnamurthy and Piyush Gupta. Verification of Rewriting-based Query Optimizers Jesús J. Doménech, Samir Genaim and John P. Gallagher. Control-Flow Refinement via Partial Evaluation Alicia Merayo Corcoba and Samir Genaim. Inference of Linear Upper-Bounds on the Expected Cost by Solving Cost Relations Dieter Hofbauer. Embracing Infinity - Termination of String Rewriting by Almost Linear Weight Functions Carsten Fuhs and Cynthia Kop. Improving Static Dependency Pairs for Higher-Order Rewriting From andrea.orlandini at istc.cnr.it Mon Jun 4 13:26:26 2018 From: andrea.orlandini at istc.cnr.it (AndreA Orlandini) Date: Mon, 4 Jun 2018 13:26:26 +0200 Subject: =?UTF-8?Q?Call_for_Papers_-_GandALF_2018_-_International_Symposium_?= =?UTF-8?Q?on_Games=2c_Automata=2c_Logics=2c_and_Formal_Verification_-_Saarb?= =?UTF-8?Q?r=c3=bccken_-_26-28_September_2018?= In-Reply-To: References: Message-ID: <6faec185-b557-bfa9-c995-409281f5c011@istc.cnr.it> Apologies for multiple postings ***************************************************************************** CALL FOR PAPERS - GandALF 2018 ***************************************************************************** The Ninth International Symposium on Games, Automata, Logics, and Formal Verification will be held in Saarbrücken (Germany) on September 26th - 28th, 2018. https://www.react.uni-saarland.de/gandalf2018/index.html ***************************************************************************** The aim of GandALF 2018 is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following: – Automata Theory – Automated Deduction – Computational aspects of Game Theory – Concurrency and Distributed computation – Decision Procedures – Deductive, Compositional, and Abstraction Techniques for Verification – Finite Model Theory – First-order and Higher-order Logics – Formal Languages – Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems – Games and Automata for Verification – Game Semantics – Logical aspects of Computational Complexity – Logics of Programs – Modal and Temporal Logics – Model Checking – Models of Reactive and Real-Time Systems – Program Analysis and Software Verification – Run-time Verification and Testing – Specification and Verification of Finite and Infinite-state Systems – Synthesis IMPORTANT DATES ****************** – Abstract submission: June 13th, 2018 – Paper submission: June 15th, 2018 – Notification: August 1st, 2018 – Camera-ready: August 17th, 2018 - Conference: September 26th-28th, 2018 PUBLICATIONS ****************** The proceedings will be published by Electronic Proceedings in Theoretical Computer Science. Authors of the best papers will be invited to submit a revised version of their work to a special issue of Information and Computation. The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016 and 2017, the latter two still in progress), and Acta Informatica (GandALF 2015). SUBMISSIONS ****************** Submitted papers should not exceed fourteen (14) pages using EPTCS format (please use the LaTeX style provided athttp://style.eptcs.org), be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF or PS format and will be handled via the EasyChair Conference system at the following address: https://www.easychair.org/conferences/?conf=gandalf2018 INVITED SPEAKERS ****************** Saddek Bensalem (Université Grenoble Alpes): Rigorous System design : The BIP Framework Véronique Bruyère (University of Mons): On the synthesis of equilibria in graph games Kim G. Larsen (Aalborg University): Energy Timed Automata and Games PROGRAM CHAIRS ****************** Martin Zimmermann, Saarland University, Germany AndreA Orlandini, ISTC-CNR, Italy PROGRAM COMMITTEE ****************** Mohamed Faouzi Atig (Uppsala University, Sweden) Christel Baier (TU Dresden, Germany) Patricia Bouyer (LSV, CNRS & ENS Cachan, Université Paris Saclay, France) Laura Bozzelli (Università degli Studi di Napoli Federico II, Italy) Thomas Colcombet (CNRS, France) Dario Della Monica (Universidad Complutense de Madrid, Spain) Jie-Hong Roland Jiang (National Taiwan University, Taiwan) Ranko Lazic (The University of Warwick, United Kingdom) Jérôme Leroux (CNRS, France) Radu Mardare (Aalborg University, Denmark) Angelo Montanari (University of Udine, Italy) Andrea Orlandini (co-chair, National Research Council of Italy (ISTC-CNR), Italy) Gennaro Parlato (University of Southampton, United Kingdom) Doron Peled (Bar Ilan University, Israel) Mickael Randour (UMONS - Université de Mons, Belgium) Mark Reynolds (The University of Western Australia, Australia) Pietro Sala (University of Verona, Italy) Pierluigi San Pietro (Politecnico di Milano, Italy) B Srivathsan (Chennai Mathematical Institute, India) Martin Zimmermann (co-chair, Saarland University, Germany) STEERING COMMITTEE ****************** Luca Aceto (Reykjavik University, Iceland) Javier Esparza (University of Munich, Germany) Salvatore La Torre (University of Salerno, Italy) Angelo Montanari (University of Udine, Italy) Mimmo Parente (University of Salerno, Italy) Wolfgang Thomas (Aachen University, Germany) -- --------------------------------------------------------------------- AndreA Orlandini PhD National Research Council of Italy Institute for Cognitive Science and Technology Phone: +39-06-44595-223 E-mail:andrea.orlandini at istc.cnr.it Fax: +39-06-44595-243 Url:http://www.istc.cnr.it/group/pst --------------------------------------------------------------------- Me, the one and only person that never leaves me alone! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From blllne2 at unife.it Mon Jun 4 15:40:58 2018 From: blllne2 at unife.it (Elena Bellodi) Date: Mon, 4 Jun 2018 15:40:58 +0200 Subject: [CFP] Deadline approaching || PLP-2018: Workshop on Probabilistic Logic Programming Message-ID: PLP-2018: The Fifth Workshop on Probabilistic Logic Programming ----------------------------------------------------------------------------------------- A workshop of the 28th International Conference on Inductive Logic Programming 1 September 2018 Ferrara, Italy http://stoics.org.uk/plp/plp2018/ Overview -------- Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus braking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * bioinformatics * semantic web * robotics * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software The above list should be interpreted broadly and is by no means exhaustive. Purpose ------- The fifth edition of PLP is held at the ILP conference in Ferrara. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ILP. In particular, we hope that both (a) other ILP researchers will become interested in using PLP formalisms and (b) that PLP researchers are inspired by other inductive learning approaches. Submissions ----------- Submissions will be managed via EasyChair ( https://easychair.org/conferences/?conf=plp2018). Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-12 pages in length. Works in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Registration to the event ------------ Registrations are open. Visit http://raid2018.unife.it/registration/ for all the information. Publication ----------- Proceedings will be stored permanently in the form of CEUR Workshop Proceedings (http://ceur-ws.org/). They will consist of clearly marked sections corresponding to the different types of submissions accepted. Special Issue of IJAR --------------------- Like for past editions of PLP, we plan to invite all authors to submit a revised version of their paper for a Probabilistic Logic Programming special issue of the IJAR journal. Deadlines --------- Papers due: *11th June 2018* Notification to authors: 11th July 2018 Camera ready version due: 27th July 2018 Workshop day: 1st September 2018 (the deadline for all dates is 23:59 BST) Invited Speakers ----------------- Riccardo Zese, University of Ferrara, Italy Angelika Kimmig, Cardiff University, UK *** Co-located Events *** ----------------- The workshop is part of the Relational Artificial Intelligence Days (RAID) organized in Ferrara, which include: Before - ACAI 2018: Advanced Course on Statistical Relational Artificial Intelligence, 27th - 31st August 2018 After - ILP 2018: Inductive Logic Programming Conference, 2nd - 4th September 2018 http://raid2018.unife.it/ Program Chairs -------------- Elena Bellodi (Department of Mathematics and Computer Science, University of Ferrara, Italy) Tom Schrijvers (Department of Computer Science, KU Leuven, Belgium) Programme Committee ------------------- Krysia Broda (Imperial College, UK) Henning Christiansen (Roskilde University, Denmark) Fabio Cozman (University of São Paulo, Brazil) Luke Dickens (University College London, UK) Sriraam Natarajan (The University of Texas at Dallas, USA) Matthias Nickles (National University of Ireland, Ireland) Rolf Schwitter (Macquarie University, Australia) Chung-chieh Shan (Indiana University Bloomington, USA) Senior Committee ---------------- Nicos Angelopoulos (Sanger Institute, UK) Vitor Santos Costa (Universidade do Porto, Portugal) James Cussens (University of York, UK) Arjen Hommersom (Open University, The Netherlands) Angelika Kimmig (Cardiff University, UK) Evelina Lamma (University of Ferrara, Italy) David Poole (University of British Columbia, Canada) Luc De Raedt (KU Leuven, Belgium) Fabrizio Riguzzi (University of Ferrara, Italy) Alessandra Russo (Imperial College, UK) Joost Vennekens (KU Leuven, Belgium) -- Elena Bellodi, Ph.D. Postdoctoral Research Fellow Department ​ of Mathematics and Computer Science​ University of Ferrara, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Mon Jun 4 20:55:42 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 04 Jun 2018 20:55:42 +0200 Subject: AlCoB 2018: call for participation Message-ID: <545102060a010b050654590005075a0453540c070b08545105005c545206505306590c0601080302040557050f0357@grlmc_ip-zone_com-6> AlCoB 2018: call for participation********************************************************************************** 5th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2018 Hong Kong June 25-26, 2018 Co-organized by: The Hong Kong Polytechnic University Department of Computing Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/AlCoB2018/ ********************************************************************************** PROGRAM Monday, June 25 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Tatsuya Akutsu. Algorithms for Analysis and Control of Boolean Networks - Invited lecture 10:30 - 11:00    Coffee break 11:00 - 12:15 Ricson Cheng, Matthew Dohlen, Chen Pekker, Gabriel Quiroz, Jincheng Wang, Ran Libeskind-Hadas and Yi-Chieh Wu. Reconciliation Feasibility of Non-binary Gene Trees under a Duplication-Loss-Coalescence Model Andreas Dwi Maryanto Gunawan. Solving the Tree Containment Problem for Reticulation-visible Networks in Linear Time Leo van Iersel, Remie Janssen, Mark Jones, Yukihiro Murakami and Norbert Zeh. Polynomial-time Algorithms for Phylogenetic Inference Problems 12:15 - 13:45    Lunch 13:45 - 14:35    Ben Raphael. Algorithms for Cancer Evolution - Invited lecture 14:35 - 14:50    Break and Group photo 14:50 - 16:05 Alexsandro Alexandrino, Carla Lintzmayer and Zanoni Dias. Approximation Algorithms for Sorting Permutations by Fragmentation-weighted Operations Klairton Brito, Andre Rodrigues Oliveira, Ulisses Dias and Zanoni Dias. Heuristics for the Sorting Signed Permutations by Reversals and Transpositions Problem Guilherme Miranda, Carla Negri Lintzmayer and Zanoni Dias. Sorting Permutations by Limited-size Operations 16:05 - 16:20    Coffee break 16:20 - 17:10    Poster presentations 17:15 - 19:15    Touristic visit --- Tuesday, June 26 09:00 - 09:50    Bin Ma. De Novo Protein Sequencing with Mass Spectrometry and Its Medical Applications - Invited lecture 09:50 - 10:20    Coffee break 10:20 - 11:35 Michael Sadovsky, Sergey Tsarev and Maria Senashova. Fast Algorithm for Vernier Search of Long Repeats in DNA Sequences with Bounded Error Density Eugen Czeizler, Alexandru Popa and Victor Popescu. Fixed Parameter Algorithms and Hardness of Approximation Results for the Structural Target Controllability Problem Chenqi Mou. Symbolic Detection of Steady States of Autonomous Differential Biological Systems by Transformation into Block Triangular Form 11:35 - 11:50    Break 11:50 - 12:40 Jordi Silvestre-Ryan and Ian Holmes. Consensus Decoding of Recurrent Neural Network Basecallers Ezra B. Wijaya, Erwandy Lim, David Agustriawan, Chien-Hung Huang, Jeffrey J.P. Tsai and Ka-Lok Ng. Utilizing Imputation and Meta-analysis to Identify DNA-methylation-mediated MicroRNAs in Ovarian Cancer 12:40 - 12:50    Closing 12:50 -        Lunch -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From david_g_mitchell at sfu.ca Tue Jun 5 09:54:53 2018 From: david_g_mitchell at sfu.ca (David Mitchell) Date: Tue, 5 Jun 2018 07:54:53 +0000 Subject: LaSh Workshop on Logic and Search in Oxford - Call for Participation Message-ID: <7894ad7d049042958ec95db16d52d7ba@sfu.ca> You are invited to participate in the 2018 LaSh Workshop on Logic and Search, July 18 at FLoC in Oxford. The program consists of the following sessions and talks: Practical MSO Model Checking Bruno Courcelle, LaBri, CNRS - Monadic Second-Order Model Checking with Fly-Automata Lukas Holik, Brno Univeristy of Technology - Lazy Automata Techniques for WS1S Peter Rossmanith, RWTH Aachen - Courcelle's Theorem - A Game-Theoretic Approach Dmitriy Traytel, ETH Zurich - A Derivative-Based Procedure for WS1S Frameworks Session: Robert Giegerich, Bielefeld - Declarative Dynamic Programming with Inverse Coupled Rewrite Systems Eugenia Ternovska, SFU - A Logic of Information Flows Modelling and Solving Session: Alan Frisch, York - ESSENCE, A Language For Specifying Combinatorial Problems Osgur Akgun, St. Andrews - Automatic Constraint Modelling with Conjure Johannes Fichte, Vienna University of Technology - Solving #SAT by Parameterized Algortithms: Exploiting Small Treewidth Sabine Bauer, Ludwig Maximilian University of Munich - Decidable Linear Tree Constraints Early Registration ends on June 6. Details may be seen at the LaSh 2018 web page: http://www.logicandsearch.org/LaSh2018/ or in the FLoC Live Program: https://easychair.org/smart-program/FLoC2018/LaSh-program.html The LaSh Workshops on Logic and Search are devoted to the study, from the point of view of logic, of declarative languages for defining or representing search and optimization problems, problem-solving systems that use these languages, and related issues regarding reductions, search algorithms, problem transformations, and others. For details of previous meetings, please see the LaSh home page: http://www.logicandsearch.org/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From amal.tawakuli at uni.lu Tue Jun 5 13:56:27 2018 From: amal.tawakuli at uni.lu (Amal TAWAKULI) Date: Tue, 5 Jun 2018 11:56:27 +0000 Subject: Fourth Call for Applications: The 14th International Reasoning Web Summer School - RW 2018 Message-ID: <901566a5c66e4b5f80a252b3ab599008@uni.lu> ========================================================================================== Fourth Call for Applications: The 14th International Reasoning Web Summer School - RW 2018 ========================================================================================== Luxembourg, 22 - 26 Sep 2018 http://2018.ruleml-rr.org/rw.html ==Summary== The Reasoning Web Summer School 2018, as part of the annual series of summer schools, welcomes applications from Master and PhD students as well as from postdoctoral researchers, young researchers, and senior researchers wishing to learn about the research areas of Semantic Web and related sub-areas such as Linked Data, Knowledge Graphs, Ontologies, Rules, and Logic. Participants to the summer school will have the opportunity to attend lectures, to be involved in working groups concerning small case studies or research tasks to focus on and to be presented in a final plenary session, discuss ideas and closely interact with leading researchers in the Semantic Web community and beyond. ==Program== This year’s school program will include the following topics and lecturers: • Information Extraction for Knowledge Graph Construction - Philipp Cimiano, University of Bielefeld • Semantic Data in the Cloud - Steffen Staab and Daniel Janke, University of Koblenz Landau • Machine Learning with and for Knowledge Graphs - Heiko Paulheim, University of Mannheim • Stream Reasoning - Emanuele Della Valle, Politecnico di Milano • Learning and Reasoning in Knowledge Graphs - Daria Stepanova, Max Planck Institute • Normative reasoning for the Semantic Web - Guido Gorvernatori, Commonwealth Scientific and Industrial Research Organisation • Efficient SPARQL queries on very large Knowledge Graphs - Hannah Bast, University of Freiburg • Reasoning at Scale - Jacopo Urbani, Vrije Universiteit Amsterdam • Deep Learning for the Semantic Web - Thomas Lukasiewicz, University of Oxford Although no specific background knowledge is required for attending the summer school, basics of Knowledge Representation and the Semantic Web (including technologies such as RDF, OWL, etc.) will be helpful for benefiting from the contents of the school. Students are also committed to a full participation for the whole duration of the school. ==Registration Fees== The registration fees for attending the RW Summer School will be 300 EUR (if your RW registration is bundled with the one for RuleML-RR) and 350 EUR (if you choose to only register for RW), respectively. This includes all lectures and teaching sessions, lunches, coffee breaks, school proceedings and a social event. ==Student Grants== A limited number of grants will be available for selected students who would otherwise not be able to attend the summer school. As such, please ask for financial support in your application (see “Application” section) only if this is the necessary condition for you to participate in the summer school. ==Application== Students and researchers interested in participating need to submit their application by June 30, 2018 via EasyChair using the following link: https://easychair.org/conferences/?conf=rw2018. The application should consist of a single pdf file that includes: • A single-page CV. • A short motivation letter of up to 300 words stating research interests and reasons for the willingness to attend the summer school. • Necessity for a visa to enter Luxembourg (Yes or No). If required, invitation letters will be set up. • Necessity for financial support. A limited number of travel grants will be provided, please thus ask for financial support only if this is a necessary condition for you to join the school. Please add a rough quote for your estimated expenses (travel + hotel costs) to your application in this case. Notifications about the selection results will be sent by July 15, 2018 For any questions, please contact: rw2018 at easychair.org RW2018 Chairs Claudia d’Amato and Martin Theobald =============================================================== Schéi Gréiss | Mit Freundlichen Grüßen | Meilleures Salutations | With Kind Regards Amal Tawakuli Doctoral Candidate Big Data and Data Science Research Group - ILIAS Lab - 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 groppe at ifis.uni-luebeck.de Tue Jun 5 15:02:27 2018 From: groppe at ifis.uni-luebeck.de (Sven Groppe) Date: Tue, 5 Jun 2018 15:02:27 +0200 Subject: CfP: International Workshop on Web Data Processing & Reasoning @ KI 2018 Message-ID: <5da859766bdbf93e767dd773eec880e8@www.ifis.uni-luebeck.de> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + CALL FOR PAPERS + International Workshop on Web Data Processing & Reasoning (WDPAR 2018) in conjunction with KI 2018 + September 25, 2018, Berlin, Germany + + Submission Deadline: June 25, 2018 (Hard Deadline/Final Extension) + + Web: http://www.ifis.uni-luebeck.de/~groppe/wdpar ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ** Aims of the Workshop ** The workshop on Web Data Processing and Reasoning (WDPAR) aims to provide a forum for scientists, researchers and practitioners to discuss and exchange ideas, new techniques, approaches and applications related to the web, e.g. approaches for and applications utilizing web data (i.e., data collected from the web, available in the web or being about the web), execution environments in the web and advanced web applications. A special focus of the workshop is on intelligent web data processing via reasoning for data exchange, data integration and advanced applications. ** Types of Papers ** The workshop solicits high-quality papers of different categories: - Research Papers propose new approaches, theories or techniques related to Web Data Processing and Reasoning including new data structures, algorithms and whole systems. They should make substantial theoretical and empirical contributions to the research field. - Experiments and Analysis Papers focus on the experimental evaluation of existing approaches including data structures and algorithms and bring new insights through the analysis of these experiments. Results of Experiments and Analysis Papers can be, for example, showing benefits of well-known approaches in new settings and environments, opening new research problems by demonstrating unexpected behavior or phenomena, or comparing a set of traditional approaches in an experimental survey. - Application Papers report new applications and practical experiences on applications related to the web. Application Papers might describe how to apply Web technologies to specific application domains with web-scale data demands like social networks, web search, e-business, collaborative environments, e-learning, medical informatics, bioinformatics and geographic information system. We especially welcome Application Papers describing applications utilizing reasoning about web data in a new way. - Vision Papers identify emerging or future research issues and directions, and describe new research visions for web data processing and reasoning. The new visions will potentially have great impacts on society. ** Topics of Interest ** Topics relevant to this workshop include, but are NOT limited to: - Optimization of Web Data Processing - Applications of Web Data - Reasoning on Web Data - Advanced and New Forms of Web Applications - Web Streams - Continuous Queries and Reasoning - Stream Pipelines - Fault-Tolerant Stream Processing - Optimized Processing of a web-scale number of queries - Semantic Web - Applications - Semantic Big Data - Reasoning - Semantic Data and Query Processing - Linked Data - Integration of Heterogeneous Linked Data - Real-World Applications - Statistics and Visualizations - Quality - Ranking Techniques - Provenance - Mining and Consuming Linked Data - Distributed Processing of Data in the Web - Distributed Reasoning - Distributed Rule Processing - Distributed Query Processing - Fault-Tolerant Processing - Processing of and Reasoning about Web Services - Orchestration - New protocols for web services - Rule Processing of Web Data - Evaluation of different Learning Approaches in the context of Web Data and Web Applications: unsupervised learning, supervised or reinforced learning, transfer learning, zero-shot learning, adversarial networks, and deep probabilistic models - Knowledge Representation and Retrieval of Web Data - Web Data exploration and visualization - Web Data Mining - Learning for Web Database Tuning and Web Query Optimization - Case studies of AI-Accelerated Web Workloads - Web Protocols and Standards - AI-Enabled Web Data Integration Strategies - Web Security and Privacy - Web Trust - Natural Language Processing for Web Applications - Queries and Chatbot Interfaces - Result Summarization - Evaluating Quality of Approximate Results from AI-Enabled Web Queries ** Workshop Chairs ** - Sven Groppe, University of Luebeck, Germany - Christophe Cruz, Universite de Bourgogne Franche-Comte, France ** Program Committee ** - Mithun Balakrishna, Lymba Corporation, USA - Tanya Braun, University of Luebeck, Germany - Josue Balandrano Coronel, The University of Texas at Austin, USA - Marcel Gehrke, University of Luebeck, Germany - Hasan Ali Khattak, Comsats Institute of Information Technology, Islamabad, Pakistan - Hariharan Krishnaswamy, DELL Technologies, USA - Gianfranco E. Modoni, National Research Council of Italy - Bari, Italy - Oezguer L. Oezcep, University of Luebeck, Germany - Nuno Silva, Instituto Superior de Engenharia do Porto, Portugal ** Important Dates ** Submission (extended): June 25, 2018 Notification: July 9, 2018 Workshop: September 25, 2018 ** Submission ** Authors are invited to submit original, unpublished research papers that are not being considered for publication in any other forum. Accepted papers will be published online in the Open Journal of Web Technologies. OJWT is an open access journal, and the proceedings will hence be highly visible to all interested readers. Manuscripts should be formatted using the templates of the Open Journal of Web Technologies. Research papers as well as experiments and analysis papers should have between 6 and 15 pages, application papers between 6 and 12 pages and vision papers between 4 and 12 pages. We describe manuscript preparation and submission procedure at http://www.ifis.uni-luebeck.de/~groppe/wdpar/submit +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Our apologies if you receive multiple copies of this call +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ From patrizi at diag.uniroma1.it Thu Jun 7 15:26:21 2018 From: patrizi at diag.uniroma1.it (Fabio Patrizi) Date: Thu, 7 Jun 2018 15:26:21 +0200 Subject: ACTIONS@KR18: CALL FOR CONTRIBUTIONS Message-ID: **************************************************************************** CALL FOR CONTRIBUTIONS Reasoning about Actions and Processes: Highlights of Recent Advances ACTIONS at KR18 http://www.diag.uniroma1.it/~kr18actions/ Held as part of KR 2018, October 28 & 29, 2018, Tempe, Arizona (USA) **************************************************************************** The field of Reasoning about actions, a fundamental area of KR, is expanding to incorporate research from a wide range of other areas of AI and CS. In recent years, we have moved from standard forms of reasoning, such as action sequence executabilty and future effects (projection), to more sophisticated forms of reasoning which share many commonalities with other fields of CS, from verification in Formal Methods to process modeling and analysis in Business Process Management. Moreover, connections with planning are being extended to other forms of synthesis, such as generalized planning, MDPs/RL, supervisory control, reactive synthesis, etc. Papers from these various areas are dispersed across many conferences, which makes it difficult to follow the general direction of the field. Drawing upon a successful format followed in other fields (e.g., http://highlights-conference.org), the workshop aims to offer a wide picture of the latest research in the field and a chance to meet everybody in the community. Goal This workshop aims to bring together researchers working in a variety of areas of AI and CS -- including KR, planning, RL, verification, and synthesis -- to foster these emerging directions of reasoning about actions and processes. Format We invite submissions for presentations, not papers. We welcome a presentation on your favorite recent technical work, position paper, or open problems with clear and concise formulations of current challenges. The contributed talks will be 15-minutes long. All sessions will be designed to promote interaction between the attendees by holding frequent discussion periods for analysis and critique. The workshop will also have panel sessions on important emerging issues for the field and longer keynote talks. Submissions Submissions should have a single main author, who will be the speaker, and each speaker can have no more than one submission. Each submission must be at most 2-pages long and may refer to joint work with other collaborators to be credited in the presentation. There are no formal proceedings and we encourage submissions of work presented or submitted elsewhere (no copyright transfer is required, only permission to post the abstract on the workshop site). Topics of interest include but are not limited to: Reasoning about actions Representing and reasoning about processes Hierarchical abstractions of action models Generalized planning Verification and Synthesis of high level agent behaviors Agent behavior control Logic-based representation, action theories, temporal logics, logics of programs Stochastic representation, MDPs and Non-Markovian Decision Processes Learning dynamic behaviors, RL Partial observability, incomplete information, uncertainty Reasoning about beliefs, goals and intentions First-person vs third person view Plan, intention, and activity recognition Transparency, predictability and accountability of agents’ behaviors Both theoretical and application-oriented contributions are welcome. Papers can be submitted via EasyChair: https://easychair.org/conferences/?conf=actionskr18 Important Dates Submission July 21, 2018 Notification August 25, 2018 Workshop October 28 & 29, 2018 Invited Talks To be announced. Registration For registration details see KR 2018 website. Organizing Committee Giuseppe De Giacomo University of Rome "La Sapienza" Andreas Herzig IRIT, CNRS, Université Paul Sabatier Yves Lesperance York University Marco Montali Free University Bozen-Bolzano Fabio Patrizi University of Rome "La Sapienza" Sasha Rubin University of Naples "Federico II" Siddharth Srivastava Arizona State University -- Fabio Patrizi Dipartimento di Ingegneria informatica, automatica e gestionale "A. Ruberti" Sapienza Università di Roma Room B214 Via Ariosto, 25 - 00185 Rome, Italy Phone: +39 06 77274073 Home Page: www.dis.uniroma1.it/~patrizi -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Fri Jun 8 02:38:41 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 7 Jun 2018 20:38:41 -0400 (EDT) Subject: 23rd International Conference on Engineering Complex Systems - Call for Papers Message-ID: <20180608003841.534C4170110C@cs.miami.edu> ------------------------------------------------------------ CALL FOR PAPERS The 23rd International Conference on Engineering Complex Systems ICECCS 2018 12-14 December 2018 - Melbourne, Australia http://formal-analysis.com/iceccs/2018/ ------------------------------------------------------------ Important Dates (AoE time) Abstract submission: 15th June 2018 Paper submission: 22nd June 2018 Notification of acceptance: 22th August 2018 Camera ready copy due: 21th September 2018 We have seen a rapid rising emphasis on design, implement and manage complex computer systems which are present in every aspect of human activities, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and health care. The complex computer systems are frequently distributed over heterogeneous networks and processing large amount data. Complexity arises from many factors, including the dynamic environments and scenarios these systems operate in; demanding and sometimes conflicting requirements in functionality, efficiency, scalability, security, dependability, inoperability and adaptability; as well as the large variation in development methodology, programming languages and implementation details. The key issues in these systems include performance, real-time behavior, fault tolerance, security, adaptability, development time and cost, and long life concerns. The goal of this conference is to bring together industrial, academic, and government experts, from a variety of application domains and software disciplines, to discuss how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. The scope of interest includes long-term research issues; near-term requirements and challenges; established complex systems; emerging promising tools; and retrospective and prospective reflections of research and development into complex systems. Scope and Topics Authors are invited to submit papers describing original, unpublished research results, case studies and tools. Papers are solicited in all areas related to complex computer-based systems, including the causes of complexity and means of avoiding, controlling, or coping with complexity. Topic areas include, but are not limited to: Requirement specification and analysis Verification and validation Security and privacy of complex systems Model-driven development Reverse engineering and refactoring Software architecture Big Data Management Ambient intelligence, pervasive computing Ubiquitous computing, context awareness, sensor networks Design by contract Agile methods Safety-critical & fault-tolerant architectures Adaptive, self-managing and multi-agent systems Real-time, hybrid and embedded systems Systems of systems Cyber-physical systems and Internet of Things (IoT) Tools and tool integration Industrial case studies Applications to SAT/SMT techniques to analysis of complex systems Different kinds of contributions are sought, including novel research, lessons learned, experience reports, and discussions of practical problems faced by industry and user domains. The ultimate goal is to build a rich and comprehensive conference program that can fit the interests and needs of different classes of attendees: professionals, researchers, managers, and students. A program goal is to organize several sessions that include both academic and industrial papers on a given topic and culminate panels to discuss relationships between industrial and academic research. Full Papers Full papers are divided into two categories: Technical Papers and Experience Reports. The papers submitted to both categories will be reviewed by program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and experience reports should present practical projects carried out in industry, and reflect on the lessons learnt from them. Short Papers Short paper submissions describe early-stage, ongoing or PhD research. All short papers will be reviewed by program committee members, and accepted short papers will be published in the conference proceedings. Paper Submissions Submitted manuscripts should be in English and formatted in the style of the double-column CPS format. Full papers should not exceed 10 pages, and short papers should not exceed 4 pages, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately, without review. Please prepare your manuscripts in accordance to the CPS guidelines: http://www.ieee.org/conferences_events/conferences/publishing/templates.html. We invite all prospective authors to submit their manuscripts via the ICECCS'18 portal, hosted on EasyChair https://easychair.org/conferences/?conf=iceccs2018 Conference Proceedings The conference proceedings will be published by Conference Publishing Services (CPS) and submitted for EI indexing. Organization: General Chair: Yuan-Fang Li (Monash University, Australia) Program Chairs: Anthony Lin (Oxford, UK) and Jun Sun (Singapore University of Technology and Design, Singapore) Workshop/Tutorial chair: Marcel Boehme (Monash University, Australia) Local chair: Xin Xia (Monash University, Australia) Web Chair: Hou Zhe and Hadrien Bride (Griffith University) Publicity Chairs: Etienne Andre (University Paris 13, France) and Huibiao Zhu (East China Normal University, China) Steering Committee: Jin Song Dong, Griffith University and NUS, Australia Mike Hinchey, University of Limerick, Ireland Mark Lawford, McMaster University, Canada Xiaohong Li, Tianjin University, China Shaoying Liu, Hosei University, Japan Andrew Martin, University of Oxford, UK Roy Sterritt, University of Ulster, USA Jing Sun, The University of Auckland, New Zealand Program committee: Parosh Aziz Abdulla, Uppsala University, Sweden Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France Etienne Andre, University Paris 13, France Luciano Baresi, Politecnico di Milano, Italy Sergiy Bogomolov, Australian National University, Australia Yu-Fang Chen, National Taiwan University, Taiwan Wei-Ngan Chin, National University of Singapore, Singapore Duc Hiep Chu, Google LLC, United States Sebastien Gerard, CEA LIST, France Felicita Di Giandomenico, Institute ISTI, Italy Matthew Hague, Royal Holloway University of London, United Kingdom Jane Hillston, The University of Edinburgh, United Kingdom Atsushi Igarashi, Kyoto University, Japan Kung-Kiu Lau, University of Manchester, United Kingdom Yuan-Fang Li, Monash University, Australia Yang Liu, Nanyang Technological University, Singapore David Lo, Singapore Management University, Singapore Gerald Luettgen, University of Bamberg, Germany Xiaoxing Ma, Nanjing University, China Tiziana Margaria, Lero, Ireland Dominique Mery, University de Lorraine, France Paolo Nesi, University of Florence, Italy Jun Pang, University of Luxembourg, Luxembourg David Parker, University of Birmingham, United Kingdom Christian Prehofer, Technical University of Munich, Germany Philipp Ruemmer, Uppsala University, Sweden Bernhard Rumpe, RWTH Aachen University, Germany Max Schaefer, Semmle Ltd., United Kingdom Maria Spichkova, RMIT University, Australia Kenji Taguchi, CAV Technologies Co., Ltd., Japan Kenji Tei, National Institute of Informatics, Japan Cong Tian, Xidian University, China Tullio Vardanega, University of Padua, Italy Hai H. Wang, University of Aston, United Kingdom Hironori Washizaki, Waseda University, Japan Zhilin Wu, Chinese Academy of Sciences, China Huibiao Zhu, East China Normal University, China A PDF version of this call for papers is available at: http://formal-analysis.com/iceccs/2018/cfp.pdf Feel free to print and/or share! From blllne2 at unife.it Fri Jun 8 10:17:15 2018 From: blllne2 at unife.it (Elena Bellodi) Date: Fri, 8 Jun 2018 10:17:15 +0200 Subject: [DEADLINE EXTENSION] PLP 2018 - Probabilistic Logic Programming Workshop Message-ID: *​ ​Deadline extended to ​2​1​st​ June, 2018 * ​ ​ - ​----------------------------------------------------- ​ PLP-2018: The Fifth Workshop on Probabilistic Logic Programming A workshop of the 28th International Conference on Inductive Logic Programming 1 September 2018 ​ ​ Ferrara, Italy http://stoics.org.uk/plp/plp2018/ Overview -------- Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus braking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * bioinformatics * semantic web * robotics * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software The above list should be interpreted broadly and is by no means exhaustive. Purpose ------- The fifth edition of PLP is held at the ILP conference in Ferrara. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ILP. In particular, we hope that both (a) other ILP researchers will become interested in using PLP formalisms and (b) that PLP researchers are inspired by other inductive learning approaches. Submissions ----------- Submissions will be managed via EasyChair ( https://easychair.org/conferences/?conf=plp2018). Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-12 pages in length. Works in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Registration to the event ------------ Registrations are open. Visit http://raid2018.unife.it/registration/ for all the information. Publication ----------- Proceedings will be stored permanently in the form of CEUR Workshop Proceedings (http://ceur-ws.org/). They will consist of clearly marked sections corresponding to the different types of submissions accepted. Special Issue of IJAR --------------------- Like for past editions of PLP, we plan to invite all authors to submit a revised version of their paper for a Probabilistic Logic Programming special issue of the IJAR journal. Deadlines --------- Papers due: ​ ​ 11th June 2018 ​ --> *21st June* *20​18* Notification to authors: ​ ​ 11th July 2018 Camera ready version due: 27th July 2018 Workshop day: 1st September 2018 (the deadline for all dates is 23:59 BST) Invited Speakers ----------------- Riccardo Zese, University of Ferrara, Italy Angelika Kimmig, Cardiff University, UK *** Co-located Events *** ----------------- The workshop is part of the Relational Artificial Intelligence Days (RAID) organized in Ferrara, which include: Before - ACAI 2018: Advanced Course on Statistical Relational Artificial Intelligence, 27th - 31st August 2018 After - ILP 2018: Inductive Logic Programming Conference, 2nd - 4th September 2018 http://raid2018.unife.it/ Program Chairs -------------- Elena Bellodi (Department of Mathematics and Computer Science, University of Ferrara, Italy) Tom Schrijvers (Department of Computer Science, KU Leuven, Belgium) Programme Committee ------------------- Krysia Broda (Imperial College, UK) Henning Christiansen (Roskilde University, Denmark) Fabio Cozman (University of São Paulo, Brazil) Luke Dickens (University College London, UK) Sriraam Natarajan (The University of Texas at Dallas, USA) Matthias Nickles (National University of Ireland, Ireland) Rolf Schwitter (Macquarie University, Australia) Chung-chieh Shan (Indiana University Bloomington, USA) Senior Committee ---------------- Nicos Angelopoulos (Sanger Institute, UK) Vitor Santos Costa (Universidade do Porto, Portugal) James Cussens (University of York, UK) Arjen Hommersom (Open University, The Netherlands) Angelika Kimmig (Cardiff University, UK) Evelina Lamma (University of Ferrara, Italy) David Poole (University of British Columbia, Canada) Luc De Raedt (KU Leuven, Belgium) Fabrizio Riguzzi (University of Ferrara, Italy) Alessandra Russo (Imperial College, UK) Joost Vennekens (KU Leuven, Belgium) ​ ​ -- Elena Bellodi, Ph.D. Postdoctoral Research Fellow Department ​ of Mathematics and Computer Science​ University of Ferrara, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabrizio.riguzzi at unife.it Fri Jun 8 11:27:35 2018 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Fri, 08 Jun 2018 02:27:35 -0700 (PDT) Subject: ACAI 2018 - Early Registration Deadline Approaching Message-ID: <5b1a4c07.1c69fb81.5d9ab.ddd0@mx.google.com> The early registration deadline (June th) is approaching. http://acai2018.unife.it/ Important dates: 15 June early registration deadline 27 July late registration deadline The Advanced Course on AI (ACAI) is a specialized course in Artificial Intelligence sponsored by EurAI. The 2018 edition will be in Ferrara, Italy on August 27th - 31st 2018, save the date! The theme of the 2018 ACAI School is Statistical Relational Artificial Intelligence (StarAI). StarAI is an emerging area that combines logical (or relational) AI and probabilistic (or statistical) AI. Relational AI deals very effectively with complex domains involving many and even a varying number of entities connected by complex relationships, while statistical AI manages well the uncertainty that derives from incomplete and noisy descriptions of the domains. Both fields achieved significant successes over the last thirty years but evolved largely independently until about fifteen years ago, when the potential originating from their combination started to emerge. Statistical Relational Learning (SRL) was proposed for exploiting relational descriptions in statistical machine learning methods from the field of graphical models. Meanwhile, the scope of SRL was significantly advanced in StarAI to cover all forms of reasoning and models of AI. StarAI is nowadays an ample area encompassing many and diverse approaches. The school includes courses on foundations of relational and statistical AI together with advanced courses on the new StarAI approaches and applications. The talks will provide theoretical background, practical examples and real applications where StarAI can play a role. Hands-on classes will be also organized where the main StarAI techniques will be applied to 'small' examples. The list of confirmed lectures is: Luc De Raedt: Probabilistic Programming Paolo Frasconi: Kernels and deep networks for structured data Sebastian Riedel: Differentiable Program Interpreters Artur d'Avila Garcez: Neural-symbolic learning Marco Lippi: Applications of Statistical Relational Artificial Intelligence Sriraam Natarajan: Human-in-the-loop Statistical Relational Learning Mathias Niepert and Alberto Garc�a Dur�n: Multi-Modal Neural Link Prediction Kristian Kersting: Lifted Statistical Machine Learning Fabrizio Riguzzi: Probabilistic Inductive Logic Programming Vibhav Gogate: Lifted Systematic Search and Sampling David Poole: TBA Up to date information can be found at the event website http://acai2018.unife.it/. ACAI 2018 is part of the Relational Artificial Intelligence Days 2018 (RAID 2018, http://raid2018.unife.it/ ), which will be held in Ferrara, Italy, on August 27th 2018 - September 4th 2018. RAID includes, besides ACAI 2018, also: - PLP 2018: 5th Workshop on Probabilistic Logic Programming, September 1st 2018, http://stoics.org.uk/plp/plp2018/ ; - ILP 2018: 28th International Conference on Inductive Logic Programming, September 2nd - 4th 2018, http://ilp2018.unife.it/ . Probabilistic Logic Programming (PLP) addresses the need to reason about relational domains under uncertainty arising in a variety of application domains. PLP is part of a wider current interest in probabilistic programming. PLP 2018 aims to bring together researchers in all aspects of probabilistic logic programming, including theoretical work, system implementations and applications. The ILP conference series, started in 1991, is the premier international forum for learning from structured or semi-structured relational data. Originally focusing on the induction of logic programs, over the years it has significantly expanded and 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. RAID 2018 offers a very good opportunity to get up to date with the latest trends in logical and relational AI. We really hope to meet you in Ferrara! 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 Elena Bellodi, University of Ferrara, Italy Tom Schrijvers, KU Leuven, Belgium Riccardo Zese, University of Ferrara, Italy From CISP-BMEI-cfp at ecnu.edu.cn Sun Jun 10 09:39:54 2018 From: CISP-BMEI-cfp at ecnu.edu.cn (=?utf-8?B?5p2O6ICB5biI?=) Date: Sun, 10 Jun 2018 15:39:54 +0800 Subject: CISP-BMEI 2018 Informatics Track, Deadline 10 July, Beijing, China [Submitting to IEEE Xplore/Scopus/EI Compendex/ISI] 2018/6/10 15:40:06 hbc Message-ID: <20180610154006120474@ecnu.edu.cn> Dear Colleague, We cordially invite you to submit a paper to the Informatics track in the upcoming 2018 11th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics (CISP-BMEI 2018), to be held in Beijing, China, 13-15 October 2018. Topics include (but are not limited to): Communications and Networking, Software Engineering, Data Engineering, Intelligent Computing, Information Security, Automation and Control, etc.. Beijing is the capital of the People’s Republic of China, the country’s center for politics, culture, international exchanges and technological innovation. It is home to numerous historical sites and cultural landmarks, including the Forbidden City, the Great Wall, the Temple of Heaven, the Summer Palace, the Ming Tombs, all of which have been listed as UNESCO World Heritages. Traditional local art performances and crafts, such as Peking Opera and Cloisonné, are also renowned throughout the world. As with past CISP-BMEI conferences, all papers in conference proceedings will be submitted to EI Compendex, Scopus, CPCI (ISI/ISTP), and IEEE Xplore. Substantially extended versions of best papers will be considered for publication in a CISP-BMEI special issue of a SCI-indexed journal. CISP-BMEI 2018 is technically co-sponsored by the IEEE Engineering in Medicine and Biology Society (pending). The past conference proceedings from 2008 to 2015 appeared as 2 separate (but co-located) conferences, i.e., CISP and BMEI. CISP-BMEI has become a single conference since 2016. CISP-BMEI 2018 is a premier international forum for scientists and researchers to present the state of the art of multimedia, signal processing, biomedical engineering and informatics. The registration fee of US*D480 includes proceedings, lunches, dinners, banquet, coffee breaks, and all technical sessions. To promote international participation of researchers from outside the country/region where the conference is held (i.e., China’s mainland), researchers outside of China’s mainland are encouraged to propose invited sessions. The first author of each paper in an invited session must not be affiliated with an organization in China’s mainland. All papers in the invited sessions can be marked as "Invited Paper". The organizer(s) for each invited session with at least 6 registered papers will jointly enjoy an honorarium of US*D 500. Invited session organizers will solicit submissions, conduct reviews and recommend accept/reject decisions on the submitted papers. Invited session organizers will be able to set their own submission and review schedules, as long as a list of recommended papers is determined by 18 August 2018. Each invited session proposal should include: (1) the name, bio, and contact information of each organizer of the invited session; (2) the title and a short synopsis of the invited session. Please send your proposal to cisp-bmei at mail.buct.edu.cn For more information, visit the conference web page: http://research.cs.buct.edu.cn:8080/CISP2018 If you have any questions after visiting the conference web page, please email the secretariat at cisp-bmei at mail.buct.edu.cn Join us at this major event in historical Beijing !!! Organizing Committee cisp-bmei at mail.buct.edu.cn P.S.: Kindly forward to your colleagues and students in your school/department. If you wish to unsubscribe, in which case we apologize, please reply with " unsubscribe event at tu-clausthal.de " in your email subject. Thanks. 2018/6/10 15:40:06 b6k6ok -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From thimm at uni-koblenz.de Mon Jun 11 09:51:21 2018 From: thimm at uni-koblenz.de (Matthias Thimm) Date: Mon, 11 Jun 2018 09:51:21 +0200 Subject: Final CfP: 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and 6th Workshop KI & Kognition (KIK-2018) Message-ID: =========================================================================================== **Final** Call for Papers =========================================================================================== 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) 6th Workshop KI & Kognition (KIK-2018): Formal and Cognitive Reasoning Workshop at the 41st German Conference on Artificial Intelligence (KI-2018) September 24-28, 2018, Berlin, Germany Organized by the FG Wissensrepräsentation und Schließen and FG Kognition of the GI http://www.fernuni-hagen.de/wbs/dkbkik2018 Description =========================================================================================== Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. We put a special focus on papers from both fields that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal as well as experimental or heuristic issues. Previous events of the Workshop on "Dynamics of Knowledge and Belief" (DKB) took place in Osnabrück (2007), Paderborn (2009), Berlin (2011), and Koblenz (2013), previous editions of the Workshop on "KI & Kognition" (KIK) took place in Saarbrücken (2012), Koblenz (2013), and Stuttgart (2014), and joint workshops took place in Dresden (2015) and Dortmund (2017). We welcome original papers on the following and any related topics: * Action and change * Agents and multiagent systems * Analogical reasoning * Argumentation theories * Belief revision and belief update * Cognitive modeling and empirical data * Common sense and defeasible reasoning * Decision theory and preferences * Inductive reasoning and cognition * Knowledge representation in theory and practice * Learning and knowledge discovery in data * Nonmonotonic and uncertain reasoning * Ontologies and description logics * Probabilistic approaches of reasoning * Syllogistic reasoning Keynote Speaker =========================================================================================== Tom Gordon (http://www.tfgordon.de) Ute Schmid (https://www.uni-bamberg.de/en/cogsys/schmid/) Important Dates =========================================================================================== Deadline for Submission: June 22, 2018 Notification of Authors: August 08, 2018 Camera-ready Paper: August 22, 2018 Workshop: September 25, 2018 Submission =========================================================================================== Papers should be formatted according to the Springer LNCS format. The length of each paper should not exceed 8-12 pages. All papers must be written in English and submitted in PDF format via the EasyChair system (https://www.easychair.org/conferences/?conf=dkbkik2018). Organizers =========================================================================================== * Christoph Beierle (FernUniversität in Hagen, Germany) * Gabriele Kern-Isberner (TU Dortmund, Germany) * Marco Ragni (Universität Freiburg, Germany) * Frieder Stolzenburg (Hochschule Harz, Germany) * Matthias Thimm (Universität Koblenz-Landau, Germany) Program Committee =========================================================================================== * Thomas Barkowsky (Universität Bremen, Germany) * Gerd Brewka (Universität Leipzig, Germany) * Emmanuelle-Anna Dietz (TU Dresden, Germany) * Christian Eichhorn (TU Dortmund, Germany) * Christian Freksa (Universität Bremen, Germany) * Lupita Estefania Gazzo Castaneda (University of Giessen, Germany) * Ulrich Furbach (Universität Koblenz-Landau, Germany) * Andreas Herzig (Universite Paul Sabatier, Toulouse, France) * Steffen Hölldobler (TU Dresden, Germany) * Haythem O. Ismail (German University in Cairo, Egypt) * Manfred Kerber (University of Birmingham, UK) * Ute Schmid (Universität Bamberg, Germany) * Claudia Schon (Universität Koblenz-Landau, Germany) * Holger Schultheis (Universität Bremen, Germany) * Paul Thorn (Universität Düsseldorf, Germany) * Hans Tompits (TU Wien, Austria) * Christoph Wernhard (Technische Universität Dresden, Germany) * Stefan Woltran (TU Wien, Austria) =========================================================================================== ******************************************************************************** PD Matthias Thimm Institute for Web Science and Technologies (WeST) Universität Koblenz, Germany Tel.: +49-261-287-2715 http://west.uni-koblenz.de/ -- http://www.mthimm.de From schwindn at gmail.com Wed Jun 13 02:45:18 2018 From: schwindn at gmail.com (Nicolas Schwind) Date: Wed, 13 Jun 2018 09:45:18 +0900 Subject: 2nd Call for Papers [deadline July 1st] - MIWAI 2018 @Hanoi, Vietnam, 18-20 Nov. 2018 Message-ID: *Apologies for cross-posting.* Conference: MIWAI 2018, the 12th Multi-disciplinary International Conference on Artificial Intelligence Venue: Hanoi, Vietnam Dates: November 18-20th, 2018 Website: https://khamreang.msu.ac.th/miwai18/index.html *Submission deadline: July 1, 2018 (11:59PM UTC-10)* The 12th Multi-disciplinary International Conference on Artificial Intelligence (MIWAI 2018) will be held in Hanoi, Vietnam, 18-20th November 2018. The theme for this year's event is "Intelligent World". The main objective of the conference is to present the latest research and results of scientists related to AI topics. MIWAI 2018 provides opportunities for the delegates to exchange new ideas and establish future collaborations. This year the conference is organized by Mahasarakham University, with association of Vietnam Academy of Science and Technology and University of Science and Technology of Hanoi, Vietnam. MIWAI aims to promote AI research in both theoretical and applied research addressing real-world applications. We encourage researchers to submit their unpublished papers in the following areas, but not limited to: - Theoretical Foundation: Cognitive Science; Computational Philosophy; Game Theory; Graphical Models; Knowledge Representation and Reasoning; Logic; Fuzzy Logic; Multi-agent Systems; Neurosciences; Probabilistic Reasoning; Qualitative Reasoning; Uncertainty. - Cognitive Computing: Affective Computing; Computer Vision; Natural Language Processing; Self-aware Systems; Speech Recognition; Social Cognition - Computational Intelligence: Artificial Intelligence; Deep Learning; Evolutionary Computing; Machine Learning; Pattern Recognition; Planning and Scheduling; Social Computing; Swarm Intelligence - AI Applications: Ambient Intelligence; Big Data Analysis; Biometrics; Bioinformatics; Brain Machine Interface; Chatbots; Creative Computing; Decision Support Systems; E-commerce; Energy Management; Health Assessment; Industrial Applications of AI; Intelligent Information Systems; Knowledge Management; Telecommunications and Web Services; Security and Privacy Management; Surveillance; Spam Filtering; Software Engineering; Social Networking Security; Semantic Web; Robotics; Recommender Systems; Sport and Rehabilitation; Virtual Reality & Augmented Reality. ------------------------------ Submission Guidelines: ------------------------------ MIWAI 2018 accepts both research and application papers (8-14 pages, oral presentation). All submissions will go through a double-blinded peer-review process. Paper selection will be on the basis of technical quality, relevance, significance, and clarity. Each paper should be written using the Springer-Verlag LNCS style. The authors' names and institutions should not appear in the paper. Springer-Verlag author instructions are available at: http://www.springer.com/lncs ------------------------------ Important Dates: ------------------------------ Conference dates: November 18-20, 2018 *Submission deadline: July 1, 2018 (11:59PM UTC-10)* Notification release: August 5, 2018 Camera-ready and early bird registration due: August 20, 2018. ------------------------------ Publication: ------------------------------ This year's proceedings will be published by Springer in LNAI, a topical subseries of LNCS focusing on artificial intelligence (Indexed in the ISI Conference Proceedings Citation Index, Scopus, EI Engineering Index, Google Scholar, Springerlink, DBLP, etc.). ------------------------------ CFP for Special Session: ------------------------------ The organizing committee can accept proposals for Special Session from authors that want to contribute to MIWAI2018. Please submit your special session proposals if you wish to solicit participants by email to the Program co-chairs at . Proposals should include: - Special Session title - A short description (2-3 lines) & covered topics - Session organizer(s) and chair(s) - List of speakers (when available) The deadline for special session proposals is on April 30, 2018 (11:59PM UTC-10). ------------------------------ Committee: ------------------------------ - Honorary Advisor: Sujin Butdisuwan, Mahasarakham University, Thailand - Steering Committee: Arun Agarwal, University of Hyderabad, India Rajkumar Buyya, University of Melbourne, Australia Patrick Doherty, University of Linkoping, Sweden Rina Dechter, University of California, Irive, USA Leon Van Der Torre, University of Luxembourg, Luxembourg Peter Haddawy, Mahidol University, Thailand James F. Peters, University of Manitoba, Canada Jérôme Lang, University Paris-Dauphine, France Somnuk Phon-Amnuaisuk, UTB, Brunei C Raghavendra Rao, University of Hyderabad, India Srinivasan Ramani, IIIT Bangalore, India - Conveners: Richard Booth, Cardiff University, UK Chattrakul Sombattheera, Mahasarakham University, Thailand - General Co-Chair: Duc Dung Nguyen, Institute of Information Technology, Vietnam Academy of Science and Technology, Vietnam Rainer Malaka, University of Bremen, Germany - Program Co-Chair: Manasawee Kaenampornpan, Mahasarakham University, Thailand Nicolas Schwind, National Institute of Advanced Industrial Science and Technology, Japan - Organizing Co-Chair: Phatthanaphong Chomphuwiset, Mahasarakham University, Thailand Khachakrit Liemthaisong, Mahasarakham University, Thailand - Local Co-Chair: Quang Doan Nhat Luong Chi Mai - Publicity Co-Chair: Olarik Surinta, Mahasarakham University, Thailand Supakit Nootyaskool, King Mongkut's Institute of Technology, Thailand - Finance Co-Chair: Rapeeporn Chamchong, Mahasarakham University, Thailand - Webmaster: Chaya Hiruncharoenvate, Mahasarakham University, Thailand Panich Sudkhot, Mahasarakham University, Thailand ------------------------------ Contact: ------------------------------ All questions about submissions should be emailed to . -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: