CALL FOR PAPERS
*** Submission deadline approaching! (March 16, 2018 - 11:59 p.m. American Samoa time) ***
**********************************************************************
4th IEEE Workshop on Security and Privacy in the Cloud (SPC 2018)
Beijing, China - May 30-June 1, 2018
http://spc2018.di.unimi.it/
**********************************************************************
Cloud computing is today the reference paradigm for large-scale data
storage and processing due to the convenient and efficient network
access to configurable resources that can be easily adjusted according
to the users’ needs. Although the benefits of cloud computing are
tremendous, security and privacy concerns have still a detrimental
impact on the adoption and acceptability of cloud services.
In fact, users as well as companies that rely on cloud storage and
computation services lose the direct control over the systems
managing their data and applications, thus putting the
confidentiality, integrity and availability of the data at risk.
The goal of this workshop is to bring together researchers and
practitioners who are interested in discussing the security,
privacy, and data protection issues emerging in cloud scenarios,
and possible solutions to them.
SPC 2018 is the fourth workshop in this series and will be held
in Beijing, China, on May 30-June 1, in conjunction with the
IEEE Conference on Communications and Network Security
(IEEE CNS 2018).
The workshop seeks submissions from academia, industry, and
government presenting novel research, as well as experimental
studies, on all theoretical and practical aspects of security,
privacy, and data protection in cloud scenarios.
Topics of interest include, but are not limited to:
- Anonymity in cloud scenarios
- Applied cryptography in cloud scenarios
- Cloud-based biometric systems
- Data and application security
- Data and system integrity
- Data availability in outsourcing scenarios
- Data protection
- Efficient access to outsourced data
- Key management in cloud scenarios
- Privacy
- Privacy of accesses
- Secure computation over encrypted data
- Security and trust metrics
- Security and privacy in crowdsourcing
- Security and privacy in multi-clouds and federated clouds
- Security and privacy in data outsourcing
- Security and privacy in the Internet of Things
- Security and privacy of big data
- Security and privacy of distributed computations
- Security and privacy of fog computing
- Security and privacy policies
- Selective information sharing
- Threats, vulnerabilities, and risk management
PAPER SUBMISSIONS
Submitted papers must not substantially overlap papers that have
been published or that are simultaneously submitted to a journal
or a conference with proceedings. Submissions should be at most
9 pages in the IEEE 8,5"x11" two-column format.
Submissions should not be anonymized. The workshop will also
consider short submissions of up to 4 pages for results that
are preliminary or that simply require few pages.
Papers should be submitted for review through EDAS
(http://edas.info/N24475). Only PDF files will be accepted.
Submissions not meeting these guidelines risk rejection without
consideration of their merits. Papers must be received by the
extended deadline of March 16, 2018 (11:59 p.m. American Samoa time).
Authors of accepted papers must guarantee that their papers
will be presented at the workshop. Accepted and presented
papers will be included in the IEEE CNS 2018 conference
proceedings and also in IEEE Xplore as well as other Abstracting
and Indexing (A&I) databases.
IMPORTANT DATES
Paper submission due: March 16, 2018 (11:59 p.m. American Samoa time) [extended]
Notification to authors: March 26, 2018
Camera ready due: April 2, 2018
PC CHAIR
Sara Foresti, Universita' degli Studi di Milano, Italy
PUBLICITY CHAIR
Giovanni Livraga, Universita' degli Studi di Milano, Italy
PROGRAM COMMITTEE
Massimiliano Albanese, George Mason University, USA
Daniel Bernau, SAP, Germany
Andrew Byrne, EMC-DELL, Ireland
Sherman S.M. Chow, The Chinese University of Hong Kong, Hong Kong
Sabrina De Capitani di Vimercati, Universita' degli Studi di Milano, Italy
Giovanni Di Crescenzo, Vencore Labs, USA
Josep Domingo-Ferrer, Universitat Rovira i Virgili, Spain
Ghassan Karame, NEC Laboratories Europe, Germany
Florian Kerschbaum, University of Waterloo, Canada
Giovanni Livraga, Universita' degli Studi di Milano, Italy
Wenjing Lou, Virginia Tech, USA
David Nunez, Universidad de Malaga, Spain
Melek Onen, EURECOM, France
Stefano Paraboschi, Universita' degli Studi di Bergamo, Italy
Pierangela Samarati, Universita' degli Studi di Milano, Italy
Andreas Schaad, WIBU, Germany
Anoop Singhal, NIST, USA
Vicenc Torra, University of Skovde, Sweden
Cong Wang, City University of Hong Kong, Hong Kong
Lingyu Wang, Concordia University, Canada
Meng Yu, University of Texas at San Antonio, USA
If you have any question, please contact the organizers at spc2018(a)di.unimi.it
(Apologies if you are receiving multiple copies of this CFP. Please do
forward it to interested colleagues.)
=========================================================================
CALL FOR PAPERS (deadline extension)
Special Session on Biologically Inspired Parallel and
Distributed Computing, Algorithms and Solutions
(BICAS 2018)
As part of
The 16th International Conference on High Performance
Computing & Simulation (HPCS 2018)
Orléans, France, July 16-20, 2018
http://bit.ly/2F0Ckpx [1]
http://hpcs2018.cisedu.info [2]
=========================================================================
Background
----------
Biology has served as inspiration for Computer Science in recent years,
given that biological systems tend to be adaptive, reactive, and
distributed. Thus, bio-inspired computing is a multi-disciplinary field
devoted to studying complex problems using computational methods modeled
after design principles encountered in nature. This way, novel and
unconventional solutions are accomplished to tackle current challenges
in science.
This session aims at examining different solutions to complex problems
using nature inspired approaches, and their interplay with cutting-edge
technology in High Performance Computing. We invite researchers and
scientists in this area to participate and contribute to this event and
we welcome their works.
Important Dates
---------------
----------------------------- -------------------------
Paper Submissions: April 2, 2018 (extended)
Notification of acceptance: April 26, 2018 (extended)
Camera-ready papers due: May 03, 2018
Conference date: July 16-20, 2018
----------------------------- -------------------------
Please submit papers using EasyChair:
https://easychair.org/conferences/?conf=bicas2018
For more information please consult the BICAS2018 and HPCS2018 webpages:
http://bit.ly/2F0Ckpx [1]
http://hpcs2018.cisedu.info [2]
Topics of Interest
------------------
Topics of interest to BICAS2018 include but are not limited to:
- Biological systems, computing and informatics
- Bio-inspired Hardware, Software and Design
- Bio-inspired Parallel and distributed algorithms
- Artificial life/intelligence, complex systems and complex networks
- Self-Organization, Evolution and Adaptation
- Natural parallelism and concurrency in computing
- Biologically inspired distributed systems and networks
- Bio-inspired modeling of real-life phenomena and its simulation
- Swarm Intelligence
- Cellular Automata
- Genetic programming and evolutionary algorithms
- Neurocomputing, artificial intelligence and machine learning
- Artificial Neural Networks and Systems, Deep Learning
- Collective behavior and swarm intelligence
- Communication and multi-agent simulation
- Membrane Computing
- DNA Computation
- Quantum Computation
- Immunocomputing and Computing Inoculation
- Amorphous Computing
- Biological Fault Tolerance
- Bio-inspired applications and case studies
Publishing
----------
Paper Submissions
Submitted papers must not have been published or simultaneously
submitted
elsewhere until it appears in HPCS proceedings, in the case of
acceptance,
or notified otherwise. For Regular papers, please submit a PDF copy of
your full manuscript, not to exceed 8 double-column formatted pages per
template, and include up to 6 keywords and an abstract of no more than
400
words. Additional pages will be charged additional fee. Submission
should
include a cover page with authors' names, affiliation addresses, fax
numbers, phone numbers, and all authors email addresses. Please,
indicate
clearly the corresponding author(s) although all authors are equally
responsible for the manuscript. Short papers (up to 4 pages), poster
papers
and posters for posters submission details) will also be considered
Publication
Accepted papers will be published in the Conference proceedings.
Instructions for final manuscript format and requirements will be posted
on
the HPCS 2018 Conference web site. It is our intent to have the
proceedings
formally published in hard and soft copies and be available at the time
of
the conference. The proceedings is projected to be included in the IEEE
or
ACM Digital Library and indexed in all major indexing services
accordingly.
Special issue
Plans are underway to have the best papers, in extended version,
selected
for possible publication in a reputable journal as special issue.
Detailed
information will soon be announced and will be made available on the
conference website.
Organization
------------
Special Session Organizers
- Miguel Á. Martínez del Amor, University of Seville, Seville, Spain
- Agustín Riscos Núñez, University of Seville, Seville, Spain
- Francis G. Cabarle, University of the Philippines Diliman, Quezon
City,
the Philippines
- Henry N. Adorna, University of the Philippines Diliman, Quezon City,
the Philippines
- Xiangxiang Zeng, Xiamen University, Xiamen, China
International Program Committee
- Rene Batac, National Institute of Physics, Quezon City, The
Philippines
- Miguel Cardenas Montes, CIEMAT, Madrid, Spain
- Anne C. Elster, Norwegian University of Science and Technology,
Norway
- Manuel García-Quismondo, Rensselaer Polytechnic Institute, Troy, NY,
USA
- Juan A. Gómez Pulido, University of Extremadura, Cáceres, Spain
- José L. Guisado, University of Seville, Sevilla, Spain
- Pauline C. Haddow, Norwegian University of Science and Technology,
Trondheim, Norway
- Richelle A.B. Juayong, University of the Philippines Diliman, Quezon
City, The Philippines
- Ignacio Pérez Hurtado, University of Seville, Sevilla, Spain
- Jaderick Pabico, Institute of Computer Science, Los Banos, Laguna,
The
Philippines
- Bosheng Song, Huazhong University of Science and Technology, Wuhan,
China
- Miguel A. Vega-Rodríguez, University of Extremadura, Cáceres, Spain
- Jianhua Xiao, Nankai University, Nankai, China
- Pan Zheng, Swinburne University of Technology Sarawak Campus,
Kuching,
Malaysia
--
==========================================
Dr. José Luis Guisado Lizar
Depto. de Arquitectura y Tecnología de Computadores
E.T.S. Ingeniería Informática, Universidad de Sevilla
Avda. Reina Mercedes, S/N
41012-Sevilla, Spain
Tel.: (+34) 954 55 62 41
Fax: (+34) 954 55 28 99
E-mail: jlguisado(a)us.es
Web: http://personal.us.es/jlguisado
Twitter: @JLGuisado [3]
==========================================
Links:
------
[1]
http://hpcs2018.cisedu.info/2-conference/special-sessions---hpcs2018/sessio…
[2] http://hpcs2018.cisedu.info/
[3] https://twitter.com/jlguisado
Stream on Hyper-heuristics
at the 29th European Conference on Operational Research (EURO 2018), Valencia/Spain, July 8 - 11, 2018
Abstract submission deadline: March 19, 2018 (EXTENDED)Submission: https://www.euro-online.org/conf/euro29/
Call for Abstracts (Max. 1500 characters):
-----------------------------------
- Session: Selection Hyper-heuristics (Submission Code: 665d9460)
- Session: Generation Hyper-heuristics (Submission Code: 2480ffb0)
Hyper-heuristics are problem-independent generic solvers which have been successfully applied to a wide range of combinatorial search problems both from academia and real-world, such as timetabling, scheduling, routing, rostering, cutting and packing. The studies on this field is mainly considered under two categories, namely Selection and Generation Hyper-heuristics. Selection Hyper-heuristics operate by automatically choosing (low-level) heuristics from an existing heuristic set while the latter type focuses on generating heuristics from scratch based on predefined components. This stream is expecting studies focusing on either of these hyper-heuristic types -offering different learning approaches, utilizing distinct (meta-) heuristic techniques while dealing with various problems.
This stream will be organized in connection with the Task Force on Hyper-heuristics within the Technical Committee of Intelligent Systems and Applications at the IEEE Computational Intelligence Society.
Organizers:
----------
- Prof. Patrick De Causmaecker, KU Leuven, Belgium
- Dr. Mustafa Misir, Nanjing University of Aeronautics and Astronautics, China
- Dr. Ender Ozcan, University of Nottingham, UK- Dr. Rong Qu, University of Nottingham, UK
Important Dates:
--------------
Abstract Submissions: March 19, 2018 (Extended)
Notification to Authors: March 21, 2018
Early Registration: April 6, 2018
Registration: April 20, 2018
For more details: https://mustafamisir.github.io/ss-hh.html
Best regards,
Patrick De Causmaecker (KU Leuven)
Mustafa Misir (Nanjing University of Aeronautics and Astronautics)
Ender Ozcan (University of Nottingham)Rong Qu (University of Nottingham)
++++++++++++++++++++++++++++++++++++++++++++++++++
Mustafa MISIR
----------------------------------------------------Machine lEarning and Operations Research (MEmORy) Lab
Institute of Machine Learning and Computational IntelligenceCollege of Computer Science and Technology, Office: 230Nanjing University of Aeronautics and Astronautics29 Jiangjun Road, Jiangning, 211106 Nanjing/Jiangsu, China
Web: http://mustafamisir.github.io | http://memoryrlab.github.io ----------------------------------------------------
Dear Colleagues,
International Women’s Day provided us with the opportunity to reflect upon the diversity within our School. The Melbourne School of Engineering has 182 women academic staff, but this represents just 22 per cent of our total academic numbers. We are committed to remedying this imbalance and lifting the representation of women to 30 per cent by 2022.
To help enact this change, I’m pleased to announce five new continuing positions that we are making available to women of exceptional calibre, in all fields of engineering, computing and information systems. The five positions are across the School and we are accepting applications from all related areas. To view complete position descriptions, click here<http://jobs.unimelb.edu.au/caw/en/job/894257/lecturer-5-positions-female-ap…>. These positions are a key component of a broad suite of programs we have implemented at MSE that are aimed at increasing the recruitment, retention and promotion of women.
Successful appointees will be given the opportunity to play a significant role in realising the industry engagement targets of MSE 2025, develop internationally recognised research portfolios, establish funding streams to support these portfolios, and to enhance interdisciplinary research within and outside the University, whilst contributing to teaching and curriculum development within MSE. Applications for part-time or other flexible working arrangements will be welcomed and will be fully considered subject to meeting the inherent requirements of the position.
Close date: 8 Apr 2018
Uwe Aickelin
--------------------------------------------------------------------------------------------------------------
Professor Uwe Aickelin – Head of School
School of Computing and Information Systems
Melbourne School of Engineering
Level 8, Doug McDonell Building
University of Melbourne, Victoria 3010, Australia
T. +613 8344 3635 E: uwe.aickelin(a)unimelb.edu.au <mailto:uwe.aickelin@unimelb.edu.au> W: http://aickelin.com<http://aickelin.com/>
The deadline for submission is extended to April 12th, 2018 for Special
Session on Virtualization in High Performance Computing and Simulation
(VIRT 2018). Please refer to
http://hpcs2018.cisedu.info/2-conference/special-sessions---hpcs2018/sessio…
.
*(VIRT 2018)*
*CALL FOR PAPERS & PARTICIPATION*
*As part of*
*The 16th International Conference on High Performance Computing &
Simulation (HPCS 2018)*
*http://hpcs2018.cisedu.info/ <http://hpcs2018.cisedu.info/> or
http://cisedu.us/rp/hpcs18 <http://cisedu.us/rp/hpcs18>*
*July 16 – 20, 2018*
*Orléans, France*
*Paper Submission Deadline: April 12, 2018 - Extended*
*Submissions could be for full papers, short papers, poster papers, or
posters*
*PURPOSE and SCOPE*
Virtualization has become the foundation of cloud computing. The scale of
cloud computing data centers is similar to the supercomputers used in High
Performance Computing. Both involve millions of CPU cores, tens of
thousands of accelerators like GPUs, FPGAs connected by high speed
interconnects and different connection topologies. Studies have shown that
the GPU utilization in HPC is often at 50%. Virtualization can be the key
to increasing resource utilization and managing massive infrastructures
efficiently.
GPU vendors have introduced virtualized versions of GPUs. FPGAs are being
deployed in virtual infrastructure. These and other developments in the
field, along with future exascale systems, will provide increasing degree
of virtualization within the systems.
The goal of this session is to be an opportunity to discuss and exchange
research on the different virtualization technologies and how they can be
efficiently applied in High Performance Computing. Theoretical research,
engineering solutions dealing with practical tradeoffs, and complex system
implementation papers are welcomed.
*The VIRT topics include (but are not limited to) the following: *
- *Virtualization in HPC*
o Energy efficient solutions for HPC applications in the cloud environment
o High-availability based on system-level virtualization mechanisms for HPC
o Fault tolerance mechanisms based on system-level virtualization
mechanisms for HPC
o Performance and evaluation of diverse HPC workloads in virtualization
environment
o Security Isolation, Resource Isolation and Data Isolation in Virtualized
HPC
o Flexibility and Ease of system administration and management for
virtualized environments for HPC
o Running diverse workloads
o Running heterogeneous Operating Systems
o Live Migration and Suspend/Resume of VMs to improve resource utilization
and avoid downtime
o Scheduling of resources and Workloads
o Software Defined Data Centers (SDDC)
o Hypervisors and other virtualization solutions tailored for HPC systems
o Big Data and Analytics in Virtualized Environments
o Enterprise High Performance Computing in Virtualized Environments
- *Accelerators in Virtualized HPC Environments:*
o Virtualized GPUs
§ Scheduling of Virtual GPUs
o Using FPGAs in Virtualization Stack
§ Dynamic Reconfiguration of FPGAs
- * IO Virtualization*
o Network Virtualization
o SR-IOV
o Software Defined Networking (SDN)
o Storage Virtualization
o RDMA and vRDMA
- *Containers in HPC*
o Isolation of Multiple User-Spaces
o Running containers in Virtual Machines
- *Tools*
o Virtualization solutions for dealing with heterogeneity in HPC
environments
o Compilers for heterogenous architectures involving GPUS, FPGAs,
multi-core CPUs
o Operating system support for virtualization in HPC systems
o Debugging and/or profiling in virtual environments
- *Algorithms*
o Distributed Resource Scheduling
o Distributed Computing
- *Virtualization in Simulation*
*INSTRUCTIONS FOR PAPER SUBMISSIONS*
You are invited to submit original and unpublished research works on above
and other topics related to *virtualization in high performance computing*.
Submitted papers must not have been published or simultaneously submitted
elsewhere until it appears in HPCS proceedings, in the case of acceptance,
or notified otherwise. For Regular papers, please submit a PDF copy of your
full manuscript, not to exceed 8 double-column formatted pages per
template, and include up to 7 keywords and an abstract of no more than 400
words. Additional pages will be charged additional fee. Submission should
include a completed online web based form (can also include a cover
page) with authors' names, affiliation addresses, fax numbers, phone
numbers, and all authors email addresses. Please, indicate clearly the
corresponding author(s) although all authors are equally responsible for
the manuscript. Short papers (up to 4 pages), poster papers and posters
(please refer to
http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-po…
for posters submission details) will also be considered. Please specify
the type of submission you have. Please include page numbers on all
preliminary submissions to make it easier for reviewers to provide helpful
comments.
Submit a PDF copy of your full manuscript to the special session paper
submission site at https://cmt3.research.microsoft.com/VIRT2018 .
Acknowledgement will be sent within 48 hours of submission.
*Conference Policies*
Only PDF files will be accepted, uploaded to the submission link above.
Each paper will receive a minimum of three reviews. Papers will be
selected based on their originality, relevance, significance, technical
clarity and presentation, language, and references. Submission implies the
willingness of at least one of the authors to register and present the
paper, if accepted. At least one of the authors of each accepted paper
will have to register and attend the HPCS 2018 conference to present the
paper at the special session as scheduled. By submitting the paper to the
HPCS conference, all authors agree to abide by all HPCS conference paper
submission, publication and presentation policies as well as following
ethical and professional codes of conduct, including those of the
professional co-sponsoring organizations. Contents of manuscripts submitted
to the tracks program committees shall be regarded as privileged as well
and handled in the same manner and standards. For more information, please
refer to the Authors Info
<http://hpcs2018.cisedu.info/6-participants/author-s-info-hpcs2018>
and Registration
Info <http://hpcs2018.cisedu.info/6-participants/registration-info-hpcs2018>
pages.
*Proceedings*
Accepted papers will be published in the Conference proceedings.
Instructions for final manuscript format and requirements will be posted on
the HPCS 2018 Conference web site. It is our intent to have the proceedings
formally published in hard and soft copies and be available at the time of
the conference. The proceedings is projected to be included in the IEEE or
ACM Digital Library and indexed in all major indexing services accordingly.
*SPECIAL ISSUE*
Plans are underway to have the best papers, in extended version, selected
for possible publication in a reputable journal as special issue. Detailed
information will soon be announced and will be made available on the
conference website.
If you have any questions about paper submission or the special session,
please contact the special session organizers.
*IMPORTANT DATES*
*Paper Submissions: ------------------------------------------- April 12,
2018 - Extended*
*Acceptance Notification: -------------------------------------- April 26,
2018*
*Camera Ready Papers and Registration Due by: ----------- May 11, 2018*
*Conference Dates: -------------------------------------------- July 16 –
20, 2018*
*-Uday Kurkure*
*Co-Chair for Special Session on Virtualization in High Performance
Computing and Simulation (VIRT 2018)*
*Please accept our apologies in case of multiple copies of this
CFW.======================= IEEE ATC 2018 =======================The 15th
IEEE International Conference on Advanced and Trusted ComputingOctober
8-12, 2018, Guangzhou, Chinahttp://www.smart-world.org/2018/atc/
<http://www.smart-world.org/2018/atc/>ATC 2018 calls for workshops and
special sessions which will complement the research topics of the Advanced
and Trusted Computing.A workshop refers to an academic event in conjunction
with ATC 2018. A special session is an embedded session in ATC 2018,
focusing on a specific research topic relevant to the main conference. Each
workshop will be expected to accept at least 6 papers. Each special session
will be expected to accept 4-6 full-length papers.Workshop/special session
organizers are responsible for forming program committees, circulating call
for papers, organizing submissions and reviews as well as planning the
final programs. ATC 2018 workshop/special session co-chairs will assist the
workshop/special session organizers in organizing workshops/special
sessions and ensure their quality and success. The registration fees for
workshops/special sessions will be determined by the organizing committees
of ATC 2018, which will provide workshop/special session facilities.
Workshops/special sessions should strictly follow the important dates. The
paper submission deadlines could be after that of the main conference to
allow workshops/special sessions to pick up some good papers submitted to
the main conference. However, sufficient time (5-7 weeks), should be
allocated for peer reviews. Each paper should be reviewed by at least three
experts in the corresponding areas.In order to encourage the workshop
organizers, the main conference will offer the following benefits to the
workshop organizers: (1) If a workshop has 10-20 full registrations, then
one full registration will be waived. (2) If a workshop receives more than
20 full registrations, then its organizers can choose to get a travel grant
(up to USD1500) to attend the conference, or to invite one keynote speaker
for the workshop with a free registration and travel grant (up to USD1500)
for the keynote speaker. The registrations must be from a workshop’s own
received submissions and accepted papers only, excluding transferred papers
from other workshops/conference. Please email your workshop/special session
proposals in PDF format by Feb. 8, 2018 to: the ATC 2018 workshop/special
session co-chairs, Xiaohong Li (xiaohongli(a)tju.edu.cn
<xiaohongli(a)tju.edu.cn>), Shui Yu (shui.yu(a)deakin.edu.au
<shui.yu(a)deakin.edu.au>) and Riccardo Lazzeretti
(lazzeretti(a)dis.uniroma1.it <lazzeretti(a)dis.uniroma1.it>). Please use ATC
2018 workshop and special session proposal as the email subject. Paper
Submissions for accepted workshop/special session should follow the same
Paper Submission Guidelines for the main conference. The length of a
workshop paper submission may be about 6 pages.Important Dates for Workshop
& Special Session - Proposal due: April 8, 2018 (Extended Firm Deadline)-
Proposal notification: Within two weeks after submission- Submission &
notification dues: To be decided by individual workshop/Special Session-
Camera ready version due: August 8, 2018ContactPlease email inquiries
concerning IEEE ATC 2018 to Conference Organizers:
IEEEATC2018(a)googlegroups.com <IEEEATC2018(a)googlegroups.com>.*
--
Riccardo Lazzeretti
Sapienza University of Rome
IEEE ATC 2018 Workshop chair
http://www.smart-world.org/2018/atc/cfw.php
Please Post. Thank you.
[Sorry if you get multiple copies of this message]
*Call for Papers and Participation*
*The 2018 High Performance Computing & Simulation Conference**
**(HPCS 2018)*
*July 16-20, 2018**
**Orléans, France*
http://hpcs2018.cisedu.info/ or http://cisedu.us/rp/hpcs18
In Cooperation with the ACM, IEEE, IFIP
*(Main Track Paper Submission Deadline: MARCH 24, 2018 - Extended)**
**(Other Conference tracks may have different submission deadlines -
Please check the specific track of interest.)**
*
HPCS Proceedings are to be published in IEEE XPLORE (pending) and
indexed by all major indexing services,
including SCOPUS, EI, Sci, dblp, etc.
You are cordially invited to participate in this international
conference through paper submission to main track, symposium, workshop
or special session, a tutorial, an invited speech, a demo, a poster, an
exhibit, a panel discussion, a doctoral dissertation, whichever sounds
more appropriate and convenient to you.
The conference will include invited presentations by experts from
academia, industry, and government as well as contributed paper
presentations describing original work on the current state of research
in high performance and large scale computing systems, their use in
modeling and simulation, their design, performance and use, and their
applications. There will also be tutorial sessions, workshops, special
sessions, demos, posters, panel discussions, doctoral colloquium, and
exhibits. Conference sponsorships are welcomed.
In addition to the main track, the conference will have the following
refereed archived symposia, workshops and special sessions:
*_Symposia_: (all refereed archival papers. Have different deadlines) *
* SYM01: Cloud Computing and Services for HPC Systems (InterClouds-HPC
2018)
SYM02: Big Data Principles, Architectures & Applications (BDAA 2018)
SYM03: High Performance Mobile Computing and Wireless Networks (MCWN
2018)
SYM04: Information Systems and Engineering (ISE 2018)
SYM05: Formal Approaches to Parallel and Distributed Systems (4PAD 2018)
*
*_Workshops_: (all refereed archival papers. Have different deadlines)*
* W01: Dependable and Resilient Many-Core Computing (DRMC 2018)**
** W02: Optimization of Energy Efficient High Performance and
Distributed Computing Systems (OPTIM 2018)**
** W03: Exploitation of Hardware Accelerators (WEHA 2018)**
** W04: High Performance Interconnection Networks and Interconnects
(HPINI 2018)**
** W05: High Performance Platform Management (HPPM 2018)**
** W06: New Algorithms and Programming Models for the Manycore Era
(APMM 2018)**
** W07: Synergy of Parallel Computing, Optimization and Simulation
(PaCOS 2018)**
** W08: Peer-to-Peer Architectures, Networks and Systems (PANS 2018)**
** W09: Autonomic High Performance Computing (AHPC 2018)**
** W10: Security and High Performance Computing Systems (SHPCS 2018)**
** W11: Security and Performance in Cloud Computing (SPCLOUD 2018)**
** W12: High-Performance and Distributed Computing for Business
Analytics and Financial Applications (HPC-BAFA 2018)**
** W13: Computational Intelligence and Parallel Evolutionary
Computation (CIPEC 2018)**
** W14: Machine Learning, Pattern Recognition and Applications (MLPRA
2018)**
** W15: High Performance Computing for Weather, Climate, and solid
Earth Sciences (HPC-WCES 2018)**
** W16: HPC Systems for Biomedical, Bioinformatics, and Life Sciences
(BILIS 2018)**
** W17: High Performance Dynamic Reconfigurable Systems and Networks
(DRSN 2018)**
** W18: Architecture-aware Simulation and Computing (AASC 2018)**
** W19: Modeling and Simulation of Parallel and Distributed Systems
(MSPDS 2018)**
** W20: Parallel Computations for Neural Networks (PCNN 2018)**
** W21: Cellular Automata Algorithms & Architectures (CAAA 2018)**
** W22: Location-based Services and Applications in Ubiquitous
Computing (LSAUC 2018)**
*
*_Special Sessions_: (all refereed archival papers. Have different
deadlines)*
* SS01: Virtualization in High Performance Computing and Simulation
(VIRT 2018)
SS02: Benchmarking and High Performance Computing for Applications
and Optimization (HPBench 2018)
SS03: Biologically Inspired Parallel and Distributed Computing,
Algorithms and Solutions (BICAS 2018)
SS04: Compiler Architecture, Design and Optimization (CADO 2018)
SS05: High Performance Services Computing and Internet Technologies
(SerCo 2018)
SS06: Trusted Ubiquitous Networks & Multimedia Contents Protection
(TUN-MM 2018)
SS07: Digital Home Networks & Ambient Intelligence (DHN-AmI 2018)
SS08: High Performance Parallel and Distributed Data Mining (PDDM 2018)
SS09: Internet of Things and HPC: Devices, Networks, and
Applications (IoT-HPC 2018)
SS10: High Performance Mission Critical System Development (HiPMiC 2018)
SS11: Advances in Computational Methods in Electromagnetics (ACME 2018)
SS12: Fuzzy-based Simulation Approaches in Science and Engineering
(FSASE 2018)
*
=================================================================
*Important Dates:*
*
Main Track Paper and Poster Paper Submission Deadline ——— March 24,
2018 - Extended
Tutorial/Demo/Panel/Poster Proposal Deadline ———————— March 30, 2018
Main Track Notification of Acceptance starts ——————--—— April 23, 2018
Registration & Camera-Ready Manuscripts Due ——————— May 11, 2018
Conference Dates ——————————————————-—— July 16 - 20, 2018
*
=================================================================
For further details and updates, please consult the conference web site
at URL: http://hpcs2018.cisedu.info or http://cisedu.us/rp/hpcs18 or
contact one of the organizers.
We look forward to your contributions and seeing you in Orléans in
July. Thank you very much.
Best Regards.
HPCS 2018 Organizers
Call for Participation (apologies for multiple copies)
-- SCHOLARSHIPS & TITLE OF THE LECTURES --
-----------------------------------------------------------------------
MESS 2018 - Metaheuristics Summer School
- from Design to Implementation -
21-25 July 2018, Taormina, Italy
https://www.ANTs-lab.it/mess2018/
mess.school(a)ANTs-lab.it
-----------------------------------------------------------------------
** APPLICATION DEADLINE: 15th April 2018 **
MESS 2018 is aimed at qualified and strongly motivated MSc and PhD
students; post-docs; young researchers, and both academic and
industrial professionals to provide an overview on the several
metaheuristics techniques, and an in-depth analysis of the
state-of-the-art. As first edition, MESS 2018 wants to analyze all
metaheuristics from its designing to its implementation. In
particular, in MESS 2018 will be analyzed modern heuristic methods for
search and optimization problems, as well as the classical exact
optimization methods, seen also in the metaheuristics context.
All participants will have plenty of opportunities for debate and work
with leaders in the field, benefiting from direct interaction and
discussions in a stimulating environment. They will also have the
possibility to present their recently results and/or their working in
progress through oral or poster presentations, and interact with their
scientific peers, in a friendly and constructive environment.
** Confirmed Speakers
+ Christian Blum, IIIA-CSIC, Barcelona, Spain
- Lecture 1: Construct, Merge, Solve & Adapt: A Recent Hybrid Metaheuristic
- Lecture 2: Swarm Intelligence in Combinatorial Optimization
+ Juergen Branke, Warwick Business School, UK
- Lecture 1: Simulation-based optimisation
- Lecture 2: Multi-objective optimisation
+ Salvatore Greco, University of Catania, Italy & University of Portsmouth, UK
- Lecture 1: Basic Concepts of Multiple Criteria Decision Aiding/Making
- Lecture 2: Using Preference Elicitation in Evolutionary
Multiobjective Optimization
+ Yaochu Jin, University of Surrey, UK
- Lecture 1: Data-driven surrogate-assisted evolutionary
multi-objective optimization
- Lecture 2: Multi-objective machine learning
+ Gunther Raidl, Technische Universitat Wien, Austria
- Lecture 1: Pushing the Limits with Hybrid Metaheuristics
- Lecture 2: Large Neighborhood Search Techniques
+ Helena Ramalhinho Lourenco, Universitat Pompeu Fabra, Spain
- Lecture 1: Extensions of Iterated Local Search
- Lecture 2: Issues and examples of applying metaheuristics in business
+ Mauricio Resende, AMAZON, USA
- Lecture 1: Biased Random-Key Genetic Algorithms ? part I
- Lecture 2: Biased Random-Key Genetic Algorithms ? part II
+ Celso Ribeiro, Universidade Federal Fluminense, Brazil
- Lecture 1: Optimization by GRASP ? Part I
- Lecture 2: Optimization by GRASP ? Part II
+ Andrea Schaerf, University of Udine, Italy
- Lecture 1: Simulated Annealing and Friends: Introduction to
Randomized Local Search Methods
- Lecture 2: Simulated Annealing, we need to talk: Critical Analysis
of Real-World Applications of Randomized Local Search Methods to
Scheduling and Timetabling Problems
+ Fabio Schoen, Unviersity of Florence, Italy
- Lecture 1: Large scale global optimization methods: basics
- Lecture 2: Large scale global optimization methods: examples of applications
+ El-Ghazali Talbi, University of Lille 1, France
- Lecture 1: TBA
- Lecture 2: TBA
+ Daniele Vigo, University of Bologna, Italy
- Lecture 1: TBA
- Lecture 2: TBA
** Tutorial
+ Luca Di Gaspero, University of Udine, Italy
+ Paola Festa, University of Naples ?Federico II?, Italy
?Successful applications of GRASP and its hybrids for hard
combinatorial problems?
** Short Talk and Poster Presentation
All participants may submit an abstract of their recent results, or
works in progress, for presentation and having the opportunities for
debate and interact with leaders in the field. Mini-Workshop
Organizers and Scientific Committee will review the abstracts and will
recommend for the format of the presentation (oral or poster). All
abstracts will be published on the electronic hands-out book of the
summer school.
The Abstracts must be submitted by *April 15, 2018*.
** Sponsor & Scholarships:
Thanks to the sponsorship by EU/ME METAHEURISTICS working group
(https://www.euro-online.org/websites/eume/), some scholarships for
the best participants will be available.
More sponsors and scholarships will be announced soon!!
** Certificate:
Participants will be delivered a certificate of attendance indicating
the number of hours of lectures.
** School Directors
+ Salvatore Greco, University of Catania, Italy
+ Panos Pardalos, University of Florida, USA
+ Mario Pavone, University of Catania, Italy
+ El-Ghazali Talbi, University of Lille 1, France
+ Daniele Vigo, University of Bologna, Italy
** Oral & Poster Presentation Organizers
+ Luca Di Gaspero, Unviersity of Udine, Italy
+ Paola Festa, University of Naples "Federico II", Italy
** Metaheuristics Competition Chair
+ Raffaele Cerulli, University of Salerno, Italy
** More Information:
https://www.ANTs-lab.it/mess2018/ -- mess.school(a)ANTs-lab.it
Facebook Group: https://www.facebook.com/groups/MetaheuristicsSchool/
Twitter: https://twitter.com/MESS_school
--
Dr. Mario Pavone (PhD)
Assistant Professor
Department of Mathematics and Computer Science
University of Catania
V.le A. Doria 6 - 95125 Catania, Italy
tel: 0039 095 7383034
fax: 0039 095 330094
Email: mpavone(a)dmi.unict.it
http://www.dmi.unict.it/mpavone/
===========================================================
MESS 2018 - Metaheuristics Summer School
21-25 July 2018, Taormina, Italy
W: https://www.ANTs-lab.it/mess2018/
E: mess.school(a)ANTs-lab.it
FB: https://www.facebook.com/groups/MetaheuristicsSchool/
Twitter: https://twitter.com/MESS_school
===========================================================
10th INTERNATIONAL WORKSHOP ON
PARALLEL MATRIX ALGORITHMS AND APPLICATIONS (PMAA'18)
June 27-29, 2018, Zurich, Switzerland. http://pmaa18.ethz.ch/
This international workshop aims to be a forum for exchanging ideas,
insights and experiences in different areas of parallel computing in
which matrix algorithms play a key role. The Workshop will bring
together experts and practitioners from diverse disciplines with a
common interest in matrix computation. Topics of interest include, but
are not limited to, the following:
* Parallel methods for solving large sparse or dense linear systems of
equations and eigenvalue problem
* Parallel environments and tools for enabling matrix applications.
* Large scale applications from any field that have an emphasis on
parallel matrix computation
* Novel architectural paradigms (e.g. GPU, MIC, etc.)
* Hybrid approaches to parallel programming
* Automatic tuning and performance modeling
* Combinatorial Scientific Computing
Invited speakers: Chao Yang (Lawrence Berkeley NL), Inderjit Dhillon (UT
Austin), Frederic Nataf (UPMC Paris), Edgar Solomonik (UI Urbana-Champaign).
Co-chairs: Peter Arbenz (ETH Zurich, Rolf Krause (USI Lugano), Daniel
Kressner (EPF Lausanne), Olaf Schenk (USI Lugano).
Important dates: DEADLINES EXTENDED
- April 8, 2018: Submission of Minisymposium proposals by e-mail to
pmaa18(a)ethz.ch
- April 15, 2018: Submission of abstracts for MS and contributed talks
There will be a special issue of Parallel Computing dedicated to PMAA'18.
For further information contact pmaa18(a)ethz.ch.
---------------------------------------------------------------------
SAS 2018
25th Static Analysis Symposium
Freiburg im Breisgau, Germany, August 29th-August 31st, 2018
http://staticanalysis.org/sas2018
---------------------------------------------------------------------
= = = New: Invited Talks, Invited Tutorials, Affiliated Events = = =
= = = Submission deadline approaching: April 6th, 2018 = = =
Objective
Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. The 25th Static Analysis Symposium, SAS 2018, will be held in Freiburg im Breisgau, Germany. Previous symposia were held in New York, Edinburgh, Saint-Malo, Munich, Seattle, Deauville, Venice, Perpignan, Los Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Pisa, Aachen, Glasgow, and Namur. The proceedings of the conference will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of the Springer Lecture Notes in Computer Science (LNCS) series.
Topics
The technical program for SAS 2018 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to:
- Abstract domains
- Abstract interpretation
- Automated deduction
- Data flow analysis
- Debugging
- Deductive methods
- Emerging applications
- Model checking
- Program optimization and transformation
- Program synthesis
- Program verification
- Security analysis
- Tool environments and architectures
- Theoretical frameworks
- Type checking
Paper Submission
Submissions can address any programming paradigm including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU programming. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant. Paper submissions should not exceed 15 pages in Springer's Lecture Notes in Computer Science LNCS format, excluding bibliography and well-marked appendices (we may admit additional pages for the final version). Program Committee members are not required to read the appendices, and thus papers must be intelligible without them.
Submissions are handled online: https://easychair.org/conferences/?conf=sas20180
Artifact Evaluation
As in previous years, we are encouraging authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. The goal of the artifact submissions is to strengthen our field's scientific approach to evaluations and reproducibility of results. The virtual machines will be archived on a permanent Static Analysis Symposium website to provide a record of past experiments and tools, allowing future research to better evaluate and contrast existing work. Artifact submission is optional. We accept only virtual machine images that can be processed with Virtual Box. Details on what to submit and how will be sent to the corresponding authors by mail shortly after the paper submission deadline. The submitted artifacts will be used by the program committee as a secondary evaluation criterion whose sole purpose is to find additional positive arguments for the paper's acceptance. Furthermore, an Artifact Evaluation Committee will assess artifacts and will award an "Artifact Approved" stamps to accepted papers that come with an artifact that allows to reproduce the results presented in the paper. Submissions without artifacts are welcome and will not be penalized.
Important Dates
- Full paper submission: April 6th, 2018 (anywhere on earth)
- Artifact submission: April 20th, 2018 (anywhere on earth)
- Notification: June 5th, 2018
- Final version due: July 6th, 2018
- Conference: August 29th-August 31st, 2018
Radhia Cousot Young Researcher Award
Since 2014, the program committee of each SAS conference selects a paper for the Radhia Cousot Young Researcher Best Paper Award, in memory of Radhia Cousot, and her fundamental contributions to static analysis, as well as being one of the main promoters and organizers of the SAS series of conferences.
Invited Talks
- Aws Albarghouthi (University of Wisconsin-Madison, USA)
Program Fairness through the Lens of Formal Methods
- Zak Kincaid (Princeton University, USA)
Non-linear Invariant Generation via Recurrence Analysis
- Ruzica Piskac (Yale University, USA)
Firewall Repair and Verification of Configuration Files
- Sharon Shoham (Tel Aviv University, Israel)
Verification of Distributed Systems Using First-Order Logic
Invited Tutorials
- Roberto Bagnara (University of Parma/BUGSENG, Italy)
MISRA C and its Role in the Development of Safety- and Security-Critical Embedded Software
- Ken McMillan (Microsoft Research, USA), Oded Padon (Tel Aviv University, Israel)
Ivy: Safety Verification by Interactive Generalization
- Peter O'Hearn (University College London/Facebook, UK)
Experiences developing and deploying a concurrency analysis at Facebook
Affiliated Events
- 9th Workshop on Static Analysis and Systems Biology (SASB 2018)
Chairs: Tatjana Petrov (IST Austria, Austria) and Ankit Gupta (ETH Zurich, Switzerland)
- 9th Workshop on Tools for Automatic Program Analysis (TAPAS 2018)
Chair: Fausto Spoto (University of Verona/Julia Srl, Italy)
Program Chair
- Andreas Podelski (University of Freiburg, Germany)
Program Committee
- Domagoj Babic (Google Inc., USA)
- Sam Blackshear (Facebook, USA)
- Marc Brockschmidt (Microsoft Research, UK)
- Swarat Chaudhuri (Rice University, USA)
- Bor-Yuh Evan Chang (University of Colorado Boulder, USA)
- Jerome Feret (INRIA/ENS/CNRS, France)
- Ashutosh Gupta (TIFR, India)
- Nicolas Halbwachs (Verimag/CNRS, France)
- Lukas Holik (Brno University of Technology, Czech Republic)
- Barbara Koenig (University of Duisburg-Essen, Germany)
- Boris Koepf (IMDEA Software Institute, Spain)
- Shuvendu Lahiri (Microsoft Research, USA)
- Hakjoo Oh (Korea University, South Korea)
- Sylvie Putot (École Polytechnique, France)
- Francesco Ranzato (University of Padova, Italy)
- Jakob Rehof (TU Dortmund University, Germany)
- Xavier Rival (CNRS/ENS/INRIA, France)
- Sriram Sankaranarayanan (University of Colorado Boulder, USA)
- Harald Sondergaard (The University of Melbourne, Australia)
- Alexander J. Summers (ETH Zurich, Switzerland)
- Ashish Tiwari (SRI International, USA)
- Caterina Urban (ETH Zurich, Switzerland)
- Lenore Zuck (University of Illinois at Chicago, USA)
- Damien Zufferey (MPI-SWS, Germany)
- Florian Zuleger (TU Wien, Austria)
Artifact Evaluation Chair
- Xavier Rival (CNRS/ENS/INRIA, France)
Publicity Chair
- Caterina Urban (ETH Zurich, Switzerland)