- computational.science - lists.iccsa.org

Extended deadline - 5th Int. Workshop on Information Fusion for Smart Mobility Solutions
by Stephane Galland 22 Jun '18

22 Jun '18

CALL FOR PAPERS Fifth International Workshop on Information Fusion for Smart Mobility Solutions (IFSMS18) 5-8 November, 2018, Leuven, Belgium. In conjunction with the 8th International Conference on Emerging Ubiquitous Systems and Pervasive Networks EUSPN 2018. http://www.multiagent.fr/Conferences:IFSMS18 <p>The 5th International Workshop on Information Fusion for Smart Mobility Solutions (IFSMS'18) provides an international forum on the latest technologies and research in the field of smart mobility solutions. We are living in a world where cars will soon all be very well-equipped with sensors such as GPS sensors, laser radars, infrared parking sensors, rear dead angle cameras, etc. Besides that, the infrastructure itself is likely to soon exploit technologies currently widely used, like smartphones, navigators and digital radio broadcast. Finally, there have been huge advances on traffic simulation, optimization, intensive computational techniques, distributed computing, data networks, wireless connectivity, and many others. If we combine all of this, there is the richest variety ever of information sources available for smart mobility solutions. The technology is out there, and now it is needed to take firm steps towards wisely combining the sources of information into smart applic ations that make roads safer and ensure a smooth mobility of individuals.</p> <p>IFSMS 2018 will be held in Leuven, Belgium (5-8 September 2018) in conjunction with the 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2018) http://cs-conferences.acadiau.ca/euspn-18/ ----- Scope ----- The aim of the proposed workshop is to enhance profitable discussions on what techniques, software, methodologies, transportation and traffic models, and in general, data fusion techniques are being explored for its use for traffic simulation and mobility management and other intelligent transportation system applications for smart mobility. Topics of interest include (but are not limited to): - Agent-based modeling and simulation; - Data fusion and Smart Transportation; - Models of autonomous cars or flying vehicles/drones for smart transportation; - Social and emergent behavior in multi-agent systems applied to traffic and transport; - Implementation Issues (algorithmic issues, real-world computational demands, real-time constraints in the context of fusion systems for transportation infrastructures); - Environmental aware smart data fusion applications; - Advanced architectures for traffic simulation using data mining as real-world input; - Calibration and validation of agent-based models for traffic and transportation; - Role of multi-agent methodologies for complex systems; - Multi-modal routing of agents in a dynamic traffic environment. --------------- Important Dates --------------- - Submission deadline: June 30th, 2018 (extended) - Notification: August 8th, 2018 - Final date for camera-ready copy: September 8th, 2018 - Workshop: November 5th, 2018 - November 8th, 2018 --------------- Workshop Chairs --------------- - Ansar-Ul-Haque YASAR (Hasselt University, Belgium) - Stephane GALLAND (Universite Bourgogne Franche-Comté, France)

1 0

[CFP][Deadline approaching]: 14th International Workshop on Security and Trust Management (STM 2018)
by Nicholas Kolokotronis 22 Jun '18

22 Jun '18

Dear colleagues, please accept our apologies for cross-postings. ----------------------------------------------------------------------------------------------------- C a l l F o r P a p e r s 14th International Workshop on Security and Trust Management (STM 2018) Barcelona, Spain, September 6-7, 2018 www.nics.uma.es/pub/stm18 co-located with the 23rd European Symposium On Research in Computer Security (ESORICS 2018) Full-text paper submission due: June 29, 2018 ----------------------------------------------------------------------------------------------------- CONFERENCE OUTLINE: =================== STM (Security and Trust Management) is a working group of ERCIM (European Research Consortium in Informatics and Mathematics). STM 2018 is the fourteenth workshop in this series and will be held in Barcelona, Spain, in conjunction with the 23rd European Symposium On Research in Computer Security (ESORICS 2018). The workshop seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of security and trust in ICTs. Topics of interest include, but are not limited to: - Access control - Anonymity - Applied cryptography - Authentication - Complex systems security - Data and application security - Data protection - Data/system integrity - Digital rights management - Economics of security and privacy - Formal methods for security and trust - Identity management - Legal and ethical issues - Mobile security - Networked systems security - Operating systems security - Privacy - Security and trust metrics - Security and trust policies - Security and trust management architectures - Security and trust for big data - Security and trust in cloud environments - Security and trust in content delivery networks - Security and trust in crowdsourcing - Security and trust in grid computing - Security and trust in the Internet of Things - Security and trust in pervasive computing - Security and trust in services - Security and trust in social networks - Social implications of security and trust - Trust assessment and negotiation - Trust in mobile code - Trust models - Trust management policies - Trust and reputation systems - Trusted platforms - Trustworthy systems and user devices PAPER SUBMISSION: ================= All submissions should be appropriately anonymized (i.e., papers should not contain author names or affiliations, or obvious citations). Submissions should be at most 16 pages in the LNCS format, including the bibliography and well-marked appendices. All submissions must be written in English, and only PDF files will be accepted (a Latex source file will be required for the final version of accepted papers). The final version of an accepted paper must be in the format required for publication in the LNCS series. Submissions not meeting these guidelines risk rejection without consideration of their merits. Submissions are to be made to the submission web site at: https://easychair.org/conferences/?conf=stm2018. Papers must be received by the deadline of June 29, 2018 (11:59 p.m. American Samoa time). Authors of accepted papers must guarantee that their papers will be presented at the workshop. As in previous years, the proceedings are planned to be published by Springer in the Lecture Notes in Computer Science (LNCS) series. A paper submitted to STM 2018 cannot be under review for any other conference or journal during the time it is being considered for STM 2018. Furthermore, after you submit to STM 2018, you must await our response before submitting elsewhere. If you submit your paper to another conference or journal either before/after submission of the paper to STM 2018, we will reject your paper without review and will also notify the other conference/journal. This restriction applies to identical as well as to substantially similar papers. IMPORTANT DATES: ================ Paper submission due: June 29, 2018 Notification to authors: July 30, 2018 Camera-ready due: August 6, 2018 Program Chairs: =============== - Sokratis Katsikas, Open University of Cyprus and Norwegian University of Science and Technology - NTNU - Cristina Alcaraz, University of Malaga, Spain Program Committee: ================== - Ken Barker, University of Calgary, Canada - Jorge Cuellar, Siemens AG, Germany - Sabrina De Capitani di Vimercati, University of Milano, Italy - Josep Domingo-Ferrer, Universitat Roviro i Virgili, Spain - Carmen Fernández-Gago, University of Malaga, Spain - Sara Foresti, Universita degli Studi di Milano, Italy - Joaquin Garcia-Alfaro, Telecom SudParis, France - Vasileios Gkioulos, Norwegian University of Science and Technology, Norway - Ehud Gudes, Ben-Gurion University, Israel - Nicholas Kolokotronis, University of the Peloponnese, Greece - Giovanni Livraga, University of Milano, Italy - Fabio Martinelli, IIT-CNR, Italy - Sjouke Mauw, University of Luxembourg, Luxembourg - Chris Mitchell, Royal Holloway, University of London, UK - Charles Morisset, Newcastle University, UK - Günther Pernul, Universität Regensburg, Germany - Marinella Petrocchi, IIT-CNR, Italy - Silvio Ranise, FBK, Italy - Pierangela Samarati, University of Milano, Italy - Ralf Sasse, ETH Zurich, Switzerland - Daniele Sgandurra, Royal Holloway, University of London, UK - Georgios Spathoulas, University of Thessaly, Greece Publicity Chair: ================ - Nicholas Kolokotronis, University of the Peloponnese, Greece

1 0

[ICTH-2018] Extended deadline - Conference on Current and Future Trends of Information and Communication Technologies in Healthcare. Leuven, Belgium (Nov. 5-8, 2018)
by Wim Ectors 22 Jun '18

22 Jun '18

Conference: The 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare Date: November 5-8, 2018 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/icth-18/ ********************************************************************************** Important Dates ------------------ - Workshop Proposals: May 28, 2018 - Paper Submission Due: June 30, 2018 (Extended) - Author Notification: August 8, 2018 - Final Manuscript Due: September 8, 2018 Publication ------------- All ICTH 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of E-Health and Medical Communications, by IGI Global: ( http://www.igi-global.com/journal/international-journal-health-medical-comm…) ICTH 2018 will be held in conjunction with the 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSN: http://cs-conferences.acadiau.ca/euspn-18/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/icth-18/call-for-papers.html ICTH 2018 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. The conference venue will be at Park Inn (by Radisson) Hotel (Leuven), which is located right in the heart of the Leuven city. The hotel is less than 2 mins walk from the Leuven train station. All you have to do is to get off the train (or the taxi or the bus) and take the elevator to the bridge connecting the hotel with the rest of the city. Leuven city is directly connected with the Brussels International airport with a 13 min connection via train, 45 mins via bus or a 20 min by taxi (or Uber). Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- General Chair Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil Program Chairs Haroon Malik, Marshall University, USA Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium Workshops Chairs Wael M. El-Medany, University of Bahrain, Bahrain Naba Haque, KellyOCG, Belgium International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Wim Ectors, IMOB, Hasselt University, Belgium Al-Sakib Khan Pathan,Southeast University, Bangladesh Technical Program Committee Â http://cs-conferences.acadiau.ca/icth-18/program-committees.html Steering Committee Chair Â Elhadi Shakshuki, Acadia University, CanadaÂ Advisory Committee Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada

1 0

Call for Poster Contributions: CoSaS 2018
by Bartuschat, Dominik 19 Jun '18

19 Jun '18

Dear colleagues, The HPC symposium “Computational Science at Scale” CoSaS 2018 will take place in Erlangen, Germany from Wednesday, September 5 until Friday, September 7, 2018. This symposium is organized within the scope of the DFG priority programme "Software for ExaScale Computing" (SPPEXA) that addresses fundamental research on the various aspects of HPC software. The main objectives of the symposium are to review the state of art in large-scale numerical simulation with applications in science and engineering and to be a forum for the exchange of results and ideas in HPC. Specific topics of interest include, but are not limited to: Large-scale parallel applications Scalable parallel algorithms Parallel computer architectures Performance analysis, tuning, and debugging Fault tolerance The program will consist of high-level invited talks, a public evening lecture, and a poster session. This session will include a Poster Blitz (i.e. a brief presentation to promote your poster) and a Best Poster Award. Abstracts (of up to 150 words) for the posters from the HPC community are welcome and should be submitted before Friday, July 6, 2018 via https://www.cosas2018.fau.de . Important dates: July 6, 2018 poster abstract submission July 23, 2018 acceptance notification August 6, 2018 registration deadline Invited speakers (preliminary): Horst Simon - Lawrence Berkeley National Laboratory, USA Martin Berzins - University of Utah, USA Edmond Chow - Georgia Institute of Technology, Atlanta, USA Thierry Poinsot, CERFACS, Toulouse, France Program chairmen: Ulrich Ruede - University of Erlangen-Nuernberg, Germany Gerhard Wellein - University of Erlangen-Nuernberg, Germany Harald Koestler - University of Erlangen-Nuernberg, Germany Program committee: Achim Basermann - German Aerospace Center (DLR), Cologne, Germany Peter Bastian - University of Heidelberg, Germany Matthias Bolten - University of Wuppertal, Germany Hans-Joachim Bungartz, Technical University of Munich, Germany Christian Engwer - University of Muenster, Germany Dominik Goedekke - University of Stuttgart, Germany Georg Hager - University of Erlangen-Nuernberg, Germany Guido Kanschat - University of Heidelberg, Germany Axel Klawonn, University of Cologne, Germany Rolf Krause - Institute of Computational Science, Lugano, Switzerland Olaf Schenk - Institute of Computational Science, Lugano, Switzerland Stefan Turek - TU Dortmund University, Germany Gerhard Wellein - University of Erlangen-Nuernberg, Germany Gabriel Wittum - Goethe University Frankfurt, Germany Felix Wolf - TU Darmstadt, Germany Organizing committee: Dominik Bartuschat - University of Erlangen-Nuernberg, Germany Benjamin Uekermann - Technical University of Munich, Germany Alexandra Lukas-Rother - University of Erlangen-Nuernberg, Germany Iris Weiß - University of Erlangen-Nuernberg, Germany Julia Deserno - University of Erlangen-Nuernberg, Germany Frank Deserno - University of Erlangen-Nuernberg, Germany For further information, registration, and poster submission, please see our symposium website https://www.cosas2018.fau.de In case of any further questions, please do not hesitate to email us at conference-cosas2018-orga(a)fau.de We are looking forward to welcoming you at CoSaS 2018. With best regards, Dominik Bartuschat on behalf of the organizing committee

1 0

CFP: IEEE ISPA2017 (Parallel and Distributed Processing with Applications), Dec. 2018, Melbourne, Australia
by Jesson Butt 16 Jun '18

16 Jun '18

Call for papers: The 16th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2018), 11-13 Dec. 2018, Melbourne, Australia. Website: http://www.swinflow.org/confs/2018/ispa/ Key dates: Submission Deadline: August 31, 2018 (11:59pm UTC/GMT, firm) Notification: September 30, 2018 Final Manuscript Due: October 15, 2018 Submission site: http://www.swinflow.org/confs/2018/ispa/submission.htm Publication: Proceedings will be published by IEEE CS Press. Special issues: Distinguished papers will be selected for special issues in Information Sciences, Future Generation Computer Systems, Journal of Parallel and Distributed Computing, Concurrency and Computation: Practice and Experience =========== Introduction The IEEE ISPA 2018 (16th IEEE International Symposium on Parallel and Distributed Processing with Applications) is a forum for presenting leading work on parallel and distributed computing and networking, including architecture, compilers, runtime systems, applications, reliability, security, parallel programming models and much more. During the symposium, scientists and engineers in both academia and industry are invited to present their work on concurrent and parallel systems (multicore, multithreaded, heterogeneous, clustered systems, distributed systems, grids, clouds, and large scale machines). The 16th IEEE ISPA follows the tradition of previous successful IEEE ISPA conferences in the years from 2003 to 2017 in Asia, Europe, Australia and North America. It will feature sessions of regular presentations, workshops, tutorials and keynote speeches. IEEE ISPA 2018 is sponsored by the IEEE Technical Committee on Scalable Computing (TCSC) and the IEEE Computer Society. IEEE ISPA is particularly interested in research addressing heterogeneous computing with the use of accelerators, mobile computing, approximate computing, tools and methodologies to improve the quality of parallel programming and applying generic computing approaches to networks, in particular Software Defined networking and its applications. Scope and Topics *(1) Systems and Architectures Track* - Cloud computing and data center technology - Migration of computations - Multi-clouds environments, cloud federation, interoperability - Energy management and Green Computing - Wireless and mobile networks - Internet-Of-Things (IoT) - Social Networks, crowdsourcing, and P2P systems *(2) Technologies and Tools Track* - Building block processors: FPGA, multicore, GPU, NoC, SoC - Parallel and distributed algorithms - Tools/environments for parallel/distributed software development - Novel parallel programming paradigms - Programming models for cloud services and applications - Code generation and optimization - Compilers for parallel computers - Middleware and tools - Scheduling and resource management - Performance simulations, measurement, and evaluations - Reliability, fault tolerance, dependability, and security *(3) Applications Track* - High-performance scientific and engineering computing - Grid and cluster computing - Pervasive and ubiquitous computing - Databases, data mining, and data management - Big data and business analytics - Scientific cloud systems and services - Internet computing and web services - Application scenarios of IoT and ubiquitous computing - Experience with computational, workflow and data-intensive applications - Software Defined Networks and its applications Submission Guidelines Submissions must include an abstract, keywords, the e-mail address of the corresponding author and should not exceed 8 pages for main conference, including tables and figures in IEEE CS format. The template files for LATEX or WORD can be downloaded here. All paper submissions must represent original and unpublished work. Each submission will be peer reviewed by at least three program committee members. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will register for the conference and present the work. Submit your paper(s) in PDF file at the submission site: http://www.swinflow.org/confs/2018/ispa/submission.htm. Publications Accepted and presented papers will be included into the IEEE Conference Proceedings published by IEEE CS Press. Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference, otherwise their papers may be removed from the digital libraries of IEEE CS and EI after the conference. Distinguished papers will be selected for special issues in Information Sciences, Future Generation Computer Systems, Journal of Parallel and Distributed Computing, Concurrency and Computation: Practice and Experience. Honorary Chairs Wanlei Zhou, Deakin University, Australia Albert Zomaya, The University of Sydney, Australia General Chairs Geoffrey Fox, Indiana University, USA Beniamino Di Martino, Universita' della Campania "Luigi Vanvitelli", Italy Laurence Yang, St. Francis Xavier University, Canada Program Chairs Mianxiong Dong, Muroran Institute of Technology, Japan Rajiv Ranjan, Newcastle University, UK Massimo Cafaro, University of Salento, Lecce, Italy Workshop Chairs Young Choon Lee, Macquarie University, Australia Wei Zheng, Xiamen University, China

1 0

Postdoc Position: Trustable Robotics and Autonomous Systems
by Huascar Espinoza 14 Jun '18

14 Jun '18

Trustable Robotics and Autonomous Systems http://www-instn.cea.fr/en/education-and-training/research-training/post-do… CONTEXT ------- The LSEA (Embedded and Autonomous Systems Design Laboratory) is working on methods, design principles and tools for the engineering of efficient and trustworthy software for embedded and autonomous systems. The laboratory has a recognized expertise in the field of model-based design of safety-critical systems, and has initiated an upstream work for the mastery of advanced technologies of safe self-adaptation and integration of trustworthy autonomy in critical systems. The lab plays an important role in standardization groups like AUTOSAR in the automotive domain as well as in the OMG (Object Management Group) standardization body responsible for the UML, SysML and MARTE standards, and contributes to the Eclipse open source model-based development platform Papyrus (www.eclipse.org/papyrus). Lab members are strongly involved in various industrial projects as well as collaborative French and European research projects for the development of model-based approaches for the design of autonomous real-time systems for robotics, automotive, railway, aerospace and smart energy systems. WORK DESCRIPTION ---------------- The complexity of robotics and autonomous systems (RAS) can only be managed with well-designed software architectures and integrated tool chains that support the entire development process. Model-driven engineering (MDE) is an approach that allows RAS developers to shift their focus from implementation to the domain knowledge space and to promote efficiency, flexibility and separation of concerns for different development stakeholders. One key goal of MDE approaches is to be integrated with available development infrastructures from the RAS community, such as ROS middleware, OROCOS for real-time control, OpenCV for computer vision, or Gazebo for simulation. These RAS platforms embrace communities of hundreds of stakeholders, which need to be preserved and strengthened. However, these communities are still rather fragmented, by representing specific technologies. To strengthen these platforms, to enable interconnections between them, and also between new ones e.g. Artificial Intelligence (AI)-based technologies, CEA envisions a model-driven approach built on top of the current code-centric platforms. To do so, the H2020 RobMoSys project (www.robmosys.eu), coordinated by CEA, is establishing the first EU Digital Industrial Platform for Model-Driven Development of Robotics Systems. To address the robotics domain according to the RobMoSys methodology and structures, a set of CEA tools are being collected under the Papyrus4Robotics [1] [2] [3] umbrella. This project is strategic for the LSEA laboratory and the DILS department. The goal of this post-doc is to investigate and develop modular/compositional and predictable software architectures and interoperable design tools based on model-based (instead of code-centric) approaches. The work must be performed in the context of the RobMoSys project and other initiatives on assurance of robotics and autonomous systems. The main industrial goal is to simplify the effort of RAS engineers and thus allowing the development of more advanced, more complex autonomous systems at an affordable cost. In order to do so, the postdoctoral fellow will contribute to set-up and consolidate a vibrant ecosystem, tool-chain and community that will provide a unified model-based design, simulation, safety assessment and formal validation and verification environment. PROFILE ------- You did a PhD in the area of Software-intensive Systems Engineering not longer than two years ago. You have knowledge and expertise in developing tools for engineering embedded systems in any safety-critical industrial sector (e.g., energy, transport, health, or manufacturing). You are familiar with design methods, tools and middleware for the modelling, deployment, simulation of robotics software systems. You are aware of open software initiatives and you actively ensure that you remain aware of the latest developments in state-of-the art software technology. You are familiar with technology areas such as: • (Mandatory) Programming skills in languages such as Java, C and C++ • (Mandatory) Software modelling and transformation techniques: metamodeling, UML • (Highly Desirable) Knowledge of state-of-the-art software development environments and tools, in particular Eclipse: EMF, GMF • (Highly Desirable) ROS, Gazebo and related robotics technologies • (Desirable) knowledge on Artificial Intelligence: Machine/Deep Learning The age limit is 30 years old for post-doc offers. APPLICATION DOCUMENTS --------------------- Send the following documents to huascar.espinoza(a)cea.fr • Detailed CV • Motivation letter • Recommendation letters CONTACT PERSON -------------- Huascar ESPINOZA ORTIZ CEA LIST - PC 174 91191 Gif-sur-Yvette France Email: huascar.espinoza(a)cea.fr START DATE AND DURATION ----------------------- Start as soon as possible. Post-Doc positions last one year and can be renewed once only (for 1 year). [1] Kchir, S., Dhouib, S., Tatibouet, J., Gradoussoff, B., & Simoes, M. D. S. (2016, September). RobotML for industrial robots: Design and simulation of manipulation scenarios. In Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on (pp. 1-8). IEEE. [2] Nataliya Yakymets, Yupanqui Munoz Julho, Agnes Lanusse. Sophia framework for model-based safety analysis. Congrès Lambda Mu de maîtrise des risques et de sûreté de fonctionnement, October 21-23, Dijon, France, 2014 [3] Mahmoud Hussein, Réda Nouacer, Ansgar Radermacher, "Safe adaptation of vehicle software systems”, Microprocessors and Microsystems - Embedded Hardware Design 52: 272-286 (2017).

1 0

Call for papers: IEEE SC2 2018 (Paris, France, November 6-9, 2018)
by Robert, Ching-Hsien Hsu 14 Jun '18

14 Jun '18

The 8th IEEE International Symposium on Cloud and Service Computing Paris, France, November 6-9, 2018 http://lipn.univ-paris13.fr/~cerin/sc2iovsoca2018.html Dear Colleagues: We cordially invite you to share your latest research results at the 2018 IEEE SC2 Conference. --------------------------- CALL FOR PAPERS --------------------------- The “Cloud” is a natural evolution of distributed computing and the widespread adaption of virtualization and Service-Oriented Architecture (SOA). Services computing is a new cross-discipline subject that covers the science and technology needed to bridge the gap between business services and IT services. In cloud computing, IT-related capabilities and resources are provided as services, via the Internet and on-demand, accessible without requiring detailed knowledge of the underlying technology. SC2 2018 is an important forum for researchers and industry practitioners to exchange information regarding advancements in the state of art and practice of IT-driven cloud computing technologies and services, as well as to identify emerging research topics and define the future directions of cloud and services computing. IEEE SC2 2018 will be held on Nov. 6-9, 2018 in Paris, France. Topics of interest include, but are not limited to: - Cloud architecture - Cloud OS, middleware, and toolkits - Storage architecture - Big data infrastructure, systems, methodologies, and applications - Virtualization techniques - Resource provision, monitoring, and scheduling - Privacy and access control for cloud computing - Performance evaluation and modeling measurement for cloud computing - Programming models for building cloud applications - Networking in cloud computing - Security, privacy and trustworthy in clouds - Security, privacy and trustworthy for service oriented architectures and systems - Energy efficient hardware and software solutions - High availability and reliability - Large scale cloud applications - Internet/web computing and data mining - Volunteer and utility computing - Green and pervasive computing - Service oriented architecture - Discovery of services and data in cloud computing infrastructures - Foundations of services computing - Services-centric business models - Business process integration and management --------------------------------------- PUBLICATION HIGHLIGHTS --------------------------------------- IEEE CS proceedings, indexed by - IEEE Xplore - Scopus - Compendex EI - ACM Digital Library - DBLP - Google Scholar Extended version of the selected papers will be invited for publication in prestigious international journals. Cluster Computing (Springer) Journal of Supercomputing (Springer) Vehicular Communications Journal International Journal of Big Data Intelligence International Journal of Grid and High-Performance Computing Journal of Foundations of Computing and Decision Sciences International Journal of Applied Mathematics and Computer Science IEEE Transactions on Emerging Topics in Computing ------------------------ IMPORTANT DATES ------------------------ Workshop/Special Session Proposal Paper Submission Deadline July 14, 2018 Acceptance Notification August 15, 2018 Registration Deadline September 15, 2018 Camera-Ready Submission September 15, 2018 ------------------------------------------ PAPER FORMAT AND SUBMISSION ------------------------------------------ Authors are invited to submit their original research work that has not previously been submitted or published in any other venue. Papers should be prepared in IEEE format and submitted via the SC2 2018 submission site : https://easychair.org/conferences/?conf=sc22018 Research paper (8 pages) should explore a specific technology problem and propose a complete solution to it, with experimental results. Works-in-Progess (WIP) (6 pages) papers are expected to present either work currently in progress or less developed but highly innovative ideas. Demo/Poster papers (4 pages) must describe working systems and be related to SC2. These systems may be innovative prototype implementations or mature systems that use related technology. Papers/proposals need to be submitted to the Demo/Poster track. Workshop and Special Session papers (6 pages) need to be submitted to the corresponding workshops and special sessions. --------------------------------------------- SUBMISSION and PUBLICATION --------------------------------------------- Papers need to be prepared according to the IEEE format, and submitted in PDF format via the IEEE SC2 2017 submission site: https://easychair.org/conferences/?conf=sc22017 IEEE formatting information: http://www.ieee.org/conferences_events/conferences/publishing/templates.html ---------------------------------- ORGANIZING COMMITTEES ---------------------------------- GENERAL CHAIRS Omer Rana, Cardiff university, UK Daqing Zhang, Institute Mines-Télécom/Télécom SudParis, France GENERAL EXECUTIVE CHAIR Christophe Cérin, Université Paris 13 Anna Kobusinska, Poznan University of Technology, Poland PROGRAM CHAIRS Shu Tao, IBM Research, USA Pascal Bouvry, Univ. of Luxembourg, Luxembourg PUBLICATION CHAIR Jonathan Lejeune, Sorbonne Université STEERING COMMITTEE Hamid Arabnia, The University of Georgia, USA Rajkumar Buyya, University of Melbourne, Australia Robert Hsu, Chung Hua University, Taiwan Chung-Ta King, National Tsing Hua University, Taiwan H. J. Siegel, Colorado State University, USA Philip Yu, University of Illinois at Chicago, USA LOCAL ORGANIZING COMMITTEE Christophe Cérin, Université Paris 13 Hanene Azzag, Université Paris 13 Leila Abidi, Université Paris 13 Jonathan Lejeune, Sorbonne Université Mustapha Lebbah Université Paris 13 Arnaud Kaiser, IRT SystemX Kais Klay, Université Paris 13 Tarek Menouer, Université Paris 13 Sondes Khemiri-Kallel, Université Versailles St Quentin Walid Gaaloul, Télécom Sudparis, Evry Khaled Boussetta, Université Paris 13 Nadjib Achir, Université Paris 13

1 0

CFP: 13th Workflows in Support of Large-Scale Science (WORKS) Workshop
by Pietri Ilia 13 Jun '18

13 Jun '18

********** WORKS 2018 Workshop ********** Workflows in Support of Large-Scale Science Workshop http://works.cs.cardiff.ac.uk/ Sunday 11 November 2018, Dallas, TX. Held in conjunction with SC18, http://sc18.supercomputing.org/ Paper submission deadline: 30 July 2018 ***************************************** Call For Papers Data-intensive workflows (a.k.a. scientific workflows) are routinely used in most scientific disciplines today, especially in the context of high-performance, parallel and distributed computing. They provide a systematic way of describing a complex scientific process and rely on sophisticated workflow management systems to execute on a variety of parallel and distributed resources. With the dramatic increase of raw data volume in every domain, they play an even more critical role to assist scientists in organizing and processing their data and to leverage HPC or HTC resources, being at the interface between end-users and computing infrastructures. This workshop focuses on the many facets of data-intensive workflow management systems, ranging from actual execution to service management and the coordination and optimization of data, service and job dependencies. The workshop covers a broad range of issues in the scientific workflow lifecycle that include: data-intensive workflows representation and enactment; designing workflow composition interfaces; workflow mapping techniques to optimize the execution of the workflow for different infrastructures; workflow enactment engines that need to deal with failures in the application and execution environment; and a number of computer science problems related to scientific workflows such as semantic technologies, compiler methods, scheduling and fault detection and tolerance. The topics of the workshop include but are not limited to: Big Data analytics workflows Data-driven workflow processing (including stream-based workflows) Workflow composition, tools, and languages Workflow execution in distributed environments (including HPC, clouds, and grids) Reproducible computational research using workflows Dynamic data dependent workflow systems solutions Exascale computing with workflows In Situ Data Analytics Workflows Interactive workflows (including workflow steering) Workflow fault-tolerance and recovery techniques Workflow user environments, including portals Workflow applications and their requirements Adaptive workflows Workflow optimizations (including scheduling and energy efficiency) Performance analysis of workflows Workflow debugging Workflow provenance Workflows in constrained environments e.g. IoT, Edge computing, etc. ***************************************** Important Dates Papers due: 30 July 2018 Paper acceptance notification: 9 September 2018 E-copyright registration completed by authors: 1 October 2018 Camera-ready deadline: 1 October 2018 Submitted papers must be at most 10 pages long. The proceedings should be formatted according to the IEEE format (see https://www.ieee.org/conferences/publishing/templates.html). The 10-page limit includes figures, tables, and appendices, but does not include references, for which there is no page limit. WORKS papers will be published in cooperation with TCHPC and will be available from IEEE digital repository. ***************************************** WORKS 2018 Organizing Committee – PC Chairs Sandra Gesing, University of Notre Dame, USA Rafael Ferreira da Silva, University of Southern California, USA – General Chair Ian J. Taylor, Cardiff University, UK and University of Notre Dame, USA – Steering Committee David Abramson, University of Queensland, Australia Malcolm Atkinson, University of Edinburgh, UK Ewa Deelman, USC, USA Michela Taufer, U Delaware, USA – Publicity Chairs Ilia Pietri, Intracom SA Telecom Solutions, Greece Hoang Anh Nguyen, University of Queensland, Australia ***************************************** WORKS 2018 Program Committee (Tentative) Pinar Alper, King's College London, UK Ilkay Altintas, San Diego Supercomputer Center, USA Khalid Belhajjame, Universit. Paris-Dauphine, France Adam Belloum, University of Amsterdam, the Netherlands Ivona Brandic, TU Wien, Austria Kris Bubendorfer, Victoria University of Wellington, New Zealand Jesus Carretero, Universidad Carlos III de Madrid, Spain Henri Casanova, University of Hawaii at Manoa, USA Ewa Deelman, USC Information Sciences Institute, USA Rafael Ferreira Da Silva, USC Information Sciences Institute, USA Daniel Garijo, USC Information Sciences Institute, USA Sandra Gesing, University of Notre Dame, USA Tristan Glatard, CNRS, France Daniel Katz, University of Illinois Urbana-Champaign, USA Tamas Kiss, University of Westminster, UK Dagmar Krefting, HTW Berlin, Germany Maciej Malawski, AGH University of Science and Technology, Poland Anirban Mandal, Renaissance Computing Institute, USA Marta Mattoso, Federal Univ. Rio de Janeiro, Brazil Andrew Stephen Mcgough, Newcastle University, UK Paolo Missier, Newcastle University, UK Jarek Nabrzyski, University of Notre Dame, USA Daniel de Oliveira, Fluminense Federal University, Brazil Ilia Pietri, Intracom SA Telecom Solutions, Greece Radu Prodan, University of Innsbruck, Austria Omer Rana, Cardiff University, UK Ivan Rodero, Rutgers University, USA Rizos Sakellariou, University of Manchester, UK Domenico Talia, University of Calabria, Italy Rafael Tolosana-Calasanz, Universidad de Zaragoza, Spain Chase Wu, New Jersey Institute of Technology, USA

1 0

Press Release - Reliable Software Technologies, Ada-Europe 2018
by Dirk Craeynest 12 Jun '18

12 Jun '18

----------------------------------------------------------------------- FINAL Call for Participation *** UPDATED Program Summary *** 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 18-22 June 2018, Lisbon, Portugal http://www.ada-europe.org/conference2018 *** Check out tutorials and workshops! *** *** Full Program available on conference web site *** *** Online proceedings available at event *** *** Register now! *** ----------------------------------------------------------------------- Press release: 23rd Ada-Europe Conference on Reliable Software Technologies International experts meet in Lisbon Lisbon, Portugal (12 June 2018) - The University Lisboa and Ada-Europe organize from 18 to 22 June 2018 the "23rd International Conference on Reliable Software Technologies - Ada-Europe 2018" in Lisbon, Portugal. The event is organized in cooperation with the Ada Resource Association (ARA), and with ACM's Special Interest Groups on Ada (SIGAda), on Embedded Systems (SIGBED) and on Programming Languages (SIGPLAN). The Ada-Europe series of conferences has over the years become a leading international forum for providers, practitioners and researchers in reliable software technologies. These events highlight the increased relevance of Ada in general and in safety- and security-critical systems in particular, and provide a unique opportunity for interaction and collaboration between academics and industrial practitioners. This year's conference offers two days of parallel tutorials and workshops, three keynotes, a full technical program of refereed papers and industrial presentations, an industrial exhibition and vendor presentations, and a social program. Eight excellent tutorials on Monday and Friday cover a broad range of topics: Recent Developments in SPARK 2014; Scheduling analysis of AADL architecture models; Access types and memory management in Ada 2012; Numerics for the Non-Numerical Analyst; Writing Contracts in Ada; Introduction to Libadalang; Unit-testing with Ahven; Frama-C, a Framework for Analysing C Code. In addition, on Monday the conference hosts the new workshop on "Runtime Verification and Monitoring Technologies for Embedded Systems" (RUME 2018), and on Friday for the 5th consecutive year the workshop on "Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering" (DeCPS 2018). Three eminent keynote speakers have been invited to open each day of the core conference program. Paulo Esteves-Veríssimo (University of Luxembourg, Luxembourg), on "Security and Dependability Challenges of Information Technology (IT) and Operational Technology (OT) Integration". Carl Brandon (Vermont Technical College, USA), on "From Physicist to Rocket Scientist, and how to make a CubeSat that works". Erhard Plödereder (University of Stuttgart, Germany), on "Vulnerabilities in Safety, Security, and Privacy". The technical program presents 10 refereed and carefully selected technical papers and 4 presentations on the latest research, new tools, applications and industrial practice and experience, a collection of 12 industrial presentations reflecting current practice and challenges, and vendor presentations. Springer Verlag publishes all peer-reviewed papers in the proceedings of the conference, as LNCS Vol. 10873. The remainder of the proceedings will be published in the Ada User Journal, the quarterly magazine of Ada-Europe. The industrial exhibition opens Tuesday morning in the networking area and runs until the end of Thursday afternoon. Exhibitors include AdaCore, PTC Developer Tools, Rapita Systems, and Ada-Europe. The social program includes on Tuesday evening a Welcome Reception on board of modern catamaran, to see Lisbon from a different perspective and watch the sunset from the Tagus river. On Wednesday evening will be the traditional Ada-Europe Conference Banquet, held at the restaurant "A Casa do Bacalhau", which means "The House of the Codfish", located in the old stables of the Duke of Lafões palace. Each day, coffee breaks in the exhibition area and sit-down lunches offer ample time for interaction and networking. The Best Paper Award will be presented during the Conference Banquet, the Best Presentation Award during the Closing session. The conference is hosted by Univ. Lisboa at the VIP Executive Art's Hotel, strategically located in the Parque das Nações area, Lisbon's modern business centre, close to the Tagus river and the Vasco da Gama bridge, and can easily be accessed by metro. The full program is available on the conference web site. Online registration is still possible. ------- Latest updates: The 16-page "Final Program" is available at <http://www.ada-europe.org/conference2018/AdaEurope2018%20Final%20Program.pdf> Check out the 8 tutorials in the PDF program, or in the schedule at <http://www.ada-europe.org/conference2018/tutorials.html>. Registration fees are very reasonable and the registration process is done on-line. Don't delay! For all details, select "Registration" at <http://www.ada-europe.org/conference2018> or go directly to <http://ae2018.di.fc.ul.pt/registration.html>. The proceedings, published by Springer Verlag as Lecture Notes in Computer Science Vol. 10873, are already available online. See <https://link.springer.com/book/10.1007/978-3-319-92432-8>. A printed copy is included in every full conference registration. Help promote the conference by advertising for it! <http://www.ada-europe.org/conference2018/promotion.html>. Put up the poster at <http://www.ada-europe.org/conference2018/picts/AE2018_poster.png>. Recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2018. For the latest information consult the conference web site <http://www.ada-europe.org/conference2018>. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk.Craeynest(a)cs.kuleuven.be, Ada-Europe'2018 Publicity Chair *** 23rd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2018 *** June 18-22, 2018 ** Lisbon, Portugal *** http://www.ada-europe.org

1 0

Deadline extended: CIBB 2018 - Special Session on Modeling and Simulation Methods for Systems Biology and Systems Medicine
by chiara damiani 09 Jun '18

09 Jun '18

[Apologies for cross-posting. Please kindly disseminate this call to your colleagues and contacts] ***Special Session on Modeling and Simulation Methods for Systems Biology and Systems Medicine*** hosted by CIBB 2018 <http://eventos.fct.unl.pt/cibb2018/>, 15th International Conference on Computational Intelligence methods for Bioinformatics and Biostatistics 6-8 September 2018, Caparica, Portugal ---------------------------------------------------------------------------------- Paper Submission Deadline: 10 June 2018 24 June 2018 ---------------------------------------------------------------------------------- CALL FOR PAPERS Systems Biology deals with the analysis of natural systems at different scales of complexity, requiring completely different modeling frameworks and computational methods. Given that Systems Biology approaches are becoming well established, the challenge is now to apply the developed techniques towards the definition of personalized models in order to identify individually tailored drugs and treatments; i.e. to realize the Personalized Medicine paradigm. The scope of this special session is to bring together researchers involved in the development of methods applied to the fields of Systems Biology and Systems Medicine. Topics of interest include, but are not limited to: analysis of robustness of cellular networks   biomedical model parameterization cancer progression models clinical image analysis emergent properties in complex biological systems   flux balance analysis   metabolic engineering   metabolic pathway analysis   model verification and refinement methods   models of neural activity multiscale modelling and simulation of biological systems   parameter estimation methods personalized models reverse engineering of reaction networks   software tools for systems biology   spatiotemporal modelling and simulation of biological systems IMPORTANT DATES Paper submission deadline: 10 June 2018 24 June 2018 Acceptance notification: 9 July 2018 19 July 2018 Author registration due: 20 July 2018 25 July 2018 Camera ready due: 29 July 2018 Conference: 6-8 September 2018 PROCEEDINGS Pdf versions of accepted papers will be distributed at the conference. At least one author of an accepted paper is required to register and present their paper at the conference. Authors of accepted papers will be invited to submit an extended version of their work to a post-conference monograph. We plan to invite all papers for a volume in the Springer series of Lecture Notes in Bioinformatics (LNBI). Continuing the tradition of CIBB, we are also planning to invite the best papers, as an alternative to the publication on LNBI, to a special issue of an international scientific journal (such as BMC Bioinformatics, as in the latest editions). PAPER SUBMISSION Instructions for submission can be found here <http://eventos.fct.unl.pt/cibb2018/pages/call-papers> SESSION CHAIRS Chiara Damiani, University of Milano-Bicocca, Italy Marco S. Nobile, University of Milano-Bicocca, Italy Giancarlo Mauri, University of Milano-Bicocca, Italy Alex Graudenzi, University of Milano-Bicocca, Italy Marzia Di Filippo, University of Milano-Bicocca, Italy Dario Pescini, University of Milano-Bicocca, Italy CONTACT Chiara Damiani, PhD Department of Informatics, Systems and Communication, University of Milan-Bicocca mail: chiara.damiani(a)unimib.it <mailto:chiara.damiani@unimib.it> phone: +39 02 64487918 Chiara Damiani, Ph.D. Department of Informatics, Systems and Communication University of Milan Bicocca Building U14 - Room 1002 - Viale Sarca 336I-20126 - Milan (MI) - phone: +39 02 64487918 mail: chiara.damiani(a)unimib.it <mailto:chiara.damiani@unimib.it> Chiara Damiani, Ph.D. Department of Informatics, Systems and Communication University of Milan Bicocca Building U14 - Room 1002 - Viale Sarca 336I-20126 - Milan (MI) - phone: +39 02 64487918 mail: chiara.damiani(a)unimib.it <mailto:chiara.damiani@unimib.it>

1 0

Submission deadlines extended: IEEE HiPC 2018 (papers due June 25)
by Anand Panangadan 08 Jun '18

08 Jun '18

25th IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC 2018) December 17-20, 2018 Bengaluru, India http://www.hipc.org IMPORTANT DATES FOR HiPC 2018 • Paper Abstract Submission: Monday, *June 18, 2018 (extended)* • Paper Submission Deadline: Monday, *June 25, 2018 (extended)* • Author Notifications for Rebuttal: Friday, August 10, 2018 • Author Rebuttal Response Due: Friday, August 24, 2018 • Acceptance/Rejection Notification: Friday, September 7, 2018 • Camera Ready paper Submission Due: Wednesday, October 3, 2018 Full information on what/where to submit is available at http://hipc.org/call-for-papers/ 2018 marks the Silver Anniversary of HiPC as we broaden the technical program to specifically include topics related to data science. The conference addresses a broad list of topics in three tracks: • Algorithms • Architectures • Applications CALL FOR WORKSHOP PAPERS Complementing the main technical program, HiPC workshops serve to broaden the technical scope of the conference in emerging areas of high performance computing, communication, data and analytics and their applications. Below is the listing of the workshops to be held on the first day of the conference, December 17. • Fourth Workshop on Computational Fluid Dynamics (CFD) • Workshop on Artificial Intelligence Meets Blockchain (AIMB) • First Workshop on the Convergence of High Performance Computing and Artificial Intelligence • Women in Data Science and High Performance Computing • Parallel Fast Fourier Transforms See details at http://hipc.org/workshops for workshop paper submission deadlines and formatting requirements. ------------------------------------------------------------------------------------------------ Follow us on Twitter https://twitter.com/hipcconf Google+ https://plus.google.com/+HipcOrg Facebook https://www.facebook.com/hipc.conference/ LinkedIn https://www.linkedin.com/groups/53197/profile ------------------------------------------------------------------------------------------------

1 0

(CALL FOR PAPERS) PAW-ATM: Parallel Applications Workshop, Alternatives To MPI
by Morris, Karla NMN 07 Jun '18

07 Jun '18

************************************************ Call for Papers PAW-ATM: Parallel Applications Workshop, Alternatives To MPI Held in conjunction with SC 18, Dallas, TX In cooperation with: IEEE and TCHPC <http://sourceryinstitute.github.io/PAW/> ************************************************ Summary As high-performance computing hardware incorporates increasing levels of heterogeneity, hierarchical organization, and complexity, parallel programming techniques necessarily grow in complexity or in their ability to abstract away complexity. The concurrent development of multi- and many-core processors, deep memory hierarchies, and accelerators and the variety of ways to combine these makes the low-level language route unmanageable for domain experts tasked with developing applications. The technologies that a competent developer might be expected to master and combine include MPI plus CUDA, OpenMP, and OpenACC, most commonly denoted MPI + X. This approach inherently saddles the developer with low-level details that might better be handled by high-level abstractions. Higher-level parallel programming models offer rich sets of abstractions that feel natural in the intended applications. Such languages and tools include (Fortran, UPC, Julia), systems for large-scale data processing and analytics (Spark, Tensorflow, Dask), and frameworks and libraries that extend existing languages (Charm++, Unified Parallel C++ (UPC++), Coarray C++, HPX, Legion, Global Arrays). While there are tremendous differences between these approaches, all strive to support better programmer abstractions for concerns such as data parallelism, task parallelism, dynamic load balancing, and data placement across the memory hierarchy. This workshop will bring together applications experts who will present concrete practical examples of using such alternatives to MPI in order to illustrate the benefits of high-level approaches to scalable programming. The workshop expands upon the two similar workshops, PAW16 and PAW17, by broadening the theme beyond partitioned global address space languages. We invite you to take part in the Parallel Applications Workshop, Alternatives To MPI, and to join this vibrant and diverse community of researchers and developers. Scope and Aims The scope of the PAW-ATM workshop is to provide a forum for exhibiting case studies of higher-level programming models as MPI alternatives in the context of applications as a means of better understanding applications of MPI alternatives. We encourage the submission of papers and talks detailing such applications, including characterizations of scalability and performance, of expressiveness and programmability, as well as any downsides or areas for improvement in existing higher-level programming models. In addition to informing other application programmers about the potential that is available through MPI alternatives, the workshop is designed to communicate these experiences to compiler vendors, library developers, and system architects in order to achieve broader support for high-level approaches to scalable programming. We also specifically encourage submissions covering big data analytics, deep learning, and other novel and emerging application areas, beyond well-established HPC domains. Topics include, but are not limited to: * Novel application development using parallel programming languages. * Examples that demonstrate performance, compiler optimization, error checking, and reduced software complexity. * Applications from big data analytics, bioinformatics, and other novel areas. * Performance evaluation of applications developed using MPI alternatives. * Algorithmic models enabled by high-level parallel abstractions. * Experience with the use of new compiler and runtime environments. * Libraries using or supporting MPI alternatives. * Benefits of hardware abstraction and data locality on algorithm implementation. Submissions Submissions are solicited in two categories: Full-length papers presenting novel research results: * Full-length papers will be published in the workshop proceedings in cooperation with IEEE TCHPC. Submitted papers must be original work that has not appeared in and is not under consideration for another conference or a journal. Papers shall not exceed ten (10) pages including text, appendices, and figures. Appendix pages related to the reproducibility initiative not included. Extended abstracts summarizing published/preliminary results: * Extended abstracts will be evaluated separately and will not be included in the published proceedings; they are intended for timely communications of novel work that is going to be formally submitted elsewhere at a later stage, and/or of already published work that is nonetheless deemed appropriate for dissemination in this venue. Extended abstracts shall not exceed four (4) pages. Preferential treatment will be given to full-length paper submissions. Accepted full-length papers will be given longer presentation slots at the workshop than the abstract-only option. Submissions shall be submitted through Linklings ( https://submissions.supercomputing.org ). Submissions must use 10pt fonts in the IEEE format ( https://www.ieee.org/conferences/publishing/templates.html ). The page limit (8 pages minimum for publication) includes figures, tables, and your appendices, but does not include references, for which there is no page limit. Reproducibility initiative dependencies (Artifact Description or Computational Results Analysis) are also not included in the page limit. PAW-ATM follows the reproducibility initiative of SC18, please refer to http://sourceryinstitute.github.io/PAW/ for additional information. WORKSHOP CHAIR * Karla Morris - Sandia National Laboratory ORGANIZING COMMITTEE * Bradford L. Chamberlain - Cray Inc. * Salvatore Filippone - Cranfield University * Costin Iancu - Lawrence Berkeley National Laboratory PROGRAM COMMITTEE CHAIR * Bill Long - Cray Inc. PROGRAM COMMITTEE * Bradford L. Chamberlain - Cray Inc. * Valentin Churavy - Massachusetts Institute of Technology * Salvatore Filippone - Cranfield University, UK * Alex Gittens - Rensselaer Polytechnic Institute * Costin Iancu - Lawrence Berkeley National Laboratory * Hartmut Kaiser - Louisiana State University * Laxmikant Kale - University of Illinois * Seung-Hwan Lim - Oak Ridge National Laboratory * Bill Long - Cray Inc. * Karla Morris - Sandia National Laboratories * Mitsuhisa Sato - RIKEN Advanced Institute for Computational Science * Sean Treichler - NVIDIA * Jeremiah J. Wilke - Sandia National Laboratories ADVISORY COMMITTEE * Damian W. I. Rouson - Sourcery Institute * Katherine A. Yelick - Lawrence Berkeley National Laboratory IMPORTANT DATES: * Submission Deadline: July 31, 2018 * Author Notification: September 1, 2018 * Camera Ready: October 1, 2018 * Workshop Date: November 11--16, 2018

1 0

CFP for ICPADS 2018
by sidharta andalam 05 Jun '18

05 Jun '18

*Apologies if you receive multiple copies of this call for papers* Call for Papers Established in 1992, ICPADS has been a major international forum for scientists and engineers to exchange and share new ideas and their latest research results regarding systems that are inherently parallel and/or distributed. The 24th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2018) will be held in Singapore in December 2018. The conference provides an international forum for scientists, engineers and users to exchange and share their experiences, new ideas, and latest research results on all aspects of parallel and distributed systems. Contributions are solicited in all areas of parallel and distributed systems research and applications. Singapore is a global city and thriving international financial hub attracting international tech companies and is accompanied by a vibrant and successful start-up culture. Related to ICPADS, Singapore’s Smart Nation uses technology to provide a smart infrastructure that enables visitors to enjoy its many sites and attractions in a safe, clean and green environment. Topics of Interest Original, unpublished contributions are solicited covering the general aspects of parallel and distributed systems. Topics of interest include, but are not limited to: · Parallel and Distributed Applications and Algorithms · Cloud OS, Middleware, Toolkits, and Applications · Data Intensive Computing and Data Centre Architecture · Big Data Platforms · High Performance Computational Biology and Bioinformatics · Power-Aware and Green Computing · Security and Privacy · Dependable and Trustworthy Computing and Systems · Internet of Things · Fog/Edge Computing · Cyber-Physical Systems and Sensor Networks · Embedded systems · Real-Time and Multimedia Systems · Operating Systems, Distributed and Parallel Systems · Communication and Networking Systems · Ubiquitous and Mobile Computing · Peer-to-Peer Computing · Multi-Core and Multithreaded Architectures · Virtualization Techniques · Resource Provision, Management, and Scheduling · Cluster and Grid Computing · Web-Based Computing and Service-oriented Architecture · Performance Modelling and Evaluation Submission (https://easychair.org/conferences/?conf=icpads2018) Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Submissions should include author information, abstract, 5-10 keywords, and be in PDF format. Each submission must not exceed 10 pages in the IEEE 8.5" x 11" two-column format with 10 point font, including tables, figures and references. The final version will be limited to 8 pages in IEEE proceeding format for conference papers. Up to 2 extra pages may be purchased. Each submission should be regarded as an undertaking that, should the submission be accepted, at least one of the authors must register the paper and attend the conference to present the work in order for the accepted paper to be included into the IEEE digital library. Papers accepted for ICPADS 2018 conference will be published by the IEEE Computer Society Press. All accepted papers will be included in IEEE Xplore and indexed by EI. Best Paper Award will be presented in the conference. Important Dates · *On-line submission system open:* 20 May, 2018 · *Deadline for paper submissions:* 13 July, 2018 · *Notification of paper acceptance:* 01 September, 2018 · *Deadline of camera-ready version:* 25 September, 2018

1 0

[Deadline Extended] CFP - PBio 2018, EuroMPI Workshop (In-Cooperation with ACM SIGHPC) + Special Issue in Journal of Supercomputing (Springer, IF: 1.326, Q2)
by Miguel A. Vega-Rodriguez 02 Jun '18

02 Jun '18

Call for Papers --- PBio 2018, EuroMPI Workshop: 6th International Workshop on Parallelism in Bioinformatics + In-Cooperation with ACM SIGHPC + Proceedings published by ACM Digital Library within its International Conference Proceedings Series (ICPS) + Special Issue in the Journal of Supercomputing (Springer, Impact Factor: 1.326, Quartile Q2, ISSN: 0920-8542) --- SUBMISSION DEADLINE: 15 JUNE 2018 (EXTENDED) http://arco.unex.es/mavega/pbio/2018/ VENUE: Barcelona, Spain, 23 September 2018 We seek original, high-quality research papers, clearly focused on the application of Parallelism to any possible Bioinformatics problem. In particular, contributions are solicited on, but are not limited to, the following topics: - Parallel and distributed algorithms in Bioinformatics. - Workload partitioning strategies in Bioinformatics. - Memory-efficient algorithms in Bioinformatics. - Parallel tools and applications in Bioinformatics. - Data-intensive Bioinformatics (including Big Data storage and processing). - Multicore computing in Bioinformatics. - Multithreaded computing in Bioinformatics. - Cluster computing in Bioinformatics. - Supercomputing in Bioinformatics. - Cloud/Grid/P2P computing in Bioinformatics. - Volunteer computing in Bioinformatics. - Hardware accelerators (GPUs, FPGAs, etc.) in Bioinformatics. - Heterogeneous computing in Bioinformatics. - Green computing in Bioinformatics. - Mobile computing in Bioinformatics. - Emerging parallel programming models in Bioinformatics. - Parallel performance evaluation, analysis, and optimization in Bioinformatics. - Parallel visualization, modelling, simulation, and exploration in Bioinformatics. With regard to the Bioinformatics problems, many different alternatives exist: bioinformatics applied to biomedicine and drug design; biological sequence analysis, comparison and alignment; motif, gene and signal recognition/discovery; molecular evolution; phylogenetics and phylogenomics; determination or prediction of the structure of RNA and protein; DNA twisting and folding; gene expression and gene regulatory networks; deduction of metabolic pathways; microarray design and analysis; proteomics; functional genomics; molecular docking; design of DNA sequences for molecular computing; etc. All the details (paper format, submission system, important dates, etc.) at: http://arco.unex.es/mavega/pbio/2018/ --- Kind regards. -- ------------------------------------------------- Dr. Miguel A. Vega-Rodriguez <mavega(a)unex.es> http://arco.unex.es/mavega ARCO Research Group University of Extremadura Dept. Technologies of Computers & Communications Escuela Politecnica. Campus Universitario, s/n 10003 Caceres. SPAIN Tel: +34-927-257263 Fax: +34-927-257187 -------------------------------------------------

1 0

FROM 2018 Call for Participation
by Stefan Ciobaca 02 Jun '18

02 Jun '18

[Apologies for multiple copies] FROM 2018 - First Call for Participation WORKING FORMAL METHODS SYMPOSIUM (FROM) http://fmse.info.uaic.ro/event/from-2018/ 18 - 20 June 2018 Faculty of Computer Science Alexandru Ioan Cuza University Iasi, Romania *** New *** We included in the program of the conference a new category, short contributions, where submissions may describe work in progress or PhD progress/research reports. We still have 3-4 slots available for this category. If you are interested in giving a short talk, please submit an abstract of at most 2 pages using Easychair: https://easychair.org/conferences/?conf=from2018 Deadline for submitting short contributions: June 6, 2018 Notification: June 8, 2018 *** Attendance *** Everyone is welcome to attend. Registration is required and the deadline is June 15. Please register on the FROM 2018 webpage: https://fmse.info.uaic.ro/from-2018-registration/ *** About *** The Working Formal Methods Symposium (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. *** Invited speakers *** Călin Belta, Boston University, US. Formal Synthesis of Control Strategies for Dynamical Systems Radu Călinescu, University of York, UK. Observation-enhanced stochastic modelling Cătălin Dima, Universite Paris-Est Creteil, France. Bisimulations for logics for strategies Dragos Gavrilut, Bitdefender and Alexandru Ioan Cuza University, Romania. TBA Radu Grigore, School of Computing University of Kent, UK. Selective Monitoring Cătălin Hriţcu, INRIA Paris, France. Formally Secure Compilation Mircea Marin, West University of Timișoara, Romania. Unification and matching in unranked term algebras with regular expression sorts Grigore Roşu, University of Illinois at Urbana-Champaign, US. Formal Design, Implementation and Verification of Blockchain Languages and Virtual Machines Viorica Sofronie-Stokkermans, University Of Koblenz, Landau, Germany. On Symbol Elimination in Theory Extensions and Applications Gheorghe Ștefănescu, University of Bucharest, Romania. Adaptive virtual organisms: A compositional model for hardware-software binding in the IoT era *** Accepted papers *** Bogdan Aman and Gabriel Ciobanu. Timed Migration with Costs in Distributed Systems Ruxandra Stoean. Machine Learning and Formal Methods or the Ballad of East and West Gabriel Ciobanu and Eneia Nicolae Todoran. Continuation Semantics for Concurrent Languages Stefan Popescu. Solving a variant of the 2-D pattern matching problem using Networks of Polarized Evolutionary Picture Processors with a restriction in polarity. Vlad Rusu. Compositional Verification of Reachability-Logic Properties on Reachability-Logic Specifications Georgiana Caltais and Mohammadreza Mousavi. Encoding Causality via Modal Formulae Denisa Diaconescu. Bisimulations in many-valued modal logics Andrei Alexandru and Gabriel Ciobanu. Infinite Sets in Fraenkel-Mostowski Theory Ioana Leustean and Natalia Moangă. A many-sorted polyadic modal logic Andrei Arusoaie. Unification in Matching Logic Ioana Leuștean and Traian Florin Serbanuta. An operational-semantics-based approach to program verification using dynamic logic Short Contributions: Ana Turlea, Raluca Lefticaru and Felician Campean. Search based Model in the Loop Testing for Cyber Physical Systems We gratefully acknowledge financial support from Amazon’s Development Center in Iasi and Continental Automotive in Iasi. Laurențiu Leuștean, co-chair FROM 2018 Dorel Lucanu, co-chair FROM 2018

1 0

Open PostDoc position at LBNL for Machine learning applications and Networks
by Mariam Kiran 30 May '18

30 May '18

Dear All, I am reaching out for help publicizing the post doc position open with our group. We are looking for new members to join our team at Lawrence Berkeley National Lab!. The position is shared between the Computer Research Division (http://crd.lbl.gov/departments/data-science-and-technology/sdm/) and Energy Sciences Network (http://es.net/). The position is in the area of developing machine learning solutions for wide area networks. The direct link to the posting may be found here: http://m.rfer.us/LBLfQ6cv Can you please help forward to any interested candidates? Questions can be sent to Mariam Kiran <mkiran(a)lbl.gov> Thankyou in advance, Mariam

1 0

CFP: 11th IEEE/ACM International Conference on Utility and Cloud Computing (December 17-20, 2018, Zurich, Switzerland)
by Цымблер Михаил Леонидович 29 May '18

29 May '18

Do not miss the opportunity for discussing a full week of cloud and big data advances in central Europe at the end of the year on the 11th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2018)! The conference would take place December 17-20, 2018 in Zurich, Switzerland (http://ucc-conference.org/). IMPORTANT DATES * 01 August, 2018 is a deadline for: - Main conference paper submissions - Tutorial proposals - Cloud Challenge proposals - Doctoral Research Papers * Poster submissions due: 01 September, 2018 * Notification of acceptance for main papers: 15 September, 2018 * Camera ready papers due: 08 October, 2018 * Early and author registration deadline: 08 October, 2018 * Conference: 17-20 December 2018 CONTEXT AND SCOPE UCC is the premier IEEE/ACM conference covering all areas related to Cloud Computing as a Utility and provides an international forum for leading researchers and practitioners in this important and growing field. UCC 2018, to be held in Zurich, Switzerland, reflects the need to bring academics and industrial researchers together to discuss how to improve existing services and how to bring new applications into the cloud. UCC 2018 will have a co-located 5th International Conference on Big Data Computing, Applications and Technologies (BDCAT 2018, http://bdcat-conference.org/), an embedded Cloud Challenge and a subsequent Serverless Symposium. WORKSHOPS [http://ucc-conference.org/workshops.html] Nine workshops are confirmed to take place in conjunction with the main conference: * 7th International Workshop on Clouds and (eScience) Applications Management - CloudAM 2018 * 5th International Workshop on Smart City Clouds: Technologies, Systems and Applications - SCCTSA 2018. Submission deadline: July 31, 2018 * 4th International Workshop on Serverless Computing - WoSC 2018 * 3rd International Workshop on Trust in Cloud Computing - IWTCC 2018. Submission deadline: July 30, 2018 * 1st Industry/University Joint International Workshop on Data-center Automation and Software Provisioning - DCASP 2018 * 1st Workshop on Quality Assurance in the Context of Cloud Computing - QA3C 2018. Submission deadline: September 3, 2018 * 1st Workshop on Managed Fog-to-Cloud - mF2C 2018. Submission deadline: August 1, 2018 * 1st Workshop on Cloud-Native Applications Design and Experience - CNAX 2018. Submission deadline: September 1, 2018 * 1st Workshop on Big Data Analytics for Sustainable Environments - BDASE 2018. Submission deadline: August 1, 2018 All the additional information on the workshops is available on the conference website: http://ucc-conference.org/workshops.html TOPICS OF INTEREST UCC Conference topics of interest include but are not limited to: * Architectural models to achieve Utility in Clouds * Cloud business and legal implications beyond technology * Cloud Computing middleware, stacks, tools, delivery networks and services at all layers (XaaS) * Cloud large-scale foundations for Big Data, IoT, and real-time analytics * Cloud management: autonomic, adaptive, self-*, SLAs, and monitoring * Cloud-native application design and engineering * Cloud, Fog and edge/mobile devices management, hierarchy models, and business models * Designs and deployment models for Clouds: private, public, hybrid, federated, aggregated * Economic and business models of Clouds and services * HPC and the Cloud * Innovative cloud applications and experiences * Integration of Cloud systems with edge and IoT devices * Mobile and energy-efficient use of Clouds * Networking for clouds and data centres * Performance analysis and modeling of cloud systems and applications * Policy languages and programming models * Principles and theoretical foundations of Utility Computing * Resource management and scalability: brokering, scheduling, capacity planning, and elasticity * Security, trust and privacy in Clouds * Utility-driven platforms for Clouds * Utility-driven models and mechanisms for interclouds / federations * Virtualization, containerization, composition, orchestration and other enablers CALL FOR PAPERS [http://ucc-conference.org/pages/ucc-2018-call-for-papers.html] Authors are invited to submit original unpublished research manuscripts that demonstrate current research in all areas of Cloud and Utility as well as Big Data computing, including design and analysis of distributed and centralized Cloud systems, data centre design and engineering, economic and market models for cloud systems, revenue and business models and their applications in scientific and commercial deployments. Submitted manuscripts should be structured as technical papers and may not exceed ten (10) single-spaced double-column pages using 10-point size font on 8.5x11 inch pages, IEEE conference style, including figures, tables, and references. The proceedings will be published by the IEEE Computer Society and will be made available online through the IEEE Digital Library, as well as through the ACM Digital Library. Authors should submit the manuscript in PDF format. All manuscripts will be reviewed and will be judged on correctness, originality, technical strength, rigour in analysis, quality of results, quality of presentation, and interest and relevance to the conference attendees. Papers conforming to the above guidelines can be submitted through the UCC 2018 paper submission system: https://easychair.org/conferences/?conf=ucc2018 Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Further details on the publication instructions and registration information will be published on the UCC website. We invite you to visit the Call for Papers page for more information: http://ucc-conference.org/pages/ucc-2018-call-for-papers.html

1 0

JIST2018:The 8th Joint International Semantic Technology Conference (Nov. 26-28, Awaji City, Hyogo, Japan)
by Kouji Kozaki 28 May '18

28 May '18

-------------------------------------------------------------------- *** Call for Papers: JIST 2018 Regular Technical Papers *** JIST2018:The 8th Joint International Semantic Technology Conference Nov. 26-28, 2018, Awaji City, Hyogo, Japan. http://jist2018.knowledge-graph.jp < Paper submission due: 10 August, 2018 > -------------------------------------------------------------------- The mission of the Joint International Semantic Technology Conference (JIST) is to bring together researchers in the Semantic Technology research community and other areas of semantic-related technologies to present their innovative research results or novel applications of semantic technologies. There are two tracks in JIST 2018 for Regular Technical Papers. *** Research Track *** JIST 2018 research track solicits submissions of original research work on semantic technologies. Topics of interest include, but are not limited to: -Ontology and reasoning -Knowledge Graphs -Linked Data -Big Data and semantics, exchange and integration -Data streams and the Internet of Things -Machine learning and information extraction on the Semantic Web -Semantic Web services and processes -Trust, privacy, and security on the Semantic Web -Social Semantic Web -Natural language processing and semantics -Semantic multimedia -Novel applications of semantic technologies *** Special Session Track *** JIST 2018 special session track to discover and implement special topics that researchers in Semantic Technology are particularly interested in. We also intend to facilitate participation of potentially-related researchers in the JIST conference. Topics of special sessions are as follows: - Special Session on Government Open Data http://jist2018.knowledge-graph.jp/pages/calls/government_open_data.html - Special Session on Question Answering and ChatBots http://jist2018.knowledge-graph.jp/pages/calls/qa_chatbots.html - Special Session on Resource-aware Semantic Technologies http://jist2018.knowledge-graph.jp/pages/calls/resource-aware_semantic_tech… - Special Session on Semantic Web for Life Sciences http://jist2018.knowledge-graph.jp/pages/calls/sw_for_life_sciences.html *** Important Dates *** -Abstract submission: 23:59 (Hawaii Time), 3 August, 2018 -Full paper submission: 23:59 (Hawaii Time), 10 August, 2018 -Notification of Acceptance: 14 September, 2018 -Camera-ready Deadline: 28 September, 2018 -Conference: 26-28 November, 2018 *** Submission *** Submissions to JIST 2018 should describe original, significant research on semantic technologies. JIST 2018 will not accept submissions that are under review for or have already been published in or accepted for publication in a journal or another conference. Submissions to JIST 2018 are expected to present their claimed contribution, with clear evidence to support their claims. All submissions will be critically reviewed by at least three members of the program committee of either research track or special session track. To assess submissions, reviewers will judge their relevance to semantic technologies, their originality, the technical soundness of their proposed approach and the readability of the submission. JIST 2018 submissions are not anonymous. Submissions must be in PDF format, using the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). Regular paper submissions must be no longer than 16 pages, and short paper submissions must be no longer than 8 pages. Submissions that exceed this limit may be rejected without review. Accepted papers of both research track and special session track will be published in an LNCS proceedings. At least one author of each accepted paper must register for the conference and present the paper there. Papers can be submitted electronically via EasyChair. https://easychair.org/conferences/?conf=jist2018 * Please select the corresponding track(s) when you submit your paper(s). *** Organizing Committee *** -General Chairs Stephen Muggleton, Imperial College London, UK Kouji Kozaki, Osaka University, Japan -Program Chairs Ryutaro Ichise, National Institute of Informatics, Japan -Special Session Track Chairs Dongyan Zhao, Peking University, China Takahiro Kawamura, Japan Science and Technology Agency, Japan -Local Organizing Chair Atsuko Yamaguchi, Database Center for Life Science, Japan -Poster and Demo Chairs Hanmin Jung, KISTI, Korea Shinichi Nagano, TOSHIBA corp., Japan -Workshop Chairs Marut Buranarach, NECTEC, Thailand Ikki Omukai, National Institute of Informatics, Japan -Tutorial Chairs Naoki Fukuta, Shizuoka University, Japan -Sponsorship Chair Takanori Ugai, Fujitsu Laboratories, Japan -Publicity Chairs Takeshi Morita, Keio University, Japan Guohui Xiao, Free University of Bozen-Bolzano, Italy -------------------------------------------------------------------- JIST 2018 Organize Committee Website: http://jist2018.knowledge-graph.jp/ Twitter: @jist2018 Contact: JIST2018<at>knowledge-graph.jp

1 0

Call for Papers (due June 15) and Workshops announced: 25th IEEE Intl Conf on High Performance Computing, Data, and Analytics (HiPC 2018)
by Anand Panangadan 27 May '18

27 May '18

------------------------------------------------------------ ------------------------------------ 25th IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC 2018) December 17-20, 2018 Bengaluru, India www.hipc.org ------------------------------------------------------------ ------------------------------------ - CALL FOR PAPERS - CALL FOR WORKSHOP PAPERS CALL FOR PAPERS 2018 marks the Silver Anniversary of HiPC as we broaden the technical program to specifically include topics related to data science. The conference has a history of attracting participation from reputed researchers from all over the world and receives strong industry support from companies operating globally and also established in India. In addition to the two days of industry exhibits, the sponsoring partners to the conference hold industry symposiums to bring together providers and users of HPC in a forum for presenting state-of-the-art in HPC platforms and technologies, for discussing best practices, and for exchanging experiences. In the last couple years, HiPC has added workshops to its technical program and along with a Student Research Symposium and academic Birds-of-a-Feather sessions, and the conference makes room for a broad list of topics to be addressed in these tracks: Algorithms Architectures Applications DATA SCIENCE: Big Data Algorithms and Analytics Big Data Systems and Software One or more best paper awards will be given for outstanding contributed papers. Authors of selected high quality papers in HiPC 2018 will be invited to submit an extended version of their papers for possible publication in a special issue of Journal of Parallel and Distributed Computing. PROGRAM CHAIRS - Olivier Beaumont, Inria, France (High Performance Computing) - Srinivas Aluru, Georgia Institute of Technology, USA (Data Science) PROGRAM VICE-CHAIRS - Algorithms: Ananth Kalyanaraman Washington State University - Applications: Yogish Sabharwal, IBM Research – India - Architecture: Abdou Guermouche, University of Bordeaux - System Software: Judith Hill, Oak Ridge National Laboratory - Big Data Algorithms and Analytics: Jun (Luke) Huan, University of Kansas - Big Data Systems and Software: Lisa Singh, Georgetown University IMPORTANT DATES FOR HiPC 2018 •June 8..................Abstracts Due •June 15................Paper Submission Deadline •August 8-15........Rebuttals •September 7.......Author Notification •October 3...........Camera Ready Submission Full information on what/where to submit is available at http://hipc.org/call-for-papers/ ------------------------------------------------------------ ------------------------------------ CALL FOR WORKSHOP PAPERS Complementing the main technical program, HiPC workshops serve to broaden the technical scope of the conference in emerging areas of high performance computing, communication, data and analytics and their applications. Below is the listing of the workshops to be held on the first day of the conference, December 17. • Fourth Workshop on Computational Fluid Dynamics (CFD) • Workshop on Artificial Intelligence Meets Blockchain (AIMB) • First Workshop on the Convergence of High Performance Computing and Artificial Intelligence • Women in Data Science and High Performance Computing • Parallel Fast Fourier Transforms The papers accepted for presentation in HiPC 2018 workshops will be included in the "workshops volume" of the proceedings of the conference, which will be distributed online in two volumes with a separate ISBN for the workshops (HiPCW 2018). Post conference, papers presented at the conference and eligible for inclusion will be submitted to the IEEE Xplore Digital Library. See details at http://hipc.org/workshops for workshop paper submission deadlines and formatting requirements. Workshops Co-Chairs • Anthony Simonet, Rutgers University, USA • Manish Parashar, Rutgers University, USA (Workshops co-chairs may be contacted at workshops(a)hipc.org) ------------------------------------------------------------ ------------------------------------ HiPC 2017 ORGANIZATION GENERAL CO-CHAIRS Chiranjib Sur, Shell India Yinglong Xia, Huawei Research, USA VICE GENERAL CO-CHAIRS Kishore Kothapalli, IIIT-Hyderabad, India Anand Panangadan, California State University, Fullerton, USA INDUSTRY LIAISON CO-CHAIRS Rama Govindaraju, Google, USA Jigar Halani, Nvidia, India Vivek Yadav, FullStackNet, India WORKSHOPS CO-CHAIRS Manish Parashar, Rutgers University, USA Anthony Simonet, Rutgers University, USA TUTORIAL CHAIR Saumil Merchant, Shell, India STUDENT RESEARCH SYMPOSIUM CO-CHAIRS Kishore Kothapalli, IIIT-Hyderabad, India Madhura Purnaprajna, Amrita University, India Ashok Srinivasan, Florida State University, USA INDUSTRY, RESEARCH & USER SYMPOSIUM CO-CHAIRS R. Badrinath, Ericcson, India Rajeev Muralidhar, Intel, India STEERING COMMITTEE CHAIR Viktor K. Prasanna, University of Southern California, USA LOCAL ARRANGEMENTS CO-CHAIRS Rajeev Muralidhar, Intel, India Thondiyil Venugopalan, India ------------------------------------------------ HiPC 2018 SPONSORSHIP ------------------------------------------------ •IEEE Computer Society Technical Committee on Parallel Processing (TCPP) •HiPC Education Trust, India In cooperation with •ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) •ACM Special Interest Group on Computer Architecture (SIGARCH) •FIP Working Group on Concurrent Systems •Manufacturers' Association for Information Technology (MAIT) •National Association of Software and Service Companies (NASSCOM) ------------------------------------------------------------ ------------------------------------ Follow us on Twitter https://twitter.com/hipcconf Google+ https://plus.google.com/+HipcOrg Facebook https://www.facebook.com/hipc.conference/ LinkedIn https://www.linkedin.com/groups/53197/profile ------------------------------------------------------------ ------------------------------------

1 0

GraMSec 2018 - call for participation - early registration by June 6
by Barbara Kordy 25 May '18

25 May '18

****************************************************************** GraMSec 2018 The Fifth International Workshop on Graphical Models for Security Oxford, UK - July 8, 2018 http://gramsec.uni.lu/ Co-located with CSF 2018 (https://www.cs.ox.ac.uk/conferences/csf2018/) In conjunction with FLoC 2018 (http://www.floc2018.org/) ****************************************************************** ABOUT GraMSec The use of graphical security models to represent and analyse the security of systems has gained an increasing research attention over the last two decades. Formal methods and computer security researchers, as well as security professionals from the industry and government, have proposed various graphical security models, metrics, and measurements. Graphical models are used to capture different security facets and address a range of challenges including security assessment, automated defence, secure services composition, security policy validation, and verification. The objective of GraMSec is to contribute to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies and tools for their practical usage. PROGRAM of GraMSec 2018 -------------------------- 09:00 Opening by Barbara Kordy 09:10 Invited talk of Mike Fisk, Chief Information Officer at Los Alamos National Laboratory, NM, USA Intrusion Tolerance in Complex Cyber Systems 10:10 Marlon Dumas, Luciano García-Bañuelos and Peeter Laud Disclosure Analysis of SQL Workflows 10:30-11:00 Coffee Break 11:00 Haozhe Zhang, Ioannis Agrafiotis, Arnau Erola, Sadie Creese and Michael Goldsmith A state machine system for insider threat detection 11:45 Sabarathinam Chockalingam, Wolter Pieters, Andre Teixeira, Nima Khakzad and Pieter van Gelder Combining Bayesian Networks and Fishbone Diagrams to Distinguish between Intentional Attacks and Accidental Technical Failures 12:30-14:00 Lunch Break 14:00 Ilia Shumailov, Mansoor Ahmed and Ross Anderson Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins 14:45 Maxime Audinot, Sophie Pinchinat, François Schwarzentruber and Florence Wacheux Deciding the Emptiness of Attack trees 15:30-16:00 Coffee Break 16:00 Ross Horne, Sjouke Mauw and Alwen Tiu The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement 16:45 Harley Eades Iii, Jiaming Jiang and Aubrey Bryant On Linear Logic, Functional Programming, and Attack Trees 17:30 Closing by George Cybenko and David J. Pym REGISTRATION Registration to GraMSec 2018 is handled via the website of FLoC https://www.floc2018.org/register/ The early registration deadline is on June 6 If you need a support letter for a visa, please check https://www.floc2018.org/faqs/ PROGRAM COMMITTEE CO-CHAIRS George Cybenko, Dartmouth College, NH, USA David J. Pym, UCL, UK GENERAL CHAIR Barbara Kordy, INSA Rennes, IRISA, FR

1 0

CFP SBAC-PAD 2018 @ Lyon - abstract deadline May 25th
by Laurent Lefevre 25 May '18

25 May '18

== 3RD CALL FOR PAPERS SBAC-PAD 2018 International Symposium on Computer Architecture and High Performance Computing Lyon, France September 24-27, 2018 http://avalon.ens-lyon.fr/sbac-pad SBAC-PAD is an international symposium, started in 1987, which has continuously presented an overview of new developments, applications, and trends in parallel and distributed computing technologies. SBAC-PAD is open for faculty members, researchers, specialists and graduate students around the world. In this edition, the symposium will be held at the École Normale Supérieure of Lyon, in France. Known as the Gastronomy Capital, Lyon is the 2nd largest economic and industrial region in France, and has become one of the favorite destinations for tourism in Europe. Lyon is also considered the most liveable city in France according to the Economist Intelligence Unit. Authors are invited to submit original manuscripts on a wide range of high-performance computing areas, including computer architecture, systems software, languages and compilers, algorithms, performance analysis, and applications. Topics of interest include (but are not limited to): - Application-specific systems - Architecture and programming support for emerging domains (Big Data, Deep Learning, Machine learning, Cognitive Systems) - Benchmarking, performance measurements, and analysis - Cloud, cluster, and edge/fog computing systems - Embedded and pervasive systems - GPUs, FPGAs and accelerator architectures - Languages, compilers, and tools for parallel and distributed programming - Modeling and simulation methodology - Operating systems and virtualization - Parallel and distributed systems, algorithms, and applications - Power and energy-efficient systems - Processor, cache, memory, storage, and network architecture - Real-world applications and case studies - Reconfigurable, resilient and fault-tolerant systems PAPER SUBMISSION Submissions must be in English, 8 pages maximum, following the IEEE conference formatting guidelines. To be published in the SBAC-PAD 2018 Conference Proceedings and to be eligible for publication at the IEEE Xplore (pending), one of the authors must register at the full rate. Authors may not use a single registration for multiple papers. Authors of selected papers will be invited to submit extended versions of their papers for publication on a selected journal. IMPORTANT DATES - Abstract deadline: May 25, 2018 - Paper deadline: June 1, 2018 - Rebuttal period: June 27-28, 2018 - Author notification: July 6, 2018 - Camera-ready: July 20, 2018 ORGANIZING COMMITTEE General Chairs - Laurent Lefèvre (Inria, ENS Lyon, University of Lyon, France) - Alfredo Goldman (Sao Paulo University, Brazil) - Marcos Dias de Assuncao (Inria, ENS Lyon, University of Lyon, France) Program Co-chairs - Rosa M Badia (Barcelona Supercomputing Center, Spain) - Manish Parashar (Rutgers University, USA) - Lucas Mello Schnorr (Federal University of Rio Grande do Sul, Brazil) Publicity Chairs - Alba Cristina de Melo (University of Brasilia, Brazil) - Pierre Sens (LIP6, Inria Paris Rocquencourt, France) - Vaidy Sunderam (Emory University, USA) PROGRAM COMMITTEE Computer Architecture Track Chair: Kalyana Chadalavada (Intel, USA) - Celso Mendes (University of Illinois at Urbana-Champaign, USA) - Cristiana Bentes (UERJ, Brazil) - Edson Borin (University of Campinas, Brazil) - Farah Fargo (University of Arizona, USA) - Felipe Maia Galvao Franca (COPPE-UFRJ, Brazil) - Jose Moreira (IBM, USA) - Kalyana Chadalavada (Intel, USA) - Naveen Cherukuri (NVIDIA, USA) - Rathish Jayabharathi (Intel, USA) - Rodolfo Azevedo (University of Campinas, Brazil) Networking and Distributed Systems Track Chair: Wagner Meira, Jr, (Federal University of Minas Gerais, Brazil) - Andrey Britto (UFCG, Brazil) - Bruno Schulze (LNCC, Brazil) - Carlos Varela (Rensselaer Polytechnic Institute, USA) - Domenico Talia (University of Calabria, Italy) - Dorgival Guedes Neto (UFMG, Brazil) - Elias P. Duarte Jr. (UFPR, Brazil) - Harold Castro (Universidad de los Andes, Colombia) - Javier Garcia-Blas (University Carlos III of Madrid, Spain) - Juan Durillo (University of Innsbruck, Austria) - Nicolae Bogdan (Huawei, China) - Omer Rana (Cardiff University, UK) - Priscila Solis (UnB, Brazil) - Rizos Sakellariou (University of Manchester, UK) - Rodrigo Fonseca (Brown, USA) - Ronaldo Ferreira (UFMS, Brazil) - Sandra Gesing (Notre Dame University, USA) - Zhiyi Huang (University of Otago, New Zealand) Parallel Applications and Algorithms Track Chair: Enrique Quintana-Ortí, (Universidad Jaime I, Spain) - Emmanuel Agullo (Inria, France) - José Ignacio Aliaga (Computer Science and Engineering Department, University Jaime I, Spain) - Hartwig Anzt (Karlsruhe Institute of Technology, Germany) - Michael Bader (Technical University of Munich, Germany) - Paolo Bientinesi (RWTH Aachen University, Germany) - Kei Davis (Los Alamos National Laboratory, USA) - Alba Melo (University of Brasilia, Brazil) - Pablo Ezzatti Udelar (Uruguay) - Mathieu Faverge (Bordeaux INP, France) - Domingo Gimenez (University of Murcia, Spain) - Daniel S. Katz (University of Illinois Urbana-Champaign, USA) - Hatem Ltaief (KAUST, Saudi Arabia) - Piotr Luszczek (University of Tennessee Knoxville, USA) - Viktor Prasanna (University of Southern California, USA) - Olaf Schenk (Universita della Svizzera Italiana, Switzerland) - Leonel Sousa (Lisbon University, Portugal) - Guillermo Taboada (University of A Coruña, Spain) - Pedro Valero-Lara (The University of Manchester, UK) - Jaroslaw Zola (State University of New York, USA) - Jairo Panetta (INPE, Brazil) Performance Evaluation Track Chair: Arnaud Legrand (CNRS/Inria/Université Grenoble Alpes, France) - Laura Carrington (San Diego Supercomputer Center/University of California, USA) - Cesar De Rose (PUCRS, Brazil) - Alfredo Goldman (University of São Paulo, Brazil) - Andreas Knupfer (TU Dresden, Germany) - Swann Perarnau (Argonne National Laboratory, USA) - Martin Schulz (Technical University of Munich, Germany) - Frederic Suter (CC IN2P3 / CNRS, France) System Software Track Chair: Adrien Lebre (IMT Atlantique/Inria/LS2N, France) - Rafael Asenjo (Dpt. Computer Architecture, Univ. Malaga. Spain) - Paolo Bellavista (University of Bologna, Italy) - Siegfried Benkner (University of Vienna, Austria) - Carlo Bertolli (IBM TJ Watson Research Center, United States) - Francisco Brasileiro (UFCG, Brazil) - Helene Coullon (Inria, France) - Michael Gerndt (Technical University of Munich, Germany) - Antonio J. Peña (Barcelona Supercomputing Center -BSC, Spain) - Mauricio Pillon (UDESC, Brazil) - Radu Prodan (University of Klagenfurt, Austria) - Mario Südholt (IMT Atlantique, France) - Cedric Tedeschi (Inria, France) - Ayal Zaks (Intel, Israel) ==

1 0

[Last CFP] PBio 2018, EuroMPI Workshop (In-Cooperation with ACM SIGHPC) + Special Issue in Journal of Supercomputing (Springer, IF: 1.326, Q2)
by Miguel A. Vega-Rodriguez 25 May '18

25 May '18

Call for Papers --- PBio 2018, EuroMPI Workshop: 6th International Workshop on Parallelism in Bioinformatics + In-Cooperation with ACM SIGHPC + Proceedings published by ACM Digital Library within its International Conference Proceedings Series (ICPS) + Special Issue in the Journal of Supercomputing (Springer, Impact Factor: 1.326, Quartile Q2, ISSN: 0920-8542) --- SUBMISSION DEADLINE: 1 JUNE 2018 http://arco.unex.es/mavega/pbio/2018/ VENUE: Barcelona, Spain, 23 September 2018 We seek original, high-quality research papers, clearly focused on the application of Parallelism to any possible Bioinformatics problem. In particular, contributions are solicited on, but are not limited to, the following topics: - Parallel and distributed algorithms in Bioinformatics. - Workload partitioning strategies in Bioinformatics. - Memory-efficient algorithms in Bioinformatics. - Parallel tools and applications in Bioinformatics. - Data-intensive Bioinformatics (including Big Data storage and processing). - Multicore computing in Bioinformatics. - Multithreaded computing in Bioinformatics. - Cluster computing in Bioinformatics. - Supercomputing in Bioinformatics. - Cloud/Grid/P2P computing in Bioinformatics. - Volunteer computing in Bioinformatics. - Hardware accelerators (GPUs, FPGAs, etc.) in Bioinformatics. - Heterogeneous computing in Bioinformatics. - Green computing in Bioinformatics. - Mobile computing in Bioinformatics. - Emerging parallel programming models in Bioinformatics. - Parallel performance evaluation, analysis, and optimization in Bioinformatics. - Parallel visualization, modelling, simulation, and exploration in Bioinformatics. With regard to the Bioinformatics problems, many different alternatives exist: bioinformatics applied to biomedicine and drug design; biological sequence analysis, comparison and alignment; motif, gene and signal recognition/discovery; molecular evolution; phylogenetics and phylogenomics; determination or prediction of the structure of RNA and protein; DNA twisting and folding; gene expression and gene regulatory networks; deduction of metabolic pathways; microarray design and analysis; proteomics; functional genomics; molecular docking; design of DNA sequences for molecular computing; etc. All the details (paper format, submission system, important dates, etc.) at: http://arco.unex.es/mavega/pbio/2018/ --- Kind regards. -- ------------------------------------------------- Dr. Miguel A. Vega-Rodriguez <mavega(a)unex.es> http://arco.unex.es/mavega ARCO Research Group University of Extremadura Dept. Technologies of Computers & Communications Escuela Politecnica. Campus Universitario, s/n 10003 Caceres. SPAIN Tel: +34-927-257263 Fax: +34-927-257187 -------------------------------------------------

1 0

CFP: YR-CONCUR 2018 - 8th Young Researchers Workshop on Concurrency Theory
by songfu＠shanghaitech.edu.cn 23 May '18

23 May '18

********************************************************************* YR-CONCUR 2018, Call for papers 8th Young Researchers Workshop on Concurrency Theory (YR-CONCUR), 2018 A satellite workshop of CONCUR 2018 September 3rd, 2018, Beijing, China (https://www.irif.fr/~cenea/yr-concur2018/) ********************************************************************* *Aims and objectives* This workshop aims at providing a platform for PhD students and young researchers who recently completed their doctoral studies, to exchange new results related to concurrency theory and receive feedback on their research. Focus is on informal discussions. Excellent master students working on concurrency theory are also encouraged to contribute. *Important Dates* Deadline for 4-page abstracts: June 8th, 2018 Notification of acceptance: July 6th, 2018 Workshop: September 3rd, 2018 *Format* YR-CONCUR 2018 is a satellite workshop of CONCUR 2018 and will be held on September 3rd, 2018. It is anticipated that many CONCUR participants will attend the YR-workshop (and vice versa). Presentations are selected on the basis of an abstract of up to 4 pages (incl. references) describing the research. No particular format is required. Submissions are judged on the expected interest in and quality of the talk. The accepted abstracts will be made available at the workshop, but no formal proceedings are planned. It is thus also allowed (and encouraged) to send results that have been published at other conferences (although preferably not at CONCUR 2018 or any of its other satellite workshops). *Submission* 4-page abstracts should be submitted via the YR-CONCUR 2018 submission page on the EasyChair system: https://easychair.org/conferences/?conf=yrconcur2018. *Organizers* Constantin Enea (IRIF, Université Paris Diderot (Paris 7), France) Fu Song (ShanghaiTech University, China) Dr. Fu SONG School of Information Science and Technology,ShanghaiTech University Addr: Room 1A-504C, SIST Building, No.393 Huaxia Middle Road, Pudong Area Shanghai Tel: +86-(0)21-20685397, +86-15921769918 Website:sist.shanghaitech.edu.cn/faculty/songfu

1 0

Job Openings: Professor / Associate Professor / Assistant Professor (Computer Science) at Hong Kong Baptist University (PR380/17-18)
by comp hkbu 18 May '18

18 May '18

The Department of Computer Science <http://www.comp.hkbu.edu.hk/> of Hong Kong Baptist University <http://www.hkbu.edu.hk/> (HKBU), presently offers BSc, MSc, MPhil, and PhD programmes, now seeks outstanding applicants for the following faculty positions on substantiable-track. *Professor / Associate Professor / Assistant Professor (Computer Science) (PR380/17-18) * The appointees will teach, and are expected to manage programme at undergraduate and postgraduate levels, perform high-impact research, as well as contribute to professional and institutional services. Collaboration with other faculty members in research and teaching is also expected. Applicants should possess a PhD degree in Computer Science, Computer Engineering, Information Systems, or a related field, and sufficiently demonstrate abilities to conduct high-quality research in one of the Department's key research areas: (i) computational intelligence, (ii) databases and information management, (iii) networking and systems, and (iv) pattern recognition and machine learning. They will be encouraged to collaborate with colleagues within the Department to contribute to two special thematic applications including (a) health informatics and (b) secure and privacy-aware computing, and/or outside the Department to contribute to interdisciplinary research projects under our University's Research Cluster on Data Analytics and A.I. in X. Applicants should also demonstrate strong commitment to undergraduate and postgraduate teaching in computer science and/or information systems, possess track record of innovative research and high-impact publications, and demonstrate the ability to bid for and pursue externally-funded research programmes. Candidates for the senior positions should also have a strong track record of research and teaching accomplishments. Initial appointment will be made on a fixed-term contract of three years. Re-appointment thereafter is subject to mutual agreement and availability of funding. For enquiry, please contact Dr William Cheung, Head of Department (email: william [at] comp.hkbu.edu.hk). More information about the Department can be found at http://www.comp.hkbu.edu.hk. *Rank and salary will be commensurate with qualifications and experience.* *Application Procedure:* Applicants are invited to submit their applications at the HKBU e-Recruitment System (jobs.hkbu.edu.hk <https://jobs.hkbu.edu.hk/hrssers/persrequest?job_no=PR380/17-18>). Applicants should request two referees to send in confidential letters of reference, with PR number quoted on the letters, to the Personnel Office (Email: recruit [at] hkbu.edu.hk) direct. Applicants are requested to send in samples of publications, preferably three best ones out of their recent publications and recent teaching evaluation results. Applicants not invited for interview 4 months after the closing date may consider their applications unsuccessful. All application materials including publication samples, scholarly/creative works will not be returned after the completion of the recruitment exercise unless upon request. Details of the University's Personal Information Collection Statement can be found at http://pers.hkbu.edu.hk/pics. The University reserves the right not to make an appointment for the posts advertised, and the appointment will be made according to the terms and conditions then applicable at the time of offer. Review of applications will begin in *July 2018* and will continue until the position is filled. http://www.comp.hkbu.edu.hk/v1/?page=job_vacancies&id=450

1 0

[CFP] IA^3 2018 - 8th Workshop on Irregular Applications: Architectures and Algorithms
by Tumeo, Antonino 17 May '18

17 May '18

[Apologies if you receive multiple copies of this CFP] IA^3 2018 8th Workshop on Irregular Applications: Architectures and Algorithms http://hpc.pnl.gov/IA3 In Conjuction with SC18 Sponsored by IEEE TCHPC -------------------- Call for Papers -------------------- Irregular applications occur in many subject matters. While inherently parallel, they exhibit highly variable execution performance at a local level due to unpredictable memory access patterns and/or network transfers, divergent control structures, and data imbalances. Moreover, they often require fine-grain synchronization and communication on large-data structures such as graphs, trees, unstructured grids, sparse matrices, deep nets, tables, and their combinations (such as, for example, attributed graphs). They have a significant degree of latent parallelism, which however is difficult to exploit due to their complex behavior. Current high performance architectures rely on data locality and regular computation to reduce access latencies, and often do not cope well with the requirements of these applications. Furthermore, irregular applications are difficult to scale on current supercomputing machines, due to their limits in fine-grained synchronization and small data transfers. Irregular applications pertain both to well established and emerging fields, such as machine learning, social network analysis, bioinformatics, semantic graph databases, Computer Aided Design (CAD), and computer security. Many of these application areas also process massive sets of unstructured data, which keep growing exponentially. Addressing the issues of irregular applications on current and future architectures will become critical to solve the challenges in science and data analysis of the next few years. This workshop seeks to explore solutions for supporting efficient execution of irregular applications in the form of new features at the level of the micro- and system-architecture, network, languages and libraries, runtimes, compilers, analysis, algorithms. Topics of interest, of both theoretical and practical significance, include but are not limited to: - Micro- and System-architectures, including multi- and many-core designs, heterogeneous processors, accelerators (GPUs, vector processors, Automata processor), reconfigurable (coarse grained reconfigurable and FPGA designs) and custom processors - Network architectures and interconnect (including high-radix networks, optical interconnects) - Novel memory architectures and designs (including processors-in memory) - Impact of new computing paradigms on irregular workloads (including neuromorphic processors and quantum computing) - Modeling, simulation and evaluation of novel architectures with irregular workloads - Innovative algorithmic techniques - Combinatorial algorithms (graph algorithms, sparse linear algebra, etc.) - Impact of irregularity on machine learning approaches - Parallelization techniques and data structures for irregular workloads - Data structures combining regular and irregular computations (e.g., attributed graphs) - Approaches for managing massive unstructured datasets (including streaming data) - Languages and programming models for irregular workloads - Library and runtime support for irregular workloads - Compiler and analysis techniques for irregular workloads - High performance data analytics applications, including graph databases Besides regular papers, papers describing work-in-progress or incomplete but sound, innovative ideas related to the workshop theme are also encouraged. We solicit both 8-page regular papers and 4-page position papers. Authors of exciting but not mature enough regular papers may be offered the option of a short 4-page paper and related short presentation. -------------------- Important Dates -------------------- Abstract Submission: August 22, 2018 Position or Regular Paper Submission: August 29, 2018 Notification: September 28, 2018 Camera-ready: October 10, 2018 Workshop: November 12, 2018 Submissions Submission site: https://submissions.supercomputing.org Submitted manuscripts may not exceed eight (8) pages in length for regular papers and four (4) pages for position papers including figures, tables and references. Authors of regular papers will be able to provide up to one (1) additional pages for the Artifact Description (AD) appendix and, after paper acceptance, up to two (2) additional pages for the Artifact Evaluation (AE) appendix. The workshop proceedings will be published through IEEE TCHPC and will be included in the IEEE Xplore digital library. The templates are available at: http://www.ieee.org/conferences_events/conferences/publishing/templates.html. -------------------- Artifact Description & Evaluation -------------------- This edition of the workshop invites authors of regular papers to follow a reproducibility initiative like the main SC Conference, with specific appendices for the Artifact Description (AD) and the Artifact Evaluation (AE). Please refer to the SC reproducibility page for further details on the rationale behind AD and AE: https://sc18.supercomputing.org/submit/sc-reproducibility-initiative/. Authors of regular papers will be able to use up to one (1) additional page to provide an Artifact Description (AD) Appendix, describing the details of their software environments and computational experiments to the extent that an independent person could replicate their results. This additional page is voluntary, and must focus only on details on software environments and methods to execute the experiments. It should not add details on the proposed technical approaches. If a paper has no computational results, the appendix only needs to mention that computational results are not part of the paper. Additionally, authors of accepted regular papers will be invited to formally submit their supporting materials to the Artifact Evaluation (AE) process. The process is voluntary, but authors that will participate in the AE will be eligible for the Best Paper Award of the workshop. Supporting materials for the AE include access to the actual software artifact, shared pubblicly (for example, through the CK - Collective Knowledge - https://github.com/ctuning/ck format), and two (2) further additional pages of the paper that details how to reproduce the results of the paper. For details on how to submit supporting materials to the AE process, please refer to: http://ctuning.org/ae/submission.html. Authors participating in the AE will receive an assessment of the artifact, and the related badge on their paper. For any additional question on the AD and the AE please contact the Artifact Evaluation Chair Flavio Vella at flavio(a)dividiti.com<mailto:flavio@dividiti.com>. -------------------- Organizers -------------------- Antonino Tumeo (PNNL), antonino.tumeo(a)pnnl.gov<mailto:antonino.tumeo@pnnl.gov> John Feo (PNNL/NIAC), john.feo(a)pnnl.gov<mailto:john.feo@pnnl.gov> Vito Giovanni Castellana (PNNL), vitoGiovanni.castellana(a)pnnl.gov<mailto:vitoGiovanni.castellana@pnnl.gov> -------------------- Proceedings Chair -------------------- Marco Minutoli (PNNL and WSU), marco.minutoli(a)pnnl.gov<mailto:marco.minutoli@pnnl.gov> -------------------- Artifact Evaluation Chair -------------------- Favio Vella (DIVIDITI), flavio(a)dividiti.com<mailto:flavio@dividiti.com> -------------------- Technical Program Committee -------------------- Nesreen Ahmed, Intel, US Kubilay Atasu, IBM Zurich, CH Scott Beamer, LBNL, US Sanjukta Bhowmick, University of Nebraska Omaha, US Erik Boman, SNL, US David Brooks, Harvard University, US Aydin Buluc, LBNL, US Joe Eaton, NVIDIA, US Rajiv Gupta, UC Riverside, US Arif Khan, PNNL, US Farzad Khorasani, Georgia Tech, US Peter M. Kogge, University of Notre Dame, US Manoj Kumar, IBM TJ Watson, US John Leidel, Tactical Computing Labs, US Kamesh Madduri, Pennsylvania State University, US Naoya Maruyama, LLNL, US Miquel Moretó, Barçelona Supercomputing Center, ES Maxim Naumov, Facebook, US Fanny Nina-Paravecino, Northeastern University, US Sreepathi Pai, Rochester University, US Roger Pearce, LLNL, US Miquel Pericas, Chalmers University of Technology, SE Keshav Pingali, University of Texas at Austin, US Viktor K. Prasanna, University of Southern California, US Jason Riedy, Georgia Tech, US John Shalf, LBNL, US Shaden Smith, Intel, US Edgar Solomonik, University of Illinois at Urbana-Champaign, US Bora Uçar, French National Center for Scientific Research, FR Ruud van der Pas, Oracle, NL Ana Lucia Varbanescu, University of Amsterdam, NL Cheng Wang, Microsoft, US

1 0

[New Book Release] Measuring Inconsistency in Information
by Vanina Martinez 16 May '18

16 May '18

============================================================ ======================================================= Apologies if you receive multiple copies of this message ============================================================ ========================================================= Measuring Inconsistency in Information John Grant and Maria Vanina Martinez (Eds) ============================================================ ========================================================= Published by College Publications URL: http://www.collegepublications.co.uk/logic/?00040 The concept of measuring inconsistency in information was developed by John Grant in a 1978 paper in the context of first-order logic. For more than 20 years very little was done in this area until in the early 2000s a number of AI researchers started to formulate new inconsistency measures primarily in the context of propositional logic knowledge bases. The aim of this volume is to survey what has been done so far, to expand inconsistency measurement to other formalisms, to connect it with related topics, and to provide ideas for further research in a topic that is particularly relevant now in view of the many inconsistencies in the massive amount of information available. The book contains 11 chapters. The first chapter, by John Grant, gives his original motivation for starting this field, explains why it was formulated in a highly mathematical manner, presents important material that was omitted from the original paper, and provides ideas about the use of dimensions in measuring inconsistency. The second chapter, by Matthias Thimm, is a survey that covers most of the research on inconsistency measures up to 2017. The other 9 chapters, all by experts either in inconsistency measures, or in the topic under consideration, or both, connect inconsistency measures with argumentation, disjunctive logic programming, fuzzy logic systems, modal logics, multiset representation, paraconsistent consequence, probabilistic logic, relational databases, and spatio-temporal databases. ============================================================ ========================================================= For more details, please go to: http://www.collegepublications.co.uk/logic/?00040 ============================================================ =========================================================

1 0

Euro-EDUPAR Workshop 2018 - Deadline extended until May 27
by Rizos Sakellariou 15 May '18

15 May '18

Euro-EDUPAR Workshop 2018 - Deadline extended until May 27 August 27, 2018 Turin, Italy http://www.euroedupar.tu-darmstadt.de held in conjunction with Euro-Par 2018 https://europar2018.org Scope and objectives Parallel and Distributed Computing (PDC) is nowadays omnipresent. It is in all the computational environments, from mobile devices, laptops and desktops to clusters, large-scale data centers and supercomputers, often comprising CPUs and/or coprocessors of different types (GPU, MIC, FPGA). It becomes now vital to train new generations of scientists and engineers in the use of these computational systems: parallelism-related topics must be incorporated in Computer Science (CS) and Computer Engineering (CE) programs. In 2010 the IEEE Computer Society Technical Committee on Parallel Processing launched the Curriculum Initiative on Parallel and Distributed Computing, with Core Topics for Undergraduates, and in 2011 started the workshop EduPar, dedicated to Parallel and Distributed Computing Education. Given the differences in education in different parts of the world, the Euro-EDUPAR workshop aims to analyze PDC Education in a European context, taking into account the structure and organization of European education. In this context, the 4th European Workshop on Parallel and Distributed Computing Education for Undergraduate Students (Euro-EDUPAR) invites unpublished manuscripts from individuals or teams from academia, industry, and other educational and research institutes on topics pertaining to the teaching of PDC topics in the Computer Science and Engineering curriculum as well as in Computational Science with PDC and/or High Performance Computing (HPC) concepts, with emphasis on European undergraduate teaching. The workshop especially seeks papers that report on experiences incorporating PDC topics into undergraduate core courses taken by the majority of students on a degree course. Methods, pedagogical approaches, tools, and techniques that have potential for adoption across the European teaching community are of particular interest. Topics The topics of interest include, but are not limited to: 1. Parallel and Distributed Computing (PDC) teaching in the European space 2. Pedagogical issues in PDC, educational methods and learning mechanisms 3. Novel ways of teaching PDC topics, including informal learning environments 4. Curriculum design, models for incorporating PDC topics in core CS/CE curriculum 5. Experience with incorporating PDC topics into core CS/CE courses 6. Experience with incorporating PDC topics in the context of other applications learning 7. Pedagogical tools, programming environments, and languages for PDC 8. e-Learning, e-Laboratory, online courses related to PDC 9. PDC teaching experiences at non-university levels: secondary school, industry, etc Submission guidelines Submission The submissions will follow the Euro-Par guidelines, in PDF format, and should not exceed 12 pages in the Springer LNCS style, which can be downloaded from the Springer Web site. ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip Paper submission is handled electronically (EasyChair). https://easychair.org/conferences/?conf=europar2018ws The 12-page limit is comprehensive (text, figures, references). Complete LaTeX sources must be provided for accepted papers. Short papers and work-in-progress papers can be submitted and presented at the workshop, but they will not be eligible for the post-conference proceedings published by Springer where only full papers between 10 and 12 pages long will be published. Submissions will be reviewed by at least 3 members of the Program Committee and will be assessed according to impact at European level, the novelty of contributions, impact on broader undergraduate curriculum, relevance to the goals of the workshop, results and methodology. The workshop proceedings will be published in a LNCS Euro-Par 2018 Workshops volume after the conference. Only full papers between 10 and 12 pages long which were presented at the workshop will be included. Important dates May 27, 2018: Paper submission deadline (extended) June 25, 2018: Author notification July 6, 2018: Paper due, for informal workshop proceedings August 27, 2018: Workshop (full day) October 2, 2018: Camera-ready paper (including LaTeX sources) deadline Travel support Authors of accepted papers may apply for travel support - typically granted in the form of a free registration. Organization General Co-Chairs Denis Trystram, Grenoble Institute of Technology, France Arnold L. Rosenberg, University of Massachusetts, USA Steering Committee Henri E. Bal, Vrije Universiteit, the Netherlands Alexey Lastovetsky, Univesity College Dublin, Ireland Christian Lengauer, University of Passau, Germany Pierre Manneback, University of Mons, Belgium Sushil K. Prasad, Georgia State University, USA Yves Robert, Ecole Normale Superieure de Lyon, France Arnold L. Rosenberg, University of Massachusetts, USA Rizos Sakellariou, University of Manchester, UK Cristina Silvano, Politecnico di Milano, Italy Paul G. Spirakis, University of Liverpool, UK Denis Trystram, Grenoble Institute of Technology, France Mateo Valero, Barcelona Supercomputing Center, Spain Vladimir Voevodin, Moscow State University, Russia Program Co-Chairs Felix Wolf, TU Darmstadt, Germany Rizos Sakellariou, University of Manchester, UK Program Committee Jorge G. Barbosa, University of Porto, Portugal Marian Bubak, AGH Krakow PL and University of Amsterdam, The Netherlands Aurelien Cavelan, University of Basel, Switzerland Sunita Chandrasekaran, University of Delaware, USA Gennaro Cordasco, Universita' della Campania "L. Vanvitelli", Italy Efstratios Gallopoulos, University of Patras, Greece Chryssis Georgiou, University of Cyprus, Cyprus Domingo Gimenez, University of Murcia, Spain Thilo Kielmann, Vrije Universiteit Amsterdam, The Netherlands Alexey Lastovetsky, University College Dublin, Ireland Vania Marangozova-Martin, Grenoble University, France Tomas Margalef, Universitat Autonoma de Barcelona, Spain Svetozar Margenov, Bulgarian Academy of Sciences, Bulgaria Lena Oden, Forschungszentrum J?lich, Germany Marcin Paprzycki, Polish Academy of Sciences, Poland Dana Petcu, West University of Timisoara, Romania Geppino Pucci, Universita' di Padova, Italy Erven Rohou, INRIA, France Emil Slusanschi, University Politehnica of Bucharest, Romania Juan Tourino, University of A Coru?a, Spain Jesper Larsson Tr?ff, Vienna University of Technology, Austria Vladimir Voevodin, Moscow State University, Russia Sponsorship This workshop is supported by SPPEXA, the DFG Program 1648 Software for Exascale Computing. Contact Felix Wolf <wolf(a)cs.tu-darmstadt.de>

1 0

CALL FOR PAPERS SBAC-PAD 2018, International Symposium on Computer Architecture and High Performance Computing, Lyon, France, September 24-27, 2018
by Laurent Lefevre 14 May '18

14 May '18

CALL FOR PAPERS SBAC-PAD 2018 International Symposium on Computer Architecture and High Performance Computing Lyon, France September 24-27, 2018 http://avalon.ens-lyon.fr/sbac-pad SBAC-PAD is an international symposium, started in 1987, which has continuously presented an overview of new developments, applications, and trends in parallel and distributed computing technologies. SBAC-PAD is open for faculty members, researchers, specialists and graduate students around the world. In this edition, the symposium will be held at the École Normale Supérieure of Lyon, in France. Known as the Gastronomy Capital, Lyon is the 2nd largest economic and industrial region in France, and has become one of the favorite destinations for tourism in Europe. Lyon is also considered the most liveable city in France according to the Economist Intelligence Unit. Authors are invited to submit original manuscripts on a wide range of high-performance computing areas, including computer architecture, systems software, languages and compilers, algorithms, performance analysis, and applications. Topics of interest include (but are not limited to): - Application-specific systems - Architecture and programming support for emerging domains (Big Data, Deep Learning, Machine learning, Cognitive Systems) - Benchmarking, performance measurements, and analysis - Cloud, cluster, and edge/fog computing systems - Embedded and pervasive systems - GPUs, FPGAs and accelerator architectures - Languages, compilers, and tools for parallel and distributed programming - Modeling and simulation methodology - Operating systems and virtualization - Parallel and distributed systems, algorithms, and applications - Power and energy-efficient systems - Processor, cache, memory, storage, and network architecture - Real-world applications and case studies - Reconfigurable, resilient and fault-tolerant systems PAPER SUBMISSION Submissions must be in English, 8 pages maximum, following the IEEE conference formatting guidelines. To be published in the SBAC-PAD 2018 Conference Proceedings and to be eligible for publication at the IEEE Xplore (pending), one of the authors must register at the full rate. Authors may not use a single registration for multiple papers. Authors of selected papers will be invited to submit extended versions of their papers for publication on a selected journal. IMPORTANT DATES - Abstract deadline: May 25, 2018 - Paper deadline: June 1, 2018 - Rebuttal period: June 27-28, 2018 - Author notification: July 6, 2018 - Camera-ready: July 20, 2018 ORGANIZING COMMITTEE General Chairs - Laurent Lefèvre (Inria, ENS Lyon, University of Lyon, France) - Alfredo Goldman (Sao Paulo University, Brazil) - Marcos Dias de Assuncao (Inria, ENS Lyon, University of Lyon, France) Program Co-chairs - Rosa M Badia (Barcelona Supercomputing Center, Spain) - Manish Parashar (Rutgers University, USA) - Lucas Mello Schnorr (Federal University of Rio Grande do Sul, Brazil) PROGRAM COMMITTEE Computer Architecture Track Chair: Kalyana Chadalavada (Intel, USA) - Celso Mendes (University of Illinois at Urbana-Champaign, USA) - Cristiana Bentes (UERJ, Brazil) - Edson Borin (University of Campinas, Brazil) - Farah Fargo (University of Arizona, USA) - Felipe Maia Galvao Franca (COPPE-UFRJ, Brazil) - Jose Moreira (IBM, USA) - Kalyana Chadalavada (Intel, USA) - Naveen Cherukuri (NVIDIA, USA) - Rathish Jayabharathi (Intel, USA) - Rodolfo Azevedo (University of Campinas, Brazil) Networking and Distributed Systems Track Chair: Wagner Meira, Jr, (Federal University of Minas Gerais, Brazil) - Andrey Britto (UFCG, Brazil) - Bruno Schulze (LNCC, Brazil) - Carlos Varela (Rensselaer Polytechnic Institute, USA) - Domenico Talia (University of Calabria, Italy) - Dorgival Guedes Neto (UFMG, Brazil) - Elias P. Duarte Jr. (UFPR, Brazil) - Harold Castro (Universidad de los Andes, Colombia) - Javier Garcia-Blas (University Carlos III of Madrid, Spain) - Juan Durillo (University of Innsbruck, Austria) - Nicolae Bogdan (Huawei, China) - Omer Rana (Cardiff University, UK) - Priscila Solis (UnB, Brazil) - Rizos Sakellariou (University of Manchester, UK) - Rodrigo Fonseca (Brown, USA) - Ronaldo Ferreira (UFMS, Brazil) - Sandra Gesing (Notre Dame University, USA) - Zhiyi Huang (University of Otago, New Zealand) Parallel Applications and Algorithms Track Chair: Enrique Quintana-Ortí, (Universidad Jaime I, Spain) - Emmanuel Agullo (Inria, France) - José Ignacio Aliaga (Computer Science and Engineering Department, University Jaime I, Spain) - Hartwig Anzt (Karlsruhe Institute of Technology, Germany) - Michael Bader (Technical University of Munich, Germany) - Paolo Bientinesi (RWTH Aachen University, Germany) - Kei Davis (Los Alamos National Laboratory, USA) - Alba Melo (University of Brasilia, Brazil) - Pablo Ezzatti Udelar (Uruguay) - Mathieu Faverge (Bordeaux INP, France) - Domingo Gimenez (University of Murcia, Spain) - Daniel S. Katz (University of Illinois Urbana-Champaign, USA) - Hatem Ltaief (KAUST, Saudi Arabia) - Piotr Luszczek (University of Tennessee Knoxville, USA) - Viktor Prasanna (University of Southern California, USA) - Olaf Schenk (Universita della Svizzera Italiana, Switzerland) - Leonel Sousa (Lisbon University, Portugal) - Guillermo Taboada (University of A Coruña, Spain) - Pedro Valero-Lara (The University of Manchester, UK) - Jaroslaw Zola (State University of New York, USA) - Jairo Panetta (INPE, Brazil) Performance Evaluation Track Chair: Arnaud Legrand (CNRS/Inria/Université Grenoble Alpes, France) - Laura Carrington (San Diego Supercomputer Center/University of California, USA) - Cesar De Rose (PUCRS, Brazil) - Alfredo Goldman (University of São Paulo, Brazil) - Andreas Knupfer (TU Dresden, Germany) - Swann Perarnau (Argonne National Laboratory, USA) - Martin Schulz (Technical University of Munich, Germany) - Frederic Suter (CC IN2P3 / CNRS, France) System Software Track Chair: Adrien Lebre (IMT Atlantique/Inria/LS2N, France) - Rafael Asenjo (Dpt. Computer Architecture, Univ. Malaga. Spain) - Paolo Bellavista (University of Bologna, Italy) - Siegfried Benkner (University of Vienna, Austria) - Carlo Bertolli (IBM TJ Watson Research Center, United States) - Francisco Brasileiro (UFCG, Brazil) - Helene Coullon (Inria, France) - Michael Gerndt (Technical University of Munich, Germany) - Antonio J. Peña (Barcelona Supercomputing Center -BSC, Spain) - Mauricio Pillon (UDESC, Brazil) - Radu Prodan (University of Klagenfurt, Austria) - Mario Südholt (IMT Atlantique, France) - Cedric Tedeschi (Inria, France) - Ayal Zaks (Intel, Israel)

1 0

CfP+CfA ::: IFIP World Computer Congress 2018
by Robert Wrembel 10 May '18

10 May '18

Call for Papers and Attendance INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING WORLD COMPUTER CONGRESS Sep 17-21, 2018 Poznan, Poland wcc2018.org wcc2018.put.poznan.pl INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING (IFIP) ------------------------------------------------------------------------ * The leading multinational organization in Information & Communications Technologies (ICT), established 60 years ago * Recognized by United Nations and other world bodies * Membership covers over 50 countries, with a total membership of over 350 000 * Includes over 100 Working Groups organized in 13 Technical Committees WORLD COMPUTER CONGRESS (WCC) ------------------------------------------------------------------------ The World Computer Congress is the main event of the International Federation For Information Processing, being organized since 1959. In the recent past, WCC was held in: Canada (2002), France (2004), Chile (2006), Italy (2008), Australia (2010), the Netherlands (2012), and Korea (2015). MAIN TOPICS OF WCC: http://wcc2018.org/program ------------------------------------------------------------------------ - Security and Privacy - Data Science - Big Data Management and Analysis - Enterprise Information Systems and Database Technologies - the Internet of Things - Entertainment Computing - Social Aspects of Information Technologies - the History of Computing CONTESTS ------------------------------------------------------------------------ - PhD Student Research Competition - Cybersecurity contest: Capture-the-Flag HIGHLIGHTS: http://wcc2018.put.poznan.pl/ ------------------------------------------------------------------------ Keynote talks ---------------- - Prof. Wil van der Aalst (one of the most cited computer scientists in the world, top expert in workflow management, process mining, Petri nets, business process management, process modeling, and process analysis) Talk title: Responsible Data Science in a Dynamic World - Dr. Jan Camenisch (a leading scientist in the area of privacy and cryptography, Principal Research Staff Member at IBM Research - Zurich) - Prof. Leslie Valiant (world-renowned for contributions to complexity theory, Turing Award holder) Talk title: What Needs to be Added to Machine Learning? - Shamika N. Sirimanne (world-renowned expert in disaster risk reduction) Available grants ---------------- - 7 participation grants for students presenting at PhD Student Research Competition (http://wcc2018.put.poznan.pl/PhD-Workshop) - 2-3 travel grants for PhD students from developing countries - 1 travel grant for a mature researcher from a developing country (http://wcc2018.put.poznan.pl/grants) CALL FOR PAPERS ------------------------------------------------------------------------ The following events have open calls for papers (for details see the web pages of individual events): http://wcc2018.put.poznan.pl/program - International Conference on Research and Practical Issues Enterprise Information Systems - IFIP Internet of Things Conference - International Symposium on Computer and Information Sciences - International Conference on Entertainment Computing - Histories of Computing in Eastern Europe - Semantics in Big Data Management - IT in Disaster Risk Reduction Conference - IT Research Workshop - Applied Data Science

1 0

Ada-Europe 2018 - early registration until May 14
by Dirk Craeynest 08 May '18

08 May '18

----------------------------------------------------------------------- 2nd Call for Participation *** UPDATED Program Summary *** 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 18-22 June 2018, Lisbon, Portugal http://www.ada-europe.org/conference2018 Organized by Univ. Lisboa and Ada-Europe, in cooperation with ACM SIGAda, SIGBED, SIGPLAN and the Ada Resource Association (ARA) *** Early registration discount until May 14 *** *** Add tutorials to your conference registration *** http://www.ada-europe.org/conference2018/tutorials.html *** Use conference poster to promote event *** http://www.ada-europe.org/conference2018/posters/AE2018_poster.png ----------------------------------------------------------------------- The 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 will take place in Lisbon, Portugal, from June 18 to 22. As per its traditional style, the conference will span a full week, including, from Tuesday to Thursday, three days of scientific, technical and industrial programs, along with tutorials and workshops on Monday and Friday. The Ada-Europe series of conferences has over the years become a leading international forum for providers, practitioners and researchers in reliable software technologies. These events highlight the increased relevance of Ada in general and in safety- and security-critical systems in particular, and provide a unique opportunity for interaction and collaboration between academics and industrial practitioners. Extensive information is available on the conference web site, such as an overview of the program, the list of accepted papers and industrial presentations, and descriptions of workshops, tutorials, keynote presentations, and social events. Also check the conference web site for registration, accommodation and travel information, as well as promotional material such as a ready-to-print conference poster and the 16-page Advance Program brochure. Quick overview - Mon 18 & Fri 22: tutorials + workshops - Tue 19 - Thu 21: core program Proceedings - published by Springer - volume 10873 in Lecture Notes in Computer Science series - will be available at conference Program Chair - António Casimiro, LASIGE/U. Lisboa, Portugal casim at ciencias.ulisboa.pt Keynote speakers - Paulo Esteves-Veríssimo, University of Luxembourg, Luxembourg, "Security and Dependability Challenges of IT/OT Integration" - Carl Brandon, Vermont Technical College, USA, "From Physicist to Rocket Scientist, and how to make a CubeSat that works" - Erhard Plödereder, University of Stuttgart, Germany, "Vulnerabilities in Safety, Security, and Privacy" Workshops (full day) - "Runtime Verification and Monitoring Technologies for Embedded Systems" Workshop (RUME 2018) - 5th International Workshop on "Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering" (DeCPS 2018) Tutorials (full day) - "Recent Developments in SPARK 2014" Peter Chapin, Vermont Technical College, USA - "Scheduling analysis of AADL architecture models" Frank Singhoff, Lab-STICC/UBO, France Pierre Dissaux, Ellidiss Technologies, France Tutorials (half day) - "Access types and memory management in Ada 2012" Jean-Pierre Rosen, Adalog, France - "Design and architecture guidelines for trustworthy systems" William Bail, The MITRE Corporation, USA - "Numerics for the Non-Numerical Analyst" Jean-Pierre Rosen, Adalog, France - "Requirements development for safety and security critical systems" William Bail, The MITRE Corporation, USA - "Writing Contracts in Ada" Jacob Sparre Andersen, JSA Research & Innovation - "Introduction to Libadalang" R. Amiard, P.M. de Rodat Raphaël Amiard, Pierre-Marie de Rodat, AdaCore, France - "Unit-testing with Ahven" Jacob Sparre Andersen, JSA Research & Innovation - "Frama-C, a Framework for Analysing C Code" Julien Signoles, CEA LIST, France Papers and Presentations - 10 refereed technical papers and 4 presentations in sessions on Safety and Security, Ada 202X, Handling Implicit Overhead, Real-time Scheduling, New Application Domains - 12 industrial presentations and experience reports in sessions on Ada in Industry, Space Systems, V&V of Safety-Cricital Software, Software Methodologies - submissions by authors from 19 countries, and accepted contributions from Austria, France, Germany, Italy, Norway Poland, Portugal, South Korea, Spain, Sweden, Switzerland, UK, USA Vendor exhibition and networking area - area features exhibitor booths, project posters, reserved vendor tables, and general networking options - several companies already committed; others expected to confirm soon - vendor presentation sessions in core program Social events - each day: coffee breaks in the exhibition space and sit-down lunches offer ample time for interaction and networking - Tuesday evening: Ada-Europe General Assembly, followed by Welcome Reception on board of modern catamaran, to see Lisbon from a different perspective and watch the sunset from the Tagus river - Wednesday evening: transportation to restaurant "A Casa do Bacalhau", for the traditional Ada-Europe Conference Banquet; the name means "The House of the Codfish", so it is not too difficult to guess what is their speciality - Best Paper and Best Presentation awards will be handed out Registration - online registration is open at <http://www.ada-europe.org/conference2018/registration.html> - early registration discount up to Monday May 14, 2018 - additional discount for academia, Ada-Europe, ACM SIGAda, SIGBED and SIGPLAN members - student discounts are available - registration includes copy of printed proceedings at event - includes coffee breaks and lunches - three day conference registration includes all social events - tutorial fees reduced when taken together with 3-day conference - payment possible by credit card or bank transfer - see registration page for all details Promotion - recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2018 - 16-page Advance Program brochure available online <http://www.ada-europe.org/conference2018/AdaEurope2018%20Advance%20Program.…> - support Ada-Europe 2018 with promotional poster available at <http://www.ada-europe.org/conference2018/posters/AE2018_poster.png> Please make sure you book accommodation as soon as possible. Lisbon will be very busy in that week. For more info and latest updates see the conference web site at <http://www.ada-europe.org/conference2018>. We look forward to seeing you in Lisbon in June 2018! ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, Ada-Europe'2018 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be *** 23rd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2018 *** June 18-22, 2018 ** Lisbon, Portugal *** http://www.ada-europe.org

1 0

(CALL FOR PAPERS) PAW-ATM: Parallel Applications Workshop, Alternatives To MPI
by Morris, Karla NMN 08 May '18

08 May '18

************************************************ Call for Papers PAW-ATM: Parallel Applications Workshop, Alternatives To MPI Held in conjunction with SC 18, Dallas, TX <http://sourceryinstitute.github.io/PAW/> ************************************************ Summary As high-performance computing hardware incorporates increasing levels of heterogeneity, hierarchical organization, and complexity, parallel programming techniques necessarily grow in complexity or in their ability to abstract away complexity. The concurrent development of multi- and many-core processors, deep memory hierarchies, and accelerators and the variety of ways to combine these makes the low-level language route unmanageable for domain experts tasked with developing applications. The technologies that a competent developer might be expected to master and combine include MPI plus CUDA, OpenMP, and OpenACC, most commonly denoted MPI + X. This approach inherently saddles the developer with low-level details that might better be handled by high-level abstractions. Higher-level parallel programming models offer rich sets of abstractions that feel natural in the intended applications. Such languages and tools include (Fortran, UPC, Julia), systems for large-scale data processing and analytics (Spark, Tensorflow, Dask), and frameworks and libraries that extend existing languages (Charm++, Unified Parallel C++ (UPC++), Coarray C++, HPX, Legion, Global Arrays). While there are tremendous differences between these approaches, all strive to support better programmer abstractions for concerns such as data parallelism, task parallelism, dynamic load balancing, and data placement across the memory hierarchy. This workshop will bring together applications experts who will present concrete practical examples of using such alternatives to MPI in order to illustrate the benefits of high-level approaches to scalable programming. The workshop expands upon the two similar workshops, PAW16 and PAW17, by broadening the theme beyond partitioned global address space languages. We invite you to take part in the Parallel Applications Workshop, Alternatives To MPI, and to join this vibrant and diverse community of researchers and developers. Scope and Aims The scope of the PAW-ATM workshop is to provide a forum for exhibiting case studies of higher-level programming models as MPI alternatives in the context of applications as a means of better understanding applications of MPI alternatives. We encourage the submission of papers and talks detailing such applications, including characterizations of scalability and performance, of expressiveness and programmability, as well as any downsides or areas for improvement in existing higher-level programming models. In addition to informing other application programmers about the potential that is available through MPI alternatives, the workshop is designed to communicate these experiences to compiler vendors, library developers, and system architects in order to achieve broader support for high-level approaches to scalable programming. We also specifically encourage submissions covering big data analytics, deep learning, and other novel and emerging application areas, beyond well-established HPC domains. Topics include, but are not limited to: * Novel application development using parallel programming languages. * Examples that demonstrate performance, compiler optimization, error checking, and reduced software complexity. * Applications from big data analytics, bioinformatics, and other novel areas. * Performance evaluation of applications developed using MPI alternatives. * Algorithmic models enabled by high-level parallel abstractions. * Experience with the use of new compiler and runtime environments. * Libraries using or supporting MPI alternatives. * Benefits of hardware abstraction and data locality on algorithm implementation. Submissions Submissions are solicited in two categories: Full-length papers presenting novel research results: * Full-length papers will be published in the workshop proceedings in cooperation with IEEE TCHPC. Submitted papers must be original work that has not appeared in and is not under consideration for another conference or a journal. Papers shall not exceed eight (8) pages including text, appendices, references, and figures. Appendix pages related to the reproducibility initiative not included. Extended abstracts summarizing published/preliminary results: * Extended abstracts will be evaluated separately and will not be included in the published proceedings; they are intended for timely communications of novel work that is going to be formally submitted elsewhere at a later stage, and/or of already published work that is nonetheless deemed appropriate for dissemination in this venue. Extended abstracts shall not exceed four (4) pages. Accepted full-length papers will be given longer presentation slots at the workshop than the abstract-only option. Submissions shall be submitted through Linklings ( https://submissions.supercomputing.org ). Submissions must use 10pt fonts in the IEEE format ( https://www.ieee.org/conferences/publishing/templates.html ). The page limit includes figures, tables, and your appendices, but does not include references, for which there is no page limit. Reproducibility initiative dependencies (Artifact Description or Computational Results Analysis) are also not included in the page limit. PAW-ATM follows the reproducibility initiative of SC18, please refer to http://sourceryinstitute.github.io/PAW/ for additional information. WORKSHOP CHAIR * Karla Morris - Sandia National Laboratory ORGANIZING COMMITTEE * Bradford L. Chamberlain - Cray Inc. * Salvatore Filippone - Cranfield University * Costin Iancu - Lawrence Berkeley National Laboratory PROGRAM COMMITTEE CHAIR * Bill Long - Cray Inc. PROGRAM COMMITTEE * Bradford L. Chamberlain - Cray Inc. * Valentin Churavy - Massachusetts Institute of Technology * Salvatore Filippone - Cranfield University, UK * Alex Gittens - Rensselaer Polytechnic Institute * Costin Iancu - Lawrence Berkeley National Laboratory * Hartmut Kaiser - Louisiana State University * Laxmikant Kale - University of Illinois * Seung-Hwan Lim - Oak Ridge National Laboratory * Bill Long - Cray Inc. * Karla Morris - Sandia National Laboratories * Mitsuhisa Sato - RIKEN Advanced Institute for Computational Science * Sean Treichler - NVIDIA * Jeremiah J. Wilke - Sandia National Laboratories ADVISORY COMMITTEE * Damian W. I. Rouson - Sourcery Institute * Katherine A. Yelick - Lawrence Berkeley National Laboratory IMPORTANT DATES: * Submission Deadline: July 31, 2018 * Author Notification: September 1, 2018 * Camera Ready: October 1, 2018 * Workshop Date: November 11--16, 2018

1 0

FROM 2018 - 3rd CFP - Deadline Extended to 11 May
by Stefan Ciobaca 29 Apr '18

29 Apr '18

[Apologies for multiple copies] FROM 2018 - Third Call for Papers WORKING FORMAL METHODS SYMPOSIUM (FROM) http://fmse.info.uaic.ro/event/from-2018/ Special Issue in Fundamenta Informaticae 18 - 20 June 2018 Faculty of Computer Science Alexandru Ioan Cuza University Iasi, Romania New! Extended deadline for abstract submissions: 11 May 2018 (firm) Old deadline: 29 April 2018 Notification: 21 May 2018 Invited speakers: Călin Belta, Boston University, US Radu Călinescu, University of York, UK Cătălin Dima, Universite Paris-Est Creteil, France Dragos Gavrilut, Bitdefender and Alexandru Ioan Cuza University, Romania Radu Grigore, School of Computing University of Kent, UK Radu Grosu, Vienna University of Technology, Austria Cătălin Hriţcu, INRIA Paris, France Mircea Marin, West University of Timișoara, Romania Grigore Roşu, University of Illinois at Urbana-Champaign, US Viorica Sofronie-Stokkermans, University Of Koblenz, Landau, Germany Gheorghe Ștefănescu, University of Bucharest, Romania Aims and Scope Formal methods emphasize the use of mathematical techniques and rigour for developing software and hardware. They can be used to specify, verify, and analyse systems at any stage in their life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assumes on one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user effectively apply these methods/frameworks. FROM 2018 is organized by the Faculty of Computer Science at the Alexandru Ioan Cuza University in Iasi, The Research Institute of the University of Bucharest (ICUB), and the Faculty of Mathematics and Computer Science at the University of Bucharest. FROM 2018 is the second event in a 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. Starting with the current edition, the goal is to increase the weight of the contributed talks. The Working Formal Methods Symposium (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. PhD Students are highly encouraged to participate and support for accommodation might be available upon request. 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. 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 Submissions Regular contributions will be based on an extended abstract of maximum 4 pages, except references, formatted according to the Springer LNCS guidelines: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The extended abstracts should be submitted before 29 April 2018, via EasyChair: https://easychair.org/conferences/?conf=from2018 The notification of acceptance will be received by 21 May 2018. The authors of the best contributions will be invited to submit extended versions to a special issue of Fundamenta Informaticae. Laurențiu Leuștean, co-chair FROM 2018 Dorel Lucanu, co-chair FROM 2018

1 0

Call for participation: Oregon Programming Languages Summer School, July 9-21, 2018, Eugene, OR
by Boyana Norris 25 Apr '18

25 Apr '18

Call for Participation: Oregon Programming Languages Summer School, July 9-21, 2018, Eugene, OR https://www.cs.uoregon.edu/research/summerschool/summer18/ <https://www.cs.uoregon.edu/research/summerschool/summer18/> The Oregon Programming Languages Summer School is devoted to teaching the principles of programming languages to students and professionals. Although the topics vary from year to year, the unifying theme is the importance of fundamental theory to the design and implementation of programming languages, the development of program verification tools, and the application of advanced programming languages to practice. The summer school attracts participants from around the world, and is often able to subsidize the participation of qualified attendees with limited resources. More than a thousand participants have attended OPLSS since its inception in 2002. The summer school is sponsored by the National Science Foundation, and by generous grants from numerous companies over the years. This year's program is entitled Concurrency and Parallelism, and is co-organized by Guy Blelloch. Parallelism and concurrency are central issues in programming, and enjoy richly developed theoretical foundations that are directly applicable to programming practice. The two topics are closely related, but it is helpful to distinguish their separate purposes as well as consider their close relation to each other. Parallelism is principally concerned with efficiency, making programs run faster by taking advantage of multiple processing elements. Making parallelism practical requires fundamental theories of cost semantics and parallel algorithms, and requires the development of sophisticated compilers and run-time systems. Concurrency is principally concerned with program composition, building a composite system from components that execute independently and interact with one another. There is much active research on the design and semantics of concurrent programming languages, and on the development of verification tools to ensure their correctness. This year's speakers will address many of these topics from various perspectives. The main program takes place over two weeks, with ample time for group and private study, and to take advantage of the many recreational opportunities around Eugene. For the first time this year there will be an additional week at the start for teaching the basics of programming language theory to students with little or no prior experience. For more details and to register, go to https://www.cs.uoregon.edu/research/summerschool/summer18/ <https://www.cs.uoregon.edu/research/summerschool/summer18/> -- Boyana Norris https://ix.cs.uoregon.edu/~norris <https://ix.cs.uoregon.edu/~norris> -- Boyana Norris https://ix.cs.uoregon.edu/~norris

1 0

FROM 2018 - Second Call for Papers (special issue in Fundamenta Informaticae)
by Stefan Ciobaca 23 Apr '18

23 Apr '18

[Apologies for multiple copies] FROM 2018 - Second Call for Papers WORKING FORMAL METHODS SYMPOSIUM (FROM) http://fmse.info.uaic.ro/event/from-2018/ New! Special Issue: Fundamenta Informaticae 18 - 20 June 2018 Faculty of Computer Science Alexandru Ioan Cuza University Iasi, Romania Deadline for extended abstract submissions: 29 April 2018 Invited speakers: Călin Belta, Boston University, US Radu Călinescu, University of York, UK Cătălin Dima, Universite Paris-Est Creteil, France Dragos Gavrilut, Bitdefender and Alexandru Ioan Cuza University, Romania Radu Grigore, School of Computing University of Kent, UK Radu Grosu, Vienna University of Technology, Austria Cătălin Hriţcu, INRIA Paris, France Mircea Marin, West University of Timișoara, Romania Grigore Roşu, University of Illinois at Urbana-Champaign, US Viorica Sofronie-Stokkermans, University Of Koblenz, Landau, Germany Gheorghe Ștefănescu, University of Bucharest, Romania Aims and Scope Formal methods emphasize the use of mathematical techniques and rigour for developing software and hardware. They can be used to specify, verify, and analyse systems at any stage in their life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assumes on one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user effectively apply these methods/frameworks. FROM 2018 is organized by the Faculty of Computer Science at the Alexandru Ioan Cuza University in Iasi, The Research Institute of the University of Bucharest (ICUB), and the Faculty of Mathematics and Computer Science at the University of Bucharest. FROM 2018 is the second event in a 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. Starting with the current edition, the goal is to increase the weight of the contributed talks. The Working Formal Methods Symposium (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. PhD Students are highly encouraged to participate and support for accommodation might be available upon request. 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. 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 Submissions Regular contributions will be based on an extended abstract of maximum 4 pages, except references, formatted according to the Springer LNCS guidelines: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The extended abstracts should be submitted before 29 April 2018, via EasyChair: https://easychair.org/conferences/?conf=from2018 The notification of acceptance will be received by 21 May 2018. The authors of the best contributions will be invited to submit extended versions to a special issue of Fundamenta Informaticae. Laurențiu Leuștean, co-chair FROM 2018 Dorel Lucanu, co-chair FROM 2018

1 0

Workshop on Statistical Modelling Using Health Data in R & SPSS
by Ashish gaur 23 Apr '18

23 Apr '18

Dear Madam/Sir, It is a matter of immense pleasure that the *Department of Biostatistics, Swami Rama Himalayan University, Dehradun, Uttarakhand *will be organizing Workshop Series for the academic year 2017-2018 followed by Seventh Workshop on *Statistical Modelling Using Health Data in R & SPSS on 07th to 11th May, 2018 *at *Department of Biostatistics, Swami Rama Himalayan University, Dehradun. * In an effort to enhance the competence of budding researchers (postgraduate students and faculty). This Workshop organized by the department will enable the participants, to know the application of biostatistics for medical research using R and SPSS. This is a genuine hands-on experience workshop with illustrious faculty from prestigious institutes. *Dr. Anil C. Mathew* Professor, Division of Biostatistics, Department of Community Medicine, P.S.G Institute of Medical Sciences & Research, Coimbatore, Kerala *Dr. Gulab Singh* Assistant Professor, Department of Mathematics and Statistics, Banasthali Vidyapeeth, Jaipur, Rajasthan *Dr. Kh. Jitenkumar Singh* Scientist-D National Institute of Medical Statistics, Indian Council of Medical Research New Delhi Ø *Offline Registration:* You can also apply through offline on department email hod.biostats(a)srhu.edu.in and demand draft will be made in favor of “Swami Rama Himalayan University” payable at State Bank of India, Jolly Grant, Dehradun Branch (Code: 10580) to The Registrar, Swami Rama Himalayan University, Swami Ram Nagar, P.O. Doiwala, Dehradun-248140 Uttarakhand. OR submit fees in cash in Department. Ø *Online Registration link is given below:* https://forms.srhu.edu.in/index.php/bio-statistics-workshop/ *Kindly circulate this information to faculties and postgraduate students of your respective department.* ------------------------------------------------------------ ------------------------------------------------------------ ----------------------------------------------------------------- ------------------------------ *Shubham Pandey* Organizing Chairperson, Asstt. Professor & Incharge, Department of Biostatistics, Swami Rama Himalayan University Dehradun, Uttarakhand, India Mob: 8400192344 Off.-0135-2471545 *For registration, contact:* Ashish Gaur Organizing Secretary Department of Biostatistics, Swami Rama Himalayan University Dehradun, Uttarakhand, India Contact No: 7831839434, 7007027833, 9560750241 Email: hod.biostats(a)srhu.edu.in ashishgaur.or(a)gmail.com -------------------------------------------------- Ashish Gaur Department of Biostatistics Swami Rama Himalayan University Dehradun.

1 0

CfP: 25th IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC 2018)
by Anand Panangadan 22 Apr '18

22 Apr '18

------------------------------------------------------------ ------------------------------------ 25th IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC 2018) December 17-20, 2018 Bengaluru, India www.hipc.org ------------------------------------------------------------ ------------------------------------ IMPORTANT DATES FOR HiPC 2018 •June 8..................Abstracts Due •June 15................Paper Submission Deadline •August 8-15........Rebuttals •September 7.......Author Notification •October 3...........Camera Ready Submission ------------------------------------------------------------ ------------------------------------ HiPC 2018 CALL FOR PAPERS Full information on what/where to submit is available at http://hipc.org/call-for-papers/ 2018 marks the Silver Anniversary of HiPC as we broaden the technical program to specifically include topics related to data science. The conference has a history of attracting participation from reputed researchers from all over the world and receives strong industry support from companies operating globally and also established in India. In addition to the two days of industry exhibits, the sponsoring partners to the conference hold industry symposiums to bring together providers and users of HPC in a forum for presenting state-of-the-art in HPC platforms and technologies, for discussing best practices, and for exchanging experiences. In the last couple years, HiPC has added workshops to its technical program and along with a Student Research Symposium and academic Birds-of-a-Feather sessions, and the conference makes room for a broad list of topics to be addressed by these events including: Algorithms: - Design of Parallel and Distributed Algorithms - Algorithmic Techniques to Improve Energy and Power Efficiency - Quantum and Bio-Inspired Algorithms - Resilient and Fault Tolerant Algorithms - Parallel algorithms for Numerical Linear Algebra - Concurrent Algorithms and Data Structures - Load Balancing, Scheduling and Resource Management - Parallel Graph Algorithms - Algorithms for Combinatorial Scientific Computing - Parallel Algorithms for Computational Biology - Streaming Algorithms Architectures: - Interconnection Networks and Architectures - Cache/Memory Architecture for High Performance Computing - High Performance/Scalable Storage Systems - Power-Efficient and Reconfigurable Architectures - Quantum and Bio-Inspired Architectures - Software Support and Advanced Micro-architecture Techniques - Resilient and Fault Tolerant Architectures Applications: - Big Data Computing and Applications - Cross-Cutting Methods such as Co-Design of Parallel Algorithms, Software, and Architectures - Emerging Applications such as Biotechnology, IoT, and Nanotechnology - Hardware Acceleration for Parallel Applications - Parallelism in Scientific Data Visualization and Visual Analytics - Scientific/Engineering/Industrial Applications and Workloads - Scalable Machine Learning and Data Mining Applications - Scalable Graph and other Irregular Applications - Design of Simulation Applications and Peta- and Exascale Applications Systems Software: Big Data Analytics Systems and Software Architectures Compiler Technologies for High-Performance Computing Exascale Computing, Cloud Platforms, Data Center Architectures and Services Parallel Languages, Programming Environments, and Performance Assessment Operating Systems for Scalable High -Performance Computing Hybrid Parallel Programming with GPUs and Accelerators Dealing with Uncertainties, Resilient/Fault-Tolerant Systems DATA SCIENCE: Big Data Algorithms and Analytics - Transparent and interpretable predictive models - Socially responsible learning - Learning with changing environment, domain adaptation - Learning with structured input and output - Model evolution - Large-scale Graph and network modeling and analytics - Stream data analytics - Model evolution - Unsupervised learning Big Data Systems and Software - Data science applications in healthcare, education, social science, business, transportation, energy, telecommunications, science, and humanities - Social mining analytics and applications - Visual analytic systems and software using large-scale data - Web search and recommendation systems - Social impact systems using big data - Privacy preserving big data software - Massive, cross-media, streaming systems - Human-in-the-loop systems - Crowdsourcing and collective intelligence applications - Large-scale data science for the social good One or more best paper awards will be given for outstanding contributed papers. Authors of selected high quality papers in HiPC 2018 will be invited to submit an extended version of their papers for possible publication in a special issue of Journal of Parallel and Distributed Computing. PROGRAM CHAIRS - Olivier Beaumont, Inria, France (High Performance Computing) - Srinivas Aluru, Georgia Institute of Technology, USA (Data Science) PROGRAM VICE-CHAIRS - Algorithms: Ananth Kalyanaraman Washington State University - Applications: Yogish Sabharwal, IBM Research – India - Architecture: Abdou Guermouche, University of Bordeaux - System Software: Judith Hill, Oak Ridge National Laboratory - Big Data Algorithms and Analytics: Jun (Luke) Huan, University of Kansas - Big Data Systems and Software: Lisa Singh, Georgetown University ------------------------------------------------------------ ------------------------------------ Full information detailing what/where to submit is available on the HiPC Website at www.hipc.org as well as notices and plans for other conference events including workshops and programs for students and industry. ------------------------------------------------------------ ------------------------------------ GENERAL CO-CHAIRS Chiranjib Sur, Shell India Yinglong Xia, Huawei Research, USA VICE GENERAL CO-CHAIRS Kishore Kothapalli, IIIT-Hyderabad, India Anand Panangadan, California State University, Fullerton, USA INDUSTRY LIAISON CO-CHAIRS Rama Govindaraju, Google, USA Jigar Halani, Nvidia, India Vivek Yadav, FullStackNet, India WORKSHOPS CO-CHAIRS Manish Parashar, Rutgers University, USA Anthony Simonet, Rutgers University, USA TUTORIAL CHAIR Saumil Merchant, Shell, India STUDENT RESEARCH SYMPOSIUM CO-CHAIRS Kishore Kothapalli, IIIT-Hyderabad, India Madhura Purnaprajna, Amrita University, India Ashok Srinivasan, Florida State University, USA INDUSTRY, RESEARCH & USER SYMPOSIUM CO-CHAIRS R. Badrinath, Ericcson, India Rajeev Muralidhar, Intel, India STEERING COMMITTEE CHAIR Viktor K. Prasanna, University of Southern California, USA LOCAL ARRANGEMENTS CO-CHAIRS Rajeev Muralidhar, Intel, India Thondiyil Venugopalan, India ------------------------------------------------ HiPC 2018 SPONSORSHIP ------------------------------------------------ •IEEE Computer Society Technical Committee on Parallel Processing (TCPP) •HiPC Education Trust, India In cooperation with •ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) •ACM Special Interest Group on Computer Architecture (SIGARCH) •FIP Working Group on Concurrent Systems •Manufacturers' Association for Information Technology (MAIT) •National Association of Software and Service Companies (NASSCOM) ------------------------------------------------------------ ------------------------------------ Follow us on Twitter https://twitter.com/hipcconf Google+ https://plus.google.com/+HipcOrg Facebook https://www.facebook.com/hipc.conference/ ------------------------------------------------------------ ------------------------------------

1 0

6th School on Universal Logic : call for participation
by Christophe REY 20 Apr '18

20 Apr '18

-------------------------------------------------------------------------------------------- In exactly two months will start in Vichy, France the 6th School on Universal Logic http://www.uni-log.org/ULS6 This is a 5-day school with 30 tutorials on all aspects of logic (historical, philosophical, mathematical, computational) given by scholars from all over the world. The school will start by a round table "why study logic?" and will end with a round table "how to publish?" There also will be a poster session and the school will be followed by a 6-day congress. Some videos introducing UNILOG 2018 school tutorials: https://www.youtube.com/channel/UCW9jSSry0zoYz-FdREK5-Uw ------------------------------------------------------------------------------- U N I L O G - World Congress and School on Universal Logic - U N I LO G Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013, Istanbul 2015, Vichy 2018 https://www.uni-log.org/vichy2018 https://www.facebook.com/UniversalLogicVichy/ ------------------------------------------------------------------------------------ ___________________________________________________ Christophe Rey Co-chair of the organizing committee of UNILOG 2018 UNILOG 2018 : Website <https://www.uni-log.org/vichy2018> - Facebook <https://www.facebook.com/UniversalLogicVichy/> - Registration <https://api.dsi.uca.fr/paybag/registration/form/event/UNILOG2018> - Youtube channel <https://www.youtube.com/channel/UCW9jSSry0zoYz-FdREK5-Uw> MCF / Associate professor - Université Clermont Auvergne Email <mailto:christophe.rey@uca.fr> - Homepage <http://fc.isima.fr/%7Ecrey/> Laboratoire LIMOS Campus Universitaire des Cézeaux 1 rue de la Chebarde TSA 60125 - CS 60026 63178 AUBIERE cedex Tel : +33 (0)4 73 40 50 37 Fax : +33 (0)4 73 40 50 01 IUT d'Allier, Dept MMI Vichy Pôle Universitaire Lardy 1, av. des Célestins 03200 VICHY Tel : +33 (0)4 70 30 43 92 Fax : +33 (0)4 70 30 43 78 ___________________________________________________

1 0

[simu-conf] Canada Research Chair, Postdoctoral, PhD and Masters positions at Carleton University (Ottawa, ON, Canada)
by vsim-conf＠sce.carleton.ca 19 Apr '18

19 Apr '18

The Department of Systems and Computer Engineering (SCE) at Carleton University, Ottawa, Canada, invites applications from qualified candidates for Two Canada Research Chair (CRC) Tier 2 appointments beginning on July 1, 2018, and a number of Postdoctoral, Doctoral and Masters positions. SCE at Carleton is a research-intensive Department and hosts a large and active community covering the Electrical and Computer Engineering spectrum, including Software Engineering, Computer Systems Engineering, Communication Engineering, and Biomedical Engineering. Full advantage is taken of the high concentration of industry, government, and university technology organizations in the Ottawa area. For more information about the Department, please visit https://carleton.ca/sce/ Tier 2 Chairs are intended for exceptional emerging researchers, and the two positions are in the fields of: * Model-driven system and software engineering: https://carleton.ca/provost/2018/systems-computer-engineering-model-driven-s ystem-software-engineering-canada-research-chair-tier-ii/ * Cybersecurity: https://carleton.ca/provost/2018/systems-computer-engineering-cybersecurity- assistant-professor-preliminary/ We also have a number of open Postdoctoral, PhD and Masters positions in different fields, ranging from Modeling, Cloud Computing, Communications Systems and Networks, Simulation, IoT up to Software Engineering, Biomedical Engineering, Autonomous Vehicles, AI, Data Science and others. For Qualifying Domestic students, we have a variety of Research Assistant positions, and a new $45K Scholarship for 3 years for PhD studies, and a free-tuition program for Masters and PhDs. Also, we offer and a 2-year free tuition scholarship for top International Masters and PhD students. For further information about these positions, contact the Associate Chair for Graduate Studies at gchair(a)sce.carleton.ca. Carleton University is a dynamic and innovative research and teaching institution with over 29,000 students, 950 academic faculty, and 2,000 staff. We encourage creative risk-taking enabling minds to connect, discover and generate transformative knowledge. Located in Ottawa, Ontario, Canada's capital city has a population of almost one million and reflects the country's bilingual and multicultural character. Further information: https://carleton.ca/ [Apologies for multiple postings. Problems/issues: contact vsim-conf-owner(a)sce.carleton.ca]

1 0

Joint Workshop on Deep (or Machine) Learning for Safety-Critical Applications in Engineering
by Mariam Kiran 19 Apr '18

19 Apr '18

Dear All, Apologies for cross posting. This is a Joint Workshop between ICML (https://icml.cc/Conferences/2 018/CallForWorkshops), AAMAS (http://celweb.vuse.vanderbilt .edu/aamas18/workshopsList/) and IJCAI (https://www.ijcai-18.org/workshops/ ). Modern technological advances in engineering fields such as automotive, aerospace, robotic, even data centers and networks, are exploiting machine learning to improve and maintain mission critical activities. These systems are large, complex and require real-time learning with feedback to ensure they function as desired. Detecting anomalies, analyzing failures and predicting future system state are imperative and are becoming part of engineering integrative approaches. Research in algorithmic methods to make real-time decisions based on fast arriving, high-volume condition data, on-site feedback and data models is needed to train machine learning models quickly and correctly. This workshop aims to bring together diverse researchers from areas such as reinforcement learning, autonomous agents, game theory, controls and operations engineering teams to develop approaches which enable real-time discovery, inference and computational tools. These techniques are aimed to influence engineering operations teams in aerospace, self-driving automotive, robotics, data centers and any engineering operations that automate mission-critical and safety applications. We encourage focus on aspects of deep learning to solve problems into domains where continuous training and fast results are needed without jeopardizing prediction accuracy. However, we also encourage exploration of new innovative machine learning approaches, which can solve these problems with improved latency. We are also seeking contributions in advances of streaming and distributed algorithms, heterogeneous and high-dimensional data sets and real-time decision- making algorithms for operations. Some possible topics of interests but not confined are: - *Adaptation*: How can systems learn and adapt to changes in the environment (especially in dynamic environments) when training data is less and requires quick model assumption. How can principles of autonomous agents working together to build large engineering systems be exploited to react in dynamic situations. - *Noisy and poor data sets*: How can machine learning models be trained to understand noisy data sets for quick learning. Missing data exploration? - *Detecting anomalous behavior:* How can anomalies be detected quickly and partitioned appropriately such that correct actions are applied? - *Improving latency:* How can machine learning algorithms be improved to produce results quickly than previously anticipated? - *Improving software and hardware performance:* Exploring models of GPU, HPC processing and FPGAs to improve the performance of algorithms can greatly influence their use in engineering design. Experimental demonstrations are encouraged to display this. - *Reinforcement learning:* How can machine learn correct behavior? Can training be made quicker with guidance to allow algorithms to produce corrective measure when anomalies are detected? - *Human factors:* how can engineers maintaining the system interact with the self- autonomous system - *Open problems in engineering where machine learning is not proving fruitful*. What are the open problems in operations where practical machine learning is difficult to apply? What are the limitations and how can these be improved? Workshop dates will be between 14th and 15th of July 2018, located as part of Joint IJCAI/ECAI/AAMAS/ICML Call for Workshops. Specific dates will be announced soon. Important dates: -------------------------- - Submission deadline: 28th May, 2018, 23:59 (PDT) - Author notification: 15th June, 2018 - Camera-ready (final) paper deadline: 1st July, 2018 - Workshop: 14th or 15th July, 2018 (To be confirmed) Submission Guidelines: -------------------------------- The abstract and paper submission deadline is the 28th of May 2018. Please upload the final PDF as an updated version in your existing submission on EasyChair. All submissions must obey the following formatting requirements. Submit papers of *no more than six (6)* single–spaced pages for long papers (and *four (4) for short papers*), including figures, tables, any appendices, etc., followed by as many pages as necessary for references. Submit papers formatted for printing on Letter-sized (8.5” by 11”) paper. Paper text blocks must follow ACM guidelines: double-column, with each column 9.25” by 3.33”, 0.33” space between columns. Each column must use 10-point font or larger, and contain no more than 55 lines of text. It is your responsibility to ensure that your submission satisfies the above requirements. If you are using LaTeX, you can make use of template for ACM conference proceedings. For your posters, we suggest A0 size measuring 841 × 1189 mm (33.1 × 46.8 in). Note that the workshop venue cannot accommodate posters larger than 910 × 1220 mm (36 × 48 in). All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome: - Full papers describing mature solutions of deep learning in safety critical systems from various engineering domains such as security networks and self-autonomous cars or more. - Short paper on early demonstrations of deep learning in safety critical systems from various engineering domains. - Posters on early works (PhD students and early career researchers are particularly encouraged) Selected papers will be invited for publication, in Journal special issues such as Journal of Machine learning (pending). Program Committee: ------------------------------- - Mariam Kiran, Lawrence Berkeley National Lab, US - Alex Sim, Lawrence Berkeley National Lab, US - John Wu, Lawrence Berkeley National Lab, US - Samir Khan, University of Tokyo, Tokyo, Japan - Takehisa Yairi, University of Tokyo, Japan - Rajkumar Kettimuthu, Argonne National Laboratory, US Organizing committee: -------------------------------------- Mariam Kiran, Lawrence Berkeley National Lab Samir Khan University of Tokyo, Tokyo, Japan Contact: All questions about submissions should be emailed to <mkiran(a)es.net , khan(a)ailab.t.u-tokyo.ac.jp>.

1 0

Call for Workshop Paper: ARES 2018
by res.mb.conference 19 Apr '18

19 Apr '18

ARES 2018 - CALL FOR WORKSHOP PAPER ****************************************************************************************** The 13th International Conference on Availability, Reliability and Security (ARES 2018) August 27 - August 30, 2018, Hamburg, Germany http://www.ares-conference.eu<http://www.ares-conference.eu/> ****************************************************************************************** *********** Workshops @ ARES CONFERENCE ************ The 13th International Conference on Availability, Reliability and Security ("ARES") will bring together researchers and practitioners in the area of dependability. ARES will highlight the various aspects of security - with special focus on the crucial linkage between availability, reliability and security. ARES aims at a full and detailed discussion of the research issues of security as an integrative concept that covers amongst others availability, safety, confidentiality, integrity, maintainability and security in the different fields of applications. The workshops are central events for ARES as they provide an essential platform for researchers of various domains to present and discuss their current work and discuss work in progress. This year we can offer the conference attendees 12 workshops which range from "start-ups" to well-established ones. Workshops @ ARES 2018 and their submission deadlines: *7th International Workshop on Cyber Crimes (IWCC) *13th International Workshop on Frontiers in Availability, Reliability and Security (FARES 2013) / 29.04.2018 *2ne International Workshop on Security and Forensics of IoT (IoT-SECFOR) 30.04.2018 *International Workshop on Cyber Threat Intelligence (WCTI) 30.04.2018 *11th International Workshop on Digital Forensics (WSDF) 30.04.2018 *1st Interdisciplinary Workshop on Privacy and Trust (iPAT) 04.05.2018 *4th International Workshop on Secure Software Engineering (SSE) 06.05.2018 *International Workshop on Security Engineering for Cloud Computing (IWSECC) 13.05.2018 *5th International Workshop on Software Assurance (SAW) 13.05.2018 *7th International Workshop on Security of Mobile Applications (IWSMA) 14.05.2018 *Workshop on Security and Privacy-Enhanced Big Data (SPEBD) 15.05.2018 *2nd International Workshop on Criminal Usw of Information Hiding (CUING) 27.05.2018 These workshops are organized each on specific topics and thus offer researchers the opportunity to learn from a rich multi-disciplinary experience. *********** EU Projects Symposium @ ARES CONFERENCE ************ Based on the success of the workshops in conjunction with ARES 2016, in Salzburg, the ARES EU Projects Symposium will be held for the fourth time in conjunction with ARES 2018. The goal is to disseminate the results of EU research projects, meet potential project partners and exchange ideas within the scientific community. This year, 6 workshops will be held within the ARES EU Project Symposium (/ submission deadline): *European projects Clustering workshop on Cybersecurity and Privacy (EcoSP) 25.04.2018 *3rd Workshop on Security, Privacy and Identity Management in the Cloud (SECPID) 02.05.2018 *1st International Workshop on Cyber Threat Intelligence Management (CyberTIM) 04.05.2018 *International Workshop on Organized Cybercrime, Cybersecurity and Terrorist Networks (IWOCCTN) 13.05.2018 *Workshop on 5G Network Security (5G-NS) 15.05.2018 *International Workshop on Physical and Cyber Security in Port Infrastructures (PCSCP) / no paper submissions ************ CONFERENCE OFFICERS ************ General Chair Mathias Fischer, Universität Hamburg Dominik Herrmann, Universität Hamburg Program Committee Chairs Christian Doerr, TU Delft, Netherlands Sebastian Schrittwieser, FH St. Pölten, Austria ************ KEYNOTE SPEAKERS ************ Joan Daemen, Radboud University, Security Architect at ST Microelectronics Klaus-Robert Müller, Machine Learning Group TU Berlin, MPI for Informatics, Saarbrücken and Korea University, Seoul ************ IMPORTANT DATES ************ Submission Deadline: see each workshop Proceedings Version: June 29, 2018 Conference: August 27 - August 30, 2018 ************ SUBMISSION ************ ARES 2018 proceedings (including workshops) will be published by the International Conference Proceedings Series published by ACM (ACM ICPS). Authors of selected papers that are accepted by and presented at the ARES Conference (including workshops) will be invited to submit an extended version to special issues of international journals. Authors are invited to submit research and application papers according the following guidelines: two columns, single-spaced, including figures and references, using 10 pt fonts and number each page. For the workshops submission papers are have to be representing original, previously unpublished work: 8 pages, a maximum of 10 pages is tolerated Submitted papers will be carefully evaluated based on originality, significance, technical soundness, presentation and clarity of exposition. Simultaneous submission of the same work to multiple venues, submission of previously published work, or plagiarism constitutes dishonesty or fraud. ARES, like other scientific and technical conferences and journals, prohibits these practices and may take action against authors who have committed them. Double blind review: ARES requires anonymized submissions - please make sure that submitted papers contain no author names or obvious self-references. The ARES submission system (EasyChair) is available here: https://easychair.org/conferences/?conf=ares2018

1 0

MobiSPC 2018 CfPs: The 15th Intl. Conf. on Mobile Systems and Pervasive Computing, Gran Canaria, Spain FINAL CALL
by Davidekova Monika 19 Apr '18

19 Apr '18

CallforPapers The 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC'18), August 13-15, 2018, Gran Canaria, Spain http://cs-conferences.acadiau.ca/mobispc-18/<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fcs-conferen…> IMPORTANT DATES - Paper Submission Due: April 20, 2018 (FINAL) - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2018 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2018 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.elsevie…> and on Elsevier content platform ScienceDirect (www.sciencedirect.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.science…>), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.scopus.…>) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fthomsonreut…>). All papers in Procedia will also be indexed by Scopus (www.scopus.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.scopus.…>) and Engineering Village (Ei) (www.engineeringvillage.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.enginee…>). This includes EI Compendex (www.ei.org/compendex<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.ei.org%…>). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fdblp.uni-tr…>). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.springe…>) - International Journal of Computing and Informatics (IF: 0.504), (http://www.cai.sk/ojs/index.php/cai/index<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.cai.sk%…>) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fieeexplore.…>) MobiSPC 2018 will be held in conjunction with The 13th International Conference on Future Networks and Communications (FNC'18). http://cs-conferences.acadiau.ca/fnc-18/<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fcs-conferen…> Venue MobiSPC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. MobiSPC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. Committees General Chair Boris Magnusson, Lund University, Sweden Program Chairs Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Elhadi Shakshuki, Acadia University, Canada Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Superieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy No‘l de Palma, Universite de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA Tracks Chairs Habib M. Ammari, Fordham University, USA Longbiao Chen, Xiamen University, China Mohamed Guerroumi, USTHB University, Algeria Danny Hughes, K. U. Leuven, Belgium Francesco Piccialli, University of Naples, Federico II, Italy Zahoor Khan, HCT, UAE Prashant Kumar, University of Surrey, UK Marc Körner, TUB Berlin, Germany Christian Poellabauer, University of Notre Dame, USA Kashif Akhtar Saleem, KSA Michael Sheng, University of Adelaide, Australia David S. L. Wei, Fordham University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-18/#programCommittees<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fcs-conferen…>

1 0

CFP - Intl. Conference on Information Communication and Signal Processing (ICSP'18)
by Peter Mueller 18 Apr '18

18 Apr '18

Call for Papers ******************************************************************************* 2018 International Conference on Information Communication and Signal Processing ICSP 2018 September 28-30, 2018, Singapore URL: http://icsp.org/ ******************************************************************************* 2018 Internatoinal Conference on Information Communication and Signal Processing (ICSP 2018) will be held in Singapore on September 28-30, 2018. It focuses on all technical and practical aspects of information communication and signal processing. The goal of this conference is to bring together researchers and practitioners from academia and industry to focus on information communication and signal processing, and establishing new collaborations in these areas. Publication: Accepted and presented papers will be published in the conference proceedings, and submitted for Ei Compendex and Scopus index. CONFERENCE COMMITTEES Conference General Chairs Prof. Maode Ma, Nanyang Technological University, Singapore Conference Co-chair Prof. Xudong Jiang, Nanyang Technological University, International Technical Committee International Conference Technical Committees Prof. Chawalit Benjangkaprasert, King Mongkut's Institute of Technology Ladkrabang, Thailand Assoc. Prof. Juan Avalo, Instituto Politécnico Nacional, Mexico Dr. Wan Nural Jawahir Hj Wan Yussof, Universiti Malaysia Terengganu, Malaysia SUBMISSION METHOD Full Paper (publication and oral presentation) Abstract (oral presentation only) Electronic Submission System (pdf) http://www.easychair.org/conferences/?conf=icsp2018 IMPORTANT DATES Submission Deadline: May 15, 2018 Notification Deadline: June 5, 2018 Registration Deadline: June 20, 2018 CONTACT US Ms. Rachel Cao Email: iiicspconference(a)163.com Tel: +86-13880104217

1 0

[MobiSPC-2018] FINAL submission deadline: April 20! Conference on Mobile Systems and Pervasive Computing. Gran Canaria, Spain (July 13-15, 2018)
by Wim Ectors 18 Apr '18

18 Apr '18

------------------------------------------------------------------------ The 15th International Conference on Mobile Systems and Pervasive Computing August 13-15, 2018 Gran Canaria, Spain http://cs-conferences.acadiau.ca/mobispc-18/ ------------------------------------------------------------------------ Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2018 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2018 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Workshop Proposal Due: February 10, 2018 - Paper Submission Due: April 20, 2018 (FINAL) - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 Publication ------------ All MobiSPC 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) MobiSPC 2018 will be held in conjunction with the 13th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-18/). . MobiSPC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. MobiSPC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. COMMITTEES: ----------- General Chair Boris Magnusson, Lund University, Sweden Program Chair StŽphane Galland, UniversitŽ de Technologie de Belfort-MontbŽliard, France Elhadi Shakshuki, Acadia University, Canada Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale SupŽrieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy No‘l de Palma, UniversitŽ de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA Tracks Chairs Habib M. Ammari, Fordham University, USA Longbiao Chen, Xiamen University, China Mohamed Guerroumi, USTHB University, Algeria Danny Hughes, K. U. Leuven, Belgium Francesco Piccialli, University of Naples, Federico II, Italy Zahoor Khan, HCT, UAE Prashant Kumar, University of Surrey, UK Marc Kšrner, TUB Berlin, Germany Christian Poellabauer, University of Notre Dame, USA Kashif Akhtar Saleem, KSA Michael Sheng, University of Adelaide, Australia David S. L. Wei, Fordham University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-18/#programCommittees

1 0

6th School on Universal Logic : call for participation
by Christophe REY 18 Apr '18

18 Apr '18

-------------------------------------------------------------------------------------------- In exactly two months will start in Vichy, France the 6th School on Universal Logic http://www.uni-log.org/ULS6 This is a 5-day school with 30 tutorials on all aspects of logic (historical, philosophical, mathematical, computational) given by scholars from all over the world. The school will start by a round table "why study logic?" and will end with a round table "how to publish?" There also will be a poster session and the school will be followed by a 6-day congress. Some videos introducing UNILOG 2018 school tutorials: https://www.youtube.com/channel/UCW9jSSry0zoYz-FdREK5-Uw ------------------------------------------------------------------------------- U N I L O G - World Congress and School on Universal Logic - U N I LO G Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013, Istanbul 2015, Vichy 2018 https://www.uni-log.org/vichy2018 https://www.facebook.com/UniversalLogicVichy/ ------------------------------------------------------------------------------------ ___________________________________________________ Christophe Rey Co-chair of the organizing committee of UNILOG 2018 UNILOG 2018 : Website <https://www.uni-log.org/vichy2018> - Facebook <https://www.facebook.com/UniversalLogicVichy/> - Registration <https://api.dsi.uca.fr/paybag/registration/form/event/UNILOG2018> - Youtube channel <https://www.youtube.com/channel/UCW9jSSry0zoYz-FdREK5-Uw> MCF / Associate professor - Université Clermont Auvergne Email <mailto:christophe.rey@uca.fr> - Homepage <http://fc.isima.fr/%7Ecrey/> Laboratoire LIMOS Campus Universitaire des Cézeaux 1 rue de la Chebarde TSA 60125 - CS 60026 63178 AUBIERE cedex Tel : +33 (0)4 73 40 50 37 Fax : +33 (0)4 73 40 50 01 IUT d'Allier, Dept MMI Vichy Pôle Universitaire Lardy 1, av. des Célestins 03200 VICHY Tel : +33 (0)4 70 30 43 92 Fax : +33 (0)4 70 30 43 78 ___________________________________________________

1 0

[CFP]: 13th International Conference on Critical Information Infrastructures Security CRITIS 2018
by Cristina Alcaraz 18 Apr '18

18 Apr '18

------------------------------------------------------------------------------ *** Apologies for multiple copies *** C a l l F o r P a p e r s 13th International Conference on Critical Information Infrastructures Security CRITIS 2018 Kaunas, Lithuania, September 24-26, 2018 Full-text paper submission due: April 30, 2018 CONFERENCE OUTLINE: CRITIS 2018 continues the tradition of presenting innovative research and exploring new challenges in the field of critical (information) infrastructures protection (C(I)IP), resilience and fostering the dialogue with stakeholders. CRITIS 2018 aims at bringing together researchers, professionals from academia, critical (information) infrastructure operators, industry, defence sector and governmental organisations working in the field of the security of critical (information) infrastructure systems. Moreover, CRITIS aims to encourage and inspire early stage and open-minded researchers in this demanding multi-disciplinary field of research. Outstanding research performance demonstrated by young researchers may compete for the Young CRITIS Award (YCA). The Projects' Dissemination Session will be an opportunity of dissemination for ongoing European, multinational, and national projects, to share the experiences among scientist and experts working on different projects in the C(I)IP domain. CRITIS 2018 conference has a special focus on current and future energy infrastructures within a special session Energy infrastructure operators and stakeholders: key challenges and solution directions, chaired by Marcelo Masera (EC Joint Research Centre in Petten, The Netherlands). Invited speakers will be mainly from European electricity and/or gas Transmission System Operators (TSO), some representatives from European electricity and gas Distributed System Operators (DSO), NATO and European policy-makers. CRITIS 2018 topics (but not limited to): http://www.lei.lt/critis2018/call-for-papers.html Special sessions will be organized by CRITIS 2018 Supporting Chairs: - “Energy CIP”: Marcelo Masera, European Commission, Joint Research Centre, the Netherlands - “CI Resilience”: Marianthi Theocharidou, European Commission, Joint Research Centre, Italy - “Human Factor and CIP”: Grigore Havarneanu, UIC, France - “SCADA Security”: Simin Nadjm-Tehrani, Linköping University, Sweden - “Modelling and Simulation in CIP”: Erich Rome (President 2E!SAC), Fraunhofer IAIS, Germany - “Interconnected Infrastructures and Systems of Systems”: Enrico Zio, Politecnico di Milano, Italy and Ecole Centrale Paris, France - “IoT Security”: Sokratis K. Katsikas, NTNU, Norway and University of Piraeus, Greece Call for Papers (PDF to download): http://www.lei.lt/critis2018/assets/critis_2018_call_for_papers.pdf Accepted papers are to be included to post-proceedings, published by Springer-Verlag in their Lecture Notes in Computer Science (LNCS) series. IMPORTANT DATES: ================ 30 April 2018 -- Full-text submission 18 June 2018 -- Notification of acceptance 9 September 2018 -- Camera-ready papers Programme Chair ================ - Eric Luiijf, TNO (retired) and Luiijf Consultancy, the Netherlands Steering Committee Chairs - Bernhard M. Hämmerli, Technical University Lucerne and ACRIS GmbH, Switzerland - Javier Lopez, University of Malaga, Spain - Stephen D. Wolthusen, Royal Holloway, University of London, UK and NTNU, Norway Local Co-Chairs - Inga Žutautaitė, Lithuanian Energy Institute, Lithuania - Ričardas Krikštolaitis, Vytautas Magnus University, Lithuania Publicity Chairs - Cristina Alcaraz, University of Malaga, Spain - Rolandas Urbonas, Lithuanian Energy Institute, Lithuania CRITIS 2018 Secretary Office ============================ Lithuanian Energy Institute Breslaujos g. 3, Kaunas, Lithuania Tel. +370 37 401948 +370 37 401938 E-mail: critis2018(a)lei.lt Conference website: www.lei.lt/critis2018

1 0

CFP - The 2018 High Performance Computing & Simulation Conference (HPCS 2018)
by Peter Mueller 17 Apr '18

17 Apr '18

Call for Papers and Participation The 2018 High Performance Computing & Simulation Conference (HPCS 2018) July 16-20, 2018 Orléans, France http://hpcs2018.cisedu.info/ In Cooperation with the ACM, IEEE, IFIP Main Track Paper Submission Deadline: April 07, 2018 - Final Extension Symposia, Workshops and Special Sessions have their own deadlines - Please check due dates below HPCS Proceedings are to be published in IEEE XPLORE (pending) and indexed by all major indexing services, including SCOPUS, EI, Sci, dblp, etc. You are cordially invited to participate in this international conference through paper submission to main track, symposium, workshop or special session, a tutorial, an invited speech, a demo, a poster, an exhibit, a panel discussion, a doctoral dissertation, whichever sounds more appropriate and convenient to you. The conference will include invited presentations by experts from academia, industry, and government as well as contributed paper presentations describing original work on the current state of research in high performance and large scale computing systems, their use in modeling and simulation, their design, performance and use, and their applications. There will also be tutorial sessions, workshops, special sessions, demos, posters, panel discussions, doctoral colloquium, and exhibits. Conference sponsorships are welcomed. In addition to the main track, the conference will have many refereed archived symposia, workshops and special sessions(have different deadlines): Please see the following lists and check the specific track of interest. We also welcome colleagues interested in organizing tracks, including those without current organizers. Symposia: http://hpcs2018.cisedu.info/2-conference/symposia---hpcs2018 Workshops: http://hpcs2018.cisedu.info/2-conference/workshops---hpcs2018 Special Sessions: http://hpcs2018.cisedu.info/2-conference/special-sessions---hpcs2018 Tutorials: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-tu… DDC: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-do… Demos: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-de… Panels: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-pa… Posters: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-po… Sponsorships: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-sp… Exhibits: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-ex… SPECIAL ISSUES 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. FOLLOW US ON Twitter: @HPCS Conference FaceBook: HPCS Conference LinkedIn: HPCS Conference ================================================================= Important Dates: Main Track Paper and Poster Paper Submission Deadline: April 07, 2018 - Final Extension -->> Tutorial/Demo/Panel/Poster Proposal Deadline: April 27, 2018 <<-- Main Track Notification of Acceptance starts: April 24, 2018 Registration & Camera-Ready Manuscripts Due: May 11, 2018 Conference Dates: July 16 - 20, 2018 ================================================================= For further details and updates, please consult the conference web site at URL: http://hpcs2018.cisedu.info or contact one of the organizers. We look forward to your contributions and seeing you in Orléans in July. Thank you very much. Best Regards. HPCS 2018 Organizers

1 0

Logic Colloquium 2018 (LC18): final call for contributions
by Dario Della Monica 17 Apr '18

17 Apr '18

We are happy to announce the following event and we would be glad if you could forward this message to whom it might interest. LC 2018 Udine, Italy July 23-28, 2018 https://lc18.uniud.it ________________________________________________________________________ LOGIC COLLOQUIUM 2018 https://lc18.uniud.it The Logic Colloquium 2018 is the annual European summer meeting of the Association of Symbolic Logic (ASL) (http://www.aslonline.org/index.htm). It will be held during July 23-28, 2018, at the University of Udine, Italy, and is organized by the Department of Mathematics, Computer Science, and Physics of the University of Udine. The latest meetings took place in Paris (2010), Barcelona (2011), Manchester (2012), Evora (2013), Vienna (2014), Helsinki (2015), Leeds (2016), and Stockholm (2017). The Association for Symbolic Logic (ASL) is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. The Association holds two major annual meetings to present current research in all aspects of logic in a way that is accessible to all logicians. IMPORTANT DATES: ============================ Deadline for abstract submission: April 27, 2018 Deadline for grant applications: May 4, 2018 Deadline for early registration: May 23, 2018 Notification for paper acceptance: May 11, 2018 Main event: July 23 (9am)- July 28 (1pm) TUTORIAL SPEAKERS: ================== U. Sattler (University of Manchester) K. Tent (WWU MÃ¼nster) INVITED SPEAKERS: ================= M. Antonutti Marfori (Ludwig-Maximilians-UniversitÃ¤t MÃ¼nchen) A. Atserias (Universitat PolitÃ¨cnica de Catalunya) V. Brattka (UniversitÃ¤t der Bundeswehr MÃ¼nchen) A. Ciabattoni (TU Wien) P. Dâ€™Aquino (UniversitÃ degli Studi della Campania) P. Oliva (Queen Mary University of London) L. Patey (Institut Camille Jordan, Lyon) A. Tserunyan (University of Illinois at Urbana-Champaign) S. Unger(Tel Aviv University) M. Viale (UniversitÃ degli studi di Torino) D. Westerstahl (Stockholm University) GOEDEL SPEAKER: ================ R. Downey (Victoria University of Wellington) SPECIAL SESSIONS: ================= 6 special sessions with topics: * Descriptive set theory and dynamical systems: - Chairs: B. Miller (UniversitÃ¤t Wien) A. TÃ¶rnquist (KÃ¸benhavn Universitet) - Speakers: C. Conley (Carnegie Mellon University) J. Melleray (UniversitÃ© Lyon I) T. Tsankov (UniversitÃ© Paris Diderot) R. Tucker-Drob (Texas A&M University) * Model theory: - Chairs: E. Casanovas (Universitat de Barcelona) F. Wagner (UniversitÃ© Lyon I) - Speakers: A. Deloro (UniversitÃ© Pierre et Marie Curie) I. Goldbring (UC Irvin) N. Hempel (UCLA) N. Ramsey (UC Berkeley) * Proof theory and constructivism: - Chairs: S. Ghilardi (UniversitÃ degli Studi di Milano) G. Sambin (UniversitÃ degli Studi di Padova) - Speakers: R. Akiyoshi (Waseda University) M. EscardÃ³ (University of Birmingham) A. Palmigiano (TU Delft) C. Xu (Ludwig-Maximilians-UniversitÃ¤t MÃ¼nchen) * Temporal and multivalued logics: - Chairs: B. Gerla (UniversitÃ dell'Insubria) M. Lange (UniversitÃ¤t Kassel) - Speakers: A. Kurucz (King's College London) D. Mundici (UniversitÃ degli Studi di Firenze) P. K. Pandya (Tata Institute of Fundamental Research; IIT Mumbai) A. Vidal (Czech Academy of Sciences) * Computability theory: - Chairs: P. Shafer (University of Leeds) A. Sorbi (UniversitÃ di Siena 1240) - Speakers: J. Franklin (Hofstra University) T. Kihara (Nagoya University) S. Ng (Nanyang Technological University) L. B. Westrick (University of Connecticut) * Philosophy of Logic and Mathematics: - Chairs: J. Kennedy (University of Helsinki) G. Sagi (University of Haifa) - Speakers: B. Halimi (UniversitÃ© Paris Nanterre) S. Hewitt (University of Leeds) L. Picollo (Ludwig-Maximilians-UniversitÃ¤t MÃ¼nchen) N. Wyatt (University of Calgary) PROGRAM COMMITTEE: ============= D. Macpherson (Chair) (University of Leeds) S. Demri (CNRS) A. Kechris (California Institute of Technology) C. Laskowski (University of Maryland) A. Marcone (UniversitÃ degli Studi di Udine) A. Montalban (UC Berkeley) P. PudlÃ k (Czech Academy of Sciences) G. Sher (UC San Diego) D. Sinapova (University of Illinois at Chicago) LOCAL ORGANIZATION COMMITTEE: ============= Department of Mathematics, Computer Science and Physics University of Udine, Italy G. D'Agostino (Co-Chair) A. Montanari (Co-Chair) V. Dimonte E. Frittaion G. Gherardi A. Marcone F. Parlamento C. Piazza D. Della Monica M. Fiori Carones N. Gigante A. Molinari M. Valenti For questions, please contact lc18(a)uniud.it SUBMISSIONS: =================== Abstracts of contributed papers must be submitted as LaTeX source code, via EasyChair, at the URL: https://easychair.org/conferences/?conf=lc18. If you do not have an EasyChair account yet, you can create one at https://easychair.org/ Abstract should be prepared according to the ASL instructions http://www.aslonline.org/rules_abstracts.html using the ASL abstract style (available at http://aslonline.org/abstractresources.html). The deadline for submissions is April 27, 2018. If electronic submission is not possible, abstracts should be mailed to: Prof. H. Dugald Macpherson, PC chair of Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK. Abstracts are published as part of the meeting report in The Bulletin of Symbolic Logic only if at least one author is a member of the ASL at the time the report is sent for publication. Abstracts of contributed papers submitted by ASL members will be published in The Bulletin of Symbolic Logic, provided that they satisfy the Rules for Abstracts (see above). APPLICATIONS FOR STUDENT GRANTS: ======================= The ASL, the NSF, and the local organizing committee will make available modest awards to graduate students in logic and to recent PhDs to attend the meeting. For more details on the grants, see: http://www.aslonline.org/studenttravelawards.html . Applications for student grants and recommendations should be received by May 4, 2018. They should be submitted electronically, by email to LC18grant(a)uniud.it If electronic submission is not possible, applications and recommendations should be mailed to: Prof. H. Dugald Macpherson, PC chair of Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK. The application should follow the instructions on https://lc18.uniud.it/applications Students waiting for the acceptance of a grant application should not register, since the grant may include discounts to the registration fee. After the acceptance, an ad hoc registration form will be available for them. Students whose application is declined will still have time to register before the early registration deadline. ______________________________________________ The event is made possible thanks to the financial support of: * ASL (Association for Symbolic Logic) https://www.aslonline.org * NSF (National Science Foundation) https://www.nsf.gov * SILFS (SocietÃ Italiana di Logica e Filosofia delle Scienze) http://www.silfs.it * AILA (Associazione Italiana di Logica e sue Applicazioni) http://www.ailalogica.it * UniversitÃ degli Studi di Udine https://www.uniud.it/ * GNSAGA - INdAM http://www.altamatematica.it/gnsaga * Italian Chapter of EATCS (European Association for Theoretical Computer Science) https://www.eatcs.org/index.php/italian-chapter ______________________________________________ Sponsor: * AMGA http://www.amgaenergiaeservizi.it/ ______________________________________________ Association of Symbolic Logic (ASL): http://www.aslonline.org ASL newsletters: https://www.aslonline.org/info-newsletter.html -- Dario Della Monica, Postdoctoral Researcher Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI) University of Naples "Federico II" via Claudio, 21, 80125 Naples, Italy cell: (+39) 328 2477327 email: dario.dellamonica [at] unina.it skype: dariodellamonica web site: http://wpage.unina.it/dario.dellamonica/

1 0

CfP for VHPC ‘18 - Papers due May 15 (extended) for the 13th Virtualization in High-Performance Cloud Computing Workshop
by Anastassios Nanos 17 Apr '18

17 Apr '18

CfP 13th Virtualization in High-Performance Cloud Computing Workshop (VHPC '18) ==================================================================== CALL FOR PAPERS 13th Workshop on Virtualization in High-Performance Cloud Computing (VHPC '18) held in conjunction with the International Supercomputing Conference - High Performance, June 24-28, 2018, Frankfurt, Germany. (Springer LNCS Proceedings) ==================================================================== Date: June 28, 2018 Workshop URL: http://vhpc.org Paper Submission Deadline: May 15, 2018 (extended). Springer LNCS, rolling abstract submission Abstract/Paper Submission Link: https://edas.info/newPaper.php?c=24355 Call for Papers Virtualization technologies constitute a key enabling factor for flexible resource management in modern data centers, and particularly in cloud environments. Cloud providers need to manage complex infrastructures in a seamless fashion to support the highly dynamic and heterogeneous workloads and hosted applications customers deploy. Similarly, HPC environments have been increasingly adopting techniques that enable flexible management of vast computing and networking resources, close to marginal provisioning cost, which is unprecedented in the history of scientific and commercial computing. Various virtualization technologies contribute to the overall picture in different ways: machine virtualization, with its capability to enable consolidation of multiple under-utilized servers with heterogeneous software and operating systems (OSes), and its capability to live-migrate a fully operating virtual machine (VM) with a very short downtime, enables novel and dynamic ways to manage physical servers; OS-level virtualization (i.e., containerization), with its capability to isolate multiple user-space environments and to allow for their co-existence within the same OS kernel, promises to provide many of the advantages of machine virtualization with high levels of responsiveness and performance; I/O Virtualization allows physical network interfaces to take traffic from multiple VMs or containers; network virtualization, with its capability to create logical network overlays that are independent of the underlying physical topology is furthermore enabling virtualization of HPC infrastructures. Publication Accepted papers will be published in a Springer LNCS proceedings volume. Topics of Interest The VHPC program committee solicits original, high-quality submissions related to virtualization across the entire software stack with a special focus on the intersection of HPC and the cloud. Major Topics - Virtualization in supercomputing environments, HPC clusters, HPC in the cloud and grids - OS-level virtualization and containers (LXC, Docker, rkt, Singularity, Shifter, i.a.) - Lightweight/specialized operating systems in conjunction with virtual machines - Novel unikernels and use cases for virtualized HPC environments - Performance improvements for or driven by unikernels - Tool support for unikernels: configuration/build environments, debuggers, profilers - Hypervisor extensions to mitigate side-channel attacks ([micro-]architectural timing attacks, privilege escalation) - VM & Container trust and security - Containers inside VMs with hypervisor isolation - GPU virtualization operationalization - Approaches to GPGPU virtualization including API remoting and hypervisor abstraction - Optimizations of virtual machine monitor platforms and hypervisors - Hypervisor support for heterogeneous resources (GPUs, co-processors, FPGAs, etc.) - Virtualization support for emerging memory technologies - Virtualization in enterprise HPC and microvisors - Software defined networks and network virtualization - Management, deployment of virtualized environments and orchestration (Kubernetes i.a.) - Workflow-pipeline container-based composability - Checkpointing facilitation utilizing containers and VMs - Emerging topics including multi-kernel approaches and NUMA in hypervisors - Operating MPI in containers/VMs and Unikernels - Virtualization in data intensive computing (big data) - HPC convergence - Adaptation of HPC technologies in the cloud (high performance networks, RDMA, etc.) - Performance measurement, modelling and monitoring of virtualized/cloud workloads - Latency-and jitter sensitive workloads in virtualized/containerized environments - I/O virtualization (including applications, SR-IOV, i.a.) - Hybrid local facility + cloud compute and based storage systems, cloudbursting - FPGA and many-core accelerator virtualization - Job scheduling/control/policy and container placement in virtualized environments - Cloud reliability, fault-tolerance and high-availability - QoS and SLA in virtualized environments - IaaS platforms, cloud frameworks and APIs - Energy-efficient and power-aware virtualization - Configuration management tools for containers (including in OpenStack, Ansible, i.a.) - ARM-based hypervisors, ARM virtualization extensions Special Track: GPU - Accelerator Virtualization: GPU virtualization technologies, performance and benchmarking, integration with workflow scheduling systems, integration to cluster managers GPUs are taking on many HPC workload areas, especially in deep learning within machine learning. In addition, a lot of workload is being pushed to elastic environments utilizing various virtualization technologies on different levels like hypervisors (e.g. VMWare, Xen, KVM), kernel (Docker, Kubernetes) or on the resource manager level (YARN, Mesos). In this track we invite submissions addressing these problems. Suggested Themes and Topics: Technology - What technologies and best practices exist for GPU - hardware accelerator virtualization and usage of hardware accelerators in virtual environments on the hypervisor, kernel or resource manager level Developers - Real-life experience when addressing HPC/ML/DL problems with GPUs or hardware accelerators in virtual environments Performance - Performance comparisons between different technologies / solutions The Workshop on Virtualization in High-Performance Cloud Computing (VHPC) aims to bring together researchers and industrial practitioners facing the challenges posed by virtualization in order to foster discussion, collaboration, mutual exchange of knowledge and experience, enabling research to ultimately provide novel solutions for virtualized computing systems of tomorrow. The workshop will be one day in length, composed of 20 min paper presentations, each followed by 10 min discussion sections, plus lightning talks that are limited to 5 minutes. Presentations may be accompanied by interactive demonstrations. Important Dates May 15, 2018 (extended) - Paper submission deadline (Springer LNCS) May 30, 2018 - Acceptance notification June 28, 2018 - Workshop Day July 12, 2018 - Camera-ready version due Chair Michael Alexander (chair), Institute of Science and Technology, Austria Anastassios Nanos (co-chair), OnApp, UK Romeo Kienzler (co-chair), IBM, Switzerland Program committee Stergios Anastasiadis, University of Ioannina, Greece Jakob Blomer, CERN, Europe Eduardo César, Universidad Autonoma de Barcelona, Spain Stephen Crago, USC ISI, USA Tommaso Cucinotta, St. Anna School of Advanced Studies, Italy Christoffer Dall, Columbia University, USA Patrick Dreher, MIT, USA Kyle Hale, Northwestern University, USA Brian Kocoloski, University of Pittsburgh, USA Uday Kurkure, VMware, USA John Lange, University of Pittsburgh, USA Giuseppe Lettieri, University of Pisa, Italy Nikos Parlavantzas, INSA Rennes, France Qing Liu, Oak Ridge National Laboratory, USA Nikos Parlavantzas, IRISA, France Kevin Pedretti, Sandia National Laboratories, USA Amer Qouneh, Western New England University, USA Carlos Reaño, Technical University of Valencia, Spain Borja Sotomayor, University of Chicago, USA Anata Tiwari, San Diego Supercomputer Center, USA Kurt Tutschku, Blekinge Institute of Technology, Sweden Yasuhiro Watashiba, Osaka University, Japan Chao-Tung Yang, Tunghai University, Taiwan Andrew Younge, Sandia National Laboratory, USA Na Zhang, VMware, USA Paper Submission-Publication Papers submitted to the workshop will be reviewed by at least two members of the program committee and external reviewers. Submissions should include abstract, keywords, the e-mail address of the corresponding author, and must not exceed 10 pages, including tables and figures at a main font size no smaller than 11 point. Submission of a paper should be regarded as a commitment that, should the paper be accepted, at least one of the authors will register and attend the conference to present the work. Accepted papers will be published in a Springer LNCS volume. . The format must be according to the Springer LNCS Style. Initial submissions are in PDF; authors of accepted papers will be requested to provide source files. Format Guidelines: ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip Abstract, Paper Submission Link: https://edas.info/newPaper.php?c=24355 Lightning Talks Lightning Talks are non-paper track, synoptical in nature and are strictly limited to 5 minutes. They can be used to gain early feedback on ongoing research, for demonstrations, to present research results, early research ideas, perspectives and positions of interest to the community. Submit abstract via the main submission link. General Information The workshop is one day in length and will be held in conjunction with the International Supercomputing Conference - High Performance (ISC) 2018, June 24-28, Frankfurt, Germany.

1 0

CIBB 2018 - Special Session on Modeling and Simulation Methods for Systems Biology and Systems Medicine: Call for papers
by chiara damiani 17 Apr '18

17 Apr '18

[Apologies for cross-posting. Please kindly disseminate this call to your colleagues and contacts] ***Special Session on Modeling and Simulation Methods for Systems Biology and Systems Medicine*** hosted by CIBB 2018 <http://eventos.fct.unl.pt/cibb2018/>, 15th International Conference on Computational Intelligence methods for Bioinformatics and Biostatistics 6-8 September 2018, Caparica, Portugal ---------------------------------------------------------------------------------- Paper Submission Deadline: 10 June 2018 ---------------------------------------------------------------------------------- CALL FOR PAPERS Systems Biology deals with the analysis of natural systems at different scales of complexity, requiring completely different modeling frameworks and computational methods. Given that Systems Biology approaches are becoming well established, the challenge is now to apply the developed techniques towards the definition of personalized models in order to identify individually tailored drugs and treatments; i.e. to realize the Personalized Medicine paradigm. The scope of this special session is to bring together researchers involved in the development of methods applied to the fields of Systems Biology and Systems Medicine. Topics of interest include, but are not limited to: analysis of robustness of cellular networks   biomedical model parameterization cancer progression models clinical image analysis emergent properties in complex biological systems   flux balance analysis   metabolic engineering   metabolic pathway analysis   model verification and refinement methods   models of neural activity multiscale modelling and simulation of biological systems   parameter estimation methods personalized models reverse engineering of reaction networks   software tools for systems biology   spatiotemporal modelling and simulation of biological systems IMPORTANT DATES Paper submission deadline: 10 June 2018 Acceptance notification: 9 July 2018 Author registration due: 20 July 2018 Camera ready due: 29 July 2018 Conference: 6-8 September 2018 PROCEEDINGS Pdf versions of accepted papers will be distributed at the conference. At least one author of an accepted paper is required to register and present their paper at the conference. Authors of accepted papers will be invited to submit an extended version of their work to a post-conference monograph. We plan to invite all papers for a volume in the Springer series of Lecture Notes in Bioinformatics (LNBI). Continuing the tradition of CIBB, we are also planning to invite the best papers, as an alternative to the publication on LNBI, to a special issue of an international scientific journal (such as BMC Bioinformatics, as in the latest editions). PAPER SUBMISSION Instructions for submission can be found here <http://eventos.fct.unl.pt/cibb2018/pages/call-papers> SESSION CHAIRS Chiara Damiani, University of Milano-Bicocca, Italy Marco S. Nobile, University of Milano-Bicocca, Italy Giancarlo Mauri, University of Milano-Bicocca, Italy Alex Graudenzi, University of Milano-Bicocca, Italy Marzia Di Filippo, University of Milano-Bicocca, Italy Dario Pescini, University of Milano-Bicocca, Italy CONTACT Chiara Damiani, PhD Department of Informatics, Systems and Communication, University of Milan-Bicocca mail: chiara.damiani(a)unimib.it <mailto:chiara.damiani@unimib.it> phone: +39 02 64487918

1 0

Final Extension for submission April 19th for CFP for Special Session on Virtualization in High Performance Computing and Simulation (VIRT 2018)
by Uday Kurkure 13 Apr '18

13 Apr '18

The final extension to the deadline for submission is April 19th, 2018 for Special Session on Virtualization in High Performance Computing and Simulation (VIRT 2018). Please refer to http://hpcs2018.cisedu.info /2-conference/special-sessions---hpcs2018/session01-vhpc. *Special Session on **Virtualization in High Performance Computing and Simulation* *(VIRT 2018)* *CALL FOR PAPERS & PARTICIPATION* *As part of* *The 16th International Conference on High Performance Computing & Simulation (HPCS 2018)* *http://hpcs2018.cisedu.info/ <http://hpcs2018.cisedu.info/> or http://cisedu.us/rp/hpcs18 <http://cisedu.us/rp/hpcs18>* *July 16 – 20, 2018* *Orléans, France* *Paper Submission Deadline: April 19, 2018 - Final Extension* *Submissions could be for full papers, short papers, poster papers, or posters* *PURPOSE and SCOPE* Virtualization has become the foundation of cloud computing. The scale of cloud computing data centers is similar to the supercomputers used in High Performance Computing. Both involve millions of CPU cores, tens of thousands of accelerators like GPUs, FPGAs connected by high speed interconnects and different connection topologies. Studies have shown that the GPU utilization in HPC is often at 50%. Virtualization can be the key to increasing resource utilization and managing massive infrastructures efficiently. GPU vendors have introduced virtualized versions of GPUs. FPGAs are being deployed in virtual infrastructure. These and other developments in the field, along with future exascale systems, will provide increasing degree of virtualization within the systems. The goal of this session is to be an opportunity to discuss and exchange research on the different virtualization technologies and how they can be efficiently applied in High Performance Computing. Theoretical research, engineering solutions dealing with practical tradeoffs, and complex system implementation papers are welcomed. *The VIRT topics include (but are not limited to) the following: * - *Virtualization in HPC* o Energy efficient solutions for HPC applications in the cloud environment o High-availability based on system-level virtualization mechanisms for HPC o Fault tolerance mechanisms based on system-level virtualization mechanisms for HPC o Performance and evaluation of diverse HPC workloads in virtualization environment o Security Isolation, Resource Isolation and Data Isolation in Virtualized HPC o Flexibility and Ease of system administration and management for virtualized environments for HPC o Running diverse workloads o Running heterogeneous Operating Systems o Live Migration and Suspend/Resume of VMs to improve resource utilization and avoid downtime o Scheduling of resources and Workloads o Software Defined Data Centers (SDDC) o Hypervisors and other virtualization solutions tailored for HPC systems o Big Data and Analytics in Virtualized Environments o Enterprise High Performance Computing in Virtualized Environments - *Accelerators in Virtualized HPC Environments:* o Virtualized GPUs § Scheduling of Virtual GPUs o Using FPGAs in Virtualization Stack § Dynamic Reconfiguration of FPGAs - * IO Virtualization* o Network Virtualization o SR-IOV o Software Defined Networking (SDN) o Storage Virtualization o RDMA and vRDMA - *Containers in HPC* o Isolation of Multiple User-Spaces o Running containers in Virtual Machines - *Tools* o Virtualization solutions for dealing with heterogeneity in HPC environments o Compilers for heterogenous architectures involving GPUS, FPGAs, multi-core CPUs o Operating system support for virtualization in HPC systems o Debugging and/or profiling in virtual environments - *Algorithms* o Distributed Resource Scheduling o Distributed Computing - *Virtualization in Simulation* *INSTRUCTIONS FOR PAPER SUBMISSIONS* You are invited to submit original and unpublished research works on above and other topics related to *virtualization in high performance computing*. Submitted papers must not have been published or simultaneously submitted elsewhere until it appears in HPCS proceedings, in the case of acceptance, or notified otherwise. For Regular papers, please submit a PDF copy of your full manuscript, not to exceed 8 double-column formatted pages per template, and include up to 7 keywords and an abstract of no more than 400 words. Additional pages will be charged additional fee. Submission should include a completed online web based form (can also include a cover page) with authors' names, affiliation addresses, fax numbers, phone numbers, and all authors email addresses. Please, indicate clearly the corresponding author(s) although all authors are equally responsible for the manuscript. Short papers (up to 4 pages), poster papers and posters (please refer to http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-po… for posters submission details) will also be considered. Please specify the type of submission you have. Please include page numbers on all preliminary submissions to make it easier for reviewers to provide helpful comments. Submit a PDF copy of your full manuscript to the special session paper submission site at https://cmt3.research.microsoft.com/VIRT2018 . Acknowledgement will be sent within 48 hours of submission. *Conference Policies* Only PDF files will be accepted, uploaded to the submission link above. Each paper will receive a minimum of three reviews. Papers will be selected based on their originality, relevance, significance, technical clarity and presentation, language, and references. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. At least one of the authors of each accepted paper will have to register and attend the HPCS 2018 conference to present the paper at the special session as scheduled. By submitting the paper to the HPCS conference, all authors agree to abide by all HPCS conference paper submission, publication and presentation policies as well as following ethical and professional codes of conduct, including those of the professional co-sponsoring organizations. Contents of manuscripts submitted to the tracks program committees shall be regarded as privileged as well and handled in the same manner and standards. For more information, please refer to the Authors Info <http://hpcs2018.cisedu.info/6-participants/author-s-info-hpcs2018> and Registration Info <http://hpcs2018.cisedu.info/6-participants/registration-info-hpcs2018> pages. *Proceedings* Accepted papers will be published in the Conference proceedings. Instructions for final manuscript format and requirements will be posted on the HPCS 2018 Conference web site. It is our intent to have the proceedings formally published in hard and soft copies and be available at the time of the conference. The proceedings is projected to be included in the IEEE or ACM Digital Library and indexed in all major indexing services accordingly. *SPECIAL ISSUE* Plans are underway to have the best papers, in extended version, selected for possible publication in a reputable journal as special issue. Detailed information will soon be announced and will be made available on the conference website. If you have any questions about paper submission or the special session, please contact the special session organizers. *IMPORTANT DATES* *Paper Submissions: ------------------------------------------- April 19, 2018 - Final Extension* *Acceptance Notification: -------------------------------------- April 26, 2018* *Camera Ready Papers and Registration Due by: ----------- May 11, 2018* *Conference Dates: -------------------------------------------- July 16 – 20, 2018* *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 *Teng Moh* San Jose State University Department of Computer Science San Jose, CA 95192-0249, USA Phone: +1 408-924-5147 Fax: +1 408-924-5062 Email: teng.moh(a)sjsu.edu International Program Committee*: All submitted papers will be rigorously reviewed by the special session technical program committee members following similar criteria used in HPCS 2018 and will be published as part of the HPCS 2018 Proceedings. - *Cristina Boeres,* Fluminense Federal University, Brazil - *Benjamin Camus,* Inria, France - *Eddy Caron,* LIP, École Normale Supérieure de Lyon, France - *Isaac Gelado,* Nvidia Corp., Santa Clara, California, USA - *Rean Griffith*, Captricity Inc., Oakland, California, USA - *Kyle Hale,* Illinois Institute of Technology, Illinois, USA - *Shih-Hao Hung,* National Taiwan University, Taiwan - *Seongbeom Kim,* Google Inc., Mountain View, California, USA - *Brian Kocoloski*, Washington University in St. Louis, Missouri, USA - *Xiaoyi Lu,* The Ohio State University - Columbus, Ohio, USA - *Hans Pabst*, Intel Corp., Zurich, Switzerland - *Karl Rupp,* Technische Universität Wien, Vienna, Austria - *Alex Sim,* Lawrence Berkeley National Laboratory, California, USA - *Josh Simons,* VMware Inc., Boston, Massachusetts, USA - *Feng Yan*, University of Nevada, Reno, Nevada, USA - Andrew Younge, Sandia National Laboratories, Albuquerque, New Mexico, USA - *Dong Ping Zhang, *eBay Inc., San Jose, California, USA - *Na Zhang, *VMware Inc., Boston, Massachusetts, USA

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science