- computational.science - lists.iccsa.org

Open PhD student position at KIT: Uncertainty quantification in multiscale materials modelling
by Kondov, Ivan (SCC) 01 Sep '23

01 Sep '23

Dear all, We are inviting applicants for the following open position (see below). With my best regards, Ivan Kondov PhD Position (3 years 75% salary level E13) Uncertainty quantification in multiscale materials modelling Courses: mathematics, physics, computational science, materials science Topic description Uncertainty quantification has been adopted for single-scale methods such as density functional theory (DFT), force field methods and coarse-grained modeling. These methods, although widely applied, are still no black-box methods. Their successful application still requires a very good knowledge of their strengths and shortcomings. Moreover, combining these methods raises the question about propagation of uncertainty across the time and length scales. Application 1 (in project P1 "Friction at solid--liquid interfaces") Quantities obtained from molecular dynamics (MD) simulations fluctuate naturally because of thermal effects. A key aspect of our continuum-coupling scheme will therefore be to disentangle thermal fluctuations from uncertainties. Methods for local and global sensitivity analysis have to be developed to determine and discriminate the errors caused by the MD simulations. This requires the development of a machine learning (ML) regression scheme that predicts amplitudes of thermal fluctuations, e.g. of the stress tensor, in addition to mean values as well as their respective uncertainties for active learning scenarios. With these amplitudes, the continuum solver will be extended to incorporate these fluctuations. This requires a reformulation of the height-averaged continuum equation, starting from fluctuating hydrodynamics. A key challenge here will be the analytical computation of statistical fluctuations of the averaged field that needs to fulfil some form of fluctuation-dissipation theorem. Application 2 (in project P3 "Single-site catalysis in porous materials") Reaction and diffusion rates, computed by either DFT or machine learning force fields (MLFF), contain uncertainties of various kinds that are propagated through the kinetic Monte Carlo (KMC) simulation. Especially when two or more KMC rates are produced using a common method and input data that may result in error cancellation or accumulation. The effects of such correlated uncertainties will be investigated using global sensitivity analysis. This will make possible to identify the critical uncertainties in the most influential rates determining the kinetic pathway. We will analyze the uncertainties affecting the predicted effect of confinement, as well as uncertainties arising from the DFT calculations. Requirements Knowledge or experience in at least one of these methodological fields will be an advantage for the candidate: mathematical modelling, machine learning / statistical modeling, and uncertainty quantification. Partners This thesis will be carried out in the framework of the interdisciplinary Research Training Group 2450 "Tailored Scale-Bridging Approaches to Computational Nanoscience" in close collaboration with partner PhD students within the training group. Contact Dr. Ivan Kondov Steinbuch Centre for Computing Karlsruhe Institute of Technology ivan.kondov(a)kit.edu

1 0

GandALF 2023: Registration is open – Call For Participation
by Gabriele Puppis 21 Aug '23

21 Aug '23

*[apologies for cross-postings]* * Registration is finally open for the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23), to be held in Udine (Italy) on September 18-20, 2023. *** Early registration deadline is September 4, 2023 (Monday) *** We invite you to attend GandALF 2023. We will offer a very exciting technical and social program, which includes 15 contributed talks, 4 invited talks by renowned international theoretical computer scientists: - Weighted Automata At The Border Of Decidability by Laure Daviaud <https://www.city.ac.uk/about/people/academics/laure-daviaud> – University of East Anglia (UK),- Complexity Aspects Of Logics In Team Semantics by Juha Kontinen <https://researchportal.helsinki.fi/en/persons/juha-kontinen> – University of Helsinki (Finland),- Strategic Reasoning Under Imperfect Information – The Case Of Synchronous Recall by Sophie Pinchinat <https://people.irisa.fr/Sophie.Pinchinat/> – IRISA/University of Rennes (France),- The Church Synthesis Problem Over Continuous Time by Alexander Rabinovich <http://www.cs.tau.ac.il/~rabinoa> – Tel Aviv University (Israel), and an enchanting boat trip and dinner at a traditional Casone (check it out at https://gandalf23.uniud.it/excursion/ <https://gandalf23.uniud.it/excursion/>). To register to the conference, follow the instructions at https://gandalf23.uniud.it/registration/ <https://gandalf23.uniud.it/registration/>. For more details about GandALF 2023 and about how to organize your visit to Udine, check our webpage (https://gandalf23.uniud.it/ <https://gandalf23.uniud.it/>). The full program will be published soon. cheers Dario and Antonis (GandALF 23 PC co-chairs)*

1 0

FGCS Special Issue on Scalable Compute Continuum
by Matteo Nardelli 07 Aug '23

07 Aug '23

(Our apologies if you received multiple copies of this CFP) ============================================== Future Generation Computer Systems Special Issue on Scalable Compute Continuum The full call for papers is available on the official FGCS website: https://www.sciencedirect.com/journal/future-generation-computer-systems/ab… ============================================== Motivation and Scope ======================= The “Compute Continuum” paradigm promises to manage the heterogeneity and dynamism of widespread computing resources, aiming to simplify the execution of distributed applications improving data locality, performance, availability, adaptability, energy management as well as other non-functional features. This is made possible by overcoming the fragmentation of IoT-edge-cloud resources and their segregation in tiers, enabling applications to be seamlessly executed and relocated along a continuum of resources spanning from the edge to the cloud. By distributing resources all around, the emerging Compute Continuum paradigm supports the execution of data-intensive applications as close as possible to data sources and end users. Besides consolidated vertical and horizontal scaling patterns, this paradigm also offers more detailed adaptation actions that strictly depend on the specific infrastructure components (e.g., to reduce energy consumption, or to exploit specific hardware such as GPUs and FPGAs). This enables the enhancement of latency-sensitive applications, the reduction of network bandwidth consumption, the improvement of privacy protection, and the development of novel services aimed at improving living, health, safety, and mobility. All of this should be achievable by application developers without having to worry about how and where the developed application components will be executed. Therefore, to unleash the true potential offered by the Compute Continuum, autonomous, proactive, and infrastructure-aware management is desirable, if not mandatory, calling for novel interdisciplinary approaches that exploit optimization theory, control theory, machine learning, and artificial intelligence methods. This special issue aims to investigate and gather research contributions on the emerging Compute Continuum, seeking solutions for running distributed applications while efficiently managing heterogeneous and widespread computing resources. Topics of interest include, but are not limited to, the following: - Scalable architectures and systems for the Compute Continuum; - System software for cloud-edge-IoT orchestration; - Distributed and decentralized management of resources and application deployment in the - Compute Continuum; - Programming models, languages and patterns for the Compute Continuum; - Compute Continuum performance modeling and analysis; - Compute Continuum as a service; - Energy-efficient solutions for sustainable Compute Continuum; - AI in the Compute Continuum; - Scalable applications for Compute Continuum (IoT, microservices, serverless); - Data-intensive and stream processing systems and applications in the Compute Continuum; - Digital Twins and industry applications in the Compute Continuum; - Prototypes and real-life experiments involving the Compute Continuum; - Benchmarks and experimental platforms for reproducible experiments in the Compute Continuum. Guest Editors ======================= 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. Important Dates ======================= Submission portal opens: May 1, 2023 Deadline for paper submission: November 3, 2023 Latest acceptance deadline for all papers: March 8, 2024 Manuscript Submission Instructions ======================= The FGCS’s submission system ( https://www.editorialmanager.com/FGCS/default.aspx) will be open for submissions to our Special Issue from May 1, 2023. When submitting your manuscript please select the article type VSI: SI_SCC_ScalCompContinuum. All submissions deemed suitable by the editors to be sent for peer review will be reviewed by at least two independent reviewers. Once your manuscript is accepted, it will go into production to be published in the special issue. Looking forward to receiving your excellent submissions soon. Best regards, Valeria Cardellini, Patrizio Dazzi, Gabriele Mencagli, Matteo Nardelli, and Massimo Torquati

1 0

CFP: IEEE HPCC2023 (High Performance Computing and Communications), Dec. 2023
by Jesson Butt 30 Jul '23

30 Jul '23

Call for papers: The 25th IEEE International Conference on High Performance Computing and Communications (HPCC 2023), 13-15 Dec. 2023, Melbourne, Australia. Website: http://www.swinflow.org/confs/2023/hpcc/ Key dates: Submission Deadline: August 25, 2023 Notification: October 15, 2023 Final Manuscript Due: October 30, 2023 Submission site: http://www.swinflow.org/confs/2023/hpcc/submission.htm Publication: Proceedings will be published by IEEE CS Press. Distinguished papers will be invited to special issues of selected journals listed on the conference website. =========== Introduction With the rapid growth in computing and communications technology, the past decade has witnessed a proliferation of powerful parallel and distributed systems and an ever increasing demand for practice of high performance computing and communications (HPCC). HPCC has moved into the mainstream of computing and has become a key technology in determining future research and development activities in many academic and industrial branches, especially when the solution of large and complex problems must cope with very tight timing schedules. Among a series of highly successful International Conferences on High Performance Computing and Communications (HPCC), HPCC conference comes to its 25th edition of a forum for engineers and scientists in academia, industry, and government to address the resulting profound challenges and to present and discuss their new ideas, research results, applications and experience on all aspects of high performance computing and communications. IEEE HPCC is sponsored by IEEE, IEEE Computer Society, and IEEE Technical Committee on Scalable Computing (TCSC). Scope and Topics Topics of particular interest include, but are not limited to: Track 1: High Performance Computing and Applications - High Performance Computing Theory - High Performance Computing Architectures - System Software and Middleware - System Software Support for Scientific Workflows - Storage and I/O Systems - Resource Management - Instruction-Level and Thread-Level Parallelism - Performance Modeling and Evaluation - Massively Multicore Systems - Future Novel Computing Platforms - Database Applications and Data Mining - High Performance Computing for Bioinformatics - High Performance Computing for Big Data - High Performance Computing for AI - High Performance Computing for Block Chains - Green High Performance Computing Track 2: Parallel and Distributed Computing and Systems - Parallel and Distributed System Architectures - Parallel and Distributed Algorithms - Data Center Architectures - Resource Virtualization - Web Services and Internet Computing - Cloud, Edge, and Cluster Computing - Sustainable and Energy Efficient Computing - Federated Learning - Embedded Systems - Distributed Systems and Applications - Pervasive/Ubiquitous Computing & Intelligence - Distributed Graphics and VR/AR/MR Systems - Distributed AI and Soft/Natural Computing - Power-Efficient and Green Computing Systems - Parallel and Distributed Computing for Big Data - Parallel and Distributed Computing for AI Track 3: Communications and Networking - Network and Interconnect Architectures - Computer Networks - Internet Architectures and Protocols - Telecommunications - Trust, Security, and Privacy - Energy-Aware Computing and Networking - 5G Network - Software Defined Networking - Network Functions Virtualization - Machine Learning and Deep Learning - Social Networking and Computing - Performance Evaluation and Measurement Submission Guidelines Submissions must include an abstract, keywords, the e-mail address of the corresponding author and should not exceed 8 pages for main conference, including tables and figures in IEEE CS format. The template files for LATEX or WORD can be downloaded here. All paper. submissions must represent original and unpublished work. Each submission will be peer reviewed by at least three program committee members. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will register for the conference and present the work. Submit your paper(s) in PDF file at the submission site: http://www.swinflow.org/confs/2023/hpcc/submission.htm. Publications Accepted and presented papers will be included into the IEEE Conference Proceedings published by IEEE CS Press. Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference, otherwise their papers may be removed from the digital libraries of IEEE CS and EI after the conference. Distinguished papers will be invited to special issues of selected journals listed on the conference website. General Chairs Xian-He Sun, Illinois Institute of Technology, USA Beniamino Di Martino, Universita' della Campania "Luigi Vanvitelli", Italy Laurence T. Yang, St. Francis Xavier University, Canada Program Chairs Muneeb Hassan, Deakin University, Australia Carson Leung, University of Manitoba, Canada

1 0

(CALL FOR PAPERS) PAW-ATM: Parallel Applications Workshop, Alternatives To MPI+X
by Morris, Karla NMN 19 Jul '23

19 Jul '23

Call for Papers PAW-ATM 2023: Parallel Applications Workshop, Alternatives To MPI+X https://sourceryinstitute.github.io/PAW/ Held in conjunction with SC23, Denver, CO Submissions deadline: July 24, 2023 July 31, 2023 Notification to authors: August 31, 2023 Workshop date: November 13, 2023 Summary As supercomputers become more and more powerful, the number and diversity of applications that can be tackled with these machines grows. Unfortunately, the architectural complexity of these supercomputers grows as well, with heterogeneous processors, multiple levels of memory hierarchy, and many ways to move data and synchronize between processors. The MPI+X programming model, use of which is considered by many to be standard practice, demands that a programmer be expert in both the application domain and the low-level details of the architecture(s) on which that application will be deployed, and the availability of such superhuman programmers is a critical bottleneck. Things become more complicated when evolution and change in the underlying architecture translates into significant re-engineering of the MPI+X code to maintain performance. Numerous alternatives to the MPI+X model exist, and by raising the level of abstraction on the application domain and/or the target architecture, they offer the ability for "mere mortal" programmers to take advantage of the supercomputing resources that are available to advance science and tackle urgent real-world problems. However, compared to the MPI+X approach, these alternatives generally lack two things. First, they aren't as well known as MPI+X and a domain scientist may simply not be aware of models that are a good fit to their domain. Second, they are less mature than MPI+X and likely have more functionality or performance "potholes" that need only be identified to be addressed. PAW-ATM is a forum for discussing HPC applications written in alternatives to MPI+X. Its goal is to bring together application experts and proponents of high-level languages to present concrete example uses of such alternatives, describing their benefits and challenges. Scope and Aims The PAW-ATM workshop is designed to be a forum for discussion of supercomputing-scale parallel applications and their implementation in programming models outside of the dominant MPI+X paradigm. Papers and talks will explore the benefits (or perhaps drawbacks) of implementing specific applications with alternatives to MPI+X, whether those benefits are in performance, scalability, productivity, or some other metric important to that application domain. Presenters are encouraged to generalize the experience with their application to other domains in science and engineering and to bring up specific areas of improvement for the model(s) used in the implementation. In doing so, our hope is to create a setting in which application authors, language designers, and architects can present and discuss the state of the art in alternative scalable programming models, while also wrestling with how to increase their effectiveness and adoption. Beyond well-established HPC scientific simulations, we also encourage submissions exploring artificial intelligence, big data analytics, machine learning, and other emerging application areas. Topics of interest include, but are not limited to: * Novel application development using high-level parallel programming languages and frameworks. * Examples that demonstrate performance, compiler optimization, error checking, and reduced software complexity. * Applications from artificial intelligence, data analytics, bioinformatics, and other novel areas. * Performance evaluation of applications developed using alternatives to MPI+X and comparisons to standard programming models. * Novel algorithms enabled by high-level parallel abstractions. * Experience with the use of new compilers and runtime environments. * Libraries using or supporting alternatives to MPI+X. * Benefits of hardware abstraction and data locality on algorithm implementation. Papers that include description of applications that demonstrate the use of alternative programming models will be given higher priority. Submissions Submissions are solicited in 2 categories: 1. Full-length papers presenting novel research results: Full-length papers will be published in the workshop proceedings. Submitted papers must describe original work that has not appeared in, nor is under consideration for, another conference or journal. Papers shall be eight (8) pages minimum and not exceed ten (10) pages including text, appendices, and figures, but excluding bibliography and acknowledgments. Submissions shall not exceed twelve (12) pages total under any circumstance. 1. Extended abstracts summarizing preliminary/published results: Extended abstracts will be evaluated separately and will not be included in the published proceedings; they are intended to propose timely communications of novel work that will be formally submitted elsewhere at a later stage, and/or of already published work that would be of interest to the PAW-ATM audience in terms of topic and timeliness. Extended abstracts shall not exceed four (4) pages. See https://sourceryinstitute.github.io/PAW/ for further details. WORKSHOP CHAIR * Karla Morris - Sandia National Laboratories ORGANIZING COMMITTEE * Engin Kayraklioglu - Hewlett Packard Enterprise * Irene Moulitsas - Cranfield University * Elliott Slaughter - SLAC National Accelerator Laboratory PROGRAM COMMITTEE CO-CHAIRS * Bill Long - Hewlett Packard Enterprise * Daniele Lezzi - Barcelona Supercomputing Center PROGRAM COMMITTEE * Dan Bonachea - Lawrence Berkeley National Laboratory * Jan Ciesko - Sandia National Laboratories * Iacopo Colonnelli - University of Turin * Mario Di Renzo - University of Salento and Stanford University * Salvatore Filippone - Universita di Roma Tor Vergata * Magne Haveraaen - University of Bergen * Peter Hawkins - Google * Engin Kayraklioglu - Hewlett Packard Enterprise * Jannis Klikenberg - RWTH Aachen University * Daniele Lezzi - Barcelona Supercomputing Center * Bill Long - Hewlett Packard Enterprise * Francesc Lordan - Barcelona Supercomputing Center * Lee Margetts - University of Manchester * Fabrizio Marozzo - University of Calabria * Josh Milthorpe - Australian National University * Henry Monge Camacho - Oak Ridge National Laboratory * Karla Morris - Sandia National Laboratories * Irene Moulitsas - Cranfield University * Elliott Slaughter - SLAC National Accelerator Laboratory * Kenjiro Taura - University of Tokyo * Miwako Tsuji - RIKEN Advanced Institute for Computational Science ADVISORY COMMITTEE * Bradford L. Chamberlain - Hewlett Packard Enterprise * Damian W. I. Rouson - Lawrence Berkeley National Laboratory * Katherine A. Yelick - Lawrence Berkeley National Laboratory ARTIFACT EVALUATION COMMITTEE CHAIR * Irene Moulitsas - Cranfield University ARTIFACT EVALUATION COMMITTEE MEMBERS * Scott Baden - University of California San Diego * Desmond Bisandu - Cranfield University * Valentin Churavy - Massachusetts Institute of Technology * Fabio Durastante - University of Pisa * Yakup Koray Budanaz - Technical University of Munich * Boyu Kuang - Cranfield University * Soren Rasmussen - National Center for Atmospheric Research * Anjiang Wei - Stanford University IMPORTANT DATES * Submissions deadline: July 24, 2023 July 31, 2023 * Manuscripts review period: August 2-23, 2023 * Notification to authors: August 31, 2023 * Updated AD/AE appendix due from authors: September 4, 2023 * PAW-ATM workshop date: November 13, 2023

1 0

CFP: IEEE HPCC 2023 (High Performance Computing and Communications), Dec. 2023
by Jesson Butt 08 Jul '23

08 Jul '23

Call for papers: The 25th IEEE International Conference on High Performance Computing and Communications (HPCC 2023), 17-21 Dec. 2023, Melbourne, Australia. Website: www.swinflow.org/confs/2023/hpcc Key dates: Submission Deadline: August 25, 2023 (11:59pm UTC/GMT) Notification: October 15, 2023 Final Manuscript Due: October 30, 2023 Submission site: http://www.swinflow.org/confs/2023/hpcc/submission.htm Publication: Proceedings will be published by IEEE CS Press. Distinguished papers will be invited to special issues of selected journals listed on the conference website. =========== Introduction With the rapid growth in computing and communications technology, the past decade has witnessed a proliferation of powerful parallel and distributed systems and an ever increasing demand for practice of high performance computing and communications (HPCC). HPCC has moved into the mainstream of computing and has become a key technology in determining future research and development activities in many academic and industrial branches, especially when the solution of large and complex problems must cope with very tight timing schedules. Among a series of highly successful International Conferences on High Performance Computing and Communications (HPCC), HPCC conference comes to its 25th edition of a forum for engineers and scientists in academia, industry, and government to address the resulting profound challenges and to present and discuss their new ideas, research results, applications and experience on all aspects of high performance computing and communications. IEEE HPCC is sponsored by IEEE, IEEE Computer Society, and IEEE Technical Committee on Scalable Computing (TCSC). Scope and Topics Topics of particular interest include, but are not limited to: 1. Parallel and distributed system architectures 2. Languages and compilers for high performance computing 3. Parallel and distributed software technologies 4. Parallel and distributed algorithms 5. Embedded systems 6. Peer-to-peer computing 7. Cluster computing 8. Web services and Internet computing 9. Cloud computing 10. Utility computing 11. Performance evaluation and measurement 12. Tools and environments for software development 13. Distributed systems and applications 14. High-performance scientific and engineering computing 15. Database applications and data mining 16. Biological/molecular computing 17. Collaborative and cooperative environments 18. Mobile computing and wireless communications 19. Computer Networks 20. Telecommunications 21. Pervasive/ubiquitous computing and intelligence 22. Autonomic, reliability and fault-tolerance 23. Trust, security and privacy Submission Guidelines Submissions must include an abstract, keywords, the e-mail address of the corresponding author and should not exceed 8 pages for main conference, including tables and figures in IEEE CS format. The template files for LATEX or WORD can be downloaded here. All paper. submissions must represent original and unpublished work. Each submission will be peer reviewed by at least three program committee members. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will register for the conference and present the work. Submit your paper(s) in PDF file at the submission site: http://www.swinflow.org/confs/2023/hpcc/submission.htm. Publications Accepted and presented papers will be included into the IEEE Conference Proceedings published by IEEE CS Press. Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference, otherwise their papers may be removed from the digital libraries of IEEE CS and EI after the conference. Distinguished papers will be invited to special issues of selected journals listed on the conference website. General Chairs Xian-He Sun, Illinois Institute of Technology, USA Beniamino Di Martino, Universita' della Campania "Luigi Vanvitelli", Italy Laurence T. Yang, St. Francis Xavier University, Canada Program Chairs Muneeb Hassan, Deakin University, Australia Carson Leung, University of Manitoba, Canada

1 0

CFP: Fifth International Conference on Microservices
by Alessandro Bocci 04 Jul '23

04 Jul '23

International Conference on Microservices: Call for Papers ========================================================== Fifth International Conference on Microservices October 10th-12th 2023, Pisa, Italy https://www.conf-micro.services/2023/ Important Dates (EXTENDED) --------------- - Submission deadline : July 09th, 2023 (AoE) (extended) - Notification to authors: July 19th, 2023 (AoE) (extended) - Camera-ready due: July 30th, 2023 (AoE) - Early bird registration until: July 30th, 2023 (AoE) - October 10th-12th, 2023 Theme and Topics ---------------- Microservices are pervading enterprise IT, with many big companies already adopting microservice architectures to deliver their core businesses. Microservices indeed provide an alternative to traditional software architectures, which brings various additional benefits, including increased flexibility, scalability, and improved resilience to failures. Additionally, microservices allow for faster and more efficient development, as well as better collaboration between cross-functional teams. As the technology landscape continues to evolve and become more complex, the importance of microservices in building modern, scalable, and effective applications cannot be overstated. The 5th International Conference on Microservices (Microservices 2023) seeks contributions from both industry and academia covering all aspects and phases of the design and implementation of microservice architectures, as well as experiences based on daily working with them. Topics of interests include, but are not limited to, the following: - Software engineering methods for microservices, specifically (but not limited to) agile service design practices, behavior- and domain-driven design - Formal models for microservices - Programming languages, notations, and techniques for microservices - Verification (both static and runtime) of microservice systems - Testing for microservices: unit tests, system tests, acceptance and regression tests, test-driven service development - DevOps for microservices, in particular (but not limited to) continuous deployment and distributed monitoring - Microservices in the context of development, security, and operations (DevSecOps) - Secure by design in the context of Microservices - Microservice operation and contributor analysis - Microservice management: fault, configuration, accounting/cost, performance, security - Co-change and change impact analysis - Discovery/recovery and reverse engineering of microservices solutions - Microservice evolution - Global governance for microservices - Methodologies for identification, specification, and realization of candidate services - Patterns for cloud-native application architectures; service API design and management - Microservices infrastructure components: API gateways, side cars, and service meshes; reactive messaging brokers; service registries; service containers and cluster managers; infrastructure as code - Function-as-a-service and serverless cloud offerings; service-based event sourcing and data streaming architectures - Security and other service quality concerns (consistency, availability, recoverability) in microservices; dealing with General Data Protection Regulation (GDPR) compliance and other data privacy requirements Testing for microservices: unit tests, system tests, acceptance and regression tests, test-driven service development Internet technologies: services, human interactions, data analytics and AI for IoT, architecture things centric, sensor networks, security, privacy, applications - AI and Microservices (including Datasets, Open-source technology) - Cyber-physical Systems: AI/ML applications, security - Industrial case studies and applications: Data Science/Big Data, Smart Industry, Healthcare, Government, Manufacturing, Logistics and Supply Chain Management - Empirical studies of microservices adoption - Case Studies and Surveys on the topic of Microservices - Sustainable practices in the Microservices community - Education about Microservices technologies Submissions Guidelines ---------------------- A submission should describe a talk to be given at the conference in the form of extended abstracts with a maximum of two pages for talks from industry and six pages for academic presentations (including references). Submissions can be based on work in progress, scientific work published or submitted for publication, practical experience reports, or practical tool demonstrations. They must further be prepared using the TBA template, be in PDF format, printable in black and white on A4 paper, and interpretable by common PDF tools. Submissions must be in English. Contributions may be submitted via TBA. The submission deadline is June 25th, 2023 AoE. Resubmissions are allowed until the submission deadline. Contributions will be reviewed and selected by the Program Committee. Extended abstracts of accepted contributions will be available electronically before the conference. Selected contributions will be invited to submit manuscripts based on their abstracts for conference post-proceedings. Organisation ------------ General Chair: Antonio Brogi, University of Pisa (IT) Program Chairs: Tomas Cerny, Baylor University (US) Valentina Lenarduzzi, University of Oulu (FI) Jacopo Soldani, University of Pisa (IT) Industrial Liaison Chair: Claudio Guidi, italianaSoftware (IT) Publicity Chair: Alessandro Bocci, University of Pisa (IT) Philip Wizenty, University of Applied Sciences and Arts Dortmund (DE) Local Chairs: Stefano Forti, University of Pisa (IT) Steering Committee ----------------- Giulio Manzonetto, Université Sorbonne Paris Nord Fabrizio Montesi, University of Southern Denmark Sabine Sachweh, University of Applied Sciences and Arts Dortmund Program Committee ----------------- Amr S. Abdelfattah, Baylor University (USA) Nour Ali, Brunel University London (UK) Carlo Aliprandi, Extra RED (IT) Hernán Astudillo, Universidad Técnica Federico Santa Maria (CL) Luciano Baresi, Politecnico di Milano (IT) Justus Bogner, University of Stuttgart (DE) Andrea Janes, Vorarlberg University of Applied Science (AT) Ivan Lanese, University of Bologna (IT) Pavas Navaney, Oracle (USA) Phu Nguyen, SINTEF (NO) Claus Pahl, Free University of Bozen-Bolzano (IT) Florian Rademacher, RWTH Aachen University (DE) Larisa Safina, INRIA (FR) Davide Taibi, University of Oulu (FI) Pavel Tisnovsky, Red Hat (USA) Nabil El Ioini, The University of Nottingham (MY) Richard Lipka, University of West Bohemia (CZ) Muhammad Waseem, University of Jyväskylä (FI) Contact Information ------------------- Please contact us if you have questions: https://www.conf-micro.services/2023/contact/

1 0

Summer School on Reactive Synthesis + Workshop on Synthesis, Monitoring and Learning at University of Udine
by Gabriele Puppis 04 Jul '23

04 Jul '23

*** apologies for cross-postings *** ===== Call for Attendance ===== ----------------------------------------------------------------------------- Third edition of the UniVr/UniUd Summer School on Formal Methods for Cyber-Physical Systems - Udine, August 28-31 http://tcs.uniud.it/summer-school + Workshop on Synthesis, Monitoring and Learning - Udine, August 31-September 1 http://tcs.uniud.it/smile ----------------------------------------------------------------------------- Synthesis is a fundamental problem in computer science and mathematics, concerned with automatically generating programs that satisfy a given logical specification. Its applications span a range of domains, including model-based system design, software engineering, and automated theorem proving. For instance, designing a controller that guides the behavior of a reactive system, that is, a system that continually interacts with its environment, can be framed as a synthesis problem. Similarly, the design and verification of a distributed system often depend on distributed synthesis, which finds programs that enforce correct component interaction and satisfy desired specifications. The third edition of the Summer School on Formal Methods for Cyber-Physical Systems offers an in-depth exploration of reactive synthesis, a topic that was already introduced in the first edition of the school. The lecturers will provide a systematic account of the main achievements and the current trends of research in reactive synthesis, covering both theory and applications. The course will begin with an overview of the classical synthesis problem in the finite-state setting, as originally formulated by Church and solved by Buechi and Landweber. This introductory part will introduce the terminology of infinite two-player games, explain the automatic construction of winning strategies in “regular games”, and address history of the subject, discussing extensions and open problems. From there, the course will investigate approaches for making reactive synthesis more efficient and practical, including techniques for solving the synthesis problem in restricted settings, for decomposing the problem into subproblems, and for employing algorithms, data structures, and heuristics to manage complexity. Variants of the synthesis problem will also be explored, such as control strategies for hybrid and distributed systems, monitor synthesis, synthesis under incomplete information, distributed synthesis, and symmetric synthesis. The implementation of synthesis tools will also receive significant attention, with a focus on recent advances and applications of UPPAAL Stratego and the SYNTCOMP reactive synthesis competition. The summer school will conclude with a workshop on emerging research trends in synthesis, monitoring, and learning, which showcases some exciting interactions between formal methods and machine learning. Distinguished invited speakers will lead the workshop. Participants will also have the opportunity to engage with peers from around the world and may propose to deliver short research talks voluntarily. ### Lecturers Wolfgang Thomas - RWTH Aachen University, Germany 3-hour lecture on “Synthesis of strategies in infinite two-player games” We give an introduction to the synthesis of reactive systems in the finite-state setting, using the terminology of infinite two-player games and explaining the automatic construction of winning strategies in “regular games”. We also address the history of the subject, discuss extensions, and mention basic problems that are still open. Martin Zimmermann - Aalborg University, Denmark 3-hour lecture on “Synthesis of infinite-state systems” The reactive synthesis problem asks to compute, from a given specification of the input-output behavior of a reactive system, a system satisfying this specification (or to determine that no such system exists). In this lecture, we consider the synthesis of infinite-state systems with a focus on pushdown systems, which model simple recursive systems with finite data. On a technical level, we show how to solve infinite games on configuration graphs of pushdown automata and present recent work on generalizations to history-deterministic pushdown automata. Kim G. Larsen - Aalborg University, Denmark 3-hour lecture on “Synthesis and Optimization for Cyber Physical Systems” In these lectures we will present recent advances and applications of the tool UPPAAL Stratego (www.uppaal.org) supporting automatic synthesis of guaranteed safe and near-optimal control strategies for Cyber Physical Systems (CPS). UPPAAL Stratego combines symbolic methods from model checking, reinforcement learning methods from machine learning, as well as abstraction techniques for hybrid games. Trade-offs between efficiency of strategy representation and degree of optimality subject to safety constraints will be discussed, as well as successful applications (autonomous driving maneuvers, heating systems and traffic control). Dana Fisman - Ben Gurion University of the Negev, Israel 3-hour lecture on “Automata learning of languages of finite and infinite words” In these lectures we will get acquainted with the research area called grammatical inference or automata learning. We will start with the earliest results on the subject, and span different learning paradigms. We will describe several positive results, and efficient algorithms for learning regular languages. We will prove several negative results for learning different classes of languages in different learning paradigms. We will then discuss state-of-the-art results on learning regular languages of infinite words. Swen Jacobs - CISPA Helmholtz-Center for Information Security, Germany 3-hour lecture on “Reactive synthesis: towards practice” I will give an overview of different lines of research that try to make reactive synthesis (more) practical. This includes research into approaches to restrict the problem to more efficiently solvable fragments, into ways to split the problem into subproblems that can be solved independently or iteratively, and into efficient algorithms and data structures as well as heuristics that allow us to implement synthesis tools that can solve problems of significant size. I will report on progress observed in the reactive synthesis competition (SYNTCOMP), and on case studies and benchmark problems that demonstrate the capabilities of state-of-the-art synthesis tools. Alessandro Cimatti - Fondazione Bruno Kessler, Italy 3-hour lecture on “Runtime verification and monitor synthesis” Runtime Verification (RV) is a lightweight verification technique that aims at checking whether a run of a system under scrutiny (SUS) satisfies or violates a given correctness specification. The lecture will first overview the general framework of RV, and the techniques to synthesize run-time monitors that can be efficiently executed in combination with the SUS. Then, we will cover the relationship between RV and the field of Fault Detection and Isolation (FDI). In FDI, runtime monitors are built taking into account models of the SUS, in order to monitor the occurrence of internal (faulty) conditions that are not directly observable. ### Programme Monday, August 28 13:30 - 14:00 Registration 14:00 - 14:30 Course Introduction 14:30 - 16:00 Wolfgang Thomas 16:00 - 16:30 Coffee break 16:30 - 18:00 Wolfgang Thomas Tuesday, August 29 09:30 - 11:00 Martin Zimmermann 11:00 - 11:30 Coffee break 11:30 - 13:00 Martin Zimmermann 13:00 - 14:00 Lunch 14:30 - 16:00 Kim G. Larsen 16:00 - 16:30 Coffee break 16:30 - 18:00 Kim G. Larsen Wednesday, August 30 09:30 - 11:00 Dana Fisman 11:00 - 11:30 Coffee break 11:30 - 13:00 Dana Fisman 13:00 - 14:00 Lunch 14:30 - 16:00 Swen Jacobs 16:00 - 16:30 Coffee break 16:30 - 18:00 Swen Jacobs 19:00 - 23:00 Social dinner Thursday, August 31 09:30 - 11:00 Alessandro Cimatti 11:00 - 11:30 Coffee break 11:30 - 13:00 Alessandro Cimatti 13:00 - 14:00 Lunch 14:30 - 16:30 Workshop on Synthesis, Monitoring and Learning Friday, September 1 09:30 - 14:00 Workshop on Synthesis, Monitoring and Learning ### Admission and accommodation The course is offered in a hybrid format giving the possibility to remotely attend the course (on the Microsoft Teams platform). On-site places are limited and assigned on first come first served basis. The registration fees are: - On-site participation, 250.00 Euro + VAT 22% - Online participation, 120.00 Euro + VAT 22% Deadline for online application is August 18, 2023. Participation application is available at https://www.cism.it/en/activities/courses/J2303/ ### Contacts CISM, Palazzo del Torso Piazza Garibaldi 18, 39100 Udine, Italy tel. +39 0432 248511 email: cism(a)cism.it | www.cism.it ### Organization Angelo Montanari - University of Udine, Italy Gabriele Puppis - University of Udine, Italy Tiziano Villa - University of Verona, Italy

1 0

(CALL FOR PAPERS) PAW-ATM: Parallel Applications Workshop, Alternatives To MPI+X
by Morris, Karla NMN 03 Jul '23

03 Jul '23

Call for Papers PAW-ATM 2023: Parallel Applications Workshop, Alternatives To MPI+X https://sourceryinstitute.github.io/PAW/ Held in conjunction with SC23, Denver, CO Submissions deadline: July 24, 2023 Notification to authors: August 31, 2023 Workshop date: November 13, 2023 Summary As supercomputers become more and more powerful, the number and diversity of applications that can be tackled with these machines grows. Unfortunately, the architectural complexity of these supercomputers grows as well, with heterogeneous processors, multiple levels of memory hierarchy, and many ways to move data and synchronize between processors. The MPI+X programming model, use of which is considered by many to be standard practice, demands that a programmer be expert in both the application domain and the low-level details of the architecture(s) on which that application will be deployed, and the availability of such superhuman programmers is a critical bottleneck. Things become more complicated when evolution and change in the underlying architecture translates into significant re-engineering of the MPI+X code to maintain performance. Numerous alternatives to the MPI+X model exist, and by raising the level of abstraction on the application domain and/or the target architecture, they offer the ability for "mere mortal" programmers to take advantage of the supercomputing resources that are available to advance science and tackle urgent real-world problems. However, compared to the MPI+X approach, these alternatives generally lack two things. First, they aren't as well known as MPI+X and a domain scientist may simply not be aware of models that are a good fit to their domain. Second, they are less mature than MPI+X and likely have more functionality or performance "potholes" that need only be identified to be addressed. PAW-ATM is a forum for discussing HPC applications written in alternatives to MPI+X. Its goal is to bring together application experts and proponents of high-level languages to present concrete example uses of such alternatives, describing their benefits and challenges. Scope and Aims The PAW-ATM workshop is designed to be a forum for discussion of supercomputing-scale parallel applications and their implementation in programming models outside of the dominant MPI+X paradigm. Papers and talks will explore the benefits (or perhaps drawbacks) of implementing specific applications with alternatives to MPI+X, whether those benefits are in performance, scalability, productivity, or some other metric important to that application domain. Presenters are encouraged to generalize the experience with their application to other domains in science and engineering and to bring up specific areas of improvement for the model(s) used in the implementation. In doing so, our hope is to create a setting in which application authors, language designers, and architects can present and discuss the state of the art in alternative scalable programming models, while also wrestling with how to increase their effectiveness and adoption. Beyond well-established HPC scientific simulations, we also encourage submissions exploring artificial intelligence, big data analytics, machine learning, and other emerging application areas. Topics of interest include, but are not limited to: * Novel application development using high-level parallel programming languages and frameworks. * Examples that demonstrate performance, compiler optimization, error checking, and reduced software complexity. * Applications from artificial intelligence, data analytics, bioinformatics, and other novel areas. * Performance evaluation of applications developed using alternatives to MPI+X and comparisons to standard programming models. * Novel algorithms enabled by high-level parallel abstractions. * Experience with the use of new compilers and runtime environments. * Libraries using or supporting alternatives to MPI+X. * Benefits of hardware abstraction and data locality on algorithm implementation. Papers that include description of applications that demonstrate the use of alternative programming models will be given higher priority. Submissions Submissions are solicited in 2 categories: 1. Full-length papers presenting novel research results: Full-length papers will be published in the workshop proceedings. Submitted papers must describe original work that has not appeared in, nor is under consideration for, another conference or journal. Papers shall be eight (8) pages minimum and not exceed ten (10) pages including text, appendices, and figures, but excluding bibliography and acknowledgments. Submissions shall not exceed twelve (12) pages total under any circumstance. 1. Extended abstracts summarizing preliminary/published results: Extended abstracts will be evaluated separately and will not be included in the published proceedings; they are intended to propose timely communications of novel work that will be formally submitted elsewhere at a later stage, and/or of already published work that would be of interest to the PAW-ATM audience in terms of topic and timeliness. Extended abstracts shall not exceed four (4) pages. See https://sourceryinstitute.github.io/PAW/ for further details. WORKSHOP CHAIR * Karla Morris - Sandia National Laboratories ORGANIZING COMMITTEE * Engin Kayraklioglu - Hewlett Packard Enterprise * Irene Moulitsas - Cranfield University * Elliott Slaughter - SLAC National Accelerator Laboratory PROGRAM COMMITTEE CO-CHAIRS * Bill Long - Hewlett Packard Enterprise * Daniele Lezzi - Barcelona Supercomputing Center PROGRAM COMMITTEE * Dan Bonachea - Lawrence Berkeley National Laboratory * Jan Ciesko - Sandia National Laboratories * Iacopo Colonnelli - University of Turin * Mario Di Renzo - University of Salento and Stanford University * Salvatore Filippone - Universita di Roma Tor Vergata * Magne Haveraaen - University of Bergen * Peter Hawkins - Google * Engin Kayraklioglu - Hewlett Packard Enterprise * Jannis Klikenberg - RWTH Aachen University * Daniele Lezzi - Barcelona Supercomputing Center * Bill Long - Hewlett Packard Enterprise * Francesc Lordan - Barcelona Supercomputing Center * Lee Margetts - University of Manchester * Fabrizio Marozzo - University of Calabria * Josh Milthorpe - Australian National University * Henry Monge Camacho - Oak Ridge National Laboratory * Karla Morris - Sandia National Laboratories * Irene Moulitsas - Cranfield University * Elliott Slaughter - SLAC National Accelerator Laboratory * Kenjiro Taura - University of Tokyo * Miwako Tsuji - RIKEN Advanced Institute for Computational Science ADVISORY COMMITTEE * Bradford L. Chamberlain - Hewlett Packard Enterprise * Damian W. I. Rouson - Lawrence Berkeley National Laboratory * Katherine A. Yelick - Lawrence Berkeley National Laboratory ARTIFACT EVALUATION COMMITTEE CHAIR * Irene Moulitsas - Cranfield University ARTIFACT EVALUATION COMMITTEE MEMBERS * Scott Baden - University of California San Diego * Desmond Bisandu - Cranfield University * Valentin Churavy - Massachusetts Institute of Technology * Fabio Durastante - University of Pisa * Yakup Koray Budanaz - Technical University of Munich * Boyu Kuang - Cranfield University * Soren Rasmussen - National Center for Atmospheric Research * Anjiang Wei - Stanford University IMPORTANT DATES * Submissions deadline: July 24, 2023 * Manuscripts review period: August 2-23, 2023 * Notification to authors: August 31, 2023 * Updated AD/AE appendix due from authors: September 4, 2023 * PAW-ATM workshop date: November 13, 2023

1 0

GandALF 2023: Deadline extension (abstract and paper submission)
by Gabriele Puppis 28 Jun '23

28 Jun '23

[apologies for cross-postings] · New abstract submission deadline: 23 June 2023 *30 June 2023* · New paper submission deadline: 30 June 2023 *7 July 2023* The Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23) will be held in Udine (Italy) on *September 18-20, 2023*. The aim of GandALF 2023 <https://urldefense.com/v3/__https://gandalf23.uniud.it/__;!!IBzWLUs!Rooz29B…> is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following: · Automata Theory · Automated Deduction · Computational aspects of Game Theory · Concurrency and Distributed computation · Decision Procedures · Deductive, Compositional, and Abstraction Techniques for Verification · Finite Model Theory · First-order and Higher-order Logics · Formal Languages · Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems · Game Semantics · Games and Automata for Verification · Logical aspects of Computational Complexity · Logics of Programs · Modal and Temporal Logics · Model Checking · Models of Reactive and Real-Time Systems · Probabilistic Models (Markov Decision processes) · Program Analysis and Software Verification · Reinforcement Learning · Run-time Verification and Testing · Specification and Verification of Finite and Infinite-state Systems · Synthesis Important Dates · Abstract submission deadline: 23 June 2023 *30 June 2023* · Paper submission deadline: 30 June 2023 *7 July 2023* · Acceptance notification: 7 August 2023 · Camera-ready deadline: 6 September 2023 · Conference dates: 18-20 September 2023 ⚠ all deadlines are AoE <https://urldefense.com/v3/__https://time.is/Anywhere_on_Earth__;!!IBzWLUs!R…> Publication The proceedings will be published by Electronic Proceedings in Theoretical Computer Science <https://urldefense.com/v3/__http://www.eptcs.org/__;!!IBzWLUs!Rooz29BBsOWdk…>. Authors of selected papers will be invited to submit a revised version of their work to a special issue of Logical Methods in Computer Science <https://urldefense.com/v3/__https://lmcs.episciences.org/__;!!IBzWLUs!Rooz2…> . The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, 2018, 2019, and 2020), Acta Informatica (GandALF 2015) and Logical Methods in Computer Science (GandALF 2021 and 2022). Submission Submitted papers should not exceed 14 pages (excluding references and clearly marked appendices) using EPTCS format (please use the LaTeX style provided here <https://urldefense.com/v3/__http://style.eptcs.org__;!!IBzWLUs!Rooz29BBsOWd…>), be unpublished, and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF format and will be handled via easychair at the following address: https://easychair.org/conferences/?conf=gandalf23 <https://urldefense.com/v3/__https://easychair.org/conferences/?conf=gandalf…> Invited Speakers · Laure Daviaud <https://urldefense.com/v3/__https://www.city.ac.uk/about/people/academics/l…> – University of East Anglia (UK) · Juha Kontinen <https://urldefense.com/v3/__https://researchportal.helsinki.fi/en/persons/j…> – University of Helsinki (Finland) · Sophie Pinchinat <https://urldefense.com/v3/__https://people.irisa.fr/Sophie.Pinchinat/__;!!I…> – IRISA/University of Rennes (France) · Alexander Rabinovich <https://urldefense.com/v3/__http://www.cs.tau.ac.il/*rabinoa__;fg!!IBzWLUs!…> – Tel Aviv University (Israel) Program Committee · Dario Della Monica (co-chair) – University of Udine (Italy) · Antonis Achilleos (co-chair) – Reykjavik University (Iceland) · Parosh Aziz Abdulla – Uppsala University (Sweden) · Christel Baier – Technische Universität Dresden (Germany) · Valentina Castiglioni – Reykjavik University (Iceland) · Giorgio Delzanno – University of Genova (Italy) · Léo Exibard – Université Gustave Eiffel (France) · Gabriele Fici – University of Palermo (Italy) · Dana Fisman – Ben-Gurion University (Israel) · Nicola Gigante – Free University of Bozen-Bolzano (Italy) · Miika Hannula – University of Helsinki (Finland) · Naoki Kobayashi – The University of Tokyo (Japan) · Orna Kupferman – Hebrew University (Israel) · Martin Leucker – University of Lübeck (Germany) · Jakub Michaliszyn – University of Wrocław (Poland) · Fabio Mogavero – University of Napoli (Italy) · Shankara Narayanan Krishna – Indian Institute of Technology, Bombay (India) · Pawel Parys – University of Warsaw (Poland) · Guillermo Pérez – University of Antwerp (Belgium) · Giovanni Pighizzini – University of Milano (Italy) · Gabriele Puppis – University of Udine (Italy) · Joshua Sack – California State University Long Beach (USA) · Ocan Sankur – CNRS/Irisa (France) · Patrick Totzke – University of Liverpool (UK) · Jana Wagemaker – Reykjavik University (Iceland) · Matteo Zavatteri– University of Padova (Italy) · Martin Zimmermann – Aalborg University (Denmark) Steering Committee · Luca Aceto – Reykjavik University (Iceland) · Javier Esparza – University of Munich (Germany) · Salvatore La Torre – University of Salerno (Italy) · Angelo Montanari – University of Udine (Italy) · Mimmo Parente – University of Salerno (Italy) · Jean-François Raskin – Université libre de Bruxelles (Belgium) · Martin Zimmermann – Aalborg University (Denmark) Website https://gandalf23.uniud.it/ <https://urldefense.com/v3/__https://gandalf23.uniud.it/__;!!IBzWLUs!Rooz29B…>

1 0

Elsevier JSA Special Issue on VHPC
by Tommaso Cucinotta 15 Jun '23

15 Jun '23

[feel free to forward to possible interested colleagues, apologies for cross-posting] Dear all, the International Workshop on “Virtualization in High-Performance Cloud Computing” (VHPC), just recently completed on May in co-location with the ISC High Performance 2023 conference in Hamburg, has come to its *18th successful edition*. Therefore, we're glad to celebrate the "maturity" of the VHPC series of workshops, by accompanying this year edition with a *Special Issue of the Elsevier Journal of Systems Architecture (JSA), focusing on VHPC-related research topics*: https://www.sciencedirect.com/journal/journal-of-systems-architecture/about… (Q1 journal in Scimago SJR/CiteScore rankings) Papers for the JSA Special Issue on VHPC are due on *September 29th, 2023*. Authors of accepted papers at VHPC 2023 and previous recent editions of the workshop are invited to submit extended versions of their VHPC papers to the JSA Special Issue. These will undergo a new peer-reviewing process, to meet the high standards required for publishing on JSA. Extended papers need to provide significant unpublished novel contents, compared to the already published workshop papers (check the guide for authors for details). The *JSA VHPC Special Issue call for papers is also open to any other submission dealing with topics within the VHPC scope*, e.g., virtualization across the entire software stack with a special focus on the intersection among HPC, Containerization/Virtualization and Cloud/Edge Computing, encompassing aspects related to design/architecture, management & orchestration, performance & fault-tolerance, modeling and configuration/tooling. For more information, submission guidelines, and the submission link, please, refer to the *official page about the JSA Special Issue on VHPC*: https://www.sciencedirect.com/journal/journal-of-systems-architecture/about… Kind regards, The JSA VHPC Special Issue Guest Editors. Tommaso Cucinotta, Scuola Superiore Sant’Anna, Pisa, Italy Michael Alexander, Institute of Science and Technology, Austria, and Scilytics Anastassios Nanos, Nubificus, Ltd., UK -- Tommaso Cucinotta, Computer Engineering PhD Associate Professor at the Real-Time Systems Laboratory (ReTiS) Scuola Superiore Sant'Anna, Pisa, Italy http://retis.sssup.it/people/tommaso

1 0

FGCS Special Issue on Scalable Compute Continuum
by Matteo Nardelli 14 Jun '23

14 Jun '23

(Our apologies if you received multiple copies of this CFP) ============================================== Future Generation Computer Systems Special Issue on Scalable Compute Continuum The full call for papers is available on the official FGCS website: https://www.sciencedirect.com/journal/future-generation-computer-systems/ab… ============================================== Motivation and Scope ======================= The “Compute Continuum” paradigm promises to manage the heterogeneity and dynamism of widespread computing resources, aiming to simplify the execution of distributed applications improving data locality, performance, availability, adaptability, energy management as well as other non-functional features. This is made possible by overcoming the fragmentation of IoT-edge-cloud resources and their segregation in tiers, enabling applications to be seamlessly executed and relocated along a continuum of resources spanning from the edge to the cloud. By distributing resources all around, the emerging Compute Continuum paradigm supports the execution of data-intensive applications as close as possible to data sources and end users. Besides consolidated vertical and horizontal scaling patterns, this paradigm also offers more detailed adaptation actions that strictly depend on the specific infrastructure components (e.g., to reduce energy consumption, or to exploit specific hardware such as GPUs and FPGAs). This enables the enhancement of latency-sensitive applications, the reduction of network bandwidth consumption, the improvement of privacy protection, and the development of novel services aimed at improving living, health, safety, and mobility. All of this should be achievable by application developers without having to worry about how and where the developed application components will be executed. Therefore, to unleash the true potential offered by the Compute Continuum, autonomous, proactive, and infrastructure-aware management is desirable, if not mandatory, calling for novel interdisciplinary approaches that exploit optimization theory, control theory, machine learning, and artificial intelligence methods. This special issue aims to investigate and gather research contributions on the emerging Compute Continuum, seeking solutions for running distributed applications while efficiently managing heterogeneous and widespread computing resources. Topics of interest include, but are not limited to, the following: - Scalable architectures and systems for the Compute Continuum; - System software for cloud-edge-IoT orchestration; - Distributed and decentralized management of resources and application deployment in the - Compute Continuum; - Programming models, languages and patterns for the Compute Continuum; - Compute Continuum performance modeling and analysis; - Compute Continuum as a service; - Energy-efficient solutions for sustainable Compute Continuum; - AI in the Compute Continuum; - Scalable applications for Compute Continuum (IoT, microservices, serverless); - Data-intensive and stream processing systems and applications in the Compute Continuum; - Digital Twins and industry applications in the Compute Continuum; - Prototypes and real-life experiments involving the Compute Continuum; - Benchmarks and experimental platforms for reproducible experiments in the Compute Continuum. Guest Editors ======================= 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. Important Dates ======================= Submission portal opens: May 1, 2023 Deadline for paper submission: November 3, 2023 Latest acceptance deadline for all papers: March 8, 2024 Manuscript Submission Instructions ======================= The FGCS’s submission system ( https://www.editorialmanager.com/FGCS/default.aspx) will be open for submissions to our Special Issue from May 1, 2023. When submitting your manuscript please select the article type VSI: SI_SCC_ScalCompContinuum. All submissions deemed suitable by the editors to be sent for peer review will be reviewed by at least two independent reviewers. Once your manuscript is accepted, it will go into production to be published in the special issue. Looking forward to receiving your excellent submissions soon. Best regards, Valeria Cardellini, Patrizio Dazzi, Gabriele Mencagli, Matteo Nardelli, and Massimo Torquati

1 0

GandALF 2023: Last Call For Papers
by Gabriele Puppis 01 Jun '23

01 Jun '23

[apologies for cross-postings] The Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23) will be held in Udine (Italy) on September 18-20, 2023. The aim of GandALF 2023 <https://gandalf23.uniud.it/> is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following: - Automata Theory - Automated Deduction - Computational aspects of Game Theory - Concurrency and Distributed computation - Decision Procedures - Deductive, Compositional, and Abstraction Techniques for Verification - Finite Model Theory - First-order and Higher-order Logics - Formal Languages - Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems - Game Semantics - Games and Automata for Verification - Logical aspects of Computational Complexity - Logics of Programs - Modal and Temporal Logics - Model Checking - Models of Reactive and Real-Time Systems - Probabilistic Models (Markov Decision processes) - Program Analysis and Software Verification - Reinforcement Learning - Run-time Verification and Testing - Specification and Verification of Finite and Infinite-state Systems - Synthesis Important Dates - Abstract submission deadline: 23 June 2023 - Paper submission deadline: 30 June 2023 - Acceptance notification: 7 August 2023 - Camera-ready deadline: 6 September 2023 - Conference dates: 18-20 September 2023 ⚠ all deadlines are AoE <https://time.is/Anywhere_on_Earth> Publication The proceedings will be published by Electronic Proceedings in Theoretical Computer Science <http://www.eptcs.org/>. Authors of selected papers will be invited to submit a revised version of their work to a special issue of Logical Methods in Computer Science <https://lmcs.episciences.org/>. The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, 2018, 2019, and 2020), Acta Informatica (GandALF 2015) and Logical Methods in Computer Science (GandALF 2021 and 2022). Submission Submitted papers should not exceed 14 pages (excluding references and clearly marked appendices) using EPTCS format (please use the LaTeX style provided here <http://style.eptcs.org/>), be unpublished, and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF format and will be handled via easychair at the following address: https://easychair.org/conferences/?conf=gandalf23 Invited Speakers - Laure Daviaud <https://www.city.ac.uk/about/people/academics/laure-daviaud> – City, University of London (UK) - Juha Kontinen <https://researchportal.helsinki.fi/en/persons/juha-kontinen> – University of Helsinki (Finland) - Sophie Pinchinat <https://people.irisa.fr/Sophie.Pinchinat/> – IRISA/University of Rennes (France) - Alexander Rabinovich <http://www.cs.tau.ac.il/~rabinoa> – Tel Aviv University (Israel) Program Committee - Dario Della Monica (co-chair) – University of Udine (Italy) - Antonis Achilleos (co-chair) – Reykjavik University (Iceland) - Parosh Aziz Abdulla – Uppsala University (Sweden) - Christel Baier – Technische Universität Dresden (Germany) - Valentina Castiglioni – Reykjavik University (Iceland) - Giorgio Delzanno – University of Genova (Italy) - Léo Exibard – Université Gustave Eiffel (France) - Gabriele Fici – University of Palermo (Italy) - Dana Fisman – Ben-Gurion University (Israel) - Nicola Gigante – Free University of Bozen-Bolzano (Italy) - Miika Hannula – University of Helsinki (Finland) - Naoki Kobayashi – The University of Tokyo (Japan) - Orna Kupferman – Hebrew University (Israel) - Martin Leucker – University of Lübeck (Germany) - Jakub Michaliszyn – University of Wrocław (Poland) - Fabio Mogavero – University of Napoli (Italy) - Shankara Narayanan Krishna – Indian Institute of Technology, Bombay (India) - Pawel Parys – University of Warsaw (Poland) - Guillermo Pérez – University of Antwerp (Belgium) - Giovanni Pighizzini – University of Milano (Italy) - Gabriele Puppis – University of Udine (Italy) - Joshua Sack – California State University Long Beach (USA) - Ocan Sankur – CNRS/Irisa (France) - Patrick Totzke – University of Liverpool (UK) - Jana Wagemaker – Radboud University (Netherlands) - Matteo Zavatteri– University of Padova (Italy) - Martin Zimmermann – Aalborg University (Denmark) Steering Committee - Luca Aceto – Reykjavik University (Iceland) - Javier Esparza – University of Munich (Germany) - Salvatore La Torre – University of Salerno (Italy) - Angelo Montanari – University of Udine (Italy) - Mimmo Parente – University of Salerno (Italy) - Jean-François Raskin – Université libre de Bruxelles (Belgium) - Martin Zimmermann – Aalborg University (Denmark) Website https://gandalf23.uniud.it/

1 0

FGCS Special Issue on Scalable Compute Continuum
by Matteo Nardelli 29 May '23

29 May '23

(Our apologies if you received multiple copies of this CFP) ============================================== Future Generation Computer Systems Special Issue on Scalable Compute Continuum The full call for papers is available on the official FGCS website: https://www.sciencedirect.com/journal/future-generation-computer-systems/ab… ============================================== Motivation and Scope ======================= The “Compute Continuum” paradigm promises to manage the heterogeneity and dynamism of widespread computing resources, aiming to simplify the execution of distributed applications improving data locality, performance, availability, adaptability, energy management as well as other non-functional features. This is made possible by overcoming the fragmentation of IoT-edge-cloud resources and their segregation in tiers, enabling applications to be seamlessly executed and relocated along a continuum of resources spanning from the edge to the cloud. By distributing resources all around, the emerging Compute Continuum paradigm supports the execution of data-intensive applications as close as possible to data sources and end users. Besides consolidated vertical and horizontal scaling patterns, this paradigm also offers more detailed adaptation actions that strictly depend on the specific infrastructure components (e.g., to reduce energy consumption, or to exploit specific hardware such as GPUs and FPGAs). This enables the enhancement of latency-sensitive applications, the reduction of network bandwidth consumption, the improvement of privacy protection, and the development of novel services aimed at improving living, health, safety, and mobility. All of this should be achievable by application developers without having to worry about how and where the developed application components will be executed. Therefore, to unleash the true potential offered by the Compute Continuum, autonomous, proactive, and infrastructure-aware management is desirable, if not mandatory, calling for novel interdisciplinary approaches that exploit optimization theory, control theory, machine learning, and artificial intelligence methods. This special issue aims to investigate and gather research contributions on the emerging Compute Continuum, seeking solutions for running distributed applications while efficiently managing heterogeneous and widespread computing resources. Topics of interest include, but are not limited to, the following: - Scalable architectures and systems for the Compute Continuum; - System software for cloud-edge-IoT orchestration; - Distributed and decentralized management of resources and application deployment in the - Compute Continuum; - Programming models, languages and patterns for the Compute Continuum; - Compute Continuum performance modeling and analysis; - Compute Continuum as a service; - Energy-efficient solutions for sustainable Compute Continuum; - AI in the Compute Continuum; - Scalable applications for Compute Continuum (IoT, microservices, serverless); - Data-intensive and stream processing systems and applications in the Compute Continuum; - Digital Twins and industry applications in the Compute Continuum; - Prototypes and real-life experiments involving the Compute Continuum; - Benchmarks and experimental platforms for reproducible experiments in the Compute Continuum. Guest Editors ======================= 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. Important Dates ======================= Submission portal opens: May 1, 2023 Deadline for paper submission: November 3, 2023 Latest acceptance deadline for all papers: March 8, 2024 Manuscript Submission Instructions ======================= The FGCS’s submission system ( https://www.editorialmanager.com/FGCS/default.aspx) will be open for submissions to our Special Issue from May 1, 2023. When submitting your manuscript please select the article type VSI: SI_SCC_ScalCompContinuum. All submissions deemed suitable by the editors to be sent for peer review will be reviewed by at least two independent reviewers. Once your manuscript is accepted, it will go into production to be published in the special issue. Looking forward to receiving your excellent submissions soon. Best regards, Valeria Cardellini, Patrizio Dazzi, Gabriele Mencagli, Matteo Nardelli, and Massimo Torquati

1 0

CALL FOR PAPERS) PAW-ATM: Parallel Applications Workshop, Alternatives To MPI+X
by Morris, Karla NMN 24 May '23

24 May '23

Call for Papers PAW-ATM 2023: Parallel Applications Workshop, Alternatives To MPI+X https://sourceryinstitute.github.io/PAW/ Held in conjunction with SC23, Denver, CO Submissions deadline: July 24, 2023 Notification to authors: August 31, 2023 Workshop date: November 13, 2023 Summary As supercomputers become more and more powerful, the number and diversity of applications that can be tackled with these machines grows. Unfortunately, the architectural complexity of these supercomputers grows as well, with heterogeneous processors, multiple levels of memory hierarchy, and many ways to move data and synchronize between processors. The MPI+X programming model, use of which is considered by many to be standard practice, demands that a programmer be expert in both the application domain and the low-level details of the architecture(s) on which that application will be deployed, and the availability of such superhuman programmers is a critical bottleneck. Things become more complicated when evolution and change in the underlying architecture translates into significant re-engineering of the MPI+X code to maintain performance. Numerous alternatives to the MPI+X model exist, and by raising the level of abstraction on the application domain and/or the target architecture, they offer the ability for "mere mortal" programmers to take advantage of the supercomputing resources that are available to advance science and tackle urgent real-world problems. However, compared to the MPI+X approach, these alternatives generally lack two things. First, they aren't as well known as MPI+X and a domain scientist may simply not be aware of models that are a good fit to their domain. Second, they are less mature than MPI+X and likely have more functionality or performance "potholes" that need only be identified to be addressed. PAW-ATM is a forum for discussing HPC applications written in alternatives to MPI+X. Its goal is to bring together application experts and proponents of high-level languages to present concrete example uses of such alternatives, describing their benefits and challenges. Scope and Aims The PAW-ATM workshop is designed to be a forum for discussion of supercomputing-scale parallel applications and their implementation in programming models outside of the dominant MPI+X paradigm. Papers and talks will explore the benefits (or perhaps drawbacks) of implementing specific applications with alternatives to MPI+X, whether those benefits are in performance, scalability, productivity, or some other metric important to that application domain. Presenters are encouraged to generalize the experience with their application to other domains in science and engineering and to bring up specific areas of improvement for the model(s) used in the implementation. In doing so, our hope is to create a setting in which application authors, language designers, and architects can present and discuss the state of the art in alternative scalable programming models, while also wrestling with how to increase their effectiveness and adoption. Beyond well-established HPC scientific simulations, we also encourage submissions exploring artificial intelligence, big data analytics, machine learning, and other emerging application areas. Topics of interest include, but are not limited to: * Novel application development using high-level parallel programming languages and frameworks. * Examples that demonstrate performance, compiler optimization, error checking, and reduced software complexity. * Applications from artificial intelligence, data analytics, bioinformatics, and other novel areas. * Performance evaluation of applications developed using alternatives to MPI+X and comparisons to standard programming models. * Novel algorithms enabled by high-level parallel abstractions. * Experience with the use of new compilers and runtime environments. * Libraries using or supporting alternatives to MPI+X. * Benefits of hardware abstraction and data locality on algorithm implementation. Papers that include description of applications that demonstrate the use of alternative programming models will be given higher priority. Submissions Submissions are solicited in 2 categories: 1. Full-length papers presenting novel research results: Full-length papers will be published in the workshop proceedings. Submitted papers must describe original work that has not appeared in, nor is under consideration for, another conference or journal. Papers shall be eight (8) pages minimum and not exceed ten (10) pages including text, appendices, and figures, but excluding bibliography and acknowledgments. Submissions shall not exceed twelve (12) pages total under any circumstance. 1. Extended abstracts summarizing preliminary/published results: Extended abstracts will be evaluated separately and will not be included in the published proceedings; they are intended to propose timely communications of novel work that will be formally submitted elsewhere at a later stage, and/or of already published work that would be of interest to the PAW-ATM audience in terms of topic and timeliness. Extended abstracts shall not exceed four (4) pages. See https://sourceryinstitute.github.io/PAW/ for further details. WORKSHOP CHAIR * Karla Morris - Sandia National Laboratories ORGANIZING COMMITTEE * Engin Kayraklioglu - Hewlett Packard Enterprise * Irene Moulitsas - Cranfield University * Elliott Slaughter - SLAC National Accelerator Laboratory PROGRAM COMMITTEE CO-CHAIRS * Bill Long - Hewlett Packard Enterprise * Daniele Lezzi - Barcelona Supercomputing Center PROGRAM COMMITTEE * Dan Bonachea - Lawrence Berkeley National Laboratory * Jan Ciesko - Sandia National Laboratories * Iacopo Colonnelli - University of Turin * Mario Di Renzo - University of Salento and Stanford University * Salvatore Filippone - Universita di Roma Tor Vergata * Magne Haveraaen - University of Bergen * Peter Hawkins - Google * Engin Kayraklioglu - Hewlett Packard Enterprise * Jannis Klikenberg - RWTH Aachen University * Daniele Lezzi - Barcelona Supercomputing Center * Bill Long - Hewlett Packard Enterprise * Francesc Lordan - Barcelona Supercomputing Center * Lee Margetts - University of Manchester * Fabrizio Marozzo - University of Calabria * Josh Milthorpe - Australian National University * Henry Monge Camacho - Oak Ridge National Laboratory * Karla Morris - Sandia National Laboratories * Irene Moulitsas - Cranfield University * Elliott Slaughter - SLAC National Accelerator Laboratory * Kenjiro Taura - University of Tokyo * Miwako Tsuji - RIKEN Advanced Institute for Computational Science ADVISORY COMMITTEE * Bradford L. Chamberlain - Hewlett Packard Enterprise * Damian W. I. Rouson - Lawrence Berkeley National Laboratory * Katherine A. Yelick - Lawrence Berkeley National Laboratory ARTIFACT EVALUATION COMMITTEE CHAIR * Irene Moulitsas - Cranfield University ARTIFACT EVALUATION COMMITTEE MEMBERS * Scott Baden - University of California San Diego * Desmond Bisandu - Cranfield University * Valentin Churavy - Massachusetts Institute of Technology * Fabio Durastante - University of Pisa * Yakup Koray Budanaz - Technical University of Munich * Boyu Kuang - Cranfield University * Soren Rasmussen - National Center for Atmospheric Research * Anjiang Wei - Stanford University IMPORTANT DATES * Submissions deadline: July 24, 2023 * Manuscripts review period: August 2-23, 2023 * Notification to authors: August 31, 2023 * Updated AD/AE appendix due from authors: September 4, 2023 * PAW-ATM workshop date: November 13, 2023

1 0

[Announcements][Last Call]: The 12th EAI International Conference on Cloud Computing (EAI CloudComp 2023)
by Wayne Chiu 18 May '23

18 May '23

*** Apologies for Cross-Posting *** ----------------------------------------------------------------------- CFP *Last Call* - EAI CloudComp 2023 The 12th International Conference on Cloud Computing (EAI CloudComp 2023) https://cloudcomp.eai-conferences.org/2023/ 25-26, October, 2023, Hong Kong, Hong Kong S.A.R. ----------------------------------------------------------------------- *Submission Deadline: 20 May, 2023 (AoE)* ----------------------------------------------------------------------- # Scope # As a novel computing paradigm, cloud computing has changed the world tremendously in the past two decades. It offers scalable computing and storage resources as services to support various applications cost- effectively and flexibly. It has also promoted the proliferation of big data analytics and deep learning in the last decade. Currently, cloud computing is continuing to power and drive technological development and advances in various areas such as industrial manufacturing, medical healthcare, intelligent transportation, smart city, e-government, e-commerce, and e-finance, etc. It is also the backbone for emerging edge/fog computing technologies and Internet of Things (IoT) applications, which constitute a rapidly-evolving ecosystem that profoundly changes the world’s IT landscape and people’s lives. CloudComp 2023 aims to bring together researchers and industry developers to discuss and share their recent viewpoints and contributions to cloud computing, It aims to present recent theories, experiences, and results obtained in a wide area relevant to computing, giving researchers and industrial practitioners an opportunity to gain in-depth insight on the current and futuristic cloud computing technologies. # Topics # We welcome contributions from the following fields: - Cloud Architecture - • X as a Service Paradigms - • Cloud Computing Architecture - • Public/Private/Hybrid Cloud - • Edge Computing / Fog Computing - • IoT/Sensor Clouds - • Simulation and Virtualization in Cloud Computing - • Cloud Data Management Architecture - Cloud Management - • Cloud Resource Scheduling and Computation Offloading - • Edge Resource Management and Optimization - • Quality of Service (QoS) in Cloud Computing - • Cost Models and Optimization in Cloud Computing - • Privacy, Security and Trust Issues in Cloud Computing - • Heterogeneity in Cloud Computing - • Energy-saving Issue in Cloud Computing - • Cloud Data Management - Cloud Applications - • Cloud Computing for Big Data Processing - • High Performance Computing based on Cloud - • Cloud Supported Smart X Technologies - • Distributed and Parallel Query Processing - • 5G and Cloud Computing - • Blockchain Techniques for Cloud Computing - • Edge Computing Applications # Publication # All registered papers will be submitted for publishing by Springer and made available through *Springer* Link Digital Library. Proceedings will be submitted for inclusion in leading indexing services, such as Web of Science, Compendex, Scopus, DBLP, EU Digital Library, IO-Port, MatchSciNet, Inspec and Zentralblatt MATH. Authors of selected papers will be invited to submit an extended version to: • Wireless Networks (WINET) Journal [IF: 2.602 (2020)] All accepted authors are eligible to submit an extended version in a fast track of: • EAI Endorsed Transactions on Cloud Systems • EAI Endorsed Transactions on Scalable Information Systems Additional publication opportunities: • Sensors • EAI Transactions series (Open Access) • EAI/Springer Innovations in Communications and Computing Book Series (titles in this series are indexed in Ei Compendex, Web of Science & Scopus) ----------------------------------------------------------------------- # Paper Submission # Papers should be submitted through EAI ‘Confy+‘ system, and have to comply with the Springer format (see Author’s kit section). • Regular papers should be up to 12-15+ pages in length. • Short papers should be 6-11 pages in length. . Please note that regular papers should be 10-20 pages in length. This conference uses single-blind review model. Reviewers are . anonymous to authors, names and affiliations of authors are shown to the Program Committee. All conference papers undergo a thorough peer review process prior to the final decision and publication. This process is facilitated by experts in the Technical Program Committee during a dedicated conference period. Standard peer review is enhanced by EAI Community Review which allows EAI members to bid to review specific papers. All review assignments are ultimately decided by the responsible Technical Program Committee Members while the Technical Program Committee Chair is responsible for the final acceptance selection. You can learn more about Community Review here. # Important Dates # Full Paper Submission deadline 20 May 2023 Notification deadline 30 July 2023 Camera-ready deadline 15 September 2023 Start of Conference 25 October 2023 End of Conference 26 October 2023 # Organisation # General Chairs - Wenjuan Li, The Hong Kong Polytechnic University, HK Technical Program Committee Chairs - Jiannong Cao, Hong Kong Polytechnic University, HK - Weizhi Meng, Technical University of Denmark, DK Technical Program Committee https://cloudcomp.eai-conferences.org/2023/organizing-committee/

1 0

[Deadline extended] WSCC 2023: Workshop on Scalable Compute Continuum (co-located with EuroPar 2023)
by Matteo Nardelli 02 May '23

02 May '23

(Our apologies if you received multiple copies of this CFP) ************************************************************************** WSCC 2023: Euro-Par 2023 International Workshop International Workshop on Scalable Compute Continuum Date: 28 August - September 2023 Location: Limassol, Cyprus Workshop web page: https://wscc2023.di.unipi.it/ Euro-Par web page: https://2023.euro-par.org/ ************************************************************************** * Call for Papers The “Compute Continuum” paradigm promises to manage the heterogeneity and dynamism of widespread computing resources, aiming to simplify the execution of distributed applications improving data locality, performance, availability, adaptability, energy management as well as other non-functional features. This is made possible by overcoming resource fragmentation and segregation in tiers, enabling 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, this paradigm also offers more detailed adaptation actions that strictly depend on the specific infrastructure components (e.g., to reduce energy consumption, or to exploit specific hardware such as GPUs and FPGAs). This enables the enhancement of latency-sensitive applications, the reduction of network bandwidth consumption, the improvement of privacy protection, and the development of novel services aimed at improving living, health, 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. Therefore, to unleash the true potential offered by the Compute Continuum, proactive, autonomous, and infrastructure-aware management is desirable, if not mandatory, calling 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 Compute Continuum - System software for cloud-edge-IoT orchestration - Distributed and decentralized management of resources and application deployment in the Compute Continuum - Programming models, languages and patterns for the Compute Continuum - Compute Continuum performance modeling and analysis - Compute Continuum as a service - Energy-efficient solutions for sustainable Compute Continuum - AI in the Compute Continuum - Scalable applications for Compute Continuum (IoT, microservices, serverless) - Data-intensive and stream processing systems and applications in the Compute Continuum - Digital Twins and industry applications in the Compute Continuum - Prototypes and real-life experiments involving Compute Continuum - Benchmarks and experimental platforms for reproducible experiments in the Compute Continuum * Submission Instructions The papers should be formatted according to the LNCS guidelines. They should be between a minimum of 10 and a maximum of 12 pages. * Special Issue Selected papers will be invited to submit an extended version to the Special Issue of the Elsevier Future Generation Computer Systems on “Scalable Compute Continuum”. For important dates and additional info, see the related Call for Papers: https://www.sciencedirect.com/journal/future-generation-computer-systems/ab… * Important Dates May 19th, 2023 Paper submission deadline June 19th, 2023 Paper acceptance notifications July 2nd, 2023 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 Looking forward to receiving your excellent submissions soon. Best regards, Valeria Cardellini, Patrizio Dazzi, Gabriele Mencagli, Matteo Nardelli, and Massimo Torquati

1 0

[Deadline approaching] WSCC 2023: Workshop on Scalable Compute Continuum (co-located with EuroPar 2023)
by Matteo Nardelli 26 Apr '23

26 Apr '23

(Our apologies if you received multiple copies of this CFP) ************************************************************************** WSCC 2023: Euro-Par 2023 International Workshop International Workshop on Scalable Compute Continuum Date: 28 August - September 2023 Location: Limassol, Cyprus Workshop web page: https://wscc2023.di.unipi.it/ Euro-Par web page: https://2023.euro-par.org/ ************************************************************************** * Call for Papers The “Compute Continuum” paradigm promises to manage the heterogeneity and dynamism of widespread computing resources, aiming to simplify the execution of distributed applications improving data locality, performance, availability, adaptability, energy management as well as other non-functional features. This is made possible by overcoming resource fragmentation and segregation in tiers, enabling 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, this paradigm also offers more detailed adaptation actions that strictly depend on the specific infrastructure components (e.g., to reduce energy consumption, or to exploit specific hardware such as GPUs and FPGAs). This enables the enhancement of latency-sensitive applications, the reduction of network bandwidth consumption, the improvement of privacy protection, and the development of novel services aimed at improving living, health, 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. Therefore, to unleash the true potential offered by the Compute Continuum, proactive, autonomous, and infrastructure-aware management is desirable, if not mandatory, calling 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 Compute Continuum - System software for cloud-edge-IoT orchestration - Distributed and decentralized management of resources and application deployment in the Compute Continuum - Programming models, languages and patterns for the Compute Continuum - Compute Continuum performance modeling and analysis - Compute Continuum as a service - Energy-efficient solutions for sustainable Compute Continuum - AI in the Compute Continuum - Scalable applications for Compute Continuum (IoT, microservices, serverless) - Data-intensive and stream processing systems and applications in the Compute Continuum - Digital Twins and industry applications in the Compute Continuum - Prototypes and real-life experiments involving Compute Continuum - Benchmarks and experimental platforms for reproducible experiments in the Compute Continuum * Submission Instructions The papers should be formatted according to the LNCS guidelines. They should be between a minimum of 10 and a maximum of 12 pages. * Special Issue Selected papers will be invited to submit an extended version to the Special Issue of the Elsevier Future Generation Computer Systems on “Scalable Compute Continuum”. For important dates and additional info, see the related Call for Papers: https://www.sciencedirect.com/journal/future-generation-computer-systems/ab… * Important Dates May 5th, 2023 Paper submission deadline June 19th, 2023 Paper acceptance notifications July 2nd, 2023 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 Looking forward to receiving your excellent submissions soon. Best regards, Valeria Cardellini, Patrizio Dazzi, Gabriele Mencagli, Matteo Nardelli, and Massimo Torquati

1 0

Job Opening: Professor / Associate Professor / Assistant Professor (Artificial Intelligence in Healthcare) at Hong Kong Baptist University
by COMP HKBU 24 Apr '23

24 Apr '23

The Department of Computer Science at Hong Kong Baptist University presently offers BSc, MSc, MPhil, and PhD programmes, and is now seeking exceptional candidates for the following tenure-track faculty position. *Professor / Associate Professor / Assistant Professor (Artificial Intelligence in Healthcare) (PR0707/22-23)* The appointee will be expected to conduct high-impact research, teach and supervise students at both undergraduate and postgraduate levels, and contribute to professional and institutional services. In addition, the appointee will collaborate with colleagues to pursue new strategic research initiatives under the Department/Faculty/University. Applicants should possess a PhD degree in Computer Science, Computer Engineering, Information Systems, or a related field, and have demonstrated abilities to conduct high-quality research in areas including but not limited to: • Machine learning for clinical decision making; • Natural language processing for electronic health records; • Computer vision for medical image analysis; • Explainable AI for healthcare applications; and • Data privacy and security in healthcare. Applicants should also show strong commitment to undergraduate and postgraduate teaching in computer science and/or information systems, possess track record of innovative research and high-impact publications, and be able to bid for and pursue externally-funded research programmes. The initial appointment will be offered on a fixed-term contract of three years. Re-appointment thereafter will be subject to mutual agreement. For enquiries, please contact Professor Jianliang Xu, Head of Department (email:xujl@comp.hkbu.edu.hk). More information about the Department can be found at https://www.comp.hkbu.edu.hk. *Rank and salary will be commensurate with qualifications and experience.* Application Procedure: Applicants are invited to submit their applications at the HKBU e-Recruitment System (https://jobs.hkbu.edu.hk) with samples of publications, preferably three best ones out of their most recent publications/works. They should also request two referees to send in confidential letters of reference, with PR number (stated above) quoted on the letters, to the Human Resources Office (Email: recruit(a)hkbu.edu.hk) direct. Those who are not invited for interview 4 months after the submission of application may consider their applications unsuccessful. All application materials including publication samples, scholarly/creative works will be disposed of after completion of the recruitment exercise. Details of the University's Personal Information Collection Statement can be found at https://hro.hkbu.edu.hk/pics. The University reserves the right not to make an appointment for the posts advertised, and the appointment will be made according to the terms and conditions applicable at the time of offer. Review of applications is ongoing until the positions are filled. URL: *https://www.comp.hkbu.edu.hk/v1/?page=job_vacancies&id=872 <https://www.comp.hkbu.edu.hk/v1/?page=job_vacancies&id=872>*

1 0

[hpc-announce] [CfP] 1st ASMECC workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum (ASMECC 2023) - co-located with ACSOS'23
by Gamblin, Todd 21 Apr '23

21 Apr '23

[Apologies if you got multiple copies of this email. If you'd like to opt out of these announcements, information on how to unsubscribe is available at the bottom of this email.] # 1st ASMECC Workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum (ASMECC 2023) The 1st ASMECC Workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum (ASMECC 2023) is co-located with the 4th IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2023) that will take place in Toronto, Canada on September 25-29, 2023. ## Important Dates * Abstract deadline: July 1st, 2023 (soft) * Submission deadline: July 10th, 2023 * Notification: July 31st, 2023 * Camera-ready submission: August 5th, 2023 * Workshop date: September 25-29, 2023 (TBD) All times are intended in Anywhere on Earth (AoE) timezone. ## Scope and Topics Edge-cloud computing continuum paradigms (e.g. edge, fog, mist computing) enable distributed and pervasive computing and networking to support a variety of novel ICT-based applications and services. They represent a deployment target and a management plane for the software elements (components, microservices, functions) making up modern distributed applications. The heterogeneity, pervasiveness, dynamism, and interplay with applications, that characterise the cloud-edge continuum provide significant opportunities and challenges, in terms of operational flexibility and efficiency. A major challenge lies in supporting the autonomic management of applications while respecting and opportunistically optimising against the set of constraints, requirements, and preferences indicated by applications, users, owners, and providers. Edge-cloud continua have to become intelligent, embedding cognitive-like capabilities for monitoring, reasoning, planning, and acting. A number of specific issues arise, requiring novel ideas and techniques to be developed. For instance, how can MAPE-K architectures be adapted to work on the edge-cloud continuum? How may learning be exploited to refine dynamic deployment policies or anticipate changes? How can the learned models be explained? What programming models can be used to adequately express application logic independently of its deployment across the continuum? What formal specification languages can support architectural descriptions while enabling analysis of properties of interest? How can the infrastructure self-organise into resilient structures supporting connectivity and distributed task allocation? How to promote sustainability and energy/resource-efficiency across the edge-cloud continuum? These are just a few research questions that may be investigated. But the investigation itself requires tools, simulators, and benchmarks to conduct experiments in controlled environments without incurring in the costs of running experiments in real-world settings. This workshop solicits papers that investigate on the use of autonomic/self-* techniques to understand, design, and develop solutions on/for the edge-fog-cloud continuum. The topics of interest include (but are not limited to) the following: - Algorithms for self-adaptive/self-organising management of applications across the edge-fog-cloud continuum - Devops solutions for the edge-fog-cloud continuum - Languages for the specification of deployments, applications, or management policies - AI techniques for the edge-fog-cloud continuum - ML techniques for the edge-fog-cloud continuum - Mathematical methods supporting modelling and algorithmic solutions for the edge-fog-cloud and its management issues - Soft computing techniques for the edge-fog-cloud continuum - Self-* techniques for the edge-fog-cloud continuum - Theories and models at the basis of applications and platforms on the edge-fog-cloud continuum - Tools or simulators for the edge-fog-cloud continuum - Edge-cloud computing for the Internet of Things and cyber-physical systems - Edge-cloud computing for swarm systems ## Submission instructions Originality. Submitted papers must be original, unpublished, and not concurrently submitted for publication elsewhere. Kinds of submissions. Submitted papers should provide original research contributions, and must not exceed 6 pages (including references; up to two additional pages may be purchased for CR). The workshop welcomes different kinds of research work: theoretical, experimental, review, tool, application. Format. All paper submissions should follow the formatting indications of the main conference, i.e., IEEE 8.5” x 11” Two-Column Format (IEEE Manuscript Templates for Conference Proceedings). E-submission site: <https://urldefense.us/v3/__https://easychair.org/conferences/?conf=acsos202… > NOTE: upon submission, you have to select the track “Workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum”. ## Review process Reviews. Papers will be peer reviewed for originality, relevance to themes, significance, presentation, soundness, and overall quality – emphasising breadth and relevance to the topics of the workshop. All papers will be reviewed by a TPC with a minimum of 3 reviews per paper. Reviews will be single-blind. ## Post-acceptance instructions Registration and presentation. At least one of the authors of every accepted paper must register and present the paper at the workshop. Publication and indexing. All accepted and presented papers will be submitted to IEEE Xplore and indexing databases like Elsevier, IET, and Scopus. ## Workshop Chairs - Roberto Casadei (Alma Mater Studiorum - University of Bologna, Italy) - Lukas Esterle (Aarhus University, Denmark) - Stefano Forti (University of Pisa, Italy) For any inquiry, please contact us at <asmecc23.workshop(a)easychair.org>. ******************************************************************************** The hpc-announce mailing list has been setup to have a common mailing list to share information with respect to upcoming HPC related events. You are included in this mailing list based on your participation or interest in a previous HPC conference or other event. The purpose for providing a single mailing list is to allow participants to easily identify such emails, and handle them appropriately. Some options include: 1. If you feel that the number of such emails is too many, filter them to less-frequently-read folders in your email client. 2. Change your subscription to a digest option (https://urldefense.us/v3/__https://lists.mcs.anl.gov/mailman/listinfo/hpc-a… ) which will consolidate emails sent that week into a single summary email. If you do not remember your password (which is needed to change these options), you can reset it using the "Unsubscribe or Edit Options" button at the bottom of the page. 3. Finally, if you do not wish to receive any emails from hpc-announce, you can unsubscribe from the mailing list (https://urldefense.us/v3/__https://lists.mcs.anl.gov/mailman/listinfo/hpc-a… ). Once unsubscribed, we guarantee that you will not be added back in through participation in a different HPC related conference or event. You will need to send an email to hpc-announce-owner(a)mcs.anl.gov to be added back on. If you need help with any of the above, please email us at hpc-announce-owner(a)mcs.anl.gov. ********************************************************************************

1 0

[CfP] 1st ASMECC workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum (ASMECC 2023) - co-located with ACSOS'23
by Roberto Casadei 21 Apr '23

21 Apr '23

# 1st ASMECC Workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum (ASMECC 2023) The 1st ASMECC Workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum (ASMECC 2023) is co-located with the 4th IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2023) that will take place in Toronto, Canada on September 25-29, 2023. ## Important Dates * Abstract deadline: July 1st, 2023 (soft) * Submission deadline: July 10th, 2023 * Notification: July 31st, 2023 * Camera-ready submission: August 5th, 2023 * Workshop date: September 25-29, 2023 (TBD) All times are intended in Anywhere on Earth (AoE) timezone. ## Scope and Topics Edge-cloud computing continuum paradigms (e.g. edge, fog, mist computing) enable distributed and pervasive computing and networking to support a variety of novel ICT-based applications and services. They represent a deployment target and a management plane for the software elements (components, microservices, functions) making up modern distributed applications. The heterogeneity, pervasiveness, dynamism, and interplay with applications, that characterise the cloud-edge continuum provide significant opportunities and challenges, in terms of operational flexibility and efficiency. A major challenge lies in supporting the autonomic management of applications while respecting and opportunistically optimising against the set of constraints, requirements, and preferences indicated by applications, users, owners, and providers. Edge-cloud continua have to become intelligent, embedding cognitive-like capabilities for monitoring, reasoning, planning, and acting. A number of specific issues arise, requiring novel ideas and techniques to be developed. For instance, how can MAPE-K architectures be adapted to work on the edge-cloud continuum? How may learning be exploited to refine dynamic deployment policies or anticipate changes? How can the learned models be explained? What programming models can be used to adequately express application logic independently of its deployment across the continuum? What formal specification languages can support architectural descriptions while enabling analysis of properties of interest? How can the infrastructure self-organise into resilient structures supporting connectivity and distributed task allocation? How to promote sustainability and energy/resource-efficiency across the edge-cloud continuum? These are just a few research questions that may be investigated. But the investigation itself requires tools, simulators, and benchmarks to conduct experiments in controlled environments without incurring in the costs of running experiments in real-world settings. This workshop solicits papers that investigate on the use of autonomic/self-* techniques to understand, design, and develop solutions on/for the edge-fog-cloud continuum. The topics of interest include (but are not limited to) the following: - Algorithms for self-adaptive/self-organising management of applications across the edge-fog-cloud continuum - Devops solutions for the edge-fog-cloud continuum - Languages for the specification of deployments, applications, or management policies - AI techniques for the edge-fog-cloud continuum - ML techniques for the edge-fog-cloud continuum - Mathematical methods supporting modelling and algorithmic solutions for the edge-fog-cloud and its management issues - Soft computing techniques for the edge-fog-cloud continuum - Self-* techniques for the edge-fog-cloud continuum - Theories and models at the basis of applications and platforms on the edge-fog-cloud continuum - Tools or simulators for the edge-fog-cloud continuum - Edge-cloud computing for the Internet of Things and cyber-physical systems - Edge-cloud computing for swarm systems ## Submission instructions Originality. Submitted papers must be original, unpublished, and not concurrently submitted for publication elsewhere. Kinds of submissions. Submitted papers should provide original research contributions, and must not exceed 6 pages (including references; up to two additional pages may be purchased for CR). The workshop welcomes different kinds of research work: theoretical, experimental, review, tool, application. Format. All paper submissions should follow the formatting indications of the main conference, i.e., IEEE 8.5” x 11” Two-Column Format (IEEE Manuscript Templates for Conference Proceedings). E-submission site: <https://easychair.org/conferences/?conf=acsos2023> NOTE: upon submission, you have to select the track “Workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum”. ## Review process Reviews. Papers will be peer reviewed for originality, relevance to themes, significance, presentation, soundness, and overall quality – emphasising breadth and relevance to the topics of the workshop. All papers will be reviewed by a TPC with a minimum of 3 reviews per paper. Reviews will be single-blind. ## Post-acceptance instructions Registration and presentation. At least one of the authors of every accepted paper must register and present the paper at the workshop. Publication and indexing. All accepted and presented papers will be submitted to IEEE Xplore and indexing databases like Elsevier, IET, and Scopus. ## Workshop Chairs - Roberto Casadei (Alma Mater Studiorum - University of Bologna, Italy) - Lukas Esterle (Aarhus University, Denmark) - Stefano Forti (University of Pisa, Italy) For any inquiry, please contact us at <asmecc23.workshop(a)easychair.org>.

1 0

FGCS Special Issue on Scalable Compute Continuum
by Matteo Nardelli 17 Apr '23

17 Apr '23

(Our apologies if you received multiple copies of this CFP) ============================================== Future Generation Computer Systems Special Issue on Scalable Compute Continuum The full call for papers is available on the official FGCS website: https://www.sciencedirect.com/journal/future-generation-computer-systems/ab… ============================================== Motivation and Scope ======================= The “Compute Continuum” paradigm promises to manage the heterogeneity and dynamism of widespread computing resources, aiming to simplify the execution of distributed applications improving data locality, performance, availability, adaptability, energy management as well as other non-functional features. This is made possible by overcoming the fragmentation of IoT-edge-cloud resources and their segregation in tiers, enabling applications to be seamlessly executed and relocated along a continuum of resources spanning from the edge to the cloud. By distributing resources all around, the emerging Compute Continuum paradigm supports the execution of data-intensive applications as close as possible to data sources and end users. Besides consolidated vertical and horizontal scaling patterns, this paradigm also offers more detailed adaptation actions that strictly depend on the specific infrastructure components (e.g., to reduce energy consumption, or to exploit specific hardware such as GPUs and FPGAs). This enables the enhancement of latency-sensitive applications, the reduction of network bandwidth consumption, the improvement of privacy protection, and the development of novel services aimed at improving living, health, safety, and mobility. All of this should be achievable by application developers without having to worry about how and where the developed application components will be executed. Therefore, to unleash the true potential offered by the Compute Continuum, autonomous, proactive, and infrastructure-aware management is desirable, if not mandatory, calling for novel interdisciplinary approaches that exploit optimization theory, control theory, machine learning, and artificial intelligence methods. This special issue aims to investigate and gather research contributions on the emerging Compute Continuum, seeking solutions for running distributed applications while efficiently managing heterogeneous and widespread computing resources. Topics of interest include, but are not limited to, the following: - Scalable architectures and systems for the Compute Continuum; - System software for cloud-edge-IoT orchestration; - Distributed and decentralized management of resources and application deployment in the - Compute Continuum; - Programming models, languages and patterns for the Compute Continuum; - Compute Continuum performance modeling and analysis; - Compute Continuum as a service; - Energy-efficient solutions for sustainable Compute Continuum; - AI in the Compute Continuum; - Scalable applications for Compute Continuum (IoT, microservices, serverless); - Data-intensive and stream processing systems and applications in the Compute Continuum; - Digital Twins and industry applications in the Compute Continuum; - Prototypes and real-life experiments involving the Compute Continuum; - Benchmarks and experimental platforms for reproducible experiments in the Compute Continuum. Guest Editors ======================= 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. Important Dates ======================= Submission portal opens: May 1, 2023 Deadline for paper submission: November 3, 2023 Latest acceptance deadline for all papers: March 8, 2024 Manuscript Submission Instructions ======================= The FGCS’s submission system ( https://www.editorialmanager.com/FGCS/default.aspx) will be open for submissions to our Special Issue from May 1, 2023. When submitting your manuscript please select the article type VSI: SI_SCC_ScalCompContinuum. All submissions deemed suitable by the editors to be sent for peer review will be reviewed by at least two independent reviewers. Once your manuscript is accepted, it will go into production to be published in the special issue. Looking forward to receiving your excellent submissions soon. Best regards, Valeria Cardellini, Patrizio Dazzi, Gabriele Mencagli, Matteo Nardelli, and Massimo Torquati

1 0

Last Call: Springer(LNCS): The Ninth International Conference on Mining Intelligence and Knowledge Exploration (MIKE 2023)
by Seifedine Kadry 14 Apr '23

14 Apr '23

Dear Colleagues, The MIKE 2023 Program Committee invites submissions of original theoretical research, applied research, and deployed application papers on all aspects of Learning Algorithms, Data / Text Mining, and Knowledge discovery techniques for the main technical program. http://www.mike.org.in/2023/#l-start Please make a note of these dates in your calendar Workshop Proposal April 30, 2023 Full Paper Submission (extend it) April 30, 2023, 11:59 PM PST Author Notification May 15, 2023 Camera Ready Copy and Registration Deadline May 25, 2023 Conference June 28-30, 2023 -- Regards, Seifedine Kadry, PhD Professor FIET, SMIEEE, ACM

1 0

International Workshop on Virtual Reality and Augmented Reality and Applications (VRA 2023)
by Osvaldo Gervasi 14 Apr '23

14 Apr '23

1 0

Associate Professor in Cyber Security
by Andrii Shalaginov 12 Apr '23

12 Apr '23

Dear All, Kristiania University College (Norway) is hiring an Associate Professor in Cyber Security. A permanent full-time position is available for an outstanding candidate in the field of Information Technology focusing on Cyber Security at the School of Economics, Innovation, and Technology. The department offers education in Cyber Security on both bachelor and master levels with a variety of specialization and application areas. We put a strong emphasis on industrial connections and research-driven innovation when it comes to teaching and student projects. The research portfolio includes several national and international research and development projects with the specific alignment towards the United Nations sustainable development goals and inclusion of the research results in teaching activities. The research environment covers several groups and labs working in relevant Cyber Security areas with established research agenda and international visibility. Application deadline: 19th of April, 2023 More information and application page: https://web103.reachmee.com/ext/I021/1682/job?site=6&lang=NO&validator=4368… -- Best regards / Med vennlig hilsen, Andrii Shalaginov (PhD in InfoSec | CCSKv4 | KLCP | LPIC-1) Associate Professor Program Director of Bachelor in Cyber Security Program Director of Master in Cyber Security Head of Smart Security Lab (SmartSecLab) School of Economics, Innovation and Technology M +47 46 572 592 | andrii.shalaginov(a)kristiania.no<mailto:andrii.shalaginov@kristiania.no> Kristiania University College Visiting address: Kirkegata 24 PB 1190 Sentrum, 0107 Oslo Kristiania University College is a foundation with over 108 years of experience – Think ahead! [https://brandpad.io/cloudinary/brandpad/image/upload/17558/kristiania_mail_…]

1 0