- computational.science - lists.iccsa.org

[DEADLINE APPROACHING - SmartSyS 2019]: Call for papers
by Antonio Arena 08 Mar '19

08 Mar '19

[We apologize if you receive multiple copies of this CFP.] CALL FOR PAPERS - IEEE SmartSys 2019 - DEADLINE APPROACHING Fourth IEEE Workshop on Smart Service Systems (SmartSys) Co-located with the IEEE International Conference on Smart Computing (SMARTCOMP 2019) Washington D.C., June 12th/15th, 2019 http://mpsc.umbc.edu/smartsys/2019/ Technology succeeds when it provides benefits to the society either directly or indirectly. Understanding the societal and economic impact and human-centered aspects of a smart system or technology in advance and designing the system a-priori with potential value-added services help spur the discoveries of new tools, methodologies and innovative services. Smart service systems span across a variety of socio-technical facets comprising of devices, people, organizations, environments, and technologies to sense, actuate, control and assess the physical, cyber and societal artifacts of the human service systems. Besides the systems being self-adaptive and fault-tolerant, need to be designed in such a way that it can continuously increase the quality and productivity, the compliance and sustainability of the smart services it offers. While human-centered perspective and cognitive learning help create multi-facet value added services and catalyze the sustained economic growth of smart service systems, understanding the multi-modal sensing, control, heterogeneity and interdependency between different physical, virtual and logical components of such a complex system will enable the realization of new transformative smarter service systems. If successful, this can help improve the quality-of-service of the customers, quality-of-life of the citizens and quality-of returns of the stakeholders and investors. Nurturing the development of smart service systems seeks for inter- and trans-disciplinary crosscutting research threads from system and operational engineering, computer science and information systems, social and behavioral science, computational modeling and industrial engineering etc. The goal of this workshop is to bring together practitioners and researchers from both academia and industry in order to have a forum for discussion and technical presentations on the fundamental knowledge and principles of smart service systems that enable the value co-creation in sensing, actuating, data analytics, learning, cognition, and control of human centric cyber-physical-social systems and future of work.. Research contributions are solicited in all areas pertinent to smart human services and systems, including: • Innovative technologies, tools, methodologies and solutions for smart service systems; example includes personalized healthcare, smart energy, smart cities, smart manufacturing, intelligent transportation, education, precision medicine and agriculture, national security etc. • Information extraction and interpretation from sensors, actuators, smart phones, smart watch, and human • Context and situational-awareness of smart service systems • Design of people-centric services and technologies for providing better services such as food, transportation and places to live • Novel architectures and interoperable solutions for internet of things • Models and methodologies for designing complex smart systems • Big data analytics approaches for innovative smart services • Modeling, analysis, co-production, and co-evolution of human activity, behavior and interaction for the effective adaptation and percolation of longitudinal smart service systems • Role of machine learning, artificial intelligence, robotics, pervasive computing, control theory, information and communications technologies • Design and developments of intelligent systems, intelligent enterprises and cyber-physical-social-systems • Design of inter-dependent complex global systems such as healthcare, smart gird, computer networks, logistics and supply-chains, financial markets etc. • Smart infrastructure and testbed to support the integration and test of autonomous systems and innovative applications Important Dates Paper submission: March 10, 2019 Notification: April 10, 2019 Camera Ready: April 28, 2019 Workshop Date: June 12th or June 15th, 2019 Organizing Committees Workshop Co-Organizers Nirmalya Roy, University of Maryland, Baltimore County Gurdip Singh, Syracuse University Sajal Das, Missouri University of Science and Technology Technical Program Co-Chairs: Kunal Mankodiya, University of Rhode Island, USA Carlo Vallati, University of Pisa, Italy Publicity Co-chairs Antonio Arena, University of Pisa, Italy Mohammadreza Abtahi, University of Rhode Island, USA Technical Program Committee TBD

1 0

HPCS 2019 : Call for papers and participation - Deadlines are extended
by Waleed Smari 07 Mar '19

07 Mar '19

Please Post. Thank you. [Sorry if you get multiple copies of this message] Call for Papers and Participation *The 2019 High Performance Computing & Simulation Conference** **(HPCS 2019)* July 15-19, 2019 Dublin, Ireland http://hpcs2019.cisedu.info/ or http://conf.cisedu.info/rp/hpcs19 In Cooperation with the ACM, IEEE, IFIP (Main Track Paper Submission Deadline: 25 March 2019) (Other Conference tracks 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. Twitter: @HPCS Conference FaceBook: HPCS Conference LinkedIn: HPCS Conference You are cordially invited to participate in this 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) http://hpcs2019.cisedu.info/2-conference/symposia SYM01: Cloud Computing and Services for HPC Systems (InterClouds-HPC 2019) SYM04: Big Data Principles, Architectures & Applications (BDAA 2019) SYM03: High Performance Mobile Computing and Wireless Networks (MCWN 2019) SYM04: Information Systems and Engineering (ISE 2019) SYM05: Formal Approaches to Parallel and Distributed Systems (4PAD 2019) Workshops: (all refereed archival papers. Have different deadlines) http://hpcs2019.cisedu.info/2-conference/workshops W01: Dependable and Resilient Many-Core and Exascale Computing (DRMEC 2019) W02: Optimization of Energy Efficient High Performance and Distributed Computing Systems (OPTIM 2019) W03: Exploitation of Hardware Accelerators (WEHA 2019) W04: High Performance Interconnection Networks and Interconnects (HPINI 2019) W05: High Performance Platform Management (HPPM 2019) W06: Advances in Parallel Programming Models and Frameworks for the Multi-/Many-core Era (APPMM 2019) W07: Synergy of Parallel Computing, Optimization and Simulation (PaCOS 2019) W08: Peer-to-Peer Architectures, Networks and Systems (PANS 2019) W09: Autonomic High Performance Computing (AHPC 2019) W10: Security and High Performance Computing Systems (SHPCS 2019) W11: Security and Performance in Cloud Computing (SPCLOUD 2019) W12: High-Performance and Distributed Computing for Business Analytics and Financial Applications (HPC-BAFA 2019) W13: Computational Intelligence and Parallel Evolutionary Computation (CIPEC 2019) W14: Machine Learning, Pattern Recognition and Applications (MLPRA 2019) W15: High Performance Computing for Weather, Climate, and solid Earth Sciences (HPC-WCES 2019) W16: HPC Systems for Biomedical, Bioinformatics, and Life Sciences (BILIS 2019) W17: High Performance Dynamic Reconfigurable Systems and Networks (DRSN 2019) W18: Architecture-aware Simulation and Computing (AASC 2019) W19: Modeling and Simulation of Parallel and Distributed Systems (MSPDS 2019) W20: Parallel Computations for Neural Networks (PCNN 2019) W21: Cellular Automata Algorithms & Architectures (CAAA 2019) W22: Location-based Services and Applications in Ubiquitous Computing (LSAUC 2019) Special Sessions: (all refereed archival papers. Have different deadlines) http://hpcs2019.cisedu.info/2-conference/special-sessions SS01: Virtualization in High Performance Computing and Simulation (VIRT 2019) SS02: Benchmarking and High Performance Computing for Applications and Optimization (HPBench 2019) SS03: Biologically Inspired Parallel and Distributed Computing, Algorithms and Solutions (BICAS 2019) SS04: Compiler Architecture, Design and Optimization (CADO 2019) SS05: High Performance Services Computing and Internet Technologies (SerCo 2019) SS06: Trusted Ubiquitous Networks & Multimedia Contents Protection (TUN-MM 2019) SS07: Digital Home Networks & Ambient Intelligence (DHN-AmI 2019) SS08: High Performance Parallel and Distributed Data Mining (PDDM 2019) SS09: Internet of Things and HPC: Devices, Networks, and Applications (IoT-HPC 2019) SS10: High Performance Mission Critical System Development (HiPMiC 2019) SS11: Advances in Computational Methods in Electromagnetics (ACME 2019) SS12: Fuzzy-based Simulation Approaches in Science and Engineering (FSASE 2019) SS13: High Performance Computing and Modeling & Simulation Education (HPCEd 2019) ================================================================= *Important Dates:* Main Track Paper and Poster Paper Submission Deadline ———— 25 March 2019 Tutorial/Demo/Panel/Poster Proposal Deadline ——————-—— 25 March 2019 Notification of Acceptance starts —————————————— 22 April 2019 Registration & Camera-Ready Manuscripts Due ————————10 May 2019 Conference Dates ———————————————————— 15 - 19 July 2019 ================================================================= For further details and updates, please consult the conference web site at URL: http://hpcs2019.cisedu.info/ or http://conf.cisedu.info/rp/hpcs19 or contact one of the organizers. We look forward to your contributions and seeing you in Dublin in July. Thank you very much. Best Regards. HPCS 2019 Organizers

1 0

**Deadline approaching** SpaCCS 2019 CFP (10+SIs): The 12th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage
by Jun Feng 07 Mar '19

07 Mar '19

Dear Colleagues: [Apologies for multiple receptions of this CFP] Call For Papers ============================================================================= The 12th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage (SpaCCS 2019) July 14-July 17, 2019, Atlanta, USA http://cse.stfx.ca/~cybermatics/2019/spaccs/ All accepted papers will be published by Springer LNCS (EI Indexed). Best Paper Awards will be presented to high quality papers. Distinguished papers, after further revisions, will be be published in 10+ SCI & EI indexed special issues (confirmed). 1. ACM Transactions on Internet Technology Special Issue on Decentralized Blockchain Applications and Infrastructures for Next Generation Cyber-Physical Systems https://toit.acm.org/pdf/ACM-ToIT-CfP-Decentralized_Blockchain_Applications… Publisher: ACM, IF = 1.727 2. EURASIP Journal on Wireless Communications and Networking Special Issue: Multi-modal Sensor Data Fusion in Internet of Things https://jwcn-eurasipjournals.springeropen.com/multi-modal-sensor Publisher: Springer, IF = 2.407 3. IET Cyber-Physical Systems: Theory & Applications Special Issue: Advanced Technologies for Cyber Physical Systems Publisher: IET 4. IEEE Access Special Section on Deep Learning: Security and Forensics Research Advances and Challenges https://ieeeaccess.ieee.org/special-sections/deep-learning-security-and-for… Publisher: IEEE, IF = 3.557 5. Transactions on Blockchain Technology and Applications http://vdlt.io/tIndex.html Special Issue: Advances in Blockchain and Internet-of-Things 6. Digital Communications and Networks Special Issue: TBD Publisher: Elsevier, SCI indexed in 2019 7. Sensors Special Issue: IoT-Enabled Sensor Networks: Vision and Challenges https://www.mdpi.com/journal/sensors/special_issues/IoT_SensorNet Publisher: MDPI, IF = 2.475 8. Remote Sensing Special Issue: Intelligence Computing Paradigms with Remote Sensing Networks in Water Hydrology https://www.mdpi.com/journal/remotesensing/special_issues/water_Computation… Publisher: MDPI, IF = 3.406 9. Journal of Systems Architecture Special Issue: Dependable Cyber Physical Systems (SI: DCPS19) https://www.journals.elsevier.com/journal-of-systems-architecture/call-for-… Publisher: Elsevier, IF = 0.913 10. EURASIP Journal on Wireless Communications and Networking Special Issue: Human-centered Computing in Cloud / Edge / Fog https://jwcn-eurasipjournals.springeropen.com/human-centered-computing Publisher: Springer, IF = 2.407 * More special issues will be added later. ============================================================================= The 2019 International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage (SpaCCS 2019) is the 12th event in the series of conferences which are devoted to security, privacy and anonymity in computation, communication and storage. SpaCCS is now recognized as the main regular event of the world that is covering many dimensions including security algorithms and architectures, privacy-aware policies, regulations and techniques, anonymous computation and communication, encompassing fundamental theoretical approaches, practical experimental projects, and commercial application systems for computation, communication and storage. As applications of computer systems and networks have permeated in every aspect of our daily life, the issues of security, privacy, and anonymity have become increasingly critical. The conference will provide a forum for the world-class researchers to gather and share their research achievements, emerging ideas and trends in the highly challenging research fields. ================== Important Dates ================== Workshop/Special Session Proposal Due: January 15, 2019 Paper Submission Deadline: March 15, 2019 Authors Notification Date: April 15, 2019 Final Manuscript Due: May 15, 2019 Conference Date: July 14 - July 17, 2019 ================== Topics of interest include, but are not limited to ================== Track 1: Security 1.1 Computation -Security Model and Architecture - Software and System Security - Secure computation - Security in Cloud/Fog/Edge Computing and Pervasive/Ubiquitous Computing - Artificial Intelligence - Secure Network Computing - Risk Analysis and Management 1.2 Communication - Network Security - Malware and Botnets - Intrusion Detection - Security in Web Services - Security in Mobile Social Networks - Security in Mobile and Wireless Communications - Fraud and Cyber- Crime 1.3 Storage - Access Control - Accounting and Audit - Applied Cryptography - Database Security - Authentication - Computer forensics - Data Protection and Data Integrity - Digital Content Protection and Digital Forensics - Information Hiding - Security in Big Data and its Applications Track 2: Privacy 2.1 Computation - Measuring and Quantifying Privacy - Privacy Modelling and Analysis - Software and System Privacy - Privacy-preserving Computing - Differential Privacy - Blockchain-based Computation - Privacy-enhanced Network Computing - Obfuscation-based Privacy - Cryptographic Tools - Building and Deploying Privacy-enhancing Systems - Reliability, Robustness, and Abuse Prevention in Privacy Systems 2.2 Communication - Privacy in Web Services - Privacy Metrics and Policies - Crowdsourcing for Privacy - Location and Mobility Privacy - Privacy in Cloud and Big Data Applications - Blockchain-based Communication - Quantum Communications - Privacy in Ubiquitous Computing and Mobile Devices - Privacy in Social Networks and Microblogging Systems - Privacy-enhanced Access Control, Authentication, and Identity Management 2.3 Storage - Data Protection Technologies - Privacy in Big Data and its Applications - Policy Languages and Tools for Privacy - Privacy and Human Rights - Blockchain-based Storage - Interdisciplinary Research Connecting Privacy to Other Fields - Privacy in Cloud Computing and Pervasive/Ubiquitous Computing - Information Leakage, Data Correlation and Generic Attacks to Privacy - Privacy-Preserving Data Mining, Data Release and Publishing Track 3: Anonymity 3.1 Computation - Anonymous Data Mining and Data Sharing - Parallelism Exploitation Techniques for Anonymity - Anonymity in Big Data Analytics - Anonymous Management in Trust Relationships - Anonymous Video Analytics Technology - Anonymity Metrics, Measures and Evaluations - Anonymity Models, Hardware/Device of Anonymity 3.2 Communication - Anonymity in Wireless Communication Systems - Anonymous Communication Protocols - Anonymity in Mobile, Ad Hoc, and Wireless Sensor Networks - Anonymous Proxy Software - Anonymous Communication and Internet - Anonymous Social Networks, Structural k-Anonymity in Social Networks - Authentication Protocol Providing User Anonymity 3.3 Storage - Anonymous Information Storage and Management - Private and Anonymous Data Storage - Forensics - Anonymity-Preserving Data Collection and Database - Anonymity, Pseudonymity & Identity Management - Anonymity in Big Data and Cloud Scenarios - Anonymity in Health and Medical Databases ================== Paper Submission ================== All papers need to be submitted electronically through the conference website (https://edas.info/N25666) with PDF format. Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers must be clearly presented in English, must not exceed 14 pages (or up to 20 pages with the pages over length charge) in Springer LNCS format ( https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…) including tables, figures, references and appendices. Papers will be selected based on their originality, significance, relevance, and clarity of presentation assessed by at least three reviewers. Submission of a paper should be regarded as a commitment that, should the paper be accepted, at least one of the authors will register and attend the conference to present the work. ================== Organizing Committee ================== General Chairs - Kim-Kwang Raymond Choo, University of Texas at San Antonio, USA - Mark Last, Ben-Gurion University of the Negev, Israel - Yanqing Zhang, Georgia State University, USA Program Chairs - Md Zakirul Alam Bhuiyan, Fordham University, USA - Jun Feng, St Francis Xavier University, Canada - Rongxing Lu, University of New Brunswick, Canada Workshop Chair - Wm. Bradley Glisson, Sam Houston State University, USA Publicity Chairs - Peter Mueller, IBM Zurich Research Laboratory, Switzerland - Reza M. Parizi, Kennesaw State University, USA - Yogachandran Rahulamathavan, Loughborough University London, UK Local Chair - Yubao Wu, Georgia State University, USA Web Chairs - Zihao Jiang, St. Francis Xavier University, Canada - Xin Nie, Huazhong University of Science and Technology, China Steering Committee - Guojun Wang, Guangzhou University, China (Chair) - Gregorio Martinez, University of Murcia, Spain (Chair) - Jemal H. Abawajy, Deakin University, Australia - Jose M. Alcaraz Calero, University of the West of Scotland, UK - Jiannong Cao, Hong Kong Polytechnic University, Hong Kong - Hsiao-Hwa Chen, National Cheng Kung University, Taiwan - Jinjun Chen, University of Technology Sydney, Australia - Kim-Kwang Raymond Choo, University of Texas at San Antonio, USA - Robert Deng, Singapore Management University, Singapore - Mario Freire, The University of Beira Interior, Portuga - Minyi Guo, Shanghai Jiao Tong University, China - Weijia Jia, Shanghai Jiao Tong University, China - Wei Jie, University of West London, UK - Georgios Kambourakis, University of the Aegean, Greece - Ryan Ko, University of Waikato, New Zealand - Constantinos Kolias, George Mason University, USA - Jianbin Li, Central South University, China - Jie Li, University of Tsukuba, Japan - Jianhua Ma, Hosei University, Japan - Felix Gomez Marmol, University of Murcia, Spain - Geyong Min, University of Exeter, UK - Peter Mueller, IBM Zurich Research Laboratory, Switzerland - Indrakshi Ray, Colorado State University, USA - Kouichi Sakurai, Kyushu University, Japan - Juan E. Tapiador, The University Carlos III of Madrid, Spain - Sabu M. Thampi, Indian Institute of Information Technology and Management, India - Jie Wu, Temple University, USA - Yang Xiao, The University of Alabama, USA - Yang Xiang, Swinburne University of Technology, Australia - Zheng Yan, Aalto University, Finland - Laurence T. Yang, St. Francis Xavier University, Canada - Wanlei Zhou, University of Technology Sydney, Australia -- Dr. Jun Feng St. Francis Xavier University Huazhong University of Science and Technology Mobile: +86-18827365073 E-Mails: junfeng989(a)gmail.com, 512675288(a)qq.com WeChat: junfeng10001000

1 0

DEADLINE EXTENSION: HPBench 2019 - CFP
by Samar Aseeri 06 Mar '19

06 Mar '19

Dear Sir, dear Madam, Submission deadline has been extended to April 1st. Accepted papers will be published at IEEE. Best regards ========================================================================== CALL FOR PAPERS The 6th Special Session on High Performance Computing for Application Benchmarking and Optimization (HPBench 2019) As part of the International Conference on High Performance Computing & Simulation (HPCS 2019) http://hpcs2019.cisedu.info/ or http://conf.cisedu.info/rp/hpcs19 Dublin, Ireland ========================================================================== Benchmarking is an essential aspect of modern high performance computing and computational science, and as such, it provides a means for quantifying and comparing the performance of different computer systems. With a large combination of aspects to benchmark, all the way from the capability of a single core, to cluster configuration, and to various software configurations, the benchmarking process is more of an art than science. However, the results of this process drive modern science and are vital for the community to draw sensible conclusions on the performance of applications and systems. This special session focuses on research work aimed at benchmarking modern parallel and distributed systems for addressing a number of real world problems. As such, contributions concerning the definition of new open platforms, new benchmarks to match modern architectural evolutions, studies on the aspects of benchmarking different aspects of systems (from raw runtime performance to energy consumption to energy consumed per data movement) and mathematical foundations of benchmarking are sought. IMPORTANT DATES : Papers Due: 1 April 2019 - Extended Author Notification: 22 April 2019 Camera-Ready Submission: 8 May 2019 Conference Dates: 15-19 July 2019 TOPICS : The HPBench topics of interest include, but are not limited to -Open Platforms for Parallel and Distributed Application Benchmarking and Optimization -Benchmarking on the Cloud -Benchmarking of Clusters, Supercomputers, and large-scale systems -Benchmarking the Performance of I/O -Benchmarking of Energy and Energy Efficiency -Benchmarking Web Services -Virtualization for Distributed Benchmarking -Data Distribution for Benchmarking -Performance results of benchmarks on modern platforms -Scalability Aspects of Benchmarking Parallel Applications on Parallel and Distributed Systems -Benchmarking of Parallel Scientific and Business Applications -Performance of Benchmarking Applications (Eg: NAS parallel benchmarks) -Techniques, frameworks and results concerning the benchmarking of library packages -Tools and frameworks for performance modeling systems and applications -Tools and frameworks for simulation, measurement and monitoring -Performance Measurements, Monitoring, Modeling and Simulation -Domain-specific benchmarks and applications (such as image processing, pattern recognition, cryptography, biometrics, differential equation solvers, signal processing and alike) -Mathematical Foundations of Benchmarking, Metrics and Heuristics GENERAL CHAIRS : - Samar Aseeri, King Abdullah University of Science and Technology, Saudi Arabia - Luigi Iapichino, Leibniz Supercomputing Centre (LRZ), Germany - Laurent Lefevre, INRIA, ENS Lyon, France TECHNICAL PROGRAM COMMITTEE: - Cosimo Anglano, Universitá del Piemonte Orientale, Italy - Daniel Balouek-Thomert, Rutgers University, USA - Fabio Baruffa, Intel, Germany - Suren Byna, Lawrence Berkeley National Laboratory, California, USA - Jesus Carretero, Universidad Carlos III de Madrid, Spain - Douglas Doerfler, Lawrence Berkeley National Laboratory, California, USA - Zhiyi Huang, University of Otago, New Zealand - Clay Hughes, Sandia National Laboratories, New Mexico, USA - Aleksandar Ilic, Universidade de Lisboa, Portugal - Bok Jik Lee, Gwangju Institute of Science and Technology, Korea - Ravi Reddy Manumachu, University College Dublin, Ireland - Dana Petcu, West University of Timisoara, Romania - Ivan Rodero, Rutgers University, USA - Gudula Rünger, Technische Universität Chemnitz, Germany - Domenico Talia, Università della Calabria, Rende, Italy ********************************************************************* For more information see http://hpcs2019.cisedu.info/2-conference/special-sessions/session02-hpbench Kind Regards -- Samar Aseeri, PhD Computational Scientist Extreme Computing Research Center (ECRC) Building 1 -Office: 0128 *King Abdullah University of Science & Technology* Thuwal, Saudi Arabia Email: samar.aseeri(a)kaust.edu.sa -- This message and its contents, including attachments are intended solely for the original recipient. If you are not the intended recipient or have received this message in error, please notify me immediately and delete this message from your computer system. Any unauthorized use or distribution is prohibited. Please consider the environment before printing this email.

1 0

DEADLINE EXTENDED - The Third International Workshop on Parallel and Distributed Data Mining (WPDM 2019)
by Massimo CAFARO 05 Mar '19

05 Mar '19

WPDM 2019 The Third International Workshop on Parallel and Distributed Data Mining (WPDM 2019) http://sara.unisalento.it/~cafaro/WPDM2019/ CALL FOR PAPERS The Third Workshop on Parallel and Distributed Data Mining (WPDM 2019) will be held in conjunction with The 19th International Conference on Computational Science and Its Applications (ICCSA 2019), http://www.iccsa.org Saint Petersburg University, Saint Petersburg, Russia July 1-4 2019 Submission Deadline extended to: March 15, 2019 SCOPE AND OBJECTIVES The Workshop on Parallel and Distributed Data Mining is an international forum which brings together researchers and practitioners working on different high-performance aspects of data mining algorithms, enabling novel applications. Data mining techniques and algorithms to process huge amount of data in order to extract useful and interesting information have become popular in many different contexts. Algorithms are required to make sense of data automatically and in efficient ways. Nonetheless, even though sequential computer systems performance is improving, they are not suitable to keep up with the increase in the demand for data mining applications and the data size. Moreover, the main memory of sequential systems may not be enough to hold all the data related to current applications. Therefore, there is an increasing interest in the design and implementation of parallel data mining algorithms. On parallel computers, by exploiting the vast aggregate main memory and processing power of processors and accelerators, parallel algorithms can easily address both the running time and memory requirement issues. Anyway, parallelizing existing algorithms in order to achieve good performance and scalability with regard to massive datasets is not trivial. Indeed, it is of paramount importance a good data organization and decomposition strategy in order to balance the workload while minimizing data dependences. Another concern is related to minimizing synchronization and communication overhead. Finally, I/O costs should be minimized as well. The Workshop will allow exchanging ideas and results related to on-going research, focusing on high-performance aspects of data mining algorithms and applications. Creating breakthrough parallel algorithms for high-performance data mining applications requires addressing several key computing problems which may lead to novel solutions and new insights in interdisciplinary applications. The focus of the workshop is on all forms of advances in high-performance data mining algorithms and applications, and related topics. The WPDM Workshop topics include (but are not limited to) the following: - Parallel data mining algorithms using MPI and/or OpenMP - Parallel data mining algorithms targeting GPUs and many-cores accelerators - Parallel data mining applications exploiting FPGA - Distributed data mining algorithms - Benchmarking and performance studies of high-performance data mining applications - Novel programming paradigms to support high-performance computing for data mining - Performance models for high-performance data mining applications and middleware - Programming models, tools, and environments for high-performance computing in data mining - Caching, streaming, pipelining, and other optimization techniques for data management in high-performance computing for data mining INSTRUCTIONS FOR PAPER SUBMISSIONS You are invited to submit original and unpublished research works on above topics. Submitted papers must not have been published or simultaneously submitted elsewhere. The submitted paper must be between 10 to 16 pages long and formatted according to the Springer LNCS (Lecture Notes in Computer Science) rules, Guidelines and templates can be found at the url http://www.springer.com/it/computer-science/lncs/conference-proceedings-gui… To submit a paper, please connect to the Submission site from the link available at the ICCSA 2019 web site: http://ess.iccsa.org. Only papers submitted through the electronic system and strictly adhering to the relevant format will be considered for reviewing and publication. Please pay attention, when submitting your contribution to the workshop, to select the right entry in the listbox shown in the submission form. CONFERENCE POLICY By submitting the paper to ICCSA conference, all authors agree to abide by all ICCSA conference paper submission, publication and presentation policies. Namely, authors confirm that the work is original, has not appeared in literature in any form in the past and will not be submitted to any other venue concurrently with ICCSA submission or until it appears in ICCSA proceedings (in the case of acceptance). Furthermore, upon paper acceptance, authors agree to transfer copyright on the accepted paper to ICCSA, and one of the authors will register the paper and present the paper at the event. No paper withdrawals can be accepted after Conference pre-registration date or within three months of the actual event, whichever date comes first. Paper withdrawal request can be only accepted in writing through email, letter or fax to conference organizers. The conference has no responsibility for any intentional or accidental misuse, misinterpretation, or failure to follow above rules and conditions and holds no legal, civil or other responsibility for opinions, content or utilization of any methods/algorithms expressed in the Conference Proceedings. If you have any questions about paper submission or the workshop, please contact the workshop organisers. IMPORTANT DATES March 15, 2019: Deadline for paper submission April 7, 2019: Notification of Acceptance. May 8, 2019: Early-bird Registration ends. May 8, 2019: Submission deadline for the final version of the Papers July 1-4, 2019: ICCSA 2019 Conference WORKSHOP ORGANIZERS Massimo Cafaro University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: massimo.cafaro(a)unisalento.it Italo Epicoco University of Salento, Italy Phone: +39 0832 297235 Fax: +39 0832 297235 Email: italo.epicoco(a)unisalento.it Marco Pulimeno University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: marco.pulimeno(a)unisalento.it Giovanni Aloisio University of Salento & Euro Mediterranean Center on Climate Change Foundation, Italy Phone: +39 334 6501704 Fax: +39 0832 297235 Email: giovanni.aloisio(a)unisalento.it All submitted papers will be reviewed by the workshop technical program committee members. International Program Committee: Alfredo Cuzzocrea, University of Trieste and ICAR-CNR, Italy Bronis R. de Supinski, Lawrence Livermore National Laboratory, USA Giuseppe Di Fatta, University of Reading, UK Ann Gordon-Ross, University of Florida, USA Kenli Li, Hunan University, China Donato Malerba, University of Bari, Italy Barbara Masucci, University of Salerno, Italy Mitsunori Ogihara, University of Miami, USA Takahiko Shintani, The University of Electro-Communications , Japan Domenico Talia, University of Calabria, Italy Paolo Trunfio, University of Calabria, Italy Jeffrey D. Ullman, Stanford University, USA Laurence T. Yang, St Francis Xavier University, Canada - ************************************************************************************ Massimo Cafaro, Ph.D. Associate Professor Dept. of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web http://sara.unisalento.it/~cafaro E-mail massimo.cafaro(a)unisalento.it cafaro(a)ieee.org cafaro(a)acm.org CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro(a)cmcc.it ************************************************************************************

1 0

Submission Extension to April 1st for CFP for Virtualization in High Performance Computing and Simulation (VIRT2019)
by Uday Kurkure 05 Mar '19

05 Mar '19

http://hpcs2019.cisedu.info/2-conference/special-sessions/session01-virt *The Second Special Session on **Virtualization in High Performance Computing and Simulation* *(VIRT 2019)* *CALL FOR PAPERS & PARTICIPATION* *As part of* *The 17th International Conference on High Performance Computing & Simulation (HPCS 2019)* *http://hpcs2019.cisedu.info/ <http://hpcs2019.cisedu.info/> or http://conf.cisedu.info/rp/hpcs19 <http://conf.cisedu.info/rp/hpcs19>* *15 - 19 July 2019* *Dublin, Ireland* *Paper Submission Deadline: 01 April 2019 - 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 - *AI, Machine Learning and Deep Learning*o Virtualization of Deep Learning Workloads o Deep Learning in HPC Simulations o Resource Allocation Using Machine Learning o Reinforcement Learning for Resource Allocation o Machine Learning to build tools for measurement & calibration - *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 and simulation*. 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. Submission can be 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), please submit a PDF copy of your full manuscript, not to exceed 4 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. - *Poster papers* and *Posters* (please refer to http://hpcs2019.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/VIRT2019 . 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 soundness, 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 2019 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://hpcs2019.cisedu.info/6-participants/authors-info> and Registration Info <http://hpcs2019.cisedu.info/6-participants/registration-info> pages. *Proceedings* Accepted papers will be published in the Conference proceedings. Instructions for final manuscript format and requirements will be posted on the HPCS 2019 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: ------------------------------------------- 01 April 2019 - Extended* *Acceptance Notification: -------------------------------------- 22 April 2019* *Camera Ready Papers and Registration Due by: ----------- 08 May 2019* *Conference Dates: -------------------------------------------- 15–19 July 2019* *SPECIAL SESSION ORGANIZERS* *Uday Kurkure* VMware, Inc. 3401 Hillview Avenue Palo Alto, CA 94304, USA Phone: +1 650-427-1179 Fax: +1 650- Email: uday(a)alumni.stanford.edu *Hari Sivaraman * VMware, Inc. 3401 Hillview Avenue Palo Alto, CA 94304, USA Phone: +1 650-427-3681 Fax: +1 650- Email: hsivaraman(a)vmware.com *Lan Vu* VMware, Inc. 3401 Hillview Avenue Palo Alto, CA 94304, USA Phone: +1 650-427-1327 Fax: +1 650- Email: lanv(a)vmware.com International Program Committee*: All submitted papers will be rigorously reviewed by the special session technical program committee members following similar criteria used in HPCS 2019 and will be published as part of the HPCS 2019 Proceedings. - *Cristina Boeres,* Fluminense Federal University, Brazil - *Isaac Gelado,* Nvidia Corp., Santa Clara, California, USA - *Kyle Hale,* Illinois Institute of Technology, Illinois, USA - *Brian Kocoloski*, Washington University in St. Louis, Missouri, USA - *Xiaoyi Lu,* The Ohio State University - Columbus, Ohio, USA - *Carlos Reano,* Queen's University Belfast, U.K. - *Federico Silla,* Universitat Politecnica de Valencia, Spain - *Alex Sim,* Lawrence Berkeley National Laboratory, California, USA - *Giang Son Tran,* University of Science and Technology of Hanoi, Hanoi, Vietnam - *Blesson Varghese, *Queen's University Belfast, U.K. - *Andrew Younge*, Sandia National Laboratories, Albuquerque, New Mexico, USA - *Dong Ping Zhang, *AMD Inc., San Jose, California, USA - *Jie Zhang,* Amazon Inc., Washington, USA - *Na Zhang, *VMware Inc., Boston, Massachusetts, USA - *Yongli Zhao*, Beijing University of Posts and Telecommunications, Beijing, China *-*

1 0

FROM 2019 - 1st Call for Papers
by Mircea Marin 04 Mar '19

04 Mar '19

[Apologies for multiple copies] First Call for Papers -------------------------- FROM 2019 Working Formal Methods Symposium September 3-5, 2019, Timisoara, Romania http://from2019.projects.uvt.ro in conjunction with SYNASC 2019 https://synasc.ro/2019/ Aims ---- FROM aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. FROM 2019 is the third event in a yearly workshop series. The first edition was held in 2017 in Bucharest (see http://unibuc.ro/~conference/from2017) and it included sixteen invited talks delivered by top researchers in field, and seven contributed talks. The second edition was held in 2018 in Iasi (see http://fmse.info.uaic.ro/event/from-2018) and it included 9 invited talks and 14 contributed talks. The program of the symposium will include invited lectures and regular contributions. Submissions on the general topic of theoretical computer science, formal methods and applications are solicited. Important Dates --------------- June 21 2019: deadline for abstract submissions June 28 2019: deadline for full paper submission July 26 2019: notification of acceptance August 9 2019: revised papers according to the reviews August 9 2019: registration September 3-5 2019: symposium days Invited Speakers ---------------- Marcello Bonsangue, Leiden University, Holland Marius Bozga, CNRS, France Florin Crăciun, Babes Bolyai, Cluj-Napoca, Romania Mădălina Erascu, West Universit of Timisoara, Romania Temur Kutsia, Johannes Kepler University of Linz, Austria Laurențiu Leuștean, University of Bucharest, Romania Dorel Lucanu, Alexandru Ioan Cuza University of Iasi, Romania Peter Csaba Ölveczky, University of Oslo, Norway Sorin Stratulat, University of Lorraine, Metz, France Scope ----- Areas and formalisms of interest include: + Category theory in computer science + Distributed systems and concurrency + Formal languages and automata theory + Formal modelling, verification and testing + Logic in computer science + Logical frameworks + Mathematical structures in computer science + Models of computation + Semantics of programming languages + Type systems Methods of interest include: + Automated reasoning and model generation + Automated induction + Certified programs + Data-flow and control-flow analysis + Deductive verification + Mechanized proofs + Model checking + Proof mining + Symbolic computation + Term rewriting Applications of interest include: + Computational logic + Computer mathematics + Knowledge representation, ontology reasoning, deductive databases + Program analysis + Verification and synthesis of software and hardware + Uncertainty reasoning and soft computing Publication ----------- The proceedings will be published by Electronic Proceedings in Theoretical Computer Science. Authors of the best contributions will be invited to submit a revised version of their work to a special issue of the journal Fundamenta Informaticae. Submissions ----------- We expect submissions of regular papers of maximum fifteen (15) pages, formatted according to the EPTCS macro package (http://style.eptcs.org/) The paper must represent original work and should not be submitted to another conference at the same time. Regular contributions should be preceded by the submission of a a short abstract. Submissions must be in PDF or PS format and will be handled via the EasyChair Conference system at https://easychair.org/conferences/?conf=from2019 The submitting author of an accepted paper will have to sign, on behalf of all authors of the paper, a copyright agreement (see http://copyright.eptcs.org) Programme Committee ------------------ - Gabriel Ciobanu, Romanian Academy, Institute of Computer Science, Iași - Stefan Ciobâcă, Alexandru Ioan Cuza University of Iasi - Adrian Crăciun (co-chair), West University of Timisoara, - Cătălin Dima, Universite Paris-Est Creteil, France - Jetty Kleijn, Leiden University - Stefan Leue, University of Konstanz - Mircea Marin (co-chair), West University of Timisoara, - Victor Mitrana, University of Bucharest - Paulo Oliva, Queen Mary University of London - Ion Petre, University of Turku - Andrei Popescu, Middlesex University London - Vlad Rusu, INRIA Lille - Viorica Sofronie-Stokkermans, University of Koblenz-Landau Organizing Committee ------------------- - Cosmin Bonchis, West University of Timisoara - Isabela Drămnesc, West University of Timisoara - Gabriel Istrate, West University of Timisoara General chairs -------------- Mircea Marin, West University of Timisoara Adrian Craciun, West University of Timisoara

1 0

HPC-ED 2019: High Performance & Simulation (HPCS) CFP
by Gabriele Mencagli 04 Mar '19

04 Mar '19

Special Session on High Performance Computing and Modeling & Simulation Education (HPC-Ed 2019) CALL FOR PAPERS & PARTICIPATION As part of The 17th International Conference on High Performance Computing & Simulation (HPCS 2019) http://hpcs2019.cisedu.info/ or http://conf.cisedu.info/rp/hpcs19 PURPOSE AND SCOPE The fields of High Performance Computing, Cloud Computing, Distributed Systems, Big Data and Analytics, Computational Sciences, IoT, Artificial Intelligence, and several other related subjects are essential for newly developed technologies and discoveries. They are increasingly needed in many domains and daily life applications. Consequently, these systems and their applications will require a well trained workforce which can exploit the newly available capabilities and push forward to more innovations and breakthroughs. Preparing and training the new workforce for these technologies will require the development of well-thought out curriculum, pedagogical tools and platforms, programming languages and models, as well as laboratories and project oriented expertise. This track on High Performance Computing and Modeling & Simulation Education is meant to provide a forum and an opportunity for our communities in the subject matters to present, exchange and collaborate on the educational aspects and pedagogical developments of HPC related topics and their applications. The HPC-Ed topics include (but are not limited to) the following: -Undergraduate and graduate Curriculum development for HPC, Parallel processing, Cloud Computing, sustainable and energy-aware HPC systems, and Distributed Computing systems -Undergraduate and graduate Curriculum development for modeling and simulation using HPC and Distributed computing systems -Experiences and lessons learned from existing programs and courseware -Novel practices for course work development and delivery -Assisting Tools and platforms for learning and education -Interdisciplinary and multidisciplinary curricula and programs -Languages, programming environments and Operating Systems education -Project based Learning -Design of laboratories and learning experiments -Program Assessment and Evaluation -Application domains (Big data, IoT, AI, Computational Sciences, Fog & Edge Computing, Mobile Computing, etc.) -Non-traditional learning and education PROCEEDINGS 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. IMPORTANT DATES Paper Submissions: ------------------------------------------- 15 March 2019 Acceptance Notification: -------------------------------------- 07 April 2019 Camera Ready Papers and Registration Due by: ----------- 24 April 2019 Conference Dates: -------------------------------------------- 15–19 July 2019 SPECIAL SESSION ORGANIZERS Claude Tadonki Centre de Recherche en Informatique (CRI - Fontainebleau) MINES ParisTech, Paris, France Phone: +33 (0)1 64 69 48 36 Fax: +33 (0)1 64 69 48 47 Email: claude.tadonki(a)mines-paristech.fr Gabriele Mencagli Department of Computer Science University of Pisa, Italy Phone: +39-050-221 3132 FAX: +39- Email: mencagli(a)di.unipi.it

1 0

HPCS 2019 CFP Now Open
by Varriale, Roland 04 Mar '19

04 Mar '19

Call for Papers and Participation The 2019 High Performance Computing & Simulation Conference (HPCS 2019) The 17th Annual Meeting July 15 - 19, 2019 Dublin, Ireland http://hpcs2019.cisedu.info/ or http://conf.cisedu.info/rp/hpcs19 In Cooperation with the ACM, IEEE, IFIP (Main Track Paper Submission Deadline: March 25, 2019 - Extended) (Other Conference tracks may have different submission deadlines - Please check the specific track of interest at links below.) You are cordially invited to participate in this international conference through paper submission, a track, a workshop or a special session organization, a tutorial, an invited speech, a demo, a poster, an exhibit, a panel discussion, a doctoral dissertation abstract, 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, architectures and systems, algorithms, languages, software and middleware in HPC systems, Cloud and Edge Computing, Data Sciences, applications-oriented high performance, HPC use in modeling and simulation, and related issues. There will also be tutorial sessions, symposia, 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 many refereed archived symposia, workshops and special sessions (may have different deadlines): Please see the following lists and check the specific track of interest (coming soon). So far we have the following tracks: Symposia: http://hpcs2019.cisedu.info/2-conference/symposia Workshops: http://hpcs2019.cisedu.info/2-conference/workshops Special Sessions: http://hpcs2019.cisedu.info/2-conference/special-sessions SPECIAL ISSUE Authors of selected papers will be invited to submit an extended version of their work for one or more special issues in ISI indexed Journals. HPCS Proceedings are published in IEEE XPLORE and indexed by all major indexing services including SCOPUS, EI, SCI, dblp, etc. ================================================================= Important Dates: Main Track Paper and Poster Paper Submission Deadline --- March 25, 2019 - Extended Tutorial/Demo/Panel/Poster Proposal Deadline ---------- March 25, 2019 Main Track Notification of Acceptance starts ------------ April 22, 2019 Registration & Camera-Ready Manuscripts Due ----------- May 10, 2019 Conference Dates ----------------------------------- July 15 - 19, 2019 ================================================================= For further details and updates, please consult the conference web site at URL: http://hpcs2019.cisedu.info/ or http://conf.cisedu.info/rp/hpcs19 or contact one of the conference organizers. We look forward to your contributions and to seeing you in Dublin, Ireland in July. Thank you very much. Best Regards, HPCS 2019 Organizers

1 0

[4PAD 2019] HPCS Symposium, second CFP
by Frédéric Dabrowski 04 Mar '19

04 Mar '19

The deadline is extended to the first of April 2019. Paper Submissions: ------------------------------ April 01, 2019 Acceptance Notification: --------------------------- April 22, 2019 Camera Ready Papers and Registration Due by: -------- May 08, 2019 [Please accept our apologies for duplicates] ===================================================== Second Call for Papers The 6th International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2019) http://hpcs2019.cisedu.info/2-conference/symposia/symp05-4pad <http://hpcs2019.cisedu.info/2-conference/symposia/symp05-4pad> As part of The 17th International Conference on High Performance Computing & Simulation (HPCS 2019) http://hpcs2019.cisedu.info/ <http://hpcs2019.cisedu.info/> or http://conf.cisedu.info/rp/hpcs19 <http://conf.cisedu.info/rp/hpcs19> July 15 – 19, 2019 Dublin, Ireland ===================================================== IMPORTANT DATES Paper Submissions: ---------------------------- 01 March 2019 Acceptance Notification: ------------------------ 29 March 2019 Camera Ready Papers and Registration Due by: ---- 19 April 2019 Conference Dates: ------------------------------ 15–19 July 2019 ===================================================== SCOPE AND OBJECTIVES The aim of 4PAD is to foster interaction between the formal methods communities and systems researchers working on topics in modern parallel, distributed, and network-based processing systems (e.g., autonomous computing systems, cloud computing systems, service-oriented systems and parallel computing architectures). 4PAD Topics include (but are not limited to) the following: - Rigorous software engineering approaches and their tool support; - Model-based approaches, including model-driven development; - Service- and component-based approaches; - Semantics, types and logics; - Formal specification and verification; - Performance analysis based on formal approaches; - Formal aspects of programming paradigms and languages; - Formal approaches to parallel architectures and weak memory models; - Formal approaches to deployment, run-time analysis, adaptation/evolution, reconfiguration, and monitoring; - Case studies developed/analyzed with formal approaches; - Formal stochastic models and analysis; - Formal methods for large-scale distributed systems; - Statistical analysis techniques based on formal approaches. ===================================================== SYMPOSIUM ORGANIZERS Frédéric Dabrowski Université d’Orléans, LIFO, Orléans, France Phone: +33 (0)2 38 49 27 51 Fax: +33 (0)2 38 41 71 37 Email: frederic.dabrowski(a)univ-orleans.fr <mailto:frederic.dabrowski@univ-orleans.fr> International Program Committee*: All submitted papers will be rigorously reviewed by the symposium technical program committee members following similar criteria used in HPCS 2019 and will be published as part of the HPCS 2019 Proceedings. Allan Blanchard, CEA LIST, France Emmanuel Chailloux, University of Sorbonne, France Kento Emoto, Kyushu Institute of Technology, Japan Gidon Ernst, University of Melbourne, Australia Joaquin Ezpeleta, Universidad de Zaragoza, Spain Yliès Falcone, University of Grenoble Alpes, France Jose Daniel Garcia, University Carlos III of Madrid, Spain Frédéric Gava, University of Paris Est, France Claude Jard, University of Nantes, France Christoph Kessler, Linköpin University, Sweden Igor Konnov, INRIA, France Herbert Kuchen, University of Muenster, Germany Sébastien Limet, University of Orléans, France Virginia Niculescu, Babes-Bolyai University, Romania Emmanuelle Saillard, INRIA, France Gwen Salaün, INRIA/University of Grenoble Alpes, France Sven Schewe, University of Liverpool, U.K. Elena Sherman, Boise State University, Idaho, USA Francesco Tiezzi, University of Camerino, Italy Emilio Tuosto, University of Leicester, U.K. ===================================================== INSTRUCTIONS FOR PAPER SUBMISSIONS You are invited to submit original and unpublished research works on above and other topics related to Formal Approaches to Parallel and Distributed Systems. Submitted paper 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 (please refer to http://hpcs2019.cisedu.info/1-call-for-papers-and-participation/call-for-po… <http://hpcs2019.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 symposium paper submission site at https://easychair.org/conferences/?conf=4pad2019 <https://easychair.org/conferences/?conf=4pad2019>. ===================================================== Proceedings Accepted papers will be published in the Conference proceedings. Instructions for final manuscript format and requirements will be posted on the HPCS 2019 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. Furthermore, it is confirmed that after the 4PAD symposium, authors of selected papers will be invited to submitted extended version of their papers for possible publication in a special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP, https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-… <https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-…>). If you have any questions about paper submission or the symposium, please contact the symposium organizers.

1 0