From Cassia.Trojahn at irit.fr Mon Jul 2 10:21:00 2018 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Mon, 02 Jul 2018 10:21:00 +0200 Subject: EKAW 2018 =?utf-8?q?=3A?= Call for papers =?utf-8?q?=28deadline?= =?utf-8?q?_extension=29?= In-Reply-To: <5a71-5acdb680-205-347a7c80@198200425> Message-ID: [Apologies for cross-postings] Due to multiple requests, the paper submission deadline for EKAW 2018 has been EXTENDED to July 12th 2018. Please notice that the abstract deadline remains unchanged on Monday July 2nd 2018. ** 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 12th, 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 irdta at irdta.eu Mon Jul 2 10:21:00 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 02 Jul 2018 10:21:00 +0200 Subject: DeepLearn 2018: regular registration July 20 Message-ID: DeepLearn 2018: regular registration July 20*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/   ***************************************************************   --- Regular registration deadline: July 20, 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:   Paolo Frasconi (University of Florence), Bilevel Programming for Hyperparameter Optimization and Meta-Learning   Marco Gori (University of Siena), Motion Supervision in Visual Environments   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   Marco Gori (University of Siena), Constrained Learning and Reasoning with Constraints   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 el-ghazali.talbi at univ-lille1.fr Mon Jul 2 10:21:00 2018 From: el-ghazali.talbi at univ-lille1.fr (El-ghazali Talbi) Date: Mon, 02 Jul 2018 10:21:00 +0200 Subject: OLA'2019 @Thailand Message-ID: Apologies for cross-posting. Appreciate if you can distribute this CFP to your network. ****************************************************************************************                           OLA'2019 International Conference on Optimization and Learning: Challenges and Applications                           29-31 Jan 2019                          Bangkok Thailand                 http://ola2019.sciencesconf.org/ **************************************************************************************** OLA is a conference focusing on the future challenges of optimization and learning methods and their applications. The conference OLA'2019 will provide an opportunity to the international research community in optimization and learning to discuss recent research results and to develop new ideas and collaborations in a friendly and relaxed atmosphere. OLA'2019 welcomes presentations that cover any aspects of optimization and learning research such as optimization for learning, learning for optimization, optimization and learning under uncertainty, new high-impact applications, parameter tuning, 4th industrial revolution, hybridization issues, optimization-simulation, meta-modeling, high-performance computing, parallel and distributed optimization and learning, surrogate modeling, multi-objective optimization ... Submission papers: We will accept submissions in two different formats: -       S1: Extended abstracts of work-in-progress and position papers of a maximum of 3 pages -       S2: Original research contributions of a maximum of 10 pages Important dates: =============== Submission deadline     Oct 19 2018 Notification of acceptance     Nov  9, 2018 Proceedings: Accepted papers in categories S1 and S2 will be published in the proceedings that will be available at the conference. In addition, a post-conference indexed Springer book and special issue of Journal (ITOR International Transaction on Operational Research) is planned to be published. Participants will be invited to submit extended versions of their work for consideration. -- ******************************************** OLA'2019 Int. Conference on Optimization and Learning 29-31 Jan 2019, Bangkok, Thailand http://ola2019.sciencesconf.org ******************************************** Prof. El-ghazali TALBI Polytech'Lille, University Lille - INRIA - CNRS From james_delgrande at sfu.ca Thu Jul 5 09:54:22 2018 From: james_delgrande at sfu.ca (James Delgrande) Date: Thu, 05 Jul 2018 09:54:22 +0200 Subject: Postdoc in Knowledge Representation at Simon Fraser University, Canada Message-ID: Post-Doctoral Fellowship Knowledge Representation and Reasoning School of Computing Science Simon Fraser University British Columbia, Canada Applications are invited for a Postdoctoral Fellowship in the area of Knowledge Representation and Reasoning at the School of Computing Science, Simon Fraser University, in the project "Belief Change in Knowledge-Based Agents". The successful applicant(s) will collaborate with Prof. James Delgrande and other members of the Computational Logic Lab, and will conduct research in one or more of the following areas: 1. Theory and Application of Belief Change Specific projects include incorporating relevance in belief change, foundations of revision in first-order logic, and revision in fragments of first-order logic, specifically dealing with description logics and their application in medical ontologies. 2. Defeasible Reasoning One project addresses nonmonotonic reasoning in a description logic, while a second concerns defeasible deontic reasoning 3. Reasoning in a Theory of Action with Unreliable Actions and Sensors This project involves suitably extending the situation calculus, ideally incorporating the theory in a robot control language (presumably extending GOLOG). Applicants must have a Ph.D. in Computer Science or a related area at the time they take up the position. As well, applicants must have a strong background in knowledge representation and (ideally) in logic. The position is for one year and can be extended for up to two additional years. The starting time is flexible but ideally will begin Fall 2018 or early in 2019. Review of applications begins immediately until the position is filled. The annual stipend for these postdocs is not less than Cdn $40,000 (inclusive of benefits). The candidate may teach a one-semester course for an additional (approximately) $10,000 stipend. Travel funds will also be available. Applications should include a curriculum vitae, statement of research interests, names and email addresses of 3 referees, and recent publication samples. Please send applications to James Delgrande . Simon Fraser University is situated on top of Burnaby Mountain in metropolitan Vancouver, one of the most livable cities in the world. It affords easy access to a wide variety of outdoor recreations, as well as the cultural richness of Vancouver. The School of Computing Science has consistently ranked among the top computer science departments in Canada and internationally. The School currently has 52 faculty members and approximately 250 Ph.D. and M.Sc. students. For more information about the School, see www.cs.sfu.ca. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From blllne2 at unife.it Thu Jul 5 09:54:22 2018 From: blllne2 at unife.it (Elena Bellodi) Date: Thu, 05 Jul 2018 09:54:22 +0200 Subject: [ III DEADLINE EXTENSION ] PLP 2018 - Probabilistic Logic Programming Workshop Message-ID: *Deadline extended to ​26th 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: ​ ​ 26th July 20​18 Notification to authors: ​ ​ 6 th August 2018 Camera ready version due: 1 6 th August 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 karl.h.hammar at gmail.com Thu Jul 5 09:54:22 2018 From: karl.h.hammar at gmail.com (Karl Hammar) Date: Thu, 05 Jul 2018 09:54:22 +0200 Subject: [CfP] ISAO 2018 - Call for Participation Message-ID: ISAO 2018 - CALL FOR PARTICIPATION: ****Early registration deadline: 15 July***** The International Association for Ontology and its Applications (IAOA) and the University of Cape Town, South Africa are proud to announce the Fourth Interdisciplinary School on Applied Ontology (ISAO) September 10-15, 2018 -- Cape Town, South Africa http://isao2018.cs.uct.ac.za/ Description ----------- World-class experts in different disciplines (Applied Ontology, Biomedical Ontology, Logic and Philosophy, Conceptual Modeling, Semantic Technologies) will meet for a week with students, researchers and practitioners, to offer courses in complementary aspects of Applied Ontology. The school will be a full immersion experience in ontology, where lecturers engage in open discussions with each other, interact with the participants, and supervise micro-projects addressing Applied Ontology problems. ISAO will take place in the beautiful city of Cape Town, South Africa, and is open to students, researchers and practitioners. Previous schools were held in * 2016 - Bozen/Bolzano, Italy http://isao2016.inf.unibz.it/ * 2014 - Vitoria, Brazil http://iaoa.org/isao2014/ * 2012 - Trento, Italy http://iaoa.org/isao2012/ Program ------- The following lecturers are already confirmed: * Maureen Donnelly, University of Buffalo, New York, USA (Mereology, Location, and Time) * Stefan Schulz, Medical University of Graz, Austria (Biomedical Ontology) * Peter Simons, Trinity College Dublin and University of Salzburg * Arina Britz, Stellenbosch University, South Africa (First-order Logic and Description Logics) * Maria Keet, University of Cape Town, South Africa (Semantics and Conceptual Modelling) Registration ------------ Registration to the school is on a first-come first-served basis. Check the registration page for details: http://isao2018.cs.uct.ac.za/registration.html Reduced registration fees are available for IAOA members. For information on membership, benefits and how to join, please see: http://iaoa.org/membership/membership.html Organization ------------ International Association for Ontology and its Applications (IAOA) http://iaoa.org/ Department of Computer Science, University of Cape Town, South Africa https://www.cs.uct.ac.za/ General chair: Aldo Gangemi Programme chair: Antony Galton Local organisation: Maria Keet, with Zubeida Khan, Zola Mahlaza, and Michael Harrison Contact: Website: http://isao2018.cs.uct.ac.za/ General inquiries: aldo.gangemi at unibo.it local inquiries: mkeet at cs.uct.ac.za From karl.h.hammar at gmail.com Thu Jul 5 09:54:22 2018 From: karl.h.hammar at gmail.com (Karl Hammar) Date: Thu, 05 Jul 2018 09:54:22 +0200 Subject: FOIS 2018: call for registration Message-ID: =================================== The list of FOIS keynotes and talks is now available. Early registration deadline: July 15. ----------------------------------- 10th International Conference on Formal Ontology in Information Systems (FOIS) 2018, September 17-21, 2018, Cape Town, South Africa http://fois2018.cs.uct.ac.za/ http://www.iaoa.org/fois/2018.html ----------------------------------- SCOPE The advent of complex information systems which rely on robust, coherent and formal representations of their subject matter, led in the last 25 years to the exploitation of ontological analysis and ontology-based representation. The systematic study of such representations, their axiomatics, their corresponding reasoning techniques and their relations to cognition and reality, are at the center of the modern discipline of formal ontology. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA, website: http://iaoa.org/), which is a non-profit organization aiming to promote interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general. ----------------------------------- KEYNOTES Peter Simons, Trinity College Dublin and University of Salzburg Arianna Betti, University of Amsterdam, Netherlands Alessandro Oltramari, Bosch Research and Technology Center, Pittsburgh ----------------------------------- FULL PAPERS Adrien Barton, Olivier Grenier, Ludger Jansen and Jean-Francois Ethier. The identity of dispositions Boyan Brodaric and Michael Gruninger. Particular Types and Particular Dependence Roberta Ferrario, Claudio Masolo and Daniele Porello. Organisations as complex variable embodiments Antony Galton. The Treatment of Time in Upper Ontologies Aldo Gangemi, Mehwish Alam and Valentina Presutti. Amnestic Forgery: an Ontology of Conceptual Metaphors Michael Gruninger, Bahar Aameri, Carmen Chui, Torsten Hahmann and Yi Ru. Foundational Ontologies for Units of Measure Torsten Hahmann. On Decomposition Operations in Multidimensional Qualitative Space Henriette Harmse, Katarina Britz and Aurona Gerber. Informative Armstrong RDF Datasets for n-ary Relations C. Maria Keet and Langa Khumalo. On the ontology of part-whole relations in Zulu language and culture João Rafael Moraes Nicola and Giancarlo Guizzardi. A formal characterization of individual determinancy and universal sortality in the Unified Foundational Ontology Claudio Masolo and Daniele Porello. A compact representation of complex concepts Claudio Masolo and Laure Vieu. Graph-Based Approaches to Structural Universals and Complex States of Affairs Joao Moreira, Luis Ferreira Pires, Marten van Sinderen and Laura M. Daniele. SAREF4health: IoT standard-based ontology-driven healthcare systems Tiago Prince Sales, Daniele Porello, Giancarlo Guizzardi, John Mylopoulos and Nicola Guarino. Ontological Foundations of Competition SHORT PAPERS Pawel Garbacz, Bogumił Szady and Agnieszka Ławrynowicz. Identity criteria for localities Oliver Kutz, Nicolas Troquard, Maria Hedblom and Daniele Porello. The Mouse and the Ball: Towards a cognitively-based and ontologically-grounded logic of agency Alessandro Mosca, Fernando Roda and Guillem Rull. UNiCS: The ontology for Research and Innovation policy making Emilio Sanfilippo, Loic Jeanson, Farouk Belkadi, Florent Laroche and Alain Bernard. Nominal and actual qualities in ontologies for engineering Stefan Schulz and Ludger Jansen. Towards an ontology of religious and spiritual belief ----------------------------------- SATELLITE ACTIVITIES FOIS 2018 includes a number of additional activities: http://fois2018.cs.uct.ac.za/?page_id=54 Notably: - JOWO Workshops and tutorials: http://www.iaoa.org/jowo2018/ - 4th International School on Applied Ontology: http://isao2018.cs.uct.ac.za/ - Early Career Symposium - Ontology Competition ----------------------------------- ORGANISATION General Chair: Oliver Kutz (KRDB, Free University of Bozen-Bolzano, Italy) Program Chairs: Stefano Borgo (Laboratory for Applied Ontology (LOA), ISTC CNR Trento IT) Pascal Hitzler (Data Semantics (DaSe) Laboratory, Wright State University, USA) Local Organization: Maria Keet (University of Cape Town, South Africa) From blllne2 at unife.it Thu Jul 5 09:54:22 2018 From: blllne2 at unife.it (Elena Bellodi) Date: Thu, 05 Jul 2018 09:54:22 +0200 Subject: [CFP] ILP 2018: Call for works in progress and already published papers Message-ID: Apologize for multiple posting. ---------------------------------------------------------------------- ILP 2018 Call for Papers The 28th International Conference on Inductive Logic Programming September 2nd - 4th, Ferrara, Italy http://ilp2018.unife.it/ ---------------------------------------------------------------------- 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 expanded its research horizon significantly and welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches. ILP 2018 is also encouraging submissions on (combination with) other areas such as cognitive technologies, neural networks and deep relational learning, knowledge acquisition from big data and the cloud, as well as contributions on the application of any of these solutions to real world problems. * Submission of long and short papers is now closed. The conference track is still open for submissions in categories 3 (works in progress) and 4 (already published papers).* CONFERENCE TRACK -------------- We solicit four types of submissions: 1. Long papers describing original mature work containing appropriate experimental evaluation and/or representing a self-contained theoretical contribution. Accepted long paper submissions will be split in regular papers, accepted for appearing in Springer LNAI conference proceedings, and up-and-coming papers, accepted for appearing in CEUR proceedings, depending on the maturity of the submitted work. Regular papers will be assigned a long time slot for presentation, up-and-coming papers will be assigned a shorter time slot for presentation. 2. Short papers describing original work in progress presenting preliminary results, brief accounts of original ideas, and other relevant work of potentially high scientific interest but not yet qualifying for the long paper category. Accepted short papers will be assigned a reduced time slot for presentation and will be published in CEUR proceedings. 3. Works in progress describing ideas and proposals that the author(s) would like to present at the conference. Submissions will be accepted/rejected on the grounds of relevance. Accepted works will be assigned a reduced time slot and will be published on the conference website but will not appear in the conference proceedings. 4. Papers relevant to the conference topics and recently published or accepted for publication by a first-class conference such as ECML-PKDD, ICML, KDD, ICDM, AAAI, IJCAI, etc. or journal such as MLJ, DMKD, JMLR etc. These will be accepted/rejected on the grounds of relevance and quality of the original publication venue. Authors of accepted papers will be assigned a reduced time slot for presentation and will not appear in the conference proceedings, however a link to the original work will be inserted in CEUR. Submissions must be in Springer LNAI format, according to the Springer LNCS author instructions downloadable at http://www.springer.com/comp/lncs/Authors.html ​.​ Already published papers should be submitted in their original format and the authors should indicate the original publication venue. Submissions will be managed via Springer OCS at the following link: https://ocs.springer.com/ocs/home/ILP2018. When submitting, please choose among the 4 paper categories: (1) LONG, (2) SHORT, (3) WORK IN PROGRESS and (4) ALREADY PUBLISHED. Additional information about the submission guidelines is available at http://ilp2018.unife.it/call-for-papers/conference-track. Publication: Regular papers will be included in the conference proceedings, to be published by Springer Verlag in the "Lecture Notes in Artificial Intelligence" (LNAI) Series. Regular papers must not exceed 15 pages including references. Up-and-coming and short papers will be included in the Late Breaking Papers proceedings, to be published by Sun SITE Central Europe CEUR Workshop proceedings. Up-and-coming papers must not exceed 15 pages including references, while short papers must not exceed 7 pages including references. Works in progress will be published on the conference website but will not be included in the conference proceedings. Given their nature of preliminary proposals, they must be of 1 to 6 pages including references. A link to already published papers will be included in the Late Breaking Papers CEUR proceedings. At least one of the authors of accepted papers/work in progress must register for the conference, and present his work. Important Dates: * Work in progress submissions and already published papers submission: 18th July 2018 * Work in progress submissions and already published papers notification: 23rd July 2018 The deadline on each of these dates is midnight, Central European Time. CO-LOCATED EVENTS -------------- * ACAI 2018 - Summer School on Statistical Relational Artificial ​ ​ Intelligence: http://acai2018.unife.it/ * PLP 2018 - The 5th International Workshop on Probabilistic Logic ​ ​ Programming: http://stoics.org.uk/plp/plp2018/ CONFERENCE CHAIR -------------- Fabrizio Riguzzi, University of Ferrara, Italy PROGRAM CO-CHAIRS -------------- Elena Bellodi, University of Ferrara, Italy Riccardo Zese, University of Ferrara, Italy -- 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 Jul 9 11:33:38 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 09 Jul 2018 11:33:38 +0200 Subject: SLSP 2018: call for posters Message-ID: SLSP 2018: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************ The 6th International Conference on Statistical Language and Speech Processing (SLSP 2018) invites researchers to submit poster presentations. SLSP 2018 will be held in Mons (Belgium) on October 15-16, 2018. See  http://slsp2018.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 8, 2018 Notification of poster acceptance or rejection: September 15, 2018 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2018 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2018. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (JCR 2016 impact factor: 1.900). REGISTRATION At least one author of each accepted poster must register to the conference by October 1st, 2018. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sabel at ki.informatik.uni-frankfurt.de Mon Jul 9 11:33:38 2018 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Mon, 09 Jul 2018 11:33:38 +0200 Subject: PPDP 2018: Call for Participation Message-ID: ======================================================================                 PPDP 2018: Call for Participation ======================================================================                  20th International Symposium on         Principles and Practice of Declarative Programming          Frankfurt am Main, Germany, 3-5 September 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html             (co-located with LOPSTR 2018 and WFLP 2018)              http://ppdp-lopstr-18.cs.uni-frankfurt.de ====================================================================== Registration ============  http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/#registration  Early registration ends on 15 August, 2018. Session in Honour of Martin Hofmann =================================== PPDP will include a session in honour of Martin Hofmann including a talk given by Nick Benton, Facebook on Semantic Equivalence Checking for HHVM Bytecode Invited Talks ============= -   Philippa Gardner, Imperial College.     Testing and Verification for JavaScript (joint with LOPSTR) -   Jorge Navas, SRI International.     Constrained Horn Clauses for Verification (joint with LOPSTR) -   Chung-Chieh Shan, University of Indiana.     Calculating Distributions Accepted Papers =============== -   Maciej Bendkowski and Pierre Lescanne.     Combinatorics of explicit substitutions -   Manfred Schmidt-Schauss, David Sabel and Nils Dallmeyer.     Sequential and Parallel Improvements in a Concurrent Functional Programming Language -   Magnus Madsen and Ondrej Lhotak.     Implicit Parameters for Logic Programming -   Mistral Contrastin, Dominic Orchard and Andrew Rice.     Automatic reordering for dataflow safety of Datalog -   Danil Annenkov and Martin Elsman.     Certified Compilation of Financial Contracts -   José Fragoso Santos, Petar Maksimović, Théotime Grohens, Julian Dolby and Philippa Gardner.     Cosette: Symbolic Execution for JavaScript -   Michael Hanus.     Verifying Fail-Free Declarative Programs -   Dmitri Rozplokhas and Dmitry Boulytchev.     Improving Refutational Completeness of Relational Search via Divergence Test -   Martin Sulzmann and Kai Stadtmüller.     Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks -   Sylvia Grewe, Sebastian Erdweg, André Pacak and Mira Mezini.     An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers -   Gopalan Nadathur and Yuting Wang.     Schematic Polymorphism in the Abella Proof Assistant -   Stephan Adelsberger, Anton Setzer and Eric Walkingshaw.     Declarative GUIs: Simple, Consistent, and Verified -   Genki Sakanashi and Masahiko Sakai.     Transformation of combinatorial optimization problems written in extended SQL into constraint problems -   Yuki Nishida and Atsushi Igarashi.     Nondeterministic Manifest Contracts -   Alberto Pardo, Emmanuel Gunther, Miguel Pagano and Marcos Viera.     An Internalist Approach to Correct-by-Construction Compilers -   Falco Nogatz, Jona Kalkus and Dietmar Seipel.     Web-based Visualisation for Definite Clause Grammars using Prolog Meta-Interpreters -   Helmut Seidl and Ralf Vogler.     Three improvements to the top-down solver -   Flavien Breuvart and Ugo Dal Lago.     On Intersection Types and Probabilistic Lambda Calculi -   Taku Terao.     Lazy Abstraction for Higher-Order Program Verification -   Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia, Jose F. Morales and Manuel V. Hermenegildo.     Static Performance Guarantees for Programs with Run-time Checks -   Abhishek Dang and Piyush Kurur.     Verse: An EDSL for cryptographic primitives -   Pablo Barenbaum, Eduardo Bonelli and Kareem Mohamed.     Pattern Matching and Fixed Points: Resources Types and Strong Call-By-Need Sponsors ========  PPDP is financially supported by the  Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - 407531063,  and by the Goethe-University Frankfurt am Main. Conference Organisers =====================  Program Committee    See http://www.ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html#pc  Program Chair    Peter Thiemann, Universität Freiburg, Germany  Organizing Committee (Goethe-University Frankfurt am Main, Germany)     Ehud Cseresnyes     Nils Dallmeyer     Bircan Dölek     Ronja Düffel     Lars Huth     Leonard Priester     David Sabel (General Chair) From sdm.publicity at gmail.com Mon Jul 9 11:33:38 2018 From: sdm.publicity at gmail.com (SDM Publicity Chairs) Date: Mon, 09 Jul 2018 11:33:38 +0200 Subject: CFP - 2019 SIAM International Conference on Data Mining Message-ID: Apologies for cross-postings. SDM'19: THE NINETEENTH SIAM INTERNATIONAL CONFERENCE ON DATA MINING May 2 - May 4, 2019 Calgary, Canada https://www.siam.org/conferences/CM/Main/sdm19 ------------ CALL FOR CONTRIBUTIONS ------------ Abstract Submission: October 5, 2018, 11:59pm (US Pacific time) Full Paper Submission: October 12, 2018, 11:59pm (US Pacific time) Workshop Proposals: October 5, 2018, 11:59pm (US Pacific time) Tutorial Proposals: October 5, 2018, 11:59pm (US Pacific time) DESCRIPTION ------------------------------------------------------------ Data mining is the computational process for discovering valuable knowledge from data – the core of modern Data Science. It has enormous application in numerous fields, including science, engineering, healthcare, business, and medicine. Typical datasets in these fields are large, complex, and often noisy. Extracting knowledge from these datasets requires the use of sophisticated, high-performance, and principled analysis techniques and algorithms, which are based on sound theoretical and statistical foundations. These techniques in turn require implementations on high performance computational infrastructure that are carefully tuned for performance. Powerful visualization technologies along with effective user interfaces are also essential to make data mining tools appealing to researchers, analysts, data scientists and application developers from different disciplines, as well as usable by stakeholders. The SDM conference provides a venue for researchers who are addressing these problems to present their work in a peer-reviewed forum. It also provides an ideal setting for graduate students and others new to the field to learn about cutting-edge research by hearing outstanding invited speakers and attending presentations and tutorials (included with conference registration). A set of focused workshops is also held on the last day of the conference. The proceedings of the conference are published in archival form and are also made available on the SIAM web site. TOPICS OF INTEREST ------------------------------------------------------------ Methods and Algorithms - Anomaly & Outlier Detection - Big Data & Large-Scale Systems - Classification & Semi-Supervised Learning - Clustering & Unsupervised Learning - Data Cleaning & Integration - Deep Learning & Representation Learning - Frequent Pattern Mining - Feature Extraction, Selection and Dimensionality Reduction - Mining Data Streams - Mining Graphs & Complex Data - Mining on Emerging Architectures & Data Clouds - Mining Semi Structured Data - Mining Spatial & Temporal Data - Mining Text, Web & Social Media - Online Algorithms - Optimization Methods - Parallel and Distributed Methods - Probabilistic & Statistical Methods - Scalable & High-Performance Mining - Other Novel Methods Applications - Astronomy & Astrophysics - Automation & Process Control - Climate / Ecological / Environmental Science - Customer Relationship Management - Data Science - Drug Discovery - Finance - Genomics & Bioinformatics - Healthcare Management - High Energy Physics - Intelligence Analysis - Internet of Things - Intrusion & Fraud detection - Logistics Management - Recommendation - Risk Management - Social Network Analysis - Supply Chain Management - Other Emerging Applications Human Factors and Social Issues - Ethics of Data Mining - Intellectual Ownership - Interestingness & Relevance - Privacy and Fairness Models - Privacy Preserving Data Mining - Risk Analysis and Risk Management - Transparency and Algorithmic Bias - User Interfaces and Visual Analytics - Other Human and Social Issues WORKSHOPS AND TUTORIALS ------------------------------------------------------------ The conference will feature workshops and tutorials on several special topics. Please see the SDM 2019 website for submission requirements. Examples of workshops and tutorials are available through the SDM 2018 website at http://www.siam.org/meetings/sdm18/ FOLLOW SDM ------------------------------------------------------------ https://twitter.com/SIAMDataMining Twitter hashtag: #SIAMSDM19 ORGANIZATION ------------------------------------------------------------ GENERAL CO-CHAIRS Tanya Berger-Wolf, University of Illinois at Chicago, USA Nitesh Chawla, University of Notre Dame, USA PROGRAM CO-CHAIRS Jennifer Neville, Purdue University, USA Xifeng Yan, University of California Santa Barbara, USA WORKSHOPS CO-CHAIRS Fosca Giannotti, National Research Council, Italy Yizhou Sun, University of California Los Angeles, USA TUTORIALS CHAIR B. Aditya Prakash, Virginia Tech, USA DOCTORAL FORUM CHAIR Huzefa Rangwala, George Mason University, USA Matteo Riondato, Two Sigma Investments, USA PANELS CHAIR Jilles Vreeken, Max Planck Institute for Informatics, Germany PUBLICITY CO-CHAIRS Vagelis Papalexakis, University of California Riverside, USA Francois Petitjean, Monash University, Australia Huan Sun, Ohio State University, USA AWARDS CHAIR Haesun Park, Georgia Tech University, USA STEERING COMMITTEE CO-CHAIRS Zoran Obradovic, Temple University, USA Srinivasan Parthasarathy, Ohio State University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From marcello.balduccini at gmail.com Thu Jul 12 10:25:59 2018 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Thu, 12 Jul 2018 10:25:59 +0200 Subject: KR 2018 ** WORKSHOP DEADLINES EXTENDED ** Message-ID: [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] CALL FOR PAPERS *** KR 2018 WORKSHOPS *** *** WORKSHOP DEADLINES EXTENDED *** 16th International Conference on Principles of Knowledge Representation and Reasoning --- WORKSHOPS --- Tempe, Arizona (USA) October 30-November 2, 2018 http://kr2018.org/ Co-located with DL 2018 [http://dl.kr.org/] and NMR 2018 [http://www.kr.org/NMR] Many KR 2018 Workshops have extended their deadlines, with new deadlines ranging from 21 July to 4th August. Please visit http://kr2018.org/?p=workshops_tutorials for more information. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. KR 2018 will feature prominent invited speakers and a number of exciting workshop and tutorial. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018. The list of KR 2018 invited talks, workshops and tutorials can be found below. Please check the KR 2018 website for further information. WORKSHOPS (more details at http://kr2018.org/?p=workshops_tutorials) --------- W1: Knowledge Representation in Natural Languages W2: Reasoning about Actions and Processes: Planning, Verification and Synthesis W3: First Workshop on Induce and Deduce: Integrating learning of representations and models with deductive, explainable reasoning that leverages knowledge W4: Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine W5: Hybrid Reasoning and Learning W6: Third International Workshop on Ontology Modularity, Contextuality, and Evolution W7: Cognitive Robotics Workshop INVITED SPEAKERS ---------------- Michael Beetz (University of Bremen) William W. Cohen (Carnegie Mellon University) Oren Etzioni (Allen Institute for AI) Francesca Rossi (IBM Research and University of Padua) Mirek Truszczynski -- Great Moments in KR Talk (University of Kentucky) TUTORIALS (more details at http://kr2018.org/?p=workshops_tutorials) --------- T1: Belief Revision: 30 Years T2: Implementing KR Approaches with Tweety T3: An overview of ranking-based argumentation semantics T4: Knowledge, Strategy, and Know-How T5: Stream Reasoning - Incremental Reasoning Upon Rapidly Changing Information T6: Rulelog: Highly Expressive, Yet Scalable, Semantic Rules T7: From Game Description Language to Game Description Logics T8: Inconsistency-Tolerant Ontology-Mediated Query Answering CONFERENCE CHAIRS ----------------- General: Frank Wolter (University of Liverpool, UK) Program: Michael Thielscher (The University of New South Wales, Australia) Francesca Toni (Imperial College London, UK) Local Organization: Joohyung Lee (Arizona State University, USA) Tran Cao Son (New Mexico State University, USA) Doctoral Consortium: Sebastian Rudolph (Technische Universitat Dresden, Germany) Madalina Croitoru (University Montpellier II and INRIA, France) Workshop/tutorial Chairs: Sebastian Sardina (RMIT University, Australia) Ivan Varzinczak (Univ. Artois & CNRS, France) Sponsorship and Publicity: Marcello Balduccini (Saint Joseph's University, USA) Marco Maratea (University of Genova, Italy) From amal.tawakuli at uni.lu Thu Jul 12 10:25:59 2018 From: amal.tawakuli at uni.lu (Amal TAWAKULI) Date: Thu, 12 Jul 2018 10:25:59 +0200 Subject: Call for Papers - 12th International Rule Challenge 2018 - Extended submission deadline July 31, 2018 Message-ID: [Our apologies should you receive this message more than once ] =================================================== Call for Papers: 12th International Rule Challenge 2018 http://2018.ruleml-rr.org/challenge.html Extended submission deadline: July 31, 2018 =================================== ==Topics== The International Rule Challenge 2018 is one of the highlights of the RuleML+RR 2018 conference and seeks to provide competition among innovative rule-oriented applications, aimed at both the research and industrial side. Submissions may present demos related to the RuleML+RR 2018 track topics, supply benchmarks and comparison results for rule engines, illustrate rule- and model-driven engineering, report on industrial experience, present real cases and practical experiences, and realize mobile deployment of rule-based reasoning. The best paper/demonstration in the Challenge will receive an award of EUR 500! Key themes of the International Rule Challenge 2018 include, but are not limited to the following: Rule-based Event Processing and Stream Reasoning Business Rules Modeling Graph-Relational Data and Knowledge systems Higher-Order-Logic and Modal-Logic systems Rule/Ontology combinations Modular Rule/Ontology systems Distributed Rule/Ontology systems Ontology-Based Data Access (OBDA) systems Answer Set Programming (ASP) systems Constraint Logic Programming (CLP) systems Blockchain rule systems Defeasible, Argumentation, and Legal systems (Controlled) Natural language interfaces Benchmarks and comparison results for rule engines Distributed rule bases and rule services Rules and model driven engineering Reports on industrial experience about rule systems Real cases and practical experiences Rules in online market research and online marketing Rule-based distributed / multi-agent systems Combining rules with knowledge extraction and information retrieval Rules and social media Rule-based automation for asset trading ==Important Dates== Paper submission: July 31, 2018 Notification of acceptance: August 14, 2018 Camera-ready submission: August 31, 2018 Challenge: September 18-19, 2018 ==Chairs== Giovanni De Gasperis (University of L'Aquila, Italy) Wolgang Faber (Alpen-Adria-Universitaet Klagenfurt, Austria) Adrian Giurca (BTU Cottbus-Senftenberg, Germany) ==Submissions== The Challenge seeks high quality, original papers, potentially referencing online material, and ranging between 5-15 pages. Papers must be original contributions written in English and should be submitted at https://easychair.org/conferences/?conf=rulemlrr2018 , choosing the "Int'l Rule Challenge" track. To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on clarity and significance of objectives and demonstration of results. Submissions should address the following, where applicable: - Explain the objectives, outcomes, benefits as you are going beyond the state of the art in technology, the application domain, and so on. - Demonstrate the results with a concrete example balancing conciseness and completeness. - Preferably (but not necessarily) embed the tool in a web-based or distributed environment or a mobile environment. - Present end-user interactions, providing an adequate and usable interface that facilitates the usage of the application. - Mention the availability of the software and data, data interchange, and possible tool extensions. - Provide a web-link to the project site, online demonstration, or download site. Please upload all submissions in LNCS format. International Rule Challenge 2018 proceedings will be published as CEUR Proceedings and indexed by SCOPUS. ==LuxLogAI 2018== RuleML+RR 2018 conference is part of Luxembourg Logic for AI Summit (LuxLogAI 2018) to be held on 17-26 Sep 2018 at the University of Luxembourg. For more information about the summit and its individual events and activities, visit https://luxlogai.uni.lu ========================================== 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 ruy at cin.ufpe.br Thu Jul 12 10:25:59 2018 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Thu, 12 Jul 2018 10:25:59 +0200 Subject: =?UTF-8?Q?25th_WoLLIC_2018_=28Bogot=C3=A1=2C_Colombia=29_=2D_Call_for_Part?= =?UTF-8?Q?icipation?= Message-ID: CALL FOR PARTICIPATION WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation July 24th to 27th, 2018 Bogotá, Colombia SPECIAL SESSION: Tribute to the Memory and Legacy of Raymond Smullyan with a screening of "This Film Needs No Title: A Portrait of Raymond Smullyan" (Directed by Tao Ruspoli, 2004, 30min) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Departamento de Matemáticas, Universidad de los Andes, Colombia Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Departamento de Matemáticas, Universidad de los Andes, Colombia WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-fifth WoLLIC will be held at the Departamento de Matemáticas of the Universidad de los Andes, Bogotá, Colombia, from July 24th to 27th, 2018. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). INVITED SPEAKERS Katalin Bimbo (Univ of Alberta, Canada) Xavier Caicedo (Univ de Los Andes, Colombia) José Meseguer (Univ of Illinois, Urbana-Champaign, USA) Elaine Pimentel (Univ Federal do Rio Grande do Norte, Brazil) Guillermo Simari (Univ Nacional del Sur, Argentina) Renata Wassermann (Univ de São Paulo, Brazil) SPECIAL SCREENING - A TRIBUTE TO THE MEMORY AND LEGACY OF RAYMOND SMULLYAN As a tribute to the memory and legacy of the late Raymond Smullyan, who passed away in February 2017, there will be a special session with a screening of the documentary film "This Film Needs No Title: A Portrait of Raymond Smullyan" (Dir. Tao Ruspoli, 2004, 30min), as well as short testimonies by experts. PROGRAMME COMMITTEE Siddharth Bhaskar (Haverford College, USA) Torben Braüner (Roskilde University, Denmark) Hazel Brickhill (University of Bristol, UK) Michael Detlefsen (University of Notre Dame, USA) Juliette Kennedy (University of Helsinki, Finland) Sophia Knight (Uppsala University, Sweden) Alex Kruckman (Indiana University, USA) Maricarmen Martinez Baldares (Universidad de los Andes, Colombia) Frederike Moltmann (CNRS, France) Lawrence Moss (Indiana University, USA) (CHAIR) Cláudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Nuance Comms, USA, and University of Birmingham, UK) Sophie Pinchinat (IRISA Rennes, France) David Pym (University College London, UK) Ruy de Queiroz (Univ Federal de Pernambuco, Brazil) Revantha Ramanayake (Vienna University of Technology, Austria) Giselle Reis (Carnegie Mellon University, Qatar) Jeremy Seligman (The University of Auckland, New Zealand) Yanjing Wang (Peking University, China) Fan Yang (Delft University of Technology, The Netherlands) STEERING COMMITTEE Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. (Former Member: Grigori Mints (deceased).) ORGANISING COMMITTEE Jaime A. Bohórquez (Escuela Colombiana de Ingeniería, Bogotá, Colombia) Xavier Caicedo (Universidad de los Andes, Colombia) (Local co-chair) Nicolás Cardozo (Universidad de los Andes, Bogotá, Colombia) Maricarmen Martínez (Universidad de los Andes, Colombia) (Local co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) Camilo Rocha (Universidad Javeriana, Cali, Colombia) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2018/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Jul 12 10:25:59 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 12 Jul 2018 10:25:59 +0200 Subject: BigDat 2019: early registration July 26 Message-ID: BigDat 2019: early registration July 26*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   5th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2019   Cambridge, United Kingdom   January 7-11, 2019   Co-organized by:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   http://bigdat2019.irdta.eu/   ********************************************************   SCOPE:   BigDat 2019 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 24 four-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2019 will take place in Cambridge, a city home of a world-renowned university. The venue will be:   tba   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Thomas Bäck (Leiden University), [introductory/intermediate], Data Driven Modeling and Optimization for Industrial Applications   Richard Bonneau (New York University), [introductory] Large Scale Machine Learning Methods for Integrating Protein Sequence and Structure to Predict Gene Function   Altan Cakir (Istanbul Technical University), [introductory/intermediate] Processing Big Data with Apache Spark: From Science to Industrial Applications   Nitesh Chawla (University of Notre Dame), tba   Nello Cristianini (University of Bristol), [introductory] The Interface between Big Data and Society   Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] High Performance Big Data Computing   David Gerbing (Portland State University), [introductory] Data Visualization with R   Geoff McLachlan (University of Queensland), [intermediate/advanced] Applying Finite Mixture Models to Big Data   Folker Meyer (Argonne National Laboratory), [intermediate] Skyport2: A Multi Cloud Framework for Executing Scientific Workflows   Wladek Minor (University of Virginia), tba   Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Soft Granular Mining: Features, Applications and Challenges   Lior Rokach (Ben-Gurion University of the Negev), [introductory/advanced] Ensemble Learning   Michael Rosenblum (University of Potsdam), [introductory/intermediate] Synchronization Approach to Time Series Analysis   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services   Rory Smith (Monash University), [intermediate/advanced] Statistical Inference: Optimal Methods for Learning from Signals in Noise   Jaideep Srivastava (University of Minnesota), tba   Mayte Suárez-Fariñas (Icahn School of Medicine at Mount Sinai), [intermediate] A Practical Guide to the Analysis of Longitudinal Data Using R   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Andrey Ustyuzhanin (National Research University Higher School of Economics), [intermediate/advanced] Surrogate Modelling for Fun and Profit   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: Data Science in Action   Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Multimedia Data Learning   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by December 30, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   ORGANIZING COMMITTEE: (to be completed)   Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://bigdat2019.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabrizio.riguzzi at unife.it Thu Jul 12 10:25:59 2018 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Thu, 12 Jul 2018 10:25:59 +0200 Subject: ACAI 2018 - Late Registration Deadline Approaching Message-ID: The later registration deadline (July 27th) is approaching. http://acai2018.unife.it/ 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 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 geoff at cs.miami.edu Mon Jul 16 12:08:22 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 16 Jul 2018 12:08:22 +0200 Subject: LPAR-22 Ethiopia - Call for Papers Message-ID: The 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR-22 Awassa, Ethiopia, 16-21 November 2018 http://www.LPAR-22.info CALL FOR PAPERS The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 22nd LPAR will be held will be held in Haile Resort, Awassa, Ethiopia, 16-21 November 2018. The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright. ==Important Dates Abstract submission 6th August 2018 Paper submission 13th August 2018 Notification 24th September 2018 Final version 15th October 2018 Early registration 15th October 2018 Workshops 16th November 2018 Conference 17-21st November 2018 ==Topics New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to: + Abduction and interpolation methods + Answer set programming + Automated reasoning + Constraint programming + Contextual reasoning + Decision procedures + Description logics + Foundations of security + Hardware verification + Implementations of logic + Inconsistency- and exception tolerant reasoning + Interactive theorem proving + Knowledge representation and reasoning + Logic and computational complexity + Logic and databases + Logic and games + Logic and machine learning + Logic and the web + Logic and types + Logic in artificial intelligence + Logic of distributed systems + Logic of knowledge and belief + Logic programming + Logical aspects of concurrency + Logical foundations of programming + Modal and temporal logics + Model checking + Non-monotonic reasoning + Ontologies and large knowledge bases + Paraconsistent logics + Probabilistic and fuzzy reasoning + Program analysis + Rewriting + Satisfiability checking + Satisfiability modulo theories + Software verification + Specification using logic + Unification theory ==Organization Program Chairs: Gilles Barthe (IMDEA Software Institute) Margus Veanes (Microsoft Research) Martin Hofmann (Ludwig-Maximilians-Universität München, in memoriam) Conference Chair: Geoff Sutcliffe (University of Miami, USA) ==Submission Details Submissions of two kinds are welcome: - Regular papers that describe solid new research results. They can be up to 15 pages long in EasyChair style, including figures but excluding references and appendices (that reviewers are not required to read). - Experimental and tool papers that describe implementations of systems, report experiments with implemented systems, or compare implemented systems. They can be up to 8 pages long in the EasyChair style. Both types of papers must be electronically submitted in PDF via EasyChair: https://easychair.org/conferences/?conf=lpar22 Authors must register a title and an abstract by the abstract submission deadline. ==Participation Authors of accepted papers are required to ensure that at least one of them will be present at the conference. ==Workshop Proposals Proposals for workshops to be held in conjunctionwith LPAR-22 are solicited. Please email proposals to the program and conference chairs. For more details about the venue and organization, see the conference webpage http://www.LPAR-22.info From campos.ricardoipt at gmail.com Mon Jul 16 12:08:22 2018 From: campos.ricardoipt at gmail.com (Ricardo Campos) Date: Mon, 16 Jul 2018 12:08:22 +0200 Subject: Special issue on Narrative Extraction from Texts (Text2Story): IPM Journal. Submission Deadline Extended: July 25th Message-ID: ++ DEADLINE EXTENSION: July 25th, 2018 ++ **************************************************************************** ************** Special Issue on Narrative Extraction from Texts (Text2Story) A special issue of Information Processing and Management http://www.journals.elsevier.com/information-processing-and-management/ **************************************************************************** ************** We invite submissions for a special issue of Information Processing and Management on “Narrative Extraction from Texts (Text2Story)”. ++ Important Dates ++ - Manuscript Submission deadline extended: July 25th, 2018 - Acceptance Notification Date: November 5th, 2018 - Final Manuscript Due Date: February 4th, 2019 - Publication date: Spring 2019 ++ Overview ++ The increasing availability of text information in the form of news articles, comments or posts in social networks poses new challenges for those who aim to understand the storyline of an event. Although understanding natural language text has improved over the last couple of years with several research works emerging on the grounds of information extraction and text mining, the problem of constructing consistent narrative structures is yet to be solved. It is not only the algorithms that need to be improved, but also the state-of-the-art that needs to advance in order to provide methods that automatically identify, interpret and relate the different elements of a narrative which will be likely spread from different sources. In this special issue we aim to foster the discussion of recent advances in the link between Information Retrieval (IR) and formal narrative representations from texts. More specifically, we aim to capture a wide range of multidisciplinary issues related to the text-to-narrative-structure and to its various related tasks. This is a very rich line of research that poses many challenging problems in information retrieval, text mining, information extraction, computational linguistics and automatic production of media content. ++ List of Topics ++ Research works submitted to the special issue should foster the scientific advance on all aspects of storyline generation from texts including but not limited to narrative and content generation, formal representation, and visualization of narratives. This includes the following topics: - Event Identification - Narrative Representation Language - Sentiment and Opinion Detection - Argumentation Mining - Narrative Summarization - Storyline Visualization - Temporal Aspects of Storylines - Story Evolution and Shift Detection - Causal Relation Extraction and Arrangement - Evaluation Methodologies for Narrative Extraction - Big data applied to Narrative Extraction - Resources and Dataset showcase - Personalization and Recommendation - User Profiling and User Behavior Modeling - Credibility - Fact Checking - Bots Influence ++ Submission Guidelines ++ Contributions must not have been previously published or be under consideration for publication elsewhere, although substantial extensions of conference or workshop papers will be considered. All submissions should be prepared according to the Guide for Authors at http://www.elsevier.com/journals/information-processing-and-management/0306- 4573/guide-for-authors. Submissions should be made through EES at http://ees.elsevier.com/ipm/default.asp ++ Guest Editors ++ Alípio M. Jorge (INESC TEC; University of Porto, Portugal) Ricardo Campos (INESC TEC; Polytechnic Institute of Tomar, Tomar, Portugal) Adam Jatowt (Kyoto University, Japan) Sérgio Nunes (INESC TEC; University of Porto, Portugal) ++ Editorial Board ++ - Klaus Berberich (Max Planck Institute for Informatics) - Marc Spaniol (Normandie University) - Miguel Martinez-Alvarez (Signal) - Dhruv Gupta (Max Planck Institute for Informatics) - Federico Nanni (University of Mannheim) - Yihong Zhang (Kyoto University) - Udo Kruschwitz (University of Essex) - Conceição Rocha (LIAAD INESC TEC) - João Paulo Cordeiro (University of Beira Interior) - Grace Hui Yang (Georgetown University) - Gerasimos Lampouras (The University of Sheffield) - Denilson Barbosa (University of Alberta) - Sumit Bhatia (IBM) - Yating Zhang (Kyoto University) - Nina Tahmasebi (University of Gothenburg) - Jaime Arguello (University of North Carolina at Chapel Hill) - Akiko Aizawa (NII) - António Horta Branco (University of Lisbon) - Bruno Martins (University of Lisbon) - Gael Dias (University of Caen) - Henrique Lopes Cardoso (University of Porto) - Pablo Gamallo (University of Santiago de Compostela) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From CISP-BMEI-cfp at ecnu.edu.cn Mon Jul 16 12:08:22 2018 From: CISP-BMEI-cfp at ecnu.edu.cn (Prof Li) Date: Mon, 16 Jul 2018 12:08:22 +0200 Subject: CISP-BMEI 2018 2nd Round Submission Due 30 August, Beijing, China [Submitting to IEEE Xplore/Scopus/EI Compendex/ISI] 2018/7/14 8:47:02 m8 Message-ID: Dear Colleague, We cordially invite you to submit a paper to 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. The deadline for the 2nd (final) round of submissions is 30 August 2018 (papers already submitted in the previous round should not be re-submitted and will receive review notifications on 10 August as scheduled). 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/7/14 8:47:02 zolvvb -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijwa at dline.info Mon Jul 16 12:08:22 2018 From: ijwa at dline.info (ijwa at dline.info) Date: Mon, 16 Jul 2018 12:08:22 +0200 Subject: FGCT 2018 In-Reply-To: References: Message-ID: Call For Papers Seventh International Conference on Future Generation Communication Technologies (FGCT 2018) Xi’an Jiaotong-Liverpool University, Suzhou, Jiangsu, China November 19-21, 2018 http://www.socio.org.uk/fgct In the last decade, a number of newer communication technologies have been evolved, which have a significant impact on the technology, as a whole. The impact ranges from incremental applications to dramatical breakthrough in the society. Users rely heavily on broadcast technology, social media, mobile devices, video games and other innovations to enrich the learning and adoption process. The Seventh International Conference on Future Generation Communication Technologies (FGCT 2018) conference is designed for teachers, administrators, practitioners, researchers and scientists in the development arenas. It aims to provide discussions and simulations in the communication technology at the broad level and broadcasting technology and related technologies at the micro level. Through a set of research papers, using innovative and interactive approach, participants can expect to share a set of research that will prepare them to apply new technologies to their work in teaching, research and educational development amid this rapidly evolving landscape. Topics discussed in this platform are not limited to- Emerging cellular and new network architectures for 5G New antenna and RF technology for 5G wireless Modulation algorithms Circuits, software and systems for 5G Convergence of multi-modes, multi-bands, multi-standards and multi- applications in 5G systems Cognitive radio and collaborative transmissions in 5G Computing and processing platform for 5G Programming models and development tools to enable 5G systems Small cells and heterogeneous networks Metrics and Evaluation of 5G systems Standardization of 5G Deployment options such as small cells, eICIC, MIMO and CoMP LTE/WiFi interworking, carrier aggregation, dual connectivity C-RAN, D-RAN, mmWave, Massive MIMO and ultra-low latency Higher protocol layers Latency and traffic scheduling Broadcast technology Future Internet and networking architectures Future mobile communications Mobile Web Technology Mobile TV and multimedia phones Communication Security, Trust, Protocols and Applications Communication Interfaces Communication Modelling Satellite and space communications Communication software Future Generation Communication Networks Communication Network Security Communication Data Grids Collaborative Communication Technology Intelligence for future communication systems Forthcoming optical communication systems Communication Technology for Elearning, Egovernment, Ebusiness Games and games designing Social technology devises, tools and applications Crowdsourcing and Human Computation Human-computer communication Pervasive Computing Grid, crowd sourcing and cloud computing Hypermedia systems Software and technologies for E-communication Intelligent Systems for E-communication Future Cloud for Communication Future warehousing Future communication for healthcare and medical devices applications Future communication for Mechatronic applications All presented papers in the conference will be published in the proceedings of the conference and submitted to the IEEE Xplore Digital Library. The selected papers after extension and modification will be published in many peer reviewed and indexed journals. International Journal of Computational Science and Engineering (Scopus and EI Indexed) Technologies (Scopus/EI) Australian Journal of Telecommunications and the Digital Economy (Scopus/EI) Journal of Digital Information Management Important Dates Submission of Papers: September 25, 2018 Notification of Acceptance: October 20, 2018 Camera Ready: November 10, 2018 Registration: November 10, 2018 Conference Dates: November 19-21, 2018 Programme Committee General Chair Ezendu Ariwa, UK IEEE Chair for TEMS, UK Programme Chairs Yong Yue, Xi’an Jiaotong-Liverpool University (XJTLU), China Adrian FLOREA, Lucian Blaga” University of Sibiu, Romania Programme Co-Chairs Ali Aloa, UK IEEE Secretary for TEMS, UK UK Pavel Loskot, University of Swansea, UK Submissions at-http://www.socio.org.uk/fgct/paper-submission/ contact: fgct at socio.org.uk --------------------------------- From patrizi at diag.uniroma1.it Mon Jul 16 12:08:22 2018 From: patrizi at diag.uniroma1.it (Fabio Patrizi) Date: Mon, 16 Jul 2018 12:08:22 +0200 Subject: ACTIONS@KR18: DEADLINE EXTENSION Message-ID: **************************************************************************** DEADLINE EXTENSION 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 ***extended to August 4, 2018*** Notification August 25, 2018 ***extended to August 31, 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 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ggelfond at unomaha.edu Thu Jul 19 10:26:48 2018 From: ggelfond at unomaha.edu (ggelfond at unomaha.edu) Date: Thu, 19 Jul 2018 10:26:48 +0200 Subject: LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED ** Message-ID: [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] --------------------------------------------------------------------------- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 http://sju.edu/lpnmr/ Philadelphia, USA June 4-7, 2019 Co-located with Datalog 2.0 Workshop --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. This year's edition of the conference seeks to raise submissions devoted towards use of LPNMR techniques in emerging applications stemming from such areas as deep learning, robotics, cybersecurity, modeling cyberphysical systems, and human-aware AI. Aspects that have been studied in commonsense reasoning, inconsistency tolerance, and handling of dynamic knowledge appear essential in enabling these emerging applications to�provide explanations and justifications of their outcomes. LPNMR 2019 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. INVITED SPEAKERS To be announced TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2019 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is enabled via the LPNMR 2019 Easychair site: https://easychair.org/conferences/?conf=lpnmr2019 Two best papers of general AI interest will be invited for rapid publication in the Artificial Intelligence Journal. Also, the journal Theory and Practice of Logic Programming will devote a special issue for a joint event of LPNMR/Datalog 2.0. Four to six papers will be selected for a rapid publication. In case of invited papers for a rapid publication in journals, there should be at least 30% new content compared to the published conference paper. The extra material should consist of extensions of the existing material such as proofs, further experimental results, and implementation details (some of which would appear as supplementary material). New results could be included too, if appropriate. Authors invited to submit to the special issue should confirm that such extra material is available. MULTIPLE SUBMISSION POLICY LPNMR 2019 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. COLOCATED EVENTS DATALOG 2.0 Workshop ASSOCIATED EVENTS WORKSHOPS To be announced DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. FURTHER INFORMATION WWW: http://sju.edu/lpnmr/ Email: lpnmr2019 at easychair.org Tentative IMPORTANT DATES * Paper registration: January 29 * Paper submission: February 5 * Notification: March 12 * Final versions due: April 2 VENUE Philadelphia, or the "City of Brotherly Love," is the sixth-largest city in the United States and once served as the nation's capital. Philadelphia is an active historical and cultural hub, and has been striving for excellence since 1776. The city's rich history of knowledge and academic prowess has never diminished as it continues to promote and foster higher education. Visitors can explore various attractions in and around Philadelphia, such as the Philadelphia Museum of Art, the Franklin Institute, the Barnes Foundation, the Reading Terminal Market, and much more. Located on the East Coast of the U.S., between New York City and Washington D.C., Philadelphia is easily reachable by air, train, and car. As a testament to Philadelphia's commitment to educational advancement, LPNMR 2019 will be held in one of the city's top colleges, Saint Joseph's University. Saint Joseph's campus is located at the outskirts of the city, in an area that features historic homes, green areas, and a quick connection to Philadelphia's Center City and Old City. GENERAL CHAIR Marcello Balduccini, Saint Joseph's University, USA PROGRAM CHAIRS Yuliya Lierler, University of Neraska at Omaha, USA Stefan Woltran, TU Wien, Austria PUBLICITY CHAIR Gregory Gelfond, University of Nebraska at Omaha, USA WORKSHOPS CHAIR Mario Alviano, University of Calabria, Italy DOCTORAL CONSORTIUM CHAIRS Fangkai Yang, MAANA Inc., USA Joerg Puehrer, TU Wien, Austria MARKETING CHAIRS Elizabeth Angelucci, Saint Joseph's University, USA Kelsey Neri, Saint Joseph's University, USA PROGRAM COMMITTEE Chitta Baral Arizona State University Bart Bogaerts Katholieke Universiteit Leuven Martin Brain University of Oxford Gerhard Brewka Leipzig University Pedro Cabalar Corunna University Francesco Calimeri University of Calabria Stefania Costantini Univ. di L'Aquila Marina De Vos University of Bath James Delgrande Simon Fraser University Agostino Dovier Univ. di Udine Thomas Eiter Vienna University of Technology Esra Erdem Sabanci University Wolfgang Faber Alpen-Adria-Universität Klagenfurt Johannes K. Fichte TU Dresden Paul Fodor Stony Brook University Andrea Formisano Universita di Perugia, Italy Gerhard Friedrich Alpen-Adria-Universität Klagenfurt Sarah Alice Gaggl TU Dresden Martin Gebser University of Potsdam Michael Gelfond Texas Tech University Giovanni Grasso University of Oxford Amelia Harrison The University of Texas at Austin Anthony Hunter University College London Giovambattista Ianni University of Calabria, Italy Daniela Inclezan Miami University Tomi Janhunen Aalto University Gabriele Kern-Isberner Technische Universitaet Dortmund Matthias Knorr Universidade NOVA de Lisboa Joohyung Lee Arizona State University Joao Leite Universidade NOVA de Lisboa Nicola Leone University of Calabria Vladimir Lifschitz University of Texas at Austin Fangzhen Lin Hong Kong University of Science and Technology Marco Maratea DIBRIS, University of Genova Thomas Meyer University of Cape Town and CAIR Alessandra Mileo Dublin City University Emilia Oikarinen Aalto University David Pearce Universidad Politécnica de Madrid Axel Polleres Vienna University of Economics and Business - WU Wien Enrico Pontelli New Mexico State University Christoph Redl Vienna University of Technology Francesco Ricca University of Calabria Orkunt Sabuncu TED University, Ankara Chiaki Sakama Wakayama University Torsten Schaub University of Potsdam Peter Schüller Vienna University of Technology Guillermo R. Simari Universidad del Sur in Bahia Blanca Mantas Simkus Vienna University of Technology Tran Cao Son New Mexico State University Theresa Swift NOVALINKS, Universidade Nova de Lisboa Eugenia Ternovska Simon Fraser University Daniele Theseider Dupre' Universita' del Piemonte Orientale Matthias Thimm Universität Koblenz-Landau Hans Tompits Vienna University of Technology Mirek Truszczynski University of Kentucky Agustin Valverde Universidad de Malaga, Malaga, Spain Johannes P. Wallner Vienna University of Technology Kewen Wang Griffith University Yisong Wang Guizhou University Renata Wassermann University of São Paulo Antonius Weinzierl Vienna University of Technology Jia-Huai You University of Alberta Yuanlin Zhang Texas Tech University Yi Zhou University of Technology, Sydney From anni-yasmin.turhan at tu-dresden.de Thu Jul 19 10:26:48 2018 From: anni-yasmin.turhan at tu-dresden.de (Anni-Yasmin Turhan) Date: Thu, 19 Jul 2018 10:26:48 +0200 Subject: Call for papers: Special Session on Resource-aware Semantic Technologies (at JIST'18) Message-ID: *** Call for Papers: JIST 2018 Special Session on *** Resource-aware Semantic Technologies See: http://jist2018.knowledge-graph.jp/pages/calls/resource-aware_semantic_technologies.html While computational and cognitive complexity of semantic technologies are well investigated, work on their resource consumption, e.g. in terms of energy or storage, is still in its infancy. However, assessing, managing and predicting the resource consumption is a vital prerequisite for the wider usefulness of semantic technologies. The special session calls for contributions regarding, but not limited to the following topics: - resource-adaptive semantic technologies - reasoning algorithms for resource-bound hardware - measurement frameworks for energy-consumption of semantic technologies - ontologies for energy management - prediction methods for resource consumption - application of semantic technologies for resource management Submission Submissions must be in PDF format, using the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). The papers submitted to special sessions are handled as regular or short papers, which should not be longer than 16 or 8 pages including references, respectively. Submissions that exceed this limit may be rejected without review. JIST 2018 submissions are not anonymous. Papers can be submitted electronically via EasyChair. Please select the "Resource-aware Semantic Technologies" when you submit your paper(s). Accepted papers to special session track will be published in an LNCS proceedings. At least one author of each accepted paper must register for the conference and present the paper there. Program Committee - Carlos Bobed, Université of Rennes 1, France - Fernando Bobillo, University of Zaragoza, Spain - Martin J. Kollingbaum, University of Aberdeen, UK - Eduardo Mena, University of Zaragoza, Spain (Chair) - Jeff Z. Pan, University of Aberdeen, UK - Michele Ruta, Polytechnic University of Bari, Italy - Floriano Scioscia, Polytechnic University of Bari, Italy - Anni-Yasmin Turhan, TU Dresden, Germany (Chair) - William van Woensel, Dalhousie University, Canada Important dates: Abstract submission: 23:59 (Hawaii Time), 3 August, 2018 Full paper submission: 23:59 (Hawaii Time), 10 August, 2018 Notification of Acceptance: 14 September, 2018 Camera-ready Deadline: 28 September, 2018 Conference: 26-28 November, 2018 Kind regards, Anni-Yasmin Turhan & Fernando Bobillo From vitordouzi at gmail.com Thu Jul 19 10:26:48 2018 From: vitordouzi at gmail.com (Vitor Mangaravite) Date: Thu, 19 Jul 2018 10:26:48 +0200 Subject: Special issue on Narrative Extraction from Texts (Text2Story): IPM Journal. Submission Deadline Extended: July 25th Message-ID: ++ DEADLINE EXTENSION: July 25th, 2018 ++ ****************************************************************************************** Special Issue on Narrative Extraction from Texts (Text2Story) A special issue of Information Processing and Management http://www.journals.elsevier.com/information-processing-and-management/ ****************************************************************************************** We invite submissions for a special issue of Information Processing and Management on “Narrative Extraction from Texts (Text2Story)”. ++ Important Dates ++ - Manuscript Submission deadline extended: July 25th, 2018 - Acceptance Notification Date: November 5th, 2018 - Final Manuscript Due Date: February 4th, 2019 - Publication date: Spring 2019 ++ Overview ++ The increasing availability of text information in the form of news articles, comments or posts in social networks poses new challenges for those who aim to understand the storyline of an event. Although understanding natural language text has improved over the last couple of years with several research works emerging on the grounds of information extraction and text mining, the problem of constructing consistent narrative structures is yet to be solved. It is not only the algorithms that need to be improved, but also the state-of-the-art that needs to advance in order to provide methods that automatically identify, interpret and relate the different elements of a narrative which will be likely spread from different sources. In this special issue we aim to foster the discussion of recent advances in the link between Information Retrieval (IR) and formal narrative representations from texts. More specifically, we aim to capture a wide range of multidisciplinary issues related to the text-to-narrative-structure and to its various related tasks. This is a very rich line of research that poses many challenging problems in information retrieval, text mining, information extraction, computational linguistics and automatic production of media content. ++ List of Topics ++ Research works submitted to the special issue should foster the scientific advance on all aspects of storyline generation from texts including but not limited to narrative and content generation, formal representation, and visualization of narratives. This includes the following topics: - Event Identification - Narrative Representation Language - Sentiment and Opinion Detection - Argumentation Mining - Narrative Summarization - Storyline Visualization - Temporal Aspects of Storylines - Story Evolution and Shift Detection - Causal Relation Extraction and Arrangement - Evaluation Methodologies for Narrative Extraction - Big data applied to Narrative Extraction - Resources and Dataset showcase - Personalization and Recommendation - User Profiling and User Behavior Modeling - Credibility - Fact Checking - Bots Influence ++ Submission Guidelines ++ Contributions must not have been previously published or be under consideration for publication elsewhere, although substantial extensions of conference or workshop papers will be considered. All submissions should be prepared according to the Guide for Authors at http://www.elsevier.com/journals/information-processing-and-management/0306-4573/guide-for-authors . Submissions should be made through EES at http://ees.elsevier.com/ipm/default.asp ++ Guest Editors ++ Alípio M. Jorge (INESC TEC; University of Porto, Portugal) Ricardo Campos (INESC TEC; Polytechnic Institute of Tomar, Tomar, Portugal) Adam Jatowt (Kyoto University, Japan) Sérgio Nunes (INESC TEC; University of Porto, Portugal) ++ Editorial Board ++ - Klaus Berberich (Max Planck Institute for Informatics) - Marc Spaniol (Normandie University) - Miguel Martinez-Alvarez (Signal) - Dhruv Gupta (Max Planck Institute for Informatics) - Federico Nanni (University of Mannheim) - Yihong Zhang (Kyoto University) - Udo Kruschwitz (University of Essex) - Conceição Rocha (LIAAD INESC TEC) - João Paulo Cordeiro (University of Beira Interior) - Grace Hui Yang (Georgetown University) - Gerasimos Lampouras (The University of Sheffield) - Denilson Barbosa (University of Alberta) - Sumit Bhatia (IBM) - Yating Zhang (Kyoto University) - Nina Tahmasebi (University of Gothenburg) - Jaime Arguello (University of North Carolina at Chapel Hill) - Akiko Aizawa (NII) - António Horta Branco (University of Lisbon) - Bruno Martins (University of Lisbon) - Gael Dias (University of Caen) - Henrique Lopes Cardoso (University of Porto) - Pablo Gamallo (University of Santiago de Compostela) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rrc2soft at gmail.com Mon Jul 23 10:26:09 2018 From: rrc2soft at gmail.com (Rodrigo Roman) Date: Mon, 23 Jul 2018 10:26:09 +0200 Subject: Call for Participation - 23rd European Symposium on Research in Computer Security (ESORICS 2018) Message-ID: ============================================================================== ESORICS 2018: CALL FOR PARTICIPATION 23rd European Symposium on Research in Computer Security Barcelona, Spain — September 3-7, 2018 ============================================================================== WWW: https://esorics2018.upc.edu/ Overview ------------------------------------ ESORICS is the annual European research event in Computer Security. The Symposium started in 1990 and has been held in several European countries, attracting a wide international audience from both the academic and industrial communities. The 23rd European Symposium on Research in Computer Security (ESORICS 2018) will be held in Barcelona, Spain. ESORICS 2018 spans a total of 3 days, featuring: * 3 keynote speeches (Kenny Paterson, Robert Deng, Gene Tsudik) * 56 paper presentations in 3 days (Sep 3-5) * 10 workshops (Sept 6-7) Registration ------------------------------------ Early Registration for ESORICS+Workshops 2018 is open, but will end soon. Early registration deadline is *** July 31, 2018 *** Registration rates: https://esorics2018.upc.edu/registration.do If an invitation letter is needed (e.g. for visa application), the letter will be provided after the registration. To do this, it is necessary to send an email to the organizing committee: mailto:esorics2018 at entel.upc.edu Venue page: https://esorics2018.upc.edu/venue.do Accommodation page: https://esorics2018.upc.edu/hotels.do We hope to see you in Barcelona, Spain! Conference Program ------------------------------------ The papers of ESORICS 2018 are grouped as **16 sessions** in **two parallel tracks**. The complete program for presentations for the main ESORICS conference is available at https://esorics2018.upc.edu/program.do For the workshop programs, please consult their corresponding websites: CBT 2018: http://deic.uab.cat/conferences/cbt/cbt2018/ CSITS 2018: https://cyber.bgu.ac.il/esorics_csits2018/ CyberICPS 2018: https://www.ds.unipi.gr/cybericps2018/ DPM 2018: http://deic.uab.cat/conferences/dpm/dpm2018/ ETAA 2018: https://www.iit.cnr.it/etaa2018/ ISSA 2018: https://www.irit.fr/issa/ PADG 2018: https://dais-ita.org/padg2018 SECPRE 2018: http://samosweb.aegean.gr/secpre2018/ SIoT 2018: http://siot-workshop.org STM 2018: https://www.nics.uma.es/pub/stm18/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Mon Jul 23 10:26:09 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 23 Jul 2018 10:26:09 +0200 Subject: TPNC 2018: extended submission deadline August 5 Message-ID: TPNC 2018: extended submission deadline August 5*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: August 5 ***** ------------------------------------------------------------------------------   *************************************************************************** 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: August 5, 2018 – EXTENDED – 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 roberto.sebastiani at unitn.it Mon Jul 23 10:26:09 2018 From: roberto.sebastiani at unitn.it (roberto.sebastiani at unitn.it) Date: Mon, 23 Jul 2018 10:26:09 +0200 Subject: PhD Position on ICT in Trento on "Quantum Annealing for SAT Solving" Message-ID: -------------------------------------------------------------- [ We apologize if you receive multiple copies of this message] PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED. -------------------------------------------------------------- Posted: July 4th 2018 One PhD Student Position in Information and Communication Technologies on the research project "Quantum Annealing for SAT Solving (QUASI)" is available at the International Doctorate School in Information and Communication Technologies (http://www.ict.unitn.it/) of the University of Trento, Italy, under the supervision of Prof. Roberto Sebastiani, DISI, University of Trento, sponsored by and in direct collaboration with D-Wave Systems Inc. (http://www.dwavesys.com). The goal of the QuaSI project is to investigate the usage of D-Wave's quantum annealers (QAs) to solve hard propositional satisfiability (SAT) problems --and related NP-Hard problems-- by exploiting quantum effects to cope with the inherent complexity of the problem. The proposed research is to develop effective and efficient encoding procedures from SAT to problems which fit into, and can be solved by, D-Wave's QAs. These procedures will be presumably based on Satisfiability Modulo theories, automated-reasoning and graph-manipulation techniques. The ultimate goal is to solve problems (e.g., from cryptanalysis) which are currently out of the reach of state-of-the-art SAT solvers). Ph.D. courses will start in Autumn 2018, and the thesis must be completed in three-four years. The selected student should be available for an internship (e.g. 3-month) at D-Wave, in Vancouver (CA). People enrolled in Ph.D. courses are expected to move to Trento, and will receive monetary support during the phases of their activity. CANDIDATE PROFILE The ideal candidate should have an MS or equivalent degree in computer science or engineering, mathematics or electronic engineering, and combine solid theoretical background (algorithms, logic) and excellent software development skills. NO BACKGROUND KNOWLEDGE IN QUANTUM PHYSICS IS REQUIRED. Background knowledge and/or previous experience is requested in at least one the following areas (in order of preference): - Satisfiability Modulo Theories (SMT) - Propositional Satisfiability (SAT) - Automated reasoning and Computational Logic - Constraint Solving and Optimization - Operational Research The candidate should be able to work in a collaborative environment, with a strong commitment to reaching research excellence and achieving assigned objectives. The position is subject to the acceptance of the assignment of the ownership of intellectual property to D-Wave Inc. of the research results. APPLICATIONS AND INQUIRIES Interested candidates should inquire for further information and/or apply by sending email to roberto.sebastiani at unitn.it, indicating "PHD on Quasi Project" in the subject. Applications should contain a statement of interest, with a Curriculum Vitae, and three reference persons. PDF format is strongly encouraged. Emails will be automatically processed and should have as subject the sentence: 'PHD ON QUASI PROJECT' (Emails not complying with the above format have high chances to be ignored.) Eventually they must apply to the international call of the ICT school of DISI (http://ict.unitn.it), which is expected to appear by the end of July 2018 (application deadline: end of August 2018). PROPONENT AND CONTACT PERSON Prof. ROBERTO SEBASTIANI Software Engineering & Formal Methods Research Program DISI, University of Trento, via Sommarive 14, I-38100 Povo, Trento, Italy mailto: roberto[dot]sebastiani[at]unitn[dot]it url: http://disi.unitn.it/rseba/ CV: http://disi.unitn.it/rseba/inglcurr.pdf ABOUT DISI AND UNIVERSITY OF TRENTO University of Trento (http://www.unitn.it/en) has been recognized as the best university in Italy and #36 in Europe by Europe Teaching Rankings 2018 of Times Higher Education (https://www.timeshighereducation.com/rankings/europe-teaching/2018#!/page/0/length/50/sort_by/rank/sort_order/asc/cols/undefined). DISI (http://disi.unitn.it) has been recognized among the top three ICT University Department in Italy. DISI currently consists of ~40 faculties, ~70 research staff and support people, ~20 postdocs and ~140 Doctoral students, plus administrative and technical staff. DISI covers all the different areas of information technology (computer science, telecommunications, and electronics) and their applications. ABOUT D-WAVE INC. D-Wave (www.dwavesys.com) is the world's only commercial supplier of quantum computers. D-Wave's systems are being used by some of the world's most advanced organizations and D-Wave is the leader in the development and delivery of quantum and hybrid quantum-classical computing systems and software. D-Wave's technology is focused on annealing-based quantum computing. LOCATION Trento is a lively town of about 100.000 inhabitants, located 130 km south of the border between Italy and Austria. It is well known for the beauty of its mountains and lakes, and it offers the possibility to practice a wide range of sports. Trento enjoys a rich cultural and historical heritage, and it is the ideal starting point for day trips to famous towns such as Venice or Verona, as well as to enjoy great naturalistic journeys. Detailed information about Trento and its region can be found at http://www.trentino.to/home/index.html?_lang=en. From H.Prakken at uu.nl Mon Jul 23 10:26:09 2018 From: H.Prakken at uu.nl (Henry Prakken) Date: Mon, 23 Jul 2018 10:26:09 +0200 Subject: Calls JURIX 2018 conference Message-ID: Calls for Papers, Workshops, Tutorials, Doctoral Consortium and Hackatlon of the 31st International Conference on Legal Knowledge and Information Systems (JURIX 2018) Groningen (The Netherlands), 12-14 december 2018 http://jurix2018.ai.rug.nl The Conference For more than 30 years, the JURIX conference has provided an international forum for research on the intersection of Law, Artificial Intelligence and Information Systems, under the auspices of the JURIX Foundation for Legal Knowledge Systems. This year's edition will be held in Groningen, The Netherlands, jointly organised by the Faculty of Law and the Department of Artificial Intelligence of the University of Groningen. The conference proceedings will again be published by IOS Press in their series Frontiers in Artificial Intelligence and Applications (FAIA). All calls for the conference are now open: Call for Papers Call for Workshops and Tutorials Call for Doctoral Consortium papers Call for Hackatlon Important dates Abstract submission deadline: 10 September 2018 (recommended) Paper submission deadline: 16 September 2018 Demo & poster submission deadline: 16 September 2018 Notification of acceptance of regular papers: 10 October 2018 Camera-ready deadline for regular papers: 19 October 2018 Workshops & Tutorials: 12 December 2018 Main conference: 13 & 14 December 2018 Invited speakers Marie-Francine Moens (KU Leuven, Belgium) Jeroen van den Hoven (TU Delft, The Netherlands) Organisation Programme Chair: - Monica Palmirani , CIRSFID, University of Bologna, Italy Organising co-chairs: - Jeanne Mifsud Bonnici , Faculty of Law, University of Groningen, The Netherlands - Henry Prakken , Faculty of Law, University of Groningen & Department of Information and Computing Sciences, Utrecht University, The Netherlands - Bart Verheij , Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence, University of Groningen, The Netherlands Contact and administration: - Elina Sietsema (e.sietsema at rug.nl) Conference web page: http://jurix2018.ai.rug.nl -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From radicion at di.unito.it Mon Jul 23 10:26:09 2018 From: radicion at di.unito.it (daniele radicioni) Date: Mon, 23 Jul 2018 10:26:09 +0200 Subject: ***DEADLINE EXTENSION*** Special Issue of the Journal of Applied Ontology "Meaning in Context: ontologically and linguistically motivated representations of objects and events." Message-ID: (Apologies for cross posting) Special Issue of the Journal of Applied Ontology "Meaning in Context: ontologically and linguistically motivated representations of objects and events." ***DEADLINE EXTENSION*** New Manuscript Submission Deadline: August 5th 2018; https://submissions.iospress.com/applied-ontology/CIM Overview Dealing with context is a key factor in the conceptualization of human experience, and a major issue for understanding natural language. It is well known that some properties of objects and events may have different cognitive salience according to their context of occurrence, thus determining access to partial relevant information rather than to all information. One typical example is that of an orange being passed between two children, or the same orange peeled on a table: in the former case the roundness prevails over other traits, and the orange is being used to play; in the latter one, the edible features are those mostly conveyed by the scene. Interpreting events poses contextual challenges as well: (in how far) does a given event allow for different interpretations, like it might happen for revenge/self defense? Similar selectional mechanisms underlie figurative uses of word meanings, such as metonymy and metaphors among others, that intrinsically characterize the interface between knowledge and language. Contextual access to objects and events needs to be further investigated, shared conceptualizations and terminologies are needed, as well as more robust approaches, including connections to domain and formal ontologies. The design of ontological and linguistic resources that account for the semantic phenomena involved in the contextual interpretation of objects and events requires collecting information and devising context-aware procedures. In an era where most research is committed to statistical approaches, e.g. vector representations of the linguistic context and neural architectures, pairing the natural language semantic interpretation process and formal ontology may improve the inferential capacities of artificial agents with the explanatory power that is less relevant in those mainstream approaches. Methods traditionally adopted to elaborate text documents exhibit limitations in representing and processing objects and events. Many efforts are being put in grasping text documents’ semantics based on semantically shallow approaches, whilst natural language inference demands for deep interpretation models, allowing to handle properties, functions, and roles, among others, to deal with commonsense and to produce explanations. A different approach relies on lexical information: several large-scale lexical resources, such as WordNet (https://wordnet.princeton.edu), BabelNet (http://babelnet.org), FrameNet (https://framenet.icsi.berkeley.edu/fndrupal/), and ImagAct (http://imagact.lablita.it/index.php?lang=en), among others, have been proposed in the last few years and have been successfully employed to bridge the gap between knowledge representations and natural language. However, to cope with contextual access to objects and events involves many additional features still lacking in such resources. Neither shallow representations of NL semantics nor lexical resources alone provide sufficient ground to account for contextual phenomena. Relevant areas include, but are not limited to: events representation and retrieval, event sequences, contextual features representation, trend detection, knowledge discovery, word sense disambiguation, ontology alignment, opinion mining and sentiment analysis, and conceptual similarity, among others. All proposed approaches must address the issue of representation of context, and suitable procedures to use context and context aware meaning representations of objects and events. The ideal submission should provide evidence that context improves the performance of systems on real-world applications and/or provides useful insights and explanations on systems’ output. Topics of Interest Research works submitted to the special issue should foster scientific advances whether and to what extent objects and events representation and processing can be linked to the context where they occur. The following is a tentative list of relevant topics: - theoretical foundations for the use of AI techniques to deal with context and with changing/evolving objects and events; - KR frameworks to represent mutable/evolving objects and events, including formal ontologies, conceptual spaces and distributed representations; - formal methods for reasoning in evolving scenarios; - theoretical, methodological, experimental, and application-oriented aspects of knowledge engineering and knowledge management centered on events and evolving objects; - use cases and application scenarios (e.g., in law, medicine) where contextual information impacts on objects/events representation and processing; - linguistic approaches to context analysis; - context-aware lexical resources to describe objects and events; - context-aware topic and event detection and tracking, knowledge discovery; - context-aware frame semantics; - entity linking and word sense disambiguation; - representation of context in the Semantic Web; - surveys on the adoption of contextual information in Cognitive Science, NLP and Ontological Modeling; - context-based explainable Artificial Intelligence. Timeline - Manuscript Submission Deadline: August 5th 2018; - Acceptance Notification: November 26th 2018; - Final Manuscript Due: February 26th 2019. Submission Guidelines Submission guidelines can be found on the Journal Site, https://www.iospress.nl/journal/applied-ontology/?tab=submission-of-manuscripts This special issue welcomes original high-quality contributions that have been neither published in nor submitted to any journals or refereed conferences. Extended versions of (properly referenced) conference papers should include at least 30% of new material. Please, clearly specify in the cover letter that the paper is to be considered for the special issue on "Meaning in Context: ontologically and linguistically motivated representations of objects and events." Guest Editors Valerio Basile, University of Turin, Italy, basile at di.unito.it Tommaso Caselli, Rijksuniversiteit Groningen, The Netherlands, t.caselli at rug.nl Daniele P. Radicioni, University of Turin, Italy, radicion at di.unito.it : : : : : : : : : : : : : : : : : : : Daniele Radicioni, PhD Department of Computer Science University of Turin Corso Svizzera, 185 10149 - Torino phone: +39 011 6706802 fax: +39 011 751603 http://www.di.unito.it/~radicion From bilhanan.silverajan at tut.fi Mon Jul 23 10:26:09 2018 From: bilhanan.silverajan at tut.fi (Bill Silverajan) Date: Mon, 23 Jul 2018 10:26:09 +0200 Subject: =?UTF-8?Q?CFP_-_Springer_Journal_Special_Issue_on_=e2=80=9cIoT_Secu?= =?UTF-8?Q?rity_and_Privacy=e2=80=9d?= In-Reply-To: <12a994dc-00a0-8177-01e2-b4a2c9491a8e@tut.fi> References: <12a994dc-00a0-8177-01e2-b4a2c9491a8e@tut.fi> Message-ID: Dear All, Please consider submitting to the special issue of International Journal of Information Security on "IoT Security and Privacy". Please find the details described below. Submission deadline is October 1, 2018. We look forward to your submissions! Best regards, Takeshi Takahashi, National Institute of Information and Communications Technology, Japan Rodrigo Roman Castro, Universidad de Málaga, Spain Ryan Ko, University of Waikato, New Zealand Bilhanan Silverajan, Tampere University of Technology, Finland Said Tabet, EMC Corporation, USA (Guest Editors of the special issue of International Journal of Information Security on "IoT Security and Privacy") Call for Papers --------------- Springer International Journal of Information Security Special Issue on “IoT Security and Privacy” https://ijis-si-iotsec.github.io/ https://link.springer.com/journal/10207 The Internet is gradually transforming from a communication platform for conventional IT appliances into the Internet of Things (IoT), increasingly interconnecting many assorted devices and sensors. These devices are generally referred as IoT devices, and many of them are inexpensive and can be constrained in terms of energy, bandwidth and memory. The establishment of IoT ecosystems in various domains is bringing multiple benefits to human users and companies alike. Example of such domains include Smart Homes, Smart Cities, the Industrial Internet and even Intelligent Transportation Systems. However, the IoT as a whole – including related paradigms such as Machine-to-Machine (M2M) and Cyber-Physical Systems (CPS) – is susceptible to a multitude of threats. In fact, many IoT devices currently are insecure and have many security vulnerabilities. For example, many vulnerable IoT devices which have been infected with malware have subsequently become comprised into large botnets, resulting in devastating DDOS attacks. Consequently, ensuring the security of such IoT ecosystems – before, during, and after an attack takes place – is a crucial issue for our society at this moment. This special issue aims to collect contributions by leading-edge researchers from academia and industry, show the latest research results in the field of IoT security and privacy, and provide valuable information to researchers as well as practitioners, standards developers and policymakers. Its aim is to focus on the research challenges and issues in IoT security. Manuscripts regarding novel algorithms, architectures, implementations, and experiences are welcome. Topics include but are not limited to: * Secure protocols for IoT devices * Privacy solutions and privacy helpers for IoT environments * Trust frameworks and secure/private collaboration mechanisms for IoT environments * Secure management and self-healing for IoT environments * Operative systems security for IoT devices * Security diagnosis tools for IoT devices * Threat and vulnerability detection in IoT environments * Anomaly detection and prevention mechanisms in IoT networks * Case studies of malware analysis in IoT environments * IoT forensics and digital evidence * Testbeds and experimental facilities for IoT security analysis and research * Standardization activities for IoT security * Security and privacy solutions tailored to specific IoT domains and ecosystems Submission Guidelines ----------------------- Authors should prepare their manuscripts according to the “Instructions for Authors” guidelines outlined at the journal website: http://www.springer.com/computer/security+and+cryptology/journal/10207 Note that the journal sets no page limit, although we encourage authors to keep their submissions to a length that’s in the ballpark of the accepted articles (unless there are special reasons to submit something longer), i.e., less than 30 pages, in order to expedite the review process. All papers will be peer-reviewed, by following a regular reviewing procedure. Authors are requested to submit their original manuscript via the online submission system. Note that article type ‘S.I. : IOT Security and Privacy’ must be selected on the system in order to be considered for this special issue. Important Dates ---------------- Manuscript Due: October 1, 2018 First Round of Reviews: December 3, 2018 Guest Editors -------------- Takeshi Takahashi, National Institute of Information and Communications Technology, Japan Rodrigo Roman Castro, Universidad de Málaga, Spain Ryan Ko, University of Waikato, New Zealand Bilhanan Silverajan, Tampere University of Technology, Finland Said Tabet, Dell EMC, USA For more information, contact: editors-ijis-si-iotsec (at) googlegroups dot com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From francesco.nocera at poliba.it Thu Jul 26 12:38:35 2018 From: francesco.nocera at poliba.it (Francesco Nocera) Date: Thu, 26 Jul 2018 12:38:35 +0200 Subject: [Deadline approaching] First International Workshop on Ensemble-based Software Engineering (EnSEmble 2018) 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 amal.tawakuli at uni.lu Thu Jul 26 12:38:35 2018 From: amal.tawakuli at uni.lu (Amal TAWAKULI) Date: Thu, 26 Jul 2018 12:38:35 +0200 Subject: Call for Papers: 12th International Rule Challenge 2018 Message-ID: ========================================== Call for Papers: 12th International Rule Challenge 2018 http://2018.ruleml-rr.org/challenge.html Part of Luxembourg Logic for AI Summit (LuxLogAI) NOTE: Extended submission deadline: July 31, 2018 ========================================== ==Topics== The RuleML+RR 2018 Challenge is one of the highlights of the conference, and seeks to provide competition among innovative rule-oriented applications, aimed at both the research and industrial side. Submissions may present demos related to the RuleML+RR 2018 track topics, supply benchmarks and comparison results for rule engines, illustrate rule- and model-driven engineering, report on industrial experience, present real cases and practical experiences, and realize mobile deployment of rule-based reasoning. The best paper/demonstration in the Challenge will receive an award of EUR 500! Key themes of the RuleML 2018 Challenge include, but are not limited to the following: •Rule-based Event Processing and Stream Reasoning •Business Rules Modeling •Graph-Relational Data and Knowledge systems •Higher-Order-Logic and Modal-Logic systems •Rule/Ontology combinations •Modular Rule/Ontology systems •Distributed Rule/Ontology systems •Ontology-Based Data Access (OBDA) systems •Answer Set Programming (ASP) systems •Constraint Logic Programming (CLP) systems •Blockchain rule systems •Defeasible, Argumentation, and Legal systems •(Controlled) Natural language interfaces •Benchmarks and comparison results for rule engines •Distributed rule bases and rule services •Rules and model driven engineering •Reports on industrial experience about rule systems •Real cases and practical experiences •Rules in online market research and online marketing •Rule-based distributed / multi-agent systems •Combining rules with knowledge extraction and information retrieval •Rules and social media •Rule-based automation for asset trading ==Past CEUR-WS Proceedings== •2017 CEUR-WS Vol. 1875 •2016 CEUR-WS Vol. 1620 •2015 CEUR-WS Vol. 1417 •2014 CEUR-WS Vol. 1211 •2013 CEUR-WS Vol. 1004 •2012 CEUR-WS Vol. 874 •2011 CEUR-WS Vol. 799 •2010 CEUR-WS Vol. 649 •2010 CEUR-WS Vol. 549 •2009 CEUR-WS Vol. 549 ==Important Dates== •Paper submission (extended): July 31, 2018 •Notification of acceptance: August 14, 2018 •Camera-ready submission: August 31, 2018 •Challenge: September 18-19, 2018 ==Chairs== •Giovanni De Gasperis (University of L'Aquila, Italy) •Wolgang Faber (Alpen-Adria-Universitaet Klagenfurt, Austria) •Adrian Giurca (BTU Cottbus-Senftenberg, Germany) ==Submissions== The challenge seeks high quality, original papers, potentially referencing online material, and ranging between 5-15 pages. Papers must be original contributions written in English and will be submitted at EasyChair choosing the "Int'l Rule Challenge" track. To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on clarity and significance of objectives and demonstration of results. Submissions should address the following, where applicable: •Explain the objectives, outcomes, benefits as you are going beyond the state of the art in technology, the application domain, etc. •Demonstrate the results with a concrete example balancing conciseness and completeness. •Preferably (but not necessarily) embed the tool in a web-based or distributed environment or a mobile environment. •Present end-user interactions, providing an adequate and usable interface that favours a concrete usage of the application. •Mention the availability of the software and data, data interchange, and possible tool extensions. •Provide a web-link to the project site, online demonstration, or download site. Please upload all submissions in LNCS format. International Rule Challenge 2018 proceedings will be published as CEUR Proceedings and indexed by SCOPUS. =============================== 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 riccardo.zese at unife.it Thu Jul 26 12:38:35 2018 From: riccardo.zese at unife.it (Riccardo Zese) Date: Thu, 26 Jul 2018 12:38:35 +0200 Subject: ILP 2018 - Early Registration Deadline Approaching Message-ID: Apologize for multiple posting. ---------------------------------------------------------------------- ILP 2018 Call for Papers The 28th International Conference on Inductive Logic Programming September 2nd - 4th, Ferrara, Italy http://ilp2018.unife.it/ ---------------------------------------------------------------------- *The early registration deadline (July 28th) is approaching.* 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 expanded its research horizon significantly and welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches. ILP 2018 is also encouraging submissions on (combination with) other areas such as cognitive technologies, neural networks and deep relational learning, knowledge acquisition from big data and the cloud, as well as contributions on the application of any of these solutions to real world problems. CO-LOCATED EVENTS -------------- * ACAI 2018 - Summer School on Statistical Relational Artificial​ ​ Intelligence: http://acai2018.unife.it/ * PLP 2018 - The 5th International Workshop on Probabilistic Logic​ ​ Programming: http://stoics.org.uk/plp/plp2018/ CONFERENCE CHAIR -------------- Fabrizio Riguzzi, University of Ferrara, Italy PROGRAM CO-CHAIRS -------------- Elena Bellodi, University of Ferrara, Italy Riccardo Zese, University of Ferrara, Italy -- Riccardo Zese, PhD DE - Dipartimento di Ingegneria Università di Ferrara Via Saragat 1, I-44122, Ferrara, Italy Tel. +39 0532974827 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Jul 26 12:38:35 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 26 Jul 2018 12:38:35 +0200 Subject: SLSP 2018: call for posters Message-ID: SLSP 2018: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ------------------------------------ The 6th International Conference on Statistical Language and Speech Processing (SLSP 2018) invites researchers to submit poster presentations. SLSP 2018 will be held in Mons (Belgium) on October 15-16, 2018. See  http://slsp2018.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 8, 2018 Notification of poster acceptance or rejection: September 15, 2018 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2018 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2018. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (JCR 2016 impact factor: 1.900). REGISTRATION At least one author of each accepted poster must register to the conference by October 1st, 2018. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tommaso.dinoia at poliba.it Thu Jul 26 12:38:35 2018 From: tommaso.dinoia at poliba.it (Tommaso Di Noia) Date: Thu, 26 Jul 2018 12:38:35 +0200 Subject: Fully funded Ph.D. Positions @ Polytechnic University of Bari Message-ID: Fully funded Ph.D. Positions @ Polytechnic University of Bari The Department of Electrical and Information Engineering at Polytechnic University of Bari invites motivated students to apply for a position in our Ph.D. in Electrical and Information Engineering program. Fully funded positions for three years are proposed on the following main topics: - Artificial Intelligence (with an emphasis on Machine Learning) - Big Data Management and Analysis - Information Retrieval and Recommender Systems - Knowledge Management and the Semantic Web - Natural Language Processing - Blockchain and Distributed Ledger Technologies - Software Engineering and Formal Verification - Internet of Things and Industry 4.0 - Augmented/Mixed/Virtual Reality All the information and the whole procedure to apply are available at http://www.poliba.it/sites/default/files/dottorati/bando_34_ciclo_dottorato_eng.pdf Please note that all Italian public universities require a mandatory public selection process. -- Workplace -- Polytechnic University of Bari - Department of Electrical and Information Engineering - Italy. Politecnico di Bari is a renowned technical university with excellent rankings at a national and international level and the only technical university located in the central-southern part of Italy. Bari is a city with a wonderful climate all year long and with a lively social life. Moreover, the international Bari airport offers connections to key international destinations, including several low-cost airline flights. ---- For any further information, feel free to contact Prof. Tommaso Di Noia (tommaso.dinoia at poliba.it) ---- 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] From rrc2soft at gmail.com Thu Jul 26 12:38:35 2018 From: rrc2soft at gmail.com (Rodrigo Roman) Date: Thu, 26 Jul 2018 12:38:35 +0200 Subject: Special Issue: "Recent Advances in Fog/Edge Computing in Internet of Things" (MDPI Sensors) Message-ID: ============================================================================== Special Issue: "Recent Advances in Fog/Edge Computing in Internet of Things" MDPI Sensors (ISSN 1424-8220), section "Internet of Things" Deadline for manuscript submissions: 31 January 2019 ============================================================================== Dear Colleagues, The rapid growth of mobile applications and the Internet of Things have placed severe demands on cloud infrastructure, which has led to moving computing and data services towards the edge of the cloud, inside the so-called "edge computing". There are multiple instantiations of this concept, such as "fog computing" and "multi-access edge computing". There are several open challenges in various topics related to the interactions between "edge computing" and the Internet of Things. Therefore, this Special Issue solicits papers that cover numerous topics of interest that include, but are not limited to: - Integrated communication and computing design for fog/edge computing-based IoT - Theoretical foundation and models for fog/edge computing-based IoT - Intelligent (real time) data analytics for fog/edge computing-based IoT - Security and privacy in fog/edge computing-based IoT - Machine learning for fog/edge computing-based IoT - Communication and network architecture and protocols for fog/edge computing-based IoT - Data management, decision support and novel services in fog/edge computing-based IoT - Integrated testbed and case studies for fog/edge computing-based IoT More information about this special issue, including the manuscript submission information, can be found at: http://www.mdpi.com/journal/sensors/special_issues/Fog_Edge_IoT Best Regards, Dr. Antonio J. Jara Prof. Dr. Houbing Song Dr. Rodrigo Román-Castro Guest Editors -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: