- computational.science - lists.iccsa.org

Register Now for SSBSS 2017 - July 17-21, University of Cambridge, UK
by Giuseppe Nicosia 10 Jun '17

10 Jun '17

Call for Participation ================ http://www.taosciences.it/ssbss/#application-form applicants will be notified of acceptance within a few days of application submission. https://www.robinson.cam.ac.uk/conferences/dms/index.php?eid=54 Call for Abstracts ================ We are still accepting abstract submissions for posters and oral presentations to be presented during the poster sessions and the talk sessions. Abstracts can be uploaded to EasyChair and authors will be notified of acceptance within a few days of abstract submission: *https://easychair.org/conferences/?conf=ssbss2017 <https://easychair.org/conferences/?conf=ssbss2017>* Please register and join us at the University of Cambridge for SSBSS 2017! More details about the conference can be found below and at the SSBSS 2017 web site: http://www.taosciences.it/ssbss/ We hope to see you there! SSBSS 2017 Organizing Committee. INVITED SPEAKERS ================ Antonino Cattaneo, *Scuola Normale Superiore Pisa, Italy* Carole Goble, *University of Manchester, UK* Jim Haseloff, *University of Cambridge, UK* Jay Keasling, *University of California, Berkeley, USA* Edda Klipp, *Humboldt University, Germany* Natalio Krasnogor, *Newcastle University, UK* Markus Ralser, *University of Cambridge, UK & The Francis Crick Institute, UK* Uwe Sauer, *Institute of Molecular Systems Biology, ETH Zurich, Switzerland* Gill Stephens, *The University of Nottingham, UK * Mike Stubbington, *EMBL-EBI, Cambridge UK* Eriko Takano, *University of Manchester, UK* Sarah Teichmann, *Wellcome Trust Sanger Institute & EMBL, European Bioinformatics Inst., UK* Talks Talks Matteo Barberis, University of Amsterdam, The Netherlands Other speakers will be announced soon. Industrial Panel Jonathan Chesnut, Thermo Fisher Scientific Inc., USA Other speakers will be announced soon. TOPICS ======================== Applications of Synthetic & Systems Biology Biological Design Automation Computational/Mathematical Modelling and Design Computer Aided Design Directed Evolution Designing and Writing Genomes DNA Synthesis, Assembly, and Sequencing High Throughput Design Space Exploration Industrial Applications of Synthetic & Systems Biology Mammalian Synthetic Biology Metabolic Engineering Microbial Synthetic Biology / Microbiome Engineering Molecular Programming Omics Science and Synthetic & Systems Biology Pedagogical/Educational Tools Plant Synthetic Biology Protein Engineering Synthetic & Systems Biology for Cell Culture and Medical Applications Synthetic & Systems Biology of Industrial Microorganisms SCIENTIFIC COMMITTEE ======================== Giuseppe Nicosia, University of Catania, Italy Richard Allmendinger, The University of Manchester, UK Matteo Barberis, University of Amsterdam, The Netherlands Yaakov (Kobi) Benenson, Synthetic Biology Group@Department of Biosystems Science and Engineering, ETH Zurich, Basel, Switzerland Leonidas Bleris, Bioengineering Department, The University of Texas at Dallas, USA Paola Branduardi, University of Milano Bicocca, Italy Michele Ceccarelli, University of Sannio, Italy Jole Costanza, Italian Institute of Technology, Italy Domitilla Del Vecchio, Department of Mechanical Engineering, MIT, USA Diego Di Bernardo, Telethon Institute of Genetics & Medicine TIGEM & U. of Napoli "Federico II", Italy Barbara Di Camillo, University of Padova, Italy Barbara Di Ventura, Synthetic Biology Group - BioQuant/DKFZ, Heidelberg, Germany Simone Furini, University of Siena, Italy Emanuele Domenico Giordano, University of Bologna, Italy J. Gootenberg, Feng Zhang and Aviv Regev Groups, Department of Systems Biology, Harvard Medical School, Harvard University, USA Guido Grandi, University Trento, Italy Mario Guarracino, ICAR-CNR, Italy Markus Herrgard, Novo Nordisk Foundation Center for Biosustainability, Technical University of Denmark, Denmark Paolo Magni, University of Pavia, Italy Donato Malerba University of Bari, Italy Vincenzo Manca, University of Verona, Italy Nelson Marmiroli, University of Parma, Italy Giancarlo Mauri, University of Milano Bicocca and SYSBIO - Center of Systems Biology, Italy Enzo Medico, IRCC - Candiolo and University of Torino, Italy Giuseppe Narzisi, New York Genome Center, USA Wieslaw Nowak, Nicholas Copernicus University, Poland Gennaro Piccialli, University of Napoli Federico II, Italy Danilo Porro, University of Milano Bicocca, Italy Francesco Ricci, University of Rome "Tor Vergata", Italy Nicola Segata, University of Trento, Italy Gianna Maria Toffolo, University of Padova, Italy Renato Umeton, Dana-Farber Cancer Institute, USA Luca Zammataro, Yale University, USA FURTHER INFORMATION ========================== ssbss.school(a)gmail.com http://www.taosciences.it/ssbss/ Organization by Cambridge Systems Biology Centre - University of Cambridge, UK <http://www.sysbiol.cam.ac.uk/>

1 0

CFP - Intl. Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA 2017)
by Peter Mueller 09 Jun '17

09 Jun '17

Call for Papers for the 15th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA 2017) ***One of China Computer Federation (CCF) Class "C" Conferences*** Organizers: Guangzhou University, China Central South University, China Sponsors: IEEE, IEEE Computer Society and IEEE TCSC. Venue & Dates: Guangzhou, China, December 12-15, 2017 http://trust.gzhu.edu.cn/conference/ISPA2017/ Co-Located Conferences: (1) The 16th IEEE International Conference on Ubiquitous Computing and Communications (IEEE IUCC 2017), Guangzhou, China, December 12-15, 2017 http://trust.gzhu.edu.cn/conference/IUCC2017/ (2) The 10th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage (SpaCCS 2017), Guangzhou, China, December 12-15, 2017 http://trust.gzhu.edu.cn/conference/SpaCCS2017/ ------------------------------------------------------------------------------------------------- Special Issues Section Distinguished papers, after further revisions, will be published in 14+ SCI & EI indexed special issues (confirmed): (1) IEEE Transactions on Industrial Informatics (SCI&EI Indexed, Impact Factor: 4.79) http://tii.ieee-ies.org/ (2) IEEE Transactions on Emerging Topics in Computing (SCI&EI Indexed, Impact Factor: to appear soon) https://www.computer.org/web/tetc (3) IEEE Access (SCI&EI Indexed, Impact Factor: 1.270) http://ieeeaccess.ieee.org/ (4) Information Sciences - Elsevier (SCI&EI Indexed, Impact Factor: 3.364) http://www.journals.elsevier.com/information-sciences/ (5) Future Generation Computer Systems - Elsevier (SCI&EI Indexed, Impact Factor: 2.430) http://www.journals.elsevier.com/future-generation-computer-systems/ (6) Cluster Computing - Springer (SCI&EI Indexed, Impact Factor: 1.514) http://link.springer.com/journal/10586 (7) Multimedia Tools and Applications - Springer (SCI&EI Indexed, Impact Factor: 1.331) https://link.springer.com/journal/11042 (8) Journal of Parallel and Distributed Computing - Elsevier (SCI&EI Indexed, Impact Factor: 1.320) http://www.journals.elsevier.com/journal-of-parallel-and-distributed-comput… (9) Concurrency and Computation: Practice and Experience - Wiley (SCI&EI Indexed, Impact Factor: 0.94) http://www.cc-pe.net/journalinfo/ (10) Security and Communication Networks - Hindawi (SCI&EI Indexed, Impact Factor: 0.806) https://www.hindawi.com/journals/scn/ (11) Future Internet - MDPI (ESCI & EI Indexed) http://www.mdpi.com/journal/futureinternet (12) International Journal of Computational Science and Engineering (IJCSE) - INDERSCIENCE (ESCI & EI Indexed) http://www.inderscience.com/jhome.php?jcode=IJCSE (13) International Journal of Embedded Systems (IJES) - INDERSCIENCE (EI Indexed) http://www.inderscience.com/jhome.php?jcode=IJES (14) International Journal of High Performance Computing and Networking (IJHPCN) - INDERSCIENCE (EI Indexed) http://www.inderscience.com/jhome.php?jcode=ijhpcn * More special issues will be added later. ------------------------------------------------------------------------------------------------- Keynote Speeches Section You are welcome to attend 10+ Keynote Speeches shared by IEEE ISPA 2017 and its co-located IEEE IUCC 2017 and SpaCCS 2017 Conferences. ------------------------------------------------------------------------------------------------- Introduction The IEEE ISPA 2017 (15th 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 15th IEEE ISPA follows the tradition of previous successful IEEE ISPA conferences in the years from 2003 to 2016 in Asia, Europe, Australia and North America. It will feature sessions of regular presentations, workshops, tutorials and keynote speeches. IEEE ISPA 2017 is sponsored by the IEEE Technical Committee on Scalable Computing (TCSC) and the IEEE Computer Society. IEEE ISPA 2017 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 Interests (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 and Publication Information All papers need to be submitted electronically through the conference website (https://easychair.org/conferences/?conf=ispa2017) with PDF format. Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers must be clearly presented in English, must not exceed 8 pages (or up to 12 pages with the pages over length charge), including tables, figures, references and appendixes, in IEEE Computer Society proceedings Format ( http://www.ieee.org/conferences_events/conferences/publishing/templates.html ) with Portable Document Format (.pdf). Papers will be selected based on their originality, timeliness, significance, relevance, and clarity of presentation. 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 and presented papers will be included in the IEEE CPS Proceedings. Distinguished papers presented at the conference, after further revision, will be recommended to high quality international journals. Important Dates Paper Submission Deadline: July 15, 2017 Author Notification: September 15, 2017 Camera-Ready Paper Due: October 15, 2017 Conference Dates: December 12-15, 2017 General Chairs: Qinghua Zheng, Xi'an Jiaotong University, China Albert Zomaya, University of Sydney, Australia Azzedine Boukerche, University of Ottawa, Canada Program Chairs: Geoffrey Fox, Indiana University, USA Gregorio Martinez, University of Murcia, Spain Guojun Wang, Guangzhou University, China Program Vice Chairs: (1) Systems and Architectures Track Jinjun Chen, University of Technology Sydney (UTS), Australia Qing Yang, Montana State University, USA (2) Technologies and Tools Track Julien Bourgeois, Universit¨¦ de Franche-Comt¨¦, France Gang Pan, Zhejiang University, China (3) Applications Track Javid Taheri, Karlstad University, Sweden Weigang Li, University of Brasilia, Brazil Steering Chairs: Minyi Guo, Shanghai Jiao Tong University, China Laurence T. Yang, St. Francis Xavier University, Canada Program Committee Members: Please check the conference website for detail. Workshop Chairs: Karl Andersson, Lulea University of Technology, Sweden Habib M. Ammari, Norfolk State University, USA Shui Yu, Deakin University, Australia Andy Li, University of Florida, USA Publicity Chairs: Peter Mueller, IBM Zurich Research Laboratory, Switzerland Mianxiong Dong, Muroran Institute of Technology, Japan Wenbin Jiang, Huazhong University of Science and Technology, China Publication Chair: Fang Qi, Central South University, China Registration Chair: Pin Liu, Central South University, China Organizing Chairs: Dongqing Xie, Guangzhou University, China Shuhong Chen, Guangzhou University, China Xiaofei Xing, Guangzhou University, China Webmaster: Dacheng Meng, Central South University, China Contact: Please email inquiries concerning IEEE ISPA 2017 to: Prof. Guojun Wang: csgjwang AT gmail DOT com and the conference organizers (ISPA2017Guangzhou AT gmail DOT com). Prof. Guojun Wang's Homepage: http://trust.gzhu.edu.cn/faculty/~csgjwang/

1 0

Deadline approaching - 13th International Workshop on Security and Trust Management (STM 2017)
by stm2017 08 Jun '17

08 Jun '17

CALL FOR PAPERS ****************************************************************************** 13th International Workshop on Security and Trust Management (STM 2017) Oslo, Norway - September 14-15, 2017 http://stm2017.di.unimi.it co-located with with ESORICS 2017 ****************************************************************************** STM (Security and Trust Management) is a working group of ERCIM (European Research Consortium in Informatics and Mathematics). STM 2017 is the thirteenth workshop in this series and will be held in Oslo, Norway, in conjunction with the 22nd European Symposium On Research in Computer Security (ESORICS 2017). The workshop seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of security and trust in ICT. 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 SUBMISSION INSTRUCTIONS 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=stm2017 . Papers must be received by the deadline of June 17, 2017 (11:59 p.m. American Samoa time). Authors of accepted papers must guarantee that their papers will be presented at the workshop. The proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. A paper submitted to STM 2017 cannot be under review for any other conference or journal during the time it is being considered for STM 2017. Furthermore, after you submit to STM 2017, 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 2017, 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 17, 2017 (11:59 p.m. American Samoa time) Notification to authors: July 27, 2017 Camera ready due: August 05, 2017 PROGRAM CHAIRS Giovanni Livraga Universita' degli Studi di Milano, Italy Chris Mitchell Royal Holloway, University of London, UK PROGRAM COMMITTEE (to be completed) Ken Barker, University of Calgary, Canada Colin Boyd, NTNU, Norway David Chadwick, University of Kent, UK Liqun Chen, University of Surrey, UK Jorge Cuellar, Siemens AG, Germany Sabrina De Capitani di Vimercati, Universita' degli Studi di Milano, Italy Josep Domingo-Ferrer, Universitat Rovira i Virgili, Spain Sara Foresti, Universita' degli Studi di Milano, Italy Joaquin Garcia-Alfaro, Telecom SudParis, France Ehud Gudes, Ben-Gurion University, Israel Michael Huth, Imperial College, UK Costas Lambrinoudakis, University of Piraeus, Greece Javier Lopez, University of Malaga, Spain Fabio Martinelli, CNR, Italy Sjouke Mauw, University of Luxembourg, Luxembourg Catherine Meadows, NRL, USA Stig Mjolsnes, NTNU, Norway Charles Morisset, Newcastle University, UK Siani Pearson, HP, UK Gunther Pernul, University of Regensburg, Germany Marinella Petrocchi, CNR, Italy Benoit Poletti, INCERT GIE, Luxembourg Silvio Ranise, FBK, Italy Ralf Sasse, ETH Zurich, Switzerland Daniele Sgandurra, Royal Holloway, University of London, UK Vicenc Torra, University of Skovde, Sweden Fabian Van Den Broek, Radboud University of Nijmegen, Netherlands Vijay Varadharajan, University of Newcastle, Australia Damien Vergnaud, ENS, France Cong Wang, City University of Hong Kong, Hong Kong If you have any question, please contact the program chairs at stm2017pcchairs(a)gmail.com

1 0

Invited Paper Submission to IEEE Cyber Science and Technology Congress (CyberSciTech 2017)
by Kor, Ah-Lian 08 Jun '17

08 Jun '17

We would like to invite you to submit to the 2nd IEEE Cyber Science and Technology Congress (CyberSciTech 2017) http://cyberscitech.net/2017/, to be held in Orlando, USA, 6-10 November 2017. The details of the call for the sponsored conference by IEEE Computer Society and IEEE Technical Committee of Scalable Computing (TCSC) is as below: CALL For Papers INTRODUCTION --------------------- The modern digitized world has led to the emergence of a new paradigm on global information networks and infrastructures known as Cyberspace and the studies of Cybernetics, which bring seamless integration of physical, social and mental spaces. Cyberspace is becoming an integral part of our daily life from learning and entertainment to business and cultural activities. As expected, this whole concept of Cybernetics brings new challenges that need to be tackled. To address these emerging challenges, there is a need to establish new science and research portfolios that incorporate cyber-physical, cyber-social and cyber-mental technologies together in a coherent manner to deliver the vision of Cyberspace. This is the aim of the 2017 IEEE Cyber Science and Technology Congress (CyberSciTech 2017) to offer a common platform for scientists, researchers and engineers to share their latest ideas and to exchange the latest developments and outcomes in their research and technologies, with a broad scope of cyber-related science, technology and application topics. CyberSciTech 2017 covers four main research tracks including but not limited the following areas or topics. IMPORTANT DATES -------------------------- Workshop/Special Session Proposal Due: February 28, 2017 Paper Submission Due: June 15, 2017 Authors Notification: July 30, 2017 Camera-Ready Manuscript Due: August 15, 2017 Author Registration Due: August 15, 2017 SCOPE AND TOPICS -------------------------- CyberSciTech 2017 covers four main research tracks including but not limited the following areas or topics. Track 1: Cyber Science and Fundamentals Cyberspace Structure & Property, Cyber-world Constituents & Evolution, Cyberspace & Cyber-world Modeling, Cyber-enabled Hyper-connection, Cyber Visualization, Web Science, Internet Science, Data Science, Cyber Physical Science, Cyber Social Science, Cyber Human Science, Cyber Life Science, Cyber Physics, Cyber Biology, Cyber Ecology, Cyber Dynamics, Cyber Security Track 2: Cyber Physical Computing and Systems Cyber-Physical Systems, Cyber-Physical Interface, Cyber-Physical Hybrid Intelligence, Ambient Intelligence, Intelligent Transportation Systems, Networked Robots, Virtual Reality, Augmented Reality, Wearable/Bearable Computing, Cyborg, Internet of Things (IoT), Smart Object, Smart Sensor, Smart Environment, Smart City, Smart Agriculture, Smart Manufacture, Smart Healthcare, Smart Service, Smart Cloud, Smart World Track 3: Cyber Social Networks and Computing Cyber-Social Networks, Cyber-Sociology, Cyber-Culture, Cyber-Economy, Cyber-Social Evolution, Cyber-Social Sensing, Cyber-Social Simulation, Cyber-Behavior Analytics, Cyber-Crowdsourcing, Cyber-Trust, Cyber-Privacy, Cyber-Rights, Cyber-Crime, Cyber-Law, Cyber-Telepathy, Anticipatory Computing Track 4: Cyber Mind and Mental Computing Cyber-Brain, Cyber-Individual, Cyber-Life, Cyber/Digital Clone, Cyber-Human Evolution, Cyber-Psychology, Cyber-Cognition, Cyber-Affordance, Cyber-Human Analytics, Cyber-based Learning, Cyber-Thinking, Cyber-Creation, Affective Computing, Emotional Computing, Mental Computing, Sentiment Analysis SUBMISSION GUIDELINES ---------------------------------- Authors are invited to submit their original work that has not previously been submitted or published in any other venue. Submitted papers need to abide by IEEE Computer Society formats. Final papers must be formatted accordingly (see "IEEE Manuscript Templates<http://www.ieee.org/conferences_events/conferences/publishing/templates.html>"). Proposals for organizing tutorials, workshops and special sessions need to be submitted to the Tutorials, Workshops and Special Sessions Chairs, respectively by emailing cyberscitechcongress(a)gmail.com<mailto:cyberscitechcongress@gmail.com>. A proposal should include title, theme, scope and main presenters/organizers. Main track, workshop/special session, poster (short) papers all need to be in IEEE CS format and submitted following the same instruction on the CyberSciTech 2017 congress web site. A main track, workshop, or special session paper should be between 6-8 pages. A poster (short) paper should be between 2-4 pages. All accepted papers in the main tracks, workshops, special sessions and demos/posters will be published in an IEEE Computer Society proceedings (EI indexed). Extended versions of selected excellent papers will be considered for publication in special issues of prestige journals. Dr. Ah-Lian Kor PhD MBCS IEEE FHEA Senior Lecturer Course Leader for MSc Sustainable Engineering School of Computing, Creative Teachnologies and Engineering 202 Caedmon Hall, Leeds Beckett University, Headingley Campus, Leeds LS6 3QS UK Tel. No: 0044 113 8123243 Skype Name: lmualkor Email: A.Kor(a)leedsbeckett.ac.uk<mailto:A.Kor@leedsbeckett.ac.uk> To view the terms under which this email is distributed, please go to:- http://disclaimer.leedsbeckett.ac.uk/disclaimer/disclaimer.html

1 0

Submission extension: IEEE HiPC abstracts due June 23, full paper due June 30
by Anand Panangadan 07 Jun '17

07 Jun '17

24th IEEE International Conference on High Performance Computing, Data, and Analytics HiPC 2017 December 18-21, 2017 Jaipur, India http://www.hipc.org Paper Abstract Submission: Friday, June 23, 2017 Paper Submission Deadline (firm): Friday, June 30, 2017 Author Notifications for Rebuttal: Thursday, August 8, 2017 Author Rebuttal Response Due: Tuesday, August 15, 2017 Acceptance/Rejection Notification: Friday, September 8, 2017 Camera Ready paper Submission Due: Tuesday, October 3, 2017 HiPC 2017 CALL FOR PAPERS HiPC 2017 will be the 24th edition of the IEEE International Conference on High Performance Computing, Data, and Analytics. HiPC serves as a forum to present current work by researchers from around the world as well as highlight activities in Asia in the area high performance computing. The meeting focuses on all aspects of high performance computing systems and their scientific, engineering, and commercial applications. In 2016, to keep pace with new computing trends, the conference added two new areas of interest to its name, Data and Analytics, as reflected in the list below. Authors are invited to submit original unpublished research manuscripts that demonstrate current research in all areas of high performance computing, data and analytics. Topics include (but are not limited to): Algorithms: Design and Application of Parallel and Distributed Big Data and Analytics 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 Large Scale Graph Analytics 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 One or more best paper awards will be given for outstanding contributed papers. Authors of selected high quality papers in HiPC 2017 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 (Elsevier). Program Chair Ümit V. Çatalyürek, Georgia Institute of Technology, USA Program Vice-Chairs Algorithms: Olivier Beaumont, INRIA, France Applications: Ananth Kalyanaraman, Washington State University, USA Architecture: Yuan Xie, University of California at Santa Barbara, USA System Software: Gagan Agrawal, The Ohio State University, USA

1 0

CFP: Special Issue on "Security and Privacy in Cloud-Assisted Cyber-Physical Systems" in Computer Networks Journal (Elsevier)
by Cristina Alcaraz 07 Jun '17

07 Jun '17

*** Apologies for multiple copies *** ================================================================================ C a l l F o r P a p e r s COMPUTER NETWORKS JOURNAL - Elsevier Special Issue: Security and Privacy in Cloud-Assisted Cyber-Physical Systems ================================================================================ Cloud-assisted Cyber-Physical Systems (CPS) feature a tight coupling between embedded computing devices and their physical environment. CPSes can be viewed as the bridge between physical components/processes and the cyber space. Specifically, the notion of CPSes is to use computing (e.g. sensing, analyzing and predicting), communication (e.g. interaction, intervene and interface management), and controlling (e.g. inter-operation, evolving and evidence-based certification) to make intelligent and autonomous systems. Recent years have seen a dramatic rise in the development of CPSes services, including ubiquitous health care, smart electricity grid, and smart buildings. However, the fast-growing data volume is hard to process. The present CPSes cannot support ultra-fast computing, and thus it cannot provide real-time and reliable services to meet the requirements, which are essential for mission-critical systems. Fortunately, cloud infrastructures and platforms can provide flexible and on-demand processing power and high-capacity storage for data streams, as well as provisioning of a variety of services using telecommunication and networking technologies. Thus, the large-scale nature of CPSes can be effectively and efficiently supported and assisted by cloud systems, which is referred to as cloud-assisted CPSes (Cloud-CPS). The coupling of cloud systems and CPSes, though advantageous, is subject to new forms of risks that have not been considered adequately in the traditional computing domain. CPSes often collect sensitive and private information about the physical environment. A loss of security for a CPS can therefore have significant negative impact including loss of privacy, potential physical harm, discrimination, and abuse. Though numerous security primitives have been developed in the cyber domain to address the very same problems, their applicability to the Cloud-CPSes domain is still questionable due to the reason that they are usually complex to implement and oblivious to cyber-physical interactions. The goal of this special issue is to unveil and address the security and privacy aspects associated to the Cloud-CPeSs. Suggested topics include, but are not limited to the following. * Secure data sharing in Cloud-CPSes * Big data security and privacy in Cloud-CPSes * Secure computation in Cloud-CPSes * Location privacy in Cloud-CPSes * Lightweight block ciphers for low-resource devices in Cloud-CPSes * Searchable encryption in Cloud-CPSes * End to end secure communications in Cloud-CPSes * Access control in Cloud-CPSes * Key management in Cloud-CPSes These topics remark the differences between the classical CPSes and Cloud-CPSes, and particularly when designing security and privacy solutions for specific Cloud-assisted CPSes applied in restricted environments with rigorous performance requirements and criticality in mind. ----------------------------------------- Important Dates ----------------------------------------- * Submission deadline: June 30, 2017 * Notification of acceptance: August 31, 2017 * Final manuscript due: October 15, 2017 ----------------------------------------- Paper Submission Guidelines ----------------------------------------- All submitted papers to this special issue must be well written in English, and must be original and not be under review in any other journal or conference proceedings. When submitting their papers authors must select “Security in Cloud CPS” as the article type. Submitted papers should be presented according to the journal style. For more detailed information regarding the requirements for submission, please refer to: https://www.elsevier.com/journals/computer-networks/1389-1286/guide-for-aut…. Requests for additional information should be addressed to the guest editors. ----------------------------------------- Guest Editors ----------------------------------------- Cristina Alcaraz, University of Malaga, alcaraz(a)lcc.uma.es Xinyi Huang, Fujian Normal University, xyhuang81(a)gmail.com Erich Rome, Fraunhofer, erich.rome(a)iais.fraunhofer.de

1 0

[Conferences-ucami-iwaal-amihealth] Special Issue on Journal of Ambient Intelligence and Humanized Computing
by Special Issue on JAIHC 07 Jun '17

07 Jun '17

Journal of Ambient Intelligence and Humanized Computing http://www.springer.com/engineering/computational+intelligence+and+complexi… Editor-in-Chief: Vincenzo Loia Special Issue on Systems and Applications of Internet of Things for building Smart Environments Aims and Scope The new advances on embedded systems and mobile computing provide great potential to the development of the information and communication society. Progress made open new possibilities for designing value-added applications for the user. The purpose of this special issue is to foster quality research in this field. The scope of this special issue deals with the scientific and technological issues for building smart environments made of connected devices and cloud computing support. Overview Most of the current IoT advances are mainly focused on sensors, connectivity networks and architectures, however the key-enabling aspect of this paradigm is the implementation of user-centred applications that focus on improving the life of citizens and the places in which they live. Smart cities, assisted living, transportation, sport monitoring and health applications are just some examples of applications which have emerged in this domain. The development of smart objects, embedded intelligence, and smart networks may further aid progress. In addition, connecting the Internet-of-Things to the Cloud can address the problem of access to near-limitless computational power and allows to unlock advanced multi-tiered IoT applications and to provide smarter behaviour of the IoT systems. However, this paradigm still has technological and scientific challenges related to several areas of computing and communications. The objective of this special issue is to bring together the state-of-the-art research contributions that address key aspects of Smart Environments powered by Internet of Things and related areas. Original papers describing completed and unpublished work not currently under review by any other journal/magazine/conference/workshop are solicited. Why this subject is important to Journal of Ambient Intelligence and Humanized Computing readers The Journal of Ambient Intelligence and Humanized Computing is an international and prestigious journal in the field of IoT applications; in this perspective, this SI focusing on IoT and building of smart environments, will be able to collect several scientific contributions from different research areas, since the IoT paradigm can be considered a quite consolidated but at the same time an emerging paradigm with an increasing interest from academics, government and industry. List of the topics to be covered Topics of interest around IoT include, but are not limited to, the following scope:  Application development trends for IoT.  IoT system design, modeling and evaluation.  Cyber-Physical Systems  Mobile Cloud Computing.  Real-time computing for IoT.  Cloud Computing and IoT.  Embedded sensing and actuating.  Smart Cities development.  Ubiquitous computing.  Human centric computing.  Distributed smart systems and applications.  Data management in IoT.  Quality of Service in IoT applications.  Scalability and mobility issues.  Specialized embedded architectures. Proposals should address some of the above-mentioned topics, and identify the added value of the proposed approach specific to IoT and smart environments. It is expected to include usage scenarios to demonstrate the practicality of the approach. Submission Guidelines All the papers should be full journal length versions and follow the guidelines set out by JAIHC http://www.springer.com/engineering/computational+intelligence+and+complexi…. Manuscripts should be submitted online at https://www.editorialmanager.com/aihc/default.aspx. All the papers will be peer-reviewed following the journal reviewing procedures. Authors have to select the Article Type “IoT for Smart Environments” in the submission system. Schedule – important dates  Paper submission due: Oct. 30, 2017  1st round review notification: Dec. 30, 2017  Revised version submission due: Jan. 30, 2018  2nd round review notification: Feb. 30, 2018  Final Acceptance notification: Mar. 30, 2018 Guest Editors Dr. Higinio Mora Mora Senior Researcher. Computer Technology and Computation Department. University of Alicante. Spain. Dr. Bruno Volckaert Professor. Department of Information Technology. Ghent University. Belgium. Dr. Virgilio Gilart Iglesias Senior Researcher. Computer Technology and Computation Department. University of Alicante. Spain. Dr. Raquel Pérez del Hoyo Senior Researcher. Department of Building Sciences and Urbanism, University of Alicante, Spain _______________________________________________ CONFERENCES-UCAMI-IWAAL-AMIHEALTH mailing list CONFERENCES-UCAMI-IWAAL-AMIHEALTH(a)sercontecpma.com http://sercontecpma.com/mailman/listinfo/conferences-ucami-iwaal-amihealth_…

1 0

CfP: MACIS 2017, Submission: Sep 3 / Conference: Nov 15-17 / Vienna, Austria
by res.mb.conference 06 Jun '17

06 Jun '17

*** Call for Papers MACIS 2017 7th International Conference on Mathematical Aspects of Computer and Information Sciences November 15-17, 2017 Vienna, Austria. Web site: https://macis2017.sba-research.org/ **** MACIS is a series of biennial conferences focusing on research in mathematical and computational aspects of computing and information science. MACIS 2017 will feature invited presentations and a selective four-track program of contributed papers describing original and unpublished research. +++ Important Dates +++ Submission deadline (REGULAR/SHORT papers): September 3, Sunday (SHORT papers are decided on a rolling basis) Notification deadline for all submissions: October 2, Monday Registration opens: October 2, Monday Camera-ready due: October 15, Sunday Deadlines are firm; late submissions will not be considered. +++ MACIS 2017 Organization +++ General Chair: Dimitris E. Simos, SBA Research, Austria PC Chairs: Johannes Bloemer, Paderborn University, Germany Temur Kutsia, RISC, Johannes Kepler University, Austria MACIS Steering Committee: Ilias Kotsireas (Chair), Wilfrid Laurier University, Canada Siegfried Rump, Hamburg University of Technology, Germany Thomas Sturm, Max Planck Institute for Informatics, Germany Dongming Wang, Beihang University, China Jinzhao Wu, Guangxi University for Nationalities, China Chee Yap, New York University, USA +++ Proceedings +++ All accepted SHORT or REGULAR papers (details, below) are planned to appear in a conference proceedings volume published by Springer LNCS (pending approval). In addition, REGULAR papers have the opportunity to be considered for post-conference special issues of the journal ``Mathematics in Computer Science'' (MCS http://link.springer.com/journal/11786) by Birkhauser/Springer. +++ MACIS 2017 Topics +++ MACIS authors are required to choose one of the following tracks: Track 1: Foundation of Algorithms in Mathematics, Engineering & Scientific Computation Track Chairs: Matthew England (Coventry University, UK), Jonathan Hauenstein (University of Notre Dame, USA), Laura Kovacs (Vienna University of Technology, Austria), Elias Tsigaridas (INRIA, France) Topics: quantifier elimination and decision procedures; global optimization; differential equations; numeric, symbolic, interval and hybrid solution techniques; satisfiability modulo theories; combinations of logics and deductive engines; applications, especially in systems analysis and formal verification; solving (parametric) polynomial systems Track 2: Combinatorics and Codes in Computer Science Track Chairs: Daniel Augot (INRIA & Ecole Polytechnique, France), Alexander May (Ruhr-University Bochum, Germany), Alfred Wassermann (University of Bayreuth, Germany) Topics: combinatorics, enumerative, combinatorial designs, their analysis and algorithmic constructions of them, complexity problems in combinatorics; codes constructions, decoding methods and their complexity, information theory aspects, Kolmogorov complexity Track 3: Data Modeling and Analysis Track Chairs: Xiaoyu Chen (Beihang University, China) Joachim Giesen (Friedrich Schiller University Jena, Germany), Giorgos Kollias (IBM Research, USA) Topics: knowledge discovery; data mining; differential privacy, pattern recognition; complex knowledge - representation and management; foundations and theories for data analysis - systems; design and analysis of machine learning algorithms, statistical analysis for big data Track 4: Mathematical Aspects of Information Security and Cryptography Track Chairs: Jan Camenisch (IBM Research, Switzerland), Stefan Dziembowski (University of Warsaw, Poland), Guenael Renault (ANSSI, France) Topics: security models; formal methods for security and privacy; design and analysis of algebraic, elliptic, number theoretical, code-based, lattice-based and hash-based cryptographic primitives; algebraic cryptanalysis, algebraic attacks, number theoretical algorithms, mathematical foundations of post-quantum cryptography; (lattices, codes); algorithms and software for symbolic computation in cryptography - For general inquiries regarding MACIS 2017, please send e-mail to Dimitris Simos <dsimos(a)sba-research.org<mailto:dsimos@sba-research.org>> - For inquiries regarding MACIS topics, please send e-mail to Johannes Bloemer <bloemer(a)mail.uni-paderborn.de<mailto:bloemer@mail.uni-paderborn.de>> or to Temur Kutsia <kutsia(a)risc.jku.at<mailto:kutsia@risc.jku.at>> +++ Submission Guidelines +++ Authors are invited to submit papers, presenting original and unpublished research: - REGULAR papers are up to 15 pages, and SHORT papers are up to 5 pages, including references. - Simultaneous submission to other conferences with published proceedings or journals is not allowed. - Please use the LNCS format from Springer: ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip - Submissions should be made to the appropriate track of the conference, by using the easychair submission system: https://easychair.org/conferences/?conf=macis2017. - For detailed submission guidelines please see the MACIS website: https://macis2017.sba-research.org

1 0

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

06 Jun '17

******* WORKS 2017 Workshop ******* Workflows in Support of Large-Scale Science Workshop Monday, 13 November 2017, Denver, Colorado, USA. Held in conjunction with SC1 <http://sc17.supercomputing.org/>7, The International Conference for High Performance Computing, Networking, Storage and Analysis http://works.cs.cardiff.ac.uk/ Paper submission deadline: 30 July 2017 ************************************* 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 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 Interactive workflows (including workflow steering) ************************************* Paper Submission Important Dates Papers Due: 30 July 2017 Notifications of Acceptance: 9 September 2017 E-copyright registration completed by authors: 1 October 2017 Final Papers Due: 1 October, 2017 The paper must be at most 10 pages long. The proceedings should be formatted according to http://www.acm.org/publications/proceedings-template. WORKS papers this year will be published in collaboration with SIGHPC and will be available from both ACM and IEEE digital repositories. ************************************* WORKS 2017 Organizing Committee – PC Chairs Sandra Gesing, University of Notre Dame, USA Rizos Sakellariou, University of Manchester, UK – General Chairs Johan Montagnat, French National Center for Scientific Research (CNRS), Sophia Antipolis, France Ian 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, University of Delaware, USA – Publicity Chairs Rafael Ferreira da Silva, USC, USA Ilia Pietri, University of Athens, Greece ************************************* WORKS 2017 Program Committee 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, University of Athens, 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 2017
by Dirk Craeynest 06 Jun '17

06 Jun '17

----------------------------------------------------------------------- FINAL Call for Participation *** UPDATED Program Summary *** 22nd International Conference on Reliable Software Technologies - Ada-Europe 2017 12-16 June 2017, Vienna, Austria http://www.ada-europe.org/conference2017 *** Check out tutorials and workshop! *** *** Full Program available on conference web site *** *** Online proceedings available at event *** *** Register now! *** ----------------------------------------------------------------------- Press release: 22nd Ada-Europe Conference on Reliable Software Technologies International experts meet in Vienna Vienna, Austria (6 June 2017) - TU Vienna and Ada-Europe organize from 12 to 16 June 2017 the "22nd International Conference on Reliable Software Technologies - Ada-Europe 2017" in Vienna, Austria. The event is organized in cooperation with the Ada Resource Association (ARA), and with ACM's Special Interest Groups on Ada (SIGAda) 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, a workshop, 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: Introduction to SPARK 2014; Ada on ARM Cortex-M, a Zero-Run-Time Approach; Software Measurement for Dependable Software Systems; Real-Time Parallel Programming with the UpScale SDK; Using Gnoga for Desktop/Mobile GUI and Web development in Ada; Frama-C, a Collaborative Framework for C Code Verification; On beyond ASCII: Characters, Strings, and Ada 2012; Modular Open System Architecture for Critical Systems. In addition, on Friday the conference hosts for the 4th consecutive year the International Workshop on "Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering" (De-CPS 2016), now with a focus on "Transportation of the Future". Three eminent keynote speakers have been invited to open each day of the core conference program. Giovanni Battista Gallus (Array, Italy), in "The laws of robotics and autonomous vehicles may be much more than three, but don't panic... yet", will talk about the future European legal framework, which is relevant for the development of autonomous vehicles, and especially programming issues. Thomas Henzinger (IST, Austria), in "Behavioral Software Metrics", will show how the classical satisfaction relation between programs and requirements can be replaced by quantitative preference metrics that measure the "fit" between programs and requirements. Kay Römer (TU Graz, Austria), in "Dependable Internet of Things", will introduce the Dependable Things research center at TU Graz and present recent results on improving the dependability of wireless communication and localization, embedded computing, and networked control for the Internet of Things. The technical program presents 14 refereed and carefully selected papers on the latest research, new tools, applications and industrial practice and experience, a collection of 9 industrial presentations reflecting current practice and challenges, 4 presentations and a discussion in a special panel session on "The Future of Safety-Minded Languages", and vendor presentations. Springer Verlag publishes all peer-reviewed papers in the proceedings of the conference, as LNCS Vol. 10300. 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 and runs until the end of Thursday afternoon. Exhibitors include AdaCore, PTC Developer Tools, Rapita Systems, VectorCAST, and Ada-Europe. The social program includes a Welcome Reception plus robotics presentations on Tuesday evening at "TU the Sky"; its terraces at the top of TU Vienna's buildings offer a terrific view on the city. On Wednesday evening there will be a Vienna bus tour, followed by the traditional Ada-Europe Conference Banquet, held at a very famous "Heuriger". 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 TU Vienna at Palais Eschenbach, which is located near the center of Vienna 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/conference2017/AE2017_final_program.pdf> Check out the 8 tutorials in the PDF program, or in the schedule at <http://www.ada-europe.org/conference2017/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/conference2017> or go directly to <https://adaeurope.upv.es/index.html>. For those who can't attend the full conference, note that Wednesday 14 June is "Meet Ada-Europe day!", and single day registration is discounted. The proceedings, published by Springer Verlag as Lecture Notes in Computer Science Vol. 10300, are already available online. See <https://link.springer.com/book/10.1007/978-3-319-60588-3>. A printed copy is included in every full conference registration. Help promote the conference by advertising for it! <http://www.ada-europe.org/conference2017/promotion.html>. Put up the poster at <http://www.ada-europe.org/conference2017/picts/AE2017_poster.png>. Recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2017. For the latest information consult the conference web site <http://www.ada-europe.org/conference2017>. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk.Craeynest(a)cs.kuleuven.be, Ada-Europe'2017 Publicity Chair *** 22nd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2017 *** June 12-16, 2017 *** Vienna, Austria *** http://www.ada-europe.org

1 0