computational.science

computational.science@lists.iccsa.org

1987 discussions

*** CALL FOR PAPERS -- Final Submission Deadline Extension ***
by Dominik Bartuschat 31 Jan '21

31 Jan '21

Eleventh International Workshop on Advances in High-Performance Computational Earth Sciences: Applications and Frameworks (IHPCES 2021) https://www.cspp.cc.u-tokyo.ac.jp/IHPCES2021/ Dear colleagues, IHPCES 2021, the 11th workshop in the series of "Advances in High-Performance Computational Earth Sciences" workshops, will take place in conjunction with the ICCS 2021 Conference in Krakow, Poland, from June 16-18, 2021. The objective of this series of workshops is to provide a forum for presentation and discussion of state-of-the-art research in high performance computational earth sciences. IHPCES workshops foster communication between Earth scientists, applied mathematicians, and computer scientists. The workshop therefore presents a unique opportunity to exchange advanced knowledge, computational methods, and science discoveries in computational geosciences. Specific topics of interest include, but are not limited to: Large-scale simulations on supercomputing systems in earth sciences Advanced modeling and simulations on natural disaster prevention and mitigation Advanced numerical methods for high performance computational earth sciences Parallel and distributed algorithms and programming strategies for supercomputers Software engineering for parallel systems with multi-core processors and accelerators Algorithms for Big Data analytics and applications for large-scale data processing Methodologies and tools designed for extreme-scale computing We welcome full (up to 14 pages) and short (up to 7 pages) papers in Springer LNCS format (we can not accept "Abstract Only" submissions). All accepted papers will appear in the conference proceedings of ICCS 2021, published by Springer in its LNCS series. Important dates: February 12, 2021 Paper Submission Due March 15, 2021 Author Notification April 5, 2021 Camera-Ready Papers Due IHPCES 2021 co-chairs: Takashi Shimokawabe - The University of Tokyo, Japan Kohei Fujita - The University of Tokyo, Japan Dominik Bartuschat - University of Erlangen-Nuernberg, Germany Program committee (tentative): Hideo Aochi - Bureau de Recherches Geologiques et Minieres, France Joern Behrens - University of Hamburg, Germany Xing Cai - Simula Research Laboratory/University of Oslo, Norway Takeshi Fukaya - Hokkaido University, Japan Takashi Furumura - University of Tokyo, Japan Lutz Gross - University of Queensland, Australia Alexander Heinecke - Intel Parallel Computing Lab, USA Sebastian Kuckuk - University of Erlangen-Nuernberg, Germany Johannes Langguth - Simula Research Laboratory, Norway Osni Marques - Lawrence Berkeley National Laboratory, USA Hiromichi Nagao - The University of Tokyo, Japan Kengo Nakajima - The University of Tokyo, Japan Kenji Ono - Kyushu University, Japan Olaf Schenk - Universita della Svizzera Italiana, Switzerland Osamu Tatebe - University of Tsukuba, Japan Peng Wang - NVIDIA, USA Mei Wen - National University of Defense Technology, China Huilin Xing - University of Queensland, Australia We are looking forward to your contributions to IHPCES 2021. With best regards, Dominik Bartuschat on behalf of the IHPCES 2021 co-chairs -- Dr.-Ing. Dominik Bartuschat, M.Sc. (hons.) Universitaet Erlangen-Nuernberg Lehrstuhl fuer Informatik 10 - Systemsimulation Cauerstrasse 11 D-91058 Erlangen Tel: +49 9131 85 28925 Fax: +49 9131 85 28928 E-Mail: dominik.bartuschat(a)fau.de

1 0

[CfP] VHPC 21 - HPC Virtualization (Springer LNCS)
by Michael Alexander 27 Jan '21

27 Jan '21

==================================================================== CALL FOR PAPERS 16th Workshop on Virtualization in High-Performance Cloud Computing (VHPC 21) held in conjunction with the International Supercomputing Conference - High Performance, June 24 - July 2, 2021, Zoom Online Event. (Springer LNCS Proceedings) ==================================================================== Date: July 2, 2021 Workshop URL: vhpc[dot]org Online Zoom Event registration [free, limited slots] https://docs.google.com/forms/d/1Ux8jRopGhCYku3Z_FFMfud3RLwMg4-DABE_EeqlLmAQ Abstract Registration Deadline: February 15, 2021 Paper Submission Deadline: April 5, 2021 Springer LNCS Call for Papers Containers and virtualization technologies constitute key enabling factors for flexible resource management in modern data centers, and particularly in cloud environments. Cloud providers need to manage complex infrastructures in a seamless fashion to support the highly dynamic and heterogeneous workloads and hosted applications customers deploy. Similarly, HPC environments have been increasingly adopting techniques that enable flexible management of vast computing and networking resources, close to marginal provisioning cost, which is unprecedented in the history of scientific and commercial computing. Most recently, Function as a Service (Faas) and Serverless computing, utilizing lightweight VMs-containers widen the spectrum of applications that can be deployed in a cloud environment, especially in an HPC context. Here, HPC-provided services become accessible to distributed workloads outside of large cluster environments. Various virtualization-containerization technologies contribute to the overall picture in different ways: machine virtualization, with its capability to enable consolidation of multiple underutilized servers with heterogeneous software and operating systems (OSes), and its capability to live-migrate a fully operating virtual machine (VM) with a very short downtime, enables novel and dynamic ways to manage physical servers; OS-level virtualization (i.e., containerization), with its capability to isolate multiple user-space environments and to allow for their coexistence within the same OS kernel, promises to provide many of the advantages of machine virtualization with high levels of responsiveness and performance; lastly, unikernels provide for many virtualization benefits with a minimized OS/library surface. I/O Virtualization in turn allows physical network interfaces to take traffic from multiple VMs or containers; network virtualization, with its capability to create logical network overlays that are independent of the underlying physical topology is furthermore enabling virtualization of HPC infrastructures. Publication Accepted papers will be published in a Springer LNCS proceedings volume. Topics of Interest The VHPC program committee solicits original, high-quality submissions related to virtualization across the entire software stack with a special focus on the intersection of HPC, containers-virtualization and the cloud. Major Topics: - HPC workload orchestration (Kubernetes) - Kubernetes HPC batch - HPC Rootless Container Environments Landscape - HW Heterogeneity - Container ecosystem - Networking - Lightweight Virtualization - Unikernels / LibOS - State-of-the-art processor virtualization (RISC-V, EPI) - Containerizing HPC Stacks/Apps/Codes: Climate model containers each major topic encompassing design/architecture, management, performance management, modeling and configuration/tooling. Specifically, we invite papers that deal with the following topics: - HPC orchestration (Kubernetes, Virtualizing Kubernetes for HPC, Deployment paradigms - Multitenancy - Serverless - Declarative data center integration - Network provisioning - Storage - OCI i.a. images - Isolation/security - HW Accelerators, including GPUs, FPGAs, AI, and others - State-of-practice/art, including transition to cloud - Frameworks, system software - Programming models, runtime systems, and APIs to facilitate cloud adoption - Edge use-cases - Application adaptation, success stories - Kubernetes Batch (Scheduling / job management, Execution paradigm - workflow, Data management, Deployment, Multi-cluster/scalability, performance, Workflow / execution paradigm) - End-to-end rootless Docker alternative container environment & use-cases - Creating, Running containers as non-root (rootless) - Running rootless containers with MPI - Container live migration - Running containers in restricted environments without setuid - Networking (SDN / NVF, SR-IOV, Network Slicing & provisioning, polling, federated learning OS abstractions). - Lightweight Virtualization (Micro VMMs: Rust-VMM / AWS Firecracker / solo5, Xen, KVM, Nitro, RVirt, Rust based hypervisors / Cloud Hypervisor / Novel hypervisors - Unikernels / LibOS - HPC Storage in Virtualization - HPC container storage - Cloud-native storage - Hypervisors in storage virtualization - Processor Virtualization - RISC-V (hypervisor extensions / ports / IOMMU specification) - EPI - Composable HPC microservices - Merging of high throughput computing and HPC - Novel schedulers for job to data placement - Containerizing Scientific Codes (Building / Deploying / Securing / Storage / Monitoring) - High performance containers - Portability of containers/images, impact on performance - Use case for containerizing HPC codes: Climate model containers for portability, reproducibility, traceability, immutability, provenance, data & software preservation The Workshop on Virtualization in High-Performance Cloud Computing (VHPC) aims to bring together researchers and industrial practitioners facing the challenges posed by virtualization in order to foster discussion, collaboration, mutual exchange of knowledge and experience, enabling research to ultimately provide novel solutions for virtualized computing systems of tomorrow. The workshop will be one day in length, composed of 20 min paper presentations, each followed by 10 min discussion sections, plus lightning talks that are limited to 5 minutes. Presentations may be accompanied by interactive demonstrations. Important Dates February 15, 2021 - Abstract registration deadline April 5, 2021 - Paper submission deadline (Springer LNCS) May 3, 2021 - Acceptance notification July 2, 2021 - Workshop Day July 10th, 2021 - Camera-ready version due Chair Michael Alexander (chair), BOKU, Vienna, Austria Anastassios Nanos (co-chair), Nubis, Greece Program committee Stergios Anastasiadis, University of Ioannina, Greece Paolo Bonzini, Red Hat, Italy Jakob Blomer, CERN, Europe Eduardo César, Universidad Autonoma de Barcelona, Spain Taylor Childers, Argonne National Laboratory, USA Stephen Crago, USC ISI, USA Tommaso Cucinotta, St. Anna School of Advanced Studies, Italy François Diakhaté CEA DAM Ile de France, France Balazs Gerofi, RIKEN, Japan Kyle Hale, Northwestern University, USA Brian Kocoloski, Washington University, USA Simon Kuenzer, NEC Laboratories Europe, Germany Giuseppe Lettieri, University of Pisa, Italy Klaus Ma, Huawei Technologies, China Alberto Madonna, Swiss National Supercomputing Center, Switzerland Nikos Parlavantzas, IRISA, France Anup Patel, Western Digital, USA Kevin Pedretti, Sandia National Laboratories, USA Amer Qouneh, Western New England University, USA Carlos Reaño, Queen’s University Belfast, UK Riccardo Rocha, CERN, Europe Borja Sotomayor, University of Chicago, USA Jonathan Sparks, Cray, USA Kurt Tutschku, Blekinge Institute of Technology, Sweden John Walters, USC ISI, USA Yasuhiro Watashiba, Osaka University, Japan Chao-Tung Yang, Tunghai University, Taiwan Paper Submission-Publication Papers submitted to the workshop will be reviewed by at least two members of the program committee and external reviewers. Submissions should include abstract, keywords, the e-mail address of the corresponding author, and must not exceed 10 pages, including tables and figures at a main font size no smaller than 11 point. Submission of a paper should be regarded as a commitment that, should the paper be accepted, at least one of the authors will register and attend the conference to present the work. Accepted papers will be published in a Springer LNCS volume. The format must be according to the Springer LNCS Style. Initial submissions are in PDF; authors of accepted papers will be requested to provide source files. Abstract, Paper Submission Link: edas[dot]info/newPaper.php?c=28004 Lightning Talks Lightning Talks are non-paper track, synoptical in nature and are strictly limited to 5 minutes. They can be used to gain early feedback on ongoing research, for demonstrations, to present research results, early research ideas, perspectives and positions of interest to the community. Submit abstract via the main submission link. General Information The workshop is one day in length and will be held in conjunction with the International Supercomputing Conference - High Performance (ISC) 2021, June 24 - July 2.

1 0

Special Issue on Parallel and Distributed Computing
by Massimo CAFARO 26 Jan '21

26 Jan '21

We apologize for multiple copies of this CfP. Journal: Future Internet Special Issue Title: Parallel and Distributed Computing Special Issue Editor: Prof. Massimo Cafaro Deadline: 30 April 2021 https://www.mdpi.com/journal/futureinternet/special_issues/PDGCP2P_C Summary Dear Colleagues, recent years have witnessed the growing interest for parallel and distributed computing not just for large scale processing of big data, but also in the context of several research trends such as Artificial Intelligence and Machine Learning, Data Mining, Wireless Sensor Networks, Internet of Things, Green Computing in Data Centers etc. The aim of the Special Issue is to address current research and trends in the field by focusing on theory, technologies and applications, highlighting both challenges and opportunities. The scope of the Special Issue is very broad, taking into account the interdisciplinarity of parallel and distributed computing. Among the topics of interest, there are (but the Special Issue is not strictly limited to these): - Parallel algorithms; - Distributed algorithms, including P2P algorithms; - Fault-tolerant algorithms; - Cloud and grid computing; - Architectures for parallel and distributed computing; - Green computing and data centers; - Middleware and libraries for parallel and distributed computing; - Scheduling and resource allocation. Prof. Massimo Cafaro Prof. Italo Epicoco Dr. Marco Pulimeno Guest Editors Keywords: parallel computing, distributed computing, grid computing, cloud computing, P2P. - ************************************************************************************ Massimo Cafaro, Ph.D. Associate Professor of Parallel Algorithms and Data Mining Dept. of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web http://sara.unisalento.it/~cafaro Web https://www.unisalento.it/people/massimo.cafaro E-mail massimo.cafaro(a)unisalento.it E-mail cafaro(a)ieee.org E-mail cafaro(a)acm.org CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro(a)cmcc.it ************************************************************************************ --

1 0

Paper Invitation to Special Issue "Polynomial Sequences and Their Applications"
by Anna Napoli 23 Jan '21

23 Jan '21

Dear Colleagues, we are pleased to inform you that a Special Issue of the Mathematics Journal (a peer-reviewed open access journal ISSN 2227-7390 https://www.mdpi.com/journal/mathematics <https://www.mdpi.com/journal/mathematics>, WoS impact factor 1.747, Q1 and top 10%) dedicated to polynomial sequences and their applications is now open to receive submission for possible publications. Special Issue: *Polynomial Sequences and Their Applications.* Website:https://www.mdpi.com/journal/mathematics/special_issues/polynomial_… <https://www.mdpi.com/journal/mathematics/special_issues/polynomial_sequence…> Guest Editors: Prof. Dr. Francesco Aldo Costabile, Prof. Dr. Maria I. Gualtieri, Prof. Dr. Anna Napoli Department of Mathematics and Computer Science, University of Calabria, Via Pietro Bucci, cubo 30/A, 87036 Rende (CS), Italy. Deadline for manuscript submissions: *30 June 2021.* Potential topics include but are not limited to the following: ·Modern Umbral Calculus (Binomial, Appell, Sheffer Polynomial Sequences). ·Orthogonal polynomials, Matrix orthogonal polynomials, Multiple orthogonal polynomials and Orthogonal polynomials of several variables. ·Operational methods and Monomiality Principle. ·Generating functions, special classes. ·Matrix and determinant approach to special polynomial sequences. ·Applications of special polynomial sequences in approximation theory, in boundary value problems and in quadrature formulas. ·Number theory and special classes of polynomials. ·Asymptotic methods in orthogonal polynomials. ·Fractional Calculus. ·Extrapolation methods. *Description* Polynomials are an incredibly useful mathematical tools as they are simply defined and can be calculated quickly on computer systems. They can be differentiated and integrated easily, and can be pieced together to form spline curves. Furthermore, from Weierstrass’s Approximation Theorem, every continuous function defined on a closed interval can be uniformly approximated by polynomials. Therefore sequences of polynomials perform an important role in several branches of sciences: mathematics, phisics, engineering etc. For examples, polynomial sequences arise in physic and approximation theory as the solutions of certain ordinary differential equations. Orthogonal polynomials play an important role in the applications. In statistics Hermite polynomials are very important, which are, also, orthogonal polynomials. In algebra and combinatorics umbral polynomials are used such as: rising factorials, falling factorials, Abel, Bell, Bernoulli, Euler, Boile, ciclotomic, Dickson, Fibonacci, Lucas, Touchard etc. polynomials. Some of these belong to special classes, such as Sheffer, Appell and the binomial type.For this reason the research in this field appears in different Journals/Magazines. A special issue that makes the state of art of current research would be very useful for the mathematical community. We warmly invite you to contribute to our Special Issue. Don't hesitate to forward this message to anyone who could be interested. Thank you very much for your kind consideration and apologies for multiple copies. We look forward to hearing from you. Francesco A. Costabile, Maria I. Gualtieri, Anna Napoli

1 0

Job ad: Open Rank Tenure-Track Faculty Position in the Department of Information Systems, University of Maryland, Baltimore County (UMBC)
by Sanjay Purushotham 11 Jan '21

11 Jan '21

[Apologies for multiple copies] Application link: https://apply.interfolio.com/81030 *Open Rank Tenure-Track Faculty Position in the Department of Information Systems, University of Maryland, Baltimore County (UMBC)* The Department of Information Systems (IS) at UMBC invites applications for an open rank tenure-track faculty position starting August 2021. Successful candidates will complement and extend our current strengths. More information about research interests of our faculty can be found at https://informationsystems.umbc.edu/home/research/areas-of-research/. Candidates with research interests cross-cutting multiple areas are particularly encouraged to apply. Candidates must have earned a PhD in related fields no later than August 2021. The Department has 33 full-time faculty and over 1,600 students, including over 80 PhD students. The department offers undergraduate degrees in Information Systems and Business Technology Administration. Graduate degree programs, MS and PhD, are offered in both Information Systems and Human-Centered Computing, including an innovative online MS program in IS. In addition, the Department houses the Master’s in Health Information Technology, which is a professional degree program. Our faculty are actively engaged in collaborative interdisciplinary research within and across departments and institutions, and four of our current faculty have received NSF CAREER awards. Further details can be found at https://informationsystems.umbc.edu/. UMBC is a public research university that is leading the world in inclusive excellence in research and teaching. We are redefining how to teach and we are one of the most innovative universities in the nation (US News). To continue to support this goal, the Faculty Development Center provides excellent support such as classroom observation, collection and analysis of student feedback as well as regular workshops and pedagogical demonstrations. Our research is bold, cross disciplinary, and leverages our location near to the hospitals in Baltimore, NIH, NASA, NSF, and the USGS. UMBC’s strategic location in the Baltimore-Washington corridor puts us close to many high-tech companies as well. The 2018 Chronicle of Higher Education also named UMBC as one of the best colleges to work for, for the ninth year in a row. The department, college and UMBC are deeply committed to the success of all of our faculty. We have various mentoring programs such as “launch committees” to offer regular and structured mentorship for faculty to develop a thriving and successful research program and the Eminent Scholar mentoring program to build relationships with leaders in the field beyond UMBC. The campus is close to both energetic urban centers and family-friendly suburbs. Nearby cities such as Columbia and Ellicott City have been routinely ranked as top 10 best places to live in the US. Candidates are expected to establish a collaborative, externally funded, and nationally recognized research program and contribute to teaching a variety of graduate and undergraduate courses offered by the department effectively. We expect candidates to be innovative in terms of pedagogical methods, course content, and curriculum development, and be committed to advising, mentoring and supporting student success. All candidates should have experience in – or have the potential for – building an equitable and diverse scholarly environment in teaching, mentoring, research, life experiences, or service. Candidates for the Associate and Full Professor rank should also demonstrate a track record of inclusive excellence. Candidates for the Associate Professor rank should also have a strong record of research, teaching, service, and a sustained externally-funded research program. Candidates for the Full Professor rank should also demonstrate leadership in their field, hold an excellent academic record, and show a history of securing external funds for multiple sizable research projects. We are particularly interested in receiving applications from individuals who are members of groups that historically have been under-represented in the professoriate. We especially welcome applications from candidates who are willing to contribute to the diversity mission of the university and the department. UMBC is a national model for diversity and inclusive excellence in STEM. Examples of these are our Meyerhoff Scholar programs ( http://meyerhoff.umbc.edu/), the Center for Women in Technology ( http://cwit.umbc.edu), and PROMISE: Maryland’s AGEP and LSAMP Bridge to the Doctorate programs. Inclusive excellence is a hallmark of UMBC and a foundational value of our community. UMBC is the nation’s #1 producer of African American undergraduates who go on to complete an M.D./Ph.D. and #2 nationally for African American undergraduates who complete a STEM Ph.D. The IS department is proud to support a diverse student and faculty body in terms of gender, race, and ethnicity. The IS faculty has a culture of inclusiveness of excellence, demonstrated by both academic research such as community engaged scholarship, research on improving accessibility of technology to disabled, as well as efforts to address diversity issues in STEM such as CWIT scholar program and starting a regional chapter of Women in Data Science and Machine Learning. More than half of the leadership positions in the department including the chair are currently held by women faculty. Applications for the positions must be submitted as PDF files via Interfolio at https://apply.interfolio.com/81030. Review of applications will start in December 2020 but will continue until positions are filled. All interviews will be conducted online but applicants are welcome to talk to IS faculty to learn about Baltimore and the surrounding area. A complete submission will consist of: 1) Cover letter 2) CV 3) One-page statement of teaching philosophy. 4) Two-page statement of research interests. 5) One-page statement of demonstrated commitment to diversity and inclusive excellence. 6) Names and contact information of at least three references. Letters will be required later for short-listed candidates. Candidates’ experience will be evaluated commensurate to the rank to which they are applying. For inquiries, please email to is_faculty_search_2020(a)umbc.edu. An informational webinar will be also held in late November or early December. If you are interested in the webinar, please register at https://forms.gle/CmugCMfPdnPRoT386. Review of applications will begin in December, 2020 and will continue until the position is filled. *UMBC is an Affirmative Action/Equal Opportunity Employer and welcomes applications from minorities, women, veterans, and individuals with disabilities.*

1 0

Ada-Europe 2021 Conference - EXTENDED 14 January deadline
by Dirk.Craeynest＠cs.kuleuven.be 31 Dec '20

31 Dec '20

The Ada-Europe 2021 Conference organizers decided to provide more time for authors to prepare their contributions. The deadline for most submissions is extended to Thursday 14 January 2020. 2 weeks remain! ----------------------------------------------------------------------- UPDATED Call for Contributions - EXTENDED DEADLINE 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021) 7-11 June 2021, Santander, Spain www.ada-europe.org/conference2021 Organized by University of Cantabria and Ada-Europe in cooperation with ACM SIGAda, SIGPLAN, SIGBED and the Ada Resource Association (ARA) *** Extended DEADLINE 14 JANUARY 2020 AoE *** #AEiC2021 #AdaEurope #AdaProgramming ----------------------------------------------------------------------- *** General Information The 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021 aka Ada-Europe 2021) will take place in Santander, Spain, in the week of 7-11 June. The conference schedule includes a technical program, vendor exhibition, and parallel tutorials and workshops. Despite the COVID-19 situation which led to the cancellation of the previous edition of the conference, there is a firm commitment to celebrate the 2021 edition in any case. The initial goal is to have a mixed model with both in-person and remote participation. If the situation so requires it, the conference would be held as a full virtual event. The 2021 edition of the conference continues the major revamp of the in-person registration fees introduced in 2019, redesigned to extend participation from industry and academia, and to reward contributors, especially but not solely, students and post-doc researchers. *** Schedule 14 January 2021: Submission of journal-track papers, industrial presentation outlines, and tutorial and workshop proposals 19 March 2021: Notification of acceptance for journal-track papers, industrial presentations, tutorials and workshops 31 March 2021: Submission of Work-in-Progress (WiP) papers and Invited Presentation proposals 30 April 2021: Notification of acceptance for WiP papers and Invited Presentations *** Topics The conference is a leading international forum for providers, practitioners and researchers in reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development and maintenance of long-lived, high-quality software systems for a challenging variety of application domains. The program will allow ample time for keynotes, Q&A sessions and discussions, and social events. Participants include practitioners and researchers from industry, academia and government organizations active in the promotion and development of reliable software technologies. Should the situation allow it, the presenters will be given the choice of in-person or virtual participation. The topics of interest for the conference include but are not limited to: - Design and Implementation of Real-Time and Embedded Systems: Real-Time Scheduling, Design Methods and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability and Performance; - Design and Implementation of Mixed-Criticality Systems: Scheduling Methods, Mixed-Criticality Architectures, Design Methods, Analysis Methods; - Theory and Practice of High-Integrity Systems: Medium to Large-Scale Distribution, Fault Tolerance, Security, Reliability, Trust and Safety, Languages Vulnerabilities; - Software Architectures for Reliable Systems: Design Patterns, Frameworks, Architecture-Centered Development, Component-based Design and Development; - Methods and Techniques for Quality Software Development and Maintenance: Requirements Engineering, Model-driven Architecture and Engineering, Formal Methods, Re-engineering and Reverse Engineering, Reuse, Software Management Issues, Compilers, Libraries, Support Tools; - Ada Language and Technologies: Compilation Issues, Runtimes, Ravenscar, Profiles, Distributed Systems, SPARK; - Mainstream and Emerging Applications with Reliability Requirements: Manufacturing, Robotics, Avionics, Space, Health Care, Transportation, Cloud Environments, Smart Energy Systems, Serious Games, etc; - Achieving and Assuring Safety in Machine Learning Systems; - Experience Reports in Reliable System Development: Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics; - Experiences with Ada: Reviews of the Ada 2012 language features, implementation and use issues, positioning in the market and in the software engineering curriculum, lessons learned on Ada Education and Training Activities with bearing on any of the conference topics. *** Call for Journal-Track Papers The journal-track papers submitted to the conference are full-length papers that must describe mature research work on the conference topics. They must be original and shall undergo anonymous peer review. Accepted journal-track papers will get a presentation slot within a technical session of the conference and they will be published in an open-access special issue of the Journal of Systems Architecture (Q2 in the JCR and SJR ranks) with no additional costs to authors. The corresponding authors shall submit their work by 14 January 2021 via the Special Issue web page: https://www.journals.elsevier.com/journal-of-systems-architecture/ call-for-papers/special-issue-on-reliable-software-technologies-aeic2021 Submitted papers must follow the guidelines provided in the "Guide-for-Authors" of the JSA (https://www.elsevier.com/journals/ journal-of-systems-architecture/1383-7621/guide-for-authors). In particular, JSA does not impose any restriction on the format or extension of the submissions. *** Call for WiP-Track Papers The Work-in-Progress papers (WiP-track) are short (4-page) papers describing evolving and early-stage ideas or new research directions. They must be original and shall undergo anonymous peer review. The corresponding authors shall submit their work by 31 March 2021, via https://easychair.org/conferences/?conf=aeic2021, strictly in PDF and following the Ada User Journal style (http://www.ada-europe.org/auj/). Authors of accepted WiP-track papers will get a presentation slot within a regular technical session of the conference and will also be requested to present a poster. The papers will be published in the Ada User Journal as part of the proceedings of the Conference. The conference is listed in the principal citation databases, including DBLP, Scopus, Web of Science, and Google Scholar. The Ada User Journal is indexed by Scopus and by EBSCOhost in the Academic Search Ultimate database. *** Call for Industrial Presentations The conference seeks industrial presentations that deliver insightful information value but may not sustain the strictness of the review process required for regular papers. The authors of industrial presentations shall submit their proposals, in the form of a short (one or two pages) abstract, by 14 January 2021, via https://easychair.org/conferences/?conf=aeic2021, strictly in PDF and following the Ada User Journal style (http://www.ada-europe.org/auj/). The Industrial Committee will review the submissions anonymously and make recommendations for acceptance. The abstract of the accepted contributions will be included in the conference booklet, and authors will get a presentation slot within a regular technical session of the conference. These authors will also be invited to expand their contributions into articles for publication in the Ada User Journal, as part of the proceedings of the Industrial Program of the Conference. *** Awards Ada-Europe will offer an honorary award for the best presentation. All journal-track and industrial presentations are eligible. *** Call for Invited Presentations The invited presentations are intended to allow researchers to present paramount research results that are relevant to the conference attendees. There will be no publication associated to these presentations, which may include previously published works, relevant new tools, methods or techniques. The invited presentations will be allocated a presentation slot. Presentations can be delivered remotely to facilitate the participation. The Program Committee will select invited presentation proposals that may be submitted by e-mail to one of the Program Chairs as a one-page summary of the proposed presentation, along with the information and/or links required to show the relevance of the covered topic. *** Call for Educational Tutorials The conference is seeking tutorials in the form of educational seminars including hands-on or practical demonstrations. Proposed tutorials can be from any part of the reliable software domain, they may be purely academic or from an industrial base making use of tools used in current software development environments. We are also interested in contemporary software topics, such as IoT and artificial intelligence and their application to reliability and safety. Tutorial proposals shall include a title, an abstract, a description of the topic, an outline of the presentation, the proposed duration (half day or full day), and the intended level of the tutorial (introductory, intermediate, or advanced). All proposals should be submitted by e-mail to the Educational Tutorial Chair. The authors of accepted full-day tutorials will receive a complimentary conference registration. For half-day tutorials, this benefit is halved. The Ada User Journal will offer space for the publication of summaries of the accepted tutorials. *** Call for Workshops Workshops on themes that fall within the conference scope may be proposed. Proposals may be submitted for half- or full-day events, to be scheduled at either end of the conference days. Workshop proposals should be submitted by e-mail to the Workshop Chair. The workshop organizer shall also commit to producing the proceedings of the event, for publication in the Ada User Journal. *** Call for Exhibitors The commercial exhibition will span the core days of the main conference. As an alternative to the traditional physical exhibition, virtual exhibition activities will be possible. Vendors and providers of software products and services should contact the Exhibition Chair for information and for allowing suitable planning of the exhibition space and time. *** Special Registration Fees Authors of accepted contributions and all students will enjoy reduced registration fees. In addition, there will be low registration fees for virtual participants. *** Venue Santander is a nice tourist city in the north of Spain, with a well-connected airport and at a 100 km drive from Bilbao airport. The conference venue and hotel is the Bahia Hotel in the city center and beside Santander bay. *** Organizing Committee * Conference Chair Michael González Harbour, Universidad de Cantabria, Spain mgh at unican.es * Program Chairs Mario Aldea Rivas, Universidad de Cantabria, Spain aldeam at unican.es J. Javier Gutiérrez, Universidad de Cantabria, Spain gutierjj at unican.es * Work-in-Progress Chair Kristoffer Nyborg Gregertsen, SINTEF Digital, Norway kristoffer.gregertsen at sintef.no * Tutorial & Workshop Chair Jorge Garrido Balaguer, Universidad Politécnica de Madrid, Spain jorge.garrido at upm.es * Industrial Chair Patricia Balbastre Betoret, Universitat Politècnica de València, Spain patricia at ai2.upv.es * Exhibition & Sponsorship Chair Ahlan Marriott, White Elephant GmbH, Switzerland software at white-elephant.ch * Publicity Chair Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium dirk.craeynest at cs.kuleuven.be *** Previous Editions Ada-Europe organizes annual international conferences since the early 80's. This is the 25th event in the Reliable Software Technologies series, previous ones being held at Montreux, Switzerland ('96), London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99), Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria ('02), Toulouse, France ('03), Palma de Mallorca, Spain ('04), York, UK ('05), Porto, Portugal ('06), Geneva, Switzerland ('07), Venice, Italy ('08), Brest, France ('09), Valencia, Spain ('10), Edinburgh, UK ('11), Stockholm, Sweden ('12), Berlin, Germany ('13), Paris, France ('14), Madrid, Spain ('15), Pisa, Italy ('16), Vienna, Austria ('17), Lisbon, Portugal ('18), and Warsaw, Poland ('19). Information on previous editions of the conference can be found at http://www.ada-europe.org/confs/ae. ----------------------------------------------------------------------- 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'l. Conf. on Reliable Software Technologies *** June 7-11, 2021 * Santander, Spain * www.ada-europe.org/conference2021

1 0

Paper Invitation for Frontiers in Robotics and AI "Scene Understanding in Autonomous Driving"
by T. Hoang Ngan Le 29 Dec '20

29 Dec '20

Frontiers in Robotics and AI has launched a new Research Topic, "Scene Understanding in Autonomous Driving". As a leading expert in your field, we would like you to participate by submitting your research. This is a great chance to have your research published in Frontiers in Robotics and AI. With a CiteScore of 4.7 and indexed on ESCI, ISSN 2296-9144 (Web of Science), the journal investigates the theory and integration of robotics, bringing the latest technology and artificial intelligence to the modern world. This Research Topic welcomes contributions on topics including, but not limited to, the following: • Driving Scene Understanding • Objective Detection, Localization, and Tracking • Efficient Video Feature Extraction • Online Video Analysis • Compressed/Light-Weight/Low-Cost Models • Low Power/Energy Models • Depth Estimation • Point Cloud Reconstruction • Scene Prediction • Early Event Prediction • Motion Planning, Navigation • Models Fusing • Databases, evaluation, and benchmarking in driving safety YES - I would like to participate: https://research-topic-management-app.frontiersin.org/manage/contributor-co… Topic Editors: Dr. Ngan Le, University of Arkansas, Fayetteville, United States Dr. Hien Nguyen, University of Houston, Houston, United States Dr. Tien Bui, Concordia University, Montreal, Canada Dr. S. Kevin Zhou, Chinese Academy of Sciences (CAS), Beijing, China Dr. Marios Savvides, Carnegie Mellon University, Pittsburgh, United States Dr. Khoa Luu, University of Arkansas, Fayetteville, United States Visit the homepage for this Research Topic for a full description of the project:https://www.frontiersin.org/research-topics/16771 Help to make this collection even more successful by alerting other experts in the field who could submit their own article. Simply copy and send the following link to your colleagues: https://www.frontiersin.org/research-topics/16771/scene-understanding-in-au… The submission deadline for this Research Topic is 30 March 2021. Click here to let us know if you don’t wish to participate this time: https://research-topic-management-app.frontiersin.org/manage/contributor-de… More about Research Topics ------------------------------------------------------------------------------------------------------ Frontiers’ Research Topics are collections of peer-reviewed articles around an emerging or cutting-edge theme. As a contributing author, you will benefit from: • high visibility and the chance to be included in a downloadable ebook • rigorous, transparent and fast peer-review for your article • publication throughout the year, as soon as your article is accepted • advanced impact metrics ------------------------------------------------------------------------------------------------------- More about publishing with us ------------------------------------------------------------------------------------------------------ • Articles will be peer-reviewed and, if accepted for publication, are subject to publishing fees: ( https://www.frontiersin.org/about/publishing-fees ). All applications for fees support: (https://frontiers.qualtrics.com/jfe/form/SV_51IljifwFBXUzY1) are considered. • We collaborate with leading institutions to make open access publishing even more accessible for authors. See whether your institution is collaborating with us: ( https://www.frontiersin.org/about/institutional-membership ). ------------------------------------------------------------------------------------------------------ I look forward to your response. Kind Regards, Ngan Le Topic Editor, Robot and Machine Vision Section, Frontiers in Robotics and AI On behalf of the Topic Editors. Research Topics can be listed in more than one journal. A list of contributing journals and sections is included on the homepage for this Research Topic: https://www.frontiersin.org/research-topics/16771. Please choose the most relevant option when submitting your article. Check each journal page for information about its scope, accepted article types and APCs. Frontiers is committed to providing you with relevant updates in your field. If you do not want to receive any updates from Frontiers, you can unsubscribe by forwarding your request to support(a)frontiersin.org. If you wish to learn about how we protect personal data, you can read our Privacy Policy available on our website. -- Ngan Le Assistant Professor Department of Computer Science & Computer Engineering University of Arkansas Fayetteville, Arkansas 72701 Phone: 479 575 2000 Homepage: https://www.nganle.net

1 0

[Deadline Approaching, January 10] 2nd Workshop on Coordination of Decentralized Finance (CoDecFin), Financial Cryptography 2021
by Joaquin Garcia-Alfaro 22 Dec '20

22 Dec '20

[apologies for cross-posting] Call for Papers ================== 2nd Workshop on Coordination of Decentralized Finance (CoDecFin) 2021 -- Regulators meet Industry meet Devs meet Researchers-- March 5, 2021, held in collaboration with Financial Cryptography and Data Security 2021 (https://fc21.ifca.ai/codecfin/) 1. Venue and Website ==================== Venue: Radisson Grenada Beach Resort, Grenada Website: https://fc21.ifca.ai/codecfin/ Submission of papers: https://easychair.org/conferences/?conf=codecfin21 2. Important Dates ================== Submission deadline: January 10, 2021 Author notification: February 10, 2021 Workshop: March 5, 2021 3. Background ============= On June 8th and 9th 2019, Distributed Ledger Technology-related innovations have been referenced in the Communique at the G20 Finance and Central Bank Meeting in Fukuoka, Japan, referencing the report produced by the Financial Stability Board (FSB). G20 Communique Section 13 "We welcome the FSB report on decentralized financial technologies, and the possible implications for financial stability, regulation and governance, and how regulators can enhance the dialogue with a wider group of stakeholders.” FSB Report Decentralized financial technologies: Report on financial stability, regulatory and governance implications; Direct link to the FSB Report document Blockchain Governance Initiative Network(BGIN - pronounced BEGIN) was initiated on March 10, 2020 after several multi-stakeholder workshops including CoDeFi 2020, an associated workshop with Financial Cryptography 2020. This is a multi-stakeholder discussion network which aims at providing an open and neutral sphere for all stakeholders to deepen common understanding and to collaborate to address issues they face in order to attain sustainable development of the blockchain community. 4. Workshop on Coordination of Decentralized Finance (CoDecFin) ================================================================ This workshop is designed to identify and discuss technology and operation issues of permissionless blockchain and decentralized finance. As permissionless blockchain and distributed ledger technology (DLT) platforms evolve and mature, there is an urgent need for multi-stakeholders to engage in their planning, development, roll-out, and operation, in order for innovation of a wide variety of financial applications to proliferate and become mainstream. Thus far it has been mainly developer & startup communities which are driving these protocols, platforms, and applications for this new era of computing. New standards, governance mechanisms and design patternsare evolving and need input from a variety of perspectives. There is a growing trend towards decentralized computing systems in which distributed ledger technologies are a fundamental component. These systems are designed to be global computing systems; they will likely form the basis of new financial services and businesses including a distributed Financial Market Infrastructure (dFMI). These new financial services and businesses could bring huge benefit to the global financial system, e.g. resiliency over efficiency, and predictability over resiliency. However financial regulators, central banks, the Bank for International Settlements (BIS) and International Monetary Fund (IMF), while recognizing the potential of DLT systems, have also been keenly aware of the challenges in the adoption, and designing for the consumer protections required to balance usability, safety while supporting innovation. While it is likely that many G20 countries will be leading the design and development of these new infrastructures, all cities and countries should be considered and encouraged to participatein the planning. Discussions of this workshop are expected to contribute to discussions of Blockchain Governance Initiative Network (BGIN), where common documents on blockchain technology and operations are created backed by all stakeholders. Hence, CoDecFin 2021 will be directly connected to the general meeting of BGIN. The second general meeting of BGIN (Block #2) will be held right after CoDecFin. Note: This workshop does not endorse any specific decentralized finance projects and products. 5. Basic Structure of the Workshop ================================== The workshop is composed of three parts: Presentations of academic and practical results on blockchain technology and operations Selected talks from alla variety of stakeholders Discussions by multi-stakeholders on selected discussion topics. 6. Call for papers ================== We call for papers on technology and operational issues related to decentralized finance and permissionless blockchain, and future directions to solve these issues with specifying background the author(s) have. (i) regular papers (15 pages LNCS format excluding references and appendices), (ii) short papers (8 pages LNCS format in total), submission process is conducted by using EasyChair: https://easychair.org/conferences/?conf=codecfin21 This year, we encourage to submit a paper associated with the current discussion topic at BGIN. - Key management at centralized/decentralized Custodian (see the draft of work stream at BGIN) - Decentralized Financial Technologies and Privacy, Identity and Traceability (see the draft of work stream at BGIN) - Reactions to FATF 12 month review to achieve both regulatory goals and privacy - Blockchain-based standard development mechanisms and process to accommodate multi-stakeholders Other topics, but are not limited to: ====================================== - Identity, privacy, and key management - Centralized custody and decentralized custody - 2021 Scaling Cryptocurrency and Regulatory Challenges, and mainstream adoption - Common understandings on "Regulatory Goals" - FATF: AML and privacy - Policy on End to End Encryption - Security of exchanges and decentralized finance protocols - Algorithm agility of permissionless blockchain - Regulatory challenges of decentralized finance protocols - Risk and resilience in cryptocurrency financial systems - Harmonization of automated systems, human intervention and regulation - Standards: Technical, Regulatory - Regulation of exchanges and consumer protection - Central Bank Digital Currencies (CBDCs) - Interoperability among existing financial infrastructure, permissionless ledgers and CBDCs - Governance of protocols, implementations 7. Organizing and Program Committees ===================================== (Alphabetical Order) Julien Bringer, Kallistech Joaquin Garcia-Alfaro, Telecom SudParis & Institut Polytechnique de Paris Arthur Gervais, Imperial College London Byron Gibson, Program Manager at Stanford Center for Blockchain Research Feng Chen, University of British Columbia Shin'ichiro Matsuo, Georgetown University, NTT Research and BSafe.network (tentative chair) Steven Nam, Stanford Journal of Blockchain Law & Policy Michele Benedetto Neitz, Golden Gate University Roman Pavlov, SafeStead Inc. Robert Schwentker, DLT Education and BSafe.network Yonatan Sompolinsky, The Hebrew University of Jerusalem, DAGlabs Shigeya Suzuki, Keio University Ryosuke Ushida, JFSA and Georgetown University Robert Wardrop, University of Cambridge Judge Business School Pindar Wong, BSafe.network Aaron Wright, Cardozo Law School Anton Yemelyanov, Base58 Association Aviv Zohar, The Hebrew University of Jerusalem Further details at: https://fc21.ifca.ai/codecfin/

1 0

ANT & EDI40 2021 CfPs (Final Extension): Warsaw, Poland (March 23 - 26, 2021)
by Elhadi Shakshuki 16 Dec '20

16 Dec '20

Call for Papers The 12th International Conference on Ambient Systems, Networks and Technologies (ANT) & The 4th International Conference on Emerging Data and Industry 4.0 (EDI40) Warsaw, Poland March 23-26, 2021 http://cs-conferences.acadiau.ca/ant-21/ & http://cs-conferences.acadiau.ca/EDI40-21 Important Date * Paper Submission Due Date: December 30, 2020 (FINAL) ANT & EDI40 organizing committee invites you to submit papers. Please encourage your colleagues, research group members and fellow scientists to contribute and participate in this event. ANT & EDI40 conferences in Warsaw, Poland. Warsaw is the capital and largest city of Poland. The metropolis stands on the Vistula River in east-central Poland and its population is officially estimated at 1.770 million residents within a greater metropolitan area of 3.1 million residents, which makes Warsaw the 8th most-populous capital city in the European Union. The city limits cover 516.9 square kilometres (199.6 sq mi), while the metropolitan area covers 6,100.43 square kilometres (2,355.39 sq mi). Warsaw is an alpha global city, a major international tourist destination, and a significant cultural, political and economic hub. Its historical Old Town was designated a UNESCO World Heritage Site. Journals Speciaal Issues * Journal of Ambient Intelligence and Humanized Computing (IF: 4.594), by Springer (http://www.springer.com/engineering/journal/12652) * International Journal of Computing and Informatics (IF: 0.504), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) * International Journal on Transportation Research Part A: Policy and Practice (IF: 4.371), by Elsevier (https://www.journals.elsevier.com/transportation-research-part-a-policy-and…) Publication ANT & EDI40 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com<http://www.elsevier.com/> and on Elsevier content platform ScienceDirect (www.sciencedirect.com<http://www.sciencedirect.com/>), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com<http://www.scopus.com/>) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com<http://www.scopus.com/>) and Engineering Village (Ei) (www.engineeringvillage.com<http://www.engineeringvillage.com/>). This includes EI Compendex (www.ei.org/compendex<http://www.ei.org/compendex>). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). Your contributions and support are appreciated. Sincerely

1 0

[Future Internet] Special Issue on "Service-Oriented Systems and Applications"
by Stefano Forti 16 Dec '20

16 Dec '20

*** Special Issue of Future Internet (ISSN 1999-5903) on *** ******* "Service-Oriented Systems and Applications" ****** Submission Deadline: 31 August 2021 Website: <https://www.mdpi.com/journal/futureinternet/special_issues/S_Oriented_Syste ms_A> https://www.mdpi.com/journal/futureinternet/special_issues/S_Oriented_System s_A ***************************************** ************ Call for Papers ************ ***************************************** Modern applications are inherently distributed, as they integrate various heterogeneous components and stand-alone (micro)services. How to compose and orchestrate services, as well as how to integrate and adapt them, has thus become a core issue in such distributed, service-oriented systems and applications. Theoretical and practical approaches to modelling and analysing such systems and applications would simplify their development; enable their validation and evaluation; and enhance their interoperability, reusability, and maintainability. The goal of this Special Issue is to allow researchers and practitioners to discuss common problems and present novel solutions in the aforementioned fields. Topics of interest include, but are not limited to, the following: * Cloud/fog/edge computing, and large-scale distributed systems; * Design principles, architectural smells, and architectural refactoring of service-oriented systems and applications; * Resource and application management in next-gen Cloud-IoT systems; * Dynamic service-oriented architectures and self-* systems and application; * Fault localization and resilience in service-oriented systems and applications; * Formal methods, models, and techniques for service-oriented systems and applications; * Microservices; * Model-driven design and development of peer-to-peer systems and blockchains; * Programming languages for service-oriented systems and applications; * Reverse engineering for service-oriented systems and applications; * Security in service-oriented systems and applications; * Service composition, coordination, orchestration, integration, and adaptation; * Service-Oriented Architecture (SOA); * Support for business processes-from design- to run-time; * QoS monitoring, modelling, and analysis in service-oriented systems and applications; * Verification and testing solutions for service-oriented systems and applications. Guest Editors Dr. Jacopo Soldani, University of Pisa, Italy [http://pages.di.unipi.it/soldani] Dr. Stefano Forti, University of Pisa, Italy [http://pages.di.unipi.it/forti/]

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science