From francesco.amigoni at polimi.it Thu Jan 3 10:06:58 2019 From: francesco.amigoni at polimi.it (Francesco Amigoni) Date: Thu, 03 Jan 2019 10:06:58 +0100 Subject: AAMAS Autonomous Robots and Multirobot Systems (ARMS) Workshop 2019 - First call for papers Message-ID: (Please apologize for multiple postings.) *** CALL FOR PAPERS *** Autonomous Robots and Multirobot Systems (ARMS) Workshop 2019 A full-day workshop to be held as part of AAMAS2019 and to accompany the AAMAS Robotics Track. May 13 or 14, 2019, Montreal, Canada *** Note that AAMAS will be the week before ICRA, which will also be in Montreal *** Website: http://www.cs.biu.ac.il/~agmon/arms2019 AAMAS Website: http://aamas2019.encs.concordia.ca *** Note fast-track review process for AAMAS “short papers”, below *** Important Dates --------------------- Paper submission deadline: February 12, 2019 Notification of acceptance: March 10, 2019 Submission of camera-ready version: April 1, 2019 Overview ------------ Robots are agents, too. Indeed, AAMAS researchers are sometimes inspired by robots, sometimes use robots in motivating examples, and sometimes make contributions to robotics. Both practical and analytical techniques in AAMAS influence, and are being influenced by, research into autonomous robots and multi-robot systems. Areas of particular recent cross-fertilization include (but are not limited to): - motion planning and path planning for single and multiple mobile robots - market-based coalition formation and task allocation - machine learning in single- and multi-robot (agent) settings - multi-robot teams and swarms - human-robot interaction - human-robot (agent) teamwork - analysis of large-scale multi-robot systems and swarms - decision-theoretic single- and multi-robot planning - imitation and learning by demonstration/example - formal methods and control architectures - game-theoretic coordination - canonical robotics problems and benchmarks, such as robotic soccer, coverage, foraging, or patrolling Despite the rich cross-fertilization between AAMAS and robotics research areas, roboticists and agents researchers have only a few opportunities to meet and interact. The Robotics Track at AAMAS is one such opportunity. The goal of the workshop is to extend and widen this opportunity, by offering a forum where researchers in this area can interact and present promising innovative research directions, and new results. The workshop is coordinated and associated with the AAMAS Robotics Track to fast-track all papers accepted as extended abstracts at the main conference into the ARMS workshop. Submissions and Publication ----------------------------------- The submission website is https://easychair.org/conferences/?conf=arms2019 Contributions are sought in all areas of robotics, in particular as related to autonomous agents research, but not necessarily so. Theoretical papers are welcome, as long as they clearly address challenges in robotics. Empirical studies should ideally present experiments with real robots, though physical simulation studies are also acceptable. Papers that focus on mechanical aspects and low-level control should make an effort to relate to the agents community. Submissions should follow Springer's LNCS format (see http://www.springer.de/comp/lncs/authors.html for instructions, or directly download the LaTeX style file: ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip). Papers should not exceed 20 pages in length. Papers will be reviewed by at least 2 reviewers. Criteria for selection of papers will include: originality, readability, relevance to themes, soundness, and overall quality. Papers do not have to be anonymized: We do not follow a double-blind review process. Fast-Track Review Process --------------------------------- As part of our close coordination with the AAMAS Robotics Track, we offer a fast-track review process to papers that have been accepted as "short papers" (extended abstracts) to the AAMAS conference, in the Robotics Track or with a robotics keyword. For such papers, please include the original AAMAS paper number with the submission. Organizing Committee ---------------------------- Noa Agmon Bar Ilan University, Israel Francesco Amigoni Politecnico di Milano, Italy Alessandro Farinelli University of Verona, Italy Maria Gini University of Minneapolis, USA Gal Kaminka Bar Ilan University, Israel Pedro Lima Lisbon Technical University, Portugal Daniele Nardi Sapienza Università di Roma, Italy The contact organizer is Francesco Amigoni (francesco.amigoni at polimi.it) --------------------------------------------------------- Francesco Amigoni, Ph.D. Associate Professor Artificial Intelligence and Robotics Laboratory Dipartimento di Elettronica, Informazione e Bioingegneria Politecnico di Milano Piazza Leonardo da Vinci, 32 I-20133 Milano (MI), Italy Voice: +39 02 2399-3475 Fax: +39 02 2399-3411 Email: francesco.amigoni at polimi.it Web: http://www.deib.polimi.it/people/amigoni --------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From giacomo.cabri at unimore.it Thu Jan 3 10:06:58 2019 From: giacomo.cabri at unimore.it (gcabri@unimore.it) Date: Thu, 03 Jan 2019 10:06:58 +0100 Subject: CfP: 1st International Workshop on Key Enabling Technologies for Digital Factories (KET4DF) at CAiSE 2019 Message-ID: [ apologies for potential cross-postings ] =============================================          Call For Papers    1st International Workshop on  Key Enabling Technologies for Digital Factories      in conjuction with CAiSE 2019        4th June 2019, Rome, Italy https://sites.google.com/view/ket4df2019 ============================================= Scope --------------------- This workshop seeks at providing the opportunity for inspiration and cross-fertilization for the research groups working on technological solutions for digital factories and smart manufacturing. We welcome innovative papers from academic and industrial researchers covering a wide range of topics of interests in the computer science and computer engineering fields. Topics of interest --------------------- The topics include but are not limited to: * Digital Platform Interoperability for Digital Factories * Internet-of-things for Smart Manufacturing * Digital Factories and End-to-end supply chains * Peer Manufacturing * Model-based development in Digital Factories * M2M interaction * Information Systems for Sustainable Value Networks * Information Systems Engineering for Additive Manufacturing * Manufacturing Enterprise Architecture Engineering * Big Data Technologies and Analytics for Smart Manufacturing * Cloud, Fog, Edge Computing and other programming techniques in Manufacturing Systems * Data Mining, Machine Learning and AI in Smart Manufacturing * Data-driven decision making in Industry 4.0 * Real-time Computing in Smart Manufacturing Environments * Proactive and Autonomous Computing in Digital Factories * Intelligent Cyber-Physical Systems and Digital Twins * Context-aware and Adaptive Systems in Smart Manufacturing and Digital Factories * Digital Security, Privacy and Liability * Business Process Modelling, Analysis and Engineering * Business Impact of Information Systems for Industry 4.0 * Advanced user interfaces for Industry 4.0 * Virtual and augmented reality for smart manufacturing Important Dates --------------------- Paper submission: February 1st, 2019 Acceptance notification: February 22nd, 2019 Camera Ready Copies and copyright forms: March 1st, 2019 Workshop: June 4th, 2019 --------------------- Workshop Co-chairs: --------------------- Federica Mandreoli Università di Modena e Reggio Emilia, Italy Giacomo Cabri Università di Modena e Reggio Emilia, Italy Gregoris Mentzas National Technical University of Athens, Greece Karl Hribernik Bremer Institut für Produktion und Logistik GmbH (BIBA), Germany --------------------- Workshop web site: https://sites.google.com/view/ket4df2019 --------------------- --------------------- -- |----------------------------------------------------| | Prof. Giacomo Cabri - Ph.D., Full Professor | Dip. di Scienze Fisiche, Informatiche e Matematiche | Universita' di Modena e Reggio Emilia - Italia | e-mail giacomo.cabri at unimore.it | tel. +39-059-2058320 fax +39-059-2055216 |----------------------------------------------------| From info at signatur.dk Thu Jan 3 10:06:58 2019 From: info at signatur.dk (Info Signatur) Date: Thu, 03 Jan 2019 10:06:58 +0100 Subject: Professor in Logic and Artificial Intelligence at DTU Compute Message-ID: Professor in Logic and Artificial Intelligence DTU Compute’s Section for Algorithms, Logic and Graph theory (AlgoLoG), invites applications for a position as Professor of Logic and Artificial Intelligence. The AlgoLoG Section consists of a group of leading researchers in foundations of computer science and discrete mathematics. The group covers core areasin theoretical computer science with connections to pure mathematics as well as to applied areas and industry and basic research in discrete mathematics. Our focus areas are algorithms, logic, and graph theory. Core areas of research are structuring, indexing, searching, and interpreting Big Data, logic-based verification and model synthesis*,* logical foundations of multi-agent systems, and investigating structural properties of graphs and their influence on algorithmic efficiency. DTU Compute wishes to strengthen its activities in Artificial Intelligence (AI) with focus on logic-based techniques and its applications to problems such as automated planning, knowledge representation/reasoning, and social intelligence. Furthermore, the department wishes to strengthen the public understanding of AI, the understanding of how it works its strength and weaknesses, and its impact on society. The professor will be affiliated with the Algorithms, Logic and Graphs section (AlgoLoG) of the department and is expected to interact closely with the other faculty members of the section as well as relevant faculty members of the other sections at the department. Responsibilities and tasks The position covers research, research-based teaching, and research-based public outreach activities within logic and AI. The successful applicant will have the responsibility to strengthen the research in symbolic AI at the department, as well as the integration of symbolic AI with other approaches to AI such as statistical learning. The successful candidate is furthermore expected to: - Initiate and develop research collaboration within the section, within the department, nationally and internationally -Initiate and develop cross-disciplinary research, e.g. combining logic-based AI with other areas of AI, with its mathematical foundations or by investigating the ethical, philosophical, legal or societal aspects of AI -Be visionary in the development of new research fields and alliances -Develop and conduct excellent teaching within logic and AI at all levels at the department, including continuing education activities -Be visionary in the development of new curriculum and teaching activities - Develop and conduct teaching based on state-of-the-art within higher education research -Engage in excellent research communication at all levels, including public outreach to the general public, outreach activities to specialised audiences, and invited talks at international research conferences -Do teaching and outreach activities that combine technical aspects of AI with its ethical, philosophical and societal aspects. -Organise national and international conferences and other activities to stimulate industrial collaboration, research collaboration and general international interest and visibility. The successful candidate is expected to take a lead role in teaching at the BSc, MSc, and PhD levels. For international candidates, DTU can provide Danish language courses enabling the candidates to teach in Danish within 2-3 years. Qualifications Successful candidates must document: -Significant original scientific output at a high international level -Cross-disciplinary research collaboration -Research experience ranging from basic research to industrial applications - Significant experience in organising academic conferences as well as public outreach events -Significant experience in successful research dissemination at a wide range of levels and to a wide range of audiences within and outside academia -Significant experience in the teaching and development of new courses, including the development of high-quality course material -The ability to successfully motivate and engage students and spread enthusiasm - Significant experience in the supervision of students at BSc, MSc, and PhD level -The ability to interact with non-experts within the technical area of the position as well as its societal aspects Assessment In the assessment of the candidates, consideration will be given to: -Documented experience and quality of teaching and curriculum development -Research impact and experience, funding track record and research vision -Societal impact -Documented innovation activities, including commercialization and collaboration with industry -International impact and experience -Leadership and collaboration -Communication skills Consideration will also be given to: -Experience, quality, and breadth in public outreach activities -Quality and breadth in research communication -Experience in cross-disciplinary research We offer DTU is a leading technical university globally recognized for the excellence of its research, education, innovation and scientific advice. We offer a rewarding and challenging job in an international environment. We strive for academic excellence in an environment characterized by collegial respect and academic freedom tempered by responsibility. Salary and terms of employment The appointment will be based on the collective agreement with the Danish Confederation of Professional Associations. The allowance will be agreed upon with the relevant union. Further information Further information may be obtained from Head of Department Per B. Brockhoff tel.: +45 4525 6533, perbb at dtu.dk. You can read more about DTU Compute at www.compute.dtu.dk. Application procedure Please submit your online application no later than 15 January 2019 (local time). Apply online at www.career.dtu.dk. To apply, please open the link "Apply online", fill out the online application form. The following must be attached in English*:* -Application (cover letter) addressed to the President -CV -A vision for future research -Teaching and research statement, with a focus on the “Assessment” bullet points listed above - Documentation of previous teaching and research, as related to the “Assessment” bullet points listed above -List of publications indicating scientific highlights -H-index, and ORCID (see e.g. http://orcid.org/) -Diploma (MSc/PhD) Applications and enclosures received after the deadline will not be considered. All interested candidates irrespective of age, gender, disability, race, religion or ethnic background are encouraged to apply. *DTU Compute has a total staff of 400 including 100 faculty members and 130 PhD students. We offer introductory courses in mathematics, statistics, and computer science to all engineering programmes at DTU and specialised courses to the mathematics, computer science, and other programmes. We offer continuing education courses and scientific advice within our research disciplines, and provide a portfolio of innovation activities for students and employees.* *DTU is a technical university providing internationally leading research, education, innovation and scientific advice. Our staff of 6,000 advance science and technology to create innovative solutions that meet the demands of society, and our 11,200 students are being educated to address the technological challenges of the future. DTU is an independent academic university collaborating globally with business, industry, government and public agencies.* -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Jan 3 10:06:58 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 03 Jan 2019 10:06:58 +0100 Subject: BigDat 2019: regular registration January 4 Message-ID: BigDat 2019: regular registration January 4*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/   ********************************************************   --- Regular registration deadline: January 4, 2019 ---   ********************************************************   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 SPEAKER:   Kenji Takeda (Director, Health and AI Partnerships, Microsoft Research), Big Data and AI - What's It Really Good for?   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] Challenge-driven Data Science: Cracking Domain Problems by Crowd Intelligence   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 ruy at cin.ufpe.br Thu Jan 3 10:06:58 2019 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Thu, 03 Jan 2019 10:06:58 +0100 Subject: 26th WoLLIC 2019 (Utrecht, The Netherlands) - 2nd Call for Papers 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 July 1-2, 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) Ivano Ciardelli (Ludwig-Maximilians-Universität, Munich) 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 J.M.Broersen at uu.nl Thu Jan 3 10:06:58 2019 From: J.M.Broersen at uu.nl (Jan Broersen) Date: Thu, 03 Jan 2019 10:06:58 +0100 Subject: Call for Participation Symposium on Responsible Intelligent Systems, Utrecht 11-13 February 2019 Message-ID: Symposium on Responsible Intelligent Systems: Concepts, Practices and Formal Models 11-13 February 2019, Utrecht, The Netherlands https://responsibleintelligentsystems.sites.uu.nl/final-conference/final-conference-reins-project/ In this symposium we look back at some of the results of the REINS project on responsible intelligent systems and look forward at new routes of investigation for responsible AI in general. The starting point of the REINS project was to develop logic-based modelling techniques that enable responsibility checking of artificial agents. As the project progressed, that goal evolved into a more general objective to understand the concepts involved in the modelling of responsibility, and to find the formal models that characterize them. Formalization has been the main focus throughout the project, paving the way for a more precise and operationalizable understanding of the concepts involved in responsibility, machine ethics and deontic reasoning. We believe the symbolic methods that we use in our model driven approach are essential to the solution of the problem of coming to responsible AI, since responsibility is too abstract and precarious a notion to be learned through data-driven approaches. However, the interplay between model-driven and data-driven approaches is one of the new future directions we are interested in. For this final symposium of the project, we invite philosophers, logicians and specialists from concrete application areas of responsible intelligent systems (the military, the police). List of speakers (to be finalized): Aldo Ramirez, Utrecht University Allard Tamminga, Utrecht University Bas Testerink, Politie Nederland Beishui Lao, Hangzhou Christian List, LSE David Gunkel, Northern Illinois University Fleur Jongepier, Radboud University Nijmegen Frans Osinga, KMA Breda Frederik Van De Putte, Ghent University Hein Duijf, Utrecht University Jan Broersen, Utrecht University Jesse Mulder, Utrecht University Joanna Bryson, University of Bath, MIT John Horty, University of Maryland Leon van der Torre, University of Luxembourg Niels van Miltenburg, Utrecht University Sander Beckers, Utrecht University Sjur Dyrkolbotn, University of Bergen Thomas Agotnes, University of Bergen The finalized program including titles and abstracts will appear at: https://responsibleintelligentsystems.sites.uu.nl/final-conference/programme/ Registration is open at: https://responsibleintelligentsystems.sites.uu.nl/final-conference/registration/ - The REINS team -- ------- Jan Broersen ----------- Theoretical Philosophy Group - -www.uu.nl/hum/staff/JMBroersen ---- Utrecht University ------ ---- tel: +31 302532761 -------------- Janskerkhof 13 --------- ---- fax: +31 302534619 ------------- 3512 BL UTRECHT -------- -- From manuel.hermenegildo at imdea.org Mon Jan 7 10:30:47 2019 From: manuel.hermenegildo at imdea.org (Manuel Hermenegildo) Date: Mon, 07 Jan 2019 10:30:47 +0100 Subject: Tenure-track Faculty Positions at The IMDEA Software Institute Message-ID: TENURE-TRACK FACULTY POSITIONS AT THE IMDEA SOFTWARE INSTITUTE The IMDEA Software Institute invites applications for tenure-track (Assistant Professor) faculty positions. We are primarily interested in recruiting excellent candidates in the areas of Data Science, including machine learning; Security and Privacy; Cyber-Physical Systems; Software Engineering; and Systems, including parallel and distributed systems, embedded systems, hybrid systems, heterogeneous architectures, etc. Exceptional candidates in other areas within the general research areas of the Institute will also be considered. Tenured-level (Associate and Full Professor) applications are also welcome. The primary mission of the IMDEA Software Institute is to perform research of excellence at the highest international level in software development technologies. It is one of the highest ranked institutions worldwide in its main topic areas. * Selection Process The main selection criteria are the candidate's demonstrated ability and commitment to research, the match of interests with the Institute's mission, and how the candidate complements areas of established strengths of the Institute. All positions require a doctoral degree in Computer Science or a closely related area, earned by the expected start date. Candidates for tenure-track positions will have shown exceptional promise in research and will have displayed an ability to work independently as well as collaboratively. Candidates for tenured positions must possess an outstanding research record, have recognized international stature, and demonstrated leadership abilities. Experience in graduate student supervision is also valued at this level. Applications should be completed using the application form at https://careers.imdea.org/software/ Please include the reference "FAC-1-2019" at the beginning of the form. For full consideration, complete applications must be received by February 6, 2018, although applications will continue to be accepted until the positions are filled. Pending final approval, we expect to fill two positions. * Working at the IMDEA Software Institute The Institute is located in the vibrant area of Madrid, Spain. It offers an ideal working environment, combining the best aspects of a research center and a university department. Its researchers can focus on developing new ideas and projects, in collaboration with world-leading, international faculty, post-docs, and students. Researchers also have the opportunity (but no obligation) to teach university courses. The Institute offers institutional funding and also encourages its members to participate in national and international research projects. The working language at the Institute is English. Salaries at the Institute are internationally competitive and established on an individual basis. They include social security provisions in accordance with existing national Spanish legislation, and in particular access to an excellent public health care system. Further information about the Institute's current faculty and research can be found at http://www.software.imdea.org . The IMDEA Software Institute is an Equal Opportunity Employer and strongly encourages applications from a diverse and international community and underrepresented groups. The Institute complies with the European Charter for Researchers. -- From blllne2 at unife.it Mon Jan 7 10:30:47 2019 From: blllne2 at unife.it (Elena Bellodi) Date: Mon, 07 Jan 2019 10:30:47 +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. Assistant Professor Machine Learning Research Group DE - Engineering Department University of Ferrara, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From kyuhlee.uga at gmail.com Mon Jan 7 10:30:47 2019 From: kyuhlee.uga at gmail.com (Kyu Hyung Lee) Date: Mon, 07 Jan 2019 10:30:47 +0100 Subject: CFP: DIMVA 2019 - 16th International Conference on Detection of Intrusions and Malware & Vulnerability Assessment (Paper Submission Deadline: 18 February 2019) Message-ID: ============================================================================= 16th International Conference on Detection of Intrusions and Malware & Vulnerability Assessment Gothenburg, Sweden - 19-20 June, 2019 https://www.dimva2019.org/ ============================================================================= # Important Dates: - Paper Submission Deadline: 18 February 2019, 23:59:59 UTC - Notification to Authors: 12 April 2019 - Final Paper Submission Deadline: 22 April 2019 - Conference: 19-20 June 2019 # General Information The annual DIMVA conference serves as a premier forum for advancing the state of the art in the broader areas of intrusion detection, malware analysis, and vulnerability assessment. Each year, DIMVA brings together international experts from academia, industry, and government to present and discuss novel research in these areas. DIMVA is organized by the special interest group Security - Intrusion Detection and Response (SIDAR) of the German Informatics Society (GI). The conference proceedings will appear in Springer Lecture Notes in Computer Science (LNCS) series. # Types of Submissions Solicited: DIMVA solicits submissions of high-quality, original scientific papers presenting novel research on malware analysis, intrusion detection, vulnerability assessment, and related systems security topics. Submissions of two types are invited: FULL PAPERS, presenting novel and mature research results. Full papers are limited to 20 pages in Springer LNCS format, including bibliography and appendices. SHORT PAPERS, presenting original, still ongoing work that has not yet reached the maturity required for a full paper. Short papers are limited to 10 pages in LNCS format, including bibliography and appendices. Short papers will be included in the proceedings. The title of short papers must start with the words "Extended Abstract". Papers that do not follow the above formatting guidelines may be rejected without review. # Indicative topics of interest include (but are not limited to): ## Intrusions - Novel approaches and domains - Insider detection - Prevention and response - Data leakage, exfiltration, and poisoning - Result correlation and cooperation - Evasion and other attacks - Potentials and limitations - Operational experiences - Privacy, legal, and social aspects - Targeted attacks ## Malware - Automated analyses - Behavioral models - Prevention and containment - Classification - Lineage - Forensics and recovery - Underground economy - Vulnerabilities in malware ## Vulnerability detection - Vulnerability prevention - Vulnerability analysis - Exploitation and defenses - Hardware vulnerabilities - Situational awareness - Active probing Papers will be judged on novelty, significance, correctness, and clarity. We expect all papers to provide enough detail to enable reproducibility of the experimental results. We encourage papers that bridge research in different communities. We also welcome experience papers that clearly articulate lessons learnt. Submissions must be original work and may not be under submission to another venue at the time of review. For further details on the submission process, please visit the conference website: https://www.dimva2019.org At least one author of each accepted paper is required to physically present the submitted work at the conference, for the paper to be included in the proceedings. # Ethical Considerations: Submissions that report experiments with data gathered from human subjects should disclose whether the research received approval from an institutional ethics review board (IRB), if applicable, and what measures were adopted to minimize risks to privacy. Submissions that describe experiments related to vulnerabilities in software or systems should discuss the steps taken to avoid negatively affecting any third-parties (e.g., in case of probing of network devices), and how the authors plan to responsibly disclose the vulnerabilities to the appropriate software or system vendors or owners before publication. If you have any questions, please contact the program chairs at pc-chairs at dimva.org # Organizing Committee ## General Chair Magnus Almgren, Chalmers University of Technology, Sweden ## Program Chair Roberto Perdisci, University of Georgia and Georgia Institute of Technology, USA ## Program Co-Chair Clémentine Maurice, CNRS, IRISA, France ## Publications Chair Giorgio Giacinto, University of Cagliari, Italy ## Publicity Chair Kyu Hyung Lee, University of Georgia, USA # Program Committee Manos Antonakakis, Georgia Institute of Technology, USA Marco Balduzzi, Trend Micro Research, Italy Leyla Bilge, Symantec Research Labs, France Lorenzo Cavallaro, King's College London, UK Gabriela Ciocarlie, SRI International, USA Baris Coskun, Amazon Web Services, USA Lorenzo De Carli, Worcester Polytechnic Institute, USA Hervé Debar, Telecom SudParis, France Sven Dietrich, City University of New York, USA Brendan Dolan-Gavitt, NYU, USA Adam Doupé, Arizona State University, USA Manuel Egele, Boston University, USA Ulrich Flegel, Infineon Technologies AG, Germany Yanick Fratantonio, Eurecom, France Giorgio Giacinto, University of Cagliari, Italy Neil Gong, Iowa State University, USA Thorsten Holz, Ruhr-Universität Bochum, Germany Kyu Hyung Lee, University of Georgia, USA Sotiris Ioannidis, FORTH, Greece Vasileios Kemerlis, Brown University, USA Katharina Krombholz, CISPA Helmholtz Center (i.G.), Germany Andrea Lanzi, University of Milan, Italy Corrado Leita, Lastline, UK Zhiqiang Lin, Ohio State University, USA Martina Lindorfer, TU Wien, Austria Xiapu Luo, The Hong Kong Polytechnic University, HK Federico Maggi, Trend Micro Research, Italy Michael Meier, University of Bonn and Fraunhofer FKIE, Germany Jelena Mirkovic, USC ISI, USA Nick Nikiforakis, Stony Brook University, USA Anita Nikolich, Illinois Institute of Technology, USA Daniela Oliveira, University of Florida, USA Christina Poepper, New York University Abu Dhabi, UAE Georgios Portokalidis, Stevens Institute of Technology, USA Christian Rossow, CISPA Helmholtz Center i.G., Germany Deborah Shands, SRI International, USA Kapil Singh, IBM T.J. Watson Research Center, USA Gianluca Stringhini, Boston University, USA Juan Tapiador, Universidad Carlos III, Spain Heng Yin, University of California Riverside, USA Stefano Zanero, Politecnico di Milano, Italy # Steering Committee ## Chairs Ulrich Flegel, Infineon Technologies, Germany Michael Meier, University of Bonn and Fraunhofer FKIE, Germany ## Members Magnus Almgren, Chalmers University of Technology, Sweden Sébastien Bardin, CEA, France Gregory Blanc, Télécom SudParis, France Herbert Bos, Vrije Universiteit Amsterdam, Netherlands Danilo M. Bruschi, Universita degli Studi di Milano, Italy Roland Bueschkes, RWE AG, Germany Juan Caballero, IMDEA Software Institute, Spain Lorenzo Cavallaro, King’s College London, UK Hervé Debar, Télécom SudParis, France Sven Dietrich, City University of New York, USA Cristiano Giuffrida, Vrije Universiteit Amsterdam, Netherlands Bernhard Haemmerli, Acris GmbH and HSLU Lucerne, Switzerland Thorsten Holz, Ruhr-University Bochum, Germany Marko Jahnke, CSIRT, German Federal Authority, Germany Klaus Julisch, Deloitte, Switzerland Christian Kreibich, ICSI, USA Christopher Kruegel, UC Santa Barbara, USA Pavel Laskov, University of Liechtenstein, Liechtenstein Federico Maggi, Trend Micro Research, Italy Michalis Polychronakis, Stony Brook University, USA Konrad Rieck, TU Braunschweig, Germany Jean-Pierre Seifert, Technical University Berlin, Germany Robin Sommer, ICSI/LBNL, USA Urko Zurutuza, Mondragon University, Spain # Sponsorship Opportunities We solicit interested organizations to serve as sponsors for DIMVA 2019. Please contact the sponsor chair (sponsor-chair at dimva.org) for details regarding sponsorship opportunities. From ricardo.campos at ipt.pt Thu Jan 10 10:52:36 2019 From: ricardo.campos at ipt.pt (Ricardo Campos) Date: Thu, 10 Jan 2019 10:52:36 +0100 Subject: Narrative Extraction from Texts (Text2Story'19@ECIR'19). Second International Workshop. 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) ++ 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 s.p.luttik at TUE.nl Thu Jan 10 10:52:36 2019 From: s.p.luttik at TUE.nl (Luttik, S.P.) Date: Thu, 10 Jan 2019 10:52:36 +0100 Subject: CONCUR 2019: Call for Workshop Proposals In-Reply-To: References: 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 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nevrenato at gmail.com Thu Jan 10 10:52:36 2019 From: nevrenato at gmail.com (Renato Neves) Date: Thu, 10 Jan 2019 10:52:36 +0100 Subject: FM'19: Second Call for Papers Message-ID: ================================================================================================== Second Call for Papers FM 2019 - 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ ================================================================================================== NEW: announcement of three invited speakers and confirmation of two special issues !!! ================================================================================================== 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 10 years the symposium is organised as a World Congress. Twenty years after FM 1999 in Toulouse, and 10 years after FM 2009 in Eindhoven, FM 2019 is the 3rd World Congress on Formal Methods. This is reflected in a PC with members from over 40 countries. Thus, FM 2019 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. FORMAL METHODS: THE NEXT 30 YEARS It is now more than 30 years since the first VDM symposium in 1987 brought together researchers with the common goal of creating methods to produce high quality software based on rigour and reason. Since then the diversity and complexity of computer technology has changed enormously and the formal methods community has stepped up to the challenges those changes brought by adapting, generalising and improving the models and analysis techniques that were the focus of that first symposium. The theme for FM 2019 is a reflection on how far the community has come and the lessons we can learn for understanding and developing the best software for future technologies. Important Dates ================ Abstract submission: 28 March, 2019 Full paper submission: 11 April, 2019, 23:59 AoE Notification: 11 June, 2019 Camera ready: 9 July, 2019 Conference: 7-11 October, 2019 Invited Speakers ================= - June Andronick (CSIRO/Data61 and UNSW, Sydney, Australia) - Shriram Krishnamurthi (Brown University, Providence, RI, USA) - Erik Poll (Radboud University, Nijmegen, The Netherlands) Topics of Interest ====================== FM 2019 encourages submissions on formal methods in a wide range of domains including software, computer-based systems, systems-of-systems, cyber-physical systems, human-computer interaction, manufacturing, sustainability, energy, transport, smart cities, and healthcare. We particularly welcome papers on techniques, tools and experiences in interdisciplinary settings. We also welcome papers on experiences of formal methods in industry, and on the design and validation of formal methods tools. The broad topics of interest for FM 2019 include, but are not limited to: - Interdisciplinary formal methods: Techniques, tools and experiences demonstrating the use of formal methods in interdisciplinary settings. - Formal methods in practice: Industrial applications of formal methods, experience with formal methods in industry, tool usage reports, experiments with challenge problems. The authors are encouraged to explain how formal methods overcame problems, led to improved designs, or provided new insights. - Tools for formal methods: Advances in automated verification, model checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools. The authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. - Formal methods in software and systems engineering: Development processes with formal methods, usage guidelines for formal methods, and method integration. The authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. - Theoretical foundations of formal methods: All aspects of theory related to specification, verification, refinement, and static and dynamic analysis. The authors are encouraged to explain how their results contribute to the solution of practical problems with formal methods or tools. Submission Guidelines ======================= Papers should be original work, not published or submitted elsewhere, in Springer LNCS format, written in English, submitted through EasyChair: https://easychair.org/conferences/?conf=fm2019 Each paper will be evaluated by at least three members of the Programme Committee. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by the reviewers. Similarly, case study papers should describe significant case studies, and the complete development should be made available at the time of review. The usual criteria for novelty, reproducibility, correctness and the ability for others to build upon the described work apply. Tool papers should explain enhancements made compared to previously published work. A tool paper need not present the theory behind the tool but should focus on the tool's features, how it is used, its evaluation, and examples and screen shots illustrating the tool's use. Authors of tool papers should make their tool available for use by the reviewers. We solicit two categories of papers: - Regular Papers should not exceed 15 pages, not counting references and appendices. - Short papers, including tool papers, should not exceed 6 pages, not counting references and appendices. Besides tool papers, short papers are encouraged for any topic that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Short papers will be accompanied by short presentations. For regular and tool papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not part of the page count and not guaranteed to be read or taken into account by the reviewers. It should not contain information necessary to the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted. At least one author of an accepted paper is expected to present the paper at the conference as a registered participant. Best Paper Award ================= At the conference, the PC Chairs will present an award to the authors of the submission selected as the FM 2019 Best Paper. Publication ============ Accepted papers will be published in the Symposium Proceedings to appear in Springer's Lecture Notes in Computer Science in the subline on Formal Methods. Authors of selected papers will be invited to submit an extended version of their paper to one of the special issues in "Formal Aspects of Computing" and "Formal Methods in System Design". General Chair ============== José Nuno Oliveira, INESC TEC & University of Minho, PT Program Committee Chairs ========================= Maurice ter Beek, ISTI-CNR, Pisa, IT Annabelle McIver, Macquarie University, Sydney, AU Program Committee ================== Bernhard Aichernig, TU Graz, AT Elvira Albert, Complutense University of Madrid, ES María Alpuente, Polytechnic University of Valencia, ES Dalal Alrajeh, Imperial College, UK Mário S. Alvim, Federal University of Minas Gerais, BR June Andronick, CSIRO/Data61, AU Christel Baier, TU Dresden, DE Luís Barbosa, University of Minho and UN University, PT Gilles Barthe, IMDEA Software Institute, ES Marcello Bersani, Polytechnic University of Milan, IT Gustavo Betarte, Tilsor SA and University of the Republic, UY Nikolaj Bjørner, Microsoft Research, US Frank de Boer, CWI, NL Sergiy Bogomolov, Australian National University, AU Julien Brunel, ONERA, FR Néstor Cataño, Pontifical Xavierian University of Cali, CO Ana Cavalcanti, University of York, UK Antonio Cerone, Nazarbayev University, KZ Marsha Chechik, University of Toronto, CA David Chemouil, ONERA, FR Alessandro Cimatti, FBK-IRST, IT Alcino Cunha, University of Minho, PT Michael Dierkes, Rockwell Collins, FR Alessandro Fantechi, University of Florence, IT Carla Ferreira, New University of Lisbon, PT João Ferreira, Teesside University, UK José Fiadeiro, Royal Holloway University of London, UK Marcelo Frias, Buenos Aires Institute of Technology, AR Fatemeh Ghassemi, University of Tehran, IR Silvia Ghilezan, University of Novi Sad, RS Stefania Gnesi, ISTI-CNR, IT Reiner Hähnle, TU Darmstadt, DE Osman Hasan, National University of Sciences and Technology, PK Klaus Havelund, NASA Jet Propulsion Laboratory, US Anne Haxthausen, TU Denmark, DK Ian Hayes, University of Queensland, AU Constance Heitmeyer, Naval Research Laboratory, US Jane Hillston, University of Edinburgh, UK Thai Son Hoang, University of Southampton, UK Zhenjiang Hu, National Institute of Informatics, JP Dang Van Hung, Vietnam National University, VN Atsushi Igarashi, Kyoto University, JP Suman Jana, Columbia University, US Ali Jaoua, Qatar University, QA Einar Broch Johnson, University of Oslo, NO Joost-Pieter Katoen, RWTH Aachen University, DE Laura Kovács, TU Vienna, AT Axel Legay, KU Leuven, BE Alberto Lluch Lafuente, TU Denmark, DK Malte Lochau, TU Darmstadt, DE Michele Loreti, University of Camerino, IT Gabriele Lenzini, University of Luxembourg, LU Yang Liu, Nanyang Technical University, SG Anastasia Mavridou, NASA Ames, US Hernán Melgratti, University of Buenos Aires, AR Sun Meng, Peking University, CN Dominique Méry, LORIA and University of Lorraine, FR Rosemary Monahan, Maynooth University, IE Olfa Mosbahi, University of Carthage, TN Mohammad Mousavi, University of Leicester, UK César Muñoz, NASA Langley, US Tim Nelson, Brown University, US Gethin Norman, University of Glasgow, UK Colin O'Halloran, D-RisQ Software Systems, UK Federico Olmedo, University of Chile, CL Gordon Pace, University of Malta, MT Jan Peleska, University of Bremen, DE Marielle Petit-Doche, Systerel, FR Alexandre Petrenko, Computer Research Institute of Montréal, CA Anna Philippou, University of Cyprus, CY Jorge Sousa Pinto, University of Minho, PT André Platzer, Carnegie Mellon University, US Jaco van de Pol, Aarhus University, DK Tahiry Rabehaja, Macquarie University, AU Steve Reeves, University of Waikato, NZ Matteo Rossi, Polytechnic University of Milan, IT Augusto Sampaio, Federal University of Pernambuco, BR Gerardo Schneider, Chalmers University of Gothenburg, SE Daniel Schwartz-Narbonne, Amazon Web Services, US Natasha Sharygina, University of Lugano, CH Nikolay Shilov, Innopolis University, RU Ana Sokolova, University of Salzburg, AT Marielle Stoelinga, University of Twente, NL Jun Sun, Singapore University of Technology and Design, SG Helen Treharne, University of Surrey, UK Elena Troubitsyna, Åbo Akademi University, FI Tarmo Uustalu, Reykjavik University, IS Andrea Vandin, TU Denmark, DK R. Venkatesh, TCS Research, IN Erik de Vink, TU Eindhoven and CWI, NL Willem Visser, Stellenbosch University, ZA Farn Wang, National Taiwan University, TW Bruce Watson, Stellenbosch University, ZA Tim Willemse, TU Eindhoven, NL Kirsten Winter, University of Queensland, AU Jim Woodcock, University of York, UK Lijun Zhang, Chinese Academy of Sciences, CN Publicity Chair ================ Luís Soares Barbosa, INESC TEC & University of Minho, PT Organizing Committee ===================== José Creissac Campos, INESC TEC & University of Minho, PT João Pascoal Faria, INESC TEC and University of Porto, PT Sara Fernandes, University of Minho & INESC TEC, PT Luís Neves, Critical Software, PT Local Arrangements =================== Catarina Fernandes, INESC TEC & University of Minho, PT Paula Rodrigues, INESC TEC, PT Web Team ========= Francisco Neves, INESC TEC & University of Minho, PT Rogério Pontes, INESC TEC & University of Minho, PT Paula Rodrigues, INESC TEC, PT From r.bordini at acm.org Thu Jan 10 10:52:36 2019 From: r.bordini at acm.org (Rafael H Bordini) Date: Thu, 10 Jan 2019 10:52:36 +0100 Subject: CfP: EMAS2019 Message-ID: with apologies for multiple copies ------------------------------------------------------------------------------------------------------------------- CFP - 7th International Workshop on Engineering Multi-Agent Systems (EMAS 2019) Co-located with AAMAS 2019 13th-14th of May, 2019, Montreal, Canada Info: http://www.csc.liv.ac.uk/~lad/emas2019 Contact: emas.aamas2019 at gmail.com ------------------------------------------------------------------------------------------------------------------- A main unifying theme underlying Artificial Intelligence and Machine Learning is the idea of an intelligent agent able to reason, act, interact, and learn. This metaphor has stimulated much research in AI and particularly in Autonomous Agents and Multi-Agent Systems (MAS), giving rise to research in agent-oriented software engineering, programming multi-agent systems, and declarative agent languages and technologies. EMAS 2019 aims to gather researchers and practitioners working in these areas to present and discuss their research and emerging results in MAS engineering. The overall purpose of this workshop is to facilitate the cross-fertilisation of ideas and experiences in the various fields to: 1. Enhance knowledge and expertise in MAS engineering and improve the state or-the art; 2. Define new directions for MAS engineering that are useful to practitioners, relying in results and recommendations coming from different but continuous research areas; 3. Investigate how practitioners can use or need to adapt established methodologies for the engineering of large-scale and open MAS; 4. Involve more master and PhD students. TOPICS The main topics include but are not limited to: - Software engineering methodologies and techniques - Formal methods and declarative technologies for specification, verification, and engineering of MAS - Programming frameworks, languages, models and abstractions for all aspects of MAS - Tools and testbeds - Empirical studies and (industrial) experience reports on engineering MAS applications For a detailed list of subtopics, see http://www.csc.liv.ac.uk/~lad/emas2019/cfp.html SUBMISSIONS We solicit four types of submission: - Regular papers should (1) clearly describe innovative and original research, or (2) report a survey on a research topic in the field, or (3) explain how existing techniques have been applied to a real-world case. (16 pages in LNCS format). - Short papers should describe novel and promising ideas and/or techniques that are in an early stage of development. To that end, short papers will be reviewed under specific review guidelines (8 pages in LNCS format). - Doctoral project papers should describe a research effort of an MSc student or the dissertation research of a PhD student in the field of engineering multi-agent systems. The paper should clearly describe the problem tackled, a justification why this problem is important, the research method, the (expected) contributions of the research, and the evaluation. This paper can be co-authored by the student and their supervisor(s) only (6 pages in LNCS format). - Tool, testbeds and demo papers should describe a novel tool or demonstration in the field of engineering multi-agent systems. Submission may range from early prototypes to in-house or pre-commercialised products. Authors of other EMAS 2019 papers are also welcomed to submit an accompanying tool/demo paper. The paper should provide a link to supplementary material that allows the reviewers to evaluate the submission such as website or movie link (4 pages in LNCS format). Submission policy: all papers should be original and not be submitted elsewhere. The review process is single blind: submissions should not be blind, reviewers will be. The LNCS formatting style is available via: http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines The Easychair submission page can be found here: https://easychair.org/conferences/?conf=emas2019. When you enter the title of your paper in the data section in EasyChair, you must add as the first word the category to which the paper has been submitted (this first word does not need to be included in the submitted paper): - REGULAR for regular papers (16 pages long) - SHORT for short papers (8 pages long) - DOCTORAL for doctoral project papers (6 pages long) - DEMO for tools, testbeds, and demo papers (4 pages long) Authors of accepted papers will be invited to submit revised and extended versions of the EMAS papers for inclusion in the post-proceedings that we intend will be published as a volume in Lecture Notes in Computer Science. IMPORTANT DATES Submission deadline: 12 Feb, 2019 Notification: 10 March, 2019 Camera-ready deadline: 1 April, 2019 EMAS: 13-14 May, 2019 COMMITTEES Organising Committee Rafael H. Bordini, PUCRS, Brazil (http://www.inf.pucrs.br/r.bordini) Louise Dennis, University of Liverpool, UK (http://cgi.csc.liv.ac.uk/~lad/index.html) Yves Lesperance, York University, Canada (http://www.cse.yorku.ca/~lesperan) EMAS Steering Committee Matteo Baldoni Rafael Bordini Mehdi Dastani Jürgen Dix Amal El Fallah Seghrouchni Brian Logan Jörg P. Müller Ingrid Nunes Alessandro Ricci M. Birna Van Riemsdijk Danny Weyns Michael Winikoff Rym Zalila-Wenkstern From cicling2019 at cicling.org Thu Jan 10 10:52:36 2019 From: cicling2019 at cicling.org (Alexander Gelbukh (CICLing 2019)) Date: Thu, 10 Jan 2019 10:52:36 +0100 Subject: CFP reminder: CICLing 2019 - France - LNCS + journals Scopus/DBLP/WoS ES Message-ID: CICLing 2019: 20th International Conference on Computational Linguistics and Intelligent Text Processing La Rochelle, France - April 7-13, 2019 DEADLINE reminder: January 10 abstract, 17 full text. Late submissions will be considered; just submit. WEBSITE: www.CICLing.org/2019 TOPICS: All topics related to computational linguistics, natural language processing, opinion mining, sentiment analysis, information retrieval, etc. PUBLICATION: Springer LNCS; special issues of journals (Scopus, WoS ES, DBLP). CULTURAL PROGRAM: full-day tours to Bordeaux and Cognac regions, to Loire valley castles, and to Fort Boyard (outside) and isle of Aix (where Napoleon surrendered to the British). AWARDS: Best paper awards and Best student paper award; awards for best presentation, best poster, and best software. KEYNOTE SPEAKERS: Four internationally recognized experts, to be announced. Want to host a future CICLing event? Contact us! Please distribute. If you receive this by error, please reply to be removed from our list. Thank you! Alexander Gelbukh www.gelbukh.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijv at acm.org Thu Jan 10 10:52:36 2019 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Thu, 10 Jan 2019 10:52:36 +0100 Subject: Call for papers: DARe at LPNMR-19 Message-ID: * Apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at LPNMR 2019 Date: June 3 or 4 2019 (TBC) Philadelphia, USA *** Deadline: 19 March 2019 *** ============================== The Fifth International Workshop on "Defeasible and Ampliative Reasoning" (DARe) https://sites.google.com/view/dare-19/ collocated with LPNMR 2019 -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalisation of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypotheses in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms (conditionals), whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages (not counting the references). Please submit to: https://easychair.org/conferences/?conf=dare19 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ The 2015 proceedings are available at http://ceur-ws.org/Vol-1423/ The 2016 proceedings are available at http://ceur-ws.org/Vol-1626/ The 2017 proceedings are available at http://ceur-ws.org/Vol-1872/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. At least one co-author of each accepted paper must register for the workshop. Please check the LPNMR 2019 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 19 March 2019 - Notification to authors: 26 April 2019 - Camera ready version: 6 May 2019 - Workshop date: 3 or 4 June 2019 (to be confirmed) -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth, Cardiff University, UK - Giovanni Casini, University of Luxembourg - Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France -- Program Committee -- - Grigoris Antoniou, University of Huddersfield, UK - Ofer Arieli, Academic College of Tel-Aviv, Israel - Guillaume Aucher, University of Rennes 1 - INRIA, France - Christoph Beierle, FernUniversitaet Hagen, Germany - Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil - Alexander Bochman, Holon Institute of Technology, Israel - Arina Britz, Stellenbosch University, South Africa - James Delgrande, Simon Fraser University, Canada - Patrick Girard, University of Auckland, New Zealand - Andreas Herzig, IRIT CNRS, France - Aaron Hunter, British Columbia Institute of Technology, Canada - Souhila Kaci, Université Montpellier 2, France - Simon Kramer, SK-R&D, Switzerland - Michael Maher, University of New South Wales, Australia - João Marcos, Universidade Federal do Rio Grande do Norte, Brazil - Reka Markovich, Université du Luxembourg - Thomas Meyer, University of Cape Town, South Africa - Xavier Parent, Université du Luxembourg - Francois Schwarzentruber, ENS Rennes/IRISA, France - Sonja Smets, University of Amsterdam, The Netherlands - Umberto Straccia, CNR, Italy - Christian Straßer, Ruhr-Universitaet Bochum, Germany - Rafael Testa, University of Campinas, Brazil - Leon van der Torre, Université du Luxembourg - Heinrich Wansing, Ruhr-Universitaet Bochum, Germany - Renata Wassermann, Universidade de São Paulo, Brazil - Anna Zamansky, University of Haifa, Israel -- Further Information -- Please visit the workshop website (https://sites.google.com/view/dare-19/) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan Varzinczak CRIL, Univ. Artois & CNRS, France http://member.acm.org/~ijv Google scholar: http://tinyurl.com/varzinczak -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sofronie at uni-koblenz.de Thu Jan 10 10:52:36 2019 From: sofronie at uni-koblenz.de (=?utf-8?q?Prof=2E_Dr=2E_Viorica_Sofronie-Stokkermans?=) Date: Thu, 10 Jan 2019 10:52:36 +0100 Subject: Research assistant =?utf-8?q?position=2C?= University Koblenz-Landau Message-ID: The Computer Science department of the University Koblenz-Landau (Campus Koblenz) invites applications for the position of a research assistant (wissenschaftlicher Mitarbeiter/Mitarbeiterin) (1,0 EGr. 13 TV-L) at PhD or postdoc level, in the research groups ``Formal methods and theoretical computer science'' (Prof. Dr. Viorica Sofronie-Stokkermans) and ``Computer Networks'' (Prof. Dr. Hannes Frey). The position is available for 2 years. A further extension is planned. The prospective scientific assistant will study theoretical modelling and verification of wireless networked automatic assistant systems like driver assistant systems, self-organizing fleet management, air traffic management, or UAV swarm robotics. Such systems will be modelled as graphs with certain structural properties which are typically satisfied by wireless networks (e.g. limited communication range, spatial correlated communication links). In this project such properties will be described by graph axioms. Based on the axioms local algorithms for structuring wireless graphs will be developed. Objectives are for example intersection free drawings, limited degree, connectivity, or spanner property. The project covers three areas: (1) based on automatic verification, correctness of local algorithms shall either be verified or falsified (in the latter case, counterexamples have to be generated), (2) local algorithms are to be designed which are correct or correct with high probability under the considered graph axioms, (3) validity of the graph axioms for describing wireless networks has to be investigated by stochastic analysis or by means of simulation. Focus of the three areas will be decided depending on the skills of the candidate. Besides participation in research the position includes teaching obligations in theoretical and technical fields of computer science. Application letters (including a CV) must be sent by e-mail as a single .pdf file to: bewerbung at uni-koblenz-landau.de with Cc to sofronie at uni-koblenz.de. *** In the subject line please indicate your name and the position number 140/2018 *** To receive full consideration, applications should be received by ** January 31, 2019 **. Applications sent after this date will be considered until the position is filled. Informal enquiries are welcome and may be sent to Viorica Sofronie-Stokkermans (sofronie at uni-koblenz.de). ====================================== Position code number: 140/2018 Application deadline: 31 January 2019 ======================================= From adrien.barton at gmail.com Thu Jan 10 10:52:36 2019 From: adrien.barton at gmail.com (Adrien Barton) Date: Thu, 10 Jan 2019 10:52:36 +0100 Subject: 2nd 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. Organizers of workshops from former JOWO editions already expressed interest to re-organize the following workshops for JOWO 2019: - BOG (Bad Ontology) - CREOL (Contextual Representation of Objects and Events in Language) - DAO (Data Meets Applied Ontology) - FOUST (Workshop on Foundational Ontology) - ODLS (Ontology and Data in Life Sciences) - SHAPES (The Shape of Things) - WINKS (Workshop on Interaction-Based Knowledge Sharing) - WoMoCoe (International Workshop on Ontology Modularity, Contextuality, and Evolution) 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, CNRS-IRIT, Toulouse, France & University of Sherbrooke, Canada 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 ieee.cibcb.2019 at gmail.com Thu Jan 10 10:52:36 2019 From: ieee.cibcb.2019 at gmail.com (IEEE CIBCB 2019) Date: Thu, 10 Jan 2019 10:52:36 +0100 Subject: IEEE CIBCB 2019 - Call for Papers Message-ID: Dear Sir or Madame, Please find attached the Call for Papers of the 16th IEEE International Conference on Computational Intelligence in Bioinformatics and Computational Biology (IEEE CIBCB 2019: https://cibcb2019.icas.xyz). Call for papers is also available at https://cibcb2019.icas.xyz/call-for-papers/ Best regards. Barbara Di Camillo and Giuseppe Nicosia IEEE CIBCB 2019 Program and General Chair Giacomo Baruzzo and Alessandro Zandonà IEEE CIBCB 2019 Publicity and Proceedings Chairs ----- IEEE CIBCB 2019 - Call for Papers IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology has become a major technical event in the field of Computational Intelligence and its application to problems in biology, bioinformatics, computational biology, chemical informatics, bioengineering and related fields. It provides a global forum for academic and industrial scientists to discuss and present their latest research findings from theory to applications. CIBCB 2019 (https://cibcb2019.icas.xyz/) will be held in Certosa di Pontignano (Siena), Tuscany (Italy) in July 9th-11th. Keynote speakers: - Pierre Baldi University of California, Irvine, USA (TBC) - Riccardo Bellazzi University of Pavia, Italy - Thomas Keane EMBL-EBI, Cambridge, UK Submission Guidelines Prospective authors are invited to submit papers of 2 to 4 pages (short papers) or of 5 to 8 pages (complete papers) including results, figures and references, or poster abstracts. At maximum, two additional pages are permitted with over-length page charge of US$100/page, to be paid during author registration. Papers must be in PDF and written in English. Detailed instructions and templates for preparing your manuscript can be found here: https://www.ieee.org/conferences/publishing/templates.html. The deadline for paper submission is by February 15, 2019. Each paper will be peer-reviewed. All papers must be original and not simultaneously submitted to another journal or conference. Accepted papers will be published in the conference proceedings and will be indexed in IEEE Xplore®. Submission implies the willingness of at least one of the authors to register (https://cibcb2019.icas.xyz/registration/) and present the paper at the conference. All papers should be submitted via the EasyChair online submission system. IEEE reserves the right to exclude a paper from distribution after the conference, including IEEE Xplore® Digital Library, if the paper is not presented by the author at the conference. Important Dates: - Paper submission deadline: February 15, 2019 - Final (revised) paper submission deadline: May 31, 2019 - Abstract submission deadline: May 31, 2019 Topics We particularly encourage submissions in emerging topics of high importance for Bioinformatics and Computational Biology. Topics of interest include, but are not limited to: CI in Bioinformatics: - Single cell and bulk transcriptomics - Machine learning and artificial intelligence in bioinformatics - Regulatory networks reconstruction/robustness/evolvability - MicroRNA analysis - Molecular sequence alignment and analysis - Pattern recognition/data mining/optimization methods in Bioinformatics - Visualization of large biological data sets CI in Computational Biology: - Metabolic pathway analysis - Modelling, simulation, and optimization of biological systems - Biological network - Structure prediction and folding - Epigenomics CI in Biomedical Engineering, Bioprocessing and Healthcare Informatics: - Biomedical data modelling/data mining/model parametrization - Biomarker discovery and development - Personalized medicine and treatment optimization - Big data analysis and tools for biological and medical data - Health data acquisition/analysis/mining - Healthcare information systems/knowledge representation/reasoning - Parallel/high performance computing - Medical imaging and pattern recognition - Biopharmaceutical manufacturing - Closed-loop optimization methods/platforms Additional information Participants will be accommodated in the Certosa di Pontignano, which is also the venue of the Conference, where rooms and apartments are available. Rooms will be assigned as availability permits: the most charming rooms tend to be booked fast and it is recommended that prospective participants enroll early to help ensure the best accommodation ( https://cibcb2019.icas.xyz/accommodation/). Contact Any questions regarding the submission process can be sent to conference organizers: ieee-cibcb-2019 at icas.xyz -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Jan 10 10:52:36 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 10 Jan 2019 10:52:36 +0100 Subject: AlCoB 2019: submission deadline extended to January 19 Message-ID: AlCoB 2019: submission deadline extended to January 19*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: January 19 ***** ------------------------------------------------------------------------------   ********************************************************************************** 6th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2019   Berkeley, California, 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 Cancer computational biology Systems biology   STRUCTURE:   AlCoB 2019 will consist of:   invited lectures peer-reviewed contributions posters   INVITED SPEAKERS:   Igor Jurisica (University of Toronto), Explanable AI for Data-driven Medicine   Lior Pachter (California Institute of Technology), Algorithms for Single-cell Genomics   Pavel A. Pevzner (University of California, San Diego), Bioinformatics: A Servant or the Queen of Molecular Biology?   Teresa Przytycka (National Center for Biotechnology Information), Exploring Phenotypic Heterogeneity across Tissues and Conditions with Network-based Approaches   Tandy Warnow (University of Illinois, Urbana-Champaign), Advances in Mathematical Approaches to Constructing the Tree of Life   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 IEEE/ACM Transactions on Computational Biology and Bioinformatics (2017 JCR impact factor: 2.428) 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 19, 2018 – EXTENDED – 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 shankar at csl.sri.com Thu Jan 10 10:52:36 2019 From: shankar at csl.sri.com (Natarajan Shankar) Date: Thu, 10 Jan 2019 10:52:36 +0100 Subject: 2019 Alonzo Church Award: Call for Nominations Message-ID: The 2019 Alonzo Church Award for Outstanding Contributions to Logic and Computation Call for Nominations Introduction An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Gödel Society (KGS). The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research. For the rules governing this award, see: https://siglog.acm.org/alonzo-church-award-for-outstanding-contributions-to-logic-and-computation-2019/ , https://www.eatcs.org/index.php/church-award/, and https://eacsl.org/. The 2018 Alonzo Church Award was given jointly to Tomás Feder and Moshe Y. Vardi for their fundamental contributions to the computational complexity of constraint-satisfaction problems, see: http://siglog.org/winners-of-the-2018-alonzo-church-award/. Previous awardees are listed at https://www.eatcs.org/index.php/church-award. Eligibility and Nominations The contribution must have appeared in a paper or papers published within the past 25 years. Thus, for the 2019 award, the cut-off date is January 1, 1994. When a paper has appeared in a conference and then in a journal, the date of the journal publication will determine the cut-off date. In addition, the contribution must not yet have received recognition via a major award, such as the Turing Award, the Kanellakis Award, or the Gödel Prize. (The nominee(s) may have received such awards for other contributions.) While the contribution can consist of conference or journal papers, journal papers will be given a preference. Nominations for the 2019 award are now being solicited. The nominating letter must summarize the contribution and make the case that it is fundamental and outstanding. The nominating letter can have multiple co-signers. Self-nominations are excluded. Nominations must include: a proposed citation (up to 25 words); a succinct (100-250 words) description of the contribution; and a detailed statement (not exceeding four pages) to justify the nomination. Nominations may also be accompanied by supporting letters and other evidence of worthiness. Nominations should be submitted to shankar at csl.sri.com by March 1, 2019. Presentation of the Award The 2019 award will be presented at ICALP 2019, the International Colloquium on Automata, Languages and Programming. The award will be accompanied by an invited lecture by the award winner, or by one of the award winners. The awardee(s) will receive a certificate and a cash prize of USD 2,000. If there are multiple awardees, this amount will be shared. Award Committee The 2019 Alonzo Church Award Committee consists of the following five members: Radha Jagadeesan, Thomas Eiter, Javier Esparza, Natarajan Shankar (chair), and Catuscia Palamidessi. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jose.campos at di.uminho.pt Mon Jan 14 10:21:56 2019 From: jose.campos at di.uminho.pt (=?utf-8?Q?Jos=C3=A9_Creissac_Campos?=) Date: Mon, 14 Jan 2019 10:21:56 +0100 Subject: [CFP] FMIS 2019: 8th Formal Methods for Interactive Systems workshop Message-ID: [Apologies for cross-posting] CALL FOR PAPERS FMIS 2019: 8th Formal Methods for Interactive Systems workshop (co-located with FM 2019 - Porto, Portugal, October 7, 2019) sites.google.com/view/fmis2019 Reducing the risk of human error in the use of interactive systems is increasingly recognised as a key objective in contexts where safety, security, financial or similar considerations are important. These risks are of particular concern where users are presented with novel interactive experiences through the use of ubiquitous mobile devices in complex smart environments. Formal methods are required to analyse these interactive situations. In such complex systems analysis and justification that risk is reduced may depend on both qualitative and quantitative models of the system. The aim of FMIS 2019 (The 8th International Workshop on Formal Methods for Interactive Systems) is to bring together researchers from a range of disciplines within computer science (including HCI) and other behavioural disciplines, from both academia and industry, who are interested in both formal methods and interactive system design. An aim of the workshop is to grow and sustain a network of researchers interested in the development and application of formal methods and related verification and analysis tools to HCI and usability aspects of ubiquitous systems. Topics The focus of the workshop is, though not restricted to, general design and verification methodologies, which take account of models or accounts of human behaviour Submitted papers should address issues of how formal methods can be applied to interactive system design. We also welcome papers with a focus on theory provided a link to interactive systems is made explicit. Application areas considered include but are not limited to: pervasive and ubiquitous systems, cyber-physical systems, augmented reality, scalability and resilience, mobile devices, embedded systems, safety-critical systems, high-reliability systems, shared control systems, digital libraries, eGovernment, human-robot interaction. Submissions In order to encourage participation and discussion, this workshop solicits two types of submissions - regular papers and short papers:  Regular paper submissions must be original work, and must not have been previously published, nor be under consideration for publication elsewhere. Regular paper submission must not exceed 16 pages.  Short paper submissions on recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop should not exceed 6 pages.  Publication  Both accepted regular papers and short papers will be published in the participants proceedings. Revised versions of the regular papers, and of selected short papers, will be published in a volume of Springer's LNCS series dedicated to FM 2019 workshops. Additionally, a special issue of Interacting with Computers on formal methods for interactive systems is under preparation and welcomes extended versions of FMIS 2019 papers. Submission Instructions Submitted papers must follow the LNCS format (cf. Springer's LNCS site) and will be managed through EasyChair (link to be announced). Important Dates Paper Submission: June 21, 2019 Notification: July 31, 2019 Camera Ready: September 2, 2019 Workshop: October 7, 2019 Submission of paper revision for LNCS publication: November 11, 2019 (tentative) Contact All questions about submissions should be emailed to fmis2019 at easychair dot org -- José Creissac Campos Dept. Informática/Universidade do Minho & HASLab/INESC TEC http://www.di.uminho.pt/~jfc 3rd World Congress on Formal Methods (FM 2019)  | FMIS 2019 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rrc2soft at gmail.com Mon Jan 14 10:23:03 2019 From: rrc2soft at gmail.com (Rodrigo Roman) Date: Mon, 14 Jan 2019 10:23:03 +0100 Subject: CFP: 2019 European Workshop on Security and Privacy in Edge Computing (EuroSPEC'19) Message-ID: ============================================================================== EuroSPEC'19: 2019 European Workshop on Security and Privacy in Edge Computing ----------------------------------------------- Held in conjunction with EuroS&P 2019 Stockholm, Sweden -- June, 2019 ----------------------------------------------- https://www.nics.uma.es/pub/eurospec19/ Important Dates Submission due: March 1, 2019 Notification: April 1, 2019 Camera-ready due: April 22, 2019 ============================================================================== Workshop introduction and topics --------------------------------- The main goal of Fog Computing and other related Edge paradigms, such as Multi-Access Edge Computing, is to decentralize the Cloud and bring some of its services closer to the edge of the network, where data are generated and decisions are made. Cloud-enabled edge platforms will be able to cooperate not only with each other but with the cloud, effectively creating a collaborative and federated environment. This paradigm shift will fulfill the needs of novel services, such as augmented reality, that have particularly stringent requirements like extremely low latency. It will also help improve the vision of the Internet of Things by improving its scalability and overall functionality, among other benefits. To enable this vision, a number of platforms and technologies need to securely coexist, including sensors and actuators, edge-deployed systems, software-defined networks, hardware virtualization, data mining mechanisms, etc. However, this paradigm shift calls for new security challenges and opportunities to leverage services for new scenarios and applications. The field of edge computing security is still largely unexplored, and demands further attention from the research community and industry in order to unleash the full potential of this paradigm. Topics of Interest ------------------- This workshop expects original research papers on, but not limited to, the topics described below: * Edge devices security * Attacks and Countermeasures to Edge computing platforms * Authentication and Access control in Edge computing * Accountability and Accounting in Edge computing * Identity management systems in Edge computing * Secure federation of Edge computing devices * Secure Orchestration and Management of Edge devices * Secure Software-Defined Networking for Edge computing * Secure Virtualization in Edge Computing * Secure Migration of resources in Edge Computing * Data and Computation integrity in Edge Computing * Trust and Reputation Management in Edge computing * Privacy in Edge Computing * Intrusion Detection and Prevention systems for Edge computing * Digital Forensics in Edge Computing * Risk Analysis in Edge Computing * Incident Management in Edge Computing Paper Submission Guidelines ---------------------------- Submissions must be made through EasyChair at: https://easychair.org/conferences/?conf=eurospec2019 Submissions must comply with the paper format requirements found in https://www.ieee-security.org/TC/EuroSP2019/cfp.php. Failure to adhere to the page limit and formatting requirements can be grounds for rejection. It is planned that the proceedings of the workshop will be published through IEEE Xplore in a volume accompanying the main IEEE EuroS&P 2019 proceedings. Papers must be received by the aforementioned dates, 11:59 p.m. American Samoa time (UTC-11). Contact -------- Email: eurospec19 at nics.uma.es EuroSPEC Home: https://www.nics.uma.es/pub/eurospec19/ Organisation Committee ----------------------- General Chair: - Ruben RIOS (University of Malaga, Spain) Program Chairs: - Rodrigo ROMAN (University of Malaga, Spain) - Roberto DI PIETRO (HBKU, College of Science and Engineering, Doha-Qatar) Program Committee: - Ketan BHARDWAJ, Georgia Institute of Technology, USA - Mauro CONTI, Universitá Degli Studi di Padova, Italy - Aurélien FRANCILLON, Eurecom, France - Jose M. DE FUENTES, UC3M, Spain - Lorena GONZALEZ MANZANO, UC3M, Spain - Martin G. JAATUN, SINTEF Digital, Norway - Donghyun KIM, Kennesaw State University, USA - Flavio LOMBARDI, Roma Tre University of Rome, Italy - Javier LOPEZ, University of Malaga, Spain - Haralambos MOURATIDIS, University of Brighton, UK - Jose A. ONIEVA, University of Malaga, Spain - Fernando M.V. RAMOS, University of Lisbon, Portugal - Pierangela SAMARATI, Università degli Studi di Milano, Italy - Savio SCIANCALEPORE, HBKU (College of Science and Engineering), Qatar - Juan E. TAPIADOR, Universidad Carlos III de Madrid, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From reyhanehpahlevan at ce.sharif.edu Mon Jan 14 10:23:03 2019 From: reyhanehpahlevan at ce.sharif.edu (reyhanehpahlevan) Date: Mon, 14 Jan 2019 10:23:03 +0100 Subject: RoboCup 2019 Virtual Robot Competition - Second Call for Participation Message-ID: Dear All, This is the Second Call for Participation for RoboCup 2019 Virtual Robot Competition, which will be held in Sydney, Australia, from July 2 to July 8. I should mention that the DEADLINE FOR THE INTENTION OF PARTICIPATION to Virtual Robot Competition: JANUARY 15, 2019 We will be very happy to welcome you next year and hope to see you all in AUSTRALIA! Please apologize for multiple postings and we would be thankful if you forward this call for participation to other mailing lists and colleagues you find useful. ********************************************************************************************** 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 vitordouzi at gmail.com Mon Jan 14 10:23:03 2019 From: vitordouzi at gmail.com (Vitor Mangaravite) Date: Mon, 14 Jan 2019 10:23:03 +0100 Subject: Narrative Extraction from Texts (Text2Story'19@ECIR'19). Second International Workshop. 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://bit.ly/text2story19 * ****************************************************************************************** ++ 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 (UFMG; INESC TEC) ++ 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://bit.ly/text2story19 * 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 complexis at scitevents.com Thu Jan 17 10:05:34 2019 From: complexis at scitevents.com (COMPLEXIS Secretariat) Date: Thu, 17 Jan 2019 10:05:34 +0100 Subject: Call for Papers - COMPLEXIS 2019 (Position Paper) Message-ID: null http://tracking.scitevents.net/tracking/unsubscribe?msgid=bnUReFAzsXmauwMHovWvcA2 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From doogkong at gmail.com Thu Jan 17 10:05:34 2019 From: doogkong at gmail.com (Deguang Kong) Date: Thu, 17 Jan 2019 10:05:34 +0100 Subject: Fwd: SDM 19: MLRec 19 CFP In-Reply-To: References: Message-ID: Apologize if not interested. SDM 2019 : MLRec 2019 : 5th International Workshop on Machine Learning Methods for Recommender Systems CALL FOR PAPER http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=84278©ownerid=72965 Following the success of the several editions of MLRec in 2015, 2016, 2017, and 2018, the fifth edition of the MLRec workshop focuses on developing novel, and applying existing Machine Learning (ML) and Data Mining (DM) methods to improve recommender systems. This workshop also highly encourages applying ML-based recommendation algorithms in novel application domains (e.g., precision medicine), deep learning for recommendation, and solving novel recommendation problems formulated from industry. The ultimate goal of the MLRec workshop series is to promote the advancement and implementation of new, effective and efficient ML and DM techniques with high translational potential for real and large-scale recommender systems, and to expand the territory of ML-based recommender system research toward non-conventional application areas where recommendation problems largely exist but haven't been fully recognized. * Topics of Interest We encourage submissions on a variety of topics, including but not limited to: -- Novel machine learning algorithms for recommender systems, e.g., new content-based or context-aware recommendation algorithms, new algorithms for matrix factorization, tensor-based approaches for recommender systems, etc. -- Novel applications of existing machine learning and data mining algorithms for recommender systems, e.g., applying bilinear models, (non-convex) sparse learning, metric learning, low-rank approximation/PCA/SVD, neural networks and deep learning, etc. -- Novel optimization techniques for improving recommender systems, e.g., parallel/distributed optimization techniques, efficient stochastic gradient descent, etc. -- Industrial practices and implementations of recommendation systems, e.g., feature engineering, model ensemble, large-scale implementations of recommender systems, etc. -- Emerging recommendation problems and scenarios in industry and their ML-based solutions, e.g., recommendation for e-fashion, etc. -- Novel recommendation problems in non-conventional recommender system research areas (e.g., precision medicine, health informatics) and their ML-based solutions, e.g., recommendation of physicians, recommendation of healthy life-styles for seniors, etc. -- Enhanced deep learning methods for recommender systems, e.g., word embedding techniques, CNN, RNN and LSTM, Generative Advertiseral Networks (GAN), auto-encoder, RBM, etc. -- Recommendation in Information Retrieval, ad industry, targeting ad, search ad, etc. * Submission Instructions The workshop accepts long paper and short (demo/poster) papers. Short papers submitted to this workshop should be limited to 4 pages while long papers should be limited to 8 pages. All papers should be formatted using the SIAM SODA macro. Authors are required to submit their papers electronically in PDF format to the submission site by 11:59pm MDT, March 10, 2019. The site has started to accept manuscripts. At least one author of each accepted paper should be registered to the conference. * Important Dates Paper Submission Deadline: March 10, 2019 Author Notification: Mar 25, 2019 Camera Ready Paper Due: Apr 15, 2019 Workshop: May 4, 2018 Xia Ning, Ohio State University Deguang Kong, Yahoo Research George Karypis, University of Minnesota https://doogkong.github.io/2019/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Jan 17 10:05:34 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 17 Jan 2019 10:05:34 +0100 Subject: DeepLearn 2019: early registration February 2 Message-ID: DeepLearn 2019: early registration February 2*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2019   Warsaw, Poland   July 22-26, 2019   Co-organized by:   Institute of Computer Science, Polish Academy of Sciences   IRDTA – Brussels/London   http://deeplearn2019.irdta.eu/   ***************************************************************   SCOPE:   DeepLearn 2019 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 four-hour and a half courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2019 will take place in Warsaw, whose historical Old Town was designated a UNESCO World Heritage Site. The venue will be:   tba   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences   Christopher Bishop (Microsoft Research Cambridge), [introductory] Introduction to the Key Concepts and Techniques of Machine Learning   Aaron Courville (University of Montréal), [introductory/intermediate] Deep Generative Models   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Armand Joulin)   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Navraj Pannu (GoDaddy), [introductory/intermediate] Deep Learning and Maximum Likelihood in Structural Biology   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing   Alex Smola (Amazon), tba   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines   Alexey Svyatkovskiy (Princeton University), [introductory/intermediate] From Natural Language Processing to Machine Learning on Source Code   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by July 14, 2019.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 14, 2019.   EMPLOYER SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 14, 2019.   ORGANIZING COMMITTEE:   Łukasz Kobyliński (Warsaw, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://deeplearn2019.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Institute of Computer Science, Polish Academy of Sciences   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tobias.ahlbrecht at tu-clausthal.de Mon Jan 21 16:31:10 2019 From: tobias.ahlbrecht at tu-clausthal.de (Tobias Ahlbrecht) Date: Mon, 21 Jan 2019 16:31:10 +0100 Subject: 2nd CfP - EMAS 2019 Message-ID: CFP - 7th International Workshop on Engineering Multi-Agent Systems (EMAS 2019) Co-located with AAMAS 2019 13th-14th of May, 2019, Montreal, Canada Info: http://www.csc.liv.ac.uk/~lad/emas2019 Contact: emas.aamas2019 at gmail.com ------------------------------------------------------------------------------------------------------------------- A main unifying theme underlying Artificial Intelligence and Machine Learning is the idea of an intelligent agent able to reason, act, interact, and learn. This metaphor has stimulated much research in AI and particularly in Autonomous Agents and Multi-Agent Systems (MAS), giving rise to research in agent-oriented software engineering, programming multi-agent systems, and declarative agent languages and technologies. EMAS 2019 aims to gather researchers and practitioners working in these areas to present and discuss their research and emerging results in MAS engineering. The overall purpose of this workshop is to facilitate the cross-fertilisation of ideas and experiences in the various fields to: 1. Enhance knowledge and expertise in MAS engineering and improve the state or-the art; 2. Define new directions for MAS engineering that are useful to practitioners, relying in results and recommendations coming from different but continuous research areas; 3. Investigate how practitioners can use or need to adapt established methodologies for the engineering of large-scale and open MAS; 4. Involve more master and PhD students. TOPICS The main topics include but are not limited to: - Software engineering methodologies and techniques, and development concerns for MAS - Formal methods and declarative technologies for specification, verification, and engineering of MAS - Programming frameworks, languages, models and abstractions for all aspects of MAS - Tools and testbeds - Empirical studies and (industrial) experience reports on engineering MAS applications For a detailed list of subtopics, see http://www.csc.liv.ac.uk/~lad/emas2019/cfp.html SUBMISSIONS We solicit four types of submission: - Regular papers should (1) clearly describe innovative and original research, or (2) report a survey on a research topic in the field, or (3) explain how existing techniques have been applied to a real-world case. (16 pages in LNCS format). - Short papers should describe novel and promising ideas and/or techniques that are in an early stage of development. To that end, short papers will be reviewed under specific review guidelines (8 pages in LNCS format). - Doctoral project papers should describe a research effort of an MSc student or the dissertation research of a PhD student in the field of engineering multi-agent systems. The paper should clearly describe the problem tackled, a justification why this problem is important, the research method, the (expected) contributions of the research, and the evaluation. This paper can be co-authored by the student and their supervisor(s) only (6 pages in LNCS format). - Tool, testbeds and demo papers should describe a novel tool or demonstration in the field of engineering multi-agent systems. Submission may range from early prototypes to in-house or pre-commercialised products. Authors of other EMAS 2019 papers are also welcomed to submit an accompanying tool/demo paper. The paper should provide a link to supplementary material that allows the reviewers to evaluate the submission such as website or movie link (4 pages in LNCS format). Submission policy: all papers should be original and not be submitted elsewhere. The review process is single blind: submissions should not be blind, reviewers will be. The LNCS formatting style is available via: http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines The Easychair submission page can be found here: https://easychair.org/conferences/?conf=emas2019. When you enter the title of your paper in the data section in EasyChair, you must add as the first word the category to which the paper has been submitted (this first word does not need to be included in the submitted paper): - REGULAR for regular papers (16 pages long) - SHORT for short papers (8 pages long) - DOCTORAL for doctoral project papers (6 pages long) - DEMO for tools, testbeds, and demo papers (4 pages long) Authors of accepted papers will be invited to submit revised and extended versions of the EMAS papers for inclusion in the post-proceedings that we will be published as a volume in Springer's Lecture Notes in Artificial Intelligence. IMPORTANT DATES Submission deadline: 12 Feb, 2019 Notification: 10 March, 2019 Camera-ready deadline: 1 April, 2019 EMAS: 13-14 May, 2019 COMMITTEES Organising Committee Rafael H. Bordini, PUCRS, Brazil (http://www.inf.pucrs.br/r.bordini) Louise Dennis, University of Liverpool, UK ( http://cgi.csc.liv.ac.uk/~lad/index.html) Yves Lesperance, York University, Canada (http://www.cse.yorku.ca/~lesperan) EMAS Steering Committee Matteo Baldoni Rafael Bordini Mehdi Dastani Jürgen Dix Amal El Fallah Seghrouchni Brian Logan Jörg P. Müller Ingrid Nunes Alessandro Ricci M. Birna Van Riemsdijk Danny Weyns Michael Winikoff Rym Zalila-Wenkstern -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From M.M.Dastani at uu.nl Mon Jan 21 16:31:10 2019 From: M.M.Dastani at uu.nl (Dastani, M.M. (Mehdi)) Date: Mon, 21 Jan 2019 16:31:10 +0100 Subject: Department of Computing and Information Systems of Utrecht University has multiple openings for Assistant Professors In-Reply-To: <5145018A-F553-48DB-9A0A-9934843C092D@uu.nl> References: <5145018A-F553-48DB-9A0A-9934843C092D@uu.nl> Message-ID: Vacancy: Assistant Professors in Information and Computing Sciences (Tenure Track 0.8 - 1.0 FTE) Job description Due to our successful teaching programmes and our ambitions in research, the Department of Information and Computing Sciences is expanding. We are therefore actively searching for six motivated, ambitious Research and Teaching Assistant Professors in Information and Computing Sciences. Please note that positions offered will vary, depending on experience and expertise. You have a background in Computing and Information Sciences, preferably in the areas of Information Science, Artificial Intelligence, Data Science, Algorithms, Software, Computer Science Education and Process Management and Analytics. Excellent candidates with other areas of expertise related to our current research groups and teaching programmes are also invited to apply. You have proven ambition and talent for research. As teaching is an important and satisfying part of our work, we are searching for people with a demonstrable motivation to teach. The Department is expanding and provides a dynamic work environment. If you are excited to actively participate in shaping the department, you are very welcome to apply. One PhD candidate will be funded for you by the Department in order to start up your research. Qualifications We are looking for Assistant Professors with: • PhD in Computer Science, Information Science or another relevant discipline; • international publications in leading conferences and journals; • experience with or good prospects for acquiring external research funds; • vision on future research directions in own area of expertise; • experience with or readiness to supervise PhD projects; • active role in international scientific communities; • experience with and enthusiasm for teaching and student supervision; • ability to teach in departmental BSc and MSc programmes; • well-developed didactic skills; • excellent command of the English language; • experience with or willingness to use innovative teaching methods and (e-learning) technologies; • vision on teaching and your own contribution to teaching. Offer We offer a position voor 0.8 - 1.0 FTE. The gross salary - depending on previous qualifications and experience - ranges between €3,255 and €5,656 (scale 10/12 according to the Collective Labour Agreement Dutch Universities) gross per month for a full-time employment. Salaries are supplemented with a holiday bonus of 8 % and a year-end bonus of 8.3 % per year. We offer a pension scheme, (partly paid) parental leave, collective insurance schemes and flexible employment conditions (multiple choice model). More information is available at: working at Utrecht University. We offer you the possibility to develop towards a Basic Teaching Qualification, supported with educational development programmes offered by the University. We also offer candidates the possibility to travel to conferences. About the organization A better future for everyone. This ambition motivates our scientists in executing their leading research and inspiring teaching. At Utrecht University, colleagues from various disciplines collaborate intensively towards major societal themes. Our focus is on Dynamics of Youth, Institutions for Open Societies, Life Sciences and Sustainability. The city of Utrecht is one of the oldest cities in the Netherlands, with a charming old center and an internationally oriented culture that is strongly influenced by its century-old university. Utrecht city has been consistently ranked as one of the most livable cities in the Netherlands. The Faculty of Science consists of six Departments: Biology, Pharmaceutical Sciences, Information and Computing Sciences, Physics and Astronomy, Chemistry and Mathematics. The Faculty is home to 5,900 students and nearly 1,600 staff and is internationally renowned for the quality of its research. The Faculty's academic programmes reflect developments in today's society. The Department of Information and Computing Sciences is nationally and internationally renowned for its research in Computing Science and Information Science. Current research groups are Algorithmic Data Analysis, Algorithms and Complexity, Decision Support Systems, Intelligent Systems, Simulation of Complex Systems, Multimedia, Human-Centered Computing, Geometric Computing, Process Management and Analytics, Organization and Information, Natural Language Processing, Intelligent Systems, Software Technology and Software Technology of Learning and Teaching. Relevant areas of interdisciplinary research include Game Research, Foundations of Complex Systems, Applied Data Science, Artificial Intelligence and Integrative Bioinformatics. The Department has, among others, close collaborations with the University Medical Center, the Departments of Physics and Mathematics, and the Faculties of Humanities and Geosciences. The Department offers Bachelor programmes in Computer Science and Information Science, and four English Research Master programmes in Artificial Intelligence, Business Informatics, Computing Science, and Game and Media Technology. The Department is developing Master programmes in Data Science and Human-Computer Interaction. High enrolment figures and good student ratings make the education very successful. The Department currently comprises 15 full-time Chairs and 105 other scientific staff, including Postdocs and PhD candidates. Additional information Would you like additional information about the vacancy? This can be obtained from Prof. van Kreveld, Research Director, via M.J.vanKreveld at uu.nl, or from or Marloes Reichardt-Buijs, HR Officer for the Department, via M.S.Reichardt-Buijs at uu.nl. Apply To apply, please go to the UU website, select this vacancy and use the application button. Please attach a letter of motivation, curriculum vitae and the (e-mail) addresses of two references. If you prefer a part-time appointment, you are also invited to apply, preferably stating the desired part-time ratio. The application deadline is 14/02/2019 Feel free to forward this vacancy in your network. -- Mehdi Dastani Intelligent Systems Utrecht University Princetonplein 5 3584 CC Utrecht The Netherlands Tel: +31 - 30 - 253 3599 URL: https://www.uu.nl/medewerkers/MMDastani -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From giacomo.cabri at unimore.it Mon Jan 21 16:31:10 2019 From: giacomo.cabri at unimore.it (Giacomo Cabri) Date: Mon, 21 Jan 2019 16:31:10 +0100 Subject: CfP - Adaptive Computing (and Agents) for Enhanced Collaboration (ACEC) at WETICE 2019 Message-ID: *17th Adaptive Computing (and Agents) for Enhanced Collaboration (ACEC)* Track at IEEE WETICE 2019 Capri Island, Italy, June 12-14, 2019 http://didattica.agentgroup.unimore.it/ACEC2019 Call for Papers *Aims and Scope* Over its 16 years in existence, ACEC has focused on worksthat explorethe adaptability, autonomy and intelligence of software agents for the collaboration across the enterprise. In 2019, organizers would like to continue to explore the research on agent-based computing, but they would also welcome works that leverage advanced adaptive techniques, non necessarily based on software agents. In addition to the traditional domain areas, i.e., Computer Supported Collaborative Work, Workflow and Supply Chain Management, Automation in Virtual Enterprises, and Automated Distributed Service Composition, ACEC isalso interested in new adaptive techniques, e.g., Cloud Computing, Crowd-Sourcing and Social Networking. In addition to traditional papers, the forthcoming 17th episode of ACEC welcomes papers from two focus areas: * Adaptive and Agent-based Services * Adaptive Techniques for Organizational/Enterprise Use of Emerging Web Paradigms (Cloud, Crowd-sourcing, Mobile Apps) Such two themes represent important areas where software agents can leverage their distributed nature,along with their proactive and autonomous characteristics, to provide solutions to complex problems, which are difficult to solveusing traditional/existing technologies. *Topics of Interest* Topics of interest include, but are not limited to: * Adaptive and/or agent-mediated workflow, supply chain, and virtual enterprises * Methodologies, languages and tools to support agent collaboration * Agent architectures and infrastructures for dynamic collaboration * Adaptive and/or Agent-based service architectures and infrastructures * Service Oriented Architectures (SOAs) based on agents * Services for dynamic agent collaboration * Agent-to-Human service interactions * Autonomous, Adaptive and/or Agent-mediated service integration * Organizational and enterprise systems that leverage the Web 2.0 * Adaptive and Agent-mediated cloud environments *Important Dates* * Paper submission: *February, 20th, 2019* * Notification:*March, 15th, 2019* * Camera ready: *April, 5th, 2019* * Conference:*June 12-14, 2019* * * *Paper Submission* Papers should contain original contributions (not published or submitted elsewhere) and references to related state-of-the art work. Please submit your papers in PDF or PS format. Papers up to 6 pages (including figures, tables and references) can be submitted. Papers should follow the IEEE format, which is single-spaced, two columns, 10pt Times/Roman font. Papers should include a title, the name and affiliation of each author, an abstract of up to 150 words and no more than eight keywords. All submitted papers will be peer-reviewed by a minimum of three program committee members. The accepted papers will be published in the post-conference proceedings (to be published by the IEEE Computer Society Press). Authors of accepted papers must present their papers at the conference. *At least one author for each accepted paper should register and attend WETICE 2019 to have the paper published in the proceedings.* The paper submission procedure is carried out using the EasyChair conference management system: http://home.ing.unisannio.it/wetice2019/?page_id=575 * * *Track Chairs* * Stefania Monica, Università degli Studi di Parma, Italy * Federico Bergenti, Università degli Studi di Parma, Italy * M. Brian Blake, Drexel University, USA * Giacomo Cabri, Università degli Studi di Modena e Reggio Emilia, Italy * Usman Wajid, The University of Manchester, UK --- Questa email è stata esaminata alla ricerca di virus da AVG. http://www.avg.com From jpuehrer at dbai.tuwien.ac.at Mon Jan 21 16:31:10 2019 From: jpuehrer at dbai.tuwien.ac.at (Joerg Puehrer) Date: Mon, 21 Jan 2019 16:31:10 +0100 Subject: LPNMR 2019 Doctoral Consortium Message-ID: * Please distribute widely and accept our apologies for cross-posting * Call for Contributions LPNMR Doctoral Consortium 2019 Philadelphia, USA June 6, 2019 http://dbai.tuwien.ac.at/lpnmr-dc-19/ Topic and Objective ************** The LPNMR Doctoral Consortium (DC) is to be held as part of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019) in the Philadelphia, USA, June 3-7, 2019. The DC provides a forum for doctoral students working in all areas related to logic programming and non monotonic reasoning. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts a supportive environment. The 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR) is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design, implementation and application of logic-based programming languages and database systems, and those who work in the area of knowledge representation and non-monotonic reasoning. During the DC, there will be significant time for students to present their work, and meet mentors from their own and closely related fields. Target Audience *************** The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master’s program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC, but preference will be given to students who have settled on a research topic or direction but still have some way to go in their studies. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): -Theoretical Foundations of LPNMR systems, including semantics of new or existing languages, new language extensions, and computational complexity - Implementation of LPNMR systems, including new systems and algorithms - Applications of LPNMR The DC allows participants to interact with established researchers and fellow students, through presentations, a poster session, question-answer sessions and social interactions. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation, present a poster at the main event and attend a lunch in small groups with their mentor/senior researcher. Application Process *************** Students at both the PhD and late stage masters level are encouraged to apply. However, preference will be given to students in PhD programs. Submissions will be selected based on the assessment of the organizing committee. We will give preference to students who have settled on a research topic or direction but still have some way to go in their studies. Applications will be reviewed based on several factors including the quality of the work submitted, stage of research, evidence of research progress, the committee's assessment of the student's contribution to and benefit from participating in the DC, and input from the student's advisor. 1. Cover Sheet: This is a one page information sheet which should include: - Your full name, gender, contact details (including phone number), official affiliation, and home page; - Your expected graduation date and the number of years in your current program; - Your thesis advisor's full name and contact details; - A list of up to 5 people within the LPNMR community you feel would be good mentors or are people you want to talk to; - A list of up to 5 keywords that you would use to describe your research. 2. Extended Abstract: This should be a thesis summary in LLNCS format no longer than 6 pages (including references), which gives a brief background for your thesis research, explains the central question of your research, and explains the work you have accomplished so far. Be sure to clearly describe your work (e.g., what you have done, and what you plan to work on), while emphasizing the contributions and their significance.Please use the first person where appropriate. This should not be a reduced version of a single paper. This abstract should be about your dissertation not an individual paper. 3. Vita: A CV not to exceeded 3 pages which includes your background and a brief statement of your research interests; relevant experience in research, education, or employment; and any publications (accepted or pending) for conferences or journals. 4. Personal Statement: A short statement not to exceed 1 page which outlines what you hope to gain from the DC and what unique perspective you can contribute to the discussions. Please mention if you have participated in any past DCs or plan to participate in any other DCs. Please also include whether or not you have submitted a paper to LPNMR. 5. Advisor/Supervisor Statement: A signed supporting statement from your advisor or supervisor explaining why he/she thinks it is a good idea for you to participate in this event. Please submit all application materials as one PDF per e-mail to DC organization chairs: Fangkai Yang, NVIDIA Corporation, wolfgang.yang at gmail.com Jörg Pührer TU Wien jpuehrer at dbai.tuwien.ac.at Applications will be reviewed based on several factors including the quality of the work submitted, stage of research, evidence of research progress, the committee’s assessment of the student’s contribution to and benefit from participating in the DC, and input from the student’s advisor. Details regarding publication of extended abstracts and financial support will be published on the DC website at a later date. Important Dates **************** Application Submission: Mar, 24, 2019 Notification: Apr, 12, 2019 Camera-ready Version: Apr, 26, 2019 Doctoral Consortium: Jun 6, 2019 Committees **************** Organization Chairs: Jörg Pührer, TU Wien Fangkai Yang, NVIDIA Corporation Program Committee: Pedro Cabalar, University of Corunna Marina De Vos, University of Bath Martin Gebser, Alpen-Adria-Universität Klagenfurt Vladimir Lifschitz, University of Texas at Austin Francesco Ricca, University of Calabria Alessandra Russo, Imperial College London Hans Tompits, TU Wien From sebastian.litzinger at fernuni-hagen.de Mon Jan 21 16:31:10 2019 From: sebastian.litzinger at fernuni-hagen.de (Sebastian Litzinger) Date: Mon, 21 Jan 2019 16:31:10 +0100 Subject: Call for Papers and Announcement of Submission Deadline Extension - ACSD 2019 Message-ID: Call for Papers and Announcement of Submission Deadline Extension ACSD 2019 19th INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN Aachen, Germany, June 23-28, 2019 Additional information about the conference will be published via http://www.petrinets2019.de/acsd-2019/ The conference will be co-located with the 40th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2019). IMPORTANT DATES: Abstract submission : January 25, 2019 (extended,*) Submission of Papers: February 1, 2019 (extended,*) Notification : March 8, 2019 Final Version Due : March 22, 2019 (*) Conference : June 23-28, 2019 (*) The deadline is the end of day Anywhere on Earth (AoE) The 19th international ACSD conference will be organized by the Process and Data Science (PADS) group at RWTH Aachen University, Aachen, Germany. The conference will take place in the conference area of the Tivoli football stadium, close to the city center of Aachen. The language of the conference is English. The conference proceedings will be submitted for inclusion to IEEE Xplore. CONFERENCE SCOPE: The conference aims at cross-fertilizing both theoretical and applied research about formal approaches (in a broad sense) to designing computer systems that exhibit concurrent behavior. In particular, the following topics are of interest: - Formal models of computation and concurrency for synchronous and asynchronous systems and problems, like data-flow models, communicating automata, Petri nets, process algebras, graph rewriting systems, state charts, MSCs, modal and temporal logics - Design principles for concurrent systems, in particular hardware/software co-design, platform-based design, component-based design, modular synthesis, distributed simulation and control, refinement techniques, hardware/software abstractions, cross-layer optimization - Algorithms and tools for concurrent systems, ranging from programming languages to algorithmic methods, for system analysis and construction, including model checking, verification, and static analysis techniques as well as synthesis procedures - High-performance computer architectures like many-core processors, on-chip-networks, graphics processing units, instruction-level parallelism, dataflow architectures, cache coherency, memory systems, up to ad-hoc, mobile, and wireless networks - Resource management in implementations including task and communication scheduling, network-, memory-, and power-management, energy/power distribution, fault-tolerance, quality of service, scalability, load balancing, power proportionality - Real-time aspects, incl. hard real-time requirements, security- and safety-critical issues, functional and timing verification - Cyber-physical systems, hybrid systems, networked systems, and networks in biological systems - Case studies of general interest, from industrial applications to consumer electronics and multimedia, automotive systems, (bio-) medical applications, neuromorphic applications, internet (of things) and grid computing, to gaming applications. PAPER SUBMISSION: ACSD seeks papers describing original work which has not been previously published and is not under review for publication elsewhere. All files must be prepared using the latest IEEE Computer Society conference proceedings guidelines (8.5 x11 inch two-column format). The page limit for regular papers is 10 pages. Accepted papers will be included in the conference proceedings. At least one author of each accepted contribution is expected to present the paper at the conference, and will be required to sign the copyright release forms. All papers have to be submitted via EasyChair: https://easychair.org/conferences/?conf=acsd2019. ORGANIZATION General Chair Wil van der Aalst RWTH Aachen University 52074 Aachen, Germany wvdaalst at pads.rwth-aachen.de Technical Program Committee Co-chairs Joerg Keller University of Hagen 58084 Hagen, Germany Joerg.Keller at fernuni-hagen.de Wojciech Penczek ICS PAS & Siedlce University Warsaw, Poland penczek at ipipan.waw.pl Organizing Committee Wil van der Aalst (general chair) Anna Kalenkova (publicity chair) Detlef Wetzler (web chair) Technical Program Committee S. Akshay, India Etienne Andre, France Mohamed Faouzi Atig, Sweden Josep Carmona, Spain Franck Cassez, Australia Thomas Chatain, France Rocco De Nicola, Italy Joerg Desel, Germany Klaus Echtle, Germany Alain Girault, France Radu Grosu, Austria Stefan Haar, France Loic Helouet, France Ludovic Henrio, France Loig Jezequel, France Gabriel Juhas, Slovakia Joerg Keller, Germany (co-chair) Christoph Kessler, Sweden Jan Kretinsky, Czech Republic Johan Lilius, Finland Gerald Luettgen, Germany Roland Meyer, Germany Andrey Mokhov, UK Claire Pagetti, France Wojciech Penczek, Poland (co-chair) Laure Petrucci, France Marta Pietkiewicz-Koutny, UK Dumitru Potop-Butucaru, France Klaus Schneider, Germany Sandeep Shukla, India Ashutosh Trivedi, India Jaco van de Pol, Denmark Fei Xia, UK Steering Committee Alex Yakovlev, UK (chair) Benoit Caillaud, France Jordi Cortadella, Spain Joerg Desel, Germany Alex Kondratyev, USA Luciano Lavagno, Italy Antti Valmari, Finland Andrey Mokhov, UK AACHEN Aachen is a historic city in North Rhine-Westphalia, Germany, at the point where Germany borders on Belgium and the Netherlands. Historically this spa-town was a prominent city, the place where the German Kings were crowned, and the residence of Charlemagne who still lies buried in the impressive cathedral he himself had built. The city has many historical sites that remind of those days, including medieval buildings, city gates, and beautiful fountains. Aachen is Germany's westernmost city. It lies near the borders with Belgium and the Netherlands and is nestled between the large national parks of the Eifel and the Ardennes. The city has a population of 260,000, which includes about 50,000 students and more than 4,000 academic staff from across the world. Its lively student community lends the city just as much character as its history. Aachen is famous for its Printen gingerbread, its hot springs, its Mardi Gras carnival and one of the world's largest equestrian tournaments. The historic city center and a wealth of bars, cafes, and restaurants, combined with the nearby nature parks, such as the Eifel, make Aachen a city where everyone feels at home. The venue of the conference, the Tivoli football stadium, is located on the border of the city center. This beautiful venue will provide a unique atmosphere with great views and excellent conference facilities. From iceis at scitevents.com Mon Jan 21 16:31:11 2019 From: iceis at scitevents.com (ICEIS Secretariat) Date: Mon, 21 Jan 2019 16:31:11 +0100 Subject: Call for Papers - ICEIS 2019 (Position Paper) Message-ID: null http://tracking.scitevents.net/tracking/unsubscribe?msgid=TncgdyHJUeoz0liHc_TrfQ2 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alexey.ignatiev at gmail.com Mon Jan 21 16:31:11 2019 From: alexey.ignatiev at gmail.com (Alexey Ignatiev) Date: Mon, 21 Jan 2019 16:31:11 +0100 Subject: SAT 2019 Call for Workshops. Message-ID: =============================================================== CALL FOR WORKSHOPS SAT 2019 22nd International Conference on Theory and Applications of Satisfiability Testing http://sat2019.tecnico.ulisboa.pt/workshops.html July 7-12, 2019, Lisbon, Portugal =============================================================== =============================================================== *** WORKSHOP PROPOSAL SUBMISSION DEADLINE: February 4, 2019 *** =============================================================== =============================================================== The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. We invite proposals for workshops associated to the main conference program of SAT 2019, which will be held in Lisbon (Portugal) from July 7 to July 12, 2019. Submission of Workshop Proposals Proposals should be submitted in pdf format to the following address: workshops at sat2019.tecnico.ulisboa.pt. Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). A second, organizational part should include: - Contact information of the workshop organizers - Estimate of the audience size - Proposed format and agenda (for example, paper presentations, tutorials, demo sessions, etc.) - Potential invited speakers - Procedures for selecting talks and participants - Plans for dissemination, if any (for example, proceedings or special issue of journals) duration: half day or full day - Relevant chairing experience of the organizers (if any) - Organizing committee members (if already known) =============================================================== Important Dates: - February 04, Workshop proposal submission deadline - February 18, Workshop acceptance notification - July 7-8, SAT 2019 Workshops =============================================================== Contact Information: Questions regarding workshop proposals should be sent to workshops at sat2019.tecnico.ulisboa.pt. SAT 2019 Workshop Chair Vasco Manquinho INESC-ID, IST - Universidade de Lisboa, Portugal From francesco.amigoni at polimi.it Thu Jan 24 09:01:34 2019 From: francesco.amigoni at polimi.it (Francesco Amigoni) Date: Thu, 24 Jan 2019 09:01:34 +0100 Subject: AAMAS Autonomous Robots and Multirobot Systems (ARMS) Workshop 2019 - Second call for papers Message-ID: (Please apologize for multiple postings.) *** CALL FOR PAPERS *** Autonomous Robots and Multirobot Systems (ARMS) Workshop 2019 A full-day workshop to be held as part of AAMAS2019 and to accompany the AAMAS Robotics Track. May 13 or 14, 2019, Montreal, Canada *** Note that AAMAS will be the week before ICRA, which will also be in Montreal *** Website: http://www.cs.biu.ac.il/~agmon/arms2019 AAMAS Website: http://aamas2019.encs.concordia.ca *** Note fast-track review process for AAMAS “extended abstracts”, below *** Important Dates --------------------- Paper submission deadline: February 12, 2019 Notification of acceptance: March 10, 2019 Submission of camera-ready version: April 1, 2019 Overview ------------ Robots are agents, too. Indeed, AAMAS researchers are sometimes inspired by robots, sometimes use robots in motivating examples, and sometimes make contributions to robotics. Both practical and analytical techniques in AAMAS influence, and are being influenced by, research into autonomous robots and multi-robot systems. Areas of particular recent cross-fertilization include (but are not limited to): - motion planning and path planning for single and multiple mobile robots - market-based coalition formation and task allocation - machine learning in single- and multi-robot (agent) settings - multi-robot teams and swarms - human-robot interaction - human-robot (agent) teamwork - analysis of large-scale multi-robot systems and swarms - decision-theoretic single- and multi-robot planning - imitation and learning by demonstration/example - formal methods and control architectures - game-theoretic coordination - canonical robotics problems and benchmarks, such as robotic soccer, coverage, foraging, or patrolling Despite the rich cross-fertilization between AAMAS and robotics research areas, roboticists and agents researchers have only a few opportunities to meet and interact. The Robotics Track at AAMAS is one such opportunity. The goal of the workshop is to extend and widen this opportunity, by offering a forum where researchers in this area can interact and present promising innovative research directions, and new results. The workshop is coordinated and associated with the AAMAS Robotics Track to fast-track all papers accepted as extended abstracts at the main conference into the ARMS workshop. Submissions and Publication ----------------------------------- The submission website is https://easychair.org/conferences/?conf=arms2019 Contributions are sought in all areas of robotics, in particular as related to autonomous agents research, but not necessarily so. Theoretical papers are welcome, as long as they clearly address challenges in robotics. Empirical studies should ideally present experiments with real robots, though physical simulation studies are also acceptable. Papers that focus on mechanical aspects and low-level control should make an effort to relate to the agents community. Submissions should follow Springer's LNCS format (see http://www.springer.de/comp/lncs/authors.html for instructions, or directly download the LaTeX style file: ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip). Papers should not exceed 20 pages in length. Papers will be reviewed by at least 2 reviewers. Criteria for selection of papers will include: originality, readability, relevance to themes, soundness, and overall quality. Papers do not have to be anonymized: We do not follow a double-blind review process. Fast-Track Review Process --------------------------------- As part of our close coordination with the AAMAS Robotics Track, we offer a fast-track review process to papers that have been accepted as extended abstracts ("short papers”) to the AAMAS conference, in the Robotics Track or with a robotics keyword. For such papers, please include the original AAMAS paper number with the submission. Organizing Committee ---------------------------- Noa Agmon Bar Ilan University, Israel Francesco Amigoni Politecnico di Milano, Italy Alessandro Farinelli University of Verona, Italy Maria Gini University of Minneapolis, USA Gal Kaminka Bar Ilan University, Israel Pedro Lima Lisbon Technical University, Portugal Daniele Nardi Sapienza Università di Roma, Italy The contact organizer is Francesco Amigoni (francesco.amigoni at polimi.it) --------------------------------------------------------- Francesco Amigoni, Ph.D. Associate Professor Artificial Intelligence and Robotics Laboratory Dipartimento di Elettronica, Informazione e Bioingegneria Politecnico di Milano Piazza Leonardo da Vinci, 32 I-20133 Milano (MI), Italy Voice: +39 02 2399-3475 Fax: +39 02 2399-3411 Email: francesco.amigoni at polimi.it Web: http://www.deib.polimi.it/people/amigoni --------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcci at insticc.info Thu Jan 24 09:01:34 2019 From: ijcci at insticc.info (ijcci at insticc.info) Date: Thu, 24 Jan 2019 09:01:34 +0100 Subject: CFP IJCCI 2019 - 11th Int.l Joint Conf. on Computational Intelligence (Vienna/Austria) Message-ID: SUBMISSION DEADLINE 11th International Joint Conference on Computational Intelligence Submission Deadline: April 29, 2019 http://www.ijcci.org/ September 17 - 19, 2019 Vienna, Austria. IJCCI is organized in 4 major tracks: - Evolutionary Computation - Fuzzy Computation - Neural Computation - Cognitive and Hybrid Systems Proceedings will be submitted for indexation by: DBLP, Thomson Reuters, EI, SCOPUS, Semantic Scholar and Google Scholar. A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don't hesitate contacting me. Kind regards, IJCCI Secretariat Address: Avenida de São Francisco Xavier Lote 7L Cave 2910-595 Setubal, Portugal Tel: +351 265 520 184 Fax: +351 265 520 186 Web: http://www.ijcci.org/ e-mail: ijcci.secretariat at insticc.org From irdta at irdta.eu Thu Jan 24 09:01:34 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 24 Jan 2019 09:01:34 +0100 Subject: DeepLearn 2019: early registration February 2 Message-ID: DeepLearn 2019: early registration February 2*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2019   Warsaw, Poland   July 22-26, 2019   Co-organized by:   Institute of Computer Science, Polish Academy of Sciences   IRDTA – Brussels/London   http://deeplearn2019.irdta.eu/   ***************************************************************   SCOPE:   DeepLearn 2019 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 four-hour and a half courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2019 will take place in Warsaw, whose historical Old Town was designated a UNESCO World Heritage Site. The venue will be:   tba   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences   Christopher Bishop (Microsoft Research Cambridge), [introductory] Introduction to the Key Concepts and Techniques of Machine Learning   Aaron Courville (University of Montréal), [introductory/intermediate] Deep Generative Models   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Armand Joulin)   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Navraj Pannu (GoDaddy), [introductory/intermediate] Deep Learning and Maximum Likelihood in Structural Biology   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing   Alex Smola (Amazon), tba   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines   Alexey Svyatkovskiy (Princeton University), [introductory/intermediate] From Natural Language Processing to Machine Learning on Source Code   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by July 14, 2019.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 14, 2019.   EMPLOYER SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 14, 2019.   ORGANIZING COMMITTEE:   Łukasz Kobyliński (Warsaw, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://deeplearn2019.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Institute of Computer Science, Polish Academy of Sciences   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From vitordouzi at gmail.com Mon Jan 28 10:36:59 2019 From: vitordouzi at gmail.com (Vitor Mangaravite) Date: Mon, 28 Jan 2019 10:36:59 +0100 Subject: Deadline Extension: Narrative Extraction from Texts (Text2Story'19@ECIR'19). Second International Workshop 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://bit.ly/text2story19 ****************************************************************************************** ++ Important Dates ++ *- Submission deadline: February 4th, 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 (UFMG; INESC TEC) ++ 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://bit.ly/text2story19 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 ijv at acm.org Mon Jan 28 10:36:59 2019 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Mon, 28 Jan 2019 10:36:59 +0100 Subject: 2nd Call for papers: DARe at LPNMR-19 Message-ID: * Apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at LPNMR 2019 Date: June 3 or 4 2019 (TBC) Philadelphia, USA *** Deadline: 19 March 2019 *** ============================== The Fifth International Workshop on "Defeasible and Ampliative Reasoning" (DARe) https://sites.google.com/view/dare-19/ collocated with LPNMR 2019 -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalisation of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypotheses in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms (conditionals), whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages (not counting the references). Please submit to: https://easychair.org/conferences/?conf=dare19 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ The 2015 proceedings are available at http://ceur-ws.org/Vol-1423/ The 2016 proceedings are available at http://ceur-ws.org/Vol-1626/ The 2017 proceedings are available at http://ceur-ws.org/Vol-1872/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. At least one co-author of each accepted paper must register for the workshop. Please check the LPNMR 2019 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 19 March 2019 - Notification to authors: 26 April 2019 - Camera ready version: 6 May 2019 - Workshop date: 3 or 4 June 2019 (to be confirmed) -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth, Cardiff University, UK - Giovanni Casini, University of Luxembourg - Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France -- Program Committee -- - Grigoris Antoniou, University of Huddersfield, UK - Ofer Arieli, Academic College of Tel-Aviv, Israel - Guillaume Aucher, University of Rennes 1 - INRIA, France - Christoph Beierle, FernUniversitaet Hagen, Germany - Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil - Alexander Bochman, Holon Institute of Technology, Israel - Arina Britz, Stellenbosch University, South Africa - James Delgrande, Simon Fraser University, Canada - Patrick Girard, University of Auckland, New Zealand - Andreas Herzig, IRIT CNRS, France - Aaron Hunter, British Columbia Institute of Technology, Canada - Souhila Kaci, Université Montpellier 2, France - Simon Kramer, SK-R&D, Switzerland - Michael Maher, University of New South Wales, Australia - João Marcos, Universidade Federal do Rio Grande do Norte, Brazil - Reka Markovich, Université du Luxembourg - Thomas Meyer, University of Cape Town, South Africa - Xavier Parent, Université du Luxembourg - Francois Schwarzentruber, ENS Rennes/IRISA, France - Sonja Smets, University of Amsterdam, The Netherlands - Umberto Straccia, CNR, Italy - Christian Straßer, Ruhr-Universitaet Bochum, Germany - Rafael Testa, University of Campinas, Brazil - Leon van der Torre, Université du Luxembourg - Heinrich Wansing, Ruhr-Universitaet Bochum, Germany - Renata Wassermann, Universidade de São Paulo, Brazil - Anna Zamansky, University of Haifa, Israel -- Further Information -- Please visit the workshop website (https://sites.google.com/view/dare-19/) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan Varzinczak CRIL, Univ. Artois & CNRS, France http://member.acm.org/~ijv Google scholar: http://tinyurl.com/varzinczak From J.M.Broersen at uu.nl Mon Jan 28 10:36:59 2019 From: J.M.Broersen at uu.nl (Jan Broersen) Date: Mon, 28 Jan 2019 10:36:59 +0100 Subject: Final Call for Participation Symposium on Responsible Intelligent Systems, Utrecht 11-13 February 2019 Message-ID: Symposium on Responsible Intelligent Systems: Concepts, Practices and Formal Models 11-13 February 2019, Utrecht, The Netherlands The final program can be found at: https://responsibleintelligentsystems.sites.uu.nl/final-conference/programme/ In this symposium we look back at some of the results of the REINS project on responsible intelligent systems and look forward at new routes of investigation for responsible AI in general. The starting point of the REINS project was to develop logic-based modelling techniques that enable responsibility checking of artificial agents. As the project progressed, that goal evolved into a more general objective to understand the concepts involved in the modelling of responsibility, and to find the formal models that characterize them. Formalization has been the main focus throughout the project, paving the way for a more precise and operationalizable understanding of the concepts involved in responsibility, machine ethics and deontic reasoning. We believe the symbolic methods that we use in our model driven approach are essential to the solution of the problem of coming to responsible AI, since responsibility is too abstract and precarious a notion to be learned through data-driven approaches. However, the interplay between model-driven and data-driven approaches is one of the new future directions we are interested in. For this final symposium of the project, we invite philosophers, logicians and specialists from concrete application areas of responsible intelligent systems (the military, the police). Registration is open at: https://responsibleintelligentsystems.sites.uu.nl/final-conference/registration/ - The REINS team -- ------- Jan Broersen ----------- Theoretical Philosophy Group - -www.uu.nl/hum/staff/JMBroersen ---- Utrecht University ------ ---- tel: +31 302532761 -------------- Janskerkhof 13 --------- ---- fax: +31 302534619 ------------- 3512 BL UTRECHT -------- -- From andreas.herzig at irit.fr Mon Jan 28 10:36:59 2019 From: andreas.herzig at irit.fr (Andreas HERZIG) Date: Mon, 28 Jan 2019 10:36:59 +0100 Subject: FroCoS 2019 call for papers Message-ID: FroCoS 2019 The 12th International Symposium on Frontiers of Combining Systems London, UK, September 4-6, 2019 Website: https://www.frocos2019.org Contact: chair at frocos2019.org Submission deadlines: 21 Apr 2019 (abstract), 24 Apr 2019 (paper) GENERAL INFORMATION The 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019) will take place in London. It will be hosted by the Department of Computer Science at the Middlesex University London, from 4 to 6 September 2019. FroCoS is the main international event for research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The first FroCoS symposium was held in Munich, Germany, in 1996. Initially held every two years, since 2004 it has been organized annually with alternate years forming part of IJCAR. If we also count the IJCAR editions, this year FroCoS celebrates its 20th edition. FroCoS 2019 will be co-located with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019). The two conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions. SCOPE OF CONFERENCE In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be usable in practice, these specialized systems must be combined with each other and integrated into general purpose systems. This has led to the development of techniques and methods for the combination and integration of dedicated formal systems, as well as for their modularization and analysis. FroCoS traditionally focuses on these types of research questions and activities. Like its predecessors, FroCoS 2019 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based methods and their practical use. Topics of interest for FroCoS 2019 include (but are not restricted to): * combinations of logics (such as higher-order, first-order, temporal, modal, description or other non-classical logics) * combination and integration methods in SAT and SMT solving * combination of decision procedures, satisfiability procedures, constraint solving techniques, or logical frameworks * combination of logics with probability and/or fuzzy measures * combinations and modularity in ontologies * integration of equational and other theories into deductive systems * hybrid methods for deduction, resolution and constraint propagation * hybrid systems in knowledge representation and natural language semantics * combined logics for distributed and multi-agent systems * logical aspects of combining and modularizing programs and specifications * integration of data structures into constraint logic programming and deduction * combinations and modularity in term rewriting * methods and techniques for the verification and analysis of information systems * methods and techniques for combining logical reasoning with machine learning SUBMISSION GUIDELINES The program committee seeks high-quality submissions describing original work, written in English, not overlapping with published or simultaneously submitted work to a journal or conference with archival proceedings. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. The page limit in Springer LNCS style is 16 pages in total, including references and figures. Any additional material (going beyond the page limit) can be included in a clearly marked appendix. This appendix will be read at the discretion of the committee, and must be removed for the camera-ready version. Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via EasyChair at https://easychair.org/conferences/?conf=frocos2019 For each accepted paper, at least one of the authors is required to attend the conference and present the work. Prospective authors must register a title and an abstract three days before the paper submission deadline. Formatting instructions and the LNCS style files can be obtained at http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines IMPORTANT DATES Abstract submission: 21 Apr 2019 Paper submission: 24 Apr 2019 Notification of paper decisions: 6 Jun 2019 Camera-ready papers due: 1 Jul 2019 FroCoS conference: 4-6 Sep 2019 PUBLICATION DETAILS The conference proceedings will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI/LNCS). BEST PAPER AWARD The program committee will select the FroCoS 2019 Best Paper, which will be awarded 500 Euros. The award will be presented at the conference. TRAVEL GRANTS FOR STUDENTS Some funding will be available to support students traveling to FroCoS 2019. More details will be given on the conference website in due time. PROGRAM COMMITTEE Carlos Areces, FaMAF - Universidad Nacional de Córdoba, Argentina Alessandro Artale , Free University of Bolzano-Bozen, Italy Franz Baader, TU Dresden, Germany Christoph Benzmüller, Free University of Berlin, Germany Jasmin Christian Blanchette, Vrije Universiteit Amsterdam, Netherlands Torben Braüner, Roskilde University, Denmark Clare Dixon, University of Liverpool, UK Marcelo Finger, University of São Paulo, Brazil Pascal Fontaine, LORIA, INRIA, University of Lorraine, France Didier Galmiche, LORIA, University of Lorraine, France Silvio Ghilardi, Università degli Studi di Milano, Italy Jürgen Giesl, RWTH Aachen, Germany Andreas Herzig, CNRS, IRIT, France Moa Johansson, Chalmers University, Sweden Jean Christoph Jung, University of Bremen, Germany Cezary Kaliszyk, University of Innsbruck, Austria Ekaterina Komendantskaya, Heriot-Watt University, UK Roman Kontchakov, Birkbeck, University of London, UK Alessio Lomuscio, Imperial College London, UK Assia Mahboubi, INRIA, France Stefan Mitsch, Carnegie Mellon University Cláudia Nalon, University of Brasília, Brazil Andrei Popescu, Middlesex University London, UK Silvio Ranise, Fondazione Bruno Kessler-Irst, Italy Christophe Ringeissen, LORIA-INRIA, France Philipp Rümmer, Uppsala University, Sweden Renate Schmidt, University of Manchester, UK Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany Christian Sternagel, University of Innsbruck, Austria Andrzej Szalas, Linköping University, Sweden Cesare Tinelli, University of Iowa, US Ashish Tiwari, SRI International, US Christoph Weidenbach, Max Planck Institute for Informatics, Germany PC CHAIRS Andreas Herzig, CNRS, IRIT, France Andrei Popescu, Middlesex University London, UK LOCAL ORGANIZATION COMMITTEE Kelly Androutsopoulos, Middlesex University London, UK Jaap Boender, Middlesex University London, UK Michele Bottone, Middlesex University London, UK Florian Kammueller, Middlesex University London, UK Rajagopal Nagarajan, Middlesex University London, UK Andrei Popescu, Middlesex University London, UK Franco Raimondi, Middlesex University London, UK LOCAL ORGANIZATION CHAIR Franco Raimondi, Middlesex University London, UK -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From andreas.herzig at irit.fr Wed Jan 30 23:20:02 2019 From: andreas.herzig at irit.fr (Andreas HERZIG) Date: Wed, 30 Jan 2019 23:20:02 +0100 Subject: FroCoS/TABLEAUX 2019 (London) joint call for workshops and tutorials -- extended deadline Message-ID: FroCoS 2019 The 12th International Symposium on Frontiers of Combining Systems and TABLEAUX 2019 The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods London, UK, September 3-6, 2019 Websites: https://www.frocos2019.org, https://www.tableaux2019.org Contact: chair at frocos2019.org, chair at tableaux2019.org Proposal submission deadline: 1 March 2019 FroCoS and TABLEAUX are two of the main conferences on the theory and application of logical systems. Their 2019 editions will be hosted by the Middlesex University in London, from 3 to 6 September 2019. In keeping with the tradition of the two events, we invite proposals for colocated workshops and tutorials on all topics related to logical reasoning: from theoretical aspects, to applications, to tools for interactive or automated reasoning. Workshops and tutorials can target the logical systems community in general, or alternatively focus on a particular system, recent theoretical development or application. Colocated events will take place on 2 and 3 September 2019 (before the start of the conference programs) and will be held on the same premises as the main conferences. Workshop/tutorial-only attendees will enjoy a significantly reduced registration fee. Detailed matters such as the paper submission and review process, or the publication of proceedings, are up to the organizers of individual events. All accepted workshops and tutorials will be expected to have their program ready by 10 August 2019. Proposals for workshops and tutorials should contain at least the following pieces of information: * name and contact details of the main organizer(s) * (if applicable) names of additional organizers * title and organizational style of event (tutorial, public workshop, project workshop, etc.) * preferred length of workshop (between half day and two days) * estimated number of attendees * short description of topic (up to one page) * (if applicable) pointers to previous editions of the workshop, or to similar events Proposals are invited to be submitted by email to chair at frocos2019.org and chair at tableaux2019.org, no later than 1 March 2019. Selected events will be notified by 9 March 2019. The workshop/tutorial selection committee consists of the FroCoS and TABLEAUX program chairs and the conference organizers. From blllne2 at unife.it Wed Jan 30 23:20:02 2019 From: blllne2 at unife.it (Elena Bellodi) Date: Wed, 30 Jan 2019 23:20:02 +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. Assistant Professor Machine Learning Research Group DE - Engineering Department University of Ferrara, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ggelfond at unomaha.edu Wed Jan 30 23:20:02 2019 From: ggelfond at unomaha.edu (Gregory Gelfond) Date: Wed, 30 Jan 2019 23:20:02 +0100 Subject: LPNMR 2019 Final Call for Papers ** DEADLINE EXTENSION ** Message-ID: Call for Papers --------------------------------------------------------------------------- 15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 https://sites.sju.edu/plw/lpnmr-2019/ Philadelphia, USA June 3-7, 2019 Part of the Philadelphia Logic Week 2019 https://sites.sju.edu/plw/ Co-located with Datalog 2.0 Workshop International Workshop on Bidirectional Transformations International Workshop on Theory and Practice of Provenance --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. This year's edition of the conference seeks to raise submissions devoted towards use of LPNMR techniques in emerging applications stemming from such areas as deep learning, robotics, cybersecurity, modeling cyberphysical systems, and human-aware AI. Aspects that have been studied in commonsense reasoning, inconsistency tolerance, and handling of dynamic knowledge appear essential in enabling these emerging applications to provide explanations and justifications of their outcomes. LPNMR 2019 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. INVITED SPEAKERS Esra Erdem, Sabanci University, Turkey Michael Gelfond, Texas Tech University, USA V.S. Subrahmanian, Dartmouth College, USA TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2019 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is enabled via the LPNMR 2019 Easychair site: https://easychair.org/conferences/?conf=lpnmr2019 Two best papers of general AI interest will be invited for rapid publication in the Artificial Intelligence Journal. Also, the journal Theory and Practice of Logic Programming will devote a special issue for a joint event of LPNMR/Datalog 2.0. Four to six papers will be selected for a rapid publication. An additional prize of 1000 EUR, sponsored by Springer, will be shared out among the best papers of the conference. In case of invited papers for a rapid publication in journals, there should be at least 30% new content compared to the published conference paper. The extra material should consist of extensions of the existing material such as proofs, further experimental results, and implementation details (some of which would appear as supplementary material). New results could be included too, if appropriate. Authors invited to submit to the special issue should confirm that such extra material is available. MULTIPLE SUBMISSION POLICY LPNMR 2019 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. COLOCATED EVENTS DATALOG 2.0 Workshop International Workshop on Bidirectional Transformations International Workshop on Theory and Practice of Provenance ASSOCIATED EVENTS LPNMR DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. WORKSHOPS - LPNMR 2019 will include specialized workshops to be held on June 3 and 4: * The 12th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) Organizers: Jorge Fandinno and Johannes K. Fichte * Causal Reasoning and Explanation in Logic Programming Organizers: Emily Leblanc, Joost Vennekens, Son Tran, Pedro Cabalar and, Jorge Fandino * The 5th International Workshop on Defeasible and Ampliative Reasoning (DARe) Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak * The 5th International Workshop on Grounding and Transformations for Theories with Variables (GTTV) Organizers: Antonius Weinzierl and Peter Schuller * The 3rd International Workshop on User-Oriented Logic Paradigms (IULP) Organizers: Stefan Ellmauthaler and Christos Rodosthenous * Workshop on the ASP Challenge 2019 (WAC 2019) Organizers: Carmine Dodaro, Christoph Redl, and Peter Schuller FURTHER INFORMATION WWW: https://sites.sju.edu/plw/lpnmr-2019/ Email: lpnmr2019 at easychair.org IMPORTANT DATES * Paper registration: February 5 *(UPDATED)* * Paper submission: February 12 *(UPDATED)* * Notification: March 17 *(UPDATED)* * Final versions due: April 2 VENUE Philadelphia, or the "City of Brotherly Love," is the sixth-largest city in the United States and once served as the nation's capital. Philadelphia is an active historical and cultural hub, and has been striving for excellence since 1776. The city's rich history of knowledge and academic prowess has never diminished as it continues to promote and foster higher education. Visitors can explore various attractions in and around Philadelphia, such as the Philadelphia Museum of Art, the Franklin Institute, the Barnes Foundation, the Reading Terminal Market, and much more. Located on the East Coast of the U.S., between New York City and Washington D.C., Philadelphia is easily reachable by air, train, and car. As a testament to Philadelphia's commitment to educational advancement, LPNMR 2019 will be held in one of the city's top colleges, Saint Joseph's University. Saint Joseph's campus is located at the outskirts of the city, in an area that features historic homes, green areas, and a quick connection to Philadelphia's Center City and Old City. GENERAL CHAIR Marcello Balduccini, Saint Joseph's University, USA PROGRAM CHAIRS Yuliya Lierler, University of Neraska at Omaha, USA Stefan Woltran, TU Wien, Austria PUBLICITY CHAIR Gregory Gelfond, University of Nebraska at Omaha, USA WORKSHOPS CHAIR Mario Alviano, University of Calabria, Italy DOCTORAL CONSORTIUM CHAIRS Fangkai Yang, MAANA Inc., USA Joerg Puehrer, TU Wien, Austria MARKETING CHAIRS Elizabeth Angelucci, Saint Joseph's University, USA Kelsey Neri, Saint Joseph's University, USA PROGRAM COMMITTEE Chitta Baral Arizona State University Bart Bogaerts Katholieke Universiteit Leuven Martin Brain University of Oxford Gerhard Brewka Leipzig University Pedro Cabalar Corunna University Francesco Calimeri University of Calabria Stefania Costantini Univ. di L'Aquila Marina De Vos University of Bath James Delgrande Simon Fraser University Agostino Dovier Univ. di Udine Thomas Eiter Vienna University of Technology Esra Erdem Sabanci University Wolfgang Faber Alpen-Adria-Universitat Klagenfurt Johannes K. Fichte TU Dresden Paul Fodor Stony Brook University Andrea Formisano Universita di Perugia, Italy Gerhard Friedrich Alpen-Adria-Universitat Klagenfurt Sarah Alice Gaggl TU Dresden Martin Gebser University of Potsdam Michael Gelfond Texas Tech University Giovanni Grasso University of Oxford Amelia Harrison The University of Texas at Austin Anthony Hunter University College London Giovambattista Ianni University of Calabria, Italy Daniela Inclezan Miami University Tomi Janhunen Aalto University Gabriele Kern-Isberner Technische Universitaet Dortmund Matthias Knorr Universidade NOVA de Lisboa Joohyung Lee Arizona State University Joao Leite Universidade NOVA de Lisboa Nicola Leone University of Calabria Vladimir Lifschitz University of Texas at Austin Fangzhen Lin Hong Kong University of Science and Technology Marco Maratea DIBRIS, University of Genova Thomas Meyer University of Cape Town and CAIR Alessandra Mileo Dublin City University Emilia Oikarinen Aalto University David Pearce Universidad Politecnica de Madrid Axel Polleres Vienna University of Economics and Business - WU Wien Enrico Pontelli New Mexico State University Christoph Redl Vienna University of Technology Francesco Ricca University of Calabria Orkunt Sabuncu TED University, Ankara Chiaki Sakama Wakayama University Torsten Schaub University of Potsdam Peter Schuller Vienna University of Technology Guillermo R. Simari Universidad del Sur in Bahia Blanca Mantas Simkus Vienna University of Technology Tran Cao Son New Mexico State University Theresa Swift NOVALINKS, Universidade Nova de Lisboa Eugenia Ternovska Simon Fraser University Daniele Theseider Dupre' Universita' del Piemonte Orientale Matthias Thimm Universitat Koblenz-Landau Hans Tompits Vienna University of Technology Mirek Truszczynski University of Kentucky Agustin Valverde Universidad de Malaga, Malaga, Spain Johannes P. Wallner Vienna University of Technology Kewen Wang Griffith University Yisong Wang Guizhou University Renata Wassermann University of Sao Paulo Antonius Weinzierl Vienna University of Technology Jia-Huai You University of Alberta Yuanlin Zhang Texas Tech University Yi Zhou University of Technology, Sydney From irdta at irdta.eu Wed Jan 30 23:20:02 2019 From: irdta at irdta.eu (IRDTA) Date: Wed, 30 Jan 2019 23:20:02 +0100 Subject: DeepLearn 2019: early registration February 2 Message-ID: DeepLearn 2019: early registration February 2*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2019   Warsaw, Poland   July 22-26, 2019   Co-organized by:   Institute of Computer Science, Polish Academy of Sciences   IRDTA – Brussels/London   http://deeplearn2019.irdta.eu/   ***************************************************************   SCOPE:   DeepLearn 2019 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 24 four-hour and a half courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, DeepLearn 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2019 will take place in Warsaw, whose historical Old Town was designated a UNESCO World Heritage Site. The venue will be:   tba   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES: (to be completed)   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences   Christopher Bishop (Microsoft Research Cambridge), [introductory] Introduction to the Key Concepts and Techniques of Machine Learning   Aaron Courville (University of Montréal), [introductory/intermediate] Deep Generative Models   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Armand Joulin)   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Navraj Pannu (GoDaddy), [introductory/intermediate] Deep Learning and Maximum Likelihood in Structural Biology   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing   Alex Smola (Amazon), tba   Sargur Srihari (University at Buffalo), [intermediate/advanced] Explainable Artificial Intelligence   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines   Alexey Svyatkovskiy (Princeton University), [introductory/intermediate] From Natural Language Processing to Machine Learning on Source Code   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Haixun Wang (WeWork), [intermediate] Abstractions, Concepts, and Machine Learning   Zhongfei Zhang (Binghamton University), tba   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by July 14, 2019.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 14, 2019.   EMPLOYER SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 14, 2019.   ORGANIZING COMMITTEE:   Łukasz Kobyliński (Warsaw, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://deeplearn2019.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Institute of Computer Science, Polish Academy of Sciences   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From C.Orasan at wlv.ac.uk Wed Jan 30 23:20:02 2019 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Wed, 30 Jan 2019 23:20:02 +0100 Subject: EM TTI: Call for applications for start date Sept 2019 Message-ID: ------------------------------------------------------------------- European Masters in Technology for Translation and Interpreting (EM TTI) Call for applications for start date Sept 2019 https://em-tti.eu/ ------------------------------------------------------------------- We invite applications for the new European Masters in Technology for Translation and Interpreting (EM TTI) with a start date of Sept 2019. The invitation is open for both European and non-European students. A number of 15 bursaries (3 for European students and 12 for non-European students) are available. These bursaries cover the tuition fees, living expenses and relocation costs. In addition to the 15 students with bursaries, we will also accept self-funded students. Information about the eligibility criteria, required documents and link to the application portal is available at: https://em-tti.eu/how-to-apply **Deadlines** - 1st March 2019 for candidates applying for a scholarship - 31st May 2019 for self-funding candidates **Key information about the programme** - 2 year masters programme - students have to obtain 120 ECTS: 60 ECTS from taught modules and 60 from dissertation - study in first year at one of the partner universities and in the second year at another one - two obligatory one month placements at associated partners, one each year; at least one of the placement is at a company - double degree - English is the main language of teaching, but given the nature of the programme, knowledge of additional languages is required **Partner universities** - University of Wolverhampton, UK - coordinator - University of Malaga, Spain - New Bulgarian University, Bulgaria The consortium is supported by a large number of associated partners who offer placements. More information about the programme is available at https://em-tti.eu For any questions please use the contact form from the website. -- Dr. Constantin Orasan Reader in Computational Linguistics Deputy Head of the Research Group in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton From a.kuncova at uu.nl Wed Jan 30 23:20:02 2019 From: a.kuncova at uu.nl (Alexandra Kuncova) Date: Wed, 30 Jan 2019 23:20:02 +0100 Subject: Call for Proposals: Conference 'Mathematical Ability', Utrecht (The Netherlands), 15-17 Apr 2019 Message-ID: =========================== Call for Proposals Conference ‘Mathematical Ability’ Date: April 15 - 17, 2019 Location: Utrecht University, Utrecht, The Netherlands (exact location TBD) *** Deadline: February 12, 2019 *** ============================ Conference ‘Mathematical Ability’ https://digtep.sites.uu.nl/2018/10/24/conference-on-mathematical-ability/ In most scientific disciplines, inquiries into mathematical cognition have focused on the end product of mathematical activity: what makes a mathematical statement true, and how do we acquire the knowledge that a mathematical statement is true? However, with recent E-approaches to cognition (Extended, Embodied, Embedded, Enactive, Enculturated cognition) on the rise, this focus is shifting towards the process of mathematical activity: what is it to have mathematical ability, and how do we acquire the knowledge how to do mathematics? These questions are informed by the various E-approaches to cognition: our bodies, our technology, our environment – both offline and online – our practices, our culture, our education, and our interactional history might all have some role to play in our mathematical ability and the development thereof. How mathematical cognition is shaped by these factors is a broad question that warrants an interdisciplinary approach. For this conference, we invite scholars from various fields, including but not limited to philosophy, logic, AI, cognitive (neuro)science, and education studies, to submit proposals (of 250 words) for short talks (30 minutes, plus 10 minutes Q&A) on the following questions: - What is it to do mathematics; what is it to have a mathematical ability; what is mathematical know-how? - How do children learn mathematics; how do they acquire mathematical know-how? - How can we capture, in a logical formalism, the ability to do mathematics? - What role does our body play in our mathematical ability and the development thereof? - How can we improve the methods by which embodied and embedded mathematical know-how is acquired, and can we design (digital) tools for this purpose? - How can interaction with digital tools improve mathematical abilities? Confirmed keynote speakers: - Dor Abrahamson, University of California, Berkeley, USA - Elizabeth de Freitas, Manchester Metropolitan University, Manchester, UK - Karim Zahidi, University of Antwerp, Antwerp, Belgium - Luis Radford, School of Education Sciences at Laurentian University in Ontario, Canada - Alfred Nordmann, Institut für Philosophie, Technische Universität Darmstadt, Germany - Valentin Goranko, Department of Philosophy, Stockholm University, Sweden To submit your proposal or to register for the conference, please go to the conference form . - The DigTEp team -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From conference at icdim.org Wed Jan 30 23:20:02 2019 From: conference at icdim.org (conference at icdim.org) Date: Wed, 30 Jan 2019 23:20:02 +0100 Subject: ICADIWT 2019 In-Reply-To: References: Message-ID: The Tenth International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2019) May 20-22, 2019, Casablanca, Morocco July 07-09, 2019 Luton, UK (www.socio.org.uk/icadiwt) The Tenth International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2019) is a forum for researchers to present the intensive and innovative research, ideas, developments and applications in the areas of Computer Communications, Communication networks, Communication Software Communication Technologies and Applications, and other related themes. This conference (ICADIWT Edition IX) will include presentations of contributed papers and state-of-the-art lectures by invited keynote speakers. Digital Technologies is embeeded in the research activiites of large number of people and it ensures the Ubiquitous reaching of more number of people in the recent years. Research in digital technologies has been carried out in many directions using various resources and tools and on the other side, the application issues are addressed by more volume of researchers not necessarily limited to information and computing technology. Thus the proposed conference series realize its value and potential and manifest the requirements in the form of the international conference. This edition will address the following outlined themes (but not limited to) Internet Communication Internet Technologies Web Applications Internet Software Data Access and Transmission Digital Communication Software Digital Networks Web Communication Interfaces Adaptive Systems Internet of Things Internet of breath Augmented Reality Databases and applications Web Systems Engineering Design Intelligent Agent systems Semantic Web Studies Adaptive Web applications and personalization Actuators and sensors Robotics and Machine Vision Vibration and noise control Smart cities and structures Control Automation Human-machine interfaces Real-time simulation Digital Technologies for Mechanical and other designs Publication and Indexing The accepted full papers will be published in the IOS series (Frontiers in Artificial Intelligence and Applications (FAIA))and submitted for inclusion in many indexes. Accepted full papers will be submitted for indexing to multiple abstract and indexing partners. The papers will be indexed in many databases as given at http://www.frontiersinai.com/?q=indexing The accepted papers will be published as a post-conference publication. During the conference, the pre-conference volume will be distributed. The previous ICADIWT proceedings ars indexed in Web of Science Honorary Chairs Jolanta Mizera-Pietraszko, (Opole University, Poland) Co-Chair Chafik Okar, ENSA, Hassan 1st University, Berrechid, Morocco. General Chairs Abdelali El Bouchti, Institute for Forecasting and Futuristics (I2F), FS, Hassan 2nd University, Casablanca, Morocco Program Chairs Yao-Liang Chung, National Taiwan Ocean University, Taiwan Ricardo Rodriguez Jorge, (Autonomous University of Ciudad Juarez, Mexico) Important Dates Submission of papers (Morocco/UK) March 01, 2019/April 01, 2019 Notification (Morocco/UK) April 01, 2019/May 01, 2019 Camera ready (Morocco/UK) May 01, 2019/June 01, 2019 Registration(Morocco/UK) May 01, 2019/June 01, 2019 Conference Dates (Morocco/UK) May 20-22, 2019/July 07-09, 2019 Paper Submission at http://www.socio.org.uk/icadiwt/paper-submission/ Contact: icadiwt at socio.org.uk or diwt at dirf.org ----------------------