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
************************************************************************************
-----------------------------------------------------------------------
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
====================================================================
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.
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>