May 2025 - computational.science

Ada-Europe - AEiC 2025 early registration deadline imminent
by Dirk.Craeynest＠cs.kuleuven.be 24 May '25

24 May '25

----------------------------------------------------------------------- UPDATED Call for Participation *** Early registration DEADLINE May 27 *** 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025) 10-13 June 2025, Paris, France www.ada-europe.org/conference2025 *** Extensive info and registration online *** *** Add tutorials and/or a workshop to your conference registration *** #AEiC2025 #AdaEurope #AdaProgramming Organized by Ada-Europe and Ada-France, in cooperation with ACM SIGPLAN, supported and sponsored by Embedded France, AdaCore, Emenda, Systerel, Scitools, Pacte Novation, Institut Frederik Bull, and Mines Paris ----------------------------------------------------------------------- *** UPDATE Ada-Europe - AEiC 2025 early registration deadline imminent Register now: discounted fees until May 27! <http://www.ada-europe.org/conference2025/registration.html> Come to the Ada-Europe conference in Paris, experience a packed program in an exciting town, benefit from tutorials on Tuesday, join a workshop on Friday, enjoy the social events and some sightseeing! Extra conference sponsorship allows for an extremely low 25 EUR fee for the Ada Developers Workshop on Friday! See below for an overview, and visit our website for more details about the conference program, registration fees, social events and much more. *** General Information The 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025) returns after 11 years to Paris, France. The conference schedule comprises keynote and invited talks, a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops. There will be time for networking during breaks and lunches, as well as various social events. AEiC 2025 is the latest in a series of annual international conferences started in the early 80's, under the auspices of Ada-Europe, the international organization that promotes knowledge and use of the Ada programming language and reliable software in general, into academic education and research, and industrial practice. 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. The 2025 edition of the conference continues a number of important innovations started in previous years: - reduced conference registration fee for all authors; - extra low registration fee for Ada Developers workshop; - journal-based open-access publication model for peer-reviewed papers; - compact program with two core days (Wednesday & Thursday); - tutorials on Tuesday, followed by welcome event for all participants; - workshops on Friday, optional chill event on Thursday evening. *** Overview of the Week <http://www.ada-europe.org/conference2025/overview.html> - Tue 10: 4 half-day tutorials, 1 full-day tutorial, welcome reception; - Wed 11: core technical program, conference banquet; - Thu 12: core technical program, post conference chill-out; - Fri 13: 3 full-day workshops. The AEiC 2025 website has extensive information, such as an overview of the program and the schedule, the list of accepted papers and presentations, and descriptions of workshops, tutorials, keynote and invited presentations, and social events. Also check the conference site for registration, accommodation and travel information. The Final Program brochure will be available there as well. *** Venue <http://www.ada-europe.org/conference2025/venue.html> The conference will take place at Mines Paris, a founding member of Université PSL, a leading French engineering school and the French leader institution in research partnerships. It is located along the Luxembourg gardens, next to the Quartier Latin, and is close to public transportation, including line B of the RER to Charles De Gaulle airport (CDG). Paris, the capital city of France, is renowned for its rich history, stunning architecture, and vibrant culture. Often referred to as "The City of Light" Paris is home to iconic landmarks such as the Eiffel Tower, the Louvre Museum, and Notre-Dame Cathedral. If you can stay over before or after the conference, there's a lot to see. Check the Practical Information section of the conference website for more info. *** Invited Speakers <http://www.ada-europe.org/conference2025/keynotes.html> This year the conference will once more feature keynotes and invited talks. All will address topics of relevance in the conference scope, with time for questions and answers. - On Wednesday morning, June 11, a keynote talk by Stefano Zacchiroli, of Télécom Paris, France, on "Building a Safer Open Source Supply Chain with Software Heritage, the Great Library of Source Code". - On Wednesday afternoon, June 11, an invited talk by Tullio Vardanega, from University of Padua, Italy, on "Language Ownership: Key Moments in the Lifetime of Ada". - On Thursday morning, June 12, a keynote talk by Claire Pagetti, of ONERA, France, on "Certification of Machine Learning Based System - Contribution of Formal Verification". *** Conference Core Composition <https://www.ada-europe.org/conference2025/overview.html#title1> The core conference program features six distinct types of technical presentations, with different duration, all followed by various manners of discussion time: journal-track talk (30 minutes), industrial-track talk (20 minutes), work-in-progress-track talk (20 minutes), vendor presentations (20 minutes), keynote (1 hour), invited talk (30 minutes). All papers presented in the journal track, the industrial track and the work-in-progress track have undergone peer review. Presentations are combined into by-theme and not by-track sessions, in order that authors and participants alike enjoy all flavors of the program in a mixed as opposed to segregated combination. The list of accepted papers and presentations, and the detailed schedule, is available on the conference website at <https://www.ada-europe.org/conference2025/overview.html#schedule> Papers and Presentations: - 2 keynotes and 1 invited presentation; - 6 sessions with a mix of presentations on various topics: Secure Distributed Systems, Ada and Modeling, Multi-core Architectures, Embedded Systems, Real-time and Safety, and Applications; - 6 journal-track talks; - 9 work-in-progress reports; - 4 industrial presentations and experience reports; - 2 vendor presentations; - submissions from around the world. *** Tutorials <http://www.ada-europe.org/conference2025/tutorials.html> A full-day tutorial is offered on Tuesday 10th: - "Developing Bare-metal Embedded Software in SPARK Ada for 64-bit ARM Platforms", by J. Germán Rivera, Tesla, USA. A hands-on tutorial. Attendees are encouraged to bring their own RaspberryPI boards, a development laptop, and a USB-to-serial cable. In parallel, four half-day tutorials are scheduled: - "Multiple Double and Multiword Arithmetic", by Jan Verschelde, University of Illinois at Chicago, USA. "Quality up" is often more meaningful than "speedup": instead of using multi-processors to obtain results faster, obtain results that are more accurate. - "Unleash the Power of Ada Generics", by Gautier de Montmollin, Ada-Switzerland, Switzerland. Generics, known elsewhere as templates or macros, form an abstraction that is prosaically a smart version of a text with gaps, which helps to eliminate code duplication. The Ada flavor of generics, available since the first Ada standard, is remarkably powerful. - "Turning your Programming Language into a Modeling Language", by S. Tucker Taft, AdaCore, USA. An introduction to how one could create a productive framework for performing modeling within your favorite programming language. - "Introduction to the ALiRe Package Manager", by Quentin Dauprat, Université de Caen, Normandie, France. The ALiRe project (Ada Library Repository) is a community-oriented package manager for the Ada and SPARK open source ecosystem. Tackles the use of Alire to bootstrap a project with the support of libraries available (and not available) in the community index. *** Satellite Events Three workshops are held on Friday 13th: - 4th ADEPT workshop "AADL by its practitioners". <http://www.ada-europe.org/conference2025/workshop_adept.html> - 10th International Workshop on "Challenges and New Approaches for Dependable and Cyber-Physical System Engineering" (DeCPS 2025). <http://www.ada-europe.org/conference2025/decps.html> - 2nd "Ada Developers Workshop", an informal yet dynamic gathering for developers in the Ada community to meet, share insights, and present their latest projects or project updates; a full "Ada day" with 8 technical presentations on Ada-related topics and 10 authors from 5 countries: Belgium, France, Spain, Switzerland, and USA. <http://www.ada-europe.org/conference2025/workshop_adadev.html> *** Social Program <http://www.ada-europe.org/conference2025/social_program.html> The conference provides several opportunities to socialize: - Each day: coffee breaks and lunches offer ample time for interaction and networking with participants and vendors. - Tuesday evening: Welcome Reception at "Table du Luxembourg". The usual welcome "apéro" will take place at this nice restaurant right in the middle of the Luxembourg garden, a Parisians' favorite! - On conference days: Mineralogy Museum. The École des Mines features a splendid Mineralogy museum. During the conference, you can access it free of charge by showing your name badge. Do not miss this opportunity! - Wednesday evening: Conference Banquet at the "Bouillon Racine", a typical Parisian restaurant built in 1906 and classified as "historical monument". The restaurant is located within walking distance from the conference location. We will have dinner in the beautiful dining room on the first floor, an authentic turn of the 20th century decoration. - Thursday evening: Chill Event at the Café Latin, a casual typical café, to have a little chat with colleagues during an informal dinner (separate registration). For those who want to get a feeling of the Latin Quarter, we prepared an itinerary that will show you the main milestones of the neighborhood while walking to the Café Latin. *** Further Information Registration: - registration information is provided at <http://www.ada-europe.org/conference2025/registration.html> - early registration discount until Tuesday May 27, 2025 - payment possible by credit card or bank transfer - special low conference fee for authors - discount for Ada-Europe and ACM SIGPLAN members - registration includes coffee breaks, lunches and social events - strong discount on conference fees for students - minimal fee for Ada Developers Workshop - see registration page for all details Promotion: - recommended hashtags: #AEiC2025 #AdaEurope #AdaProgramming The conference is organized by: - Ada-Europe <http://www.ada-europe.org/> - Ada-France <https://www.ada-france.org/> in cooperation with: - ACM SIGPLAN <http://www.sigplan.org/> supported and sponsored by: - Embedded France <https://www.embedded-france.org/> - AdaCore <https://www.adacore.com/> - Emenda <https://emenda.com/> - Systerel <https://www.systerel.fr/> - Scitools <https://scitools.com/> - Pacte Novation <https://www.pactenovation.fr/index.php/ logiciel-critique-ada-fondements-et-enjeux/> - Institut Frederik Bull <https://institutbull.fr/> - Mines Paris <https://www.minesparis.psl.eu/> Please make sure you book accommodation as soon as possible. <https://www.ada-europe.org/conference2025/accommodation.html> For more info and latest updates see the conference website at <http://www.ada-europe.org/conference2025>. We look forward to seeing you in Paris in June 2025! ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, AEiC 2025 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be Dirk.Craeynest(a)kuleuven.be * 29th Ada-Europe Int.Conf. Reliable Software Technologies (AEiC 2025) * June 10-13, 2025, Paris, France * www.ada-europe.org/conference2025

1 0

CfP BigHPC 2025
by Marco PULIMENO 21 May '25

21 May '25

BigHPC2025: Special Track on Big Data and High-Performance Computing at the ITADATA25 Conference Following the success of the past editions, BigHPC is back! Contributions are welcome from academia and industry, presenting research results on all theoretical and practical aspects standing at the intersection of High-Performance Computing (HPC) and Big Data. The event focuses on contributions to HPC architectures, algorithms, models, and management approaches for large data collections, including data processing, analysis, reporting, data protection, experimental studies, hands-on insights, datasets, and lessons learned. Topics of interest include, but are not limited to: HPC Architectures and systems for big data Parallel and distributed algorithms for big data processing HPC-enabled data analytics High-performance data storage and retrieval systems Performance modeling and evaluation of HPC systems for big data HPC in machine learning and artificial intelligence HPC for scientific computing and simulations HPC in the cloud for big data processing Energy-efficient and green HPC for big data Hybrid classical-quantum computing: integration, benchmarking, and HPC-based emulation Quantum algorithms for machine learning, optimization, and generative models Quantum natural language processing and AI applications Compilation, gate synthesis, and error correction in quantum systems Post-quantum cryptography and security in the quantum era BigHPC25 accepts two different submissions for review, including: - Original research papers (min 6 pages, max 10 pages). This type of contribution should not have been published elsewhere and should not currently be under consideration for another journal, conference, or workshop. Original research papers will be published in the CEUR proceedings and must follow the CEUR-ART style files (1 column) available here. - Extended abstracts (min 2 pages, max 5 pages). This type of contribution may present work in progress or contributions that have already been published or are in preparation for publication. The extended abstracts must follow the CEUR-ART style files (1 column) available here. Manuscripts must be submitted to the "BigHPC" track using the ITADATA submission site. Contributions will be evaluated and selected based on their quality, originality, and relevance. As last year, we are working to provide a journal special issue. Authors of the best original research papers—whether full papers or innovative extended abstracts—will be invited to submit an extended version of their work for evaluation. The details will be announced soon. Important dates Submissions due: June 1st, 2025 Author notification: July 20th, 2025 Camera-ready paper and registration due: August 3rd, 2025 Website https://www.itadata.it/2025/bighpc2025 The BigHPC25 Chairs Alessia Antelmi, University of Turin Massimo Cafaro, Università del Salento Italo Epicoco, Università del Salento Marco Pulimeno, Università del Salento --

1 0

HPC Containers to AI Workloads: May 25 VHPC'25 Extended Deadline
by Michael Alexander 16 May '25

16 May '25

========================================================== CALL FOR PAPERS 20th Workshop on Virtualization in High-Performance Cloud Computing (VHPC '25) held in conjunction with the European Conference on Parallel and Distributed Computing Aug 25-29, 2025, Dresden, Germany. (Springer LNCS Proceedings) ========================================================== Paper submission deadline: May 25th, 2025 AoE (extended) Date: August 25, 2025 Workshop URL: vhpc dot org To submit an abstract or paper, please follow the link provided in the Call for Papers (CfP) announcement at the end of this message. Call for Papers This year, we are calling the timely topic of virtualization in support of high-memory LLM training workloads including, but not limited to: - GPU hypervisor memory virtualization: Techniques for virtualizing GPU memory to allow flexible and efficient allocation across multiple workloads, enabling higher utilization of GPU resources - Flat CPU/GPU memory page tables/TLB: Unified virtual memory spaces and page table structures that allow both GPUs to address CPU memory mapped to accelerator global memory space - Storage/filesystem to virtual memory mapped approaches - Distributed memory virtualization - Memory compression and reduction techniques: approaches for compressing model parameters, activations, and gradients to reduce memory requirements during training - Out-of-core training algorithms - Efficient memory allocation and management: Techniques for optimizing memory allocation, reducing fragmentation, and improving memory utilization during training - Memory-efficient data formats and processing: Data formats and processing techniques that minimize memory overhead while maintaining training efficiency - Benchmarking and profiling tools: Tools and methodologies for measuring, analyzing, and optimizing memory usage in LLM training workloads - Case studies and applications: Real-world examples and applications of virtualization techniques in LLM training scenarios 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. 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. 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 co-existence 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 manyvirtualization benefits with a minimized OS/library surface. I/O virtualization, in turn, allows physical network interfaces to exchange traffic with multiple VMs or containers; network virtualization, with its capability to create logical network overlays independently from the underlying physical topology, is another fundamental enabling technology for Cloud/HPC infrastructures. Last, storage virtualization needs to evolve to support increasingly demanding requirements in terms of performance and reliability for the managed application data. 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 cloud computing. Each topic encompasses aspects related to design/architecture, management, performance management, modeling and\ configuration/tooling: Design / Architecture: - Containers and OS-level virtualization (LXC, Docker/Podman, Nitro/Firecracke, Singularity) - Hypervisor support for heterogeneous resources (GPUs, NPUs, co-processors, FPGAs, etc.) - GPU hypervisor memory virtualization in support of high-memory LLM training workloads - Hypervisor extensions to mitigate side-channel attacks ([micro-]architectural timing attacks, privilege escalation) - Use of Risc-V related technologies for cloud, virtualized and HPC use-cases - VM & Container trust and security models - Multi-environment coupling, system software supporting in-situ analysis with HPC simulation - Cloud reliability, fault-tolerance and high-availability - Cloud-based quantum compute services - Energy-efficient and power-aware virtualization - Containers inside VMs with hypervisor isolation - Virtualization support for emerging memory and storage technologies - Lightweight/specialized operating systems in conjunction with virtual machines - Unikernels and use cases for virtualized HPC environments - Formal definition and verification of hypervisors and virtualization system properties - ARM-based hypervisors, ARM virtualization extensions Management: - Container and VM management for HPC and cloud environments - Virtualized/Cloudified instances to support Lambda / Function-as-a- Service (FaaS) Paradigms - HPC services integration, services to support HPC - Service and on-demand scheduling & resource management - Dedicated workload management with VMs or containers - Workflow coupling with VMs and containers - Unikernels and lightweight VM application management - Environments and tools for operating containerized environments (batch, orchestration) - Models for non-HPC workload provisioning on HPC resources Performance Measurements and Modeling: - Performance improvements for or driven by unikernels - Optimizations of virtual machine monitor platforms and hypervisors - Scalability analysis of VMs and/or containers at large scale - Performance measurement, modeling and monitoring of virtualized/ cloud workloads - Virtualization in supercomputing environments, HPC clusters, HPC in the cloud with an emphasis on AI GPUs/TPUs/NPUs - Energy-efficient deployment of high-performance, ultra-low latency and real-time workloads in cloud infrastructures - Modeling, control and isolation of end-to-end performance for parallel & distributed cloud/HPC applications, including the use of cloud functions / FaaS Configuration / Tooling: - Tool support for unikernels: configuration/build environments, debuggers, profilers - Job scheduling/control/policy and container placement in virtualized environments - Measuring and controlling "OS/Virtualization noise" - Operating MPI in containers/VMs and Unikernels - GPU virtualization operationalization 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 Rolling abstract submission May 25th, 2025 AoE (extended) - Paper submission deadline Jun 23th, 2025 - Acceptance notification Jul 2, 2025 - Camera-ready due Aug 25, 2025 - Workshop Day Chair Michael Alexander (chair), Austrian Academy of Sciences Anastassios Nanos (co-chair), Nubificus Ltd., UK Tentative Technical Program Committee Stergios Anastasiadis, University of Ioannina, Greece Gabriele Ara, Scuola Superiore Sant'Anna Jakob Blomer, CERN, Switzerland Eduardo César, Universidad Autonoma de Barcelona, Spain Taylor Childers, Argonne National Laboratory, USA François Diakhaté, CEA DAM, France Roberto Giorgi, University of Siena, Italy Kyle Hale, Northwestern University, USA Giuseppe Lettieri, University of Pisa, Italy Nikos Parlavantzas, IRISA, France Amer Qouneh, Western New England University, USA Carlos Reaño, Queen’s University Belfast, UK Riccardo Rocha, CERN, Switzerland Lutz Schubert, University of Ulm, Germany 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 12 pages, including tables and figures at a main font size no smaller than 11 points. 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. Initial submissions are in PDF; authors of accepted papers will be requested to provide source files. Lightning Talks Lightning Talks are in a 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 abstracts via the main submission link. General Information The workshop will be held in conjunction with the International European Conference on Parallel and Distributed Computing on Aug 25, 2025, Dresden, Germany. Please contact ahead of time for presenting remotely via video. Abstract, Paper Submission Link: https://edas.info/N33172 LNCS Format Guidelines: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… Follow VHPC Updates on Bluesky: https://bsky.app/profile/vhpc.bsky.social

1 0

Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
by Dirk.Craeynest＠cs.kuleuven.be 12 May '25

12 May '25

----------------------------------------------------------------------- Call for Participation 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025) 10-13 June 2025, Paris, France www.ada-europe.org/conference2025 *** Early registration DEADLINE May 27 *** *** Extensive info and registration online *** *** Add tutorials and/or a workshop to your conference registration *** #AEiC2025 #AdaEurope #AdaProgramming Organized by Ada-Europe and Ada-France, in cooperation with ACM SIGPLAN, supported and sponsored by Embedded France, AdaCore, Emenda, Systerel, Scitools, Pacte Novation, Institut Frederik Bull, and Mines Paris ----------------------------------------------------------------------- Preparations for AEiC 2025, the 29th Ada-Europe International Conference on Software Reliable Technologies, are well underway! Come to the Ada-Europe conference in Paris, experience a packed program in an exciting town, benefit from tutorials on Tuesday, join a workshop on Friday, enjoy the social events and some sightseeing! Register now: discounted fees until May 27! <http://www.ada-europe.org/conference2025/registration.html> Extra conference sponsorship allows for an extremely low 25 EUR fee for the Ada Developers Workshop on Friday! See below for an overview, and visit our website for more details about the conference program, registration fees, social events and many more. *** General Information The 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025) returns after 11 years to Paris, France. The conference schedule comprises keynote and invited talks, a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops. There will be time for networking during breaks and lunches, as well as various social events. AEiC 2025 is the latest in a series of annual international conferences started in the early 80's, under the auspices of Ada-Europe, the international organization that promotes knowledge and use of the Ada programming language and reliable software in general, into academic education and research, and industrial practice. 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. The 2025 edition of the conference continues a number of important innovations started in previous years: - reduced conference registration fee for all authors; - extra low registration fee Ada Developers workshop; - journal-based open-access publication model for peer-reviewed papers; - compact program with two core days (Wednesday & Thursday); - tutorials on Tuesday, followed by welcome event for all participants; - workshops on Friday, optional chill event on Thursday evening. *** Overview of the Week - Tue 10: 4 half-day tutorials, 1 full-day tutorial, welcome reception; - Wed 11: core technical program, conference banquet; - Thu 12: core technical program, post conference chill-out; - Fri 13: 3 full-day workshops. Extensive information on AEiC 2025 will be on the conference website, such as an overview of the program, the list of accepted papers and presentations, and descriptions of workshops, tutorials, keynote and invited presentations, and social events. Also check the conference site for registration, accommodation and travel information. The Final Program brochure will be available there as well. *** Venue <http://www.ada-europe.org/conference2025/venue.html> The conference will take place at Mines Paris, a founding member of Université PSL, a leading French engineering school and the French leader institution in research partnerships. It is located along the Luxembourg gardens, next to the Quartier Latin, and is close to public transportation, including line B of the RER to Charles De Gaulle airport (CDG). Paris, the capital city of France, is renowned for its rich history, stunning architecture, and vibrant culture. Often referred to as "The City of Light," Paris is home to iconic landmarks such as the Eiffel Tower, the Louvre Museum, and Notre-Dame Cathedral. If you can stay over before or after the conference, there's a lot to see. Check the Practical Information section of the conference website for more info. *** Invited Speakers <http://www.ada-europe.org/conference2025/keynotes.html> This year the conference will once more feature keynotes and invited talks. All will address topics of relevance in the conference scope, with time for questions and answers. - On Wed morning, June 11, a keynote talk by Stefano Zacchiroli, of Télécom Paris, France, on "Building a Safer Open Source Supply Chain with Software Heritage, the Great Library of Source Code". - On Wed afternoon, June 11, an invited talk by Tullio Vardanega, from University of Padua, Italy, on "Language Ownership: Key Moments in the Lifetime of Ada". *** Conference Core Composition The core conference program features three distinct types of technical presentations, with different duration, in addition to the keynote and invited talks: journal-track talks (25 minutes), industrial-track talks (20 minutes), vendor presentations (15 minutes), work-in-progress-track talks (10 minutes). All papers presented in the journal track, the industrial track and the work-in-progress track have undergone peer review. Presentations are combined into by-theme and not by-track sessions, in order that authors and participants alike enjoy all flavors of the program in a mixed as opposed to segregated combination. The list of accepted papers and presentations, and the detailed schedule, will be announced shortly. *** Tutorials <http://www.ada-europe.org/conference2025/tutorials.html> A full-day tutorial is offered on Tuesday 10th: - "Developing Bare-metal Embedded Software in SPARK Ada for 64-bit ARM Platforms", by J. Germán Rivera, Tesla, USA. In parallel, four half-day tutorials are scheduled: - "Multiple Double and Multiword Arithmetic", by Jan Verschelde, University of Illinois at Chicago, USA; - "Unleash the Power of Ada Generics", by Gautier de Montmollin, Ada-Switzerland, Switzerland; - "Turning your Programming Language into a Modeling Language", by S. Tucker Taft, AdaCore, USA; - "Introduction to the ALiRe Package Manager", by Quentin Dauprat, Université de Caen, Normandie, France. *** Satellite Events Three workshops are held on Friday 13th: - 4th ADEPT workshop "AADL by its practitioners". <http://www.ada-europe.org/conference2025/workshop_adept.html> - 10th International Workshop on "Challenges and New Approaches for Dependable and Cyber-Physical System Engineering" (DeCPS 2025). <http://www.ada-europe.org/conference2025/decps.html> - 2nd "Ada Developers Workshop", an informal yet dynamic gathering for developers in the Ada community to meet, share insights, and present their latest projects or project updates; a full "Ada day" with 8 technical presentations on various Ada-related topics and 10 authors from 5 countries: Belgium, France, Spain, Switzerland, and USA. <http://www.ada-europe.org/conference2025/workshop_adadev.html> *** Social Program <http://www.ada-europe.org/conference2025/social_program.html> The conference provides several opportunities to socialize: - Each day: coffee breaks and lunches offer ample time for interaction and networking with participants and vendors. - Tuesday early evening: Welcome Reception (details to be announced). - On conference days: Mineralogy Museum. The École des Mines features a splendid Mineralogy museum. During the conference, you can access it free of charge by showing your name badge. Do not miss this opportunity! - Wednesday evening: Conference Banquet at the "Bouillon Racine", a typical Parisian restaurant built in 1906 and classified as "historical monument". The restaurant is located within walking distance from the conference location. We will have dinner in the beautiful dining room on the first floor, an authentic turn of the 20th century decoration. - Thursday evening: Chill Event at the Café Latin, a casual typical café, to have a little chat with colleagues during an informal dinner (separate registration). For those who want to get a feeling of the Latin Quarter, we prepared an itinerary that will show you the main milestones of the neighborhood while walking to the Café Latin. *** Further Information Registration: - registration information is provided at <http://www.ada-europe.org/conference2025/registration.html> - early registration discount until Tuesday May 27, 2025 - payment possible by credit card or bank transfer - special low conference fee for authors - discount for Ada-Europe and ACM SIGPLAN members - registration includes coffee breaks, lunches and social events - strong discount on conference fees for students - minimal fee for Ada Developers Workshop - see registration page for all details Promotion: - recommended hashtags: #AEiC2025 #AdaEurope #AdaProgramming The conference is organized by: - Ada-Europe <http://www.ada-europe.org/> - Ada-France <https://www.ada-france.org/> in cooperation with: - ACM SIGPLAN <http://www.sigplan.org/> supported and sponsored by: - Embedded France <https://www.embedded-france.org/> - AdaCore <https://www.adacore.com/> - Emenda <https://emenda.com/> - Systerel <https://www.systerel.fr/> - Scitools <https://scitools.com/> - Pacte Novation <https://www.pactenovation.fr/index.php/ logiciel-critique-ada-fondements-et-enjeux/> - Institut Frederik Bull <https://institutbull.fr/> - Mines Paris <https://www.minesparis.psl.eu/> Please make sure you book accommodation as soon as possible. <https://www.ada-europe.org/conference2025/accommodation.html> For more info and latest updates see the conference website at <http://www.ada-europe.org/conference2025>. We look forward to seeing you in Paris in June 2025! ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, AEiC 2025 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be Dirk.Craeynest(a)kuleuven.be * 29th Ada-Europe Int.Conf. Reliable Software Technologies (AEiC 2025) * June 10-13, 2025, Paris, France * www.ada-europe.org/conference2025

1 0

[CFP] AHPC3: The 2nd Workshop on Accelerated HPC in the Cloud-Edge Continuum
by Valerio Besozzi 10 May '25

10 May '25

--Apologies for multiple postings. Share this CFP with anyone you believe may be interested. -- ======================================================================== AHPC3: The 2nd Workshop on Accelerated HPC in the Cloud-Edge Continuum Affiliated with the 13th IEEE International Conference on Cloud Engineering (IC2E2025) September 23-26, 2025, Rennes, France Workshop site: http://ahpc3.di.unipi.it/ Conference site: https://conferences.computer.org/IC2E/2025/ Submission site: http://ahpc3.di.unipi.it/submissions.html ======================================================================== Important Dates --------------- - June 03, 2025: Submission of paper abstracts - June 16, 2025: Submission of short/regular papers - July 21, 2025: Notification to authors - July 31, 2025: Submission of camera-ready Overview -------- We are witnessing an increasing demand for high-performance computing (HPC) infrastructures. Modern applications require processing of computationally intensive workloads, across diverse domains driven by AI/ML, federated learning, and data-intensive needs in distributed Cloud-Edge-HPC environments. Traditional distinctions between HPC and cloud infrastructures are blurring as modern cloud and edge environments incorporate capabilities historically exclusive to HPC systems. The AHPC3 workshop focuses on achieving HPC via Cloud-Edge architectures, promoting energy-efficient execution, green computing, and intelligent resource management. It explores the adaptation of technologies like serverless computing, microservices, and fine-grained task offloading for scalable and resilient HPC applications. We welcome original contributions on programming paradigms, runtime systems, orchestration frameworks, efficient data management, fault tolerance, security, and sustainability in hybrid environments. Topics of Interest ------------------ - Adaptation of cloud-edge technologies for HPC (e.g., serverless, microservices, task offloading) - Cloud-edge computing architectures for HPC (e.g., resource federation) - Lightweight virtualization, execution environments, and scheduling techniques - Orchestration and deployment of high-performance workflows - Programming paradigms for high-performance Cloud-Edge computing - Communication, data, and resource management in Cloud-Edge computing - Fault tolerance, reliability, and security - Data-intensive workloads and monitoring tools - Energy-efficient computing in Cloud-Edge environments - Accelerated computing (e.g., GPUs, AI/ML accelerators) - Network-aware optimization and data movement - Federated resource-sharing and learning - Novel orchestration algorithms for cloud/edge - ML/AI-based support for Cloud/Edge computing Submissions and Attendance -------------------------- Submission link: http://ahpc3.di.unipi.it/submissions.html Accepted papers will be published in the conference proceedings. Submissions must be original and not under consideration elsewhere. Papers (5–9 pages) must follow IEEE conference format. At least one author must register and present the paper. Organisers ---------- - Luca Ferrucci, University of Pisa - luca.ferrucci(a)unipi.it<mailto:luca.ferrucci@unipi.it> - Stefano Forti, University of Pisa - stefano.forti(a)unipi.it<mailto:stefano.forti@unipi.it> - Valerio Besozzi, University of Pisa - valerio.besozzi(a)phd.unipi.it<mailto:valerio.besozzi@phd.unipi.it> - Jacopo Massa, University of Pisa - jacopo.massa(a)di.unipi.it<mailto:jacopo.massa@di.unipi.it>

1 0

Deadline Extension: Workshop on Scalable Compute Continuum (WSCC) co-located with Euro-Par 2025
by nardelli＠ing.uniroma2.it 05 May '25

05 May '25

[Please accept our apologies if you receive multiple copies of this email] ************************************************************************************************** WSCC 2025: Euro-Par 2025 International Workshop on Scalable Compute Continuum Date: 25 August 2025 Location: Dresden, Germany Workshop web page: https://wscc.di.unipi.it/ Euro-Par web page: https://2025.euro-par.org/ Submission site: https://easychair.org/conferences/?conf=europar2025 ************************************************************************************************** * Call for Papers The “Compute Continuum” paradigm is transforming how we manage the heterogeneity and dynamism of widespread computing resources. By seamlessly integrating resources across the edge, fog, and cloud, this paradigm enhances data locality, performance, availability, adaptability, energy efficiency, and other non-functional properties. This is made possible by overcoming resource fragmentation and segregation in tiers, allowing applications to be seamlessly executed and relocated along a continuum of resources spanning from the edge to the cloud. Besides consolidated vertical and horizontal scaling patterns, the Compute Continuum also introduces fine-grained adaptation actions tailored to specific infrastructure components (e.g., optimizing energy consumption or leveraging specialized hardware such as GPUs, FPGAs, and TPUs). These capabilities unlock significant benefits, including support for latency-sensitive applications, reduction of network bandwidth consumption, improved privacy protection, and enable the development of novel services across domains such as smart cities, healthcare, safety, and mobility. All of this should be achievable by application developers without having to worry about how and where the developed components will be executed. To fully harness the potential of the Compute Continuum, proactive, autonomous, and infrastructure-aware management is essential. This calls for novel interdisciplinary approaches that exploit optimization theory, control theory, machine learning, and artificial intelligence methods. In this landscape, the workshop is willing to attract contributions in the area of distributed systems with particular emphasis on support for geographically distributed platforms and autonomic features to deal with variable workloads and environmental events, and take the best of heterogeneous and distributed infrastructures. A partial list of interesting topics of this workshop is the following: - Scalable architectures and systems for the Compute Continuum - Orchestration, deployment, and management of resources and applications in the Compute Continuum - Programming models, languages and patterns for the Compute Continuum - Compute Continuum performance modeling and analysis - Function-as-a-Service and Backend-as-a-Service in the Compute Continuum - Energy-efficient and carbon-aware solutions for sustainable Compute Continuum - Lightweight virtualization for the Compute Continuum - AI-driven optimization and AI-related workloads in the Compute Continuum (e.g., federated, distributed, decentralized learning) - Scalable applications for the Compute Continuum (e.g., IoT, microservices, serverless) - Data processing and analytics in the Compute Continuum - Digital Twins and industry applications in the Compute Continuum - Prototypes and real-life experiments involving Compute Continuum - Heterogeneous hardware acceleration and domain-specific architectures - Workflows in the Compute Continuum - Convergence and integration of HPC and Continuum platforms - Resilience and fault-tolerant strategies for the Compute Continuum - Benchmarks, reproducibility frameworks, and real-world experimental platforms * Submission Instructions The papers should be formatted according to the LNCS guidelines. They should be between a minimum of 10 and maximum of 12 pages. * Special Issue Selected papers will be invited to submit an extended version to a Journal Special Issue. We are in contact to propose a Special Issue in a high-quality journal. Information will appear soon on the WSCC web site. * Important Dates May 21st, 2025 (extended) Paper submission deadline June 23rd, 2025 Paper acceptance notifications July 7th, 2025 Camera-ready due * Workshop Co-Chairs - Valeria Cardellini, University of Rome Tor Vergata, Italy - Patrizio Dazzi, University of Pisa, Italy - Gabriele Mencagli, University of Pisa, Italy - Matteo Nardelli, Bank of Italy, Italy - Massimo Torquati, University of Pisa, Italy We look forward to receiving your contributions!

1 0