- computational.science - lists.iccsa.org

Research Opportunity: AI/ML for anomaly detection and metric forecasting in data center operations
by Tommaso Cucinotta 13 Jun '21

13 Jun '21

Dear all, Scuola Superiore Sant'Anna in Pisa (Italy) is offering 2 yearly (renewable) research associate positions in the area of "Artificial Intelligence and Machine Learning supporting anomaly detection and metric forecasting in data center operations", an industrial research project funded by the Vodafone network operator. In the context of this collaboration, software-based solutions embedding appropriate AI/ML techniques are being engineered to be connected to the data processing pipeline supporting operations within the Vodafone network. The realized components need to be inherently scalable leveraging on cloud computing technologies, having to process data coming from NFV data centers across 12 EU member countries. The resulting system will constitute a valuable element in the decision making process within the Vodafone /Network Virtual Infrastructure Design team/ for operations dealing with resource management, capacity planning and performance troubleshooting. The results of the research are expected to be published in the form of patents and scientific publications at relevant international venues. More information about the project is available at: English: https://www.santannapisa.it/en/news/artificial-intelligence-telecommunicati… Italian: https://www.santannapisa.it/it/news/intelligenza-artificiale-e-telecomunica… Additional information is also available at: https://www.linkedin.com/pulse/two-research-positions-ai-nfv-scuola-superio… The call for applications (due on July, 19th 2021) is available at: English: https://www.santannapisa.it/en/assegni-di-ricerca-e-selezioni/institute-com… Italian: https://www.santannapisa.it/it/assegni-di-ricerca-e-selezioni/istituto-di-t… Should you need further information, don't hesitate to write me. Feel free to forward this message to potentially interested colleagues. Thanks and regards, Tommaso Cucinotta -- Tommaso Cucinotta, Associate Professor in Computer Engineering, PhD Head of the Real-Time Systems Laboratory (ReTiS) Scuola Superiore Sant'Anna, Pisa, Italy http://retis.sssup.it/people/tommaso

1 0

[High Performance Computing] Become a specialist!
by Master in HPC 11 Jun '21

11 Jun '21

1 0

Deadlines Extended - IEEE International Conference on High Performance Computing, Data, and Analytics, HiPC 2021
by Sanmukh Kuppannagari 07 Jun '21

07 Jun '21

********************************************************************** We apologize if you received multiple copies of this email. Please feel free to distribute it to those who might be interested ********************************************************************** Paper submission deadlines for the IEEE International Conference on High Performance Computing, Data, Analytics, and Data Science, HiPC 2021 have been extended. Please note that the updated deadlines are hard deadlines and no further extension will be granted. Abstract Submission Deadline: 8 July, 2021 Paper Submission Deadline: 16 July, 2021 (hard deadline) The updated Call for Papers follows below. The same can be downloaded from: https://hipc.org/call-for-papers/ Regards, Sanmukh Kuppannagari Senior Research Associate University of Southern California https://sanmukh.github.io/ HiPC 2021 CALL FOR PAPERS 28th IEEE International Conference on High Performance Computing, Data, and Analytics 17–20 December 2021 in Bangalore, India PROGRAM CHAIRS HPC: Ana Lucia Varbanescu, University of Amsterdam, The Netherlands (a.l.varbanescu(a)uva.nl) Data Science: Yogesh Simmhan, Indian Institute of Science, India (simmhan(a)iisc.ac.in) PROGRAM VICE-CHAIRS HPC TRACKS Algorithms: Sanjukta Bhowmick, University of North Texas, USA Applications: Abhinav Bhatele, University of Maryland, USA Architecture: Michela Becchi, North Carolina State University, USA System Software: Sathish Vadhiyar, Indian Institute of Science, India DATA SCIENCE TRACKS Scalable Algorithms and Analytics: Zeyi Wen, University of Western Australia, Australia Scalable Systems and Software: Min Si, Argonne National Laboratory, USA HiPC 2021 will be the 28th edition of the IEEE International Conference on High Performance Computing, Data, Analytics, and Data Science. HiPC serves as a forum to present current work by researchers from around the world as well as highlight activities in Asia in the areas of high performance computing and data science. The meeting focuses on all aspects of high performance computing systems, and data science and analytics, and their scientific, engineering, and commercial applications. Authors are invited to submit original unpublished research manuscripts that demonstrate current research in all areas of high performance computing, and data science and analytics, covering all traditional areas and emerging topics including from machine learning, big data analytics and blockchain. Each submission should be submitted to one of the six tracks listed under the two broad themes of High Performance Computing and Data Science. Up to two best paper awards will be given for outstanding contributed papers. HIGH PERFORMANCE COMPUTING Algorithms. This track invites papers that describe original research on developing new parallel and distributed computing algorithms, and related advances. Examples of topics that are of interest include (but not limited to): * New parallel and distributed algorithms and design techniques; * Advances in enhancing algorithmic properties or providing guarantees (e.g., fault tolerance, resilience, concurrency, data locality, communication-avoiding); * Algorithmic techniques for resource allocation and optimization (e.g., scheduling, load balancing, resource management); * Provably efficient parallel and distributed algorithms for advanced scientific computing and irregular applications (e.g., numerical linear algebra, graph algorithms, computational biology); * Classical and emerging computation models (e.g., parallel/distributed models, quantum computing, neuromorphic and other bioinspired models). Architecture. This track invites papers that describe original research on the design and evaluation of high performance computing architectures, and related advances. Examples of topics of interest include (but not limited to): * High performance processing architectures (e.g., reconfigurable, system-on-chip, many cores, vector processors); * Networks for high performance computing platforms (e.g., interconnect topologies, network-on-chip); * Memory, cache and storage architectures (e.g., 3D, photonic, Processing-In-Memory, NVRAM, burst buffers, parallel I/O); * Approaches to improve architectural properties (e.g., energy/power efficiency, reconfigurable, resilience/fault tolerance, security/privacy); * Emerging computational architectures (e.g., quantum computing, neuromorphic and other bioinspired architectures). Applications. This track invites papers that describe original research on the design and implementation of scalable and high performance applications for execution on parallel, distributed and accelerated platforms, and related advances. Examples of topics of interest include (but not limited to): * Shared and distributed memory parallel applications (e.g., scientific computing, simulation and visualization applications, graph and irregular applications, data-intensive applications, science/engineering/industry applications, emerging applications in IoT and life sciences, etc.); * Methods, algorithms, and optimizations for scaling applications on peta- and exa-scale platforms (e.g., co-design of hardware and software, heterogeneous and hybrid programming); * Hardware acceleration of parallel applications (e.g., GPUs, FPGA, vector processors, manycore); * Application benchmarks and workloads for parallel and distributed platforms. Systems Software. This track invites papers that describe original research on the design, implementation, and evaluation of systems software for high performance computing platforms, and related advances. Examples of topics of interest include (but not limited to): * Scalable systems and software architectures for high-performance computing (e.g., middleware, operating systems, I/O services); * Techniques to enhance parallel performance (e.g., compiler/runtime optimization, learning from application traces, profiling); * Techniques to enhance parallel application development and productivity (e.g., Domain-Specific Languages, programming environments, performance/correctness checking and debugging); * Techniques to deal with uncertainties, hardware/software resilience, and fault tolerance; * Software for cloud, data center, and exascale platforms (e.g., middleware tools, schedulers, resource allocation, data migration, load balancing); * Software and programming paradigms for heterogeneous platforms (e.g., libraries for CPU/GPU, multi-GPU clusters, and other accelerator platforms). SCALABLE DATA SCIENCE Scalable Algorithms and Analytics. This track invites papers that describe original research on developing scalable algorithms for data analysis at scale, and related advances. Examples of topics of interest include (but not limited to): * New scalable algorithms for fundamental data analysis tasks (supervised, unsupervised learning, and pattern discovery); * Scalable algorithms that are designed to address the characteristics of different data sources and settings (e.g., graphs, social networks, sequences, data streams); * Scalable algorithms and techniques to reduce the complexity of large-scale data (e.g., streaming, sublinear data structures, summarization, compressive analytics); * Scalable algorithms that are designed to address requirements in different data-driven application domains (e.g., life sciences, business, agriculture); * Scalable algorithms that ensure the transparency and fairness of the analysis; * Case studies, experimental studies, and benchmarks for scalable algorithms and analytics; * Scaling and accelerating machine learning, deep learning, and computer vision applications. Scalable Systems and Software. This track invites papers that describe original research on developing scalable systems and software for handling data at scale and related advances. Examples of topics of interest include (but not limited to): * New parallel and distributed algorithms and design techniques; * Design of scalable system software to support various applications (e.g., recommendation systems, web search, crowdsourcing applications, streaming applications) * Scalable system software for various architectures (e.g., OpenPower, GPUs, FPGAs). * Architectures and systems software to support various operations in large data frameworks (e.g., storage, retrieval, automated workflows, data organization, visualization, visual analytics, human-in-the-loop); * Systems software for distributed data frameworks (e.g., distributed file system, virtualization, cloud services, resource optimization, scheduling); * Standards and protocols for enhancing various aspects of data analytics (e.g., open data standards, privacy-preserving, and secure schemes). IMPORTANT DATES Abstract Submission Deadline: 8 July, 2021 Paper Submission Deadline: 16 July, 2021 (hard deadline) Notification of Initial Decisions: 27 September, 2021 Deadline for Revised Submission: 18 October, 2021 Notification of Final Decisions: 25 October, 2021 Camera Ready Due (for all accepted papers): 7 November, 2021 MANUSCRIPT AND SUBMISSION GUIDELINES Abstracts of no more than 300 words must be submitted by the abstract submission deadline. The title and abstract submitted by this deadline should have sufficient detail and not just be a placeholder. Submitted manuscripts should be structured as technical papers and may not exceed ten (10) single-spaced double-column pages using 10-point size font on 8.5×11 inch pages (IEEE conference style), including figures, tables, and references. The submitted paper should list the authors and their affiliations. The IEEE conference style templates for MS Word and LaTeX provided by IEEE eXpress Conference Publishing are available for download. See the latest versions here. Electronic submissions must be in the form of a readable PDF file. 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, exceeding length limit, or not appropriately structured may also not be considered. Papers must be submitted under one of the 6 technical tracks listed above. The topics listed under each track are representative, but not exhaustive. A published proceeding will be available at the conference. Authors may contact the Program Chair at the email address above for further information or clarification. At least one author of each paper must be registered for the conference in order for the paper to be published in the proceedings. Presentation of an accepted paper in person is a requirement of publication for a physical conference. Depending on how the COVID-19 pandemic situation evolves, the presentation may be in person or in a virtual format. Details of these will be specified at the time of paper acceptance.[a] Any paper not meeting requirements will not be included in the conference proceedings under IEEE Xplore. Authors of selected high-quality papers in HiPC 2021 will be invited to submit extended versions of their papers for possible publication in a special issue of the Journal of Parallel and Distributed Computing. Submit your paper: https://easychair.org/conferences/?conf=hipc2021. REVIEW PROCESS All manuscripts will be reviewed by the Program Committee and evaluated on originality, relevance of the problem to the conference theme, technical strength, rigor in analysis, quality of results, and organization and clarity of presentation of the paper. Authors are highly encouraged to list the key contributions of their paper, for example in a separate paragraph in the introduction of the paper. The review process is “single-blind” (i.e., authors can list their names on the paper), and that there will be a rebuttal period. The initial decision for the submission may be Accept, Reject or Revise. Papers that are recommended for revision will have to address the comments from the reviewers, and submit a revised article along with a summary of changes. This will go through a light review and the final decision will be communicated.

1 0

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

07 Jun '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

CFP - Workshop on Probabilistic Logic Programming (PLP 2021)
by Miguel Areias 07 Jun '21

07 Jun '21

========================================================================= CALL FOR PAPERS PLP 2021: The Eighth Workshop on Probabilistic Logic Programming http://stoics.org.uk/plp/plp2021 ========================================================================= A workshop of 37th International Conference on Logic Programming September 20-27, 2021 (the event will be virtual) ========================================================================= ** Deadline for submissions: August 1st 2021 Overview ******** Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus breaking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software This list is by no means exhaustive. Purpose ******** After seven successful editions of this workshop, the eighth edition of PLP will be held at the ICLP virtual conference organised by the University of Porto. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ICLP. Submissions *********** Submissions will be managed via EasyChair (to be announced). Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results; work in progress; and technical summaries of recent substantial contributions. Papers presenting new results should be 6-15 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Publication *********** Informal proceedings will be made available electronically to attendees and submitted to CEUR Workshop Proceedings repository (http://ceur-ws.org/) The proceedings will consist of clearly marked sections corresponding to the different types of submissions accepted. Deadlines ********* Papers due: August 1st, 2021 Notification to authors: September 1st, 2021 Camera ready version due: September 10th, 2021 Workshop date: September 20-27, 2021 (all dates are AoE) Invited Speaker(s) ****************** TBA Programme Committee Chairs ************************** Rafael Penaloza (University of Milano-Bicocca, Italy) Felix Weitkämper (LMU München, Germany) Programme Committee ******************* TBA =========================================================================

1 0

The IEEE Technical Committee on Cloud Computing (TCCLD) Webinar, June 15, 2021 at 12pm CET (Online Free Event)
by Bahman Javadi 04 Jun '21

04 Jun '21

The IEEE Technical Committee on Cloud Computing (TCCLD) is organising a webinar on June 15th, 2021 at 12pm CET. The aim of the webinar is to support researchers and students with an interest in the areas of Cloud/Edge/Fog for fostering discussions with experts. Given the current limitations to organise face-to-face conferences, we plan to keep the research community connected and engaged with emerging research topics. The first seminar for 2021 will focus on “Future Directions in Cloud/Edge/Fog Computing”. Webpage: https://tc.computer.org/tccld/ieee-tccld_webinar-2121/ Date and time: 15 June, 2021, 12pm CET Academic Presenter: Prof. Schahram Dustdar, TU Wien, Austria Industry Presenter: Dr Paul Harvey, Rakuten Mobile, Japan Moderators/Contributors: A/Prof. Bahman Javadi, Western Sydney University, Australia Dr. Blesson Varghese, Queen's University Belfast, UK Agenda: Academic Presentation (20 min) Questions/Answers (10 min) Industry Presentation (20 min) Questions/Answers (10 min) Open Discussions (50 min) Wrap-up (10 min) Registration: https://docs.google.com/forms/d/1mjZ_DNWltJxWYfj1xVeWsLojJNrB6MdRXdxnntT5CT…

1 0

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