From cadillacdk at gmail.com Thu Nov 1 08:51:39 2018 From: cadillacdk at gmail.com (Cadillac DK) Date: Thu, 01 Nov 2018 08:51:39 +0100 Subject: LORI-VII: Chongqing, China: First CFP Message-ID: First Call for Papers: Please Circulate The Seventh International Conference on Logic, Rationality and Interaction (LORI-VII) 18-21 October 2019 South-West University, Chongqing, China Conference Website: http://golori.org/lori2019/ The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers. We invite submission of contributed papers on any of the broad themes of the LORI series; specific topics of interest include, but are not limited to, formal approaches to · agency · argumentation and agreement · belief representation · cooperation · belief revision and belief merging · strategic reasoning · games · decision making and planning · knowledge and action · epistemology · dynamics of informational attitudes · knowledge representation · interaction · norms and normative systems · natural language · rationality · philosophy and philosophical logic · preference and utility · social choice · probability and uncertainty · social interaction · intentions, plans, and goals Submitted papers should be at most 12 pages long, with one additional page for references, in PDF format following the Springer LNCS style. Please submit your title and abstract by May 13, 2019, and your full paper by May 20, 2019. Submission is via the EasyChair for LORI-VII. Accepted papers will be collected as a volume in the FoLLi series on Logic, Language and Information, and some will later be considered for publication in a special issue of an international journal. Local Chair: Meiyun Guo, South-West University, Chongqing, China. Inquiries concerning the submission of papers should be addressed to Patrick Blackburn (patrick.rowan.blackburn at gmail.com) and Emiliano Lorini ( Emiliano.Lorini at irit.fr). -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bikakis.nikos at gmail.com Thu Nov 1 08:51:39 2018 From: bikakis.nikos at gmail.com (Nikos Bikakis) Date: Thu, 01 Nov 2018 08:51:39 +0100 Subject: CFP: Big Data Visual Exploration and Analytics Workshop (BigVis 2019 ) @ EDBT/ICDT Message-ID: Call for Papers BigVis 2019 :: 2nd International Workshop on Big Data Visual Exploration and Analytics https://bigvis.imsi.athenarc.gr/bigvis2019   EDBT/ICDT 2019, March 26, 2019, Lisbon, Portugal Held in conjunction with the 22nd Intl. Conference on Extending Database Technology & 22nd Intl. Conference on Database Theory (EDBT/ICDT 2019) In the Big Data era, the growing availability of a variety of massive datasets presents challenges and opportunities to not only corporate data analysts but also others, such as research scientists, data journalists, policy makers, SMEs, and individual data enthusiasts datasets are typically: accessible in a raw format that are not being loaded or indexed in a database (e.g., plain text, json, rdf), dynamic, dirty and heterogeneous in nature. The level of difficulty in transforming a data-curious user into someone who can access and analyze that data is even more burdensome now for a great number of users with little or no support and expertise on the data processing part. The purpose of visual data exploration is to facilitate information perception and manipulation, knowledge extraction and inference by non-expert users. Interactive visualization, used in a variety of modern systems, provides users with intuitive means to interpret and explore the content of the data, identify interesting patterns, infer correlations and causalities, and supports sense-making activities that are not always possible with traditional data analysis techniques. In the Big Data era, several challenges arise in the field of data visualization and analytics. First, the modern exploration and visualization systems should offer scalable data management techniques in order to efficiently handle billion objects datasets, limiting the system response in a few milliseconds. Besides, nowadays systems must address the challenge of on-the-fly scalable visualizations over large and dynamic sets of volatile raw data, offering efficient interactive exploration techniques, as well as mechanisms for information abstraction, sampling and summarization for addressing problems related to visual information overplotting. Further, they must encourage user comprehension offering customization capabilities to different user-defined exploration scenarios and preferences according to the analysis needs. Overall, the challenge is to enable users to gain value and insights out of the data as rapidly as possible, minimizing the role of IT-expert in the loop. The BigVis workshop aims at addressing the above challenges and issues by providing a forum for researchers and practitioners to discuss exchange and disseminate their work. BigVis attempts to attract attention from the research areas of Data Management & Mining, Information Visualization and Human-Computer Interaction and highlight novel works that bridge together these communities. Workshop Topics ------------------------------- In the context of visual exploration and analytics, topics of interest include, but are not limited to:  - Visualization and exploration techniques for various Big Data types (e.g., stream, spatial, high-dimensional, graph)  - Human-centered database techniques  - Indexes and data structures for data visualization  - In situ visual exploration and analytics  - Progressive visual analytics  - Interactive caching and prefetching  - Scalable visual operations (e.g., zooming, panning, linking, brushing)  - Big Data visual representation techniques (e.g., aggregation, sampling, multi-level, filtering)  - Setting-oriented visualization (e.g., display resolution/size, smart phones, pixel-oriented, visualization over networks)  - User-oriented visualization (e.g., assistance, personalization, recommendation)  - Visual analytics (e.g., pattern matching, timeseries analytics, prediction analysis, outlier detection, OLAP)  - Immersive visualization and visual analytics  - Visual and interactive data mining  - Models of human-in-the-loop data analysis  - High performance/Parallel techniques  - Visualization hardware and acceleration techniques  - Linked Data and ontologies visualization  - Case and user studies  - Systems and tools Submissions -------------------------------  - regular research papers (up to 8 pages)  - work-in-progress papers (up to 4 pages)  - vision papers (up to 4 pages)  - system papers and demos (up to 4 pages) Important Dates -------------------------------   Submission: January 4, 2019   Notification: January 22, 2019   Camera-ready: January 29, 2019   Deadlines expire at 5pm PT   Workshop: March 26, 2019 Organizing Committee -------------------------------   Nikos Bikakis, University of Ioannina, Greece   Kwan-Liu Ma, University of California-Davis, USA   Olga Papaemmanouil, Brandeis University, USA   George Papastefanatos, ATHENA Research Center, Greece Program Committee -------------------------------   James Abello, Rutgers University, USA   Demosthenes Akoumianakis, Techn Instit of Crete, Greece   Gennady Andrienko, Fraunhofer, Germany   Manos Athanassoulis, Harvard, USA   Leilani Battle, University of Washington, USA   Carsten Binnig, Brown University, UK   Nan Cao, Tongji University, China   Maria Beatriz Carmo, Universidade de Lisboa, Portugal   Giorgio Caviglia, Trifacta Inc   Wei Chen, Zhejiang University, China   Rick Cole, Tableau   Alfredo Cuzzocrea, University of Trieste, Italy   Aba-Sah Dadzie, The Open University, UK   Issei Fujishiro, Keio University, Japan   Giorgos Giannopoulos, ATHENA Research Center, Greece   Parke Godfrey, University of York, Canada   Daniel Goncalves, University of Montpellier, France   Michael Gubanov, University of Texas at San Antonio, USA   Marcel Hlawatsch, University of Stuttgart, Germany   Yifan Hu, Yahoo!   Christophe Hurter, ENAC, France   Eser Kandogan, IBM   Anastasios Kementsietsidis, Google   James Klosowski, AT&T Research   Stephen G. Kobourov, University of Arizona, USA   Georgia Koutrika, ATHENA Research Center, Greece   Giuseppe Liotta, University of Perugia, Italy   Guoliang Li, Tsinghua University, China   Zhicheng Liu, Adobe   Steffen Lohmann, Fraunhofer, Germany   Davide Mottin, Hasso Plattner Institute, Germany   Martin Nöllenburg, Vienna University of Technology, Austria   Paul Parsons, Purdue University, USA   Neoklis Polyzotis, Google   Gerik Scheuermann, University of Leipzig, Germany   Tobias Schreck, Graz University of Technology, Austria   Thibault Sellam, Columbia University, USA   Mike Sips, GFZ, Germany   Dimitrios Skoutas, ATHENA Research Center, Greece   Kostas Stefanidis, University of Tampere, Finland   Cagatay Turkay, City University London, UK   Yannis Tzitzikas, University of Crete, Greece   Panos Vassiliadis, University of Ioannina, Greece   Chaoli Wang, University of Notre Dame, USA   Kai Xu, Middlesex University, UK   Hongfeng Yu, University of Nebraska-Lincoln, USA -- :nikos -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cfp at mat.unical.it Mon Nov 5 10:20:35 2018 From: cfp at mat.unical.it (cfp at mat.unical.it) Date: Mon, 05 Nov 2018 10:20:35 +0100 Subject: JELIA 2019 - 2nd CfP - 1 month left - IJCAI, TPLP, Awards and Prizes Message-ID: [apologies for multiple copies] == CALL FOR PAPERS == The Program Committee of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019) invites the submission of technical papers for the conference that will be held in Rende, Italy, from May 8th to May 10th, 2019. The aim of JELIA 2019 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. == AWARDS AND PRIZES == The Best Paper and the Best Student Paper of the conference will receive a cash prize of EUR 500 each, offered by Springer. Two high-quality papers of the conference that are suitable for presentation to a general AI audience, will be invited for publication (of abridged versions) to the IJCAI 2019 Sister Conference Best Paper Track. The authors of the top-notch contributions (from 3 to 6 papers, including both best papers) will be invited to submit long and more elaborate versions of their work for a special issue of Theory and Practice of Logic Programming (TPLP). == RELEVANT TOPICS == Conference topics include, but are not limited to: * Abductive and inductive reasoning * Answer set programming * Applications of logic-based AI systems * Argumentation systems * Automated reasoning including satisfiability checking and its extensions * Computational complexity and expressiveness * Deep learning for rules and ontologies * Deontic logic and normative systems * Description logics and other logical approaches to Semantic Web and ontologies * Explanation finding * Knowledge representation, reasoning, and compilation * Logic programming, answer set programming, constraint logic programming * Logic-based data access and integration * Logical interpretation of machine learning models * Logics for uncertain and probabilistic reasoning * Logics in machine learning * Logics in multi-agent systems, games, and social choice * Neural networks and logic rules * Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid logics * Nonmonotonic logics, default logics, conditional logics * Ontology formalisms and models * Ontology-based query answering * Ontology-based reasoning * Planning and diagnosis based on logic * Preferences * Reasoning about actions and causality * Updates, belief revision and nonmonotonic reasoning == IMPORTANT DATES == Abstract submission deadline 26 November 2018 (23:59 UTC-12) Paper submission 03 December 2018 (23:59 UTC-12) Notification of acceptance 16 January 2019 Best paper notification 31 January 2019 Camera-ready due 28 February 2019 Online registration opens 01 March 2019 Conference start 08 May 2019 == SUBMISSION DETAILS == Submission Site: https://easychair.org/conferences/?conf=jelia2019 For formatting guidelines, see more information on https://jelia2019.mat.unical.it/submission JELIA 2019 welcomes submissions of long or short papers in the following categories: Regular papers. Submissions should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions must not have been previously published or be simultaneously submitted for publication elsewhere. System/Application descriptions. Submissions should describe an implemented system/application and its application area(s). A demonstration should accompany a system/application presentation. Papers describing systems or applications that have already been presented in JELIA before will be accepted only if significant and clear enhancements have been implemented and are properly reported. All submissions should not exceed 13 (resp., 6) pages for long (resp., short) papers, including figures etc., but excluding references, and should be written in English. Submissions must be formatted according to the standard Springer LNCS style, and are not anonymous. The conference proceedings of JELIA 2019 will be published by Springer-Verlag in the Lecture Notes in Artificial Intelligence, a sub-series of Lecture Notes in Computer Science (Important note: Springer will require all the LaTeX source files of all accepted submissions). == POLICY ON MULTIPLE SUBMISSIONS == JELIA 2019 will not accept any paper that, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during JELIA's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. == ENQUIRIES == Please send all enquiries at the email address jelia2019 at mat.unical.it == COMMITTEES == General Chair * Nicola Leone (University of Calabria) Program Chairs * Francesco Calimeri (University of Calabria) * Marco Manna (University of Calabria) Organization Chairs * Carmine Dodaro (University of Genova) * Valeria Fionda (University of Calabria) Publicity and Finance Chair * Simona Perri (University of Calabria) Program Committee * Mario Alviano (University of Calabria) * Carlos Areces (Universidad Nacional de Córdoba) * Franz Baader (Technische Universität Dresden) * Peter Baumgartner (CSIRO) * Salem Benferhat (CNRS, Université d'Artois) * Meghyn Bienvenu (CNRS, University of Bordeaux) * Alexander Bochman (Holon Institute of Technology) * Gerhard Brewka (Universität Leipzig) * Pedro Cabalar (Universidade da Coruña) * Marco Calautti (The University of Edinburgh) * David Carral (Technische Universität Dresden) * Giovanni Casini (Université du Luxembourg) * Cristina Civili (Samsung R&D Institute United Kingdom) * Mehdi Dastani (Utrecht University) * James Delgrande (Simon Fraser University) * Ulle Endriss (Universiteit van Amsterdam) * Wolfgang Faber (Alpen-Adria-Universität Klagenfurt) * Luis Farinas Del Cerro (CNRS) * Eduardo Fermé (Universidade da Madeira) * Michael Fisher (University of Liverpool) * Michael Gelfond (Texas Tech University) * Laura Giordano (Università del Piemonte Orientale) * Lluis Godo (IIIA-CSIC) * Tomi Janhunen (Aalto University) * Gabriele Kern-Isberner (Technische Universitaet Dortmund) * Roman Kontchakov (University of London) * Jérôme Lang (CNRS, Université Paris-Dauphine) * Joohyung Lee (Arizona State University) * Joao Leite (Universidade NOVA de Lisboa) * Vladimir Lifschitz (University of Texas at Austin) * Thomas Lukasiewicz (University of Oxford) * Marco Maratea (University of Genova) * Jerzy Marcinkowski (Uniwersytet Wrocławski) * Pierre Marquis (CNRS, Université d'Artois) * Thomas Meyer (CAIR, University of Cape Town) * Angelo Montanari (University of Udine) * Michael Morak (Technische Universität Wien) * Manuel Ojeda-Aciego (University of Malaga) * Magdalena Ortiz (Technische Universität Wien) * David Pearce (Universidad Politécnica de Madrid) * Rafael Peñaloza (Free University of Bozen) * Luís Moniz Pereira (Universidade Nova de Lisboa) * Andreas Pieris (University of Edinburgh) * Henri Prade (CNRS, Université Paul Sabatier) * Francesco Ricca (University of Calabria) * Fabrizio Riguzzi (University of Ferrara) * Jussi Rintanen (Aalto University) * Uli Sattler (University of Manchester) * Mirek Truszczynski (University of Kentucky) * Toby Walsh (University of New South Wales) * Frank Wolter (University of Liverpool) * Stefan Woltran (Technische Universität Wien) From neurodltensor at gmail.com Mon Nov 5 10:20:35 2018 From: neurodltensor at gmail.com (Evgeny Burnaev) Date: Mon, 05 Nov 2018 10:20:35 +0100 Subject: Fwd: ICDM 2018 Workshop: Deep Learning and Tensor/Matrix Decomposition for Applications in Neuroscience In-Reply-To: References: Message-ID: Dear all! DLAN 2018 Workshop on Deep Learning and Tensor/Matrix Decomposition for Applications in Neuroscience will be held in conjunction with ICDM 2018 November 17th, 2018, Singapore The workshop is oriented to all potential applications of deep learning and matrix/tensor decomposition and networks in feature extraction, classification, recognition, segmentation, enhancing, clustering, anomaly detection, and prediction of brain and behavior data – as applied to the multi-modal brain data (MRI/fMRI/CT, EEG/MEG, and biomarker assays), especially for mental disorders. Special focus will be made on the practical aspects of how to design and train deep neural networks with appropriate reduction of the dimensionality, to achieve high classification performance and reliability. Key speakers include: Dr. Tonio Ball, Principal Investigator (Translational Neurotechnology Lab University Freiburg, Germany) Dr. Cuntai Guan, Professor (School of Computer Science and Engineering, Nanyang Technological University, Singapore) Dr. Alexander Binder, Assistant Professor (Singapore University of Technology and Design, SUTD) Dr. Qiang Wu Associate Professor (School of Information Science and Engineering, Shandong University, China) Dr. Junhua Li, Senior Research Fellow (Centre for Life Sciences, National University of Singapore) Dr. Amir H. Ansari Postdoctoral Researcher (Department of Electrical Engineering, University of Leuven) Schedule is now available at https://crei.skoltech.ru/cdise/icdm-2018-workshop/ Everyone is welcome to attend! CONTACT us at: NeuroDLTensor (at) gmail.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Mon Nov 5 10:20:35 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 05 Nov 2018 10:20:35 +0100 Subject: Robotic 2019: early registration November 13 Message-ID: Robotic 2019: early registration November 13*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *****************************************************   INTERNATIONAL SPRING SCHOOL ON ROBOTICS   Robotic 2019   Bucharest, Romania   April 8-12, 2019   Co-organized by:   University Politehnica of Bucharest   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   http://robotic2019.irdta.eu/   *****************************************************   SCOPE:   Robotic 2019 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of robotics, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on engineering, medicine, science, business models, and daily life. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most robotics subareas will be displayed, namely the conception, design, manufacturing and operation of robots. This involves addressing their sensing capabilities, manipulation, locomotion, interaction with the environment, interaction with humans, control, etc. The field is multidisciplinary at the crossroads of artificial intelligence, engineering, electronics, mechatronics, bioengineering and nanotechnology. Major challenges of robotics will be identified through 2 keynote lectures, 24 five-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Graduate 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, Robotic 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:   Robotic 2019 will take place in Bucharest, the centre of Romanian economy, culture, and art. The venue will be:   University Politehnica of Bucharest Splaiul Independenţei nr. 313 Sector 6, Bucharest   KEYNOTE SPEAKERS: (to be completed)   Mohan M. Trivedi (University of California, San Diego), tba   PROFESSORS AND COURSES: (to be completed)   Jorge Angeles (McGill University), [intermediate], Kinematics of Multibody Systems   Sylvain Calinon (Idiap Research Institute), [intermediate], Statistical, Geometrical and Dynamical Representations of Movements in Robots   Raja Chatila (Pierre et Marie Curie University), [introductory], Ethics in Robotics and AI   Gamini Dissanayake (University of Technology Sydney), [introductory/intermediate], Robot Localisation, Mapping and SLAM   Andrew A. Goldenberg (University of Toronto), [intermediate/advanced] Bridging between AI and Robotics for Business & Product Development   Norbert Krüger (University of Southern Denmark), [introductory] The Human Visual System as a Model for a Deep Neural Net   Anthony A. Maciejewski (Colorado State University), [introductory/intermediate], Kinematically Redundant Robots: The Promise of Human-like Dexterity   Stefano Nolfi (Institute of Cognitive Sciences and Technologies – CNR), [introductory/intermediate], Evolutionary Robotics   Jan Peters (Technical University of Darmstadt), [introductory/advanced] Robot Learning   José Santos-Victor (Instituto Superior Técnico), [introductory/advanced] Biological and Computational Vision   Richard Satava (University of Washington), [introductory/intermediate] Robotic Surgery and Beyond: Near and Far Future Technologies and Training   Dan Stoianovici (Johns Hopkins University), [introductory/intermediate] Medical Robotics   Garnette Sutherland (University of Calgary), [intermediate] Image Guided Robotic Surgery   Michael Y. Wang (Hong Kong University of Science and Technology), [intermediate/advanced] Soft Robotics   Simon Yang (University of Guelph), [introductory/advanced] Biologically Inspired Robotics   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 March 31, 2019.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical developments in robotics. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. Expressions of interest have to be submitted to david at irdta.eu by March 31, 2019.   EMPLOYER SESSION:   Firms searching for personnel well skilled in robotics 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. Expressions of interest have to be submitted to david at irdta.eu by March 31, 2019.   ORGANIZING COMMITTEE:   Corneliu Burileanu (Bucharest, co-chair) Nicolae Georgian (Bucharest) Sara Morales (Brussels) Anna Neacsu (Bucharest) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://robotic2019.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available on the event website.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   University Politehnica of Bucharest   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From w.j.fokkink at vu.nl Thu Nov 8 10:16:25 2018 From: w.j.fokkink at vu.nl (Fokkink, W.J.) Date: Thu, 08 Nov 2018 10:16:25 +0100 Subject: CONCUR 2019 Call for Papers In-Reply-To: <9543BA1B6322744E9AB6C9933DFF9B3A011ACE070F@PEXMB400B.vu.local> References: <9543BA1B6322744E9AB6C9933DFF9B3A011ACE065B@PEXMB400B.vu.local>,<9543BA1B6322744E9AB6C9933DFF9B3A011ACE0684@PEXMB400B.vu.local>,<9543BA1B6322744E9AB6C9933DFF9B3A011ACE06A2@PEXMB400B.vu.local>,<9543BA1B6322744E9AB6C9933DFF9B3A011ACE070F@PEXMB400B.vu.local> Message-ID: =================== CONCUR 2019 - Call for Papers =================== https://event.cwi.nl/concur2019/ The 30th International Conference on Concurrency Theory Amsterdam, The Netherlands, 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. Invited speakers Marta Kwiatkowska - University of Oxford (UK) Kim G. Larsen - Aalborg University (Denmark) Joel Ouaknine - Max Planck Institute for Software Systems (Germany) Jaco van de Pol - Aarhus University (Denmark) Co-located conference 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019) Co-located workshops Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019) 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019) 4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019) 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019) IMPORTANT DATES All dates are AoE. Abstract submission: April 15, 2019 Paper submission: April 22, 2019 Notification: June 14, 2019 Camera ready copy: July 3, 2019 Conference: August 27-30, 2019 TOPICS Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to): Basic models of concurrency such as abstract machines, domain-theoretic models, game-theoretic models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, biology-inspired systems, and synchronous systems; Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis; Distributed algorithms and data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, protocols; Theoretical foundations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, communication networks, multiprocessor and multi-core architectures, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented. PAPER SUBMISSION CONCUR 2019 solicits high quality papers reporting research results and/or experience related to the topics mentioned below. All papers must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. The paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. The CONCUR 2019 proceedings will be published by LIPIcs. Papers must be submitted electronically as PDF files via EasyChair. Papers must not exceed 14 pages (excluding references and clearly marked appendices) using the LIPIcs style. ORGANIZATION COMMITTEE General Chair Jos Baeten (CWI, Amsterdam, The Netherlands) Program Co-chairs Wan Fokkink (Vrije Universiteit Amsterdam, The Netherlands) Rob van Glabbeek (Data61, CSIRO, Sydney, Australia) Workshop Chair Bas Luttik (Eindhoven University of Technology, The Netherlands) SPECIAL ISSUE A special issue dedicated to selected papers from CONCUR'2019 will appear in Logical Methods in Computer Science. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Thu Nov 8 10:16:25 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 08 Nov 2018 10:16:25 +0100 Subject: ICLA 2019: EIGHTH INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS 2019 Message-ID: CALL FOR PAPERS ICLA 2019: EIGHTH INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS 2019 Indian Institute of Technology Delhi New Delhi, India, March 3-5, 2019 Conference website http://icla2019.cse.iitd.ac.in Submission link https://easychair.org/conferences/?conf=icla2019 Poster download [1] The Association for Logic in India (ALI) announces the eighth edition of its biennial _International Conference on Logic and its Applications_ (ICLA), to be held at the Indian Institute of Technology Delhi from March 3 to 5, 2019. ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition and historical research on logic. As in the earlier events in this series, we shall have eminent scholars as invited speakers. Details of the last ICLA 2017 may be found at https://icla.cse.iitk.ac.in [2]. See http://ali.cmi.ac.in [3] for information on past events as well as updates on this conference. SCOPE: Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Articles on mathematical and philosophical logic, logic in computer science, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, history of logic, Indian systems of logic, or on the relationship between logic and other branches of knowledge, are welcome. COMMITTEES: PROGRAM COMMITTEE * Abhisekh Sankaran, IMSc Chennai * Amaldev Manuel, IIT Goa (CO-CHAIR) * Amit Kuber, IIT Kanpur * Anuj Dawar, University of Cambridge * Arnaud Sangnier, Univercite Paris Diderot * S. Arun-Kumar, IIT Delhi * Astrid Kiehn, IIT Mandi * Benedikt Löwe, University of Amsterdam * Benedikt Bollig, LSV, ENS Cachan, CNRS * Benjamin Monmege, Aix-Marseille Université, LIF, CNRS * Davide Grossi, University of Groningen * Denis Kuperberg, ENS Lyon * Gabriele Puppis, LaBRI, Bordeaux * Hans van Ditmarsch, LORIA - CNRS / University of Lorraine * Ivo Düntsch, Brock University * Katsuhiko Sano, Hokkaido University * M. Praveen, Chennai Mathematical Institute * Md. Aquil Khan, IIT Indore (CO-CHAIR) * Mihir Kumar Chakraborty, Jadavpur University * Minghui Ma, Sun Yat-Sen University * Ramchandra Phawade, IIT Dharwad * Richard Zach, University of Calgary * S. Akshay, IIT Bombay * Sankha Basu, IIIT Delhi * Smita Sirker, Jawaharlal Nehru University * Soma Dutta, University of Warmia and Mazury * Sreejith A. V., IIT Goa * Stefan Göller, University of Kassel * Sujata Ghosh, ISI Chennai * Sunil Easaw Simon, IIT Kanpur * Torben Braüner, Roskilde University ORGANIZING COMMITTEE * S. Arun-Kumar, IIT Delhi * Sanjiva Prasad, IIT Delhi * Subodh V Sharma, IIT Delhi CONFIRMED INVITED SPEAKERS: * Ian Pratt-Hartmann, University of Manchester * Carolin Antos, University of Konstanz * Martin Lange, University of Kassel * Mike Prest, University of Manchester * Johann A. Makowsky, Technion - Israel Institute of Technology Names of other speakers will be added soon. PUBLICATION: Submitted papers will be peer-reviewed and accepted papers will be published in the conference proceedings. The ICLA 2019 conference proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS) series. [4] SUBMISSION GUIDELINES: Authors may submit drafts of full papers or extended abstracts. The submission must not exceed 12 pages in Springer-Verlag Lecture Notes LaTeX style. If appropriate, proof details omitted in the paper may be added in an appendix meant for the reviewers. Link: https://easychair.org/conferences/?conf=icla2019 Concurrent submissions to other conferences/journals are not admissible. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference. IMPORTANT DATES: Deadline for Submissions: 5 November 2018 15 NOVEMBER 2018 Notification to authors: 21 December 2018 Pre-conference Workshops: 1-2 March 2019 Conference: 3-5 March 2019 CONTACT: Please contact the PC chairs (aquilk at iiti.ac.in, amal at iitgoa.ac.in) for any further queries. Links: ------ [1] https://easychair.org/cfp/poster_download.cgi?cfp=icla2019 [2] https://icla.cse.iitk.ac.in [3] http://ali.cmi.ac.in [4] http://www.dagstuhl.de/en/publications/lipics From me at bohlouli.com Mon Nov 12 10:24:48 2018 From: me at bohlouli.com (Mahdi Bohlouli) Date: Mon, 12 Nov 2018 10:24:48 +0100 Subject: Last CfP CiDaS 2019, Contemporary Issues in Data Science, The International Conference on Message-ID: ***Submission deadline extension due to multiple requests*** There are limited number of grants available for international participants through abroad sponsors. For further information and consideration, please send your request along with your CV to cidas at iasbs.ac.ir **apologies for cross-postings** ------------------------------------------------------------------------------------------- Call for Papers The International Conference on Contemporary Issues in Data Science CiDaS19 Institute for Advanced Studies in Basic Science, 6-8 March 2019, Zanjan, Iran Conference Website: https://cidas.iasbs.ac.ir Submission link: https://easychair.org/conferences/?conf=cidas19 Publication in: https://www.springer.com/series/15362 ------------------------------------------------------------------------------------------- Data science is rapidly growing field and as a profession incorporates a wide variety of areas from statistics, mathematics and machine learning to applied big data analytics. In this regard, we put special interest and focus on data science in our past executions of CICIS conference. This year, in its 5th run, we decided to dedicate the conference to data science area and accordingly keep it as professional data science event in the future. The 5th international conference on Contemporary issues in Data Science (CiDaS) will provide a sort of a real workshop (not listen-shop) to scientists and scholars to share ideas, initiate future collaborations and brainstorm challenges as well as industries to catch emerging solutions from the science to their real data science problems. Goal: CiDaS aims at providing first class brainstorming and collaboration potentials to data scientists and experts from other related areas and disciplines, who use data science innovations in their field. We accept applied and fundamental research papers, survey papers that show innovations in the field as well as papers from other disciplines that show novel application of data science and big data in their field such as healthcare, manufacturing, finance and etc. Keynote Speakers: - Soeren Auer: Leibniz University of Hannover, TIB Leibniz Information Centre for Science and Technology, Germany - Mohammad Shokoohi Yekta, Apple Inc., United States - Hamid Beigy, Sharif University of Technology, Iran Topics: Main topics to be addressed in the CiDaS conference include, but not limited to: * Big Data Analysis: Linked Open Data, Scalable Machine Learning, Distributed Data Storage and Analysis, Algorithmic and Statistical Techniques for Big Data, Privacy and Ethics * Machine Learning and Data science: Deep Learning, Text Mining and Natural Language Processing, Statistical Pattern Recognition, Statistical Models in Data Science, Probabilistic graphical models * Semantic Data Science: Knowledge Discovery, Semantic Technologies, Novel Information Retrieval, Linked data and Semantic Web, Ontologies, Graph and Network Analysis * Applied Data Science: Computer vision, Biological data analysis and Bioinformatics, Social network analysis, Large Scale Data retrieval and analysis in Smart Cities, Data Science for Gamification, IoT and WoT, Industry 4.0, Malware detection Paper Submission: All submissions should be in English and PDF format. Authors are requested to use the style of the Springer Publications format. For details on the Springer style, see Springer's Author Instructions (ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip). Two types of submissions will be accepted: (1) Full paper and (2) Short paper. Full paper submissions are not allowed to exceed 11 pages including references. Short paper submissions should be maximum 6 pages. All papers should be submitted through Easychair system using the following link: https://easychair.org/conferences/?conf=cidas19 Conference Proceedings: All accepted full papers will be published by Springer in Lecture Notes on Data Engineering and Communications Technologies (https://www.springer.com/series/15362). The books of this series are submitted to ISI Proceedings, MetaPress, Springerlink and DBLP. Important Dates: - Paper submission: November 9, 2018 -> extended: 9 December 2018 - Tutorial submission: January 5, 2019 - Preliminary review: January 11, 2019 -> extended: 30 January 2019 - Rebuttals: January 23-25, 2019 -> extended: 6-7 February 2019 - Notification of acceptance: February 1, 2019 -> extended: 12 February 2019 - Camera-ready and early registration: February 14, 2019 - Late registration deadline: February 24, 2019 Program Chairs: - General Chair: Bahram Sadeghi Bigham - International Chair: Mahdi Bohlouli - Local Chairs: Zahra Narimani, Mahdi Vasighi - Tutorials Chair: Parvin Razzaghi Program Committee: Hassan Abolhassani, Software engineer at Google, USA Mohsen Afsharchi, University of Zanjan, Iran Morteza AnaLoui, Iran University of Science and Technology, Iran Amin Anjomshoa, Massachusetts Institute of Technology, USA Lefteris Angelis, Aristotle University of Thessaloniki, Greece Nikos Askitas, Research Data Center, Institute of Labour Economics, Germany Zeinab Bahmani, Uni-Select Inc, Canada Davide Ballabio, University of Milano-Bicocca, Italy Markus Bick, ESCP Europe Business School, Germany Elnaz Bigdeli, University of Ottawa, Canada Mansoor Davoodi Monfared, Institute of Advanced Studies in Basic Sciences, Iran Mohammad Reza Faraji, Institute of Advanced Studies in Basic Sciences, Iran Agata Filipowska, Poznan University of Economics and Business, Poland Holger Fröhlich, University of Bonn, Germany George Kakarontzas, Technical Educational Institute of Thessaly, Greece Alireza Khastan, Institute of Advanced Studies in Basic Sciences, Iran Antonio Liotta, University of Derby, UK Rahim Mahmoudvand, Bu-Ali Sina University, Iran Samaneh Mazaheri, University of Ontario Institute of Technology, Canada Federico Marini, University of Rome "La Sapienza", Italy Maryam Mehri Dehnavi, University of Toronto, Canada Nima Mirbakhsh, Arcane Inc, Canada Ali Movaghar, Sharif University of Technology, Iran Ehsan Nedaaee Oskoee, Institute of Advanced Studies in Basic Sciences, Iran Peyman Pahlevani, Institute of Advanced Studies in Basic Sciences, Iran Paurush Praveen, Machine Learning Research, CluePoints, Belgium Edy Portmann, University of Fribourg, Switzerland Shahram Rahimi, Southern Illinois University, USA Reinhard Rapp, Hochschule Magdeburg, Germany Mohammad Saraee, University of Salford-Manchester, UK Frank Schulz, SAP AG, Germany Mehdi Sheikhalishahi, Innotec21 GmbH, Germany Ioannis Stamelos, Aristotle University of Thessaloniki, Greece Athena Vakali, Aristotle University of Thessaloniki, Greece Contact: All questions about submissions should be emailed to Zahra Narimani and Mahdi Bohlouli --------------------------- Mahdi Bohlouli, Assistant Professor Department of Computer Science Institute for Advanced Studies in Basic Sciences (IASBS), Zanjan, Iran Email: me at bohlouli.com, bohlouli at iasbs.ac.ir WEB: www.bohlouli.com, https://iasbs.ac.ir/_bohlouli/ From serge.autexier at dfki.de Mon Nov 12 10:24:48 2018 From: serge.autexier at dfki.de (Serge Autexier) Date: Mon, 12 Nov 2018 10:24:48 +0100 Subject: CICM 2019, July 8-12: First Call for Submissions, Workshops & Tutorials Message-ID: [Apologies for cross-postings] Call for Papers formal papers - informal papers - doctoral programme - workshops - tutorials 12th Conference on Intelligent Computer Mathematics - CICM 2019 - July 8-12, 2019 CIIRC, Prague, Czech Republic http://www.cicm-conference.org/2019 -------------------------------------------------------------------------------- Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration. CICM 2018 invites submissions in all topics relating to intelligent computer mathematics, in particular but not limited to * theorem proving and computer algebra * mathematical knowledge management * digital mathematical libraries CICM appreciates the varying nature of the relevant research in this area and invites submissions of very different forms: 1) Formal submissions will be reviewed rigorously and accepted papers will be published in a volume of Springer LNAI (pending approval): * regular papers (up to 15 pages) present novel research results * project and survey papers (up to 15 pages + bibliography) summarize existing results * system and dataset descriptions (up to 5 pages) present digital artifacts * system entry (1 page according to the given LaTeX template) provides metadata and a quick overview of a new tool or a new release of an existent tool 2) Informal submissions will be reviewed with a positive bias and selected for presentation based on their relevance for the community. * informal papers may present work-in-progress, project announcements, position statements, etc. * posters and system demos will be presented in parallel in special sessions 3) The doctoral programme provides PhD students a forum to present early results receive constructive feedback and mentoring. 4) Workshops allow smaller groups to self-organize focused discussions. 5) Tutorials allow presenting a particular system in depth. * Important Dates * Formal submissions - Abstract deadline: March 01 - Full paper deadline: March 08 - Reviews sent to authors: April 06 - Rebuttals due: April 10 - Notification of acceptance: April 15 - Camera-ready copies due: May 01 - Conference: July 08-12 Informal submissions and doctoral programme Two separate submission rounds are offered so that some authors can make early travel plans while other authors submit spontaneously. - First round submission deadline: April 01 - Second round submission deadline: May 15 Workshop and Tutorial proposals - Submission deadline: February 01 All submissions should be made via easychair at https://easychair.org/conferences/?conf=cicm2019 From irdta at irdta.eu Mon Nov 12 10:24:48 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 12 Nov 2018 10:24:48 +0100 Subject: LATA 2019: extended submission deadline November 18 Message-ID: LATA 2019: extended submission deadline November 18*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: November 18 ***** ------------------------------------------------------------------------------   ************************************************************************* 13th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2019   Saint Petersburg, Russia   March 25-29, 2019   Organized by:             Saint Petersburg State University and Institute for Research Development, Training and Advice, Brussels/London   http://lata2019.irdta.eu/ *************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. LATA 2019 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2019 will take place in Saint Petersburg, whose historic centre is a UNESCO World Heritage Site. The conference site shall be the historical Twelve Collegia building (https://en.wikipedia.org/wiki/Twelve_Collegia), built in ca. 1740, which was used for the Russian government in the 18th century, and which has been the main building of Saint Petersburg State University since 1835.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2019 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Henning Fernau (University of Trier), Modern Aspects of Complexity within Formal Languages   Paweł Gawrychowski (University of Wrocław), tba   Edward A. Lee (University of California, Berkeley), Observation, Interaction, Determinism, and Free Will   Vadim Lozin (University of Warwick), From Words to Graphs, and Back   Esko Ukkonen (University of Helsinki), Pattern Discovery in Biological Sequences   PROGRAMME COMMITTEE:   Krishnendu Chatterjee (Institute of Science and Technology Austria, AT) Bruno Courcelle (University of Bordeaux, FR) Manfred Droste (University of Leipzig, DE) Travis Gagie (Diego Portales University, CL) Peter Habermehl (Paris Diderot University, FR) Tero Harju (University of Turku, FI) Markus Holzer (University of Giessen, DE) Radu Iosif (Verimag, FR) Kazuo Iwama (Kyoto University, JP) Juhani Karhumäki (University of Turku, FI) Lila Kari (University of Waterloo, CA) Juha Kärkkäinen (University of Helsinki, FI) Bakhadyr Khoussainov (University of Auckland, NZ) Sergey Kitaev (University of Strathclyde, UK) Shmuel Tomi Klein (Bar-Ilan University, IL) Olga Kouchnarenko (University of Franche-Comté, FR) Thierry Lecroq (University of Rouen, FR) Markus Lohrey (University of Siegen, DE) Sebastian Maneth (University of Bremen, DE) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Giancarlo Mauri (University of Milano-Bicocca, IT) Filippo Mignosi (University of L'Aquila, IT) Victor Mitrana (Polytechnic University of Madrid, ES) Joachim Niehren (INRIA Lille, FR) Alexander Okhotin (Saint Petersburg State University, RU) Dominique Perrin (University of Paris-Est, FR) Matteo Pradella (Polytechnic University of Milan, IT) Jean-François Raskin (Université Libre de Bruxelles, BE) Marco Roveri (Bruno Kessler Foundation, IT) Karen Rudie (Queen's University, CA) Wojciech Rytter (University of Warsaw, PL) Kai Salomaa (Queen's University, CA) Sven Schewe (University of Liverpool, UK) Helmut Seidl (Technical University of Munich, DE) Ayumi Shinohara (Tohoku University, JP) Hans Ulrich Simon (Ruhr-University of Bochum, DE) William F. Smyth (McMaster University, CA) Frank Stephan (National University of Singapore, SG) Martin Sulzmann (Karlsruhe University of Applied Sciences, DE) Jorma Tarhio (Aalto University, FI) Stefano Tonetta (Bruno Kessler Foundation, IT) Rob van Glabbeek (Data61, CSIRO, AU) Margus Veanes (Microsoft Research, US) Mahesh Viswanathan (University of Illinois, Urbana-Champaign, US) Mikhail Volkov (Ural Federal University, RU) Fang Yu (National Chengchi University, TW) Hans Zantema (Eindhoven University of Technology, NL)   ORGANIZING COMMITTEE:   Alexander Okhotin (Saint Petersburg, co-chair) Manuel Parra-Royón (Granada) Dana Shapira (Ariel) David Silva (London, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix.   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=lata2019   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of the journal Information and Computation (Elsevier, 2017 JCR impact factor: 0.66) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://lata2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: November 18, 2018 – EXTENDED – Notification of paper acceptance or rejection: December 16, 2018 Final version of the paper for the LNCS proceedings: December 23, 2018 Early registration: December 23, 2018 Late registration: March 11, 2019 Submission to the journal special issue: June 29, 2019   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGMENTS:   Санкт-Петербургский государственный университет   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nevrenato at gmail.com Thu Nov 15 10:55:58 2018 From: nevrenato at gmail.com (Renato Neves) Date: Thu, 15 Nov 2018 10:55:58 +0100 Subject: FM'19: Final Call for Workshop & Tutorial Proposals Message-ID: FM'19 - 3rd WORLD CONGRESS ON FORMAL METHODS PORTO, PORTUGAL, OCTOBER 7-11, 2019 formalmethods2019.inesctec.pt ------------ FINAL CALL FOR WORKSHOP & TUTORIAL PROPOSALS ------------- ------------------------------------------------------------------------- Deadline for workshop & tutorial proposals: November 16, 2018 Notification of decision on workshops and tutorials: November 23, 2018 ------------------------------------------------------------------------- 1 ABOUT FM'19 ============= FM 2019 is the 23rd international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. Every ten years the symposium is organised as a World Congress. Twenty years after FM’99 in Toulouse, and ten years after FM’09 in Eindhoven, FM’19 is the 3rd World Congress on Formal Methods. Thus, FM’19 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experience. 2 PROPOSALS =========== For this major event, we are now inviting proposals for workshops, tutorials, or other satellite events that will complement the main FM Symposium and co-located conferences. The purpose of the satellite events is to provide an informal setting for participants to discuss technical issues, exchange research ideas, and to discuss and/or demonstrate applications. These may be driven by fundamental academic interests or by needs from specific application domains. We encourage a diversity of events relating to different varieties of formal models. Satellite events will take place on 7-8 October 2019. Satellite events would typically run for 1/2 or 1 day, but 2 day events will also be considered. The FM'19 organising committee aim to support one invited speaker per workshop. 3 SUBMISSION INFORMATION ======================== Researchers and practitioners wishing to organise a workshop or tutorial are invited to submit proposals by e-mail to the Workshops & Tutorials Chairs, Nelma Moreira (nam at dcc.fc.up.pt) and Emil Sekerinski (emil at mcmaster.ca). A proposal should not exceed three pages and should include the following information: * Title and brief technical description of the event, specifying the goals and the technical issues that will be its focus. * The names and contact information (web page, email address) of the organisers. In case of a workshop those will be the Programme Committee (PC) chairs and in this case a prospective list of international PC members is welcome. * Pointers to information about past editions of the event, if applicable. In case of a workshop, if it has taken place before; how often it has been colocated with FM? Which (other) conference(s) has the workshop been colocated with so far? Number of participants in the last instalment. * A discussion of the proposed format and agenda (for example paper presentations, tutorials, demo sessions, etc). * The proposed duration: half or one day. Exceptionally, two days events may be considered. * Potential invited speaker(s). * Procedures for selecting papers and participants and plans for the publication of proceedings, if any. * Tentative schedule for paper submission and notification of acceptance. The organisers of satellite events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a programme of talks; advertise their event though specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; and arrange any post-proceedings. 4 IMPORTANT DATES ================= Submission of proposals: November 16, 2018 Notification of success of proposals: November 23, 2018 Notification of paper acceptance (if applicable): June 14, 2019 (limit date) FM'19 World Congress: October 7-11, 2019 Workshop/Tutorial dates: October 7-8, 2019 (also October 9-11 if space is an issue) Best Wishes, Nelma Moreira & Emil Sekerinski From irdta at irdta.eu Thu Nov 15 10:55:58 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 15 Nov 2018 10:55:58 +0100 Subject: AlCoB 2019: 1st call for papers Message-ID: AlCoB 2019: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************************************** 6th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2019   Berkeley, USA   May 28-30, 2019   Co-organized by:   University of California, Berkeley   Institute for Research Development, Training and Advice, Brussels/London   http://alcob2019.irdta.eu/ **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, evolutionary trees, and structure prediction.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), Aveiro, and Hong Kong.   The conference will address several of the current challenges in computational biology by investigating algorithms aimed at:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Special focus will be put on methodology and significant room will be reserved to young scholars at the beginning of their career.   VENUE:   AlCoB 2019 will take place in Berkeley, home to the oldest campus in the highly prestigious University of California system. The venue will be:   University of California, Berkeley   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Sequence analysis Sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics, epigenomics Genome CD architecture Microbiome analysis Systems biology   STRUCTURE:   AlCoB 2019 will consist of:   invited lectures peer-reviewed contributions posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE:   Can Alkan (Bilkent University, TR) Stephen Altschul (National Center for Biotechnology Information, US) Philipp Bucher (Swiss Institute for Experimental Cancer Research, CH) Ken Chen (MD Anderson Cancer Center, US) Keith A. Crandall (George Washington University, US) Colin Dewey (University of Wisconsin, Madison, US) Eytan Domany (Weizmann Institute of Science, IL) Robert Edgar (independent, US) Dmitrij Frishman (Technical University of Munich, DE) Susumu Goto (Research Organization of Information and Systems, JP) Desmond Higgins (University College Dublin, IE) Karsten Hokamp (Trinity College Dublin, IE) Ian Holmes (University of California, Berkeley, US) Fereydoun Hormozdiari (University of California, Davis, US) Daniel Huson (University of Tübingen, DE) Martijn Huynen (Radboud University Medical Centre, NL) Peter Karp (SRI International, US) Kazutaka Katoh (Osaka University, JP) Anders Krogh (University of Copenhagen, DK) Doron Lancet (Weizmann Institute of Science, IL) Alla Lapidus (Saint Petersburg State University, RU) Ming Li (University of Waterloo, CA) Gerard Manning (Genentech, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David H. Mathews (University of Rochester Medical Center, US) Aaron McKenna (University of Washington, US) Jason Rafe Miller (Shepherd University, US) Aleksandar Milosavljevic (Baylor College of Medicine, US) Yasukazu Nakamura (National Institute of Genetics, JP) Zemin Ning (Wellcome Trust Sanger Institute, UK) William Stafford Noble (University of Washington, US) Sandra Orchard (European Bioinformatics Institute, UK) William Pearson (University of Virginia, US) Matteo Pellegrini (University of California, Los Angeles, US) Mihaela Pertea (Johns Hopkins University, US) Steve Rozen (Duke-NUS Medical School, SG) David Sankoff (University of Ottawa, CA) Russell Schwartz (Carnegie Mellon University, US) Wing-Kin Sung (National University of Singapore, SG) Alfonso Valencia (Barcelona Supercomputing Centre, ES) Arndt von Haeseler (Center for Integrative Bioinformatics Vienna, AT) Kai Wang (Children's Hospital of Philadelphia, US)   ORGANIZING COMMITTEE:   Ian Holmes (Berkeley, co-chair) Sara Morales (Brussels) Manuel Parra-Royón (Granada) 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=alcob2019   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI 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://alcob2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: January 12, 2019 Notification of paper acceptance or rejection: February 19, 2019 Final version of the paper for the LNCS/LNBI proceedings: February 26, 2019 Early registration: February 26, 2019 Late registration: May 14, 2019 Submission to the journal special issue: August 30, 2019   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGEMENTS:   University of California, Berkeley   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ruy at cin.ufpe.br Thu Nov 22 10:29:11 2018 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Thu, 22 Nov 2018 10:29:11 +0100 Subject: 26th WoLLIC 2019 (Utrecht, The Netherlands) - Call for Papers In-Reply-To: References: Message-ID: [Please circulate. Apologies for multiple copies.] CALL FOR PAPERS WoLLIC 2019 26th Workshop on Logic, Language, Information and Computation July 2nd to 5th, 2019 Utrecht, The Netherlands ORGANISATION Utrecht University, Faculty of Humanities, The Netherlands (host university) Centro de Informática, Universidade Federal de Pernambuco, Brazil CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-fifth WoLLIC will be held at Utrecht University, The Netherlands, from July 2nd to 5th, 2019. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). Just before and after the main WoLLIC 2019 event, Utrecht University will host two satellite workshops: -Proof Theory in Logic on 1-2 July 2019. This workshop on the role of structural proof theory in the study of logics will consist of invited talks by researchers in that area. -Compositionality in formal and distributional models of natural language semantics, on July 6 2019. The workshop programs will be announced end of December 2018 via the WoLLIC 2019 website (https://wollic2019.sites.uu.nl). Attendance of these satellite workshops is free, but registration is required. PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2019 EasyChair website. (Please go to http://wollic.org/wollic2019/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Feb 22, 2019, and the full paper by Feb 26, 2019 (firm date). Notifications are expected by April 5, 2019, and final papers for the proceedings will be due by April 15, 2019 (firm date). PROCEEDINGS The proceedings of WoLLIC 2019, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2019 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (TBA) STUDENT GRANTS ASL sponsorship of WoLLIC 2019 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2019). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Feb 22, 2019: Paper title and abstract deadline Feb 26, 2019: Full paper deadline April 5, 2019: Author notification Apr 15, 2019: Final version deadline (firm) PROGRAMME COMMITTEE Raffaella Bernardi (University of Trento) Nick Bezhanishvili (University of Amsterdam) Giuseppe Greco (Utrecht University) Philippe de Groote (INRIA Nancy) Rosalie Iemhoff (Utrecht University) (Co-CHAIR) Roberto Maieli (Department of Mathematics and Physics, University "Roma Tre”) Michael Moortgat (Utrecht University) (Co-CHAIR) Richard Moot (CNRS (LIRMM) & University of Montpellier) Larry Moss (Indiana University Bloomington) Sara Negri (University of Helsinki) Carlo Nicolai (King's College London) Valeria de Paiva (Nuance Comms and University of Birmingham) Alessandra Palmigiano (Delft University of Technology) Ruy de Queiroz (Centro de Informatica, Univ Federal de Pernambuco) Yde Venema (University of Amsterdam) Fan Yang (University of Helsinki) STEERING COMMITTEE Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Lawrence Moss, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. (Former Member: Grigori Mints (deceased).) ORGANISING COMMITTEE Giuseppe Greco (Utrecht University, The Netherlands) (Local co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2019/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rl.stpuu at gmail.com Thu Nov 22 10:29:11 2018 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Thu, 22 Nov 2018 10:29:11 +0100 Subject: CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2019 Message-ID: CALL FOR PAPERS Natural Language Processing in Artificial Intelligence - NLPinAI 2019 19 - 21 February, 2019 - Prague, Czech Republic http://www.icaart.org/NLPinAI.aspx Special Session within the 11th International Conference on Agents and Artificial Intelligence - ICAART 2019 http://www.icaart.org ------------------------------------------------------------- SCOPE: Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) are information conveyors, interpreters, or participate as components of informational content. Generally, language processing depends on agents' knowledge, reasoning, perspectives, and interactions. The session covers theoretical work, applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes. TOPICS: We invite contributions relevant to the following topics, without being limited to them: - Type theories for applications to language and information processing - Computational grammar - Computational syntax - Computational semantics of natural languages - Computational syntax-semantics interface - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Parsing - Multilingual processing - Large-scale grammars of natural languages - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Models of computation and algorithms for natural language processing - Computational models of partiality, underspecification, and context-dependency - Models of situations, contexts, and agents, for applications to language processing - Information about space and time in language models and processing - Models of computation and algorithms for linguistics - Data science in language processing - Machine learning of language - Interdisciplinary methods - Integration of formal, computational, model theoretic, graphical, diagrammatic, statistical, and other related methods - Logic for information extraction or expression in written and spoken language - Language processing based on biological fundamentals of information and languages - Computational neuroscience of language IMPORTANT DATES: Paper Submission: December 20, 2018 Authors Notification: January 7, 2019 Camera Ready and Registration: January 15, 2019 PAPER SUBMISSION: Authors can submit their work in the form of a Regular Paper, representing completed and validated research, or as a Position Paper, for preliminary work in progress. Regular Papers - Submission: It is recommended that Regular Papers are submitted for review with around 8 to 10 pages - Acceptance: After a double-blind peer review, qualifying Regular Papers may be accepted as either Full Papers or Short Papers - Publication: Regular Papers classified as Full Papers will be assigned a 12-page limit in the Conference Proceedings, while Regular Papers classified as Short Papers have an 8-page limit Position Papers - Submission: Position Papers should be submitted for review with around 6 or 7 pages - Acceptance: After a double-blind peer review, qualifying Position Papers will be accepted as Short Papers - Publication: Position Papers will be assigned a 8-page limit in the Conference Proceedings Instructions for preparing the manuscript (in Word and Latex formats) are available at the page with paper Templates: http://www.icaart.org/Templates.aspx Please also check the Guidelines: http://www.icaart.org/Guidelines.aspx Papers must be submitted electronically via the web-based submission system using the appropriated button Submit Paper on the pages of NLPinAI 2019. The Conference Proceedings will be published under an ISBN number by SCITEPRESS and include final versions of all accepted papers, adjusted to satisfy reviewers' recommendations. They will be obtainable on paper and CD-Rom support, and made available for online consultation at the SCITEPRESS Digital Library. Online publication is exclusive to papers which have been both published and presented at the event. Indexation: The proceedings will be submitted to Thomson Reuters Conference Proceedings Citation Index (CPCI/ISI), INSPEC, DBLP, EI (Elsevier Engineering Village Index) and Scopus for indexation. ------------------------------------------------------------- CHAIRS: Roussanka Loukanova Sweden CONTACT: Roussanka Loukanova (rloukanova the special symbol gmaildotcom) ------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Thu Nov 22 10:29:11 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 22 Nov 2018 10:29:11 +0100 Subject: Artificial Intelligence and Theorem Proving, CFP Message-ID: SECOND CALL FOR CONTRIBUTIONS Artificial Intelligence and Theorem Proving, AITP 2019 April 7-12, 2019, Obergurgl, Austria http://aitp-conference.org/2019 Deadline: December 1, 2018 https://easychair.org/conferences/?conf=aitp2019 BACKGROUND Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that. TOPICS - AI, machine learning and big-data methods in theorem proving and mathematics. - Collaboration between automated and interactive theorem proving. - Commonsense reasoning and reasoning in science. - Alignment and joint processing of formal, semi-formal, and informal libraries. - Methods for large-scale computer understanding of mathematics and science. - Combinations of linguistic/learning-based and semantic/reasoning methods - Formal verification of AI and machine learning algorithms, explainable AI. SESSIONS There will be several focused sessions on AI for ATP, ITP and mathematics, Formal Abstracts, linguistic processing of mathematics/science, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented. CONFIRMED PARTICIPANTS/SPEAKERS Wolfgang Bibel, Darmstadt University of Technology Kevin Buzzard, Imperial College London Ben Goertzel, SingularityNET Georges Gonthier, INRIA Thomas C. Hales, University of Pittsburgh Sean Holden, University of Cambridge Mikoláš Janota, University of Lisbon Michael Kinyon, University of Denver Angeliki Koutsoukou-Argyraki, University of Cambridge Ramana Kumar, DeepMind Sarah Loos, Google Research David McAllester, Toyota Technological Institute at Chicago Tomáš Mikolov, Facebook AI Research Scott Morrison, Australian National University Arnold Neumaier, University of Vienna Adam Pease, Infosys Joao Marques Silva, University of Lisbon Martin Suda, Czech Technical University in Prague Christian Szegedy, Google Research Robert Veroff, University of New Mexico CONTRIBUTED TALKS We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pages formatted with easychair.cls. Submission is via EasyChair (https://easychair.org/conferences/?conf=aitp2019). DATES Submission deadline: December 1, 2018 Author notification: December 23, 2018 Conference registration: January 13, 2019 Camera-ready versions: February 1, 2019 Conference: April 7 - 12, 2019 POST-PROCEEDINGS We will consider an open call for post-proceedings in an established series of conference proceedings (LIPIcs, EPiC, JMLR) or a journal (AICom, JAR, JAIR). PROGRAM COMMITTEE Jasmin Christian Blanchette, INRIA Nancy Ulrich Furbach, University of Koblenz Thomas C. Hales (co-chair), University of Pittsburgh Sean Holden, University of Cambridge Mikoláš Janota, University of Lisbon Moa Johansson, Chalmers University Cezary Kaliszyk (co-chair), University of Innsbruck Michael Kohlhase, FAU Erlangen-Nürnberg Konstantin Korovin, The University of Manchester Ramana Kumar (co-chair), DeepMind Claudio Sacerdoti Coen, University of Bologna David McAllester, Toyota Technological Institute at Chicago Adam Pease, Infosys Stephan Schulz (co-chair), DHBW Stuttgart Geoff Sutcliffe, University of Miami Christian Szegedy, Google Research Josef Urban (co-chair), Czech Technical University in Prague LOCATION AND PRICE The conference will take place from April 7 to April 12 in the stunning scenery of the Tyrolean Alps in the Obergurgl Conference Center of the University of Innsbruck. Obergurgl is a picturesque village located at an altitude of 2000m, a 1-hour drive from Innsbruck. It offers a variety of winter-sport activities such as skiing, snowshoeing and hiking at this time of the year. The total price for accommodation in a twin room (based on 2-person occupancy), food and registration for the five days will be around 670 EUR. There are also several hotels in Obergurgl - booking early is recommended. ORGANIZERS Cezary Kaliszyk and Josef Urban From irdta at irdta.eu Thu Nov 22 10:29:11 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 22 Nov 2018 10:29:11 +0100 Subject: BigDat 2019: early registration December 8 Message-ID: BigDat 2019: early registration December 8*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   5th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2019   Cambridge, United Kingdom   January 7-11, 2019   Co-organized by:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   http://bigdat2019.irdta.eu/   ********************************************************   --- Early registration deadline: December 8, 2018 ---   ********************************************************   SCOPE:   BigDat 2019 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 24 four-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2019 will take place in Cambridge, a city home of a world-renowned university. The venue will be:   University of Cambridge Department of Engineering Trumpington Street Cambridge CB2 1PZ   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES:   Thomas Bäck (Leiden University), [introductory/intermediate], Data Driven Modeling and Optimization for Industrial Applications   Richard Bonneau (New York University), [introductory] Large Scale Machine Learning Methods for Integrating Protein Sequence and Structure to Predict Gene Function   Altan Cakir (Istanbul Technical University), [introductory/intermediate] Processing Big Data with Apache Spark: From Science to Industrial Applications   Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Cross-domain Multi-source Big Data Fusion and Analytics   Nitesh Chawla (University of Notre Dame), [intermediate/advanced] Network Science: Representation Learning and Higher Order Networks   Nello Cristianini (University of Bristol), [introductory] The Interface between Big Data and Society   Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] High Performance Big Data Computing   David Gerbing (Portland State University), [introductory] Data Visualization with R   Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs   Geoff McLachlan (University of Queensland), [intermediate/advanced] Applying Finite Mixture Models to Big Data   Folker Meyer (Argonne National Laboratory), [intermediate] Skyport2: A Multi Cloud Framework for Executing Scientific Workflows   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Soumya Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods for Statistical Regression   Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Soft Granular Mining: Features, Applications and Challenges   Lior Rokach (Ben-Gurion University of the Negev), [introductory/advanced] Ensemble Learning   Michael Rosenblum (University of Potsdam), [introductory/intermediate] Synchronization Approach to Time Series Analysis   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services   Rory Smith (Monash University), [intermediate/advanced] Statistical Inference: Optimal Methods for Learning from Signals in Noise   Jaideep Srivastava (University of Minnesota), [intermediate] Social Computing – Concepts and Applications   Mayte Suárez-Fariñas (Icahn School of Medicine at Mount Sinai), [intermediate] A Practical Guide to the Analysis of Longitudinal Data Using R   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Andrey Ustyuzhanin (National Research University Higher School of Economics), [intermediate/advanced] Surrogate Modelling for Fun and Profit   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: Data Science in Action   Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Multimedia Data Learning   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by December 30, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   ORGANIZING COMMITTEE:   Chiara Paola Codebò (Genova) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) Jeffrey Salmond (Cambridge) David Silva (London, co-chair) Filippo Spiga (Cambridge, co-chair) Richard E. Turner (Cambridge)   REGISTRATION:   It has to be done at   http://bigdat2019.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available on the event website.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fstolzenburg at hs-harz.de Thu Nov 22 10:29:11 2018 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Thu, 22 Nov 2018 10:29:11 +0100 Subject: CfP: KI Special Issue "Cognitive Reasoning" - Deadline Extended to 15-Dec-2018 Message-ID: Künstliche Intelligenz Journal Special Issue on "Cognitive Reasoning" -- Call for Papers -- *** Submission deadline extended to 15-Dec-2018 *** Human reasoning or the psychology of deduction is well researched in cognitive psychology and in cognitive science. There are many findings which are based on experimental data about human reasoning tasks. Among others,models for the Wason selection task or the suppression task are discussed by psychologists and cognitive scientists. However, only few of these models are computational and often models are modified when applied to a different task. Automated deduction, on the other hand, mainly focuses on the automated proof search in formal, logical calculi. Indeed, there is tremendous success during the last decades, and automated deduction systems are used in many industrial applications. However, most automated deduction systems are not really concerned with human reasoning tasks. Recently, a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example, there is increasing interest in modeling human reasoning tasks within automated reasoning systems based on answer set programming, deontic logic, abductive logic programming, and various other AI approaches. This special issue of the Künstliche Intelligenz Journal, appearing in August 2019, is aiming to foster the synergies between cognitive science and automated deduction. The topics of interest for the special issue of the Künstliche Intelligenz Journal include, but are not limitedto: * Limits and differences between automated deduction and human reasoning * Automated deduction and the psychology of deduction * Automated deduction and (preferred) mental models * Common sense reasoning, cognitive science and automated deduction * Modeling human reasoning tasks using (classical, non-monotonic or defeasible) logics * Modeling human reasoning tasks using automated reasoning systems * Modeling human reasoning tasks using inductive reasoning systems * Modeling human reasoning tasks using probabilistic reasoning systems * Applications SUBMISSION The Künstliche Intelligenz journal, which is published and indexed by Springer, supports the following lists of formats: technical contributions, research projects, discussions, dissertation abstracts, conference reports and book reviews. If you are interested in contributing to this special issue, please contact one of the guest editors: Prof. Dr. Ulrich Furbach Universität Koblenz-Landau Universitätsstr.1, 56070 Koblenz. Germany uli at furbach.de Prof. Dr. Steffen Hölldobler TU Dresden Fakultät Informatik 01062 Dresden sh at iccl.tu-dresden.de apl. Prof. Dr. Marco Ragni University of Freiburg Cognitive Computation Lab 79110 Freiburg, Germany ragni at cs.uni-freiburg.de Prof. Dr. Frieder Stolzenburg Harz University of Applied Sciences Automation & Computer Sciences Dep. Friedrichstr. 57-59 38855 Wernigerode, Germany fstolzenburg at hs-harz.de IMPORTANT DATES * Submission deadline: 15-Dec-2018 (extended) * Notification: 01-Feb-2019 * Camera-ready copy: 15-Mar-2019 * Special issue: KI 3/2019 SUBMISSION AND CONTRIBUTION FORMAT The articles should be written in English, in order to attract an international audience, formatted with the Springer LaTeX package for journals, see , maximally 10 pages in two-column format. Please submit via the editorial manager system . Log in as author and select the special issue "S.I.: Cognitive Reasoning". From cfp at mat.unical.it Tue Nov 27 13:51:33 2018 From: cfp at mat.unical.it (cfp at mat.unical.it) Date: Tue, 27 Nov 2018 13:51:33 +0100 Subject: JELIA 2019 - DEADLINES EXTENDED (Abstract 2 Dec. - Submission 7 Dec.) Message-ID: [apologies for multiple copies] Due to many requests, submission deadlines have been extended. New Dates: Abstract submission 02 December 2018 (23:59 UTC-12) Paper submission 07 December 2018 (23:59 UTC-12) == CALL FOR PAPERS == The Program Committee of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019) invites the submission of technical papers for the conference that will be held in Rende, Italy, from May 8th to May 10th, 2019. The aim of JELIA 2019 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. == AWARDS AND PRIZES == The Best Paper and the Best Student Paper of the conference will receive a cash prize of EUR 500 each, offered by Springer. Two high-quality papers of the conference that are suitable for presentation to a general AI audience, will be invited for publication (of abridged versions) to the IJCAI 2019 Sister Conference Best Paper Track. The authors of the top-notch contributions (from 3 to 6 papers, including both best papers) will be invited to submit long and more elaborate versions of their work for a special issue of Theory and Practice of Logic Programming (TPLP). == RELEVANT TOPICS == Conference topics include, but are not limited to: * Abductive and inductive reasoning * Answer set programming * Applications of logic-based AI systems * Argumentation systems * Automated reasoning including satisfiability checking and its extensions * Computational complexity and expressiveness * Deep learning for rules and ontologies * Deontic logic and normative systems * Description logics and other logical approaches to Semantic Web and ontologies * Explanation finding * Knowledge representation, reasoning, and compilation * Logic programming, answer set programming, constraint logic programming * Logic-based data access and integration * Logical interpretation of machine learning models * Logics for uncertain and probabilistic reasoning * Logics in machine learning * Logics in multi-agent systems, games, and social choice * Neural networks and logic rules * Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid logics * Nonmonotonic logics, default logics, conditional logics * Ontology formalisms and models * Ontology-based query answering * Ontology-based reasoning * Planning and diagnosis based on logic * Preferences * Reasoning about actions and causality * Updates, belief revision and nonmonotonic reasoning == IMPORTANT DATES == Abstract submission 02 December 2018 (23:59 UTC-12) - EXTENDED - Paper submission 07 December 2018 (23:59 UTC-12) - EXTENDED - Notification of acceptance 16 January 2019 Best paper notification 31 January 2019 Camera-ready due 28 February 2019 Online registration opens 01 March 2019 Conference start 08 May 2019 == SUBMISSION DETAILS == Submission Site: https://easychair.org/conferences/?conf=jelia2019 For formatting guidelines, see more information on https://jelia2019.mat.unical.it/submission JELIA 2019 welcomes submissions of long or short papers in the following categories: Regular papers. Submissions should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions must not have been previously published or be simultaneously submitted for publication elsewhere. System/Application descriptions. Submissions should describe an implemented system/application and its application area(s). A demonstration should accompany a system/application presentation. Papers describing systems or applications that have already been presented in JELIA before will be accepted only if significant and clear enhancements have been implemented and are properly reported. All submissions should not exceed 13 (resp., 6) pages for long (resp., short) papers, including figures etc., but excluding references, and should be written in English. All submissions (both long and short) may also include an appendix with no restriction in length containing, for example, proofs of theorems that are stated in the main submission, or relevant parts of source code. Reviewers will make their evaluations based on the main submission, and are not obligated to read the appendix. However, if proofs or other supplement matter are an important part of the contribution, their essential elements should be included in the main submission. Moreover, appendix will not be part of the camera-ready and it may only be a publicly available online resource. Submissions must be formatted according to the standard Springer LNCS style, and are not anonymous. The conference proceedings of JELIA 2019 will be published by Springer-Verlag in the Lecture Notes in Artificial Intelligence, a sub-series of Lecture Notes in Computer Science (Important note: Springer will require all the LaTeX source files of all accepted submissions). == POLICY ON MULTIPLE SUBMISSIONS == JELIA 2019 will not accept any paper that, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during JELIA's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. == ENQUIRIES == Please send all enquiries at the email address jelia2019 at mat.unical.it == COMMITTEES == General Chair * Nicola Leone (University of Calabria) Program Chairs * Francesco Calimeri (University of Calabria) * Marco Manna (University of Calabria) Organization Chairs * Carmine Dodaro (University of Genova) * Valeria Fionda (University of Calabria) Publicity and Finance Chair * Simona Perri (University of Calabria) Program Committee * Mario Alviano (University of Calabria) * Carlos Areces (Universidad Nacional de Córdoba) * Franz Baader (Technische Universität Dresden) * Peter Baumgartner (CSIRO) * Salem Benferhat (CNRS, Université d'Artois) * Meghyn Bienvenu (CNRS, University of Bordeaux) * Alexander Bochman (Holon Institute of Technology) * Gerhard Brewka (Universität Leipzig) * Pedro Cabalar (Universidade da Coruña) * Marco Calautti (The University of Edinburgh) * David Carral (Technische Universität Dresden) * Giovanni Casini (Université du Luxembourg) * Cristina Civili (Samsung R&D Institute United Kingdom) * Mehdi Dastani (Utrecht University) * James Delgrande (Simon Fraser University) * Ulle Endriss (Universiteit van Amsterdam) * Wolfgang Faber (Alpen-Adria-Universität Klagenfurt) * Luis Farinas Del Cerro (CNRS) * Eduardo Fermé (Universidade da Madeira) * Michael Fisher (University of Liverpool) * Michael Gelfond (Texas Tech University) * Laura Giordano (Università del Piemonte Orientale) * Lluis Godo (IIIA-CSIC) * Tomi Janhunen (Aalto University) * Gabriele Kern-Isberner (Technische Universitaet Dortmund) * Roman Kontchakov (University of London) * Jérôme Lang (CNRS, Université Paris-Dauphine) * Joohyung Lee (Arizona State University) * Joao Leite (Universidade NOVA de Lisboa) * Vladimir Lifschitz (University of Texas at Austin) * Thomas Lukasiewicz (University of Oxford) * Marco Maratea (University of Genova) * Jerzy Marcinkowski (Uniwersytet Wrocławski) * Pierre Marquis (CNRS, Université d'Artois) * Thomas Meyer (CAIR, University of Cape Town) * Angelo Montanari (University of Udine) * Michael Morak (Technische Universität Wien) * Manuel Ojeda-Aciego (University of Malaga) * Magdalena Ortiz (Technische Universität Wien) * David Pearce (Universidad Politécnica de Madrid) * Rafael Peñaloza (Free University of Bozen) * Luís Moniz Pereira (Universidade Nova de Lisboa) * Andreas Pieris (University of Edinburgh) * Henri Prade (CNRS, Université Paul Sabatier) * Francesco Ricca (University of Calabria) * Fabrizio Riguzzi (University of Ferrara) * Jussi Rintanen (Aalto University) * Uli Sattler (University of Manchester) * Mirek Truszczynski (University of Kentucky) * Toby Walsh (University of New South Wales) * Frank Wolter (University of Liverpool) * Stefan Woltran (Technische Universität Wien) From reyhanehpahlevan at ce.sharif.edu Tue Nov 27 13:51:33 2018 From: reyhanehpahlevan at ce.sharif.edu (reyhanehpahlevan) Date: Tue, 27 Nov 2018 13:51:33 +0100 Subject: RoboCup 2019 Virtual Robot Competition - Call for Participation Message-ID: Call for Participation RoboCup 2019 Virtual Robot Competition JULY 2 - JULY 8, 2019 (Sydney, Australia) http://www.robocup2019.org/ [1] Apologies if you have received multiple copies of this announcement. We would like to invite all robot rescue teams to participate in the 2019 RoboCup Rescue Simulation League World Championship. If you are interested to participate please take the time to pre-register your team for the RoboCup 2019 Virtual Robot Competition as soon as possible, so that we can inform you about the latest developments. (1) RoboCup Rescue Simulation League and Virtual Robot Competition --------------------- The RoboCup Rescue Simulation League is a socially relevant part of RoboCup event. Its main purpose is to provide emergency decision support by integration of disaster information, prediction, planning, and human interface. A generic urban disaster simulation environment is constructed on network computers. Heterogeneous intelligent agents such as firefighters, commanders, victims, volunteers, etc. conduct search and rescue activities in this virtual disaster world. Agents can sense their environment and make decisions on the basis of the perceived data. Mission-critical human interfaces support disaster managers, disaster relief brigades, residents, and volunteers to decide their actions to minimize the disaster damage. Addressing this problem involves advanced and interdisciplinary research themes. As AI/robotics research, for example, behavior strategy (e.g., multi-agent planning, real-time/anytime planning, heterogeneity of agents, robust planning, mixed-initiative planning) is a challenging problem. For disaster researchers, RoboCup Rescue works as a standard basis in order to develop practical comprehensive simulators adding necessary disaster modules. The Virtual Robot Competition is based on ROS/Gazebo, an advanced robot simulator in which users can simulate multiple agents whose capabilities closely mirror those of real robots. ROS/Gazebo currently features several ground and air robots, as well as a wide range of sensors and actuators. Moreover, exploiting ROS, users can easily develop their robot systems integrating standard modules. (2) Intention of participation ------------------- If you are interested to participate in the competition, please send, before January 15, 2019, an email to reyhanehpahlevan at ce.sharif.edu with as attachment the following form filled in: http://ce.sharif.edu/~reyhanehpahlevan/Robocup/IntentVirtual2019.txt [2] (3) Qualification material ------------------------- Besides sending the intention of participation, please prepare before March 15, 2019, a Team Description Paper describing the most innovative contributions or scientific results your team is intended to provide. The TDP is limited to 8 pages and must be formatted according to the LNCS format: http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines [3] The Team Description Paper is an overview of the methodologies you use or intend to use to control your robots inside the Virtual Robot Competition. If applicable, include a reference to your latest publications. The qualification material should be placed on a dedicated web page on the team's home page. Please include the link to the qualification material on the intention of participation information. (4) Deadlines ----------- - Deadline for the intention of participation to Virtual Robot Competition: January 15, 2019 - Deadline for qualification material Virtual Robot Competition: March 15, 2019 - Team qualification notification: March 30, 2019 - Early registration period: will be announced -Team setup: July 2-3, 2019 -competition: July 4-7, 2019 -RoboCup symposium: July 8, 2019 (5) Useful links ----------- OFFICIAL VIRTUAL ROBOT COMPETITION WEBSITES: 1. Wiki page [4] 2. Robocup Rescue simulation Website [5] PREVIOUS VIRTUAL RESCUE ROBOT COMPETITIONS MATERIALS: 1. https://github.com/m-shimizu/ [6] 2. https://github.com/reyhanehpahlevan/ [7] 3. https://github.com/amirezakabiri/ [8] HERE IS THE LIST OF USEFUL LINKS: 1. Robotic Operating System(ROS) 2. Gazebo Simulator [9] 3. Virtual Robot setup and results RoboCup 2017 [10] 4. Virtual Robot Competitions 2018 rules [11] 5. Available team description paper [12] 6. Robocup 2018 Repository [13](you can set up the environment and control your robots using keyboard/joystick using this repository) 7. Available Open source code [14] 8. Robocup 2017 Repository [15], Robocup 2016 Repository [16](old models and launch files could be found here) 9. More documentation could be found in rescuesim website [17] Feel free to ask! Hope to see you in Robocup 2019 competitions in Sydney. With kind regards, Masaru Shimizu, Fatemeh Pahlevan Agahababa, Amirrezakabiri, Francesco Amigoni, Sanaz Taleghani, Josie Hughes and Arnoud Visser(members of the 2019 RoboCup Rescue Simulation Virtual Robot Competition Technical and Organization Committees) ===== --------------------------------------------------------- Fatemeh Pahlevan Aghababa, Intelligence System Laboratory, Computer engineering department Sharif University of Technology Azadi Ave, Tehran, Iran PO Box: 11365-11155 Voice: +98 912 516-9683 Email: reyhanehpahlevan at ce.sharif.edu Web: http://ce.sharif.edu/~reyhanehpahlevan/ [18] --------------------------------------------------------- ‌ Links: ------ [1] https://2019.robocup.org/ [2] http://ce.sharif.edu/~reyhanehpahlevan/Robocup/IntentVirtual2019.txt [3] http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines [4] http://wiki.robocup.org/Rescue_Simulation_Virtual_Robot_Competition [5] http://rescuesim.robocup.org/ [6] https://github.com/m-shimizu/ [7] https://github.com/reyhanehpahlevan/ [8] https://github.com/amirezakabiri/ [9] https://staff.fnwi.uva.nl/a.visser/activities/robocup/Gazebo.pdf [10] https://staff.fnwi.uva.nl/a.visser/activities/robocup/VirtualRescue2017.pdf [11] https://staff.fnwi.uva.nl/a.visser/activities/robocup/RoboCup2018/RoboCup2018_Rules_v1.2.pdf [12] http://wiki.robocup.org/Rescue_Simulation_Virtual_Robot_Competition#Qualified_teams [13] https://github.com/reyhanehpahlevan/RoboCup2018RVRL_Demo [14] https://github.com/SOSVR/base_code-v2 [15] https://github.com/m-shimizu/RoboCup2017RVRL_Demo [16] https://github.com/m-shimizu/RoboCup2016RVRL_Demo [17] http://rescuesim.robocup.org/resources/documentation/ [18] http://ce.sharif.edu/~reyhanehpahlevan/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Tue Nov 27 13:51:33 2018 From: irdta at irdta.eu (IRDTA) Date: Tue, 27 Nov 2018 13:51:33 +0100 Subject: Robotic 2019: early registration December 7 Message-ID: Robotic 2019: early registration December 7*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *****************************************************   INTERNATIONAL SPRING SCHOOL ON ROBOTICS   Robotic 2019   Bucharest, Romania   April 8-12, 2019   Co-organized by:   University Politehnica of Bucharest   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   http://robotic2019.irdta.eu/   *****************************************************   SCOPE:   Robotic 2019 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of robotics, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on engineering, medicine, science, business models, and daily life. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most robotics subareas will be displayed, namely the conception, design, manufacturing and operation of robots. This involves addressing their sensing capabilities, manipulation, locomotion, interaction with the environment, interaction with humans, control, etc. The field is multidisciplinary at the crossroads of artificial intelligence, engineering, electronics, mechatronics, bioengineering and nanotechnology. Major challenges of robotics will be identified through 2 keynote lectures, 24 five-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Graduate 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, Robotic 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:   Robotic 2019 will take place in Bucharest, the centre of Romanian economy, culture, and art. The venue will be:   University Politehnica of Bucharest Splaiul Independenţei nr. 313 Sector 6, Bucharest   KEYNOTE SPEAKERS:   Andrew A. Goldenberg (Engineering Services Inc. Toronto), Bridging between AI and Robotics for Business & Product Development   Mohan M. Trivedi (University of California, San Diego), tba   PROFESSORS AND COURSES: (to be completed)   Jorge Angeles (McGill University), [intermediate] Kinematics of Multibody Systems   Sylvain Calinon (Idiap Research Institute), [intermediate] Statistical, Geometrical and Dynamical Representations of Movements in Robots   Yi Chao (University of California, Los Angeles), [introductory] Underwater Robotics   Raja Chatila (Pierre et Marie Curie University), [introductory] Ethics in Robotics and AI   Gamini Dissanayake (University of Technology Sydney), [introductory/intermediate] Robot Localisation, Mapping and SLAM   Baris Fidan (University of Waterloo), [intermediate/advanced] Robotic Network Localization and Formation Control   Michael Jenkin (York University), [introductory/intermediate] Computational Tasks in Autonomous Systems   Norbert Krüger (University of Southern Denmark), [introductory] The Human Visual System as a Model for a Deep Neural Net   Ales Leonardis (University of Birmingham), [introductory/intermediate] Robot Vision   Anthony A. Maciejewski (Colorado State University), [introductory/intermediate] Kinematically Redundant Robots: The Promise of Human-like Dexterity   Shimon Y. Nof (Purdue University), [introductory/intermediate] Cyber-augmented Collaborative Robotics   Stefano Nolfi (Institute of Cognitive Sciences and Technologies – CNR), [introductory/intermediate] Evolutionary Robotics   Wilfrid Perruquetti (École Centrale de Lille), [introductory/intermediate] Path Planning/Tracking of Wheeled Mobile Robots   Jan Peters (Technical University of Darmstadt), [introductory/advanced] Robot Learning   José Santos-Victor (Instituto Superior Técnico), [introductory/advanced] Biological and Computational Vision   Richard Satava (University of Washington), [introductory/intermediate] Robotic Surgery and Beyond: Near and Far Future Technologies and Training   Dan Stoianovici (Johns Hopkins University), [introductory/intermediate] Medical Robotics   Garnette Sutherland (University of Calgary), [intermediate] Image Guided Robotic Surgery   Michael Y. Wang (Hong Kong University of Science and Technology), [intermediate/advanced] Soft Robotics   Simon Yang (University of Guelph), [introductory/advanced] Biologically Inspired Robotics   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 March 31, 2019.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical developments in robotics. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. Expressions of interest have to be submitted to david at irdta.eu by March 31, 2019.   EMPLOYER SESSION:   Firms searching for personnel well skilled in robotics 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. Expressions of interest have to be submitted to david at irdta.eu by March 31, 2019.   ORGANIZING COMMITTEE:   Corneliu Burileanu (Bucharest, co-chair) Nicolae Georgian (Bucharest) Sara Morales (Brussels) Anna Neacsu (Bucharest) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://robotic2019.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available on the event website.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   University Politehnica of Bucharest   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From blllne2 at unife.it Tue Nov 27 13:51:33 2018 From: blllne2 at unife.it (Elena Bellodi) Date: Tue, 27 Nov 2018 13:51:33 +0100 Subject: [CfP] IJAR Special issue on Probabilistic Logic Programming Message-ID: ---------------------------------------------------------------------- CALL FOR PAPERS International Journal of Approximate Reasoning http://www.journals.elsevier.com/international-journal-of-approximate-reasoning Special issue on Probabilistic Logic Programming The 5th Workshop on Probabilistic Logic Programming ( http://stoics.org.uk/plp/plp2018) was held on September 1st 2018 in Ferrara, Italy, co-located with the 28th International Conference on Inductive Logic Programming (ILP 2018). We welcome submissions of (improved/extended versions of) papers that were presented at the workshop, as well as new submissions on all topics of the workshop. ---------------------------------------------------------------------- Topics include but are not limited to: -------------------------------------- * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * answer set programming * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software Important dates --------------- Submission of manuscripts: before March 1st, 2019 (papers will be sent to reviewers as soon as we receive them) Publication of the special issue: January 2020 (tentative) Submissions ----------- All submitted papers under this call will undergo the standard review process of the journal. All papers should be submitted to IJAR website http://www.evise.com/evise/jrnl/IJA by choosing the Special Issue “VSI: PLP2018”. All online submissions should follow the “Guide for Authors” of the journal. Guest Editors: -------------- Elena Bellodi (University of Ferrara, Italy) - elena.bellodi at unife.it Tom Schrijvers (KU Leuven, Belgium) - tom.schrijvers at cs.kuleuven.be -- Elena Bellodi, Ph.D. Postdoctoral Research Fellow Department of Mathematics and Computer Science University of Ferrara, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From H.Prakken at uu.nl Tue Nov 27 13:51:33 2018 From: H.Prakken at uu.nl (Henry Prakken) Date: Tue, 27 Nov 2018 13:51:33 +0100 Subject: 2nd Call for Participation JURIX 2018 Message-ID: 2nd Call for Participation 31st International Conference on Legal Knowledge and Information Systems (JURIX 2018) Groningen (The Netherlands), 12-14 december 2018 http://jurix2018.ai.rug.nl *Early registration deadline 3 December* For more than 30 years, the JURIX conference has provided an international forum for research on the intersection of Law, Artificial Intelligence and Information Systems, under the auspices of the JURIX Foundation for Legal Knowledge Systems. This year, out of 73 submissions we accepted seventeen full papers and eleven short papers. We have 6 workshops, a doctoral consortium and a hackathon. It is encouraging to see that the contributions cover all aspects of this diverse field: theoretical, focused on a better understanding of argumentation, legal reasoning, norms and legal knowledge modelling (e.g. ontologies and rules); empirical, targeted to extracting knowledge form legal texts using machine learning or NLP techniques and to visualise it in the best manner for the end user; and papers describing practical applications. More information, including a list of accepted papers, can be found at the conference website: http://jurix2018.ai.rug.nl/ Invited speakers Marie-Francine Moens (KU Leuven, Belgium) Jeroen van den Hoven (TU Delft, The Netherlands) Important dates Early registration deadline: 3 December 2018 Hackathon submission Deadline: 10 November 2018 Deadline for workshop and doctoral consortium submissions: 14 November 2018 Workshops, hackathon and doctoral consortium: 12 December 2018 Main conference: 13 & 14 December 2018 Organisation Program Chair: - Monica Palmirani , CIRSFID, University of Bologna, Italy Organising co-chairs: - Jeanne Mifsud Bonnici , Faculty of Law, University of Groningen, The Netherlands - Henry Prakken , Faculty of Law, University of Groningen & Department of Information and Computing Sciences, Utrecht University, The Netherlands - Bart Verheij , Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence, University of Groningen, The Netherlands Contact and administration: - Sarah van Wouwe (s.k.van.wouwe at rug.nl) Conference web page: http://jurix2018.ai.rug.nl -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From leon.vandertorre at uni.lu Tue Nov 27 13:51:33 2018 From: leon.vandertorre at uni.lu (Leon VAN DER TORRE) Date: Tue, 27 Nov 2018 13:51:33 +0100 Subject: Postdoc position in Social/Autonomous Robotics at the University of Luxembourg Message-ID: The University of Luxembourg invites applications for a *Postdoc position in Social/Autonomous Robotics (M/F) * * * in the Computer Science and Communications Research Unit of the Faculty of Science, Technology and Communication (FSTC). * Ref: Postdoc F1-110044 AI Robolab * Duration: 24 months initial contract, extendable by 6 months, full-time (40h/week). * Start: Early 2019. Your Role The AI RoboLab, headed by Prof. Leon van der Torre, is seeking an outstanding postdoc to strengthen its research team in the area of AI-based robotics contributing to our vision of developing and deploying autonomous robots able to meaningfully interact with and assist humans. The application areas of interest include social robotics and robotics for healthcare and education. The postdoc is expected to pursue state of the art research activities in social robotics, write research proposals, assist in supervision, teaching and public dissemination activities of AI-Robolab and collaborate with local spin-offs. Your Profile * PhD in any discipline relevant to this area of research * Expertise in autonomous / social robotics * Experience in writing successful research proposals. * Experience in managing research projects as well as hands on experience with robotic software. * Fluent written and verbal communication skills in English. * Commitment, creativity, and teamwork skills. We offer * The salary is very competitive. * You will work in a stimulating international and interdisciplinary environment. * The University of Luxembourg is an equal opportunity employer. Further Information Please prepare the following documents in English : * send a detailed CV (contact address, studies with grades, work experience, publication list), * an abstract of your thesis, * a list of 3 referees, * a motivation letter, * a description of possible research interests/ideas Further Information Applications are processed until the vacancy is filled. Please apply ONLINE by December 31st, 2018. http://emea3.mrted.ly/20j0g Early submission is encouraged ; applications will be processed upon arrival. Applications sent by e-mail will not be considered. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tobo at dtu.dk Tue Nov 27 13:51:33 2018 From: tobo at dtu.dk (Thomas Bolander) Date: Tue, 27 Nov 2018 13:51:33 +0100 Subject: 3rd CFP and DEADLINE EXTENSION: Special Issue of AIJ on Epistemic Planning Message-ID: Important Dates Submission deadline (extended): March 1, 2019 Notification: within 3 months of submission The deadline extension will neither affect notification nor publication for those submitting earlier. Notification is still within 3 months of submission, and accepted papers will be published immediately online on the AIJ website. Theme and topics https://www.journals.elsevier.com/artificial-intelligence/call-for-papers/special-issue-on-epistemic-planning Submission Submissions will be open from September 1, 2018 and can be made using the EVISE system: http://www.evise.com/evise/faces/pages/navigation/NavController.jspx?JRNL_ACR=ARTINT. Authors should select when they reach the “Article Type” step in the submission process. Fast publication Reviewing of submitted articles begins immediately after submission, with first decisions (accept, reject, revisions) made within three months. Accepted articles will be published immediately online on the AIJ website and will also be included in the special issue. Special issue editors Vaishak Belle, University of Edinburgh Thomas Bolander, Technical University of Denmark Andreas Herzig, CNRS, IRIT Toulouse Bernhard Nebel, Albert-Ludwigs-Universität Freiburg -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From metaylor at gmail.com Tue Nov 27 13:51:33 2018 From: metaylor at gmail.com (Matt Taylor) Date: Tue, 27 Nov 2018 13:51:33 +0100 Subject: =?UTF-8?Q?CfP=3A_JAAMAS_Special_Issue_on_=E2=80=9CNew_Horizons_in_Mult?= =?UTF-8?Q?iagent_Learning=E2=80=9D?= Message-ID: Dear Colleagues, It is our pleasure to invite you to submit your research papers to the Special Issue on “New Horizons in Multiagent Learning” in the journal of Autonomous Agents and Multi-Agent Systems. https://static.springer.com/sgw/documents/1644414/application/pdf/AGNT+-+CFP+-+New+Horizons+in+Multiagent+Learning.pdf -------- Learning is a critical component for autonomous agents so that they can discover novel behaviors, adapt to a non-stationary world, and handle unanticipated events. As virtual and physical agents become more common, these learning agents need to handle interactions not only with an environment, but also with other agents. Multiagent learning thus becomes an indispensable component of building intelligent systems, even though much of the current learning research focuses on single-agent settings. Recent breakthroughs in deep learning have energized both academic and industrial research labs, allowing new types and difficulties of complex tasks to be successfully learned. Some recent work has also shown the great promise of applying deep reinforcement learning techniques in multi-agent settings, incentivizing the further exploration of this avenue and the development of new deep learning multiagent architectures. This line of research is particularly important because there are many new problems that can be explored and tackled by deep multiagent learning, from both empirical and theoretical perspectives. This special issue aims to gather novel research articles, overview articles, and position papers to highlight the recent interest and advances in multi-agent learning. For the latter two types of papers, contacting the guest editors prior to submission is highly encouraged. For research articles, relevant topics include, but are not limited to, the following: * Learning in Markov games, imperfect information games * Swarm intelligence/learning * Evolutionary methods * Emergent behaviors * Learning in the presence of other strategic agents * Opponent modeling * Learning to communicate * Mechanism design for learning agents * Inter-agent teaching and transfer * Speedup methods for multi-agent learning * Learning for heterogeneous multi-agent systems * Learning in multi-robot systems * Combining multiagent learning with other areas (e.g., search, learning from demonstrations, etc.) Issue Editors Matthew E. Taylor, Borealis AI (matthew.taylor at borealisai.com) Karl Tuyls, Deepmind & KU Leuven (karltuyls at google.com) Submissions and Reviews Procedures Special Issues are handled in the normal way via the online Editorial Manager system found at https://agnt.edmgr.com. Please choose the article type “S.I. : New Horizons in Multiagent Learning.” Special Issue articles should fulfill all the standard requirements of any JAAMAS article. Authors should note that the same criteria apply to articles in Special Issues as to regular articles. All papers will undergo the same rigorous AGNT review process. Please refer to the JAMAAS website for detailed instructions on paper submission: http://www.springer.com/computer/ai/journal/10458 Submission deadline: March 4, 2019 --------------------------------------------- Matt Taylor BorealisAI.com http://eecs.wsu.edu/~taylorm -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From adrien.barton at gmail.com Thu Nov 29 10:22:32 2018 From: adrien.barton at gmail.com (Adrien Barton) Date: Thu, 29 Nov 2018 10:22:32 +0100 Subject: Call for Workshop and Tutorial Proposals: 5th Joint Ontology Workshops (JOWO 2019), Graz, Austria Message-ID: (with apologies for cross-posting) JOWO 2019 @ Graz, Austria Episode V: The Styrian Autumn Call for Workshop and Tutorial Proposals * Submission deadline: January 15th, 2019 * The International Association for Ontology and its Applications, IAOA, invites proposals for workshops and tutorials for the 5th Joint Ontology Workshops, JOWO 2019, to be held in Graz, Austria, on September 23-25, 2019. Workshops and tutorials at JOWO 2019 are events whose scientific program is independently established by the workshop organizers. They will be responsible for advertising the workshop and reviewing and selecting the contributions. Workshops can be events that provide a forum for the discussion of topics related to formal ontology and its application in information science or other areas. We welcome proposals from related areas as much as contributions by IAOA Special Interest Groups and Technical Committees. Previous JOWO editions were held in conjunction with FOIS 2018 in Cape Town (South Africa), as an independent event in 2017 in Bolzano (Italy), in conjunction with FOIS 2016 in Annecy (France), and at IJCAI 2015 in Buenos Aires (Argentina). As in earlier years, all contributions to JOWO workshops will be published in a joint CEUR proceedings volume, as part of the new IAOA series (http://ceur-ws.org/iaoa.html): JOWO 2018: http://ceur-ws.org/Vol-2205/ JOWO 2017: http://ceur-ws.org/Vol-2050/ JOWO 2016: http://ceur-ws.org/Vol-1660/ JOWO 2015: http://ceur-ws.org/Vol-1517/ Together, the JOWO workshops address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics. JOWO is especially suitable for interdisciplinary and innovative formats. Researchers and practitioners interested in the theory, practice, development and/or application of ontologies are invited to submit workshop proposals for review. We encourage several forms and length of workshops (the list is non-exhaustive): - workshops that focus on an established research area, including continuations of workshops that were already held in the past; - workshops that focus on emerging topics and applications, or on open research questions and challenges; - workshops that aim to create cross-disciplinary research fostering exchange of ideas between groups otherwise mostly disconnected. SUBMISSION Proposals for workshops and tutorials should be no more than 2 pages in length, and must contain the following information: - title of the workshop/tutorial; - names of the workshop/tutorial organizers; - brief description of experience in workshop/tutorial organization; - description of the workshop/tutorial topic; - intended duration of the workshop (between half a day and two full days); - timeline for the workshop (submission dates, notification dates), taking into account the proposed "important dates" below. Workshop proposals should be sent to jowo2019 at gmail.com by January 15, 2019. EVALUATION Submissions for workshop proposals will be evaluated by the general JOWO chairs and the JOWO steering committee, using the following criteria: - Scientific relevance and utility to attendees; - Quality of the proposal; - Likelihood of success of the workshop; - Overlap with other workshops. IMPORTANT DATES - January 15, 2019 – Workshop proposal submission deadline - January 31, 2019 – Workshop acceptance notification - February 20, 2019 – 1st call for papers to be distributed by workshop organizers - May 15, 2019 – Suggested latest paper submission deadline - September 23-25, 2019 – JOWO 2019 in Graz FURTHER INQUIRIES In case of further questions please contact jowo2019 at gmail.com CONFERENCE ORGANISATION (to be completed) JOWO 2019 Chair: Adrien Barton, University of Sherbrooke, Canada & CNRS-IRIT, Toulouse, France JOWO 2019 Local Organization: Catalina Martínez Costa, Medical University of Graz, Austria Jose Antonio Miñarro Giménez, Medical University of Graz, Austria Stefan Schulz, Medical University of Graz, Austria JOWO Steering Committee: Stefano Borgo, Laboratory for Applied Ontology, Trento, Italy Oliver Kutz, Free University of Bozen-Bolzano, Italy Frank Loebe, University of Leipzig, Germany Fabian Neuhaus, Otto-von-Guericke University Magdeburg, Germany From s.p.luttik at TUE.nl Thu Nov 29 10:22:32 2018 From: s.p.luttik at TUE.nl (Luttik, S.P.) Date: Thu, 29 Nov 2018 10:22:32 +0100 Subject: CONCUR 2019 Call for Workshop Proposals Message-ID: * *CONCUR 2019* * THE 30TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY August 26-31, 2019, Amsterdam, The Netherlands (https://event.cwi.nl/concur2019/) CALL FOR AFFILIATED WORKSHOPS The 30th Conference on Concurrency Theory (CONCUR 2019) will be held from August 26 until August 31, 2019 in Amsterdam, The Netherlands. It will be co-located with the 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019). Researchers and practitioners are invited to submit proposals for workshops to be affiliated to CONCUR 2019, on topics related to concurrency theory and its applications. Example topics include: semantics, logics, verification techniques for concurrent systems, cross-fertilization between industry and academia and opportunities for young and prospective researchers. Past CONCUR conferences have been accompanied by successful workshops on a variety of topics, such as formal and foundational methods, models of systems (biological, timed), security issues, semantical issues, and verification methods. You can have an idea of the past workshops by browsing the pages of the past editions of CONCUR. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. The workshops take place on Monday August 26, 2019 and Saturday August 31, 2019. Proposals should include: * The name and the preferred date of the proposed workshop (August 26 or 31, 2019) * A short description of the workshop (500 words max) * If applicable, a description of past versions of the workshop, including dates, organisers, submission and acceptance counts, and attendance * The expected number of participants * The name and short CV of the organiser(s) * The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). The CONCUR organisation offers: * a link from the CONCUR web site; * setup of meeting space, and related equipment, * coffee-breaks and lunch for the participants on the day of the workshop, * on-line and on-site registration to the workshop, * free workshop registrations for an invited speaker and one or two organisers. The main responsibility for organising the workshop goes to the workshop organiser(s), including: * workshop publicity (possibly including call for papers, submission and review process) * scheduling workshop activities in collaboration with the CONCUR workshop chair. IMPORTANT DATES Submission of workshop proposals: February 1, 2019 (but we greatly appreciate if you announce your proposal to us as soon as possible). Notification: February 15, 2019 SUBMISSION TO: Bas Luttik (s.p.luttik at tue.nl) For more information, please contact me via email (s.p.luttik at tue.nl) The CONCUR 2019 workshop chair, Bas Luttik https://www.win.tue.nl/~luttik Eindhoven University of Technology From vitordouzi at gmail.com Thu Nov 29 10:22:32 2018 From: vitordouzi at gmail.com (Vitor Mangaravite) Date: Thu, 29 Nov 2018 10:22:32 +0100 Subject: CfP: Second International Workshop on Narrative Extraction from Texts (Text2Story'19@ECIR'19) Message-ID: *** Apologies for cross-posting *** ++ CALL FOR PAPERS ++ ****************************************************************************************** Second International Workshop on Narrative Extraction from Texts (Text2Story'19 at ECIR'19) held in conjunction with the 41st European Conference on Information Retrieval Cologne, Germany, April 14th, 2019 Website: http://text2story19.inesctec.pt ****************************************************************************************** ++ Important Dates ++ - Submission deadline: January 28th, 2019 - Acceptance Notification Date: March 4th, 2019 - Camera-ready copies: March 22nd, 2019 - Workshop: April 14th, 2019 ++ Overview ++ The increasing availability of text information in the form of news articles, comments or posts in social networks poses new challenges for those who aim to understand the storyline of an event. Although understanding natural language text has improved over the last couple of years with several research works emerging on the grounds of information extraction and text mining, the problem of constructing consistent narrative structures is yet to be solved. It is not only the algorithms that need to be improved, but also the state-of-the-art that needs to advance in order to provide methods that automatically identify, interpret and relate the different elements of a narrative which will be likely spread from different sources. In this workshop we aim to foster the discussion of recent advances in the link between Information Retrieval (IR) and formal narrative representations from texts. More specifically, we aim to capture a wide range of multidisciplinary issues related to the text-to-narrative-structure and to its various related tasks. This is a very rich line of research that poses many challenging problems in information retrieval, text mining, information extraction, computational linguistics and automatic production of media content. ++ List of Topics ++ Research works submitted to the workshop should foster the scientific advance on all aspects of storyline generation from texts including but not limited to narrative and content generation, formal representation, and visualization of narratives. This includes the following topics (not limited): - Event Identification - Narrative Representation Language - Sentiment and Opinion Detection - Argumentation Mining - Narrative Summarization - Multi-modal Summarization - Storyline Visualization - Temporal Aspects of Storylines - Story Evolution and Shift Detection - Causal Relation Extraction and Arrangement - Evaluation Methodologies for Narrative Extraction - Big data applied to Narrative Extraction - Resources and Dataset showcase - Personalization and Recommendation - User Profiling and User Behavior Modeling - Credibility - Models for detection and removal of bias in generated stories - Ethical and fair narrative generation - Fact Checking - Bots Influence - Bias in Text Documents - Automatic Timeline Generation ++ Submission Guidelines ++ We invite two kinds of submissions: - Research papers (max 7 pages + references) - Demos and position papers (max 5 pages + references) Papers must be submitted electronically in PDF format through Easy Chair (https://easychair.org/conferences/?conf=text2story2019). All submissions must be in English and formatted according to LNCS style (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) Submissions will be peer-reviewed by at least three members of the programme committee. The accepted papers will appear in the proceedings published at CEUR workshop proceedings (usually indexed on DBLP). ++ Workshop Format ++ Participants of accepted papers will be given 15 minutes for oral presentations. All papers will also be also presented in an interactive poster session. ++ Invited Speakers ++ TBA ++ Organizing committee ++ Alípio M. Jorge (INESC TEC; University of Porto, Portugal) Ricardo Campos (INESC TEC; Polytechnic Institute of Tomar, Tomar, Portugal) Adam Jatowt (Kyoto University, Japan) Sumit Bhatia (IBM Research AI, India) ++ Proceedings Chair ++ − Conceição Rocha (LIAAD INESC TEC) − João Paulo Cordeiro (INESC TEC; University of Beira Interior) ++ Web Chair ++ − Arian Pasquali (INESC TEC) ++ Dissemination Chair ++ − Vitor Mangaravite (INESC TEC; Universidade Federal de Minas Gerais) ++ Program Committee ++ Nicola Ferro (University of Padova) Miguel Martinez-Alvarez (Signal) João Magalhães (New University of Lisbon) Federico Nanni (University of Mannheim) Dhruv Gupta (Max Planck Institute for Informatics) Yihong Zhang (Kyoto University) Nuno Moniz (LIAAD/INESC TEC) Bruno Martins (IST and INESC-ID - Instituto Superior Técnico, University of Lisbon) Mark Finlayson (Florida International University) Marc Spaniol (Université de Caen Normandie) Nina Tahmasebi (University of Gothenburg) Florian Boudin (Université de Nantes) Henrique Lopes Cardoso (University of Porto) Udo Kruschwitz (University of Essex) Mengdie Zhuang (The University of Sheffield) Daniel Loureiro (University of Porto) Daniel Gomes (FCT/Arquivo.pt) Pablo Gamallo (University of Santiago de Compostela) Paulo Quaresma (Universidade de Evora) Sérgio Nunes (University of Porto) Álvaro Figueira (University of Porto) Gaël Dias (Normandie University) Gerasimos Lampouras (The University of Sheffield) ++ Contacts ++ Website: http://text2story19.inesctec.pt For general enquiries regarding the workshop, reach the organizers at: amjorge at fc.up.pt, ricardo.campos at ipt.pt, adam at dl.kuis.kyoto-u.ac.jp, sumitbhatia at in.ibm.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Words2019 at lboro.ac.uk Thu Nov 29 10:22:32 2018 From: Words2019 at lboro.ac.uk (Words 2019) Date: Thu, 29 Nov 2018 10:22:32 +0100 Subject: WORDS 2019, 1st call for papers Message-ID: *We apologize if you received this email several times. To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line.* WORDS 2019 12th International Conference Loughborough, September 9–13, 2019 http://words2019.lboro.ac.uk *Announcement* WORDS is a biannual international conference covering the mathematical theory of words (sequences of symbols) from all points of view: combinatorial, algebraic, algorithmic, as well as its applications to biology, linguistics, physics, and others. The previous WORDS conferences have taken place in Rouen (1997, 1999), Palermo (2001), Turku (2003, 2013), Montreal (2005, 2017), Marseille (2007), Salerno (2009), Prague (2011), and Kiel (2015). The 12th International Conference on Words, WORDS 2019 will take place on September 9-13 2019 at Loughborough University, UK (http://www.lboro.ac.uk/departments/compsci/). Co-chairs of this edition are Robert Mercaș and Daniel Reidenbach. *Invited Speakers* Antonio Restivo (Palermo) Florin Manea (Kiel) Svetlana Puzynina (St. Petersburg) Antonio Restivo (Palermo) Gwenaël Richomme (Montpellier) Aleksi Saarela (Turku) Kristina Vuskovic (Leeds) *Program Committee* Marie-Pierre Béal (Paris) Srecko Brlek (Montreal) Émilie Charlier (Liège) Volker Diekert (Stuttgart) Gabriele Fici (Palermo) Anna Frid (Marseille) Amy Glen (Murdoch) Štěpán Holub (Prague) Shunsuke Inenaga (Kyushu) Robert Mercas (Loughborough) co-chair Dirk Nowotka (Kiel) Jarkko Peltomäki (Turku) Edita Pelantová (Prague) Narad Rampersad (Winnipeg) Daniel Reidenbach (Loughborough) co-chair Jeffrey Shallit (Waterloo) Arseny Shur (Yekaterinburg) *Important dates* Submission deadline: April 12, 2019 Notification to authors: May 20, 2019 Deadline for final versions: June 3, 2019 Conference: September 9–13, 2019 *Submission guidelines* Submitted papers should not exceed 12 pages and be prepared according to the following guidelines and LNCS-style LaTeX2e. All proofs omitted due to space constraints should be given in an appendix or made accessible through a reliable link to a freely available electronic preprint (updated before submission). These will be read at the discretion of the program committee. Only original submission which have not been submitted for publication elsewhere will be considered. Papers should be submitted electronically in PDF through the EasyChair system: https://easychair.org/conferences/?conf=words2019 *Contact* Words2019 at lboro.ac.uk The conference is organised by the Department of Computer Science, School of Science, Loughborough University, UK.