February 2018 - computational.science

International Workshop on Advances in High-Performance Algorithms Middleware and Applications
by Massimo Cafaro 02 Feb '18

02 Feb '18

My apologies for multiple copies. 1st International Workshop on Advances in High-Performance Algorithms Middleware and Applications http://sara.unisalento.it/~cafaro/AHPAMA2018/ Held in conjunction with the the 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID 2018), Washington, DC, USA May 1-4 2018 The Workshop on Advances in High-Performance Algorithms Middleware and Applications is an international forum which brings together researchers and practitioners working on different high-performance aspects of algorithms, middleware and technologies enabling novel applications. Middleware technologies include tools to assemble together different resources such as parallel supercomputers, data archives, high-speed storage systems, advanced visualization devices and scientific instruments using high speed networks connecting geographically distributed devices and organizations. Many recent international efforts are actively fostering the development of such applications and technologies. The Workshop will allow exchanging ideas and results related to on-going research, focusing on high-performance aspects of algorithms and applications. Creating breakthrough parallel algorithms for high-performance applications requires addressing several key computing problems which may lead to novel solutions and new insights in interdisciplinary applications. The focus of the workshop is on all forms of advances in high-performance algorithms middleware and applications, and related topics. For example, the following topics are relevant to the workshop: - Scalable message-passing parallel algorithms using MPI - Scalable shared-memory parallel algorithms using OpenMP - GPGPU parallel algorithms using OpenCL or CUDA - Green High-Performance Computing - Exploiting modern parallel architectures including FPGA, many-cores and multi-cores for parallel applications - Middleware for high-performance computing - Benchmarking and performance studies of high-performance applications - Novel programming paradigms to support high-performance computing - Performance models for high-performance applications and middleware - Efficient job scheduling for high-performance applications - Performance-aware resource reservation - Security-related performance issues - Programming models, tools, and environments for high-performance computing - Caching, streaming, pipelining, and other optimization techniques for data management in high-performance computing - Peer-to-peer systems for high-performance grid and cloud environments - Optimization techniques for mobile grids Submission Guidelines The results presented in the paper must be unpublished and not submitted for publication elsewhere, including the proceedings of other conferences or workshops. Papers will be peer-reviewed by at least three reviewers. Papers are evaluated with respect to originality, significance, clarity, and technical soundness. One author of each accepted paper will be expected to present the paper at the workshop. Authors are invited to submit papers electronically in PDF format. Submitted manuscripts should be structured as technical papers and may not exceed 10 letter-size (8.5 x 11) pages including all figures, tables and references using the IEEE format for conference proceedings. Papers need to be submitted through Easy Chair following this link: https://easychair.org/conferences/?conf=ahpama1 Important Dates Paper submission: February 23, 2018 Author notification: March 7, 2018 Camera ready: March 15, 2018 Workshop: May 1-4, 2018 Workshop Organizers Massimo Cafaro University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: massimo.cafaro(a)unisalento.it Italo Epicoco University of Salento, Italy Phone: +39 0832 297235 Fax: +39 0832 297235 Email: italo.epicoco(a)unisalento.it Marco Pulimeno University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: marco.pulimeno(a)unisalento.it Giovanni Aloisio University of Salento & Euro Mediterranean Center on Climate Change Foundation, Italy Phone: +39 334 6501704 Fax: +39 0832 297235 Email: giovanni.aloisio(a)unisalento.it Program Committee Clemente Galdi, University of Naples Federico II, Italy Giuliano Laccetti, University of Naples Federico II, Italy Barbara Masucci, University of Salerno, Italy Umberto Ferraro Petrillo, University of Rome La Sapienza, Italy Domenico Talia, University of Calabria, Italy Paolo Trunfio, University of Calabria, Italy Francesco Versaci, CRS4, Italy Laurence T. Yang, St. Francis Xavier University, Canada - ************************************************************************************ Massimo Cafaro, Ph.D. Associate Professor Dept. of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web http://sara.unisalento.it/~cafaro E-mail massimo.cafaro(a)unisalento.it cafaro(a)ieee.org cafaro(a)acm.org CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro(a)cmcc.it ************************************************************************************

1 0

FINAL CfP Ada-Europe 2018, Mon 5 February submission deadline
by Dirk Craeynest 01 Feb '18

01 Feb '18

----------------------------------------------------------------------- FINAL Call for Papers 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 18-22 June 2018, Lisbon, Portugal http://www.ada-europe.org/conference2018 Organized by Univ. Lisboa and Ada-Europe, in cooperation with ACM SIGAda, SIGBED, SIGPLAN and the Ada Resource Association (ARA) The 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 will take place in Lisbon, Portugal. Following its traditional style, the conference will span a full week, including a three-day technical program and vendor exhibition from Tuesday to Thursday, along with parallel tutorials and workshops on Monday and Friday. This edition features a focused Special Session on Security in Safety-Critical Systems. *** DEADLINE Monday 5 FEBRUARY 2018 *** Regular & Special Session Papers + Industrial Presentations: submit via https://easychair.org/conferences/?conf=adaeurope2018 Tutorials & Workshops: submit to the Tutorial & Workshop Chair David Pereira <dmrpe at isep.ipp.pt> For more information please see the full Call for Contributions at http://www.ada-europe.org/conference2018 ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, Ada-Europe'2018 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be

1 0

CfP 13th Virtualization in High-Performance Cloud Computing Workshop (VHPC '18)
by VHPC 18 01 Feb '18

01 Feb '18

==================================================================== CALL FOR PAPERS 13th Workshop on Virtualization in High-Performance Cloud Computing (VHPC '18) held in conjunction with the International Supercomputing Conference - High Performance, June 24-28, 2018, Frankfurt, Germany. (Springer LNCS Proceedings) ==================================================================== Date: June 28, 2018 Workshop URL: http://vhpc.org Paper Submission Deadline: April 23, 2018, Springer LNCS, rolling abstract submission Abstract/Paper Submission Link: https://edas.info/newPaper.php?c=24355 Special Track: GPU - Accelerator Virtualization Call for Papers Virtualization technologies constitute a key enabling factor for flexible resource management in modern data centers, and particularly in cloud environments. Cloud providers need to manage complex infrastructures in a seamless fashion to support the highly dynamic and heterogeneous workloads and hosted applications customers deploy. Similarly, HPC environments have been increasingly adopting techniques that enable flexible management of vast computing and networking resources, close to marginal provisioning cost, which is unprecedented in the history of scientific and commercial computing. Various virtualization technologies contribute to the overall picture in different ways: machine virtualization, with its capability to enable consolidation of multiple underutilized servers with heterogeneous software and operating systems (OSes), and its capability to live-migrate a fully operating virtual machine (VM) with a very short downtime, enables novel and dynamic ways to manage physical servers; OS-level virtualization (i.e., containerization), with its capability to isolate multiple user-space environments and to allow for their coexistence within the same OS kernel, promises to provide many of the advantages of machine virtualization with high levels of responsiveness and performance; I/O Virtualization allows physical network interfaces to take traffic from multiple VMs or containers; network virtualization, with its capability to create logical network overlays that are independent of the underlying physical topology is furthermore enabling virtualization of HPC infrastructures. Publication Accepted papers will be published in a Springer LNCS proceedings volume. Topics of Interest The VHPC program committee solicits original, high-quality submissions related to virtualization across the entire software stack with a special focus on the intersection of HPC and the cloud. Major Topics - Virtualization in supercomputing environments, HPC clusters, HPC in the cloud and grids - OS-level virtualization and containers (LXC, Docker, rkt, Singularity, Shifter, i.a.) - Lightweight/specialized operating systems in conjunction with virtual machines - Novel unikernels and use cases for virtualized HPC environments - Performance improvements for or driven by unikernels - Tool support for unikernels: configuration/build environments, debuggers, profilers - Hypervisor extensions to mitigate side-channel attacks ([micro-]architectural timing attacks, privilege escalation) - VM & Container trust and security - Containers inside VMs with hypervisor isolation - GPU virtualization operationalization - Approaches to GPGPU virtualization including API remoting and hypervisor abstraction - Optimizations of virtual machine monitor platforms and hypervisors - Hypervisor support for heterogeneous resources (GPUs, co-processors, FPGAs, etc.) - Virtualization support for emerging memory technologies - Virtualization in enterprise HPC and microvisors - Software defined networks and network virtualization - Management, deployment of virtualized environments and orchestration (Kubernetes i.a.) - Workflow-pipeline container-based composability - Checkpointing facilitation utilizing containers and VMs - Emerging topics including multi-kernel approaches and NUMA in hypervisors - Operating MPI in containers/VMs and Unikernels - Virtualization in data intensive computing (big data) - HPC convergence - Adaptation of HPC technologies in the cloud (high performance networks, RDMA, etc.) - Performance measurement, modelling and monitoring of virtualized/cloud workloads - Latency-and jitter sensitive workloads in virtualized/containerized environments - I/O virtualization (including applications, SR-IOV, i.a.) - Hybrid local facility + cloud compute and based storage systems, cloudbursting - FPGA and many-core accelerator virtualization - Job scheduling/control/policy and container placement in virtualized environments - Cloud reliability, fault-tolerance and high-availability - QoS and SLA in virtualized environments - IaaS platforms, cloud frameworks and APIs - Energy-efficient and power-aware virtualization - Configuration management tools for containers (including in OpenStack, Ansible, i.a.) - ARM-based hypervisors, ARM virtualization extensions Special Track: GPU - Accelerator Virtualization GPU virtualization technologies, performance and benchmarking, integration with workflow scheduling systems, integration to cluster managers. GPUs are taking on many HPC workload areas, especially in deep learning within machine learning. In addition, a lot of workload is being pushed to elastic environments utilizing various virtualization technologies on different levels like hypervisors (e.g. VMWare, Xen, KVM), kernel (Docker, Kubernetes) or on the resource manager level (YARN, Mesos). In this track we invite submissions addressing these problems. Suggested Themes and Topics: Technology - What technologies and best practices exist for GPU - hardware accelerator virtualization and usage of hardware accelerators in virtual environments on the hypervisor, kernel or resource manager level Developers - Real-life experience when addressing HPC/ML/DL problems with GPUs or hardware accelerators in virtual environments Performance - Performance comparisons between different technologies / solutions The Workshop on Virtualization in High-Performance Cloud Computing (VHPC) aims to bring together researchers and industrial practitioners facing the challenges posed by virtualization in order to foster discussion, collaboration, mutual exchange of knowledge and experience, enabling research to ultimately provide novel solutions for virtualized computing systems of tomorrow. The workshop will be one day in length, composed of 20 min paper presentations, each followed by 10 min discussion sections, plus lightning talks that are limited to 5 minutes. Presentations may be accompanied by interactive demonstrations. Important Dates February 23, 2018 (AoE) - Abstract Submission April 23, 2018 (AoE) - Paper submission deadline (Springer LNCS) May 30, 2018 - Acceptance notification June 28, 2018 - Workshop Day July 12, 2018 - Camera-ready version due Chair Michael Alexander (chair), Institute of Science and Technology, Austria Anastassios Nanos (co-chair), OnApp, UK Romeo Kienzler (co-chair), IBM, Switzerland Program committee Stergios Anastasiadis, University of Ioannina, Greece Jakob Blomer, CERN, Europe Eduardo César, Universidad Autonoma de Barcelona, Spain Stephen Crago, USC ISI, USA Tommaso Cucinotta, St. Anna School of Advanced Studies, Italy Christoffer Dall, Columbia University, USA François Diakhaté, CEA, France Patrick Dreher, MIT, USA Kyle Hale, Northwestern University, USA Brian Kocoloski, University of Pittsburgh, USA Uday Kurkure, VMware, USA John Lange, University of Pittsburgh, USA Giuseppe Lettieri, University of Pisa, Italy Qing Liu, Oak Ridge National Laboratory, USA Nikos Parlavantzas, IRISA, France Kevin Pedretti, Sandia National Laboratories, USA Amer Qouneh, Western New England University, USA Carlos Reaño, Technical University of Valencia, Spain Borja Sotomayor, University of Chicago, USA Anata Tiwari, San Diego Supercomputer Center, USA Kurt Tutschku, Blekinge Institute of Technology, Sweden Yasuhiro Watashiba, Osaka University, Japan Chao-Tung Yang, Tunghai University, Taiwan Andrew Younge, Sandia National Laboratory, USA Na Zhang, VMware, USA Paper Submission-Publication Papers submitted to the workshop will be reviewed by at least two members of the program committee and external reviewers. Submissions should include abstract, keywords, the e-mail address of the corresponding author, and must not exceed 10 pages, including tables and figures at a main font size no smaller than 11 point. Submission of a paper should be regarded as a commitment that, should the paper be accepted, at least one of the authors will register and attend the conference to present the work. Accepted papers will be published in a Springer LNCS volume. . The format must be according to the Springer LNCS Style. Initial submissions are in PDF; authors of accepted papers will be requested to provide source files. Format Guidelines: ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip Abstract, Paper Submission Link: https://edas.info/newPaper.php?c=24355 Lightning Talks Lightning Talks are non-paper track, synoptical in nature and are strictly limited to 5 minutes. They can be used to gain early feedback on ongoing research, for demonstrations, to present research results, early research ideas, perspectives and positions of interest to the community. Submit abstract via the main submission link. General Information The workshop is one day in length and will be held in conjunction with the International Supercomputing Conference - High Performance (ISC) 2018, June 18-22, Frankfurt, Germany.

1 0

Please help disseminating Dynamic Geometry-Mathematicas Education Workshop at ACA 2018
by Prof. Tomas Recio 01 Feb '18

01 Feb '18

Dear Colleague: Please help disseminating among the members of the Computational Science Mailing List, the announcement of a "Dynamic Geometry and Mathematicas Education" Workshop at the Conference on Applications of Computer Algebra (ACA) 2018 (Santiago de Compostela, Spain, June 18-22, 2018). Enclosed please find the Call for Contributions to the Workshop. Thanks for your interest! Further information at the web www.dg-me.tk <http://www.dg-me.tk/> With best regards, Tomas Recio DYNAMIC GEOMETRY AND MATHEMATICS EDUCATION www.dg-me.tk <http://www.dg-me.tk/> SPECIAL SESSION AT THE 24TH CONFERENCE ON APPLICATIONS OF COMPUTER ALGEBRA (ACA <http://www.usc.es/regaca/aca2018/index.html> 2018), JUNE 18 - 22, 2018, SANTIAGO DE COMPOSTELA, SPAIN AIM AND SCOPE Dynamic geometry environments (DGE) have emerged in the last half-century with an ever-increasing impact in mathematics education. DGE enlarges the field of geometric objects subject to formal reasoning, for instance, simultaneous operations with many geometric objects. Today DGE open the possibility of investigating visually and formulating conjectures, comparing objects, discovering or proving rigorously properties over geometric constructions, and Euclidean elementary geometry is required to reason about them. Along these decades various utilities have been added to these environments, such as the manipulation of algebraic equations of geometric objects or the automated proving and discovering, based on computer algebra algorithms, of elementary geometry statements. Moreover, some intelligent tutoring systems for Euclidean geometry based in DGE have been developed. The merging of these tools (DGE, automated proving and intelligent tutoring systems) is, thus, a very natural, challenging and promising issue, currently involving logic, symbolic computation, software development, algebraic geometry and mathematics education experts all from over the world. The Special Session intends to be a forum for: presenting the current state of the art concerning the design and implementation of automatic reasoning features on dynamic geometry systems and intelligent tutoring systems; fostering a debate concerning the role and use of such features in mathematics education, in general, and their potential impact in proof and proving conception in the classroom, in particular. ORGANIZERS Tomás Recio (tomas.recio(a)unican.es <mailto:tomas.recio@unican.es>), Universidad de Cantabria, Santander, Spain Philippe R. Richard (philippe.r.richard(a)umontreal.ca <http://www.nebrija.es/Users/TOMAS%201/Downloads/philippe.r.richard@umontrea…>), Université de Montréal, Montréal, Canada M. Pilar Vélez (pvelez(a)nebrija.es <http://www.nebrija.es/Users/TOMAS%201/Downloads/pvelez@nebrija.es>), Universidad Antonio de Nebrija, Madrid, Spain SUBMISSIONS If you are interested in proposing a talk, please send an abstract to pvelez(a)nebrija.es <mailto:pvelez@nebrija.es>. Please use the attached LaTeX template <http://www.nebrija.es/~pvelez/ACA2018/Abstract_Template.tex> <http://www.nebrija.es/~pvelez/ACA2018/Abstract_Template.tex>for your abstract and send the organizers both the LaTeX source and a compiled PDF version. We suggest that abstracts be 2-3 pages. Tentative abstract submission deadline is April 2, 2018; early submissions are appreciated. ACA2017 conference web page http://www.usc.es/regaca/aca2018/index.html <http://www.usc.es/regaca/aca2018/index.html>

1 0