computational.science March 2019

computational.science@lists.iccsa.org

36 participants
49 discussions

[CFP] 1st IEEE Services Workshop on Knowledge Graph as a Service (KGAAS2019)
by Fulvio Frati 08 Mar '19

08 Mar '19

***KGAAS 2019*** [Apologies if you receive multiple copies of this message] ****************************************************** THE FIRST IEEE SERVICES WORKSHOP ON KNOWLEDGE GRAPH AS A SERVICE (KGAAS) In conjunction with the IEEE SERVICES 2019, July 8-13, 2019, Milan, Italy http://conferences.computer.org/services/2019/workshops/kgaas_workshop.html ****************************************************** CALL FOR PAPERS Everything as a Service (EaaS or XaaS) has followed the development of Software-Defined Everything as stakeholders determine the ultimate culmination of human production of both tangible and intangible services. However, in the light of the overall trend of AI driven conversion from traditional services to intelligent services, prevailing challenges arise for both conceptual foundations and technical preparation, especially involving semantic understanding and utilizations. As Knowledge Graphs are increasingly recognized as an important approach to solving problems related to semantic understanding beyond question and answering systems, various solutions focusing on Knowledge Graphs have been proposed. These cover Knowledge Graph creation, understanding, searching, reasoning, modification and especially and most recently embedding technologies with Machine Learning. A foreseeable AI landscape with explainable and interactive human interactions is becoming feasible based on Knowledge Graphs. The boundaries of the capability of Knowledge Graph usages are constantly expanding, but there are also open questions as to what issues can be solved by Knowledge Graphs alone. Hierarchical architectures which project Data, Information, Knowledge and Wisdom (DIKW) seem to be well paired with the organizing capability of Knowledge Graph technologies in terms of the 5W ( What, Where, When, How and Why). Although not yet formally settled as a uniform concept itself, Knowledge Graphs have been actually or implicitly functioning as Data Graph, Information Graph, Knowledge Graph and Wisdom Graph according to the DIKW hierarchy. Recently we have also seen the emergence of various applications and models of Knowledge Graph as a Service (KGaaS) as a gradual acceleration towards an era of strong AI in contrast to the currently prevailing weak AI. This workshop aims to bring together scientists, researchers, and industrial engineers to discuss and exchange experimental and theoretical results, novel designs, work-in-progress and case studies on theories, design mechanisms and extensions on Knowledge Graph as a Service. Topics of interest include but are not limited to: - Small data learning - Knowledge Graph as a Service - AI as a Service - Explainable Machine Learning Services - Knowledge Management and creation in Context-aware and Situation-aware Services - Ontology modeling for IR - Data acqusition and linking for Edge Computing - Information analysis and abstraction for Edge Computing - Knowledge creation and reasoning for Edge Computing - DIKW architecture-based content/resource processing and service provision - Security and Privacy Services based on Knowledge Graphs - Load balancing based on transformations among layers of DIKW - Edge and Fog Network Services related to DIKW architecture-based - Theories and methods for transformations and coordination among layers of DIKW - Meta Modeling and formal modeling, and verification methods of semantic rich graphs SUBMISSION We call for original and unpublished papers no longer than 6 pages (up to 2 additional pages may be purchased subject to approval by the Publication Chair). All papers will be reviewed with a minimum of 3 good-quality reviews per paper. The manuscripts should be formatted in standard IEEE camera-ready format (double-column, 10-pt font) and be submitted as PDF files (formatted for 8.5x11-inch paper). The submission URL is: https://easychair.org/conferences/?conf=ieeeservices2019 Authors wishing to submit a paper to this workshop must select the track entitled IEEE SERVICES Workshop on Knowledge Graph as a Service (KGaaS) in order to be considered. IMPORTANT DATES - Paper Submission Deadline: March 23, 2019 - Notification to Author: April 15, 2019 - Camera-ready & Registration: 1 May 2019 WORKSHOP CHAIR - Yucong Duan, Hainan University (duanyucong(a)hotmail.com) WORKSHOP PROGRAM CHAIR - Katsunori Oyama, Nihon University (oyama.katsunori(a)nihon-u.ac.jp) WORKSHOP STEERING GROUP - Carl K. Chang, Iowa State University - Peter Chen, Carnegie-Mellon University - Michael Goul, Arizona State University For general questions about this workshop, please contact the workshop chair or program chair. PROGRAM COMMITTEE - Shizhan Chen, Tianjin University - Wuhui Chen, Sun Yat-Sen University - Christophe Cruz, CNRS-Le2i - Shuiguang Deng, Zhejiang University - Qiang Duan, The Pennsylvania State University - Abdelrahman Osman Elfaki, University of Tabuk - Honghao Gao, Shanghai University - Jing He, Swinburne University of Technology - Zhao Li, Alibaba Group - Antonella Longo, University of Salento - Zhihui Lu, Fudan University - Riccardo Martoglia, Universita' di Modena e Reggio Emilia - Hua Ming, Oakland University - Nan Niu, University of Cincinnati - Alexander Norta, Tallinn University of Technology - Incheon Paik, University of Aizu - Guilin Qi, Southeast University - Lianyong Qi, Qufu Normal University - Xiaobing Sun, Yangzhou University - Hideyuki Takahashi, Tohoku University - Joe Tekli, Lebanese American University - Gianluigi Viscusi, École Polytechnique Fédérale de Lausanne - Shangguang Wang, Beijing University of Posts & Telecommunications - Bin Xu, Tsinghua University - Gao Yang, Northeastern University - Jingwei Yang, California State University - Jianwei Yin, Zhejiang University - Pengcheng Zhang, Hohai University - Jun Zeng, Chongqing University - Nianjun Zhou, IBM - Zhangbing Zhou, China University of Geosciences

1 0

CFP: 2019 Cyber Science & Technology Congress (The Co-Located Conferences: DASC, PiCom, CBDCom, CyberSciTech), Fukuoka, Japan, 5-8 August 2019
by Anna Kobusińska 08 Mar '19

08 Mar '19

====================================== Joint Call for Papers 2019 CYBER SCIENCE & TECHNOLOGY CONGRESS, THE CO-LOCATED CONFERENCES, AND ASSOCIATED EVENTS Fukuoka, Japan, 5-8 August 2019 http://cyber-science.org/2019/ ====================================== 2019 Cyber Science & Technology Congress is one of the major events sponsored by the IEEE Computer Sociatey, and supported by IEEE TC on Scalable Computing and IEEE SMC TC on CyberMatics. It gathers conferences and workshops that cover a broad spectrum of distributed computing subjects, ranging from cyber-related science and technology, cloud and big data computing, computational intelligence to dependable, autonomic and secure computing research issues. ================= Main Conferences ================= PICom 2019 - The 17th IEEE International Conference on Pervasive Intelligence and Computing http://cyber-science.org/2019/picom/ DASC 2019 - The 17th IEEE International Conference on Dependable, Autonomic and Secure Computing http://cyber-science.org/2019/dasc CyberSciTech 2019 - The 4th IEEE Cyber Science and Technology Congress http://cyber-science.org/2019 CBDCom 2019 - The 5th IEEE International Conference on Cloud and Big Data Computing http://cyber-science.org/2019/cbdcom ================================== Important Dates (for all main conferences) ================================== - Regular Paper Submission Due: Mar. 20, 2019 - Wksp/SS Paper Due: April 20, 2019 - Authors Notification: May 25, 2019 - Camera-ready Submission: June 20, 2019 ============ Proceedings ============ The proceedings of 2019 Cyber Science & Technology Congress, co-located conferences, and associated events will be published by IEEE Conference Publishing Services (IEEE-DL and EI indexed). ============== Special issue ============== Selected high quality papers from individual conferences will be considered for publication in special issues of prestige journals (SCI/EI indexed). More information will be available at the conference website. ======================== Submission Instructions ======================== Authors are invited to submit their contributions electronically. Submissions are handled through the EDAS conference management system. Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere. The submissions must not exceed the total page number limit, including figures and references, prepared using IEEE CS Proceedings format. Submissions not adhering to the above specified constraints may be rejected without review. Detailed information about the topics, the submission categories and the corresponding page limits are available at the conference websites. For each accepted paper, one of the authors must register to 2019 Cyber Science & Technology Congress and attend the corresponding conference to present the paper. ================= Associated Events ================= 2019 Cyber Science & Technology Congress will also feature workshops and special session focusing on specific topics of related research. An open call for workshop and special session proposals will follow, as well as an open call for tool demo submissions. For more information, please contact the congress organisers at cyberscitechcongress(a)gmail.com. =================== Leading organizers =================== Bernady O. Apduhan, Japan, (General Co-Chair of CyberSciTech 2019 Congress, General Executive Chair of DASC/PICom/CBDCom 2019) Kouichi Sakurai, Japan (General Co-Chair of CyberSciTech 2019) Kevin I-Kai Wang, New Zealand (General Co-Chair of CyberSciTech 2019) Tadashi Dohi, Japan (General Chair of DASC 2019) Md Zakirul Alam Bhuiyan, USA (General Chair of DASC 2019) Flavia C. Delicato, Brazil (General Chair of PICom 2019) Sozo Inoue, Japan (General Chair of PICom 2019) Anna Kobusinska, Poland (General Chair of CBDCom 2019) Peng Li, Japan (General Chair of CBDCom 2019) Jianhua Ma, Japan (Steering Committee Co-Chair) Laurence T. Yang, Canada (Steering Committee Co-Chair) Hui-Huang Hsu, Taiwan (Steering Committee Co-Chair) Qun Jin, Japan (Steering Committee Co-Chair) Jun Wang, USA (Steering Committee Co-Chair) Stephen S. Yau, USA (Steering Committee Co-Chair) Mazin Yousif, USA (Steering Committee Co-Chair) Albert Zomaya, Australia (Steering Committee Co-Chair) Adnan Al-Anbuky, New Zealand (Steering Committee Co-Chair) Huansheng Ning, China (Steering Committee Co-Chair) Julien Bourgeois, France (Steering Committee Co-Chair)

1 0

[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

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science March 2019