- computational.science - lists.iccsa.org

Deadline approaching - 4th IEEE Workshop on Security and Privacy in the Cloud (SPC 2018)
by SPC 2018 15 Mar '18

15 Mar '18

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

1 0

CFP BICAS 2018 (Special Session on Biologically Inspired Parallel and Distributed Computing, Algorithms and Solutions)
by Jose Luis Guisado 14 Mar '18

14 Mar '18

(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

1 0

CFA (DEADLINE: March 19) - Stream on Hyper-heuristics @ EURO 2018, Valencia
by Mustafa MISIR 14 Mar '18

14 Mar '18

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 ----------------------------------------------------

1 0

University of Melbourne - LECTURER (5 Positions; Female Applicants Only)
by Uwe Aickelin 14 Mar '18

14 Mar '18

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/>

1 0

Extended Deadline April 12 for CFP for Special Session on Virtualization in High Performance Computing and Simulation (VIRT 2018)
by Uday Kurkure 14 Mar '18

14 Mar '18

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)*

1 0

IEEE ATC Call for Workshops
by Lazzeretti atc 13 Mar '18

13 Mar '18

*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

1 0

HPCS 2018 - The 16th International Conference on High Performance Computing & Simulation
by Waleed Smari 13 Mar '18

13 Mar '18

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

1 0

[Meetings] MESS 2018 - from Design to Implementation - Taormina, Italy, 21-25 July 2018
by Mario Pavone 12 Mar '18

12 Mar '18

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

1 0

Parallel Matrix Algorithms and Applications (PMAA'18), Jun 27-29, 2018
by Peter Arbenz 12 Mar '18

12 Mar '18

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.

1 0

SAS 2018: Call for Papers
by Urban Caterina 09 Mar '18

09 Mar '18

--------------------------------------------------------------------- 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)

1 0