- computational.science - lists.iccsa.org

CFP - Workshop on Causal Reasoning and Explanation in Logic Programming (CAUSAL 2021)
by Miguel Areias 03 Jun '21

03 Jun '21

========================================================================= CALL FOR PAPERS CAUSAL 2021: Workshop on Causal Reasoning and Explanation in Logic Programming https://sites.google.com/view/causal2021/ ========================================================================= A workshop of 37th International Conference on Logic Programming September 20-27, 2021 (the event will be virtual) ========================================================================= Important Dates *************** * Paper submission: July 17th 2021 * Notification: July 31st 2021 * Final Versions: August 15th 2021 * Workshop Date: TBA (in September 20-27, 2021) Overview ******** Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about causality and having the ability to explain causal mechanisms enables us to identify how an outcome of interest came to be and gives insight into how to bring about, or even prevent, similar outcomes in future scenarios. This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Diagnosis, Natural Language Processing and Understanding, Philosophy of Science). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry. Topics of interests include (but are not limited to): ***************************************************** * Modeling causal theories in logic programming * Formalization of types of causes: sufficient, necessary, actual, etc * Causality, temporal reasoning and action theories * Causality and counterfactual reasoning * Causality, learning and experimental design * Causality and probability * Causality and equivalence * Causality and ontology * Learning causal relations and information * Novel causal benchmarks * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explainable AI * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format, available at: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… The workshop invites submissions of two types: * Full papers not exceeding 13 pages (excluding references) * Extended abstracts not exceeding 3 pages (excluding references) Please submit your paper via EasyChair: https://easychair.org/conferences/?conf=causal2021 At least one co-author of each accepted paper must register for and attend the workshop. Please check the ICLP 2021 website (https://iclp2021.dcc.fc.up.pt/) for registration procedure and fees. We are planning to publish a special issue with selected workshop papers. Organizers ********** * Emily LeBlanc, US Naval Research Lab, USA (emily.leblanc(a)nrl.navy.mil) * Joost Vennekens, KU Leuven, Belgium * Tran Cao Son, New Mexico State University, USA * Pedro Cabalar, Corunna University, Spain * Jorge Fandiño, University of Nebraska at Omaha, USA * Marcello Balduccini, Saint Joseph's University, USA * Yuliya Lierler, University of Nebraska at Omaha, USA =========================================================================

1 0

Press Release - AEiC 2021, Ada-Europe Reliable Softw. Technol.
by Dirk.Craeynest＠cs.kuleuven.be 30 May '21

30 May '21

----------------------------------------------------------------------- FINAL Call for Participation *** UPDATED Program Summary *** 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021) 7-10 June 2021, Virtual Event www.ada-europe.org/conference2021 *** Check out tutorials! *** www.ada-europe.org/conference2021/tutorials.html *** Don't miss the thematic social events on Tuesday and Wednesday *** *** Full Program available on the conference web site *** *** Register now! *** #AEiC2021 #AdaEurope #AdaProgramming ----------------------------------------------------------------------- Press release: 25th Ada-Europe Int'l Conference on Reliable Software Technologies International experts meet in virtual conference hosted by Underline Santander, Spain (31 May 2021) - Ada-Europe together with the University of Cantabria, Spain organize from 7 to 10 June 2021 the 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021). The conference was initially scheduled to take place in Santander, Spain. According to the safety and sanitary measures under the COVID-19 pandemic, this year the conference will be a virtual event, hosted by Underline (https://underline.io) The event is in cooperation with the Ada Resource Association (ARA), and with ACM's Special Interest Groups on Ada (SIGAda), on Embedded Systems (SIGBED) and on Programming Languages (SIGPLAN). The Ada-Europe series of conferences has over the years become a leading international forum for providers, practitioners and researchers in reliable software technologies. These events highlight the increased relevance of Ada in general and in safety- and security-critical systems in particular, and provide a unique opportunity for interaction and collaboration between academics and industrial practitioners. This year's conference offers 5 tutorials, 3 keynotes, a technical program of 7 sessions with refereed papers, invited and industrial presentations, a work-in-progress session, an industrial exhibition and vendor presentations, and a social program. Five parallel tutorials are scheduled on Monday, targeting different audiences: - "Programming mobile robots with ROS2 and the RCLAda Ada client library", by Alejandro R. Mosteo; - "Introduction to the development of safety critical software", by Jean-Pierre Rosen; - "Parallel programming with Ada and OpenMP", by Sara Royuela, S. Tucker Taft, Luis Miguel Pinho; - "Timing verification from UML & MARTE design models: techniques & tools", by Laurent Rioux, Julio Medina and Shuai Li; - "Programming shared memory computers", by Jan Verschelde. Tutorial registration is complementary for conference participants. The industrial exhibition opens Tuesday under the Expo area in the virtual platform and also in the Lounge, which is the networking area. It runs until the end of Thursday afternoon. Exhibitors include AdaCore, PTC Developer Tools, and Ada-Europe. All conference participants are invited to the exhibition as well as to the virtual social events. Three eminent speakers have been invited to deliver a keynote at each of the core conference days: - Ángel Conde, Data Analytics and Artificial Intelligence team leader at IKERLAN (Spain), who will present his work on "Software reliability in the Big Data era with an industry-minded focus"; - Alfons Crespo, who is with the Institute of Automation and Industrial Informatics of the Universitat Politècnica de València (Spain), will give an answer to the question "Why hypervisor-based approach is the best alternative for mixed-criticality systems"; - Tucker Taft, who is Director of Language Research at AdaCore (USA), will talk on "A sampling of Ada 2022". The technical program from Tuesday to Thursday presents 13 refereed technical papers and 5 invited, 6 industrial and 4 vendor presentations in sessions on: - Scheduling and mixed-criticality systems, - Software modeling, - Autonomous systems, - Ada issues and Ravenscar, - Validation and verification tools, - Emerging applications with reliability requirements, - Safety challenges. In addition, there is a work-in-progress session including 8 presentations and associated posters. Peer-reviewed papers have been submitted to a special issue of the Journal of Systems Architecture and are heading towards final acceptance as open-access publications. Industrial and work-in-progress presentations, together with tutorial abstracts, will be offered publication in the Ada User Journal, the quarterly magazine of Ada-Europe. The social program is hosted in a space under the gather.town environment that allows informal and lively gathering of the participants. This space has different areas, such as rooms, tables, and corners where a participant can approach to talk though videoconferencing with participants in the same virtual area. This facility will be used for the breaks, poster session, exhibition and social events. Don't miss the thematic social events at the end of each core conference day. The Best Presentation Award will be offered during the Closing session. The full program is available on the conference web site. Online registration is still possible. ------- Latest updates: The "Final Program" is available at www.ada-europe.org/conference2021/final-program.pdf. Check out the tutorials in the PDF program, or in the schedule at www.ada-europe.org/conference2021/tutorials.html. Registration fees are lower than ever and the registration process is done on-line. Don't delay! For all details, select "Registration" at www.ada-europe.org/conference2021 or go directly to https://registration.ada-europe.org. The technical sessions are designed with the flipped-conference concept, where the audience can access pre-recorded presentation materials in advance. The live sessions are devoted to short presentations of the highlights of each contribution, allowing ample time for questions and answers with the presenter. The recorded materials will also be available for some time after their sessions. The program runs between 12:30 and 18:30 CEST, to allow participation from different time zones. For more info and latest updates see the conference web site at www.ada-europe.org/conference2021. AEiC 2021 is sponsored by AdaCore (www.adacore.com) Ellidiss (www.ellidiss.com) PTC Developer Tools (www.ptc.com/developer-tools) Universidad de Cantabria (web.unican.es/en), and Vector (www.vector.com/at/en) Help promote the conference by advertising it. Recommended Twitter hashtags: #AdaEurope and/or #AEiC2021. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, AEiC 2021 Publicity Chair (aka Ada-Europe 2021), Dirk.Craeynest(a)cs.kuleuven.be * 25th Ada-Europe Int. Conf. Reliable Software Technologies (AEiC 2021) * June 7-10, 2021 * online event * www.ada-europe.org/conference2021 **

1 0

SARL Agent Programming Language 0.12
by Stéphane Galland 28 May '21

28 May '21

Dear Colleagues. The version 0.12 of the SARL Agent Programming Language is release ( http://www.sarl.io) This language enables you to create an application with agent-oriented concepts, inspired by the ASPECS methodology and the CRIO metamodel. Changes are listed in: http://www.sarl.io/download/changes_0.12.html Have fun. Prof. Dr Stéphane GALLAND

1 0

Call For Short Papers - 37th International Conference on Logic Programming (ICLP 2021)
by Miguel Areias 26 May '21

26 May '21

========================================================================= CALL FOR SHORT PAPERS The 37th International Conference on Logic Programming (ICLP 2021) ========================================================================= We are pleased to announce our distinguished invited speakers. ** William W. Cohen, Google AI ** John Hooker, CMU ** Phokion Kolaitis, UC Santa Cruz and IBM Almaden ** Stuart Russell, UC Berkeley ** Jeffrey Ullman, Stanford University ========================================================================= Contributions are sought in all areas of logic programming, including but not restricted to: ** Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. ** Languages issues: Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming techniques. ** Programming support: Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. ** Implementation: Compilation, Virtual machines, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem proving, Argumentation, Probabilistic programming, Machine learning. ** Applications: Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cybersecurity, Robotics, Education. Important Dates *************** ** Short Paper Submission: July 4, 2021 ** Notification: July 30, 2021 ** Camera-ready copy due: August 10, 2021 ** Conference: September 20--27, 2021 Submission Details ****************** Expected submissions must follow the instructions: ** Short papers (7 pages in EPTCS format (http://info.eptcs.org/) including references) can describe published research. The accepted short papers that describe original and previously unpublished work will be published as technical communications, along with the selected ICLP technical communications papers. The accepted short papers that describe published research will be made available at the conference webpage, with the permission of the authors. All submissions must be written in English. Accepted technical communications will be presented during the conference. Authors of accepted technical communications will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Submissions will be done via EasyChair. The submission Web page for ICLP2021 is https://easychair.org/conferences/?conf=iclp2021 More details ************ https://iclp2021.dcc.fc.up.pt Any additional question can be directed towards ICLP Chairs: iclp2021(a)easychair.org =========================================================================

1 0

[SIGKDD Workshop on Mining and Learning from Time Series 2021]: Call for papers
by Sanjay Purushotham 25 May '21

25 May '21

CFP: 2021 SIGKDD Workshop on Mining and Learning from Time Series [apologies for cross-posting] CFP Webpage: https://kdd-milets.github.io/milets2021/#call* (Deadline: June 1, 2021)* -------------------------------------------------------------- 7th SIGKDD Workshop on Mining and Learning from Time Series (MiLeTS) 2021 Aug 14th, 2021 - KDD Virtual Conference https://kdd-milets.github.io/milets2021/ -------------------------------------------------------------- ---------------- KEY DATES ---------------- *Paper Submission Deadline: June 1, 2021, 11:59PM Alofi Time*Author Notification: June 28, 2021 Camera Ready Version: July 5, 2021 Workshop: August 14th, 2021 ------------------------------------------------- MiLeTS is the premier KDD workshop on Mining and Learning from Time Series. Time series data are ubiquitous. In domains as diverse as finance, entertainment, transportation, and health care, we observe a fundamental shift away from parsimonious, infrequent measurement to nearly continuous monitoring and recording. Rapid advances in diverse sensing technologies, ranging from remote sensors to wearables and social sensing, are generating rapid growth in the size and complexity of time series archives. Thus, although time series analysis has been studied extensively, its importance only continues to grow. What is more, modern time series data pose significant challenges to existing techniques (e.g., irregular sampling in hospital records and spatiotemporal structure in climate data). Finally, time series mining research is challenging and rewarding because it bridges a variety of disciplines and demands interdisciplinary solutions. Now is the time to discuss the next generation of temporal mining algorithms. The focus of MiLeTS workshop is to synergize the research in this area and discuss both new and open problems in time series analysis and mining. The solutions to these problems may be algorithmic, theoretical, statistical, or systems-based in nature. Further, MiLeTS emphasizes applications to high impact or relatively new domains, including but not limited to biology, health and medicine, climate and weather, road traffic, astronomy, and energy. The MiLeTS workshop will discuss a broad variety of topics related to time series, including: · Time series pattern mining and detection, representation, searching and indexing, classification, clustering, prediction, forecasting, and rule mining. · BIG time series data. · Hardware acceleration techniques using GPUs, FPGAs and special processors. · Online, high-speed learning and mining from streaming time series. · Uncertain time series mining. · Privacy preserving time series mining and learning. · Time series that are multivariate, high-dimensional, heterogeneous, etc., or that possess other atypical properties. · Time series with special structure: spatiotemporal (e.g., wind patterns at different locations), relational (e.g., patients with similar diseases), hierarchical, etc. · Time series with sparse or irregular sampling, non-random missing values, and special types of measurement noise or bias. · Time series analysis using less traditional approaches, such as deep learning and subspace clustering. · Applications to high impact or relatively new time series domains, such as health and medicine, road traffic, and air quality. · New, open, or unsolved problems in time series analysis and mining. ------------------------------ Submission Guidelines ------------------------------ Submissions should follow the SIGKDD formatting requirements and will be evaluated using the SIGKDD Research Track evaluation criteria. Preference will be given to papers that are reproducible, and authors are encouraged to share their data and code publicly whenever possible. Submissions are strongly recommended to be no more than 4 pages, excluding references or supplementary materials (all in a single pdf). The appropriateness of using additional pages over the recommended length will be judged by reviewers. All submissions must be in pdf format using the workshop template (latex, word). Submissions will be managed via the MiLeTS 2021 EasyChair website: https://easychair.org/conferences/?conf=milets2021. *Note on open problem submissions:* To promote new and innovative research on time series, we plan to accept a small number of high-quality manuscripts describing open problems in time series analysis and mining. Such papers should provide a clear, detailed description and analysis of a new or open problem that poses a significant challenge to existing techniques, as well as a thorough empirical investigation demonstrating that current methods are insufficient. *COVID-19 Time Series Analysis Special Track:* The COVID-19 pandemic is impacting almost everyone worldwide and is expected to have life-altering short and long-term effects. There are many potential applications of time series analysis and mining that can contribute to the understanding of this pandemic. We encourage the submission of high-quality manuscripts describing original problems, time-series datasets, and novel solutions for time series analysis and forecasting of COVID-19. The review process is single-round and double-blind (submission files have to be anonymized). Concurrent submissions to other journals and conferences are acceptable. Accepted papers will be presented as posters during the workshop and listed on the website. Besides, a small number of accepted papers will be selected to be presented as contributed talks. Any questions may be directed to the workshop e-mail address: kdd.milets(a)gmail.com. ----------------- KEY DATES ----------------- *Paper Submission Deadline: June 1, 2021, 11:59PM Alofi Time*Author Notification: June 28, 2021 Camera Ready Version: July 5, 2021 Workshop: August 14th, 2021 ------------------------------- Organizing Committee ------------------------------- Sanjay Purushotham University of Maryland, Baltimore County Yaguang Li Google Zhengping Che Didi Chuxing -------------------------- Steering Committee -------------------------- Eamonn Keogh University of California Riverside Yan Liu University of Southern California Abdullah Mueen University of New Mexico ------------- Contact: -------------- Any questions may be directed to the workshop e-mail address: kdd.milets(a)gmail.com.

1 0

Deadlines Approaching - IEEE International Conference on High Performance Computing, Data, and Analytics, HiPC 2021
by Sanmukh Kuppannagari 24 May '21

24 May '21

********************************************************************** We apologize if you received multiple copies of this email. Please feel free to distribute it to those who might be interested ********************************************************************** IEEE International Conference on High Performance Computing, Data, Analytics, and Data Science, HiPC 2021: Deadlines Approaching Abstract Submission Deadline: 4 June, 2021 Paper Submission Deadline: 11 June, 2021 For more details, please visit: https://hipc.org/call-for-papers/

1 0

CFP - 17th Doctoral Consortium (DC) on Logic Programming (ICLP-DC 2021)
by Miguel Areias 21 May '21

21 May '21

========================================================================= CALL FOR PAPERS ICLP DC 2021 - 17th Doctoral Consortium (DC) on Logic Programming ========================================================================= The 17th Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. The preliminary website of the DC can be found at: https://sites.google.com/view/iclp-dc-2021/iclp-2021-doctoral-consortium The DC will take place during the 37th International Conference on Logic Programming (ICLP) https://iclp2021.dcc.fc.up.pt (September 20-27, 2021), as a fully virtual event. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. Important Dates *************** Paper submission: July 15, 2021 Notification: August 01, 2021 Camera-ready copy: August 10, 2021 DC presentations: TBA (fully virtual event) DC students are highly recommended to attend the Autumn School on Logic Programming and Constraint Programming (https://sites.google.com/view/iclp-dc-2021/autumn-school-on-logic-programmi…) 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. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): ** Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. ** Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. ** Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. ** Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. ** Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will also 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. Discussants *********** Renowned experts and researchers in the fields of logic and constraint programming will join in evaluating submissions and will participate in the DC, providing valuable feedback to DC participants. Goals ***** ** To provide doctoral students working in the fields of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback. ** To provide students with relevant information about important issues for doctoral candidates and future academics. ** To develop a supportive community of scholars and a spirit of collaborative research. ** To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. Submission Details ****************** Submissions of the research summary must be made in EPTCS format (http://info.eptcs.org/) and submitted via EasyChair. All papers must be written in English and should be between 5 and 10 pages. For all accepted DC papers, the student is required to attend the DC program and give a presentation during the DC. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees. The submission package should consist of the research summary in the format mentioned above, a short vita or cover letter of the applicant, a letter of recommendation from applicant's faculty advisor, and one paragraph statement outlining how the school will benefit the applicant. All material is to be submitted electronically, in PDF format on the Easychair system. Easychair link: https://easychair.org/conferences/?conf=iclp2021 (Doctoral Consortium track) Research summary (make sure to include your complete name, address, and affiliation): The body of your research summary (no more than 10 pages, but 5 is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include the following sections: ** Introduction and problem description ** Background and overview of the existing literature ** Goal of the research ** Current status of the research ** Preliminary results accomplished (if any) ** Open issues and expected achievements ** Bibliographical references Review Criteria *************** The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. Registration ************ Registration is part of the ICLP 2021 registration. Registration costs for ICLP will be lower than usual since it is virtual this year. We aim to find sponsoring to cover the registration cost of students participating in the DC, but this still has to be confirmed. Program co-chairs ***************** Bart Bogaerts, Vrije Universiteit Brussel Carmine Dodaro, University of Calabria Program Committee ***************** Daniela Inclezan, Miami University OH Johannes Fichte, TU Dresden Fabio Fioravanti, University of Chieti-Pescara Gregory Gelfond, University of Nebraska at Omaha Zeynep G. Saribatur, Vienna University of Technology Frank Valencia, LIX, Ecole Polytechnique Matthias Van der Hallen, KU Leuven Yi Wang, Arizona State University Jessica Zangari, University of Calabria

1 0

CFP: Resilience@Euro-Par 2021 - Papers due June 14 (2nd extension)
by Thomas Naughton 18 May '21

18 May '21

14th Workshop on Resiliency in High Performance Computing (Resilience) in Clusters, Clouds, and Grids <https://www.csm.ornl.gov/srt/conferences/Resilience/2021> in conjunction with the 27th International European Conference on Parallel and Distributed Computing (Euro-Par), Lisbon, Portugal August 30 - September 3, 2021 <http://2021.euro-par.org> Overview: Resilience is a critical challenge as high performance computing (HPC) systems continue to increase component counts, individual component reliability decreases (such as due to shrinking process technology and near-threshold voltage (NTV) operation), hardware complexity increases (such as due to heterogeneous computing) and software complexity increases (such as due to complex data- and workflows, real-time requirements and integration of artificial intelligence (AI) technologies with traditional applications). Correctness and execution efficiency, in spite of faults, errors, and failures, is essential to ensure the success of the HPC systems, cluster computing environments, Grid computing infrastructures, and Cloud computing services. The impact of faults, errors, and failures in such HPC systems can range from financial losses due to system downtime (sometimes several tens-of-thousands of Dollars per lost system-hour), to financial losses due to unnecessary overprovision (acquisition and operating costs), to financial losses and legal liabilities due to erroneous or delayed output. The emergence of AI technology opens up new possibilities, but also new problems. Using AI technology for operational intelligence that enables resilience in HPC systems and centers is a complex control problem, while designing resilient AI technology for HPC applications is a difficult algorithmic problem. Resilience for HPC systems encompasses a wide spectrum of fundamental and applied research and development, including theoretical foundations, error/failure and anomaly detection, monitoring and control, end-to-end data integrity, enabling infrastructure, and resilient algorithms. This workshop brings together experts in the community to further research and development in HPC resilience and to facilitate exchanges across the computational paradigms of extreme-scale HPC, cluster computing, Grid computing, and Cloud computing. Submission Guidelines: Authors are invited to submit papers electronically in English in PDF format. Submitted manuscripts should be structured as technical papers and BETWEEN 10 AND 12 PAGES, including figures, tables and references, using Springer's Lecture Notes in Computer Science (LNCS) format at <http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>. Papers with less than 10 or more than 12 pages will not be accepted due to publisher guidelines. Submissions should include abstract, key words and the e-mail address of the corresponding author. Papers not conforming to these guidelines may be returned without review. All manuscripts will be reviewed and will be judged on correctness, originality, technical strength, significance, quality of presentation, and interest and relevance to the conference attendees. Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date or not appropriately structured may also not be considered. The proceedings will be published in Springer's LNCS as post-conference proceedings. At least one author of an accepted paper must register for and attend the workshop for inclusion in the proceedings. Authors may contact the workshop program chairs for more information. Important websites: - Resilience 2021 Website: <https://www.csm.ornl.gov/srt/conferences/Resilience/2021> - Resilience 2021 Submissions: <https://easychair.org/conferences/?conf=europar2021> (Select "WS06" Track) - Euro-Par 2021 website: <http://2021.euro-par.org> Topics of interest include, but are not limited to: - Theoretical foundations for resilience: - Metrics and measurement - Statistics and optimization - Simulation and emulation - Formal methods - Efficiency modeling and uncertainty quantification - Experience reports - Error/failure/anomaly detection and reliability/dependability modeling: - Statistical analyses - Machine learning and artificial intelligence - Digital twins - Data collection and aggregation - Information visualization - Monitoring and control for resilience: - Center, system and application monitoring and control - Reliability, availability, serviceability and performability - Tunable fidelity and quality of service - Automated response and recovery - Operational intelligence to enable resilience - End-to-end integrity: - Fault tolerant design of centers, systems and applications - Forward migration and verification - Degraded operation - Error propagation, failure cascades, and error/failure containment - Testing and evaluation, including fault/error/failure injection - Enabling infrastructure for resilience: - Reliability, availability, serviceability systems - System software and middleware - Resilience extensions for programming models - Tools and frameworks - Support for resilience in heterogeneous architectures - Resilient algorithms: - Algorithmic detection and correction - Resilient solvers and algorithm-based fault tolerance - Fault tolerant numerical methods - Robust iterative algorithms - Resilient artificial intelligence Important Dates: - Workshop papers due: June 14, 2021 (23:59 AoE) [2nd Extension] - Workshop author notification: June 30, 2021 - Workshop author registration: TBD - Workshop paper (for informal workshop proceedings, due in EasyChair): July 14, 2021 - Workshop date: August 30 or 31, 2021 - Workshop camera-ready papers: September 10, 2021 General Co-Chairs: - Stephen L. Scott Tennessee Tech University, USA scottsl(a)ornl.gov - Christian Engelmann Oak Ridge National Laboratory , USA engelmannc(a)ornl.gov Program Co-Chairs: - Ferrol Aderholdt Middle Tennessee State University, USA ferrol.aderholdt(a)mtsu.edu - Thomas Naughton Oak Ridge National Laboratory , USA naughtont(a)ornl.gov Workshop Chair Emeritus: - Chokchai (Box) Leangsuksun Louisiana Tech University, USA box(a)latech.edu Program Committee: - Wesley Bland, Intel Corporation, USA - Hans-Joachim Bungartz, Technical University of Munich, Germany - Marc Casas, Barcelona Supercomputer Center, Spain - Zizhong Chen, University of California at Riverside, USA - James Elliott, Sandia National Laboratories, USA - Kurt Ferreira, Sandia National Laboratories, USA - Saurabh Hukerikar, NVIDIA, USA - Ignacio Laguna, Lawrence Livermore National Laboratory, USA - Scott Levy, Sandia National Laboratories, USA - Rolf Riesen, Intel Corporation, USA - Yves Robert, ENS Lyon, France - Thomas Ropars, Universite Grenoble Alpes, France - Martin Schulz, Technical University of Munich, Germany - Keita Teranishi, Sandia National Laboratories, USA _________________________________________________________________________ Thomas Naughton naughtont(a)ornl.gov Research Associate (865) 576-4184

1 0

Live e-Lecture by Prof. John Shawe-Taylor: “An Introduction to PAC-Bayesian Analysis”, 18th May 2021 17:00-18:00 CET. Upcoming AIDA AI excellence lectures
by Ioanna Koroni 12 May '21

12 May '21

Dear AI scientist/engineer/student/enthusiast, Prof. John Shawe-Taylor (University College London, UK), a prominent AI researcher internationally, will deliver the e-lecture: ‘An Introduction to PAC-Bayesian Analysis’, on Tuesday 18th May 2021 17:00-18:00 CET (8:00-9:00 am PST), (12:00 am-1:00am CST), see details in: <http://www.i-aida.org/ai-lectures/> http://www.i-aida.org/ai-lectures/ You can join for free using the zoom link: <https://authgr.zoom.us/j/98708421450> https://authgr.zoom.us/j/98708421450 & Passcode: 148148 The <http://www.i-aida.org/> International AI Doctoral Academy (AIDA), a joint initiative of the European R&D projects <https://ai4media.eu/> AI4Media, <https://www.elise-ai.eu/> ELISE, <https://www.humane-ai.eu/> Humane AI Net, <https://tailor-network.eu/> TAILOR, <https://www.vision4ai.eu/> VISION, currently in the process of formation, is very pleased to offer you top quality scientific lectures on several current hot AI topics. Lectures will be offered alternatingly by: Top highly-cited senior AI scientists internationally or Young AI scientists with promise of excellence (AI sprint lectures) Lectures are typically held once per week, Tuesdays 17:00-18:00 CET (8:00-9:00 am PST), (12:00 am-1:00am CST). Attendance is free. These lectures are disseminated through multiple channels and email lists (we apologize if you received it through various channels). If you want to stay informed on future lectures, you can register in the email lists <https://lists.auth.gr/sympa/info/aida> AIDA email list and <https://lists.auth.gr/sympa/info/cvml> CVML email list. Best regards Profs. M. Chetouani, P. Flach, B. O’Sullivan, I. Pitas, N. Sebe -- This email has been checked for viruses by Avast antivirus software. https://www.avast.com/antivirus

1 0

[SIGKDD Workshop on Mining and Learning from Time Series 2021]: Call for papers
by Sanjay Purushotham 11 May '21

11 May '21

Dear colleagues and researchers, CFP Webpage: https://kdd-milets.github.io/milets2021/#call -------------------------------------------------------------- *7th SIGKDD Workshop on Mining and Learning from Time Series (MiLeTS) 2021Aug 14th, 2021 - KDD Virtual Conference* https://kdd-milets.github.io/milets2021/ -------------------------------------------------------------- ---------------- KEY DATES ---------------- *Paper Submission Deadline: May 20th, 2021, 11:59PM Alofi Time* Author Notification: June 10th, 2021 Camera Ready Version: June 24th, 2021 Workshop: August 14th, 2021 ------------------------------------------------- MiLeTS is the premier KDD workshop on Mining and Learning from Time Series. Time series data are ubiquitous. In domains as diverse as finance, entertainment, transportation, and health care, we observe a fundamental shift away from parsimonious, infrequent measurement to nearly continuous monitoring and recording. Rapid advances in diverse sensing technologies, ranging from remote sensors to wearables and social sensing, are generating rapid growth in the size and complexity of time series archives. Thus, although time series analysis has been studied extensively, its importance only continues to grow. What is more, modern time series data pose significant challenges to existing techniques (e.g., irregular sampling in hospital records and spatiotemporal structure in climate data). Finally, time series mining research is challenging and rewarding because it bridges a variety of disciplines and demands interdisciplinary solutions. Now is the time to discuss the next generation of temporal mining algorithms. The focus of MiLeTS workshop is to synergize the research in this area and discuss both new and open problems in time series analysis and mining. The solutions to these problems may be algorithmic, theoretical, statistical, or systems-based in nature. Further, MiLeTS emphasizes applications to high impact or relatively new domains, including but not limited to biology, health and medicine, climate and weather, road traffic, astronomy, and energy. The MiLeTS workshop will discuss a broad variety of topics related to time series, including: · Time series pattern mining and detection, representation, searching and indexing, classification, clustering, prediction, forecasting, and rule mining. · BIG time series data. · Hardware acceleration techniques using GPUs, FPGAs and special processors. · Online, high-speed learning and mining from streaming time series. · Uncertain time series mining. · Privacy preserving time series mining and learning. · Time series that are multivariate, high-dimensional, heterogeneous, etc., or that possess other atypical properties. · Time series with special structure: spatiotemporal (e.g., wind patterns at different locations), relational (e.g., patients with similar diseases), hierarchical, etc. · Time series with sparse or irregular sampling, non-random missing values, and special types of measurement noise or bias. · Time series analysis using less traditional approaches, such as deep learning and subspace clustering. · Applications to high impact or relatively new time series domains, such as health and medicine, road traffic, and air quality. · New, open, or unsolved problems in time series analysis and mining. ------------------------------ Submission Guidelines ------------------------------ Submissions should follow the SIGKDD formatting requirements and will be evaluated using the SIGKDD Research Track evaluation criteria. Preference will be given to papers that are reproducible, and authors are encouraged to share their data and code publicly whenever possible. Submissions are strongly recommended to be no more than 4 pages, excluding references or supplementary materials (all in a single pdf). The appropriateness of using additional pages over the recommended length will be judged by reviewers. All submissions must be in pdf format using the workshop template (latex, word). Submissions will be managed via the MiLeTS 2021 EasyChair website: https://easychair.org/conferences/?conf=milets2021. *Note on open problem submissions:* To promote new and innovative research on time series, we plan to accept a small number of high-quality manuscripts describing open problems in time series analysis and mining. Such papers should provide a clear, detailed description and analysis of a new or open problem that poses a significant challenge to existing techniques, as well as a thorough empirical investigation demonstrating that current methods are insufficient. *COVID-19 Time Series Analysis Special Track:* The COVID-19 pandemic is impacting almost everyone worldwide and is expected to have life-altering short and long-term effects. There are many potential applications of time series analysis and mining that can contribute to the understanding of this pandemic. We encourage the submission of high-quality manuscripts describing original problems, time-series datasets, and novel solutions for time series analysis and forecasting of COVID-19. The review process is single-round and double-blind (submission files have to be anonymized). Concurrent submissions to other journals and conferences are acceptable. Accepted papers will be presented as posters during the workshop and listed on the website. Besides, a small number of accepted papers will be selected to be presented as contributed talks. Any questions may be directed to the workshop e-mail address: kdd.milets(a)gmail.com. ----------------- KEY DATES ----------------- *Paper Submission Deadline: May 20th, 2021, 11:59PM Alofi Time* Author Notification: June 10th, 2021 Camera Ready Version: June 24th, 2021 Workshop: August 14th, 2021 ------------------------------- Organizing Committee ------------------------------- Sanjay Purushotham University of Maryland, Baltimore County Yaguang Li Google Zhengping Che Didi Chuxing -------------------------- Steering Committee -------------------------- Eamonn Keogh University of California Riverside Yan Liu University of Southern California Abdullah Mueen University of New Mexico ------------- Contact: -------------- Any questions may be directed to the workshop e-mail address: kdd.milets(a)gmail.com.

1 0