From scvgdu at unife.it Thu Jun 6 10:46:07 2019 From: scvgdu at unife.it (Guido Sciavicco) Date: Thu, 06 Jun 2019 10:46:07 +0200 Subject: TIME 2019: final call for papers Message-ID: Final CALL FOR PAPERS (extended deadline) ------------------ TIME 2019 26th International Symposium on Temporal Representation and Reasoning Málaga (Spain), 16th-19th October 2019 https://sites.google.com/unife.it/time-2019 *NEWS* - Extended deadline Aims and scope ----------------------------------------------- Since 1994, the TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers in the area of temporal reasoning in Computer Science. TIME 2019 encompasses three tracks, but has a single program committee. The conference will span four days, and will be organized as a combination of technical paper presentations, keynote talks, and tutorials. Tracks: -Time in Artificial Intelligence -Temporal DataBases -Temporal Logic and Reasoning Following a long-standing tradition, submission topics include (but are no limited to): -Temporal aspects of agent- and policy-based systems -Spatial and temporal reasoning -Time in natural language processing -Spatio-temporal knowledge representation systems -Reasoning about actions and change -Planning and planning languages -Ontologies of time and space-time -Belief and uncertainty in temporal knowledge -Temporal learning and discovery -Temporal data models and query languages -Temporal query processing and indexing -Temporal data mining -Time series data management -Stream data management -Spatio-temporal data management, including moving objects -Data currency and expiration -Indeterminate and imprecise temporal data -Temporal constraints -Specification and verification of systems -Verification of web applications -Synthesis and execution -Model checking algorithms and implementations -Verification of infinite-state systems -Reasoning about transition systems -Temporal architectures Submission and publication --------------------------------- TIME 2019 accepts submission in PDF format, not longer than 15 pages excluding references and appendix. The appendix is limited to 5 pages, and the reviewers may or may not taking it into account for their recommendation. Sumissions must be formatted following the LIPIcs instructions, and preferibly redacted in LaTex. Submissions are manged by EasyChair. TIME policy is single blind, so the names of the authors should not be hidden in the submitted draft. Members of the program commettee, excluding the co-chairs, are allowed to submit. Submitted papers will be refereed for quality, correctness, originality, and relevance to the conference. Submissions to TIME 2019 must be original, and parallel submissions of the same material to other conferences or journals is not allowed. Accepted papers will be presented at the symposium and included in the proceedings, which will be published by LIPIcs-Leibniz International Proceedings in Informatics, which is a series of high-quality peer-reviewed conference proceedings, and published according to the principle of OpenAccess. At least one author of each accepted paper must register at the conference and present the paper. Authors of selected papers will be invited to submit an extended version of their contribution to Information&Computation (details below). Important Dates -------------------- Papers due: June 16th, 2019 Notification: July 21st, 2019 Final version deadline: August 15th, 2019 Early bird registration deadline: September 16th, 2019 Symposium: October 16th-19th, 2019 Program Committee Chairs ---------------------------- Guido Sciavicco, University of Ferrara Johann Gamper, Free University of Bozen-Bolzano Sophie Pichinat, University of Rennes 1 Invited Speakers -------------------- Michael Böhlen, Universty of Zurich Estela Saquete Borò, University of Alicante Patricia Bouyer, CNRS Tutorials -------------------- Fabrizio Riguzzi: Temporal Aspects of Inductive Logic Programming Veronique Bruyere: Computer Aided Synthesis: a Game-Theoretic Approach Special Issue -------------------- This year, a selection of authors of accepted papers will be asked to send an extended and improved version of their work to be included in a special issue of the journal Information&Computation (impact factor: 1.077). The submitted work will be subject to review, will have to include all suggestions from the reviews of the conference version of the paper, and will have to complete and improve the conference version of the paper with at least 30% of new material. Venue -------------------- TIME 2019 will take place in Màlaga, Andalucia, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Jun 6 10:46:07 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 06 Jun 2019 10:46:07 +0200 Subject: DeepLearn 2019: early registration June 22 Message-ID: DeepLearn 2019: early registration June 22*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2019   Warsaw, Poland   July 22-26, 2019   Co-organized by:   Institute of Computer Science, Polish Academy of Sciences   IRDTA – Brussels/London   http://deeplearn2019.irdta.eu/   ***************************************************************   --- Early registration deadline: June 22, 2019 ---   ***************************************************************   SCOPE:   DeepLearn 2019 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 3 keynote lectures and 23 four-hour and a half courses, 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 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:   DeepLearn 2019 will take place in Warsaw, whose historical Old Town was designated a UNESCO World Heritage Site. The venue will be:   Global Expo Modlinska 6D 03-216 Warsaw   KEYNOTE SPEAKERS:   Maria-Florina Balcan (Carnegie Mellon University), Data Driven Clustering   Mark Gales (University of Cambridge), Use of Deep Learning in Non-native Spoken English Assessment   Mihaela van der Schaar (University of Cambridge), Learning Engines for Healthcare: Using Machine Learning to Transform Clinical Practice and Discovery   PROFESSORS AND COURSES:   Christopher Bishop (Microsoft Research Cambridge), [introductory] Introduction to the Key Concepts and Techniques of Machine Learning   Aaron Courville (University of Montréal), [introductory/intermediate] Deep Generative Models   Issam El Naqa (University of Michigan), [introductory/intermediate] Deep Learning for Biomedicine   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   Vasant Honavar (Pennsylvania State University), [introductory/intermediate] Causal Models for Making Sense of Data   Qiang Ji (Rensselaer Polytechnic Institute), [introductory/intermediate] Probabilistic Deep Learning for Computer Vision   James Kwok (Hong Kong University of Science and Technology), [introductory/intermediate] Compressing Neural Networks   Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Piotr Bojanowski and Armand Joulin)   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), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Fabio Roli (University of Cagliari), [introductory/intermediate] Adversarial Machine Learning   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing   Alex Smola (Amazon), [introductory] Dive into Deep Learning   Sargur Srihari (University at Buffalo), [intermediate/advanced] Explainable Artificial Intelligence   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines   Bertrand Thirion (INRIA), [introductory] Understanding the Brain with Machine Learning   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Haixun Wang (WeWork), [intermediate] Abstractions, Concepts, and Machine Learning   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Multi-resolution Models for Learning Multilevel Abstract Representations of Text   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Complex Data with Deep 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 July 14, 2019.   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 14, 2019.   EMPLOYER 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 14, 2019.   ORGANIZING COMMITTEE:   Łukasz Kobyliński (Warsaw, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://deeplearn2019.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 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:   Accommodation can be booked at   http://www.deeplearn2019.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:   Institute of Computer Science, Polish Academy of Sciences   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ricardo.campos at ipt.pt Thu Jun 6 10:46:07 2019 From: ricardo.campos at ipt.pt (Ricardo Campos) Date: Thu, 06 Jun 2019 10:46:07 +0200 Subject: 42nd European Conference on Information Retrieval | Lisbon, 2020 | Call for Papers In-Reply-To: References: Message-ID: ===================== ECIR 2020 :: 42nd European Conference on Information Retrieval http://www.ecir2020.org/ Lisbon April 14 -17, 2020 ===================== The European Conference on Information Retrieval is the prime European forum for the presentation of original research in the field of Information Retrieval. ECIR 2020 is seeking high-quality and original submissions on theory, experimentation, and practice regarding the retrieval, representation, management, and usage of textual, visual and multi-modal information. ECIR strongly supports user, system, application, and evaluation focused papers: * User aspects including information interaction, contextualisation, personalisation, simulation, characterisation, and information behaviours. * System aspects including retrieval and recommendation algorithms, machine learning, deep learning, content representation, natural language processing, system architectures, and efficiency methods. * Applications such as search and recommender systems, web and social media apps, domain specific search (professional, bio, chem, etc.), novel interfaces, intelligent search agents/bots, and related innovative search tools. * Evaluation research including new measures and novel methods for the measurement and evaluation of users, systems and/or applications. In addition to these traditional topic areas, ECIR 2020 will be encouraging the submissions of papers on a specialised theme (eHealth, DeepLearning, education IR etc.) Full Paper Track ===================== The Full paper track provides the opportunity for researchers to present their state of the art research in Information Retrieval, which makes, or have the potential to make, a significant contribution to the field. Full paper submissions should be 12 pages in length plus additional pages for references. NEW!!!: As of 2020, a selection of the best papers at ECIR will be published in a special issue of the Information Retrieval Journal. Information Retrieval Journal ===================== Selected papers from ECIR 2020 will be published in a special issue of the Information Retrieval Journal in early 2021. Short Paper Track ===================== The Short Paper Track calls for original contributions presenting novel, thought-provoking ideas and addressing innovative application areas within the field of Information Retrieval. The inclusion of promising (preliminary) results is encouraged but not required. Papers that stimulate and promote discussion are particularly encouraged. Short paper submissions should be 6 pages in length plus additional pages for references. Reproducibility Track ===================== ECIR also strongly encourages the submission of reproducibility papers that repeat and analyze prior work. In particular we solicit classical reproducibility papers, which replicate prior experiments and show how, why, and when the methods work (or not), along with two other types of reproducibility papers: generalizability papers, that focus on assessing how well technology performs in new contexts (e.g., different time, location, access device, task), and predictability papers, that focus on developing theory and methods that assess and evaluate how generalizable methods are and whether they will work in other contexts. Reproducibility submissions are welcome in any of the ares related to aspects of Information Retrieval, and either fits with the classical or alternative types of reproducibility papers. Reproducibility submissions should be 12 pages in length plus additional pages for references. Demonstration Track ===================== The Demo Track provide the opportunity for researchers to present their research prototypes and operational systems which they wish to share with the community, obtain feedback from experts, and exchanges knowledge on implementing and developing such systems. Submissions should clearly define their purpose, scope, and audience. All submissions should provide a URL to a live online version of their demo or, alternatively, provide a URL to a video showcasing the main features of their demo. Demonstrations that make their source code freely available are especially encouraged. Demonstration submissions are welcome in any of the areas related to Information Retrieval (IR), as identified in the Topics of Interest listed above. Demo submissions should be 4 pages in length plus additional pages for references. Submission Guidelines ===================== All submissions must be written in English and be formatted according to the LNCS author guidelines. All papers should be submitted electronically through the conference submission system. Full papers (e.g. main paper track and reproducibility track) are up to 12 pages in length plus additional pages for references, short papers are up to 6 pages in length plus additional pages for references, and demonstration papers are to be 4 pages in length plus additional pages for references. Full paper and short paper submissions will be refereed through double-blind peer review. Demonstration papers will undergo single-blind review. Accepted full papers, short papers, and demo papers will be published in the conference proceedings published in the Springer Lecture Notes in Computer Science series. The proceedings will be distributed to all delegates at the conference. Accepted full papers, short papers, and demos papers will have to be presented at the conference--and at least one author will be required to register. Timeline ===================== Workshop submission: 1 September 2019 Workshop notifications: 1 October 2019 Full paper submission: 1 October 2019 Short paper submission: 15 October 2019 Demo submission: 15 October 2019 Doctoral consortium submission: 15 December 2019 Full/short/demo notifications: 30 November 2019 Camera-ready copy: 27 December 2019 Tutorials submission: 15 November 2019 Tutorials notifications: 15 December 2019 Workshops and tutorials: 14 April 2020 Main Conference: 15-17 April 2020 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From valentina.ivanova at ri.se Thu Jun 6 10:46:07 2019 From: valentina.ivanova at ri.se (Valentina Ivanova) Date: Thu, 06 Jun 2019 10:46:07 +0200 Subject: [CfP] VOILA!2019 @ISWC2019 5th International Workshop on Visualization and Interaction for Ontologies and Linked Data Message-ID: CALL FOR CONTRIBUTIONS VOILA 2019 - Visualization and Interaction for Ontologies and Linked Data 5th International Workshop at ISWC 2019, 18th International Semantic Web Conference October 26 or 27, Auckland, New Zealand http://voila2019.visualdataweb.org -------------------------------------------------- Abstracts Deadline: June 21, 2019 Submission Deadline: June 28, 2019 -------------------------------------------------- We are looking for submissions addressing one or more of the following topics, subjects, and contexts (or related ones): * Topics: - visualizations - user interfaces - visual analytics - requirements analysis - case studies - user evaluations - cognitive aspects * Subjects: - ontologies - linked data - knowledge graphs - ontology engineering (development, collaboration, ontology design patterns, alignment, debugging, evolution, provenance, etc.) * Contexts: - classical interaction contexts (desktop, keyboard, mouse, etc.) - modern interaction contexts (mobile, touch, gesture, speech, etc.) - special settings (large, high-resolution, and multiple displays, etc.) - specific user groups and needs (people with disabilities, domain experts, etc.) Submission Guidelines ========== The following types of contributions are welcome. The recommended page length is given in brackets. There is NO strict page limit but the length of a paper should be commensurate with its contribution. - Full research papers (8-12 pages); - Experience papers (8-12 pages); - Position papers (6-8 pages); - Short research papers (4-6 pages); - System papers (4-6 pages). Accepted papers will be published as a volume in the CEUR Workshop Proceedings series. Important Dates ========== Abstract: June 21, 2019 Submission: June 28, 2019 Notification: July 24, 2019 Camera-ready: August 16, 2019 Workshop: October 26 or 27, 2019 Organizers ========== Catia Pesquita, University of Lisbon, Portugal Patrick Lambrix, Linköping University, Sweden Steffen Lohmann, Fraunhofer IAIS, Germany Valentina Ivanova, RISE Research Institutes of Sweden, Sweden Vitalis Wiens, University of Bonn, Fraunhofer IAIS & TIB, Germany Looking forward to your submissions & meeting you there! Catia, Patrick, Steffen, Valentina, and Vitalis -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From paliourg at iit.demokritos.gr Mon Jun 10 12:20:43 2019 From: paliourg at iit.demokritos.gr (George Paliouras) Date: Mon, 10 Jun 2019 12:20:43 +0200 Subject: Call for papers: BioASQ workshop 2019 Message-ID: [please distribute - apologies for multiple postings ] One week left for paper submission for the BioASQ Workshop! Call for papers BioASQ: biomedical semantic indexing and question answering http://bioasq.org/workshop Workshop at ECML PKDD 2019 September 20, 2019 Würzburg, Germany AIM ************************************* BioASQ aims to push for a solution to the information access problem of biomedical experts, by tackling various tasks in the biomedical QA process: 1. large-scale classification of biomedical documents onto ontology concepts (semantic indexing), 2. classification of biomedical questions onto relevant concepts, 3. retrieval of relevant document snippets, concepts and knowledge base triples, and 4. delivery of the retrieved information in a concise and user-understandable form. The aim of the BioASQ workshop is to bring experts from these domains together in order to push the research frontier towards hybrid information systems that will be able to deal with the whole diversity of the Web, especially for, but not restricted to the context of bio-medicine. During the workshop, the results of the BioASQ challenge will also be presented. For the last seven years, the series of BioASQ challenges and workshops keeps providing an excellent opportunity for researchers around the world to communicate and discuss established and novel approaches on biomedical semantic indexing, information retrieval, knowledge extraction and question answering. DATASETS ************************************* BioASQ provides and regularly updates benchmark datasets for both tasks of the BioASQ challenge: • Task A on large-scale biomedical semantic indexing uses benchmark datasets consisting of more than 13,000,000 articles annotated with MeSH topics. • Task B on biomedical information retrieval and question answering uses benchmark datasets consisting of more than 3,200 development and test questions along with gold standard annotations and answers. All the datasets are available in the BioASQ participants area platform http://participants-area.bioasq.org/ TOPICS ************************************* The topics of interest include (but are not restricted to): • Large-scale hierarchical text classification • Large-scale classification of documents onto ontology concepts (semantic indexing) • Classification of questions onto ontological concepts Scalable approaches to document clustering • Text summarization, especially multi-document and query-focused summarization • Verbalization of structured information and related queries (RDF, OWL, SPARQL, etc.) • Question Answering over structured, semi-structured and unstructured data • Reasoning for information retrieval and question answering • Information retrieval over fragmented sources of information • Efficient indexing and storage structures for information retrieval • Delivery of the retrieved information in a concise and user-understandable form VENUE ************************************* The seventh BioASQ workshop will be held as an independent workshop at the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD 2019) in Würzburg, Germany. SUBMISSION ************************************** Papers must be written in English and formatted according to the Springer LNCS guidelines. Author instructions, style files and the copyright form can be downloaded here: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines Each long paper submission should consist of twelve to sixteen (12-16) pages and each short paper of six to nine (6-9) pages, including references. The proceedings of the workshop will be distributed as LNCS proceedings. Paper submission is done via easychair: https://easychair.org/conferences/?conf=bioasq2019 IMPORTANT DATES ************************************** June 14, 2019: Submission of Papers for BioASQ Workshop. July 19, 2019: Notification of Acceptance. July 26, 2019: Camera-Ready Copy of Papers for BioASQ Workshop. September 20, 2019: BioASQ workshop, at ECML PKDD 2019. The important dates of the workshop can also be found here: http://bioasq.org/workshop/important_dates REGISTRATION ************************************** Registration is mandatory, please visit: http://ecmlpkdd2019.org/attending/registration/ Looking forward to seeing you there, BioASQ Organizers: • Georgios Paliouras, NCSR "Demokritos", Greece and University of Houston, USA • Anastasia Krithara, NCSR "Demokritos", Greece • Anastasios Nentidis, NCSR "Demokritos", Greece and Aristotle University of Thessaloniki, Greece --- This email has been checked for viruses by AVG. https://www.avg.com _______________________________________________ EETN mailing list EETN at iit.demokritos.gr https://lists.iit.demokritos.gr/mailman/listinfo/eetn From hubie.chen at ehu.eus Mon Jun 10 12:20:43 2019 From: hubie.chen at ehu.eus (HUBERT MING CHEN) Date: Mon, 10 Jun 2019 12:20:43 +0200 Subject: PhD position - Birkbeck, University of London Message-ID: Applications are currently invited for a Graduate Teaching Assistant, in the Department of Computer Science & Information Systems, Birkbeck, University of London. This position would support the pursuit of a Ph.D. degree. There are a number of faculty members in the department working on theoretical computer science and related topics (a full list of faculty is available at https://www.dcs.bbk.ac.uk/about/people/academic-staff/) and we would welcome applications from those interested in pursuing this area. To apply, one needs to follow the instructions given at: https://cis7.bbk.ac.uk/vacancy/graduate-teaching-assistant-387971.html#utm_source=jobsacuk&utm_medium=jobboard&utm_content=387971&utm_campaign=online_recruitment From david_g_mitchell at sfu.ca Mon Jun 10 12:20:43 2019 From: david_g_mitchell at sfu.ca (David Mitchell) Date: Mon, 10 Jun 2019 12:20:43 +0200 Subject: LaSh 2019 Workshop on Logic and Search: Call for Contributions Message-ID: Call for Contributions LaSh 2019 Workshop on Logic and Search, Associated with SAT 2019 July 8 2019, Lisboa Portugal http://www.logicandsearch.org/LaSh2019/ The LaSh Workshops on Logic and Search are devoted to the study of logic-based methods for solving search and optimization based on declarative problem specifications or representations. Relevant work comes from research communities focused on satisfiability-based problem solving, constraint-based modelling and solving, knowledge representation and reasoning, theorem proving, descriptive complexity, model checking, and query answering. For further information on LaSh workshops (e.g., programs of previous LaSh workshops) please see the LaSh web page, www.logicandsearch.org. Topics of Interest include: Specification and Modelling Languages: Design, Analysis, Application Ground Languages and Solvers: SAT; SMT; ASP; ILP; etc. Reductions: e.g., theory of good reductions; empirical studies Interpretations and Transductions in problem solving Grounding: e.g., Efficient, Lazy and incremental grounding Structural Properties of Instances: e.g., tractabible families Reformulation and Specifiction-Level Reasoning Descriptive Complexity and experiments with finite model finding Declarative Dynamic Programming Applications and System Descriptions Submission: April 23. Notification: May 12. Workshop: July 18, 19. Those interested in presenting at LaSh should submit a paper, query, extended abstract, or desciption of a proposed talk by email to lash2019 at logicandsearch.org as soon as possible, and no later than June 18. LaSh Steering Committee Marc Denecker, Katholieke Universitat Leuven Victor Marek, University of Kentucky David Mitchell, Simon Fraser University Eugenia Ternvoska, Simon Fraser University Mirek Truszczynski, University of Kentucky --------------- From geoff at cs.miami.edu Mon Jun 10 12:20:43 2019 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 10 Jun 2019 12:20:43 +0200 Subject: ARCADE 2019 - submission deadline extension Message-ID: The submission deadline of ARCADE 2019 has been extended to 23 June 2019! ARCADE is a lively informal workshop, intended to discuss ideas, challenges and directions related to the future of automated reasoning. Make it more interesting and fun by contributing your ideas! *** CALL FOR PAPERS *** ARCADE http://arcade2019.net/ Automated Reasoning: Challenges, Applications, Directions, Exemplary achievements 26 August 2019, Natal, Brazil (co-located with CADE-27) DESCRIPTION: The main goal of this workshop is to bring together key people from various subcommunities of automated reasoning---such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving---to discuss the present, past, and future of the field. The intention is to provide an opportunity to discuss broad issues facing the community. The structure of the workshop will be informal. We invite extended abstracts (2-4 pages, using the EasyChair class style http://www.easychair.org/publications/for_authors) in the form of non-technical position statements aimed at prompting lively discussion. The title of the workshop is indicative of the kind of discussions we would like to encourage: Challenges: What are the next grand challenges for research on automated reasoning? Thereby, we refer to problems, solving which would imply a significant impact (e.g., shift of focus) on the CADE community and beyond. Applications: Where is automated reasoning applicable in real-world (industrial) scenarios? Which directions should be pursued to open new application domains? Directions: Based on the grand challenges and requirements from real-world applications, what are the research directions the community should promote? What bridges between the different subcommunities of automated reasoning need to be strengthened? What new communities should be included (if at all)? Exemplary achievements: What are the landmark achievements of automated reasoning whose influence reached far beyond the CADE community itself? What can we learn from those successes when shaping our future research? Input from our community raised exciting questions like the following: - What is the role of automated reasoning in AI, and vice versa? - How can AR help to obtain explainable AI? - What can full first-order logic as opposed to SAT/SMT do for verification? - How to identify relevant facts from large knowledge bases? - How can provers exploit semantic knowledge? - How can we ensure reliability of formal verification tools? - How can we attract young people to our field? in addition to many other intriguing issues (see http://arcade2019.net/#topics for an extensive collection). But we are most interested in your take on the upcoming challenges! At the event, contributions will be grouped into similar themes and authors will be invited to make their case within discussion panels. After the workshop, they will be welcome to extend their abstracts for inclusion in an EPiC post-proceedings, taking into account the discussion. Submissions are to be made via the following EasyChair link: https://easychair.org/conferences/?conf=3Darcade2019 IMPORTANT DATES (Anywhere on Earth): New submission deadline: 23 June 2019 New notification: 7 July 2019 Workshop: 26 August 2019 Post-proceedings deadline: 29 September 2019 PROGRAM COMMITTEE: Franz Baader, TU Dresden Christoph Benzmueller, Freie Universitaet Berlin Armin Biere, Johannes Kepler University Linz Nikolaj Bjorner, Microsoft Research Jasmin Christian Blanchette, Inria Nancy & LORIA Maria Paola Bonacina, Universite degli Studi di Verona Pascal Fontaine, LORIA, Inria, University of Lorraine Silvio Ghilardi, Universite degli Studi di Milano Jurgen Giesl, RWTH Aachen Alberto Griggio, FBK-IRST Reiner Hahnle,TU Darmstadt Marijn Heule, The University of Texas at Austin Cezary Kaliszyk, University of Innsbruck Laura Kovacs, Vienna University of Technology Aart Middeldorp, University of Innsbruck Neil Murray, SUNY at Albany David Plaisted, University of North Carolina at Chapel Hill Andrei Popescu, Middlesex University London Renate Schmidt, The University of Manchester Stephan Schulz, DHBW Stuttgart Martin Suda, Czech Technical University (co-chair) Geoff Sutcliffe, University of Miami Josef Urban, Czech Technical University Christoph Weidenbach, Max Planck Institute for Informatics Sarah Winkler, University of Innsbruck (co-chair) From Cassia.Trojahn at irit.fr Mon Jun 10 12:20:43 2019 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Mon, 10 Jun 2019 12:20:43 +0200 Subject: CfP JWS special issue on Benchmarking Semantic Web Solutions =?utf-8?q?=3A?= 31st August 2019 Message-ID: (Apologies for multiple postings) ----------------------------------------------------- * Special Issue of the JWS on Benchmarking Semantic Web Solutions * ** Call for Papers ** The availability of benchmarks is often regarded as a prerequisite for sustainable developments in quantitative research. From a practical perspective, the cost and effort required for introducing Semantic Web and Linked Data technology is significant. A key step towards abolishing the barriers to the adoption and deployment of this technology is to provide open benchmarking reports that allow users to assess the fitness of existing solutions for their purposes. In this special issue, we hence welcome articles (1) proposing benchmarks and related platforms, and/or (2) performing a throughout evaluation of Semantic Web solutions. A focus of the special issue will be scalability and reproducibility. The target topics of the benchmark/evaluation include (but are not limited to): Knowledge extraction Named entity recognition Disambiguation Relation extraction Open and closed knowledge extraction Link discovery and prediction Linking at scale Linking for dedicated data types (e.g., geospatial data) Knowledge curation and fact checking Ontology alignment Alignment discovery Alignment repair Complex ontology alignment Tabular data to knowledge graph matching Cell to KG entity matching Column to KG semantic type Relation discovery among table columns KG population OWL reasoning Classification Entailment checking Class satisfiability Ontology satisfiability Query answering Knowledge graph completion Semantic embeddings Quality of embeddings Ontology Based Data Access Performance Relational schema to ontology alignment Visualization Browsing ** Important Dates ** Intention to submit: 31st July 2019, 23:59 PM Hawaii-Time Submission deadline: 31st August 2019 Author notification (1st round): 15th October 2019 Revisions due: 15th November 2019 Publication: Q1 2020 ** Guest Editors ** - Axel Ngonga, Paderborn University (Germany) (axel.ngonga at uni-paderborn.de) - Cassia Trojahn dos Santos, Institut de Recherche en Informatique de Toulouse (France) (cassia.trojahn at irit.fr) - Ernesto Jimenez-Ruiz, The Alan Turing Institute (UK) and University of Oslo (Norway) (ernesto.jimenez.ruiz at gmail.com) - Main contact point - Valentina Tamma, University of Liverpool (UK) (V.Tamma at liverpool.ac.uk) From Cassia.Trojahn at irit.fr Mon Jun 10 12:20:43 2019 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Mon, 10 Jun 2019 12:20:43 +0200 Subject: CfP JWS special issue on Benchmarking Semantic Web Solutions =?utf-8?q?=3A?= 31st August 2019 Message-ID: (Apologies for multiple postings) ----------------------------------------------------- * Special Issue of the JWS on Benchmarking Semantic Web Solutions * ** Call for Papers ** The availability of benchmarks is often regarded as a prerequisite for sustainable developments in quantitative research. From a practical perspective, the cost and effort required for introducing Semantic Web and Linked Data technology is significant. A key step towards abolishing the barriers to the adoption and deployment of this technology is to provide open benchmarking reports that allow users to assess the fitness of existing solutions for their purposes. In this special issue, we hence welcome articles (1) proposing benchmarks and related platforms, and/or (2) performing a throughout evaluation of Semantic Web solutions. A focus of the special issue will be scalability and reproducibility. The target topics of the benchmark/evaluation include (but are not limited to): Knowledge extraction Named entity recognition Disambiguation Relation extraction Open and closed knowledge extraction Link discovery and prediction Linking at scale Linking for dedicated data types (e.g., geospatial data) Knowledge curation and fact checking Ontology alignment Alignment discovery Alignment repair Complex ontology alignment Tabular data to knowledge graph matching Cell to KG entity matching Column to KG semantic type Relation discovery among table columns KG population OWL reasoning Classification Entailment checking Class satisfiability Ontology satisfiability Query answering Knowledge graph completion Semantic embeddings Quality of embeddings Ontology Based Data Access Performance Relational schema to ontology alignment Visualization Browsing ** Important Dates ** Intention to submit: 31st July 2019, 23:59 PM Hawaii-Time Submission deadline: 31st August 2019 Author notification (1st round): 15th October 2019 Revisions due: 15th November 2019 Publication: Q1 2020 ** Guest Editors ** - Axel Ngonga, Paderborn University (Germany) (axel.ngonga at uni-paderborn.de) - Cassia Trojahn dos Santos, Institut de Recherche en Informatique de Toulouse (France) (cassia.trojahn at irit.fr) - Ernesto Jimenez-Ruiz, The Alan Turing Institute (UK) and University of Oslo (Norway) (ernesto.jimenez.ruiz at gmail.com) - Main contact point - Valentina Tamma, University of Liverpool (UK) (V.Tamma at liverpool.ac.uk) From frank.loebe at informatik.uni-leipzig.de Thu Jun 13 09:50:02 2019 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Thu, 13 Jun 2019 09:50:02 +0200 Subject: ODLS 2019: Final CfP, by June 15 (Ontologies and Data in Life Sciences; part of JOWO 2019, Sep 23-25, Graz, Austria) Message-ID: (apologies for cross-posting ... please distribute) ------------------------------------------------------- Final Call for Papers >> ODLS 2019 << Submission deadline: June 15, 2019 (UTC-12) !STRICT! https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2019-ODLS UPDATES in this CfP compared to the previous one: * registration remains open for new submissions until June 15 * time zone UTC-12 / "Anywhere on Earth" applies to all deadlines ------------------ Workshop on Ontologies and Data in Life Sciences (ODLS 2019) held as part of the Joint Ontology Workshops (JOWO 2019) September 23-25, 2019 Graz, Austria Scope and Goals of the Workshop ------------------------------- Medicine, biology and life sciences produce hardly manageable and often incomprehensible amounts of data, information, and knowledge. Their computer-based retrieval, processing, integration, as well as their conceptual foundation, application, and reuse present ever new challenges to existing methods of knowledge representation, data bases, and data analysis and retrieval. In the life sciences, enormous data sets are being produced in connection with biological and medical experiments, e.g. by high-throughput methods, aiming to unravel biological interconnections for a better understanding in order to offer patients the best possible therapies. Data management and data processing in the life sciences and in health care demand sophisticated methods and solutions for the integration and usage of distributed, heterogeneous data. This workshop covers the overall spectrum of biomedical information management, from experimental data acquisition and preprocessing across analysis, structuring and interpretation of data, up to developing structured representations of knowledge, in particular in the form of ontologies, with their various applications. The aims of this workshop are to exchange ideas, to discuss new results and applications as well as to inspire cooperation. The workshop has an interdisciplinary character. It fosters the collaboration between ontologists, computer scientists, bio-informaticians, medical information scientists, philosophers, and applied logicians, as well as the cooperation with physicians, bio-chemists, and biometricians. Scientists, professionals as well as students in academia and industry are welcome to share their knowledge and experience at ODLS. As in 2017, ODLS is part of the Joint Ontology Workshops (JOWO) [2]. This yields a stimulating environment of several thematically close workshops and tutorials, including shared keynote talks and possibly further joint sessions, thereby raising interdisciplinary exchange to a new level. Topics ------ The following topics are all of equal relevance to the workshop, while the list is not exhaustive. Submissions regarding other related or similar topics are likewise welcome. * Ontologies and ontological analysis in biology, medicine and clinical research, e.g. * Ontologies for biological or medical phenotypes * Ontologies for biochemistry, neuro-biology, ecology * Process ontologies in systems biology and medicine * Ontologies for the specification of clinical trial data * Foundational ontologies (with indicated applications in life sciences), e.g. of time and space, properties, roles, functions, material objects * Medical terminologies and their applications * Linking ontologies to terminologies, models and data standards * Methods and tools for the development, management and application of ontologies, e.g. * Ontology crossreferencing, mapping, integration and evolution * Quality assurance, best practices and evaluation of ontologies * Provenance, audit and evidence ontologies in life sciences * Ontology learning and refinement, e.g. by text mining * Ontology portals and libraries * Integrative data semantics * Semantic or ontology-based data annotation, enrichment, analysis and interpretation * Data management methods and systems in biology, medicine and health care, e.g. for * Heterogeneity and integration of data, including of Linked Data and Big Data * Management, retrieval and sharing of big data and/or complex data sets * Curation, analysis and visualization of data in life sciences * Omics-data for diagnosis and therapy * Biomedical metadata and metadata management * Generic transformation of clinical data into Semantic Web standards * Data protection of clinical data * Text mining and transformation of unstructured into structured data * Use of biomedical ontologies in text mining * Applications of biomedical ontologies in the Semantic Web, for Linked Open Data or Big Data * Life sciences applications enabled by the Semantic Web or Linked Open Data Important Dates --------------- [all dates in 2019] Submission of contributions 1. register title and abstract paragraph(s) June 15 (Sat) extended 2. submission of contribution(s) June 15 (Sat) !STRICT! Author notification July 19 (Fri) Submission of camera-ready version August 13 (Tue) Registration for ODLS/JOWO (TBA by JOWO) ODLS Workshop during September 23-25 (Mon-Wed) All deadlines assume as time zone UTC-12 / "Anywhere on Earth". Please NOTE: The submission deadline includes no further room for extensions and adheres to (updated) constraints imposed by JOWO. Registering planned contributions was a new requirement for all JOWO workshops as of May 08, 2019. It suffices to specify a title and abstract paragraph(s), both of which can be tentative, but should be indicative of the coming submission. EasyChair remains open for new registrations until the actual submission deadline, but it will be helpful if planned submissions are registered as early as possible. Submission Instructions ----------------------- The primary type of submissions called for the workshop are (i) papers of 5-12 pages. Any such length is equally welcome, including all references and a required abstract of at most 300 words. In addition, (ii) extended abstracts of 2-4 pages are another type of acceptable submissions in order to ease participation and presentation at the workshop, but extended abstracts may not be included in the proceedings eventually. Papers are expected to present previously unpublished work, whereas extended abstracts may also cover recent work that has been accepted or presented elsewhere. Authors submit their contributions via EasyChair to JOWO 2019 [3], selecting the relevant track for ODLS. [3] https://easychair.org/conferences/?conf=jowo2019 Contributions must be delivered in English, non-anonymously and as a single PDF file. The formatting for all workshops of JOWO 2019 shall comply with the IOS Press formatting guidelines for book authors. Templates [4] are available for LaTeX as well as for Microsoft Word. Accepted papers will be made freely available in a joint JOWO volume of CEUR Workshop Proceedings, published in the IAOA Series [5]. After the workshop authors of selected contributions will be invited to submit extended versions to the Journal of Biomedical Semantics (JBMS) [6]. These manuscripts must also be written in English and will be re-reviewed. Scientific Organization ----------------------- ODLS 2019 is associated with the workgroup Ontologies in Medicine and Life Sciences (OBML) [7] within the German Informatics Society (GI), and it relates to the International Association for Ontology and its Applications (IAOA) [8] by being part of JOWO 2019 [2]. Scientific Organizers: * Martin Boeker, University of Freiburg, Germany * Ludger Jansen, University of Rostock, Germany * Frank Loebe, University of Leipzig, Germany <-- main contact * Stefan Schulz, Medical University of Graz, Austria Program Committee ----------------- * Adrien Barton, Toulouse Institute of Computer Science Research (IRIT), France * Martin Boeker, University of Freiburg, Germany * Jesualdo Tomas Fernandez-Breis, University of Murcia, Spain * Fred Freitas, Federal University of Pernambuco (UFPE), Recife, Brazil * Heinrich Herre, University of Leipzig, Germany * Robert Hoehndorf, King Abdullah University of Science and Technology (KAUST), Thuwal, Saudi Arabia * Ralf Hofestaedt, Bielefeld University, Germany * Ludger Jansen, University of Rostock, Germany * Toralf Kirsten, Mittweida University of Applied Sciences, Germany * Frank Loebe, University of Leipzig, Germany * Phillipp Lord, Newcastle University, UK * Mariana Neves, Federal Institute for Risk Assessment, Berlin, Germany * Axel-Cyrille Ngonga Ngomo, Paderborn University, Germany * Daniel Schober, Matter Wave Semantics, Suedharz, Germany * Stefan Schulz, Medical University Graz, Austria * Aleksandra Sojic, Institute of Biomedical Technologies, National Research Council (ITB-CNR), Milano, Italy * Holger Stenzhorn, University Hospital Tuebingen, Germany * Robert Stevens, University of Manchester, UK * Dagmar Waltemath, University of Greifswald, Germany < 5 further inquiries still pending > Location and Local Organization ------------------------------- The workshop is part of JOWO 2019 [2], which is hosted by the Medical University of Graz, Austria [9]. Local Organizers: * Pablo Lopez-Garcia * Catalina Martinez Costa <-- main local contact * Jose Antonio Minarro Gimenez * Stefan Schulz Thematically Related Tutorials at JOWO 2019 ------------------------------------------- At least two of the five tutorials offered at JOWO 2019 [10] are highly related to some topics of ODLS: * Semantic similarity and machine learning with ontologies [11] Organizer: Robert Hoehndorf, KAUST, Thuwal, Saudi-Arabia * SNOMED CT Tutorial Organizer: Stefan Schulz, Medical University of Graz, Austria The remaining three tutorials at JOWO [10] may also be interest. Links ----- [1] ODLS 2019 Workshop https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2019-ODLS [2] JOWO 2019 website https://iaoa.org/jowo/2019/ [3] JOWO 2019 conference in EasyChair https://easychair.org/conferences/?conf=jowo2019 [4] IOS Press templates for book authors https://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/ [5] CEUR Workshop Proceedings: IAOA Series http://ceur-ws.org/iaoa.html [6] Journal of Biomedical Semantics https://jbiomedsem.biomedcentral.com/ [7] OBML workgroup https://wiki.imise.uni-leipzig.de/Gruppen/OBML [8] IAOA https://iaoa.org/ [9] Local organization: Medical University of Graz https://www.medunigraz.at/en/ [10] JOWO 2019 Tutorials https://iaoa.org/jowo/jowo2019tutorials.html [11] Semantic similarity and machine learning with ontologies https://github.com/bio-ontology-research-group/ontology-tutorial From Cassia.Trojahn at irit.fr Thu Jun 13 09:50:02 2019 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Thu, 13 Jun 2019 09:50:02 +0200 Subject: =?utf-8?q?=5BOM-2019=5D?= Final call for papers =?utf-8?q?=28deadline?= June =?utf-8?q?28th=29?= In-Reply-To: <1c5e-5cf90780-447-18e57040@102939872> Message-ID: ----------------------------------------------------------------------------- FINAL CALL FOR CONTRIBUTIONS THE SUBMISSION DEADLINE IS APPROACHING ON JUNE 28TH, 2019 ------------------------------------------------------------------------------ The Fourteenth International Workshop on ONTOLOGY MATCHING (OM-2019) http://om2019.ontologymatching.org/ October 26th or 27th, 2019, ISWC Workshop Program, Auckland, New Zealand BRIEF DESCRIPTION AND OBJECTIVES Ontology matching is a key interoperability enabler for the Semantic Web, as well as a useful technique in some classical data integration tasks dealing with the semantic heterogeneity problem. It takes ontologies as input and determines as output an alignment, that is, a set of correspondences between the semantically related entities of those ontologies. These correspondences can be used for various tasks, such as ontology merging, data interlinking, query answering or process mapping. Thus, matching ontologies enables the knowledge and data expressed with the matched ontologies to interoperate. The workshop has three goals: 1. To bring together leaders from academia, industry and user institutions to assess how academic advances are addressing real-world requirements. The workshop will strive to improve academic awareness of industrial and final user needs, and therefore, direct research towards those needs. Simultaneously, the workshop will serve to inform industry and user representatives about existing research efforts that may meet their requirements. The workshop will also investigate how the ontology matching technology is going to evolve, especially with respect to data interlinking, process mapping and web table matching tasks. 2. To conduct an extensive and rigorous evaluation of ontology matching and instance matching (link discovery) approaches through the OAEI (Ontology Alignment Evaluation Initiative) 2019 campaign: http://oaei.ontologymatching.org/2019/ 3. To examine new uses, similarities and differences from database schema matching, which has received decades of attention but is just beginning to transition to mainstream tools. This year, in sync with the main conference, we encourage submissions specifically devoted to: (i) datasets, benchmarks and replication studies, services, software, methodologies, protocols and measures (not necessarily related to OAEI), and (ii) application of the matching technology in real-life scenarios and assessment of its usefulness to the final users. TOPICS of interest include but are not limited to: Business and use cases for matching (e.g., big, open, closed data); Requirements to matching from specific application scenarios (e.g., public sector, homeland security); Application of matching techniques in real-world scenarios (e.g., with environmental data); Formal foundations and frameworks for matching; Matching and knowledge graphs; Matching and deep learning; Matching and embeddings; Matching and big data; Matching and linked data; Instance matching, data interlinking and relations between them; Privacy-aware matching; Process model matching; Large-scale and efficient matching techniques; Matcher selection, combination and tuning; User involvement (including both technical and organizational aspects); Explanations in matching; Social and collaborative matching; Uncertainty in matching; Reasoning with alignments; Alignment coherence and debugging; Alignment management; Matching for traditional applications (e.g., data science); Matching for emerging applications (e.g., web tables, knowledge graphs). SUBMISSIONS Contributions to the workshop can be made in terms of technical papers and posters/statements of interest addressing different issues of ontology matching as well as participating in the OAEI 2019 campaign. Long technical papers should be of max. 12 pages. Short technical papers should be of max. 5 pages. Posters/statements of interest should not exceed 2 pages. All contributions have to be prepared using the LNCS Style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 and should be submitted in PDF format (no later than June 28th, 2019) through the workshop submission site at: https://www.easychair.org/conferences/?conf=om2019 Contributors to the OAEI 2019 campaign have to follow the campaign conditions and schedule at http://oaei.ontologymatching.org/2019/. DATES FOR TECHNICAL PAPERS AND POSTERS: June 28th, 2019: Deadline for the submission of papers. July 24th, 2019: Deadline for the notification of acceptance/rejection. August 26th, 2019: Workshop camera ready copy submission. October 26th or 27th, 2019: OM-2019, Auckland, New Zealand. Contributions will be refereed by the Program Committee. Accepted papers will be published in the workshop proceedings as a volume of CEUR-WS as well as indexed on DBLP. ORGANIZING COMMITTEE 1. Pavel Shvaiko (main contact) Trentino Digitale, Italy 2. Jerome Euzenat INRIA & Univ. Grenoble Alpes, France 3. Ernesto Jimenez-Ruiz The Alan Turing Institute, UK & University of Oslo, Norway 4. Oktie Hassanzadeh IBM Research, USA 5.Cassia Trojahn IRIT, France PROGRAM COMMITTEE: Alsayed Algergawy, Jena University, Germany Manuel Atencia, INRIA & Univ. Grenoble Alpes, France Zohra Bellahsene, LIRMM, France Jiaoyan Chen, University of Oxford, UK Valerie Cross, Miami University, USA Jerome David, University Grenoble Alpes & INRIA, France Gayo Diallo, University of Bordeaux, France Warith Eddine Djeddi, LIPAH & LABGED, Tunisia AnHai Doan, University of Wisconsin, USA Alfio Ferrara, University of Milan, Italy Marko Gulic, University of Rijeka, Croatia Wei Hu, Nanjing University, China Ryutaro Ichise, National Institute of Informatics, Japan Antoine Isaac, Vrije Universiteit Amsterdam & Europeana, Netherlands Simon Kocbek, University of Melbourne, Australia Prodromos Kolyvakis, EPFL, Switzerland Patrick Lambrix, Linkpings Universitet, Sweden Oliver Lehmberg, University of Mannheim, Germany Vincenzo Maltese, University of Trento, Italy Fiona McNeill, University of Edinburgh, UK Christian Meilicke, University of Mannheim, Germany Peter Mork, MITRE, USA Andriy Nikolov, Metaphacts GmbH, Germany Axel Ngonga, University of Paderborn, Germany George Papadakis, University of Athens, Greece Catia Pesquita, University of Lisbon, Portugal Henry Rosales-Mendez, University of Chile, Chile Juan Sequeda, Capsenta, USA Kavitha Srinivas, IBM, USA Giorgos Stoilos, National Technical University of Athens, Greece Pedro Szekely, University of Southern California, USA Valentina Tamma, University of Liverpool, UK Ludger van Elst, DFKI, Germany Xingsi Xue, Fujian University of Technology, China Ondrej Zamazal, Prague University of Economics, Czech Republic Songmao Zhang, Chinese Academy of Sciences, China ------------------------------------------------------- From irdta at irdta.eu Thu Jun 13 09:50:02 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 13 Jun 2019 09:50:02 +0200 Subject: TPNC 2019: 2nd call for papers Message-ID: TPNC 2019: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **************************************************************************** 8th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2019   Kingston, Canada   December 9-11, 2019   Co-organized by:   Royal Military College of Canada   Institute for Research Development, Training and Advice Brussels / London   http://tpnc2019.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 2019 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 2019 will take place in Kingston, a city midway between Toronto and Montréal with an important military history. The venue will be:   Royal Military College of Canada Kingston, Ontario Canada K7K 7B4   https://www.rmc-cmr.ca/en   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   ant colony optimization artificial immune systems artificial life cellular automata cognitive computing collective behaviour collective intelligence computational intelligence computing with words developmental systems DNA computing DNA nanotechnology evolutionary algorithms evolutionary computing 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 networks quantum communication quantum computing quantum information rough sets self-organization soft computing swarm intelligence unconventional computing   - 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 2019 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE:   Mohammad Amin (D-Wave Systems, CA) Plamen P. Angelov (Lancaster University, UK) Thomas Bäck (Leiden University, NL) Peter Bentley (University College London, UK) Mauro Birattari (Université Libre de Bruxelles, BE) Christian Blum (Higher Scientific Research Council, ES) Shyi-Ming Chen (National Taiwan University of Science and Technology, TW) Carlos A. Coello Coello (CINVESTAV – National Polytechnic Institute, MX) Claude Crépeau (McGill University, CA) Marco Dorigo (Université Libre de Bruxelles, BE) Matthias Ehrgott (Lancaster University, UK) Andries Engelbrecht (Stellenbosch University, ZA) Juan José García-Ripoll (Higher Scientific Research Council, ES) Deborah M. Gordon (Stanford University, US) Jin-Kao Hao (University of Angers, FR) Wei-Chiang Samuelson Hong (Jiangsu Normal University, CN) Thomas R. Ioerger (Texas A&M University, US) Etienne E. Kerre (Ghent University, BE) Chung-Sheng Li (Accenture, IE) Gui Lu Long (Tsinghua University, CN) Chao-Yang Lu (University of Science and Technology of China, CN) Pabitra Kumar Maji (Bidhan Chandra College, IN) Vittorio Maniezzo (University of Bologna, IT) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Luis Martínez López (University of Jaén, ES) Serge Massar (Université Libre de Bruxelles, BE) Marjan Mernik (University of Maribor, SI) Hossein Nezamabadi-Pour (Shahid Bahonar University of Kerman, IR) Norman Packard (Daptics, US) Sidhartha Panda (Veer Surendra Sai University of Technology, IN) Elpiniki Papageorgiou (University of Applied Sciences of Thessaly, GR) Geoffrey Pond (Royal Military College of Canada, CA) Kai (Alex) Qin (Swinburne University of Technology, AU) Celso C. Ribeiro (Fluminense Federal University, BR) José Santos-Victor (Instituto Superior Técnico, PT) Shahab Shamshirband (Norwegian University of Science and Technology, NO) Narasimhan Sundararajan (Nanyang Technological University, SG) José Luis Verdegay (University of Granada, ES) Fernando J. Von Zuben (University of Campinas, BR) Xin-She Yang (Middlesex University, UK) Bo Yuan (Rochester Institute of Technology, US) Yi Zhang (Sichuan University, CN) Xudong Zhao (Bohai University, CN)   ORGANIZING COMMITTEE:   Sara Morales (Brussels) Manuel Parra-Royón (Granada) Geoffrey Pond (Kingston, co-chair) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres)   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=tpnc2019   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://tpnc2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: July 27, 2019 Notification of paper acceptance or rejection: August 31, 2019 Final version of the paper for the LNCS proceedings: September 7, 2019 Early registration: September 7, 2019 Late registration: November 25, 2019 Submission to the journal special issue: March 11, 2020   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Royal Military College of Canada / Collège militaire royal du Canada   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From saoussen.cheikhrouhou at redcad.org Thu Jun 13 09:50:02 2019 From: saoussen.cheikhrouhou at redcad.org (SAOUSSEN CHEIKHROUHOU) Date: Thu, 13 Jun 2019 09:50:02 +0200 Subject: Deadline extension |CFP CRiSIS 2019 |Hammamet Tunisia Message-ID: Call for papers The 14th International Conference on Risks and Security of Internet and Systems (CRiSIS) 29-31 October 2019, Hammamet, Tunisia http://crisis2019.redcad.org The International Conference on Risks and Security of Internet and Systems 2019 will be the 14th in a series dedicated to security issues in Internet-related applications, networks and systems. Internet has become essential for the exchange of information between user groups and organizations from different backgrounds and with different needs and objectives. These users are exposed to increasing risks regarding security and privacy, due to the development of more and more sophisticated online attacks, the growth of Cyber Crime, etc. Attackers nowadays do not lack motivation and they are more and more experienced. To make matters worse, for performing attacks have become easily accessible. Moreover, the increasing complexity as well as the immaturity of new technologies such as pervasive, mobile and wireless devices and networks, raise new security challenges. In this context, new security mechanisms and techniques should be deployed to achieve an assurance level acceptable for critical domains such as energy, transportation, health, defence, banking, critical infrastructures, embedded systems and networks, avionics systems, etc. The CRiSIS conference offers a remarkable forum for computer and network security actors from industry, academia and government to meet, exchange ideas and present recent advances on Internet-related security threats and vulnerabilities, and on the solutions that are needed to counter them. === IMPORTANT DATES === - Submission deadline: June 21, 2019 (Extended) - Notification to authors: July 20, 2019 - Camera-ready versions: September 22, 2019 - Conference dates: October 29-31, 2019 === SPECIAL ISSUE === Selected papers relevant to business, human and organisational aspects of cybersecurity will be invited to submit extended versions for publication in Information and Computer Security Journal http://emeraldgrouppublishing.com/products/journals/journals.htm?id=ics === TOPICS === The topics addressed by CRiSIS range from the analysis of risks, attacks to networks and system survivability, to security models, security mechanisms and privacy enhancing technologies. The authors are invited to submit research results as well as practical experiment or deployment reports. Industrial papers about applications or case studies are also welcomed in different domains (e.g., telemedicine, banking, e-government, e-learning, e-commerce, critical infrastructures, mobile networks, embedded applications, etc.). The list of topics includes but is not limited to: - Analysis and management of risk - Attacks and defenses - Attack data acquisition and network monitoring - Cryptography, biometrics, watermarking - Dependability and fault tolerance of Internet applications - Distributed systems security and safety - Embedded system security and safety - Empirical methods for security and risk evaluation - Hardware-based security and physical security - Intrusion detection and prevention systems - Organizational, ethical and legal issues - Privacy protection and anonymization - Risk-aware access and usage control - Security and risk assessment - Security and risks metrics - Security and dependability of operating systems - Security and safety of critical infrastructures - Security and privacy of peer-to-peer system - Security and privacy of wireless networks - Security models and security policies - Security of new generation networks, security of VoIP and multimedia - Security of e-commerce, electronic voting and database systems - Security of social networks - Security of industrial control systems - Smartphone security and privacy - Traceability, metrology and forensics - Trust management - Use of smart cards and personal devices for Internet applications - Web and cloud security === PAPER SUBMISSION === Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers must be written in English and must be submitted electronically in PDF format. The papers that will be selected for presentation at the conference will be included in post-proceedings published by Springer in the Lecture Notes in Computer Science (LNCS) series (prior to publication the papers should be revised according to the review comments). Pre-proceedings will appear at the time of the conference. Maximum paper length will be 16 printed pages for full papers or 6 pages for short papers, in LNCS style ( http://www.springer.de/comp/lncs/authors.html). Authors of accepted papers must guarantee that their papers will be presented at the conference. All paper submissions will be handled through the EasyChair conference management system: https://easychair.org/conferences/?conf=crisis2019 === Proceedings === The proceedings will be published as a volume of Springer's LNCS series. === GENERAL CHAIRS === Nora Cuppens, IMT Atlantique, France Ahmed Hadj Kacem, University of Sfax, Tunisia === PC CHAIRS === Frédéric Cuppens, IMT Atlantique, France Slim Kallel, University of Sfax, Tunisia === PUBLICATION CHAIRS === Nora Cuppens, IMT Atlantique, France Mohamed Mosbah, Bordeaux INP, France === PUBLICITY CHAIRS === Saoussen Cheikhrouhou, University of Sfax, Tunisia Reda Yaich, IRT SystemX, France === LOCAL ORGANISATION COMMITTEE=== Nesrine Khabou, University of Sfax, Tunisia Fairouz Fakhfekh, University of Sfax, Tunisia Riadh Ben Halima, University of Sfax, Tunisia Ismail Bouassida, University of Sfax, Tunisia Hatem Hadj Kacem, University of Sfax, Tunisia === PROGRAM COMMITTEE === Takoua Abdellatif, University of Carthage, Tunisia Esma Aimeur, University of Montreal, Canada Abderrahim Ait Wakrime, IRT Railenium, France Jocelyn Aubert, University of Luxembourg, Luxembourg Anis Bkakria, University of Bretagne Loire, France Nora Cuppens-Boulahia, University of Bretagne Loire, France Frédéric Cuppens, University of Bretagne Loire, France Bogdan Groza, Politehnica University of Timisoara, Romania Wided Guedria, Luxembourg Institute of Science and Technology, Luxembourg Brahim Hamid, University of Toulouse, France Christos Kalloniatis, University of the Aegean, Greece Sokratis Katsikas, Norwegian University of Science and Technology, Norway Kais Klai, University of Paris 13, France Igor Kotenko, St. Petersburg Institute for Informatics and Automation, Russia Marc Lacoste, Orange labs, France Jean-Louis Lanet, LHS Rennes, France Mohamed Mosbah, University of Bordeaux, France Raja Natarajan, Tata Institute of Fundamental Research, India Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Kai Rannenberg, Goethe University Frankfurt, Germany Michael Rusinowitch, Lorraine University, France Ketil Stoelen, University of Oslo, Norway Akka Zemmari, Université of Bordeaux, France Lingyu Wang, Concordia University, Canada -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lpulina at uniss.it Mon Jun 17 15:15:25 2019 From: lpulina at uniss.it (Luca Pulina) Date: Mon, 17 Jun 2019 15:15:25 +0200 Subject: [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Message-ID: [apologies for any cross-posting] **************************************************************************************************************************************************************** Call for Papers [NEW DEADLINES!] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence UNICAL, Rende (CS), 19-22 November 2019 **************************************************************************************************************************************************************** ----------------------------------------------------------------- Topics of Interest ----------------------------------------------------------------- The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics enhances the program. AIIA 2019 welcomes submissions covering all areas of AI, including (but not limited to) machine learning, search, planning, knowledge representation, reasoning, constraint satisfaction, natural language processing, robotics and perception, and multiagent systems. We encourage all types of high-quality contributions including theoretical, engineering and applied papers. We also encourage contributions on AI techniques in the context of novel application domains, such as security, sustainability, health care, transportation, and commerce. Besides regular original papers, in this edition we also welcome discussion papers containing descriptions of results recently published or accepted for the presentation in international conferences. Discussion papers are expected to be more broadly accessible than regular papers, they are an opportunity for the authors to present their recent results to the AI community, and a valuable addition for the attendees of AIIA 2019. At least one author of each accepted paper is required to register and attend the conference to present the work. ----------------------------------------------------------------- Proceedings of Regular Papers ----------------------------------------------------------------- The regular papers will be included in the proceedings of the conference, and will be published by Springer Verlag in the Lecture Notes in Artificial Intelligence series. Authors of selected regular papers accepted to the main track will be invited to submit an extended version for publication on "Intelligenza Artificiale", the International Journal of the Italian Association for Artificial Intelligence, edited by IOS Press and indexed by Thomson Reuters' "Emerging Sources Citation Index" and Scopus by Elsevier. ----------------------------------------------------------------- Proceedings of Discussion Papers ----------------------------------------------------------------- The discussion papers will not be included in the LNCS proceedings of the conference, and will be made available through the conference WEB-Site and possibly published on CEUR WS Proceedings upon request. ----------------------------------------------------------------- Best Papers ----------------------------------------------------------------- The Program Committee will select the Best Student Paper Award and the Best Paper Award from the accepted regular papers. In order to be eligible for the Best Student Paper award, at least one author must be a student. ----------------------------------------------------------------- Submission Instructions ----------------------------------------------------------------- The submitted papers should be written in English and formatted according to the Springer LNCS style. Regular papers must be original papers which are not being submitted simultaneously for publication elsewhere. These papers should not exceed 12 pages plus bibliography. The discussion papers report results already published or accepted for the publication in international conferences, and should not exceed 8 pages plus bibliography. Paper submission is electronic via easychair at the address: https://easychair.org/conferences/?conf=aiia2019 ----------------------------------------------------------------- Important Dates ----------------------------------------------------------------- Abstract of regular paper submission: (was 28 May 2019) 18 June 2019 Regular paper submission: (was 4 June 2019) 25 June 2019 Notification to authors of regular papers: (was 23 July 2019) 13 August 2019 Camera ready of regular papers: (was 3 September 2019) 17 September 2019 Abstract of discussion paper submission: (was 28 May 2019) 2 July 2019 Discussion paper submission: (was 4 June 2019) 9 July 2019 Notification to authors of discussion papers: (was 23 July 2019) 27 August 2019 Camera ready of discussion papers: (was 3 September 2019) 1 October 2019 ----------------------------------------------------------------- Conference Web Site ----------------------------------------------------------------- For the most up to date information, please visit: https://aiia2019.mat.unical.it ----------------------------------------------------------------- Organizing Committee ----------------------------------------------------------------- Conference Chair: Nicola Leone (UNICAL, Italy) Program Chairs: Mario Alviano (UNICAL, Italy) Gianluigi Greco (UNICAL, Italy) Francesco Scarcello (UNICAL, Italy) Organization Chairs: Francesco Ricca (UNICAL, Italy) Chiara Ghidini (FBK, Trento) Workshop and Tutorial Chair: Rafael Penaloza (UNIMIB, Italy) Doctoral Consortium Chair: Marco Maratea (UNIGE, Italy) Publicity and Web Chair: Luca Pulina (UNISS, Italy) -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From scvgdu at unife.it Mon Jun 17 15:15:25 2019 From: scvgdu at unife.it (Guido Sciavicco) Date: Mon, 17 Jun 2019 15:15:25 +0200 Subject: TIME 2019: deadline extended *apologies for multiple postings* Message-ID: ****** SUBMISSION DEADLINE EXTENDED TO JUNE 23!!! ****** --------------------------------------------------------------------- CALL FOR PAPERS TIME 2019 26th International Symposium on Temporal Representation and Reasoning Málaga (Spain), 16th-19th October 2019 https://sites.google.com/unife.it/time-2019 --------------------------------------------------------------------- Aims and scope -------------- Since 1994, the TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers in the area of temporal reasoning in Computer Science. TIME 2019 encompasses three tracks, but has a single program committee. The conference will span four days, and will be organized as a combination of technical paper presentations, keynote talks, and tutorials. Tracks: -Time in Artificial Intelligence -Temporal DataBases -Temporal Logic and Reasoning Following a long-standing tradition, submission topics include (but are no limited to): -Temporal aspects of agent- and policy-based systems -Spatial and temporal reasoning -Time in natural language processing -Spatio-temporal knowledge representation systems -Reasoning about actions and change -Planning and planning languages -Ontologies of time and space-time -Belief and uncertainty in temporal knowledge -Temporal learning and discovery -Temporal data models and query languages -Temporal query processing and indexing -Temporal data mining -Time series data management -Stream data management -Spatio-temporal data management, including moving objects -Data currency and expiration -Indeterminate and imprecise temporal data -Temporal constraints -Specification and verification of systems -Verification of web applications -Synthesis and execution -Model checking algorithms and implementations -Verification of infinite-state systems -Reasoning about transition systems -Temporal architectures Submission and publication -------------------------- TIME 2019 accepts submission in PDF format, not longer than 15 pages excluding references and appendix. The appendix is limited to 5 pages, and the reviewers may or may not taking it into account for their recommendation. Sumissions must be formatted following the LIPIcs instructions, and preferibly redacted in LaTex. Submissions are manged by EasyChair. TIME policy is single blind, so the names of the authors should not be hidden in the submitted draft. Members of the program commettee, excluding the co-chairs, are allowed to submit. Submitted papers will be refereed for quality, correctness, originality, and relevance to the conference. Submissions to TIME 2019 must be original, and parallel submissions of the same material to other conferences or journals is not allowed. Accepted papers will be presented at the symposium and included in the proceedings, which will be published by LIPIcs-Leibniz International Proceedings in Informatics, which is a series of high-quality peer-reviewed conference proceedings, and published according to the principle of OpenAccess. At least one author of each accepted paper must register at the conference and present the paper. Authors of selected papers will be invited to submit an extended version of their contribution to Information&Computation (details below). Important Dates --------------- Papers due: June 23rd, 2019 Notification: July 21st, 2019 Final version deadline: August 15th, 2019 Early bird registration deadline: September 16th, 2019 Symposium: October 16th-19th, 2019 Program Committee Chairs ------------------------ Guido Sciavicco, University of Ferrara Johann Gamper, Free University of Bozen-Bolzano Sophie Pinchinat, University of Rennes 1 Invited Speakers ---------------- Michael Böhlen, Universty of Zurich Estela Saquete Borò, University of Alicante Patricia Bouyer, CNRS Tutorials --------- Fabrizio Riguzzi: Temporal Aspects of Inductive Logic Programming Veronique Bruyere: Computer Aided Synthesis: a Game-Theoretic Approach Special Issue ------------- This year, a selection of authors of accepted papers will be asked to send an extended and improved version of their work to be included in a special issue of the journal Information&Computation (impact factor: 1.077). The submitted work will be subject to review, will have to include all suggestions from the reviews of the conference version of the paper, and will have to complete and improve the conference version of the paper with at least 30% of new material. Venue ----- TIME 2019 will take place in Màlaga, Andalucia, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From w.j.fokkink at vu.nl Mon Jun 17 15:15:25 2019 From: w.j.fokkink at vu.nl (Fokkink, W.J.) Date: Mon, 17 Jun 2019 15:15:25 +0200 Subject: CONCUR 2019 call for participation In-Reply-To: <3eea9de3234049009dae1c98a340b09c@vu.nl> References: <3eea9de3234049009dae1c98a340b09c@vu.nl> Message-ID: ================================ CONCUR 2019 - Call for Participation Early Registration Deadline: 7 July 2019 ================================ https://event.cwi.nl/concur2019/ The 30th International Conference on Concurrency Theory (CONCUR) will take place in Amsterdam, the Netherlands, on 27-30 August 2019. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. ============== Keynote speakers ============== Marta Kwiatkowska (University of Oxford, UK) Kim G. Larsen (Aalborg University, Denmark) Joël Ouaknine (Max Planck Institute for Software Systems, Germany) Jaco van de Pol (Aarhus University, Denmark) ================ High-quality papers ================ CONCUR 2019 features 37 high-quality papers. The list can be found at https://event.cwi.nl/concur2019/papers.html =================== Co-located conferences =================== There are two co-located conferences: 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019) 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019) ================= Thematic workshops ================= There are six co-located workshops on special topics: 3rd International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS 2019) Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019) 2nd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2019) 4th International Workshop on Timing Performance Engineering for Safety Critical Systems (TIPS 2019) 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019) 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019) ========== Registration ========== Register by the 7th of July 2019 to benefit of the early registration fees. Late registration is possible at a higher cost. More information at: https://event.cwi.nl/concur2019/participation.html ================== Organizing Committee ================== General Chair: Jos Baeten (CWI, Amsterdam, The Netherlands) Workshop Chair: Bas Luttik (Eindhoven University of Technology, The Netherlands) Program Co-chairs: Wan Fokkink (Vrije Universiteit Amsterdam, The Netherlands) Rob van Glabbeek (Data61, CSIRO, Sydney, Australia) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From osman.hasan at seecs.edu.pk Mon Jun 17 15:15:25 2019 From: osman.hasan at seecs.edu.pk (Osman Hasan) Date: Mon, 17 Jun 2019 15:15:25 +0200 Subject: CfP: Formal Techniques for Safety-Critical Systems (FTSCS'19 -- an ICFEM event) Message-ID: -------------------------------------------------------------------- Call for Papers FTSCS 2019 7th International Workshop on Formal Techniques for Safety-Critical Systems Shenzhen, China, November, 9, 2019 (satellite workshop of ICFEM 2019) http://www.ftscs.org --------------------------------------------------------------------- *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Submission deadline: September 3, 2019 Aims and Scope: There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and distribution, avionics, automotive systems, medical systems, and autonomous vehicles. In particular, newer standards, such as DO-178C (avionics), ISO 26262 (automotive systems), IEC 62304 (medical devices), and CENELEC EN 50128 (railway systems), emphasize the need for formal methods and model-based development, thereby speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, railway, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Submission: We solicit submissions reporting on: A- original research contributions (16 pages max); B- applications and experiences (16 pages max); C- surveys, comparisons, and state-of-the-art reports (16 pages max); D- tool papers (6 pages max); E- position papers and work in progress (6 pages max) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/my/conference?conf=ftscs2019. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Springer encourages authors to include their ORCIDs (https://goo.gl/hbsa4D) in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2019. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 3, 2019 Notification of acceptance: October 4, 2019 Workshop: November 9, 2019 Venue: Shenzhen, China Program chairs: Frederic Mallet (INRIA Sophia Antipolis, France) Osman Hasan (National University of Sciences & Technology, Pakistan) Program committee: Cyrille Artho (KTH Royal Institute of Technology, Sweden) Peter Csaba Ölveczky (University of Oslo, Norway) Thomas Noll (RWTH Aachen University, Germany) Klaus Havelund (Jet Propulsion Laboratory, USA) Étienne André (University Paris 13, France) Robi Malik (University of Waikato, New Zealand) Roberto Nardone (Mediterranean University of Reggio Calabria, Italy) Ralf Huuck (UNSW, Australia) Sofiène Tahar (Concordia University, Canada) Toshiaki Aoki (JAIST, Japan) Kyungmin Bae (Pohang University of Science and Technology, Korea) Fuyuki Ishikawa (National Institute of Infomatics, Japan) Carolyn Talcott (SRI International, USA) Tatsuhiro Tsuchiya (Osaka University, Japan) Huibiao Zhu (East China Normal University, China) Alexander Knapp (Universität Augsburg, Germany) Musab AlTurki (King Fahd University of Petroleum & Minerals, Saudi Arabia) Lee Pike (Automated Reasoning Group of Amazon Web Services, USA) Nils Timm (Univesity of Pretoria, South Africa) Stefen Mitsch (CMU, USA) Tom van Dijk (University of Twente, The Netherlands) Jean-Pierre Talpin (INRIA, France) Zhiping Shi (Capital Normal University, China) Sven Linker (U. Of Liverpool, UK) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From andreas.herzig at irit.fr Mon Jun 17 15:15:25 2019 From: andreas.herzig at irit.fr (Andreas HERZIG) Date: Mon, 17 Jun 2019 15:15:25 +0200 Subject: FoIKS 2020: preliminary CFP In-Reply-To: References: Message-ID: FoIKS 2020: Eleventh International Symposium on Foundations of Information and Knowledge Systems University of Dortmund, Germany, Feb. 17-21, 2020 Conference website: https://foiks2020.cs.tu-dortmund.de/ Submission link: https://easychair.org/conferences/?conf=foiks2020 Submission deadlines: September 11, 2019 (abstract), September 18, 2019 (paper) The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2020 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics and optimization. The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research; furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. *** Suggested topics The suggested topics include, but are not limited to: * Database Design: Formal models, dependencies and independencies * Big Data: Models for data in the Cloud, programming languages for big data, query processing * Dynamics of Information: Models of transactions, concurrency control, updates, consistency preservation, belief revision * Information Fusion: Heterogeneity, views, schema dominance, multiple source information merging, reasoning under inconsistency * Integrity and Constraint Management: Verification, validation, consistent query answering, information cleaning * Intelligent Agents: Multi-agent systems, autonomous agents, foundations of software agents, cooperative agents, formal models of interactions, negotiations and dialogue, logical models of emotions * Knowledge Discovery and Information Retrieval: Machine learning, data mining, formal concept analysis and association rules, text mining, information extraction * Knowledge Representation, Reasoning and Planning: Non-monotonic formalisms, probabilistic and non-probabilistic models of uncertainty, graphical models and independence, similarity-based reasoning, preference modeling and handling, computational models of argument, argumentation systems * Logics in Databases and AI: Classical and non-classical logics, logic programming, description logics, spatial and temporal logics, probability logic, fuzzy logic * Mathematical Foundations: Discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, complexity theory, randomness * Security in Information and Knowledge Systems: Identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management * Semi-Structured Data and XML: Data modelling, data processing, data compression, data exchange * Social Computing: Collective intelligence and self-organizing knowledge, collaborative filtering, computational social choice, Boolean games, coalition formation, reputation systems *The Semantic Web and Knowledge Management: Languages, ontologies, agents, adaption, intelligent algorithms, ontology-based data access * The WWW: Models of Web databases, Web dynamics, Web services, Web transactions and negotiations, Social Networks, Web Mining *** Submission Guidelines All papers must be original and not simultaneously submitted to another journal or conference. Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science. The suggested number of pages is 16, and the maximum number of pages is 18. Submissions which deviate substantially from these guidelines may be rejected without review. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via EasyChair. *** Important Dates Abstract submission deadline: September 11, 2019 Paper submission deadline: September 18, 2019 Author notification: November 19, 2019 Camera-ready paper due: December 05, 2019 FoIKS 2020 Symposium: February 14-18, 2020 *** Program Committee tba *** Program Chairs • Andreas Herzig, CNRS, IRIT, Toulouse, France • Juha Kontinen, University of Helsinki, Finland *** Local Organization Chair Gabriele Kern-Isberner, TU Dortmund Christoph Beierle, University of Hagen *** Invited Speakers tba *** Publication The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science. After the symposium, authors of selected papers will be invited to submit extended journal versions of their papers for a FoIKS 2020 special issue of the Annals of Mathematics and Artificial Intelligence. *** Venue The conference will be held at the TU Dortmund; further information on the venue will be provided in time. *** Contact All questions about submissions should be emailed to foiks2020 at easychair.org. From georgev at unipi.gr Mon Jun 17 15:15:25 2019 From: georgev at unipi.gr (George Vouros) Date: Mon, 17 Jun 2019 15:15:25 +0200 Subject: 2nd Call for Bids to host EUMAS 2020 In-Reply-To: References: Message-ID: Call for Bids to host EUMAS 2020 We are currently soliciting bids to host the 18th European Conference on Multiagent Systems (EUMAS) in 2020. We will consider bids from all European regions. Bids should be made by individuals or small groups, with the backing of a host institution (typically a university or research center). Please note that we seek bids from volunteers from the scientific community. All correspondence regarding bids should be directed by to the EURAMAS board member serving as liaison for EUMAS, George Vouros ( georgev at unipi.gr). You are encouraged to get in touch well before the deadline and discuss any questions you may have. The deadline for submitting a bid is 30 of June 2019. Background The 18th European Conference on Multi-Agent Systems (EUMAS 2020) will follow the tradition of previous editions (Oxford 2003, Barcelona 2004, Brussels 2005, Lisbon 2006, Hammamet 2007, Bath 2008, Agia Napa 2009, Paris 2010, Maastricht 2011, Dublin 2012, Toulouse 2013, Prague 2014, Athens 2015, Valencia 2016, Evry 2017, Bergen Norway 2018), and aims to encourage and support activity in the research and development of multi- agent systems, in academic and industrial efforts. EUMAS is primarily intended as a European forum for anybody interested in the theory and practice of autonomous agents and multi-agent system to meet, present challenges, preliminary and mature research results. The conferences include a variety of activities, such as plenary keynote talks, parallel sessions, poster sessions, and social events. Tutorials or specialized meetings in forms of workshops may also be planned. EUMAS is a designated event of the European Association of Multi-Agent Systems (EURAMAS) whose Board of Directors is elected by the EUMAS research community, membership in which is defined on the basis of attendance at EUMAS conferences. The EURAMAS website (http://www.euramas.org ) provides links to the past conferences. The Board seeks neither to obtain a surplus nor a deficit but wishes to shepherd the community's funds with the best care. The Board recognises that the costs of attending conferences has risen significantly over the years and is actively working on helping to reverse this trend. We therefore particularly encourage hosts with access to reasonably priced venues and experience in obtaining outside sponsorship to submit a bid. The Board selects conference hosting bids, and – in cooperation with local organizers- nominates and selects program chairs. Collocation with other conferences is an option to be considered, but EUMAS participants should register in EUMAS and get the formal proceedings of the conference. Constraints on Timing and Size Regarding timing, the Board suggests that EUMAS is held at least two weeks before AAMAS. Special care needs to be taken not to conflict with other national or international conferences attended by the members of the community, while conflicts to paper submission deadlines must be avoided as well. Also, the submission deadline for EUMAS should be 10 days after the AAMAS notification date. Based on past experience and trends, we expect the attendance of EUMAS-2020 to be approximately 100 people, but we need to reach the wider European community possible. Plenary sessions need to be scheduled in a hall of sufficient size. Hosts can lower expenses by using university facilities for the conference programs. This is strongly encouraged whenever possible. Bid Content and Purpose Bids are geared towards determination of responsibility for local arrangements and designation of a Local Arrangements Chair. Bids will be reviewed by the EURAMAS Board. A bid should consist of a short statement that explains why you meet the criteria listed below. A bid should include estimates of the following expenses: charges for the conference venue charges for food and drinks (coffee, lunches, reception, banquet) typical hotel and student housing costs airfares from a few cities To ease the work of the Board, please express all prices mentioned in the bid in Euros. Each bid should identify the proposed team of organizers, and include full contact details. The bid should be led by a member of the scientific community (i.e., an active researcher in the field served by EUMAS), who should remain available to respond to clarification requests, which often come up during review. The bid document submitted should not exceed 5 pages. Criteria for Assessing EUMAS Bids The following criteria will be used for evaluation: Affordability: will it be possible to contain the costs associated with the organization of the conference so as to be able to offer affordable registration fees to participants? Fees will be determined together with the EURAMAS Board, but bidders may wish to indicate possible measures for containing costs already at the proposal stage. Please include an estimate of regular and student registration fees. Sponsorship: EUMAS organizers are expected to attract financial support through sponsorship and the bid should provide evidence on specific national and international sources of sponsorship. Site Location: attractiveness to conference attendees, as well as those accompanying the attendees (i.e., nearby attractions, tours, restaurants, and night clubs). Will people *want* to attend? Transportation: location with respect to major air routes and local transportation (trains, buses, automobiles). It is important that the venue be conveniently reachable for attendees. Dates: relation to possibly conflicting special or local holidays; to conflicting or synergistic conventions or special events at the same time or immediately before or after the conference. Climate and Season: particularly as these factors affect (1) the availability of rooms and rate structure (and provide some negotiating edge with the hotels); and (2) attendance by the local community. Facilities: quantity, quality, availability of meeting rooms, meeting support services, and exhibition hall. This factor is linked to the choice of accommodation, as it may be desirable to co-locate meeting facilities and accommodation. Please include preliminary information regarding any space and equipment rental fees that may be incurred by the conference. Accommodation: accommodation options should range from business hotels to student housing. Please include ballpark figures for hotel room rates. Experience: ability of the local organizers in organizing the event. Supporting Scientific Community: the presence of regional and local research communities to support the conference and which will benefit from its occurrence. It may be worth exploiting synergies by co-locating with related events. Backing of Host Institution: does the organizers' institution support the conference? Host institutions sometimes can provide free or low-cost facilities for the conference. They can loan equipment such as projectors and wireless routers. They can provide access to their housing facilities. The use of institutional facilities or equipment might constrain the schedule, but that might be a worthwhile trade-off. Supporting Local Industry: is there local or national industry that may be willing to support the conference in some way? Volunteer Labor: availability of an active local group willing to help out before, during, and after the conference. Special Needs Arrangements: ability to accommodate various special needs of participants, including dietary restrictions (e.g., Kosher, Halal, vegetarian, vegan) and physical disabilities (e.g., wheelchair access, facilities for individuals with hearing/visual impairments). ============================ George Vouros Professor Dept of Digital Systems, ICT School, University of Piraeus Greece URL: http://ai-group.ds.unipi.gr/georgev/ Email: georgev at unipi.gr Voice: +30 210 4142552 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From inf.datalet at gmail.com Thu Jun 20 11:12:37 2019 From: inf.datalet at gmail.com (Tommaso Liu) Date: Thu, 20 Jun 2019 11:12:37 +0200 Subject: LOPSTR 2019: 3rd CFP Message-ID: ===================================================================== LOPSTR 2019: 3rd Call for Papers ====================================================================== ** Please note that paper submission deadlines have been extended as follows: Abstract submission: June 25, 2019 Paper/Extended abstract submission: June 30, 2019 (AoE, UTC-12) ** ====================================================================== 29th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2019 http://www.cs.unibo.it/projects/lopstr19/ Porto, Portugal, October 8-10, 2019 (co-located with the Symposium on Formal Methods, FM'19 and a part of the FM Week) The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. Both full papers and extended abstracts describing applications in all these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * machine learning for program development * integration of sub-symbolic and symbolic models * differential semantics * transformational techniques in SE * applications and tools Important Dates Abstract submission: June 25, 2019 (**new**) Paper/Extended abstract submission: June 30, 2019 AoE (**new**) Notification: July 24, 2018 Camera-ready (for electronic pre-proceedings): August 7, 2019 Symposium: October 8-10, 2019 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Papers should be submitted via the Easychair submission website for LOPSTR 2019. Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, a selection of the best papers might be invited for submission to a special issue of a journal. Invited Speakers John Gallagher, Roskilde University, Denmark Naoki Kobayashi, The University of Tokyo, Japan (joint with PPDP) German Vidal, Polytechnic University of Valencia, Spain (joint with PPDP) From irdta at irdta.eu Thu Jun 20 11:12:37 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 20 Jun 2019 11:12:37 +0200 Subject: SLSP 2019: call for posters Message-ID: SLSP 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** The 7th International Conference on Statistical Language and Speech Processing (SLSP 2019) invites researchers to submit poster presentations. SLSP 2019 will be held in Ljubljana on October 14-16, 2019. See  http://slsp2019.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 7, 2019 Notification of poster acceptance or rejection: September 14, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2019 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 2019. However, they will be eligible for submission to the post-conference journal special issue. REGISTRATION At least one author of each accepted poster must register to the conference by September 30, 2019. 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 M.M.Dastani at uu.nl Thu Jun 20 11:12:37 2019 From: M.M.Dastani at uu.nl (Dastani, M.M. (Mehdi)) Date: Thu, 20 Jun 2019 11:12:37 +0200 Subject: PRIMA 2019: Final call for papers Message-ID: *************************************************************************** F I N A L CALL FOR PAPERS S U B M I S S I O N S O P E N https://easychair.org/conferences/?conf=prima2019 The 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2019) October 28th - October 31st, 2019 Università degli Studi di Torino, Torino, Italy http://prima2019.di.unito.it *************************************************************************** Software systems are becoming more intelligent in the kind of functionality they offer users. At the same time, systems are becoming more decentralized, with components that represent autonomous entities who must communicate among themselves to achieve their goals. Examples of such systems range from healthcare and emergency relief and disaster management to e-business and smarts grids. A multiagent worldview is crucial to properly conceptualizing, building, and governing such systems. It offers abstractions such as intelligent agent, protocol, norm, organization, trust, incentive, and so on, and is rooted in solid computational and software engineering foundations. As a large but still growing research field of Computer Science, multiagent systems today remain a unique enabler of interdisciplinary research. =============== Important Dates =============== Submission deadline: June 30th, 2019 (11:59PM UTC-12) Notification: August 25th, 2019 Camera ready submission: September 5th, 2019 Conference date: October 28th - 31st, 2019 ======================= Information for Authors ======================= The PRIMA 2019 Program Committee invites submissions of original, unpublished, theoretical and applied work strongly relevant to multiagent systems, including reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities. An indicative list of topics is provided below. The papers can be submitted to one of the following categories: - Regular papers: These papers can be up to 16 pages in length, including references, in the Springer LNCS format. Note that some regular papers may be accepted as short papers. - Short papers: These papers can be up to 8 pages in length, including references, in the Springer LNCS format. These 'early-innovation' papers will be reviewed with an emphasis on novelty/originality of the idea. Note: that all the submitted papers must be in a form suitable for double-blind review. In order to make blind reviewing possible, authors must omit their names and affiliations from the paper. Also, while the references should include all published literature relevant to the paper, including previous works of the authors, it should not include unpublished works. When referring to one's own work, use the third person rather than the first person. For example, say "Previously, Foo and Bar [2] have shown that…", rather than "In our previous work [2] we have shown that...". Such identifying information can be added back to the final camera-ready version of accepted papers. All accepted papers for the main track will be published in Springer's Lecture Notes in Artificial Intelligence series (LNCS/LNAI). ======================= Special Issue ======================= A selected number of papers will also be invited to submit an extended version to a fast track of some international journal. ======================= Paper Submission ======================= Papers are to be submitted through the Easychair Conference Management System: https://easychair.org/conferences/?conf=prima2019 ======================= Chairs ======================= Program chairs Mehdi Dastani Beishui Liao Rym Zalila-Wenkstern General chairs Matteo Baldoni Yuko Sakurai ======================= Topics of Interest ======================= Topics of interest include (but are not limited to) the following: Logic and Reasoning Logics of agency Logics of multiagent systems Norms Argumentation Computational Game Theory Uncertainty in Agent Systems Agent and Multi-Agent Learning Engineering Multi-Agent Systems Agent-Oriented Software Engineering Interaction protocols Commitments Institutions and Organizations Normative Systems Formal Specification and Verification Agent Programming Languages Middleware and Platforms Testing, debugging, and evolution Deployed System Case Studies Agent-Based Modeling and Simulation Simulation Languages and Platforms Artificial Societies Virtual Environments Emergent Behavior Modeling System Dynamics Application Case Studies Collaboration & Coordination Planning Distributed Problem Solving Teamwork Coalition Formation Negotiation Trust and Reputation Economic paradigms Auctions and mechanism design Bargaining and negotiation Behavioral game theory Cooperative games: theory & analysis Cooperative games: computation Noncooperative games: theory & analysis Noncooperative games: computation Social choice theory Game theory for practical applications Human-Agent Interaction Adaptive Personal Assistants Embodied Conversational Agents Virtual Characters Multimodal User Interfaces Mobile Agents Human-Robot Interaction Decentralized Paradigms Grid Computing Service-Oriented Computing Cybersecurity Robotics and Multirobot Systems Ubiquitous Computing Social Computing Internet of Things Application Domains for Multi-Agent Systems Healthcare Autonomous Systems Transport and Logistics Emergency and Disaster Management Energy and Utilities Management Sustainability and Resource Management Games and Entertainment e-Business, e-Government, and e-Learning Smart Cities Financial markets Legal applications -- Mehdi Dastani Intelligent Systems Utrecht University Princetonplein 5 3584 CC Utrecht The Netherlands Tel: +31 - 30 - 253 3599 URL: https://www.uu.nl/medewerkers/MMDastani -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From el-ghazali.talbi at univ-lille.fr Mon Jun 24 10:09:26 2019 From: el-ghazali.talbi at univ-lille.fr (El-ghazali Talbi) Date: Mon, 24 Jun 2019 10:09:26 +0200 Subject: CFP OLA'2019 Int. Conf. on Optimization and Learning @Spain Message-ID: Apologies for cross-posting. Appreciate if you can distribute this CFP to your network. ****************************************************************************************                           OLA'2020 International Conference on Optimization and Learning: Challenges and Applications                           17-19 Feb 2020                          Cadiz, Spain                 http://ola2020.sciencesconf.org/ **************************************************************************************** OLA is a conference focusing on the future challenges of optimization and learning methods and their applications. The conference OLA'2020 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'2020 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 two different types of submissions: -       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     Sept 20, 2019 Notification of acceptance     Nov  9, 2019 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 SCOPUS indexed Springer book and a special issue in a Journal are planned to be published. Participants will be invited to submit extended versions of their work for consideration. -- *********************************************************************** OLA'2020 Int. Conference on Optimization and Learning 17-19 Feb 2020, Cadiz, Spain http://ola2020.sciencesconf.org *********************************************************************** Prof. El-ghazali TALBI Polytech'Lille, University Lille - INRIA CRISTAL - CNRS From ijwa at dline.info Mon Jun 24 10:09:26 2019 From: ijwa at dline.info (ijwa at dline.info) Date: Mon, 24 Jun 2019 10:09:26 +0200 Subject: ICDIM 2019 In-Reply-To: References: Message-ID: Fourteenth International Conference on Digital Information Management (ICDIM 2019) September 24-26, 2019 University of Bedfordshire, Luton, UK (www.icdim.org) Technically co-sponsored by IEEE TEMS Following the successful earlier conferences at Bangalore (2006), Lyon (2007), London (2008), Michigan (2009) , Thunder Bay (2010), Melbourne (2011), Macau (2012), Islamabad (2013), Bangkok (2014) Jeju (2015) Porto (2016), Fukuoka (2017), and Berlin (2018) the Fourteenth event is being organized at Luton in UK in 2019. The International Conference on Digital Information Management is a multidisciplinary conference on digital information management, science and technology. The principal aim of this conference is to bring people in academia, research laboratories and industry together, and offer a collaborative platform to address the emerging issues and solutions in digital information science and technology Digital Information technologies are gaining maturity and rapid momentum in adoption across disciplines. The digital community is producing new ways of using digital information technologies for integrating and making sense out of various data ranging from real/live streams and simulations to analytics data analysis, in support of mining of knowledge. The conference will feature original research and industrial papers on the theory, design, and implementation of digital information systems, as well as demonstrations, tutorials, workshops and industrial presentations. The Fourteenth International Conference on Digital Information Management will be held during August 22-24, 2019 at Irish Computer Society, Dublin, Ireland The topics in ICDIM 2019 include but are not confined to the following areas. Information Technology Management Web Mining including Web Intelligence and Web 3.0 E-Learning, eCommerce, e-Business, and e-Government Edge and Fog Computing Data Analytics Software Engineering Deep Learning Natural Language Processing Smart Learning and Smart Cities Signal Processing Network Services Data Mining and Text Mining Knowledge Graphs, Recommender System, Ontology Computational Linguistics Distributed information systems Information visualization Multimedia and Interactive Multimedia Image Analysis and Image Processing Cloud Computing Computational Intelligence Privacy, Security and Trusted Computing Machine Learning Human-Computer Interaction Internet of Things The modified version of the selected papers will appear in the special issues of the following peer reviewed journals. 1. Journal on Data Semantics 2. Technologies 3. Data Technologies and Applications 4. Webology 5. Journal of Digital Information Management 6. International Journal of Computational Linguistics 7. Journal of Optimization General Chair Ezendu Ariwa, UK IEEE Chair Program Chairs Pit Pichappan, Digital Information Research Labs, India Simon Fong, University of Macau, Macau Program Co-Chair Adrian Florea, University of Shibu, Romania Important Dates Full Paper Submission July 05, 2019 Notification of Acceptance/Rejection August 05, 2019 Registration Due September 05, 2019 Camera Ready Due September 05, 2019 Workshops/Tutorials/Demos September 23, 2019 Main conference September 24-26, 2019 SUBMISSIONS AT http://www.icdim.org/submission.html Contact: conference at icdim.org ----------------- From valentina.ivanova at ri.se Mon Jun 24 10:09:26 2019 From: valentina.ivanova at ri.se (Valentina Ivanova) Date: Mon, 24 Jun 2019 10:09:26 +0200 Subject: [CfP] VOILA!2019 @ISWC2019 Abstracts **due today** & full papers in a week for the 5th International Workshop on Visualization and Interaction for Ontologies and Linked Data Message-ID: CALL FOR CONTRIBUTIONS VOILA 2019 - Visualization and Interaction for Ontologies and Linked Data 5th International Workshop at ISWC 2019, 18th International Semantic Web Conference October 26, Auckland, New Zealand http://voila2019.visualdataweb.org -------------------------------------------------- Abstracts Deadline: June 21, 2019 Submission Deadline: June 28, 2019 -------------------------------------------------- We are looking for submissions addressing one or more of the following topics, subjects, and contexts (or related ones): * Topics: - visualizations - user interfaces - visual analytics - requirements analysis - case studies - user evaluations - cognitive aspects * Subjects: - ontologies - linked data - knowledge graphs - ontology engineering (development, collaboration, ontology design patterns, alignment, debugging, evolution, provenance, etc.) * Contexts: - classical interaction contexts (desktop, keyboard, mouse, etc.) - modern interaction contexts (mobile, touch, gesture, speech, etc.) - special settings (large, high-resolution, and multiple displays, etc.) - specific user groups and needs (people with disabilities, domain experts, etc.) Submission Guidelines ========== The following types of contributions are welcome. The recommended page length is given in brackets. There is NO strict page limit but the length of a paper should be commensurate with its contribution. - Full research papers (8-12 pages); - Experience papers (8-12 pages); - Position papers (6-8 pages); - Short research papers (4-6 pages); - System papers (4-6 pages). Accepted papers will be published as a volume in the CEUR Workshop Proceedings series. Important Dates ========== Abstract: June 21, 2019 Submission: June 28, 2019 Notification: July 24, 2019 Camera-ready: August 16, 2019 Workshop: October 26, 2019 Organizers ========== Catia Pesquita, University of Lisbon, Portugal Patrick Lambrix, Linköping University, Sweden Steffen Lohmann, Fraunhofer IAIS, Germany Valentina Ivanova, RISE Research Institutes of Sweden, Sweden Vitalis Wiens, University of Bonn, Fraunhofer IAIS & TIB, Germany Looking forward to your submissions & meeting you there! Catia, Patrick, Steffen, Valentina, and Vitalis -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tobias.ahlbrecht at tu-clausthal.de Thu Jun 27 16:42:17 2019 From: tobias.ahlbrecht at tu-clausthal.de (Tobias Ahlbrecht) Date: Thu, 27 Jun 2019 16:42:17 +0200 Subject: First International Symposium on Applied Artificial Intelligence (ISAAI'19) Message-ID: ******************************************************************* First International Symposium on Applied Artificial Intelligence (ISAAI'19) www.mobile.ifi.lmu.de/isaai 20th – 21st November, 2019, Munich, Germany ******************************************************************* Recent advances in artificial intelligence have paved the way for exciting applications, which are now playing important roles in everyday life ranging from language translation and image processing to recommender systems and autonomous driving. Most applications are based on machine learning, which achieved great successes due to increasingly available computational resources and data. Applying artificial intelligence to diverse areas is appealing due to its self-organizing and self-learning nature, which enables generic ways of solving problems with minimal effort on specifications. The current trend of applied artificial intelligence offers numerous opportunities to contribute within areas of research, theory, technology, and application. ISAAI’19 will be held in conjunction with DIGICON (www.digitaleweltmagazin.de/digicon) in Munich, Germany, on 20th – 21st November, 2019. The aim of ISAAI'19 is to present applications of artificial intelligence especially on the following topics related to industry 4.0, finance and banking, life sciences, telecommunication, robotics, and other fields of applications: * AI integration in practice: - analysis of application areas and data sources - experience and technical reports on use cases and implementations - human-in-the-loop and education on AI * AI goals, benefits and challenges: - understanding history: from data mining to reasoning - anticipating the future: predictive maintenance from machines to humans - handling uncertainty and open systems - rigorous engineering of AI systems * AI algorithms and techniques: - cognitive technologies, autonomous techniques and robotics - natural language processing, deep learning and machine learning - search algorithms and optimization ISAAI’19 is organized to connect people from academia and industry to discuss about research, theory, technology, and applications and exchange ideas to move efficiently forward in engineering and development in the exciting area of applied artificial intelligence. Organizing Committee: Claudia Linnhoff-Popien, LMU Munich, Germany Thomy Phan, LMU Munich, Germany Sebastian Feld, LMU Munich, Germany Program Committee: Elisabeth André, Augsburg University, Germany Ana Bazzan, Universidade Federal do Rio Grande do Sul, Brazil Mehul Bhatt, Örebro University, Sweden Ivana Dusparic, Trinity College Dublin, Ireland Amal El Fallah Seghrouchni, Sorbonne Université, France Thomas Gabor, LMU Munich, Germany Christian Guttmann, Karolinska Institute, Sweden Benjamin Hernandez, Oak Ridge National Laboratory, USA Paul Lukowicz, DFKI Saarbrücken, Germany Eunika Mercier-Laurent, Lyon III University, France Bradley Nelson, ETH Zurich, Switzerland Naoaki Okazaki, Tokyo Institute of Technology, Japan Jonathan Shapiro, University of Manchester, UK Michael Winikoff, Uni of Wellington, New Zealand Jiayu Zhou, Michigan State University, USA Submission info for manuscripts: Original and unpublished regular papers are solicited from the above-mentioned areas. Regular papers have a length of up to 10 pages. All manuscripts will be peer-reviewed by at least three reviewers and will be published in the journal DIGITALE WELT I/2020. This journal is published by Springer Publishing Company via Springer Professional and has up to 20,000 readers per issue. The papers of the journal are found automatically by Google Scholar. Templates for the manuscripts can be downloaded from: www.mobile.ifi.lmu.de/isaai19-authorskit.zip The formatted manuscript should be electronically submitted as PDF via EDAS: www.edas.info/N26555 Exhibition track: In addition to the presentations we will organize an exhibition of posters and demonstrations on 20th November 2019. Therefore, you can submit an extended abstract of your idea or demonstrator with maximum length of one page. Suitable papers will also be invited to be presented as posters. Important date: Paper submission due: 1st August, 2019 Notification date: 15th September, 2019 Final manuscrip due: 4th October, 2019 Symposium date: 20th – 21st November, 2019 Further information is available at the ISAAI’19 webpages: www.mobile.ifi.lmu.de/isaai If you have any questions, please write to isaai19 at mobile.ifi.lmu.de. -- Prof. Dr. Claudia Linnhoff-Popien Lehrstuhl für Mobile und Verteilte Systeme Leiterin "Innovationszentrum Mobiles Internet" des ZD.B Vorstandsvorsitzende "Digitale Stadt München e.V." Herausgeberin DIGITALE WELT Ludwig-Maximilians-Universität München Oettingenstr. 67, 80538 München Tel.: +49 - (0)89 - 2180 9149 Fax: -2180 9148 http://www.mobile.ifi.lmu.de -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fstolzenburg at hs-harz.de Thu Jun 27 16:42:17 2019 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Thu, 27 Jun 2019 16:42:17 +0200 Subject: Last CfP for DKB/KIK 2019 - Workshop on *Formal and Cognitive Reasoning* - Deadline Extension until July 15 Message-ID: Last Call for Papers !!! SUBMISSION DEADLINE EXTENSION UNTIL JULY 15, 2019 !!! 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and 7th Workshop KI & Kognition (KIK-2019) on *Formal and Cognitive Reasoning* Workshop at the 42nd German Conference on Artificial Intelligence (KI-2019) September 23-26, 2019, Kassel, Germany Organized by the FG Wissensrepräsentation und Schließen and FG Kognition of the GI Workshop Web Page: AIMS AND SCOPE Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. INVITED TALK Gerd Stumme, Universität Kassel: "Ordinal Data Analysis" CALL FOR PAPERS The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. We put a special focus on papers from both fields that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal as well as experimental or heuristic issues. Previous events of the Workshop on "Dynamics of Knowledge and Belief" (DKB) took place in Osnabrück (2007), Paderborn (2009), Berlin (2011), and Koblenz (2013), previous editions of the Workshop on "KI & Kognition" (KIK) took place in Saarbrücken (2012), Koblenz (2013), and Stuttgart (2014), and joint workshops took place in Dresden (2015), Dortmund (2017), and Berlin (2018). We welcome original papers on the following and any related topics: Action and change Agents and multiagent systems Analogical reasoning Argumentation theories Belief revision and belief update Cognitive modeling and empirical data Common sense and defeasible reasoning Decision theory and preferences Inductive reasoning and cognition Knowledge representation in theory and practice Learning and knowledge discovery in data Nonmonotonic and uncertain reasoning Ontologies and description logics Probabilistic approaches of reasoning Syllogistic reasoning PUBLICATION The proceedings will be published in the CEUR Workshop Proceedings series. We will also consider publishing a selection of extended papers in a special issue of an international journal. WORKSHOP ORGANIZERS AND CO-CHAIRS Christoph Beierle, FernUniversität in Hagen, Germany Marco Ragni, Universität Freiburg, Germany Frieder Stolzenburg, Hochschule Harz, Germany Matthias Thimm, Universität Koblenz-Landau, Germany PROGRAM COMMITTEE see Workshop Web Page IMPORTANT DATES Deadline for Submission: July 15, 2019 (extended) Notification of Authors: August 08, 2019 Camera-ready Paper: August 22, 2019 Workshop: September 23, 2019 SUBMISSION DETAILS Papers should be formatted according to the Springer LNCS format . The length of each paper should not exceed 8-12 pages. All papers must be written in English and submitted in PDF format via the EasyChair system . LOCAL INFORMATION Local information can be found on the web pages of the KI-2019 conference . From irdta at irdta.eu Thu Jun 27 16:42:17 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 27 Jun 2019 16:42:17 +0200 Subject: DeepLearn 2019: regular registration July 19 Message-ID: DeepLearn 2019: regular registration July 19*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2019   Warsaw, Poland   July 22-26, 2019   Co-organized by:   Institute of Computer Science, Polish Academy of Sciences   IRDTA – Brussels/London   http://deeplearn2019.irdta.eu/   ***************************************************************   --- Regular registration deadline: July 19, 2019 ---   ***************************************************************   SCOPE:   DeepLearn 2019 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 3 keynote lectures and 23 four-hour and a half courses, 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 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:   DeepLearn 2019 will take place in Warsaw, whose historical Old Town was designated a UNESCO World Heritage Site. The venue will be:   Global Expo Modlinska 6D 03-216 Warsaw   KEYNOTE SPEAKERS:   Maria-Florina Balcan (Carnegie Mellon University), Data Driven Clustering   Mark Gales (University of Cambridge), Use of Deep Learning in Non-native Spoken English Assessment   Mihaela van der Schaar (University of Cambridge), Learning Engines for Healthcare: Using Machine Learning to Transform Clinical Practice and Discovery   PROFESSORS AND COURSES:   Aaron Courville (University of Montréal), [introductory/intermediate] Deep Generative Models   Issam El Naqa (University of Michigan), [introductory/intermediate] Deep Learning for Biomedicine   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   Vasant Honavar (Pennsylvania State University), [introductory/intermediate] Causal Models for Making Sense of Data   Qiang Ji (Rensselaer Polytechnic Institute), [introductory/intermediate] Probabilistic Deep Learning for Computer Vision   James Kwok (Hong Kong University of Science and Technology), [introductory/intermediate] Compressing Neural Networks   Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Piotr Bojanowski and Armand Joulin)   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), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Fabio Roli (University of Cagliari), [introductory/intermediate] Adversarial Machine Learning   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing   Alex Smola (Amazon), [introductory] Dive into Deep Learning   Sargur Srihari (University at Buffalo), [intermediate/advanced] Explainable Artificial Intelligence   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines   Bertrand Thirion (INRIA), [introductory] Understanding the Brain with Machine Learning   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Haixun Wang (WeWork), [intermediate] Abstractions, Concepts, and Machine Learning   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Multi-resolution Models for Learning Multilevel Abstract Representations of Text   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Complex Data with Deep 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 July 14, 2019.   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 14, 2019.   EMPLOYER 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 14, 2019.   ORGANIZING COMMITTEE:   Łukasz Kobyliński (Warsaw, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://deeplearn2019.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 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:   Accommodation can be booked at   http://www.deeplearn2019.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:   Institute of Computer Science, Polish Academy of Sciences   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: