- computational.science - lists.iccsa.org

CFC: “Exploring Intelligent Decision Support Systems: Current State and New Trends”
by RAFAEL VALENCIA GARCIA 25 May '17

25 May '17

CFC: “Exploring Intelligent Decision Support Systems: Current State and New Trends” To be published by Springer Verlag on Studies in Computational Intelligence book series Overview Decision Support Systems (DSS) are gaining an increased popularity in various domains, including business, engineering, the military, and medicine. They are especially valuable in situations in which the amount of available information is prohibitive for the intuition of an unaided human decision maker and in which precision and optimality are of importance. Decision support systems can aid human cognitive deficiencies by integrating various sources of information, providing intelligent access to relevant knowledge, and aiding the process of structuring decisions. They can also support choice among well-defined alternatives and build on formal approaches, such as the methods of engineering economics, operations research, statistics, and decision theory. They can also employ artificial intelligence methods to address heuristically problems that are intractable by formal techniques. Proper application of decision-making tools increases productivity, efficiency, and effectiveness and gives many businesses a comparative advantage over their competitors, allowing them to make optimal choices for technological processes and their parameters, planning business operations, logistics, or investments. These systems allow individuals and organizations to deal with unstructured or semi-structured decision problems that demand extensive experience and expert knowledge. However, the increasing complexity of the problems and the continuous growing of information and knowledge that should be mastered by responsible people in organizations underline the need for DSSs driven by advanced and modern technologies. From this perspective, the field of DSS is expanding to use new technologies such as Social Media, Semantic Web, Linked Data, Big Data, and Machine Learning. These technologies are converging to provide integrated support for individuals and organizations to make more rational decisions. The objective of this book will be to explore the latest results of research, development and applications of DSSs in different fields. This book proposal will consider the following domains, but will not be limited: aerospace, agriculture, banking, business services, e-commerce, eHealth, e-government, finances, supply chain and others. This book aims to disseminate innovative and high-quality research regarding the foundations, methods, methodologies, models, tools, and techniques for designing, developing, implementing, and evaluating advanced DSSs in different fields. Topic Coverage Topics of interest in this book include, but are not restricted to: • Analytics for decision-making • Application of Knowledge-Based Methods • Big Data mining to support decision-making • Business Intelligence • Collaborative decision making • Data mining • Decision-making and Internet of Things • Decision-making models • Decision-making through machine learning • DSS foundations and development • Experts systems • Fuzzy logic • Geographic information system for decision-making • Knowledge Acquisition & Representation • Knowledge-based Decision Support Systems • Industrial applications and case-studies • Impact of DSS in industrial performance • Linked Data to support decision-making • Multicriteria DSS • Ontological engineering • Operational research and management science • Probabilistic Graphical Models • Semantic knowledge bases for decision making • Social Media use in decision-making • Web-based and mobile DSS • Web 2.0 and 3.0 based knowledge artefacts for decision making Target audience The target audience includes researchers, practitioners and (Masters/PhD) students. Therefore, papers need to address both scientific and practical implications of the research. Type of contributions and length • Case studies: In-depth reports of DSS implementations to support decision-making in an organization or business. • Full research papers: Both quantitative and qualitative contributions that study a particular aspect of Decision Support Systems. Only completed research will be considered, meaning that research in progress will not be considered to be included in the book. • Conceptual papers: Contributions that synthesize existing studies. This type of contributions are typically 15 to 20 pages in length (excluding references) when applying the Springer formatting instructions. Contributions should be original and not be submitted elsewhere. Submission Guidelines and Other Considerations Chapters submitted must not have been previously published or be under consideration for publication in other journals, books, though they may represent significant extensions of prior work. All submitted chapters will undergo a rigorous peer-review process (with at least two reviewers) that will consider programmatic relevance, scientific quality, significance, originality, style and clarity. The acceptance process will focus on chapters that address relevant contributions in the form of theoretical and experimental research and case studies applying new perspectives for developing Decision Support Systems. Before submitting a chapter proposal, authors must carefully read over the Springer’s Author Guidelines. Authors should submit their complete chapter via email: marioandres.paredes(a)um.es , valencia(a)um.es and the subject of the email should be: “Chapter Submission: Exploring Intelligent DSS Current State and New Trends” according to the following timeline. Important Dates • Submission deadline: July 1st, 2017 • First selection of submissions: July 15th, 2017 • Completion of first‐round reviews: September 15th, 2017 • Revised chapters: September 30st, 2017 • Target of the second (last) round of reviews: October, 15th, 2017 • Publication (tentative): Spring 2018 Editors Rafael Valencia-García, Universidad de Murcia, Spain (valencia(a)um.es) Mario Andrés Paredes-Valverde, Universidad de Murcia, Spain (marioandres.paredes(a)um.es) María del Pilar Salas-Zárate, Universidad de Murcia, Spain (mariapilar.salas(a)um.es) Giner Alor-Hernández, Instituto Tecnológico de Orizaba, México (galor(a)itorizaba.edu.mx )

1 0

Third IEEE International Workshop on Security in NFV-SDN (SN-2017)
by Shao Ying Zhu 24 May '17

24 May '17

Call for Papers The Third International Workshop on Security in NFV-SDN in conjunction with the 3rd IEEE NFV-SDN conference, 6-8 November, Berlin, Germany Workshop website: http://www.sn-2017.info/ Scope Network Function Virtualization (NFV) and Software Defined Network (SDN) have changed the networking industry dramatically. NFV virtualizes network services by utilizing virtualization technologies to reduce the dependency on underlying hardware. NFV provides many benefits such as faster service enablement, ease of resource management and lower OPEX and CAPEX. SDN separates the control functions from the underlying physical network by decoupling the control and data planes. SDN provides many benefits such as reduced costs, ease of deployment and management, better scalability, availability, flexibility and fine-grain control of traffic and security. Like traditional networks, they are subject to various security threats and attacks. In this workshop, we invite high-quality submissions in the areas of NFV and SDN security and other related areas. Submitted papers should highlight methods and approaches that can be used to analyse the security risks and requirements, threats and techniques related to NFV and SDN and to provide novel methods and approaches to assure security in NFV and SDN. Topics of interest Topics of interest include but are not limited to the following areas: · Security, reliability and privacy through SDN and NFV in 5G networks · Management and orchestration of NFV and SDN elements for security · Secure design of NFV and SDN solutions, security enablers · Security threats and vulnerabilities introduced by NFV and SDN technologies · Threat detection and mitigation through SDN and NFV · Security policy specification and management in SDN and NFV systems · Security related monitoring and analytics in SDN and NFV solutions · 5G security architecture, trust and confidence · Authentication, authorization and Accounting in SDN · Security of applying SDN to wireless and mobile network · Security of applying NFV and SDN to IoT · Security of applying NFV and SDN to cloud computing · Security of SDN API · Risk and compliance issues in SDN · Securing SDN infrastructure · Security architecture for SDN · Security standard of SDN · Security of SDN data plane · Security of SDN control plane · Security of SDN application plane · Security of Routing in SDN · Security of network slicing · Security as a service for SDN The workshop deadlines: · Paper Submission: June 30, 2017 · Notification of Acceptance: July 15, 2017 · Camera Ready Submission: September 15, 2017  Submission Please use EDAS to upload your submission at http://edas.info/N23798. The manuscripts must be prepared in English, following IEEE two‐column Manuscript Templates (http://www.ieee.org/conferences_events/conferences/publishing/templates.html) for Conference Proceedings with a maximum length of six (6) printed pages for full papers and up to four (4) pages for short papers (work in progress), including figures. All papers need to be submitted in PDF format via EDAS<http://edas.info/N23798>. All submitted papers will be peer‐reviewed. To be published in the Workshop Proceedings and to be eligible for publication in IEEE Xplore, at least one author of an accepted paper is required to register and present the paper at the workshop. The IEEE reserves the right to exclude a paper from distribution after the conference (including its removal from IEEE Explore) if the paper is not presented at the conference. Papers are reviewed on the basis that they do not contain plagiarized material and have not been submitted to any other conference at the same time (double submission). These matters are taken very seriously and the IEEE Communications Society will take action against any author who engages in either practice. Workshop Chairs · Eleni Trouva, NCSR Demokritos, Greece · Shao Ying Zhu, University of Derby,UK · George Gardikis, Space Hellas, Greece · Collin Allison, University of St Andrews,UK · Linas Maknavicius, Nokia Bell Labs, France Technical Program Committee (TPC) · Diego Lopez – Telefonica I&D, Spain · Harilaos Koumaras – NCSR Demokritos, Greece · Muhammad Shuaib Siddiqui – i2CAT, Spain · Ludovic Jacquin – Hewlett Packard Labs, UK · Nicolae Paladi, Swedish Institute of Computer Science, Sweden · Augusto Ciuffoletti – University of Pisa, Italy · Carolina Canales – Ericsson, Spain · Michail-Alexandros Kourtis – NCSR Demokritos, Greece · Marco Anisetti – University of Milan, ItalyMarco Anisetti – University of Milan, Italy · Sandra Scott-Hayward – Queen’s University Belfast, UK · Miguel Angel Garcia – Ericsson, Spain · Antonios Litke – Infili, Greece · Nikolaos Papadakis – Infili, Greece · Dimitris Katsianis, Incites, Luxemburg · Antonio Agustin Partor Perales – Telefonica I&D, Spain · Yacine Rebahi, Fraunhofer Institute for Open Communication Systems FOKUS, Germany · Abdelkader Outtagarts – Nokia, Bell Labs, France Contacts Eleni Trouva - trouva(a)iit.demokritos.gr<mailto:trouva@iit.demokritos.gr> Dr. Shao Ying Zhu - s.y.zhu(a)derby.ac.uk<mailto:s.y.zhu@derby.ac.uk> Dr. George Gardikis - ggar(a)space.gr<mailto:ggar@space.gr> Linas Maknavicius - linas.maknavicius(a)nokia-bell-labs.com<mailto:linas.maknavicius@nokia-bell-labs.com> Dr. Colin Allison - ca(a)st-andrews.ac.uk<mailto:ca@st-andrews.ac.uk> The University of Derby has a published policy regarding email and reserves the right to monitor email traffic. If you believe this was sent to you in error, please reply to the sender and let them know. Key University contacts: http://www.derby.ac.uk/its/contacts/

1 0

CILC 2017 call for paper: deadline approaching
by Dario Della Monica 23 May '17

23 May '17

********************************************************************** CALL FOR PAPERS 32nd Italian Conference on Computational Logic (CILC 2017) -- http://cilc2017.unina.it/ Naples, Italy, September 26-29, 2017 ********************************************************************** CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, www.programmazionelogica.it) Its 32nd edition will be held in Naples (Italy) on September 26-29, 2017. Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases. CILC 2017 is co-located with the 18th Italian Conference on Theoretical Computer Science ICTCS 2017 (http://ictcs2017.unina.it/) with which it will share part of the program. The two events will feature plenary events, on September 29, to be specified later. Contributions: -------------- The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types of submissions: full papers, possibly already submitted to other conferences or journals, and short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. The topics of interest include, but are not limited to, the following: Logic Programming, Constraint Programming and other paradigms of declarative programming Extensions and integrations of declarative programming paradigms Analysis, transformation, validation, and verification of programs Instruments and environments for program development Implementations and benchmarking Model Checking Temporal logics Automated Theorem Proving Non-Monotonic Reasoning Answer Set Programming Knowledge representation and extraction Treatment of uncertain and incomplete knowledge Approximate Reasoning Abductive Logic Programming Model-based Reasoning Inductive Logic Programming Deductive Databases Data Mining and Data Integration Multi-agent systems Logics for strategic reasoning Semantic Web Natural Language Processing Computational logic for concurrency, coordination, mobility and objects Planning and scheduling Probabilistic Logic Programming Computational Logic and formal methods in Artificial Intelligence Applications of Computational Logic Pedagogy of Computational Logic Invited Speakers: ----------------- The invited speakers for this joint CILC/ICTCS event are: Mario Alviano, University of Calabria Laura Giordano, Università del Piemonte Orientale Alessio Lomuscio, Imperial College London Important dates: ---------------- Abstract, paper, and demo submission deadline: 25 May 2017 Notification of acceptance: 30 June 2017 Final version and early registration deadline: 24 July 2017 Conference: 26-29 September 2017 Submission instructions: ------------------------ Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=cilc2017 Articles must not exceed 15 pages for full papers and 5 pages for short papers, respectively. Manuscripts should be formatted using the Springer LNCS style. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. In particular, we invite submissions of system or prototype software descriptions which use techniques or tools of computational logic, or which themselves aid the development of applications based on computational logic. Systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. The event is organized by GULP. Therefore, Italian attendants are required to be members of GULP (it is possible to join GULP at the conference). Proceedings: ------------ All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the conference web site including a link to the original publication if already published. As in previous years, we plan to publish a selection of the best papers in a special issue of an international journal (to be determined). This is open to full and short papers that have not been published in a journal. General chair: -------------- Aniello Murano (University of Naples "Federico II") Program co-chairs: ------------------ Dario Della Monica (Universidad Complutense de Madrid) Luigi Sauro (University of Naples "Federico II") Program Committee: ------------------ Davide Ancona, University of Genova, Italy Paolo Baldan, University of Padova, Italy Ezio Bartocci, Vienna University of Technology, Austria Massimo Bartoletti, University of Cagliari, Italy Vittorio Bilò, University of Salento, Italy Stefania Costantini, University of L'Aquila, Italy Ugo Dal Lago, University of Bologna, Italy Pierpaolo Degano, University of Pisa, Italy Stefano Ferilli, University of Bari, Italy Fabio Fioravanti, University of Chieti-Pescara, Italy Ferdinando Fioretto, University of Michigan, USA Andrea Formisano, University of Perugia, Italy Raffaella Gentilini, University of Perugia, Italy Laura Giordano, DISIT, University of Piemonte Orientale, Italy Marco Manna, University of Calabria, Italy Marco Maratea, DIBRIS, University of Genova, Italy Viviana Mascardi, DIBRIS University of Genova, Italy Barbara Masucci, University of Salerno, Italy Paola Mello, University of Bologna, Italy Matteo Mio, CNRS/ENS-Lyon, France Fabio Mogavero, University of Oxford, UK Marco Montali, Free University of Bolzano, Italy Manuela Montangero, University of Modena and Reggio Emilia, Italy Laura Nenzi, IMT, Lucca, Italy Eugenio Omodeo, University of Trieste, Italy Fabio Patrizi, Sapienza University of Rome, Italy Giuseppe Perelli, University of Oxford, UK Adriano Peron, University of Napoli "Federico II", Italy Alberto Pettorossi, University of Roma Tor Vergata, Italy Carla Piazza, University of Udine, Italy Luca Pulina, POLCOMING, University of Sassari, Italy Fabrizio Riguzzi, University of Ferrara, Italy Gianfranco Rossi, University of Parma, Italy Guido Sciavicco, University of Ferrara, Italy Jeremy Sproston, University of Torino , Italy Tiziano Villa, University of Verona, Italy Venue: ------ The conference will take place at the "Complesso di San Giovanni a Teduccio---Complesso Napoli Est", in Corso Nicolangelo Protopisani, 70, 80146 Napoli. -------------- For more information email cilc2017(a)easychair.org. -- 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

IEEE HiPC 2017 Call for Papers - Abstracts due 5 June 2017
by Anand Panangadan 22 May '17

22 May '17

IEEE HiPC 2017 (Jaipur, India • 18-21 December) Release: 22 April 2017 ------------------------------------------------------------------------------------------------ 24th IEEE International Conference on High Performance Computing, Data, and Analytics HiPC 2017 December 18-21, 2017 Jaipur, India www.hipc.org ------------------------------------------------------------------------------------------------ IMPORTANT DATES FOR HiPC 2017 •June 5.................Abstracts Due •June 15...............Paper Submission Deadline •August 8.............Reviews for Rebuttals •August 15...........Rebuttals Due •September 8......Author Notification •October 3..........Camera Ready Submission ------------------------------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------ HiPC 2017 CALL FOR PAPERS Full information on what/where to submit is available at hipc.org/cpf/ 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. Deadline: Abstracts are due by June 5, 2017 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. At least one author of each paper must be registered for the conference in order for the paper to be published in the proceedings. Presentation of an accepted paper at the conference is a requirement of publication. Any paper that is not presented at the conference will not be included in IEEE Xplore. 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 ------------------------------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------ 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. 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. 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, Wipro, India Vivek Yadav, FullStackNet, India WORKSHOPS CO-CHAIRS Manish Parashar, Rutgers University, USA Saumil Merchant, Shell, India STUDENT RESEARCH SYMPOSIUM CO-CHAIRS Kishore Kothapalli, IIIT-Hyderabad, India Ashok Srinivasan, Florida State University, USA INDUSTRY, RESEARCH & USER SYMPOSIUM CO-CHAIRS R. Badrinath, Ericcson, India Seetha Rama Krishna Nookala, Intel, India STEERING COMMITTEE CHAIR Viktor K. Prasanna, University of Southern California, USA ------------------------------------------------ HiPC 2017 SPONSORSHIP ------------------------------------------------ HiPC 2017 is co-sponsored by •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

GraMSec 2017 - deadline extended until Sunday, May 28
by Barbara Kordy 21 May '17

21 May '17

The Fourth International Workshop on Graphical Models for Security Santa Barbara, CA, USA - August 21, 2017 http://gramsec.uni.lu Co-located with CSF 2017 LNCS proceedings confirmed Following several requests, the submission deadline has been extended until Sunday, May 28. SCOPE Graphical security models provide an intuitive but systematic approach to analyze security weaknesses of systems and to evaluate potential protection measures. Cyber security researchers, as well as security professionals from industry and government, have proposed various graphical security modeling schemes. Such models are used to capture different security facets (digital, physical, and social) and address a range of challenges including vulnerability assessment, risk analysis, defense analysis, automated defensing, secure services composition, policy validation and verification. The objective of the GraMSec workshop is to contribute to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage. TOPICS The workshop seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of graphical models for security. The topics of the workshop include, but are not limited to: • Graphical models for threat modeling and analysis • Graphical models for risk analysis and management • Graphical models for requirements analysis and management • Textual and graphical representation for system, organizational, and business security • Visual security modeling and analysis of socio-technical and cyber-physical systems • Graphical security modeling for cyber situational awareness • Graphical models supporting the security by design paradigm • Methods for quantitative and qualitative analysis of graphical security models • Formal semantics and verification of graphical security models • Methods for (semi-)automatic generation of graphical security models • Enhancement and/or optimization of existing graphical security models • Scalable evaluation of graphical security models • Evaluation algorithms for graphical security models • Dynamic update of graphical security models • Game theoretical approaches to graphical security modeling • Attack trees, attack graphs and their variants • Stochastic Petri nets, Markov chains, and Bayesian networks for security • UML-based models and other graphical modeling approaches for security • Software tools for graphical security modeling and analysis • Case studies and experience reports on the use of graphical security modeling paradigm INVITED SPEAKER To be confirmed. PAPER SUBMISSION We solicit two types of submissions: • Regular papers (up to 15 pages, excluding the bibliography and well-marked appendices) describing original and unpublished work within the scope of the workshop. • Short papers (up to 7 pages, excluding the bibliography and well-marked appendices) describing original and unpublished work in progress. The reviewers are not required to read the appendices, so the papers should be intelligible without them. All submissions must be prepared using the LNCS style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Each paper will undergo a thorough review process. All accepted (regular and short) papers will be included in the workshop's post-proceedings. The GraMSec 2017 post-proceedings will be published in the Lecture Notes in Computer Science (LNCS) series of Springer. Submissions should be made using the GraMSec 2017 EasyChair web site: https://www.easychair.org/conferences/?conf=gramsec17 IMPORTANT DATES • Submission deadline: Sunday, May 28, 2017 (firm) • Acceptance notification: Friday, July 7, 2017 • Workshop: Monday, August 21, 2017 GENERAL CHAIR • Sjouke Mauw, University of Luxembourg, Luxembourg PROGRAM CHAIRS • Peng Liu, Pennsylvania State University, USA • Ketil Stølen, SINTEF Digital and University of Oslo, Norway PC MEMBERS Mathieu Acher, University Rennes 1, Inria, France Massimiliano Albanese, George Mason University, USA Ludovic Apvrille, Télécom ParisTech, France Thomas Bauereiss, DFKI, Germany Kristian Beckers, Technical University of Munich, Germany Giampaolo Bella, University of Catania, Italy Stefano Bistarelli, Università di Perugia, Italy Marc Bouissou, EDF RD, France Frédéric Cuppens, Télécom Bretagne, France Nora Cuppens-Boulahia, Télécom Bretagne, France Binbin Chen, Advanced Digital Sciences Center, Singapore Hervé Debar, Télécom SudParis, France Harley Eades, Augusta University, USA Mathias Ekstedt, KTH - Royal Institute of Technology, Sweden Ulrik Franke, Swedish Institute of Computer Science - SICS, Sweden Frank Fransen, TNO, The Netherlands Olga Gadyatskaya, University of Luxembourg, Luxembourg Paolo Giorgini, University of Trento, Italy Dieter Gollmann, Hamburg University of Technology, Germany Joshua Guttman, WPI and MITRE, USA René Rydhof Hansen, Aalborg University, Denmark Maritta Heisel, Universität Duisburg-Essen, Germany Hannes Holm, Swedish Defence Research Agency, Sweden Siv Hilde Houmb, Secure-NOK AS, Norway Sushil Jajodia, George Mason University, USA Ravi Jhawar, University of Luxembourg, Luxembourg Henk Jonkers, BiZZdesign, The Netherlands Cristian Johansen, University of Oslo, Norway Florian Kammueller, Middlesex University London, UK Nima Khakzad, TU Delft, The Netherlands Dong Seong Kim, University of Canterbury, New Zealand Barbara Kordy, INSA Rennes, IRISA, France Pascal Lafourcade, Université Clermont Auvergne, LIMOS, France Jean-Louis Lanet, Inria, France Per Håkon Meland, SINTEF Digital, Norway Jogesh Muppala, HKUST, Hong Kong, SAR China Simin Nadjm-Tehrani, Linköping University, Sweden Andreas L. Opdahl, University of Bergen, Norway Xinming Ou, University of South Florida, USA Stéphane Paul, Thales Research and Technology, France Wolter Pieters, TU Delft, The Netherlands Ludovic Piètre-Cambacédès, EDF, FR Sophie Pinchinat, University Rennes 1, IRISA, France Vincenzo Piuri, University of Milan, Italy Marc Pouly, Lucerne University of Applied Sciences and Arts, Switzerland Nicolas Prigent, Supélec, France Christian W. Probst, Technical University of Denmark, Denmark David Pym, UCL, UK Saša Radomirovic, University of Dundee, UK Indrajit Ray, Colorado State University, USA Arend Rensink, University of Twente, The Netherlands Yves Roudier, Université Côte d'Azur, CNRS, I3S, UNS, France Guttorm Sindre, NUST, Norway Mariëlle Stoelinga, University of Twente, The Netherlands Xiaoyan Sun, California State University, USA Axel Tanner, IBM Research - Zurich, Switzerland Alexandre Vernotte, KTH - Royal Institute of Technology, Sweden Luca Viganò, King's College London, UK Lingyu Wang, Concordia University, Canada Jan Willemson, Cybernetica, Estonia CONTACT For inquiries please send an e-mail to gramsec17(a)easychair.org

1 0

Ada-Europe 2017 - end of Mon 22 May = early registration ends
by Dirk Craeynest 21 May '17

21 May '17

Come to the Ada-Europe conference mid-June in Vienna, Austria! Reminder: register online before the end of Monday 22 May (CEST) to enjoy early registration discounts for the conference and substantial discounts for tutorials. Select "Registration" at <http://www.ada-europe.org/conference2017>. Direct link: <https://adaeurope.upv.es/index.html>. Dirk Craeynest, Ada-Europe'2017 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be *** 22nd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2017 *** June 12-16, 2017 *** Vienna, Austria *** http://www.ada-europe.org

1 0

BAFI 2018
by Richard Weber 21 May '17

21 May '17

THIRD CONFERENCE ON BUSINESS ANALYTICS IN FINANCE AND INDUSTRY - BAFI 2018 January 17th - 19th, 2018 Santiago, Chile www.baficonference.cl Twitter: @bafichile Call for Abstracts The aim of the BAFI 2018 conference is to bring together researchers and developers from data science and related areas with practitioners and consultants applying the respective techniques in different business-related domains. Our goal is to stimulate an academic exchange of recent developments as well as to encourage the mutual influence between academics and practitioners. At BAFI 2018, the focus will be on methodological developments aimed at uncovering information contained in large data sets, as well as on business applications in various sectors, among them finance, retail, and telecommunications. Topics at this conference include, but are not limited to: Business Analytics - Applications: + Credit Scoring and Financial Modeling + Forecasting + Fraud Detection + Web Intelligence and Information Retrieval + Marketing, Business Intelligence, and e-Commerce + Decision Analysis and Decision Support Systems + Social Network Analysis + Privacy-preserving Data Mining and Privacy-related Issues + Text Mining, Sentiment Analysis, and Opinion Mining + Internet of Things (IoT) Business Analytics - Methods: + Dimensionality Reduction, Feature Extraction, and Feature Selection + Supervised, Semi-Supervised, and Unsupervised Methods + Statistical Learning Theory + Online Learning, Data Stream Mining, and Dynamic Data Mining + Graph Mining and Semi-Structured Data + Spatial and Temporal Data Mining + Deep Learning and Neural Network Research + Large Scale Data Mining + Uncertainty Modeling in Data Mining STUDENT GRANTS We will offer a number of travel grants for students who present their work at BAFI 2018. The following two categories will be considered: + National category: students enrolled at a Chilean university or staying at a Chilean address at the time of the conference. + International category: students enrolled at a university outside Chile and staying abroad prior to the start of the conference. Please visit www.baficonference.cl for information on Submission Guidelines, Venue, Program, Conference Fees, and more. For more information, please contact us at info(a)bafi.cl

1 0

FROM 2017 - Extended deadline
by From 2017 21 May '17

21 May '17

FROM 2017 - Last Call for Papers http://unibuc.ro/~conference/from2017 WORKING FORMAL METHODS SYMPOSIUM 5 - 8 July 2017 Faculty of Mathematics and Computer Science University of Bucharest IMPORTANT DATES: Abstract Submission (extended deadline): 28 May 2017 Notification of acceptance (extended deadline): 8 June 2017 Aims and Scope Formal methods use mathematical techniques and rigour for developing software and hardware. The formal methods can be used to specify, verify, and analyse in any part of the system life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assumes on the one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user to effectively apply these methods/frameworks in the life cycle of the system. ICUB (The Research Institute of the University of Bucharest), the Faculty of Mathematics and Computer Science of the University of Bucharest, and the Faculty of Computer Science of the Alexandru Ioan Cuza University of Iasi organize FROM 2017, the first one from a yearly workshop series, meant to bring together Romanian researchers in formal methods and to foster international collaborations. Working Formal Methods Symposium (FROM) aims to bring together researchers and practitioners who work for formal methods by contributing with 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 is available upon request. The program of the symposium will include invited lectures (the current list can be seen on the workshop web page) 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 - Mathematical structures in computer science - Models of computation - Semantics of programming languages Methods of interest include: - Model checking - Deductive verification - Automated reasoning and model generation - Automated induction - Symbolic computation Applications of interest include: - Program analysis - Verification and synthesis of software and hardware, - Computational logic, - Computer mathematics, - Knowledge representation, ontology reasoning, deductive databases, - Uncertainty reasoning and soft computing Submissions Regular contributions will be based on an extended abstract of 2 pages, excepting the references, formatted according to the guidelines for Springer LNCS: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The abstracts should be submitted before 21 May 2017, via EasyChair: https://easychair.org/conferences/?conf=from2017 The notification of acceptance will be received by 31 May 2017. Depending on the number and the quality of submissions, we intend to publish extensions of selected presentations in peer-reviewed well-ranked journal. Registration There is no conference fee, but valid registration is required in order to participate at the conference. All participants registered with an abstract will receive the conference kit. There is an additional fee of 50 RON for the social dinner at Casa Universitarilor. For details and updates see http://unibuc.ro/~conference/from2017/

1 0

Call for papers -- DSS 2017 The 3rd International Workshop on Data-driven Self-regulating Systems
by Dr. Stefan Bosse 21 May '17

21 May '17

Dear colleagues, I want to announce an important event for scientists working on artificial intelligence solutions for large-scale distributed systems: The 3rd International Workshop on Data-driven Self-regulating Systems (DSS 2017), co-located with the The Eleventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2017)! You are cordially invited to submit a paper and/or to share this announcement with your colleagues. The CFP is appended to this eMail. It is a great opportunity to discuss your work on an international platform. Best regards, Stefan Bosse -- ------------------------------------------------------------------------ PD Dr. rer. nat. habil. Stefan Bosse University of Bremen Department of Mathematics & Computer Science Robert Hooke Str. 5 28359 Bremen Germany RESEARCHGATE <http://www.researchgate.net/profile/Stefan_Bosse> Tel. +(49)421/178-45-4103 ============================================================ Call for papers -- DSS 2017 The 3rd International Workshop on Data-driven Self-regulating Systems (DSS 2017) In conjunction with 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Proceedings appear in IEEE Digital Library September 18-22, 2017 in University of Arizona, Tucson, AZ CFP link: http://dss2017.inn.ac/ ============================================================ The emergence of pervasive and ubiquitous technologies together with social media has resulted in unprecedented opportunities to reason about the complexity of our society based on magnitudes of data. Embedded ICT technologies mandate the functionality and operations of several techno-socio-economic systems such as traffic systems, transportation systems, Smart Grids, power/gas/water networks, etc. It is estimated that over 50 billion connected smart devices will be online by the year 2020. Moreover, social media provide invaluable insights about the complexity of social interactions and how these interactions influence the sustainability of several ICT-enabled techno-socio-economic systems. These observations show that regulating online the complex systems of our nowadays digital society is a grand challenge. Regulation concerns trade-offs such as the alignment of technical requirements, e.g. robustness, fault-tolerance, safety and security, with social or environmental requirements, for instance, fairness in the utilization of energy resources. The scale of nowadays data cannot tackle the challenge by itself as data may convey ungrounded correlations and biased predictions. Smart, autonomic and selfregulating mechanisms are required for filtering data streams in real-time and transform them to valuable information based on which intelligent adaptive decisions can be made in a decentralized fashion under a plethora of operational scenarios. The topics of interest include, but are not limited to: + self-regulation + autonomic computing + pervasive/ubiquitous computing + Internet of Things + big data analytics + cloud computing + online policy-making + distributed systems + privacy & security + multi-agent systems + peer-to-peer systems + self-organization + adaptive mechanisms + complex systems & (social) networks + mechanism design & game theory + quality of experience Application domains: + Smart Grids + power/gas/water networks + traffic systems + manufacturing systems + transportation systems + ambient-assisted living + social media/networks + mobile applications + disease spreading Workshop Organizers ==================================================================== Evangelos Pournaras, ETH Zurich, Switzerland Akshay Uttama Nambi S.N., Microsoft Research Lab, India Stefan Bosse, University of Bremen, Germany Submission Instructions ==================================================================== You are invited to submit original and unpublished research works on above and other topics related to self-regulating systems. Submitted papers must not have been published or simultaneously submitted elsewhere. Please, indicate clearly the corresponding authors and include up to 6 keywords and an abstract of no more than 400 words. Submissions have to be formatted according to the IEEE Computer Society Press proceedings style guide not exceeding 6 two-column pages. Papers are submitted as PDF files via the Easychair (https://easychair.org/conferences/?conf=dss2017) Key Dates ==================================================================== Paper submission deadline: July 17, 2017 Paper notification: July 30, 2017

1 0

2nd CFP -- ATIR: Workshop on Axiomatic Thinking for Information Retrieval and Related Tasks @ SIGIR 2017
by Stefano Mizzaro 19 May '17

19 May '17

2nd Call For Papers (with apologies for multiple copies) ATIR: Workshop on Axiomatic Thinking for Information Retrieval and Related Tasks Co-located with ACM SIGIR 2017 August 11, 2017. Tokyo, Japan Workshop Website: https://www.eecis.udel.edu/~hfang/ATIR.html Motivation The goal of the proposed workshop is to bring together researchers and practitioners interested in applying axiomatic analysis to all kinds of IR and IR-related problems, including particularly both those interested in developing retrieval models and those interested in developing evaluation measures, and to enable them to share their findings (both positive or negative), to present their latest research results, and to discuss future directions. Theme As the title of the workshop suggested, the general theme of the workshop will be about all aspects of applications of axiomatic thinking to solve IR and IR-related problems. The basis of this general theme is the recent growth of work on applying axiomatic thinking to analyze and improve both retrieval models and evaluation metrics, which we expect to continue. The existing work has clearly demonstrated many advantages of axiomatic thinking, including particularly specific theoretical results in the form of novel constraints to be satisfied by retrieval functions or evaluation metrics and improved models or evaluation metrics. However, much more research is still needed in multiple directions. Opportunities of applying axiomatic thinking also go beyond analyzing the basic retrieval functions; in fact, understanding constraints is also beneficial to many IR tasks that use machine learning techniques. Instead of having a designer carefully choose a set of assumptions to make when designing a formal model, these approaches use machine learning to weight items in a pool of features derived from many retrieval heuristics. However, this potentially results in a bloated backend which computes many features irrelevant to the task or collection. Having knowledge about relevant features would help slim down backends and speed learning and ranking. An important strength of the axiomatic methodology is that evaluation data sets become resources used to check motivated hypotheses instead of optimization mechanisms, which are at risk of overfitting. There are even more opportunities for new research on applying axiomatic thinking to evaluation as has already been happening where researchers have done axiomatic analysis of metrics for tasks such as text categorization, clustering, and ranking. In general, an understanding of how to apply axiomatic thinking to IR problems may become increasingly important as information retrieval continues to broaden into new areas. New tasks often require new constraints, and an understanding of these constraints can provide guidance on how to adapt existing methods or how to develop new methods for the new tasks. For example, domain-specific IR tasks such as medical record search might require new retrieval constraints that can capture the domain knowledge. The workshop aims to bring together researchers and practitioners from a broader community to exchange research ideas and results and to foster collaborations across subcommunities. Some of the specific topics we envision to be covered by the workshop theme include, but not limited to: - What constraints are effective to improve retrieval performance independent of the underlying model? - What constraints were expected to be useful but have not been effective in practice? Why not? - In the case of evaluation metrics, why some metric constraints do not affect the system comparison or the user satisfaction? - How can we potentially unify the axiomatic analysis of IR models and evaluation metrics given that both lines of work aim at formally modeling relevance? - Have new languages, media, or domains suggested new constraints for established domains? - To what extent is a valid constraint in one domain also valid in other domains? More generally, which constraints for retrieval methods or evaluation metrics are core ones, and which constraints are highly scenario dependent? - How can axiomatic thinking be combined with machine learning techniques to learn more effective retrieval functions? Planned Activities - Keynote talk - Panel - Presentations of papers Paper Submission We solicit papers describing research work related to the above theme. In addition to the innovative methods with promising results, we also welcome papers reporting negative results. Papers need to be: - 4 or 10 pages - In ACM format - Submission site: https://easychair.org/conferences/?conf=atir2017 Formal proofs can be added as additional material. The submissions are not anonymous. Important Dates - Submission deadlines: May 27 (for long paper) and June 3 (for short papers) - Review due: June 20 - Notification: June 30 Workshop Organizers - Enrique Amigo - Hui Fang - Stefano Mizzaro - ChengXiang Zhai -- Prof. Stefano Mizzaro, PhD Department of Mathematics, Computer Science, and Physics University of Udine Via delle Scienze, 206 - 33100 Udine, Italy mizzaro(a)uniud.it - http://www.dimi.uniud.it/mizzaro/ Ph.: +39 0432 558456 - Fax: +39 0432 558499

1 0

Call for Papers: Ph.D. Forum at IGSC'17
by Mahdi NIKDAST 17 May '17

17 May '17

**Our apologies if you have received multiple copies of this announcement** **Call for Papers: Ph.D. Forum at The 8th International Green and Sustainable Computing Conference (IGSC'17)** Forum webpage: http://igsc.eecs.wsu.edu/forum_17 The Ph.D. forum at IGSC'17 will provide an international forum for doctoral students engaged in research on sustainable and energy-efficient computing and/or computing for a more sustainable planet to present their work to fellow researchers and practitioners in the green and sustainable computing community. The forum includes a poster session during which the students can present their work and receive constructive feedback for completion of their dissertation research. The Ph.D. forum is intended for students who have already settled on a specific research topic and have some preliminary results, but still have enough time remaining before their final defense that they can benefit from the forum discussions. **Accepted submissions will appear in IGSC'17 proceedings** *Paper submission guidelines* Current Ph.D. students are encouraged to submit an extended abstract that describes their doctoral work. The student should be the sole author of the paper, but the advisor and other contributors should be acknowledged. The topics of interest coincide with IGSC'17 are listed in the CFP page (http://igsc.eecs.wsu.edu/cfp_17) The extended abstract should be three pages in IEEE conference proceedings style (http://www.ieee.org/conferences_events/conferences/publishing/templates.ht ml). All manuscripts should be in pdf format, in English, and registered and submitted through easychair (http://easychair.org/conferences/?conf=igsc17) under the "IGSC17 PhD Forum" submission track. Please kindly note that: - The research ideas in submissions should be mature enough to be presented in a paper and content can evolve to become the substantial part of a Ph.D. dissertation. The submissions should not have been published and not under review by other conferences or journals elsewhere. - The authors should outline related problems in the field and their current solutions, clearly motivate and formulate the research topic, present the preliminary idea, the proposed approach, and the preliminary experimental results achieved thus far, explicitly point out the intended contributions of the proposed work. Each submission will be reviewed by members of the forum¹s technical program committee. Abstracts will be judged on originality, technical merit, presentation quality, and relevance to the conference topics. Accepted abstracts will appear in the IGSC conference proceedings and will be indexed by DBLP and the IEEE digital library. All invited participants will be asked to provide a poster, which will be displayed throughout the conference. Authors of accepted submissions are expected to register for the conference and appear in person to present their work. The student rate will apply to authors who are currently full-time students. *Poster Presentation* Authors of accepted submissions should prepare a poster for presentation. Posters will be displayed throughout the conference and the students are required to be available during the poster session to discuss their work and answer related questions. The poster size should not exceed 841 x 1189 mm (width x height). The organizers encourage all Ph.D. Students in the fields of sustainable and energy-efficient computing and computing for a more sustainable planet to participate in this Ph.D. Forum. *Ph.D. Forum Chair* Mahdi Nikdast (Polytechnique Montreal, Canada), mahdi.nikdast(a)polymtl.ca *Important dates* Paper submission due: June 16 , 2017 Notifications sent to authors: July 17, 2017 Camera-ready papers due: August 5, 2017

1 0

Announcing CFPs: The 1st International Workshop on Autonomics and Cloud Security and The 1st International Workshop on Multimedia Privacy and Security
by Roger Hallman 17 May '17

17 May '17

We are pleased to announce the following two calls for papers: The 1st International Workshop on Autonomics and Cloud Security (ACS 2017) Co-located with the 2017 IEEE International Conference on Cloud and Autonomic Computing (ICCAC) and the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2017) The University of Arizona, Tucson, AZ, USA -- September 18-22, 2017 http://www.autonomic-conference.org/iccac-2017/resources/ACS/ http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=64433&copyownerid=… Cloud computing is used by many organizations to build scalable systems in different domains, such as retail, healthcare, human resources, finance, education, and government. Our society has become more dependent on the services provided by these cloud-based systems. As a result, cyber-attacks on these cloud-based systems can have a dramatic impact on all aspects of our lives. Cloud security is an active area of research, involving many approaches for ensuring the confidentiality, availability, and integrity of data and applications hosted in the cloud. However, existing techniques for securing cloud-based systems, including autonomic-based cloud systems, are based on the assumption that people will be involved in managing them. These techniques require end user input to implement effective cybersecurity strategies to defend the systems. The emerging area of Autonomic Cybersecurity can provide solutions that complement existing cybersecurity techniques in the cloud. The goal of Autonomic Cybersecurity is to use Autonomic Computing techniques and approaches to defend computing systems. The Autonomics and Cloud Security workshop aims to investigate approaches to cloud security in general, including cloud-based autonomic systems, as well as autonomic cybersecurity approaches for defending cloud-based systems. The workshop is soliciting papers in two categories, namely, the use of autonomic computing techniques to address cloud security, and techniques and approaches for securing cloud-based autonomic systems. Researchers are encouraged to submit original research contributions in these two categories, which include, but are not limited to, the following major areas: The use of autonomic computing techniques to address cloud security: -Challenges in autonomics and cloud security and privacy -Emerging issues in autonomic cloud security -Autonomic identity and access management in cloud computing -Autonomic cybersecurity monitoring and incident response in cloud computing -Autonomic auditing and accountability in cloud computing -Autonomic approaches to usable security in cloud computing -Autonomic security protocols in cloud computing -Autonomic approaches to privacy in the cloud -Autonomic approaches for securing data and communication in the cloud -Secure autonomics-based cloud federation -Self-adaptive security policies -Self-configuration of cloud systems -Scalable cybersecurity in the cloud -Autonomic event recovery in the cloud -Autonomic approaches to moving target defense in the cloud -Autonomic approaches to cyber defense in the cloud -Autonomic approaches to intrusion detection and prevention systems in the cloud -Techniques and approaches for building resilient cloud systems -Cybersecurity in fog and edge computing -Application of big data analytics to securing the cloud -Autonomic approaches to trusted computing Techniques and approaches for securing cloud-based autonomic systems: -Cybersecurity in the cloud for supporting IoT applications -Security protocols in cloud-based autonomic systems -Techniques and approaches for privacy preservation in cloud-based autonomic systems -Event detection and forensics in cloud-based autonomic systems -Techniques and approaches for cloud-based autonomic systems resiliency -Secure computing techniques for the cloud (securing data-in-processing via Homomorphic --Encryption, Secure Multi-Party Computation, and other secure computing techniques). -Techniques and approaches for anomaly detection in cloud-based autonomic systems -Scalable cybersecurity in cloud-based autonomic systems -Ethical hacking and penetration testing in cloud-based autonomic systems -Case studies in securing cloud-based systems We solicit research papers containing original research results and challenge papers motivating new research directions. In addition, the workshop will facilitate discussion and collaborative research among the participants. Submissions may be made via: https://easychair.org/conferences/?conf=acs17 . UPDATE: A special issue on Cluster Computing (The Journal of Networks, Software Tools and Applications) will include an extension of the best papers of all the workshops that will be held in conjunction with ICCAC 2017. Organization: General Chair Mamadou H. Diallo -- SPAWAR Systems Center Pacific, U.S. Department of Defense, USA Program Co-Chairs Michael August -- SPAWAR Systems Center Pacific, U.S. Department of Defense, USA Sherif Abdelwahed -- Mississippi State University, USA Technical Program Commmittee Kim-Kwang Raymond Choo -- The University of Texas at San Antonio, USA Tiago Cruz -- University of Coimbra, Portugal Song Fu -- University of North Texas, USA Sokratis K. Katsikas -- Norwegian University of Science & Technology, Norway Ryan Ko -- University of Waikato, New Zealand Thomas Moyer -- MIT Lincoln Laboratory, USA Stacy Prowell -- Oak Ridge National Laboratory, USA Khaled Salah -- Khalifa University of Science, Technology & Research, UAE Sachin Shetty -- Old Dominion University, USA MORE TO COME Publicity and Web Chair Christopher Graves -- SPAWAR Systems Center Pacific, U.S. Department of Defense, USA Scott M. Slayback -- SPAWAR Systems Center Pacific, U.S. Department of Defense, USA Contact: General Chair mamadou.h.diallo(a)navy.mil Publicity and Web Chair christopher.t.graves(a)navy.mil And *The 1st International Workshop on Multimedia Privacy and Security*Held on 30 October, 2017 in conjunction with the 24th ACM Conference on Computer and Communication Security (CCS 2017)Hotel Sheraton, Downtown Dallas, Texas, USA https://centers.njit.edu/cybersecurity/CCS_MPS2017/ *Scope:* We live in an interconnected world where ever increasing multitudes of devices and people can be connected to each other by intelligent algorithms, apps, social networks, and the infrastructure set by Internet of Things (IoT). As more people and their devices are connected without much restriction, the issues of security, privacy, and trust remain a challenge. Multimedia in IoT services should provide a robust and resilient security platforms and solutions against any unauthorized access. Recent literature shows increased concerns about hacking, security breaches, data manipulation, social engineering, and new attack methods. Malware can be hidden within multimedia files and visiting infected websites can trigger its download to victims’ machines. There are a multitude of techniques to steal personal information and other sensitive media for unauthorized dissemination; imposters/identity thefts are common in social networks. In order to demonstrate the effectiveness of resilient security and privacy solutions, methods such as new standards, advance cryptography, improved algorithms for intrusion detection, personalized privacy, and isolation of questionable or malicious files can be used independently or all together to minimize the threats. Multimedia has expanded beyond the scope its original definition. With the rise of social media, large quantities of multimedia (e.g., pictures, videos, data, analytics and personal information) can be created in a short period of time. When all these data are stored in a cloud environment, many people can connect to these services for viewing, sharing, commenting, and storing information. IoT represents a collection of devices, platforms, and software that allow people to store and share data in the cloud and also connects different types of clouds altogether. Hence, multimedia in the IoT serves a significant purpose as many people’s updates, status, locations, and live actions can be seen, disseminated, tracked, commented on, and monitored in near real time. IoT opens up many possibilities since more people can broadcast themselves and allow their networks to view and share in their lives. There are also increased fraudulent activities, cybercrimes, unauthorized access, malicious attacks, phishing, and impersonating/stealing identities. This presents challenges for existing areas such as access control, authentication, data leakage, permission, social engineering, denial of service, and identity management for the attackers to impose identity, steal information, and manipulate data in the IoT environment. Challenges also include new problems such as large scale attacks and prevention, the strength of security protection (e.g., common encryption algorithms), hiding malware with multimedia, location-based privacy with high accuracy and anonymity, underground criminal networks, and hidden security breaches. Our workshop will allow a specific venue for the publication of work addressing these concerns, specific to the IoT ecosystem. We invite research into new and innovative methods, techniques, and proofs‐of‐concepts supported by strong theory/algorithms and simulation/experiments to submit papers for this workshop. *Topics of interest include* (but are not limited to): - Access control and authentication - IoT and Social Network security and privacy - Encryption of all types in multimedia, including homomorphic encryption and multi-party computation - Information Forensics - Data Leakage and Exfiltration - Intrusion Detection/Prevention Systems - Largescale simulations and experiments for security - Location-based privacy and other privacy-enhancing technologies - Risk Mitigation, reduction, and simulation - Identity management and standards - Data security, recovery, and segregation - Secure integration of IoT and social networks - Steganography - Internet-connected cameras and Multiview Systems - Human Factors in Multimedia Security and Privacy - Emerging Privacy and Security Threats in Multimedia *Submission:* All papers will be submitted through EasyChair: https://easychair.org/conferences/?conf=mps2017. We are accepting Full, Short, and Demo Papers. Full Papers (10-12 pages) will be allotted 25 minutes for their presentations, plus 5 minutes for questions. Short Papers (6-8 pages) will be allotted 20 minutes for their presentations, plus 5 minutes for questions. Demo Papers (4-8 pages) will be allotted 15 minutes for their presentations, 10 minutes for a code review, and 5 minutes for questions. Submissions should be formatted according to the CCS 2017 formatting requirements provided at https://www.sigsac.org/ccs/CCS2017/#format. All submissions will be anonymized for a double-blind review, with final acceptance decisions made by the organizers based on reviewer comments. *Important Dates:* - 4 August, 2017 – Submission Deadline - 4 September, 2017 – Author Notifications - 17 September, 2017 – Camera-Ready Papers Due *Organizing Committee:* - Chair – Mr. Roger Hallman, SPAWAR Systems Center Pacific, San Diego, Ca, USA - Co-chair – Professor Kurt Rohloff, New Jersey Institute of Technology, Newark, NJ, USA - Co-chair – Professor Victor Chang, Xi’an Jiaotong Liverpool University, Suzhou, China *Program Committee:* - Professor An Braeken – Vrije Universiteit Brussel, Belgium - Professor Tiago Cruz – University of Coimbra, Portugal - Dr. Jason R.C. Nurse – University of Oxford, United Kingdom - Professor Giovanni Pau – Kore University of Enna, Italy - Dr. Jose Romero-Mariona -- SPAWAR Systems Center Pacific, USA - TBD *Contact:* mps2017(a)easychair.org

1 0

CFP - IEEE International Conference on High Performance Computing and Communications (HPCC) 2017
by Anna Kobusińska 17 May '17

17 May '17

CALL FOR PAPERS IEEE International Conference on High Performance Computing and Communications (HPCC) http://www.ieee-hpcc.org Bangkok, Thailand, December 18 - 20, 2017 The 2017 IEEE International Conference on High Performance Computing and Communications (HPCC) is the 19th edition of a highly successful forum of discussion for engineers and scientists in academia, industry, and the government. The forum provides a venue to discuss profound challenges and to present and discuss new ideas, research results, applications, and experience on all aspects of high performance computing and communications. Important Dates: Paper submission deadline: June 1st, 2017, midnight (Anywhere on Earth) Main conference decision notification: August 15th, 2017 Main conference camera-ready deadline: September 15th, 2017 Conference: December 18-20, 2017 We are soliciting paper submissions in the following topic areas: 1. Parallel and distributed system architectures 2. Languages and compilers for high performance computing 3. Parallel and distributed software technologies 4. Parallel and distributed algorithms 5. Resource management for parallel and distributed systems 6. Embedded systems 7. Peer-to-peer computing 8. Grid and cluster computing 9. Web services and Internet computing 10. Cloud computing 11. Utility computing 12. Performance evaluation and measurement 13. Tools and environments for software development 14. Distributed systems and applications 15. High-performance scientific and engineering computing 16. Database applications and data mining 17. Biological/molecular computing 18. Bioinformatics 19. Collaborative and cooperative environments 20. Mobile computing and wireless communications 21. Computer Networks 22. Telecommunications 23. Pervasive/ubiquitous computing and intelligence 24. Autonomic computing, reliability, and fault-tolerance 25. Trust, security, and privacy 26. Energy-aware computing Organizers: General Co-chairs: Tarek El-Ghazawi, George Washington University, USA Albert Zomaya, University of Sydney, Australia Jack Dongarra, University of Tennessee, Knoxville, USA Program Co-chairs: Pavan Balaji, Argonne National Laboratory, USA H. J. Siegel, Colorado State University, USA Submissions must include an abstract, keywords, and the e-mail address of the corresponding author. The submission may 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 from http://www.ieee.org/conferences_events/conferences/publishing/templates.html. All paper submissions must represent original and unpublished work. Each submission will be peer reviewed by at least three program committee members. The authors commit that if the submission is 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: https://easychair.org/conferences/?conf=hpcc17 Accepted and presented papers will be included in the IEEE Conference Proceedings published by IEEE CS CPS (EI Index), which will be uploaded to IEEE Xplorer. At least one of the authors of an accepted paper must have full registration and present the work at the conference, otherwise the paper may be removed from the digital libraries of IEEE CS after the conference.

1 0

CFP - IEEE DataCom 2017: IEEE International Conference on Big Data Intelligence and Computing
by Anna Kobusińska 17 May '17

17 May '17

The 3rd IEEE International Conference on Big Data Intelligence and Computing（IEEE DataCom 2017） https://grid.chu.edu.tw/datacom2017/ Orlando, Florida, USA, November 6-10, 2017 --------------------------- CALL FOR PAPERS --------------------------- Big data is a rapidly expanding research area spanning the fields of computer science and information management, and has become a ubiquitous term in understanding and solving complex problems in different disciplinary fields such as engineering, applied mathematics, medicine, computational biology, healthcare, social networks, finance, business, government, education, transportation and telecommunications. The goal of the 3rd IEEE International Conference on Big Data Intelligence and Computing (IEEE DataCom 2017) is to establish an international forum for engineers and scientists to present their ideas and experiences in the fields of Big Data intelligence and computing. IEEE DataCom 2016 welcomes paper submissions on innovative work from researchers in academia, industry and government describing original research work in Big Data. Authors of selected papers will be invited to submit an extended version (with at least 30% new material) for review and publication in special issues of international journals. IEEE DataCom 2017 will be held on Nov. 6-10, 2017 in Orlando, Florida, USA. Topics of interest include, but are not limited to: - The 5Vs of the data landscape: volume, variety, velocity, veracity, value - Big data science and foundations, analytics, visualization and semantics - Software and tools for big data management. - Security, privacy and legal issues specific to big data - Big data economy, QoS and business models - Scientific discovery and business intelligence - Software, hardware and algorithm co-design, high-performance computing - Large-scale recommendation systems and graph analysis - Infrastructures and systems for big data analytics and managements - Middleware and tools for big data analytics and managements - Algorithmic, experimental, prototyping and implementation - Data quality issues: such as validation, metrics, optimizations and consistency - Data-driven innovation, computational modelling and data integration - Data intensive computing theorems and technologies - Big data for advanced manufacturing and productivity - Modeling, simulation and performance evaluation - Green data centers / environmental-friendly perspectives - Computing, scheduling and resource management for sustainability - Complex applications in areas where massive data is generated ---------------------------------------- PUBLICATION HIGHLIGHTS ---------------------------------------- IEEE CS proceedings, indexed by - IEEE Xplore - Scopus - EI Engineering Index - ACM Digital Library - dblp - Google Scholar Extended version of the selected papers will be invited for publication in prestigious international journals. - Future Generation Computer Systems - Journal of Parallel and Distributed Computing - International Journal of Big Data Intelligence - International Journal of Grid and High Performance Computing - Sustainable Computing: Informatics and Systems - Applied Computational Intelligence and Soft Computing - International Journal of Applied Mathematics and Computer Science - Journal of Supercomputing - Wireless Communication and Mobile Computing ---------------------------- IMPORTANT DATES ---------------------------- Workshop/Special Session notification: (ongoing as received) Paper Submission (Research Track): June 15, 2017 Paper Submission (Works-in-Progress/workshop): July 10, 2017 Author Notification (Research/workshop/WIP): July 30, 2017 Paper Submission (Demo /Poster /Special session): August 5th, 2017 Author Notification (Research/workshop/WIP/Poster): August 20, 2017 Camera ready / registration deadline: August 31, 2017 —----------------- 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 CS format and submitted via the IEEE DataCom 2017 web site, https://easychair.org/conferences/?conf=ieeedatacom2017 IEEE formatting information: 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. A proposal should include title, theme, scope and main presenters/organizers. - 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 DataCom. These systems may be innovative prototype implementations or mature systems that use related technology. Papers/proposals need to be submitted to the Demo/Poster Chair. - Workshop and Special Session papers need to be submitted to the corresponding workshops and special sessions. 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 (SCI/EI indexed). ------------------------------- Organizing Committees ------------------------------- General Chairs Sanjay Ranka, University of Florida, USA Hai Jin, HUST, China Manu Malek, Stevens Inst. of Tech., USA General Executive Chairs Jun Wang, University of Central Florida, USA Tao Li, NSF/UFL, USA Program Chairs Anna Kobusinska, Poznan University of Technology, Poland Xiaolin Li, University of Florida, USA Wenguang Chen, Tsinghua University, China Workshop Chairs I-Hsin Chung, IBM Thomas J. Watson Research Center, USA Wuu Yang, National Chiao Tung University, Taiwan Demo/Poster Chair Che-Rung Lee, Tsing Hua University, Taiwan Special Session Chair Hai Jiang, Arkansas State University, USA Award Chair Weisong Shi, Wayne State University, USA International Liaison & Publicity Chair Bingsheng He, Nanyang Technological University, Singapore Jun Huang, Chongqing University of Posts and Telecommunications, China Bahman Javadi, Western Sydney University, Australia William Liu, Auckland University of Technology, New Zealand Bhekisipho Twala, Univ. Johannesburg, South Africa Hao Wang, Aalesund University College, Norway Sheng-De Wang, National Taiwan University, Taiwan Publication Chair Hui-Huang Hsu, Tamkang University, Taiwan Advisory Committee Christophe Cérin, University of Paris XIII, France Yeh-Ching Chung, National Tsing Hua University, Taiwan Jie Li, University of Tsukuba, Japan Beniamino Di Martino, Second University of Naples, Italy Domenico Talia, Università della Calabria, Italy Vincent S. Tseng, National Chiao Tung Univ. Taiwan Cho-Li Wang, The Univ. of Hong Kong, Hong Kong Jinsong Wu, University de Chile, Chile Jinjun Chen, Swinburne University of Technology, Australia Steering Committee Robert Hsu, Chung Hua University, Taiwan Geoffrey Fox, Indiana University, USA Yuanyuan Yang, Stony Brook University, USA

1 0

CFP - IEEE SC2 2017 (IEEE International Symposium on Cloud and Service Computing)
by Anna Kobusińska 17 May '17

17 May '17

Call For Papers - IEEESC2 2017 in Kanazawa, Japan, November 22-25, 2017 The 7th IEEE International Symposium on Cloud and Service Computing（IEEE SC2 2017） http://grid.chu.edu.tw/sc2-2017 Kanazawa, Japan, November 22-25, 2017 --------------------------- CALL FOR PAPERS --------------------------- The “Cloud” is a natural evolution of distributed computing and the widespread adaption of virtualization and 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 2017 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 2017 will be held on Nov. 22-25, 2017 in Kanazawa, Japan. 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 (Elsevier) -Journal of Foundations of Computing and Decision Sciences -International Journal of Applied Mathematics and Computer Science -Future Generation Computer Systems (Elsevier) -International Journal of Grid and High Performance Computing (ESCI, EI, Scopus) -International Journal of Big Data Intelligence -Sustainability -Journal of Parallel and Distributed Computing -China Communication ---------------------------- IMPORTANT DATES ---------------------------- Tutorial / Workshop / Special Session Proposal Due: May 29, 2017 Paper Submission (Research Track): July 15, 2017 Paper Submission (Works-in-Progress/workshop): Aug 10, 2017 Author Notification (Research/workshop/WIP): Aug 30, 2017 Paper Submission (Demo /Poster /Special session): Sept 5th, 2017 Author Notification (Research/workshop/WIP/Poster): Sept 20, 2017 Camera ready / registration deadline: October 1, 2017 --------------------------------------------- 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 Keqin Li, State University of New York at New Paltz, USA Ren-Hung Hwang, National Chung Cheng University, Taiwan Christophe Cerin, Université Paris 13, France General Executive Chairs Tokuro Matsuo, Advanced Institute of Industrial Technology, Japan Robert Hsu, Chung Hua University, Taiwan Program Chairs Amir H. Alavi, Michigan State University, USA Yue-Shan Chang, National Taipei University, Taiwan Workshop Chairs Chia-Hung Yeh, National Sun Yat-sen University, Taiwan Alex Kuo, University of Victoria, Canada Demo/Poster Chair Carson Leung, University of Manitoba, Canada Special Session Chair Kuan-Chou Lai, National Taichung University, Taiwan Award Chair Ce-Kuen Shieh, National Cheng Kung University, Taiwan International Liaison & Publicity Chair Yu Chen, Binghamton University, USA Bingsheng He, National University of Singapore, Singapore Jun Li, University of Sydney, Australia Bingwei Liu, Aetna Inc., USA Koji Nakano, Hiroshima University, Japan Yan Zhang, University of Oslo, Norway Li-Hsin Yen, National Chiao Tung Univ. Taiwan Rynson Lau, City Univ. of Hong Kong, Hong Kong Publication Chair Wen-Hwa Liao, Tatung University, Taiwan Saeid Abolfazli, YTL Communications and Xchanging, Malaysia Steering Committee Robert Hsu, Chung Hua University, Taiwan Rajkumar Buyya, University of Melbourne, Australia H.J. Siegel, Colorado State University, USA Chung-Ta King, National Tsing Hua University, Taiwan Hamid R. Arabnia, The University of Georgia, USA Lizhe Wang, Chinese Academy of Sciences, China Hung-Chang Hsiao, National Tsing Hua University, Taiwan Anna Kobusinska, Poznan University of Technology, Poland Hui Lei, IBM, USA Kwei-Jay Lin, University of California Irvine, USA Philip Yu, University of Illinois at Chicago, USA

1 0

CFP - 10th IEEE Int. Conf. on Service Oriented Computing and Applications (SOCA 2017)
by Anna Kobusińska 17 May '17

17 May '17

Call For Papers - IEEE SOCA 2017 in Kanazawa, Japan, November 22-25, 2017 The 10 th IEEE International Conference on Service Oriented Computing and Applications (SOCA 2017) http://conferences.computer.org/soca Kanazawa, Japan, November 22-25, 2017 --------------------------- CALL FOR PAPERS --------------------------- Service-oriented computing (SOC) is considered today a key enabler for the development of robust and high-quality intelligent Internet-scale distributed applications. Extensive research and development in the past few years has pushed SOC technology into state-of-the-art applications in emerging areas such as Cloud computing, Internet-of-Things (IoT), Machine-to-Machine (M2M) communication, Cyber-Physical Systems (CPSs), Mobile-Edge Computing, Social computing as well as mobile and enterprise systems. However, many of the critical components on building reliable, robust, and user-centric, cloud-based service-oriented architecture applications and systems are still open for research. Hence, it is time to face new service-oriented architecture (SOA) research opportunities by addressing new research challenges on emerging applications domains like smart cities, smart logistics, smart factories and e-Health, just to mention a few. Many of the service components are deployed on resource-limited embedded systems and are performance sensitive; others are deployed on cloud servers providing highly parallel services and on edge servers in the middle of resource-limited systems and high-end servers. Edge servers and clouds are connected through various types of networks, including emerging network function virtualization services. These components are part of complex applications and systems that span multiple execution environments. Their capabilities are increasingly being managed and (re)configured via emerging software-defined and elasticity mechanisms. In addition, they have to interact with humans in order to obtain useful human-sensing data and solve complex problems. Thus, on the one hand, SOC may provide effective solutions for managing the ever-increasing complexity while meeting the challenging requirements of services on largely distributed, heterogeneous and dynamic resource environments. On the other hand, the exploitation of emerging trends in such environments to build SOC applications and systems for large-scale service-based systems is an open research challenge. The 2017 IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2017 http://conferences.computer.org/soca/) provides an international forum for researchers from multiple disciplines to exchange and share their experiences, ideas, and latest research results on all aspects of service- oriented computing. The conference includes three days of parallel-track program, special-topic workshops, keynotes and tutorials, and panel discussion. We invite submissions of high-quality papers describing fully developed results or ongoing work on the following topics and related areas: -Service-oriented architectures, engineering, and applications -Cloud-based service systems -SOCA in IoT and Cyber-Physical Systems -Service Models and Applications for Mobile-Edge Computing -Service coordination techniques in IoT and cloud environments -SOC-based smart process and workflow management -Configurable, reconfigurable and software-defined service middleware -Data analytics and data services in and for SOC-based systems -IoT and data marketplaces -Smart data and service contracts -Cognitive computing techniques for SOCA -Social computing for and atop SOCA -SOCA development, deployment and testing tools and methodologies -Security and privacy for SOCA -Dependable and trustworthy SOCA -SOCA for smart applications (cities, transportation systems, factories, homes and offices, etc.) ------------------------ Important Dates ------------------------ Workshop/Special Session Proposal May 30, 2017 Workshop/Special Session Notification June 15, 2017 Paper Submission Deadline July 31, 2017 Acceptance Notification September 15, 2017 Camera-Ready Submission October 1, 2017 ---------------------------- Paper Format and Submission ---------------------------- We seek for both full and short papers. Full papers will be submitted as PDF files, using the IEEE Computer Society Proceedings Format (two column, 10 point, single-spaced, US Letter, no margin smaller than one inch) with a page limit of 8 pages. Short paper should be limited with 4 pages. All papers will be reviewed by at least 3 technical committee members. The paper can be submitted at https://easychair.org/conferences/?conf=soca2017 ---------------------------- Organizing Committees ---------------------------- General Chairs Boualem Benatallah, UNSW, Australia Christian Huemer, Vienna University of Tech., Austria Takayuki Ito, Nagoya Inst. of Tech., Japan General Vice-Chairs Yong Tang, South China Normal University, China Tokuro Matsuo, Advanced Inst. of Industrial Tech., Japan Hong-Linh Truong, Vienna University of Tech., Austria Program Chairs Bormin Huang, University of Wisconsin-Madison, USA Hai Jin, Huazhong University of Science and Tech., China Kwei-Jay Lin, University of California, Irvine, USA Program Vice-Chairs Jing Fan, Zhejiang University of Technology, China Anna Kobusinska, Poznan University of Tech., Poland Kevin Wang, University of Auckland, New Zealand Workshop Co-Chairs Naoki Fukuta, Shizuoka University, Japan Changqin Huang, South China Normal University, China Finance Chair Tokuro Matsuo, Advanced Inst. of Industrial Tech., Japan Publication Chair Jong-Chan Kim, Kookmin University, Korea Web Chair Ci-Wei Lan, IBM CSDL, Taiwan Steering Committee Marco Aiello, University of Groningen, The Netherlands Jane YJ Hsu, National Taiwan University, Taiwan Robert Hsu, Chung Hua University, Taiwan Christian Huemer, Vienna University of Tech., Austria Takayuki Ito, Nagoya Inst. of Tech., Japan Kwei-Jay Lin, University of California, Irvine, USA Yong Tang, South China Normal University, China

1 1

CFP : Special Issue on Parallel Computing in Modelling and Simulation on JPDC
by William Spataro 16 May '17

16 May '17

SPECIAL ISSUE ON PARALLEL COMPUTING IN MODELLING AND SIMULATION Journal: Journal of Parallel and Distributed Computing SCOPE and OBJECTIVES Model development for the simulation of the evolution of artificial and natural systems is essential for the advancement of Science. Recently, the increasing power of computers has allowed to considerably extend the application of parallel computing methodologies in research and industry, but also to the quantitative study of complex phenomena. This has permitted a broad application of numerical methods for differential equation systems (e.g., FEM, FDM, etc.) on one hand, and the application of alternative computational paradigms, such as Cellular Automata, Genetic Algorithms, Neural networks, Swarm Intelligence, etc., on the other. These latter have demonstrated their effectiveness for modelling purposes when traditional simulation methodologies have proven to be impracticable. This Special issue aims to provide a platform for a multidisciplinary community composed of scholars, researchers, developers, educators, practitioners and experts from world leading Universities, Institutions, Agencies and Companies in Computational Science, and thus in the Parallel Computing for Modelling and Simulation field. The intent is to offer an opportunity to express and confront views on trends, challenges, and state-of-the art in diverse application fields, such as engineering, physics, chemistry, biology, geology, medicine, ecology, sociology, traffic control, economy, etc. TOPICS of INTEREST Tentative authors are invited to submit original unpublished works on topics from a wide range of parallel computing methods, including but not limited to the following: * Parallel algorithms for modelling and simulation * High-performance computing in computational science: intra-disciplinary and multi-disciplinary research applications * Complex systems modelling and simulation * Cellular Automata, Genetic Algorithms, Neural networks, Swarm Intelligence implementations * Integrated approach to optimization and simulation * MPI, OpenMP, GPGPU applications in Computational Science * Optimization algorithms, modelling techniques related to optimization in Computational Science * Software developed to solve science (e.g.,biological, physical, and social), engineering, medicine, and humanities problems * Hardware approaches of parallel computing in modelling and simulation IMPORTANT DATES Submission: 15th September 2017 First Notification: 1st December 2017 Revision Submission: 15th January 2018 Second Notification: 1st March 2018 Final version Submission: 1st April 2018 SUBMISSION GUIDELINES Regarding the paper submission, we expect that papers submitted to this special issue for possible publication must be original and must not be under consideration for publication in any other journal or conference. Previously published or accepted conference/workshop papers must contain at least 40%-50% new material to be considered for the special issue. All papers are to be submitted by referring to http://ees.elsevier.com/jpdc. During submission please select paper type “VSI:ParCompModelSimu” under Manuscript Category. All manuscripts must be prepared according to the journal publication guidelines which can also be found on the website provided above. Papers will be reviewed following the journal standard review process. GUEST EDITORS William Spataro (University of Calabria, IT) spataro(a)unical.it Giuseppe A. Trunfio (University of Sassari, IT) trunfio(a)uniss.it Georgios Ch. Sirakoulis (Democritus University of Thrace, GR) gsirak(a)ee.duth.gr -- °-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-° William Spataro Department of Mathematics & Computer Science High Performance Computing Center University of Calabria I-87036 Arcavacata di Rende (CS) Italy Phone(s) : +39.0984.49.3691 / 4875 / 6464 Fax : +39.0984.493570 Member of the OpenCAL Team (https://github.com/OpenCALTeam) Web: www.mat.unical.it/spataro Email: spataro(a)unical.it -°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°

1 0

PDP 2018 - Call for Papers
by Ivan Merelli 16 May '17

16 May '17

***************************************************************************************** PDP 2018 - Call for Papers -http://www.pdp2018.org ***************************************************************************************** Parallel, Distributed, and Network-Based Processing has undergone impressive changes over recent years. New architectures, advanced programming models, improved efficiency and novel application domains have rapidly become the central focus of this discipline. These changes are often a result of cross-fertilisation of parallel and distributed computational paradigms with other rapidly evolving technologies in different disciplines. It is of paramount importance to review and assess these new developments in relation with the recent research achievements in the different areas of parallel and distributed computing, considering both the industrial and scientific point of view. PDP 2018 will provide a forum for the discusssion of these and other issues through original research presentations and will facilitate the exchange of knowledge and new ideas at the highest technical and applicative level. PDP 2018 will be held in Cambridge, UK, March 21-23, 2018. Conference web sitehttp://www.pdp2018.org ***************************************************************************************** * Topics of interest include, but are not restricted to: - Parallel Computing: massively parallel machines; embedded parallel and distributed systems; multi- and many-core systems; GPU and FPGA based parallel systems; parallel I/O; memory organisation. - Distributed and Network-based Computing: Cluster, Grid, Web and Cloud computing; mobile computing; interconnection networks. - Big Data: large scale data processing; distributed databases and archives; large scale data management; metadata; data intensive applications. - Models and Tools: programming languages and environments; runtime support systems; performance prediction and analysis; simulation of parallel and distributed systems. - Systems and Architectures: novel system architectures; high data throughput architectures; service-oriented architectures; heterogeneous systems; shared-memory and message-passing systems; middleware and distributed operating systems; dependability and survivability; resource management. - Advanced Algorithms and Applications: distributed algorithms; multi-disciplinary applications; computations over irregular domains; numerical applications with multi-level parallelism; real-time distributed applications. * In addition, special sessions will address upcoming novel topics: - GPU computing and Many Integrated Core Computing - Advances in High-Performance Bioinformatics and Biomedicine - Security in Parallel, Distributed and Network-Based Computing - Energy Efficient Management of Parallel Systems, Platforms, and Computations - Cloud Computing on Infrastructure as a Service and its Applications - High Performance Computing in Modeling and Simulation - On-chip parallel and network-based systems - Storage architectures and Data Transfer systems for BigData and Exascale Computing - High Performance Computing for Neuroscience - High Performance Computing in Astronomy and Astrophysics - Parallel and distributed high-performance computing solutions in Systems Biology - Parallel Numerical Methods and Libraries for Heterogeneous Multi/Manycores ***************************************************************************************** * Important dates: - Paper submission: 15 Sep, 2017 -Acceptance notification:13 Oct, 2017 - Camera ready due: 17 Nov, 2017 - Conference: 21 - 23 Mar, 2018 ***************************************************************************************** * Submission of papers Prospective authors should submit a full paper not exceeding 8 pages in the Conference proceedings format ( double-column, 10pt) to the conference main track through the EasyChair conference submission system (http://www.easychair.org/conferences/?confpdp2018 <http://www.easychair.org/conferences/?confpdp2018>). The possibility to submit a paper to a special session will appear soon. Double-blind review: the paper should not contain authors names and affiliations; in the reference list, references to the authors' own work entries should be substituted with the string "omitted for blind review". Publication: All accepted papers will be included in the same volume, published by the Conference Publishing Services (CPS). The Final Paper Preparation and Submission Instructions will be published after the notification of acceptance. Authors of accepted papers are expected to register and present their papers at the Conference. Conference proceedings will be submitted to IEEE explore, CDSL, and for indexing among others, to DBLP, Scopus ScienceDirect, and ISI Web of Knowledge. ***************************************************************************************** Ivan Merelli Istituto di Tecnologie Biomediche, Consiglio Nazionale delle Ricerche 93, via F.lli Cervi, 20090 Segrate (Mi), Italy Phone:+39 02 2642-2606 <tel:+39%2002%202642%202606> E-Mail:ivan.merelli@itb.cnr.it <mailto:ivan.merelli@itb.cnr.it> Pietro Liò Computer Laboratory, University of Cambridge 15, JJ Thomson Avenue, Cambridge CB3 0FD, UK Phone:+44 (0)1223-763604 <tel:+44%201223%20763604> E-Mail:pl219@cam.ac.uk <mailto:pl219@cam.ac.uk> Igor Kotenko Laboratory of Computer Security Problems, SPIIRAS 39, 14th. Liniya, St. Petersburg, 199178, Russia Phone:+7 (812) 328-71-81 <tel:+7%20812%20328-71-81> E-Mail:ivkote@comsec.spb.ru <mailto:ivkote@comsec.spb.ru> ******************************************************************************************** Euromicro is an international scientific organization advancing sciences and applications of Information Technology and Microelectronics. A major focus is on organizing conferences and workshops in Computer Science and Computer Engineering. Euromicro is a non-profit association founded in 1974 and annual conferences have taken place in more than 20 countries all over Europe. Find out more athttp://www.euromicro.org.

1 0

FROM 2017
by From 2017 15 May '17

15 May '17

[Apologies for multiple copies] FROM 2017 - Second Call for Papers http://unibuc.ro/~conference/from2017 WORKING FORMAL METHODS SYMPOSIUM 5 - 8 July 2017 Faculty of Mathematics and Computer Science University of Bucharest Deadline for abstract submissions: 21 May 2017 Aims and Scope Formal methods use mathematical techniques and rigour for developing software and hardware. The formal methods can be used to specify, verify, and analyse in any part of the system life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assumes on the one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user to effectively apply these methods/frameworks in the life cycle of the system. ICUB (The Research Institute of the University of Bucharest), the Faculty of Mathematics and Computer Science of the University of Bucharest, and the Faculty of Computer Science of the Alexandru Ioan Cuza University of Iasi organize FROM 2017, the first one from a yearly workshop series, meant to bring together Romanian researchers in formal methods and to foster international collaborations. Working Formal Methods Symposium (FROM) aims to bring together researchers and practitioners who work for formal methods by contributing with 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 is available upon request. The program of the symposium will include invited lectures (the current list can be seen on the workshop web page) 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 - Mathematical structures in computer science - Models of computation - Semantics of programming languages Methods of interest include: - Model checking - Deductive verification - Automated reasoning and model generation - Automated induction - Symbolic computation Applications of interest include: - Program analysis - Verification and synthesis of software and hardware, - Computational logic, - Computer mathematics, - Knowledge representation, ontology reasoning, deductive databases, - Uncertainty reasoning and soft computing Submissions Regular contributions will be based on an extended abstract of 2 pages, excepting the references, formatted according to the guidelines for Springer LNCS: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The abstracts should be submitted before 21 May 2017, via EasyChair: https://easychair.org/conferences/?conf=from2017 The notification of acceptance will be received by 31 May 2017. Depending on the number and the quality of submissions, we intend to publish extensions of selected presentations in peer-reviewed well-ranked journal. Registration There is no conference fee, but valid registration is required in order to participate at the conference. All participants registered with an abstract will receive the conference kit. There is an additional fee of 50 RON for the social dinner at Casa Universitarilor. For details and updates see http://unibuc.ro/~conference/from2017/

1 0

[Call for Papers] Programming Model Alternatives to Message Passing (PMAMP)-2017
by Emani, Murali 15 May '17

15 May '17

Call for papers First Annual Workshop on Programming Model Alternatives to Message Passing (PMAMP)-2017 September 25, 2017, Chicago, IL in collaboration with EuroMPI/USA 2017 https://memani1.github.io/pmamp17/ Overview: Message-passing programming models have dominated high-performance computing (HPC) for the past quarter century. With the continued breakdown of the (uniform) communicating sequential processors abstract machine model, many researchers have questioned the continued viability of message passing as a model for direct, application-level interaction. Recent years have seen an explosion of new paradigms in programming models for distributed-memory computing. The move to the next generation of HPC platforms presents a wider variety of challenges than ever before, that include the increased need for asynchrony, increased heterogeneity and performance non-uniformity, decreased hardware reliability and increased failure rates, increased hardware diversity, and the maintainability of increasingly complex scientific code bases. This workshop proposes to promote a dialogue between researchers who work on extensions or augmentations to message-passing models (the “evolutionary” crowd) to alternative programming models and to expose those who develop fundamentally different programming models (the “revolutionary” crowd) to the recent advances in message-passing programming models. It aims to help understand the relative importance of the concerns these new approaches address. The workshop seeks to garner a better understanding of key motivations for alternative programming models, key insights from advances in message passing (and how they can be applied to alternative models), and key opportunities for collaboration between researchers on both sides. Topics: We solicit preliminary work on programming models that offer extensions or alternatives to message passing, with emphasis on addressing emerging concerns in high performance computing (HPC), including topics relating to (but are not restricted to) the following: * Asynchrony * Heterogeneity * Performance non-uniformity * Fault-tolerance and resilience * Performance portability: a posteriori adaptability (“one code for many machines”) in situ adaptability (reactive and dynamic runtime system solutions) * Maintainability (particularly in the presence of these other challenges) * Testability and debuggability (particularly in the presence of these other challenges) * Experimental comparative results (particularly with emphasis on overall time-to-solution) * Relevance of alternate programming models to particular scientific kernels Also, we solicit position papers on analyzing the importance (or lack thereof) of the above topics for the future of HPC, again with emphasis on the need (or lack thereof) to address these concerns at the programming model level (thus, for instance, arguments for why the challenges can be addressed at other levels of the software stack without programming model intervention will also be considered). Important Dates: * Paper submission: June 15, 2017 * Author Notification: July 10, 2017 * Camera-ready papers due: July 30, 2017 * Workshop Date: September 25, 2017 Committee: Workshop Organizers: · David S Hollman, Sandia National Laboratory · Murali Emani, Lawrence Livermore National Laboratory Program Committee: (Preliminary) * Abhinav Bhatele, Lawrence Livermore National Laboratory * Alex Aiken, Stanford * Jesper Larsson Träff, TU Wien * Karl Fuerlinger, LMU Munich * Ron Brightwell, Sandia National Laboratory * Zoran Budimlic, Rice University * Hartmut Kaiser, Louisiana State University * Sean Treichler, Nvidia * Bryce Adelstein Lelbach, Lawrence Berkeley National Laboratory * Martin Schulz, Lawrence Livermore National Laboratory Submission: Interested authors are encouraged to submit full papers (8-10 pages) or short/position papers (4 pages) in "sigconf" style in the ACM 2017 template. This page limit includes figures, tables and appendices but not references. Authors should submit their work at (https://easychair.org/conferences/?conf=pmamp1) More details of this workshop could be found at https://memani1.github.io/pmamp17/. — Murali Emani, Center for Applied Scientific Computing, Lawrence Livermore National Laboratory, USA https://memani1.github.io<https://memani1.github.io/>

1 0

CFP: 2017 IEEE Pacific Rim Conference
by Kin Fun Li 15 May '17

15 May '17

Dear Colleagues: The 2017 IEEE Pacific Rim Conference on Communications, Computers, and Signal Processing will be held August 21-23 on the beautiful campus of the University of Victoria, Victoria, Canada. This is a great opportunity to present your work at an internationally recognized conference held biennially for the past 30 years. Please encourage your research group and graduate students to participate and submit papers. Submission deadline: June 8, 2017. Conference URL: http://www.ece.uvic.ca/~pacrim/pacrim17/ Sincerely, IEEE PacRim 2017 Organizing Committee

1 0

FGCS Journal - Special Issue on Emerging Trends, Issues and Challenges in Internet of Things, Big Data and Cloud Computing.
by Anna Kobusińska 14 May '17

14 May '17

*Future Generation Computer Systems - The international Journal of eScience* https://www.journals.elsevier.com/future-generation-computer-systems **Special Issue on Emerging Trends, Issues and Challenges in Internet of Things, Big Data and Cloud Computing.** https://www.journals.elsevier.com/future-generation-computer-systems/call-f… The future development of cloud computing systems is more and more influenced by Big Data and IoT. There are research and industrial works showing applications, services, experiments and simulations in the Cloud that support the cases related to IoT, Big Data and Security. Cloud users and cloud service providers face a variety of new challenges like encrypted data search, share, auditing, key management security and privacy. There is also a need for protocols that facilitate big data streaming from IoT to the cloud and QoS. This special issue encourages submissions related to all aspects of IoT, Big Data and Cloud Computing. In particular, it aims to examine the prospects and challenges that arise in conjunction with the trending topic in the field of Internet of Things and Big Data which are essential to comply with the necessities of modern cloud applications. Promoting the submission of the ongoing work with the existing important theoretical and practical results, along with position papers and case studies of already present verification projects, this special issue will highlight the art in this domain. As one of the goals, this special issue intends to convene researchers and practitioners to review the diverse range of features of security, privacy, trust and reliability in IoT and Cloud. It also examines significant theories, scrutinies technology enablers, formulates significant application and devise new methods to overcome the major problems that this research area poses. The objective of this special issue is to capture the latest advances in research topics that include but are not limited to: * Big Data and IoT on the Cloud * IoT Services and Applications * Security, Privacy and Trust in IoTSensor Networks * Remote Diagnosis and Development * Data Analysis and Visualization for IoT * Performance Evaluation and Modeling for IoT * Networking and Communication Protocols for IoT * Physical Security and Data LocationTechnological focus for Smart Environments * Data and Knowledge Management * Data Mining * Big Data Security * Cloud Computing Platforms, Applicationsand Management * Cloud Security and Privacy Management * Mobile Cloud Computing * Services Computing * Hybrid Cloud Computing * Virtualization of Resources in Clouds * Energy Efficiency in Clouds * Data Storage in Clouds * Cloud Applications Performance and Monitoring *Important Dates* Paper submission due: June 30, 2017 First-round acceptance notification: September 1, 2017 Revision: October 15, 2017 Final decision: December 15, 2017 Submission of final paper: January 15, 2018 Publication date: March, 2018 *Submission Guideline* Paper submissions for the special issue should follow the submission format and guidelines for regular Elsevier Journal of Future Generation Computer Systems at http://ees.elsevier.com/fgcs/. All the papers will be peer-reviewed following the FGCS reviewing procedures. Guest editors will make an initial determination of the suitability and scope of all submissions. Papers that either lack originality, clarity in presentation or fall outside the scope of the special issue will not be sent for review and the authors will be promptly informed in such cases. Authors should select “*SI:**Emerging Trends, Issues and Challenges in Internet of Things, Big Data and Cloud Computing*” when they reach the “Article Type” step in the submission process. Top conference papers from SC2-2016 (http://grid.chu.edu.tw/sc2-2016) and IoTDBS 2017 (http://www.iotbds.org) will be invited for extended and enhanced version for this special issue. Extended conference contributions must have *at least 50%* difference from the original works (the authors must indicate the conference name and make the reference to the base conference paper). * Guest Editors* Anna Kobusinska (Lead guest editor), Faculty of Computing, Poznan University of Technology, Poland. Raghavendra S, Department of Computer Science and Engineering, University Visvesvaraya College of Engineering, Bangalore, Karnataka, India. Carson Leung, Department of Computer Science, University of Manitoba, Winnipeg, MB, Canada. Robert Hsu, Department of Computer Science and Information Engineering, Chung Hua University, Taiwan. Victor Chang, International Business School Suzhou, Xi’an Jiaotong Liverpool University China.

1 0

CFP: 3rd International Workshop on Algorithmic Aspects of Cloud Computing (ALGOCLOUD 2017)
by George Pallis 13 May '17

13 May '17

[Please accept our apologies if you received multiple copies of this call] Submission Deadline: June 23, 2017 ---------------------------------------------------------------------------------- 3rd International Workshop on Algorithmic Aspects of Cloud Computing (ALGOCLOUD 2017) co-located with ALGO 2017 September 4th - 5th, 2017 – Vienna, Austria ---------------------------------------------------------------------------------- ALGOCLOUD (https://algo2017.ac.tuwien.ac.at/algocloud/ <https://algo2017.ac.tuwien.ac.at/algocloud/>) is the international forum bringing together international researchers, students, and practitioners to present research activities and results on topics related to algorithmic, design, and development aspects of modern cloud-based systems. ALGOCLOUD is co-located with the ALGO conference (https://algo2017.ac.tuwien.ac.at/ <https://algo2017.ac.tuwien.ac.at/>), a leading international meeting of researchers working in algorithms and their engineering. ALGOCLOUD welcomes submissions on all theoretical, design, and implementation aspects of modern cloud-based systems. ALGOCLOUD is particularly interested in novel algorithms in the context of cloud computing, cloud architectures, as well as experimental work that evaluates contemporary cloud approaches and pertinent applications. ALGOCLOUD also welcomes demonstration manuscripts, which discuss successful elastic system developments, as well as experience/use-case articles. Contributions may span a wide range of algorithms for modeling, practices for constructing and techniques for evaluating operations and services in a variety of systems, including but not limited to, virtualized infrastructures, cloud platforms, datacenters, cloud-storage options, cloud data management, non-traditional key-value stores on the cloud, HPC architectures, etc. ***Keynote Speaker: Prof. Babak Falsafi (EPFL, Switzerland) *** TOPICS Suggested topics include, but are not limited to: - Algorithmic aspects of elasticity - Search and retrieval algorithms for cloud infrastructures - Scale-up and -out for NoSQL and columnar databases - Resource provisioning and management - Monitoring and analysis of elasticity for virtualized environments - Analysis of containerized applications - Cloud deployment tools and their analysis - Query languages and novel programming models - Content delivery through cloud infrastructures - Load-sharing and caching for cloud systems - Data structures and algorithms for eventually-consistent stores - Scalable access structures and indexing for cloud data-stores - Algorithmic aspects for cloud applications - Machine learning, analytics and data science - Resource availability, reliability and fail-over - NoSQL and schema-less data modeling and integration - Consistency, replication and partitioning CAP - Transactional models and algorithms for cloud data-stores PROCEEDINGS Accepted papers will be included in the post-proceedings in the Lecture Notes in Computer Science by Springer-Verlag (http://www.springer.com/gp/computer-science/lncs <http://www.springer.com/gp/computer-science/lncs>). SUBMISSION GUIDELINES Submissions must have a length of up to 12 pages in LNCS format (excluding references and an optional appendix to be read at the discretion of the Program Committee). Papers should be submitted electronically via the Easy Chair Submission system (https://easychair.org/conferences/?conf=algocloud17 <https://easychair.org/conferences/?conf=algocloud17>). By submitting a paper the authors acknowledge that in case of acceptance at least one of the authors must register and attend ALGO 2017 or ALGOCLOUD 2017, and present the paper. PC members are strongly encouraged to submit papers. IMPORTANT DATES - Paper submission: June 23, 2017 - Author notification: July 25, 2017 - Workshop: September 4-5, 2017 COMMITTEES Workshop Chairs  - Dan Alistarh (IST, Austria) - Alex Delis (University of Athens, Greece) Proceedings and Publicity Chair - George Pallis (University of Cyprus, Cyprus) PC Members  - Stergios Anastasiadis (University of Ioannina, Greece) - Athman Bouguettaya (University of Sydney, Australia) - Marco Canini (KAUST, Saudi Arabia) - Aleksandar Dragojevic (Microsoft Research, UK) - Schahram Dustdar (TUW, Austria) - Rachid Guerraoui (EPFL, Switzerland) - Gabriel Istrate (University of Timişoara & e-Austria RI, Romania) - Thomas Karagiannis (Microsoft Research, UK) - Nectarios Koziris (NTUA, Greece) - Fernando Pedone (University of Lugano, Switzerland) - Florin Pop (University Politehnica of Bucharest, Romania) - Raj Ranjan (Newcastle University, UK) - Luis Rodrigues (Universidade Técnica de Lisboa, Portugal) - Rizos Sakellariou (University of Manchester, UK) - Stefan Schmid (Aalborg University, Denmark) - Zahir Tari (RMIT, Australia) - Vasileios Trigonakis (Oracle Labs, Switzerland) - Dimitris Tsoumakos (Ionian University, Greece) Steering Committee - Spyros Sioutas (Ionian University, Greece) - Peter Triantafillou (University of Glasgow, UK) - Christos D. Zaroliagis (University of Patras, Greece)

1 0

Symposium on Foundations & Practice of Security (FPS 2017): Call for Papers (Springer-LNCS Proceedings)
by Abdessamad Imine 12 May '17

12 May '17

(Apologies for multiple copies) ********************************************************************************** The 10th International Symposium on Foundations & Practice of Security (FPS 2017) October 23-24-25, 2017 Nancy, France Website: http://fps2017.loria.fr/ ********************************************************************************** Invited speakers: ----------------- 1) Véronique Cortier (CNRS-LORIA, France) Title: "Electronic voting: how logic can help" 2) Krishna Gummadi (Max Planck Institute, Germany) Title: "Privacy and Fairness Concerns with PII-based Targeted Advertising on Social Media" 3) Florian Kerschbaum (University of Waterloo, Canada) Title: to be announced later Important Dates: ---------------- - Deadline for Short / Position Papers : July 9, 2017 (anywhere in the world) - Deadline for Full Papers : July 9, 2017 (anywhere in the world) - Acceptance Notification : September 15, 2017 Scope: ------ Protecting the communication and data infrastructure of an increasingly inter-connected world has become vital to the normal functioning of all aspects of our world. Security has emerged as an important scientific discipline whose many multifaceted complexities deserve the attention and synergy of the mathematical, computer science and engineering communities. After the previous meetings held in La Rochelle, Montreal, Grenoble, Toronto, Paris, Clermont-Ferrand and Quebec city, this 10th edition of the FPS symposium will be held in Nancy, France. The aim of FPS is to discuss and exchange theoretical and practical ideas that address security issues in inter-connected systems. It aims to provide scientific presentations as well as to establish links, promote scientific collaboration, joint research programs, and student exchanges between institutions involved in this important and fast moving research field. We also invite papers from researchers and practitioners working in security, privacy, trustworthy data systems and related areas to submit their original papers. The main topics, but not limited to, include: * Computer and Network Security * Formal foundations in Information or Operational Security * Security of Service Oriented Architectures * Information Theoretic Security * Security of Cloud Computing * Security Management and Security Policies * Policy-based Security Architectures * Security of P2P systems * Security & Privacy on Social Networks * Access Control Languages * Data Mining & Watermarking * Cryptography & Cryptanalysis * Threat Analysis and Trust Management * Privacy & Sensitive Data Management * Policy-based Distributed Information Systems * Security in Sensor Networks and RFIDs * Security of Cloud Computing, Grid Computing * Security of Distributed Embedded Middleware * Distributed Security Protocols & Policies * Security and Privacy in Digital Currencies * Malware, Botnet and Advanced Persistent Threats * Code Reverse Engineering and Vulnerability Exploitation * Side Channel & Physical Attacks * Social Engineering * Security of Big-Data Submissions Guidelines: ----------------------- Full papers should be at most 16 pages, including the bibliography and appendices. Short and Position papers should be up to 8 pages. Authors should indicate whether their paper is a "position paper" to differentiate them from regular ones (you mention "Position paper" in the title). Committee members are not required to read the appendices, so the paper should be intelligible without them. All submissions must be written in English. Authors must submit their papers by the deadline indicated below, using the EasyChair web site (using the link https://easychair.org/conferences/?conf=fps2017) and following the requirements stated there. All papers will be refereed. The submitted contribution should be formatted according to Springer’s LNCS style. Submissions by PhD students as well as surveys and controversial ideas are encouraged. Case studies (successful or not) are also encouraged. Publication: ------------ As in previous editions, proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series. At least one author of each accepted paper must register to the symposium, by the date indicated by the organizers, and present the paper. Committees: ------------ General Chairs: - Luigi Logrippo (Université du Québec en Outaouais, Canada) - Jean-Yves Marion (Mines de Nancy, France) PC Chairs: - José M. Fernandez (Polytechnique Montréal, Canada) - Abdessamad Imine (Université de Lorraine, Nancy, France) Publications Chair: - Joaquin Garcia-Alfaro (Telecom SudParis, France) Publicity Chairs: - Pascal Lafourcade (Université d’Auvergne, France) - Nur Zincir-Heywood (Dalhousie University, Canada) Program Committee: - Esma Aimeur (University of Montreal, Canada) - Jeremy Clark (Concordia University, Canada) - Frédéric Cuppens (IMT Atlantique, France) - Nora Cuppens (IMT Atlantique, France) - Jean-Luc Danger (Télécom Paris-Tech, France) - Mourad Debbabi (Concordia University, Canada) - Josée Desharnais (Laval University, Canada) - Josep Domingo-Ferrer (Universitat Rovira i Virgili, Spain) - Samuel Dubus (NOKIA Bell Labs, France) - Sébastien Gambs (Université du Québec à Montréal, Canada) - Joaquin Garcia-Alfaro (Telecom SudParis, France) - Dieter Gollmann (Hamburg University of Technology, Germany) - Sushil Jajodia (George Mason University, USA) - Martin Johns (SAP Research, Germany) - Bruce Kapron (University of Victoria, Canada) - Nizar Kheir (THALES, France) - Raphaël Khoury (Université du Québec à Chicoutimi, Canada) - Hyoungshick Kim (Sungkyunkwan University, Republic of Korea) - Igor Kotenko (SPIIRAS, Russia) - Evangelos Kranakis (Carleton University Computer Science, Canada) - Pascal Lafourcade (Université d'Auvergne, France) - Luigi Logrippo (Université du Québec en Outaouais, Canada) - Javier Lopez (University of Malaga, Spain) - Jean-Yves Marion (Mines de Nancy, France) - Fabio Martinelli (National Research Council of Italy (CNR), Italy) - Paliath Narendran (University at Albany, USA) - Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona, Spain) - Jun Pang (University of Luxembourg, Luxembourg) - Milan Petkovic (Philips Research Laboratories, The Netherlands) - Marie-Laure Potet (VERIMAG, France) - Silvio Ranise (FBK, Security and Trust Unit, Italy) - Indrakshi Ray (Colorado State University, USA) - Michaël Rusinowitch (LORIA-INRIA Nancy, France) - Basit Shafiq (Lahore University of Management Sciences, Pakistan) - Anna Squicciarini (Pennsylvania State University, USA) - Natalia Stakhanova (University of New Brunswick, Canada) - Chamseddine Talhi (École de Technologie Supérieure, Canada) - Nadia Tawbi (Université Laval, Canada) - Rakesh Verma (University of Houston, USA) - Lingyu Wang (Concordia University, Canada) - Edgar Weippl (SBA Research, Austria) - Lena Wiese (Georg-August Universität Göttingen, Germany) - Xun Yi (RMIT University, Australia) - Nur Zincir-Heywood (Dalhousie University, Canada) - Mohammad Zulkernine (Queen's University, Canada) @@@@@@@@@@@@@@@@@@@@@@@@@@@@@ Dr Abdessamad IMINE Université de Lorraine & LORIA-INRIA Nancy Grand-Est 615 rue du Jardin Botanique 54506, Vandoeuvre-lès-Nancy Tel: +33 (0)3 54 95 85 35 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@

1 0

CFP SPIFEC 2017 (ESORICS workshop): 1st European Workshop on Security and Privacy in Fog and Edge Computing
by roman 12 May '17

12 May '17

*** Apologies for multiple copies *** ============================================================================== C a l l F o r P a p e r s SPIFEC 2017: 1st European Workshop on Security and Privacy in Fog and Edge Computing (In conjunction with ESORICS 2017) Oslo, Norway, September 14, 2017 Website: https://www.nics.uma.es/pub/spifec ============================================================================== Overview The main goal of Fog Computing and other related Edge paradigms, such as Multi-Access Edge Computing, is to decentralize the Cloud and bring some of its services closer to the edge of the network, where data are generated and decisions are made. Cloud-enabled edge platforms will be able to cooperate not only with each other but with the cloud, effectively creating a collaborative and federated environment. This paradigm shift will fulfill the needs of novel services, such as augmented reality, that have particularly stringent requirements like extremely low latency. It will also help improve the vision of the Internet of Things by improving its scalability and overall functionality, among other benefits. To enable this vision, a number of platforms and technologies need to securely coexist, including sensors and actuators, edge-deployed systems, software-defined networks, hardware virtualization, data mining mechanisms, etc. However, this paradigm shift calls for new security challenges and opportunities to leverage services for new scenarios and applications. The field of edge computing security is almost unexplored, and demands further attention from the research community and industry in order to unleash the full potential of this paradigm. Topics This workshop expects original research papers on, but not limited to, the topics described below: • Edge devices security • Attacks and Countermeasures to Edge computing platforms • Authentication and Access control in Edge computing • Accountability and Accounting in Edge computing • Identity management systems in Edge computing • Secure federation of Edge computing devices • Secure Orchestration and Management of Edge devices • Secure Software-Defined Networking for Edge computing • Secure Virtualization in Edge Computing • Secure Migration of resources in Edge Computing • Data and Computation integrity in Edge Computing • Trust and Reputation Management in Edge computing • Privacy in Edge Computing • Intrusion Detection and Prevention systems for Edge computing • Digital Forensics in Edge Computing • Risk Analysis in Edge Computing • Incident Management in Edge Computing Important dates: - Submission deadline: 30th June 2017 - Authors’ notification: 30th July 2017 - Camera ready version: 27th August 2017 Paper Submission Guidelines: Submissions must be made through EasyChair at: https://easychair.org/conferences/?conf=spifec2017 Submitted papers must not substantially overlap with papers that have been published or submitted to another conference or journal. Papers must be written in English and they must adhere to the LNCS template from the time they are submitted. Submitted papers should be at most 16 pages (using 10-point font), excluding the bibliography and well-marked appendices, and at most 18 pages total. Only PDF format is accepted. Revised accepted papers will be published as a joint post-proceedings by Springer in the Lecture Notes in Computer Science (LNCS) series with other ESORICS Workshops (confirmed). Authors of accepted papers must guarantee that their papers will be presented at the conference. Papers must be received by the aforementioned dates, 11:59 p.m. American Samoa time (UTC-11) Organisation Committee PC Chairs - Rodrigo Roman University of Malaga, Spain - Chunming Rong University of Stavanger, Norway General Chair - Ruben Rios University of Málaga, Spain Program Committee (More to be added) - Ketan Bhardwaj Georgia Tech, USA - Egemen K. Çetinkaya Missouri University of Science and Technology, USA - Xiaofeng Chen Xidian University, China - Nathan Clarke Plymouth University, UK - Mauro Conti University of Padova, Italy - Jose M. De Fuentes University Carlos III Madrid, Spain - Roberto Di Pietro Nokia Bell Labs, France - Martin G. Jaatun SINTEF, Norway - Donghyun Kim Kennesaw State University, USA - Costas Lambrinoudakis University of Piraeus, Greece - Qun Li College of William and Mary, USA - Kaitai Liang Manchester Metropolitan University, UK - Flavio Lombardi Roma Tre University of Rome, Italy - Javier López University of Malaga, Spain - Masahiro Mambo Kanazawa University, Japan - Haralambos Mouratidis University of Brighton, UK - Abderrahmen Mtibaa New Mexico State University, USA - Jose A. Onieva University of Malaga, Spain - Fernando M.V. Ramos University of Lisbon, Portugal - Pierangela Samarati Università degli Studi di Milano, Italy - Juan E. Tapiador University Carlos III Madrid, Spain For any inquiries please contact the PC Chairs at: spifec2017(a)nics.uma.es

1 0

IEEE Big Data 2017 Call for Workshop Proposals
by CFP Conference 11 May '17

11 May '17

*IEEE Big Data 2017 Call for Workshop Proposals* 2017 IEEE International Conference on Big Data (IEEE Big Data 2017) http://cci.drexel.edu/bigdata/bigdata2017/ December 11-14, 2017, Boston, MA, USA ================================================================= The Program Committees of the 2017 IEEE International Conference on Big Data (IEEE Big Data 2017) invite proposals for Workshops. Selected workshops will hold a central position within the larger conference, which will bring together top academic and industrial researchers from all over the world to exchange cutting edge research ideas in Big Data research, development and practice. Within these fields, workshops at Big Data form crucial focal points for emerging communities and forums for the examination of new ideas. Here are a summary of the conferences in the previous years: The IEEE Big Data conference series started in 2013 has established itself as the top tier research conference in Big Data. 1. The first conference IEEE Big Data 2013 ( http://cci.drexel.edu/bigdata/bigdata2013/ regular paper acceptance rate: 17.0%) was held in Santa Clara, CA from Oct 6-9, 2013 with more than 400 registered participants from 40 countries. 2. The IEEE Big Data 2014 ( http://cci.drexel.edu/bigdata/bigdata2014/index.htm, regular paper acceptance rate: 18.5.0%) was held in Washington DC, Oct 27-30, 2014 with more than 600 registered participants from 45 countries. 3. The IEEE Big Data 2015 ( http://cci.drexel.edu/bigdata/bigdata2015/ , regular paper acceptance rate: 16.8%) was held in Santa Clara, Oct 29-Nov 1, 2015 with more than 780 registered participants from 49 countries. 4. The IEEE Big Data 2016 ( http://cci.drexel.edu/bigdata/bigdata2016/ , regular paper acceptance rate: 18.7%) was held in Washington DC, Dec 5-8, 2016 with close to 900 registered participants from 43 countries. The 2017 IEEE International Conference on Big Data (IEEE Big Data 2017) will continue the success of the previous IEEE Big Data conferences. It will provide a leading forum for disseminating the latest research in Big Data Research, Development, and Applications. Workshop organizers will be responsible for advertising the workshop, forming the program committees, reviewing and selecting the papers, and guaranteeing a high quality worthy of the prestige and breadth of the Conference. All papers accepted for workshops will be included in the Workshop Proceedings published by the IEEE Computer Society Press, made available at the Conference. The workshop organizers will also have the discretion of editing selected papers (after their expansion and revision) into books or special journal issues. Workshops should cover at least a single session (6 regular papers). The workshop organizers should ensure registration and presence of authors of accepted papers. *Workshop Topics* Each workshop subject will focus on new research challenges and initiatives in Big Data. The workshops should provide an informal and vibrant forum for researchers and industry practitioners to share their research results and practical development experiences in Big Data research, development and practice. Workshop topics may be narrow, e.g., Clouding Computing/Grid Computing/Stream Computing for Big Data; Big Data stream Mining, Big Graph Data Mining, or broad, e.g., Big Data Foundations , Big Data management, Big Data Mining and Searching, Big Data Privacy and Security, Big Data Application, etc (Pls refer to the IEEE Big Data 2017 http://cci.drexel.edu/bigdata/bigdata2017/ for more possible workshop topics). Prospective workshop organizers are encouraged to contact workshop chairs for feedback. *Important Dates* May 20, 2017 Workshop proposal submission due: a proposed workshop announcement is sent by e-mail to any of the Workshop Chairs June 5, 2017: Notification to workshop proposers June 20 , 2017: Each workshop organizer sends out Call for Workshops Papers *Guidelines for Workshop Proposals* Proposals for 2017 IEEE Big Data Workshops should contain the following components. 1. Workshop Title (e.g., Visualization and Analytics for Big Data) 2. Introduction to workshop (a few sentences about the background, importance, purpose, interests, etc. of workshop) 3. Research topics included in the workshop (list a number of interesting topics or areas covered by workshop) 4. Important dates (These dates are for your reference except the Camera-ready submission date, Please do not change the camera-ready date) *Oct 10, 2017:* Due date for full workshop papers submission *Nov 1, 2017:* Notification of paper acceptance to authors *Nov 15, 2017:* Camera-ready of accepted papers *Dec 11-14 2017:* Workshops 5. Program Chairs or co-chairs: (1-3 experts in the research areas of workshop) 6. Program Committee Members: (at least 5 experts in the research areas) 7. Invited keynote speakers (optional) *Workshop Proposal Submission:* https://wi-lab.com/cyberchair/2017/bigdata17/scripts/submit.php?subarea=ProW *Workshop Chairs:* Prof. Alfredo Cuzzocrea, University of Trieste, Italy Email: cuzzocrea(a)si.dimes.unical.it Prof. Jian Tang, Syracuse University, USA Email: jtang02(a)syr.edu Prof. Masashi Toyoda, University of Tokyo, Japan Email: toyoda(a)tkl.iis.u-tokyo.ac.jp ######################################################################## To unsubscribe from the BIGDATA list, click the following link: http://lists.drexel.edu/cgi-bin/wa?TICKET=NzM2NDkwIGNvbXB1dGF0aW9uYWwuc2NpZ…

1 0

22 PhD student positions in Autonomous Systems and Software
by Karlerik 11 May '17

11 May '17

Dear all, We currently have 22 PhD positions open in autonomous systems and software within WASP - Wallenberg Autonomous Systems and Software Program. I would appreciate your help in spreading this information, see below. Sincerely Karl-Erik Arzen ---------------------------------------------------------------------------------------------------------------------------------------------------------- SWEDEN’S LARGEST RESEARCH PROGRAM OFFERS 22 PHD POSITIONS Wallenberg Autonomous Systems and Software Program (WASP) is Sweden's largest individual research program ever, and provides a platform for academic research and education, fostering interaction with Sweden's leading technology companies. The program addresses research on autonomous systems acting in collaboration with humans, adapting to their environment through sensors, information and knowledge, and forming intelligent systems-of-systems. WASP's key value is research excellence in autonomous systems and software for the benefit of Swedish industry. The graduate school within WASP is dedicated to provide the skills needed to analyze, develop, and contribute to the interdisciplinary area of autonomous systems and software. Through an ambitious program with research visits, partner universities, and visiting lecturers, the graduate school actively supports forming a strong multi-disciplinary and international professional network between PhD-students, researchers and industry. The graduate school provides added value on top of the existing PhD programs at the partner universities, providing unique opportunities for students who are dedicated to achieving international research excellence with industrial relevance. We are now offering up to 22 PhD positions. For this there are 31 tentative projects with associated supervisors. You may apply for a maximum of two of these. For the 31 tentative projects, seven are announced by each of Chalmers, KTH, Linköping University, and Lund University, and three are announced by Umeå University. More information and links to the coordinating universities is found at WASP-Sweden.se Link to announcement: wasp-sweden.se/wasp-announces-22-phd-student-positions Last date for application: 2017-05-31

1 0

Ada-Europe 2017 - early registration until May 22
by Dirk Craeynest 10 May '17

10 May '17

----------------------------------------------------------------------- 2nd 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 Organized by TU Vienna on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGPLAN and the Ada Resource Association (ARA) *** Download conference poster to promote event *** http://www.ada-europe.org/conference2017/picts/AE2017_poster.png *** Early registration discount until May 22 *** *** Tutorial fees reduced when taken together with conference *** http://www.ada-europe.org/conference2017/tutorials.html ----------------------------------------------------------------------- The 22nd International Conference on Reliable Software Technologies - Ada-Europe 2017 takes place in Vienna, Austria, from June 12 to 16, 2017. It is an exciting event with an outstanding technical program, keynote talks, exhibition and networking from Tuesday to Thursday, and a rich program of workshops and tutorials on Monday and Friday. 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 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 the ready-to-print conference poster. Quick overview - Mon 12 & Fri 16: tutorials + workshops - Tue 13 - Thu 15: core program Proceedings - published by Springer - volume 10300 in Lecture Notes in Computer Science series - will be available at conference Program co-Chairs - Johann Blieberger, TU Vienna, Austria blieb(a)auto.tuwien.ac.at - Tullio Vardanega, Università di Padova, Italy tullio.vardanega(a)math.unipd.it Keynote speakers - Giovanni Battista Gallus, Array, Italy, on "The laws of robotics and autonomous vehicles may be much more than three, but don't panic... yet" - Thomas Henzinger, IST, Austria, on "Behavioral Software Metrics" - Kay Römer, TU Graz, Austria, on "Dependable Internet of Things" Workshops (full day) - 4th International Workshop on "Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering" (DeCPS 2017), focus on "Transportation of the Future" Tutorials (full day) - "Introduction to SPARK 2014" Peter Chapin, Vermont Technical College, USA Tutorials (half day) - "Ada on ARM Cortex-M, a Zero-Run-Time Approach" Maciej Sobczak, GE Aviation and Inspirel, Poland - "Software Measurement for Dependable Software Systems" William Bail, The MITRE Corporation, USA - "Real-Time Parallel Programming with the UpScale SDK" Luis Miguel Pinho, ISEP, Portugal, and Eduardo Quinones, BSC, Spain - "Using Gnoga for Desktop/Mobile GUI and Web development in Ada" Jean-Pierre Rosen, Adalog, France - "Frama-C, a Collaborative Framework for C Code Verification" Julien Signoles, CEA LIST, France - "On beyond ASCII: Characters, Strings, and Ada 2012" Jean-Pierre Rosen, Adalog, France - "Modular Open System Architecture for Critical Systems" William Bail, The MITRE Corporation, USA Papers and Presentations - 14 refereed technical papers in sessions on Runtimes, Programming Models, Safety & Security, Timing Verification, Mixed Criticality - 9 industrial presentations and experience reports in sessions on Exploratory Uses of Ada, Verification, Large Industrial Applications - 4 presentations and discussion in special panel session on "The Future of Safety-Minded Languages" - submissions by authors from 24 countries, and accepted contributions from Australia, Austria, Denmark, France, Italy, Portugal, South Korea, Spain, Sweden, Switzerland, UK, and USA Vendor exhibition and networking area - area features exhibitor booths, project posters, reserved vendor tables, and general networking options - 4 companies already committed: AdaCore, PTC, Rapita Systems, VectorCAST; 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 incl. Robotics Presentations at "TU the Sky"; its terraces at the top of TU Vienna's buildings offer a terrific view on the city - Wednesday evening: Vienna bus tour, followed by the traditional Ada-Europe Conference Banquet, held at a very famous "Heuriger" - Best Paper and Best Presentation awards will be handed out Registration highlights this year - single day registration cost has been reduced - Wednesday is Meet Ada-Europe day! registration is discounted - tutorial fees reduced when taken together with 3-day conference Registration - online registration is open: select "Registration" at <http://www.ada-europe.org/conference2017> - early registration discount up to Monday May 22, 2017 - additional discount for academia, Ada-Europe, ACM SIGAda, and ACM SIGPLAN members - a limited number of student discounts is available - registration includes copy of printed proceedings at event - includes coffee breaks and lunches - three day conference registration includes all social events - payment possible by credit card, check, or bank transfer - see registration page for info on novel student waiver program! Promotion - recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2017 - 16-page Advance Program brochure available online at <http://www.ada-europe.org/conference2017/AE2017_advance_program.pdf> - support Ada-Europe 2017 with promotional material available at <http://www.ada-europe.org/conference2017/promotion.html> - use the ready-to-print poster available at <http://www.ada-europe.org/conference2017/picts/AE2017_poster.png> Please make sure you book accommodation as soon as possible. Vienna will be very busy in that week. For more info and latest updates see the conference web site at <http://www.ada-europe.org/conference2017>. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, Ada-Europe'2017 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be *** 22nd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2017 *** June 12-16, 2017 *** Vienna, Austria *** http://www.ada-europe.org

1 0

PhD student position on agent-based modeling of drones in France
by Stéphane Galland 10 May '17

10 May '17

Dear all, You could find in attachment a PhD thesis position proposal on the subject: "Agent-based modeling of drones and their environment in smart cities". These PhD works will be co-supervised by Dr. Stéphane Galland and Pr. Christophe Nicolle. And they will take place in the LE2I Laboratory (Laboratoire d'Électronique, Informatique et Image), of the Burgundy Franche-Comté University (http://www.ubfc.fr) located inside the buildings of the Belfort-Montbéliard University of Technology (http://www.utbm.fr) at Belfort, France. The PhD student position is subject to be funding by the Regional Council of Burgundy Franche-Comté, under the umbrella of the SPIM Doctoral School. Due date for the application: May, 31th 2017. Date of the PhD work start at Belfort: October, 1st 2017 Keywords Control model of drones, agent-based simulation, semantic model of the environment. Expected Applicant Profile and Background Knowledge The candidate should have a strong knowledge in agent-based modeling or semantic modeling, in software engineering (simulation, performance evaluation) and in computer programming (SARL and Java programing languages). Contact In order to be included in the selection and interview process, please send before May 31th at Midnight the following documents in PDF format to : Stéphane Galland - stephane.galland(a)utbm.fr (http://www.multiagent.fr/People:Galland_stephane) and Christophe Nicolle - cnicolle(a)u-bourgogne.fr Documents to send: * your CV, * a letter which explain your motivations to be applied to the PhD student position, * recommendation letters, * official documents describing your scholar scores during the 3 past years (including the current one). You could find details on the PhD subject in the attached document. Yours sincerely, Stéphane Galland and Christophe Nicolle -- Dr.habil. Stéphane GALLAND Associate Professor Maître de conférences HDR Scientific co-Manager of LE2I Axis #3 "Smart Environments"/ French Head of ARFITEC "Energy, Transport, Industry, Challenges for tomorrow"/ Member of the Multiagent Group Laboratoire Électronique, Informatique, Image Université de Bourgogne Franche-Comté Postal Address: Université de Technologie de Belfort-Montbéliard, 13, rue Ernest Thierry-Mieg, 90010 Belfort Cedex, FRANCE Web: http://www.multiagent.fr/People:Galland_stephane Phone: +33 384 583 418 Cell: +33 662 274 442 Fax: +33 384 583 342 Skype: sgalland LinkedIn: sgalland ResearchGate: Stephane_Galland

1 0

Third IEEE International Workshop on Security in NFV-SDN (SN-2017)
by Shao Ying Zhu 09 May '17

09 May '17

Call for Papers The Third International Workshop on Security in NFV-SDN in conjunction with the 3rd IEEE NFV-SDN conference, 6-8 November, Berlin, Germany Workshop website: http://www.sn-2017.info/ Scope Network Function Virtualization (NFV) and Software Defined Network (SDN) have changed the networking industry dramatically. NFV virtualizes network services by utilizing virtualization technologies to reduce the dependency on underlying hardware. NFV provides many benefits such as faster service enablement, ease of resource management and lower OPEX and CAPEX. SDN separates the control functions from the underlying physical network by decoupling the control and data planes. SDN provides many benefits such as reduced costs, ease of deployment and management, better scalability, availability, flexibility and fine-grain control of traffic and security. Like traditional networks, they are subject to various security threats and attacks. In this workshop, we invite high-quality submissions in the areas of NFV and SDN security and other related areas. Submitted papers should highlight methods and approaches that can be used to analyse the security risks and requirements, threats and techniques related to NFV and SDN and to provide novel methods and approaches to assure security in NFV and SDN. Topics of interest Topics of interest include but are not limited to the following areas: · Security, reliability and privacy through SDN and NFV in 5G networks · Management and orchestration of NFV and SDN elements for security · Secure design of NFV and SDN solutions, security enablers · Security threats and vulnerabilities introduced by NFV and SDN technologies · Threat detection and mitigation through SDN and NFV · Security policy specification and management in SDN and NFV systems · Security related monitoring and analytics in SDN and NFV solutions · 5G security architecture, trust and confidence · Authentication, authorization and Accounting in SDN · Security of applying SDN to wireless and mobile network · Security of applying NFV and SDN to IoT · Security of applying NFV and SDN to cloud computing · Security of SDN API · Risk and compliance issues in SDN · Securing SDN infrastructure · Security architecture for SDN · Security standard of SDN · Security of SDN data plane · Security of SDN control plane · Security of SDN application plane · Security of Routing in SDN · Security of network slicing · Security as a service for SDN The workshop deadlines: · Paper Submission: June 30, 2017 · Notification of Acceptance: July 15, 2017 · Camera Ready Submission: September 15, 2017  Submission Paper submissions will be handled on-line through the EDAS system. All submitted papers will be peer-reviewed. The manuscripts must be prepared in English, following IEEE two-column Manuscript Templates for Conference Proceedings with a maximum length of six (6) printed pages (10-point font), including figures. You can find the IEEE Computer Society Proceedings Author Guidelines at http://www.computer.org/web/cs-cps/. To be published in the Workshop Proceedings and to be eligible for publication in IEEE Xplore, at least one author of an accepted paper is required to register and present the paper at the workshop. The IEEE reserves the right to exclude a paper from distribution after the conference (including its removal from IEEE Explore) if the paper is not presented at the conference. Papers are reviewed on the basis that they do not contain plagiarized material and have not been submitted to any other conference at the same time (double submission). These matters are taken very seriously and the IEEE Communications Society will take action against any author who engages in either practice. Workshop Chairs · Eleni Trouva, NCSR Demokritos, Greece · Shao Ying Zhu, University of Derby,UK · George Gardikis, Space Hellas, Greece · Collin Allison, University of St Andrews,UK · Linas Maknavicius, Nokia Bell Labs, France Technical Program Committee (TPC) · Harilaos Koumaras - NCSR Demokritos, Greece · Muhammad Shuaib Siddiqui - i2CAT, Spain · Ludovic Jacquin – Hewlett Packard Labs, UK · Nicolae Paladi, Swedish Institute of Computer Science, Sweden · Augusto Ciuffoletti – University of Pisa, Italy · Carolina Canales - Ericsson, Spain · Michail-Alexandros Kourtis - NCSR Demokritos, Greece · Marco Anisetti - University of Milan, ItalyMarco Anisetti - University of Milan, Italy · Sandra Scott-Hayward – Queen’s University Belfast, UK · Miguel Angel Garcia – Ericsson, Spain · Dr. Antonios Litke - Infili, Greece · Prof. Nikolaos Papadakis - Infili, Greece · Dimitris Katsianis, Incites, Luxemburg · Antonio Agustin Partor Perales – Telefonica I&D, Spain Contacts Eleni Trouva - trouva(a)iit.demokritos.gr<mailto:trouva@iit.demokritos.gr> Dr. Shao Ying Zhu - s.y.zhu(a)derby.ac.uk<mailto:s.y.zhu@derby.ac.uk> Dr. George Gardikis - ggar(a)space.gr<mailto:ggar@space.gr> Linas Maknavicius - linas.maknavicius(a)nokia-bell-labs.com<mailto:linas.maknavicius@nokia-bell-labs.com> Dr. Colin Allison - ca(a)st-andrews.ac.uk<mailto:ca@st-andrews.ac.uk> The University of Derby has a published policy regarding email and reserves the right to monitor email traffic. If you believe this was sent to you in error, please reply to the sender and let them know. Key University contacts: http://www.derby.ac.uk/its/contacts/

1 0

Call For Papers - IEEE SC2 2017 in Kanazawa, Japan, November 22-25, 2017
by Robert Hsu 09 May '17

09 May '17

The 7th IEEE International Symposium on Cloud and Service Computing（IEEE SC2 2017） http://grid.chu.edu.tw/sc2-2017 Kanazawa, Japan, November 22-25, 2017 --------------------------- CALL FOR PAPERS --------------------------- The “Cloud” is a natural evolution of distributed computing and the widespread adaption of virtualization and 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 2017 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 2017 will be held on Nov. 22-25, 2017 in Kanazawa, Japan. 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 (Elsevier) -Journal of Foundations of Computing and Decision Sciences -International Journal of Applied Mathematics and Computer Science -Future Generation Computer Systems (Elsevier) -International Journal of Grid and High Performance Computing (ESCI, EI, Scopus) -International Journal of Big Data Intelligence -Sustainability -Journal of Parallel and Distributed Computing -China Communication ---------------------------- IMPORTANT DATES ---------------------------- Tutorial / Workshop / Special Session Proposal Due: May 29, 2017 Paper Submission (Research Track): July 15, 2017 Paper Submission (Works-in-Progress/workshop): Aug 10, 2017 Author Notification (Research/workshop/WIP): Aug 30, 2017 Paper Submission (Demo /Poster /Special session): Stpt 5th, 2017 Author Notification (Research/workshop/WIP/Poster): Sept 20, 2017 Camera ready / registration deadline: October 1, 2017 --------------------------------------------- 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 Keqin Li, State University of New York at New Paltz, USA Ren-Hung Hwang, National Chung Cheng University, Taiwan Christophe Cerin, Université Paris 13, France General Executive Chairs Tokuro Matsuo, Advanced Institute of Industrial Technology, Japan Robert Hsu, Chung Hua University, Taiwan Program Chairs Amir H. Alavi, Michigan State University, USA Yue-Shan Chang, National Taipei University, Taiwan Workshop Chairs Chia-Hung Yeh, National Sun Yat-sen University, Taiwan Alex Kuo, University of Victoria, Canada Demo/Poster Chair Carson Leung, University of Manitoba, Canada Special Session Chair Kuan-Chou Lai, National Taichung University, Taiwan Award Chair Ce-Kuen Shieh, National Cheng Kung University, Taiwan International Liaison & Publicity Chair Yu Chen, Binghamton University, USA Bingsheng He, National University of Singapore, Singapore Jun Li, University of Sydney, Australia Bingwei Liu, Aetna Inc., USA Koji Nakano, Hiroshima University, Japan Yan Zhang, University of Oslo, Norway Li-Hsin Yen, National Chiao Tung Univ. Taiwan Rynson Lau, City Univ. of Hong Kong, Hong Kong Publication Chair Wen-Hwa Liao, Tatung University, Taiwan Saeid Abolfazli, YTL Communications and Xchanging, Malaysia Steering Committee Robert Hsu, Chung Hua University, Taiwan Rajkumar Buyya, University of Melbourne, Australia H.J. Siegel, Colorado State University, USA Chung-Ta King, National Tsing Hua University, Taiwan Hamid R. Arabnia, The University of Georgia, USA Lizhe Wang, Chinese Academy of Sciences, China Hung-Chang Hsiao, National Tsing Hua University, Taiwan Anna Kobusinska, Poznan University of Technology, Poland Hui Lei, IBM, USA Kwei-Jay Lin, University of California Irvine, USA Philip Yu, University of Illinois at Chicago, USA Please visit the IEEE SC2 2016 website http://grid.chu.edu.tw/sc2-2017/tpc.php for the complete listing of organizing committee and TPC members.

1 0

IEEE DataCom 2017 - Orlando, Florida, USA, November 6-10, 2017
by Robert Hsu 09 May '17

09 May '17

The 3rd IEEE International Conference on Big Data Intelligence and Computing（IEEE DataCom 2017） https://grid.chu.edu.tw/datacom2017/ Orlando, Florida, USA, November 6-10, 2017 --------------------------- CALL FOR PAPERS --------------------------- Big data is a rapidly expanding research area spanning the fields of computer science and information management, and has become a ubiquitous term in understanding and solving complex problems in different disciplinary fields such as engineering, applied mathematics, medicine, computational biology, healthcare, social networks, finance, business, government, education, transportation and telecommunications. The goal of the 3rd IEEE International Conference on Big Data Intelligence and Computing (IEEE DataCom 2017) is to establish an international forum for engineers and scientists to present their ideas and experiences in the fields of Big Data intelligence and computing. IEEE DataCom 2016 welcomes paper submissions on innovative work from researchers in academia, industry and government describing original research work in Big Data. Authors of selected papers will be invited to submit an extended version (with at least 30% new material) for review and publication in special issues of international journals. IEEE DataCom 2017 will be held on Nov. 6-10, 2017 in Orlando, Florida, USA. Topics of interest include, but are not limited to: - The 5Vs of the data landscape: volume, variety, velocity, veracity, value - Big data science and foundations, analytics, visualization and semantics - Software and tools for big data management. - Security, privacy and legal issues specific to big data - Big data economy, QoS and business models - Scientific discovery and business intelligence - Software, hardware and algorithm co-design, high-performance computing - Large-scale recommendation systems and graph analysis - Infrastructures and systems for big data analytics and managements - Middleware and tools for big data analytics and managements - Algorithmic, experimental, prototyping and implementation - Data quality issues: such as validation, metrics, optimizations and consistency - Data-driven innovation, computational modelling and data integration - Data intensive computing theorems and technologies - Big data for advanced manufacturing and productivity - Modeling, simulation and performance evaluation - Green data centers / environmental-friendly perspectives - Computing, scheduling and resource management for sustainability - Complex applications in areas where massive data is generated ---------------------------------------- PUBLICATION HIGHLIGHTS ---------------------------------------- IEEE CS proceedings, indexed by - IEEE Xplore - Scopus - EI Engineering Index - ACM Digital Library - dblp - Google Scholar Extended version of the selected papers will be invited for publication in prestigious international journals. - Future Generation Computer Systems - Journal of Parallel and Distributed Computing - International Journal of Big Data Intelligence - International Journal of Grid and High Performance Computing - Sustainable Computing: Informatics and Systems - Applied Computational Intelligence and Soft Computing - International Journal of Applied Mathematics and Computer Science - Journal of Supercomputing - Wireless Communication and Mobile Computing ---------------------------- IMPORTANT DATES ---------------------------- Workshop/Special Session notification: (ongoing as received) Paper Submission (Research Track): June 15, 2017 Paper Submission (Works-in-Progress/workshop): July 10, 2017 Author Notification (Research/workshop/WIP): July 30, 2017 Paper Submission (Demo /Poster /Special session): August 5th, 2017 Author Notification (Research/workshop/WIP/Poster): August 20, 2017 Camera ready / registration deadline: August 31, 2017 —----------------- 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 CS format and submitted via the IEEE DataCom 2017 web site, https://easychair.org/conferences/?conf=ieeedatacom2017 IEEE formatting information: 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. A proposal should include title, theme, scope and main presenters/organizers. - 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 DataCom. These systems may be innovative prototype implementations or mature systems that use related technology. Papers/proposals need to be submitted to the Demo/Poster Chair. - Workshop and Special Session papers need to be submitted to the corresponding workshops and special sessions. 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 (SCI/EI indexed). ------------------------------- Organizing Committees ------------------------------- General Chairs Sanjay Ranka, University of Florida, USA Hai Jin, HUST, China Manu Malek, Stevens Inst. of Tech., USA General Executive Chairs Jun Wang, University of Central Florida, USA Tao Li, NSF/UFL, USA Program Chairs Anna Kobusinska, Poznan University of Technology, Poland Xiaolin Li, University of Florida, USA Wenguang Chen, Tsinghua University, China Workshop Chairs I-Hsin Chung, IBM Thomas J. Watson Research Center, USA Wuu Yang, National Chiao Tung University, Taiwan Demo/Poster Chair Che-Rung Lee, Tsing Hua University, Taiwan Special Session Chair Hai Jiang, Arkansas State University, USA Award Chair Weisong Shi, Wayne State University, USA International Liaison & Publicity Chair Bingsheng He, Nanyang Technological University, Singapore Jun Huang, Chongqing University of Posts and Telecommunications, China Bahman Javadi, Western Sydney University, Australia William Liu, Auckland University of Technology, New Zealand Bhekisipho Twala, Univ. Johannesburg, South Africa Hao Wang, Aalesund University College, Norway Sheng-De Wang, National Taiwan University, Taiwan Publication Chair Hui-Huang Hsu, Tamkang University, Taiwan Advisory Committee Christophe Cérin, University of Paris XIII, France Yeh-Ching Chung, National Tsing Hua University, Taiwan Jie Li, University of Tsukuba, Japan Beniamino Di Martino, Second University of Naples, Italy Domenico Talia, Università della Calabria, Italy Vincent S. Tseng, National Chiao Tung Univ. Taiwan Cho-Li Wang, The Univ. of Hong Kong, Hong Kong Jinsong Wu, University de Chile, Chile Jinjun Chen, Swinburne University of Technology, Australia Steering Committee Robert Hsu, Chung Hua University, Taiwan Geoffrey Fox, Indiana University, USA Yuanyuan Yang, Stony Brook University, USA Please visit the IEEE DataCom 2017 website http://grid.chu.edu.tw/datacom2017/tpc.php for the complete listing of organizing committee and TPC members.

1 0

CFP - PhD Forum and Posters Track - ASONAM 2017
by Eric Pardede 08 May '17

08 May '17

--- APOLOGIZE FOR CROSS-POSTINGS --- Call for PhD Forum and Posters Track ----------------------------------------- After successful event as a part of ASONAM 2016, the PhD forum and posters track will again take place as part of 2017(ASONAM 201731 July - 03 August, 2017 Sydney, Australia) This forum will provide graduate students (e.g., PhD students, pre-doctoral students and Master leading to PhD students) and researchers with an opportunity to share, present, explore, develop their research ideas, and to receive feedback from the research community that will help them in further developing and progressing in their PhD studies. This will help students as prospective candidates to connect up with senior researchers participating in the conference. It will also stimulate collaborations between students with similar research interests. This forum is intended for students at any stage of their PhD work. All submissions will be thoroughly reviewed by experts in the field and will be selected based on their originality, timeliness, significance, relevance, and clarity of presentation. Further, authors should certify that their submissions contain substantially new and previously unpublished research. Students will be given an opportunity to present their proposals and get feedback and advice on how to improve their research plan. Submission ----------- We welcome submissions of research ideas that are mature enough to be presented and whose content can evolve to become the substantial part of a PhD dissertation. Reports on PhD dissertations and work in progress towards their dissertation should address research issues, challenges, and originality. Submissions should clearly describe the problem, explain its importance, detail why existing solutions are not sufficient, and give an outline of proposed solutions and preliminary experimental evaluation. Submissions should be written in English and pertaining to the topics mentioned in the Call for Paper page for the ASONAM 2017 conference. Two categories of submissions will be accepted: Full papers up to 8 pages Short communications up to 4 pages Extended abstracts for posters up to 2 pages For full papers, submissions should be based on more mature research proposals. For extended abstracts, submissions can be about preliminary research ideas or works in progress. All papers must be in IEEE two-columns format. Submissions should include the title, student author highlighted, affiliation, e-mail address, postal address and abstract on the first page. Authors should mention supervisor(s) name (if not listed as coauthor(s)) and affiliation as well as any funding source(s) in acknowledgements section. Papers should be submitted online using the PhD forum's Online Submission System (URL to be announced). Paper submission implies the main author of the paper is a graduate students and one of the authors must pay full registration fee and attend the PhD forum to present the paper. The PhD forum participants will also enjoy free access to the full program of ASONAM 2017 and all the accompanying symposia, tutorials and workshops. The submission link: https://easychair.org/conferences/?conf=asonampfp2017 Publication ----------- Accepted and presented papers will be included in the Conference Proceedings and forwarded for inclusion in IEEE Computer Society Digital Library (CSDL), IEEE Xplore and the ACM Digital Library. The conference proceedings will be submitted for EI indexing through INSPEC by IEEE. The proceedings will be also covered by several other indexes, including DBLP, SCOPUS, etc. A selection of accepted papers will also be invited to submit an extended version of their work to an edited book, that will be published by Springer in the LNSN format. Contact -------- For general inquiries about the PhD forum and posters track, please contact the PhD forum and posters organizers. Key Dates ---------- Paper submission deadline May 20, 2017 11:59 PM American Samoa Zone (UTC-11) Acceptance Notification June 20, 2017 Camera-ready paper due June 30, 2017 11:59 PM American Samoa Zone (UTC-11) Conference events July 31, 2017 --------------------------------------------------------------------------------------------------------

1 0

First CFP - Fifth Special Session on High Performance Computing in Modelling and Simulation
by William Spataro 08 May '17

08 May '17

(sorry for cross postings) ************************************************************************** CALL FOR PAPERS: Fifth Special Session on High Performance Computing in Modelling and Simulation (HPCMS) Within PDP 2018 The 26th Euromicro International Conference on Parallel, and Network-Based Computing Cambridge, UK 21-23 March 2018 http://www.pdp2018.org Deadline: September 15th, 2017 Contact: William Spataro - spataro(a)unical.it ************************************************************************* AIMS AND SCOPE The development of models through which computers can simulate the evolution of artificial and natural systems is fundamental for the advancement of Science. In the last decades, the increasing power of computers has allowed to considerably extend the application of computing methodologies in research and industry, but also to the quantitative study of complex phenomena. This has permitted a broad application of numerical methods for differential equation systems (e.g., FEM, FDM, etc.) on one hand, and the application of alternative computational paradigms, such as Cellular Automata, Genetic Algorithms, Neural networks, Swarm Intelligence, etc., on the other. These latter have demonstrated their effectiveness for modelling purposes when traditional simulation methodologies have proven to be impracticable. Following the success of our past HPCMS workshops which were held in Turin, Turku and Crete, we are glad to invite you to our fourth edition which will take place in St. Petersburg (Russia). An important mission of the HPCMS Workshop is to provide a platform for a multidisciplinary community composed of scholars, researchers, developers, educators, practitioners and experts from world leading Universities, Institutions, Agencies and Companies in Computational Science, and thus in the High Performance Computing for Modelling and Simulation field. HPCMS intent is to offer an opportunity to express and confront views on trends, challenges, and state-of-the art in diverse application fields, such as engineering, physics, chemistry, biology, geology, medicine, ecology, sociology, traffic control, economy, etc. Topics of interest include, but are not limited to, the following: - High-performance computing in computational science: intra-disciplinary and multi-disciplinary research applications - Complex systems modelling and simulation - Cellular Automata, Genetic Algorithms, Neural networks, Swarm Intelligence implementations - Integrated approach to optimization and simulation - MPI, OpenMP, GPGPU applications in Computational Science - Optimization algorithms, modelling techniques related to optimization in Computational Science - High-performance Software developed to solve science (e.g., biological, physical, and social), engineering, medicine, and humanities problems - Hardware approaches of high performance computing in modeling and simulation IMPORTANT DATES Paper submission: 15th Sep 2017 Acceptance notification: 13th Oct 2017 Camera ready due: 17nd Nov 2017 Conference: 21th - 23th Mar 2018 Submission guidelines Prospective authors should submit a full paper not exceeding 8 pages in the IEEE Conference proceedings format (IEEEtran, double-column, 10pt). Double-bind review: the first page of the paper should contain only the title and abstract; in the reference list, references to the authors’ own work should appear as "omitted for blind review" entries. For submission, please use the follwoing link: http://www.easychair.org/conferences/?conf=pdp2018 Manuscript submission Publication All accepted papers will be included in the same volume, published by the Conference Publishing Services (CPS). The Final Paper Preparation and Submission Instructions will be published after the notification of acceptance. Authors of accepted papers are expected to register and present their papers at the Conference. Conference proceedings will be submitted for inclusion in Xplore and the CSDL, and for indexing, among others, to DBLP, Scopus ScienceDirect, and ISI Web of Knowledge. Special Issue As for previous editions, organizers of the HPCMS session are planning a Special Issue of an important international ISI Journal, based on distinguished papers that will be accepted for the session. For instance, a selected number of papers of the past workshop editions have been published on the ISI Journal “International Journal of High Performance Computing Applications” and “Concurrency and Computation: Practice and Experience”. Organizers William Spataro – University of Calabria, Italy Georgios Sirakoulis - Democritus University of Thrace, Greece Giuseppe A. Trunfio – University of Sassari, Italy Program Committee Gihan R. Mudalige, University of Warwick, UK Angelos Amanatiadis, Democritus University of Thrace, Greece Donato D’Ambrosio, University of Calabria, Italy Pawel Topa, AGH University of Science and Technology, Poland Gianluigi Folino, ICAR-CNR, Italy Lou D’Alotto, York College/CUNY, New York, USA Antonios Gasteratos, Democritus University of Thrace, Greece Ioakeim Georgoudas, Democritus University of Thrace, Greece Marco Beccutti, University of Torino, Italy Rolf Hoffmann, Darmstadt University, Germany Ioannis Karafyllidis, Democritus University of Thrace, Greece Yaroslav Sergeyev, University of Calabria, Italy Antisthenis Tsompanas, University of the West of England, UK Rocco Rongo, University of Calabria, Italy Georgios Sirakoulis, Democritus University of Thrace, Greece William Spataro, University of Calabria, Italy Giuseppe A. Trunfio, University of Sassari, Italy Marco Villani, University of Modena and Reggio Emilia, Italy Jaroslaw Was, AGH University of Science and Technology, Poland Davide Spataro, University of Calabria, Italy Massimo Cafaro, University of Salento, Italy Mario Cannataro, University Magna Graecia of Catanzaro, Italy

1 0

Abstract submission deadline TODAY: SASO 2017 - IEEE International Conference on Self-Adaptive and Self-Organizing Systems, September 18-22, Tucson, Arizona
by Markus Esch 08 May '17

08 May '17

************************************************************************* SASO 2017: Abstract submission deadline TODAY ************************************************************************* CALL FOR PAPERS The Eleventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2017) University of Arizona, Tucson, AZ; 18-22 September 2017 https://saso2017.telecom-paristech.fr/ ************************************************************************* Part of FAS* - Foundation and Applications of Self-* Computing Conferences Collocated with: The International Conference on Cloud and Autonomic Computing (ICCAC 2017) ------------------- Aims and Scope ------------------- The aim of the Self-Adaptive and Self-Organizing Systems conference series (SASO) is to provide a forum for the presentation and discussion of research on the foundations of engineered systems that self-adapt and self-organize. The complexity of current and emerging networks, software, and services can be characterized by issues such as scale, heterogeneity, openness, and dynamics in the environment. This has led the software engineering, distributed systems, and management communities to look for inspiration in diverse fields (e.g., complex systems, control theory, artificial intelligence, chemistry, psychology, sociology, and biology) to find new ways of designing and managing such computing systems in a principled way. In this endeavor, self-organization and self-adaptation have emerged as two promising interrelated approaches. They form the basis for many other so-called self-* properties, such as self-configuration, self-healing, or self-optimization. SASO aims to be an interdisciplinary meeting, where contributions from participants with different backgrounds leads to the fostering of a cross-pollination of ideas, and where innovative theories, frameworks, methodologies, tools, and applications can emerge. The eleventh edition of the SASO conference embraces this inter-disciplinary nature, and welcomes novel contributions to both the foundational and application-focused dimensions of self-adaptive and self-organizing systems research. The topics of interest include, but are not limited to: - Systems theory: nature-inspired and socially-inspired paradigms and heuristics; inter-operation of self-* mechanisms; theoretical frameworks and models; control theory; - System properties: robustness; resilience; stability; anti-fragility; diversity; self-reference and reflection; emergent behavior; computational awareness and self-awareness; - Systems engineering: reusable mechanisms and algorithms; design patterns; architectures; methodologies; software and middleware development frameworks and methods; platforms and toolkits; multi-agent systems; - Theory and practice of organization: self-governance, change management, electronic institutions, distributed consensus, commons, knowledge management, and the general use of rules, policies, etc. in self-* systems - Theory and practice of adaptation: mechanisms for adaptation, including evolution, logic, learning; adaptability, plasticity, flexibility - Socio-technical systems: human and social factors; visualization; crowdsourcing and collective awareness; humans-in-the-loop; ethics and humanities in self-* systems; - Data-driven approaches: data mining; machine learning; data science and other statistical techniques to analyze, understand, and manage behavior of complex systems; - Self-adaptive and self-organizing hardware: self-* materials; self-construction; reconfigurable hardware; - Education: experience reports; curricula; innovative course concepts; methodological aspects of self-* systems education; Applications and experiences with self-* systems in any of the following domains are of particular interest: + Smart systems: smart grids, smart cities, smart environments, smart homes, etc. + Industrial automation: embedded self-* systems, adaptive industrial plants, Industry 4.0, cyber physical systems + Transportation: autonomous vehicles, traffic optimization + Autonomous systems: aerial vehicles, undersea vehicles, autonomous robotics + Internet of Things: self-* for network management, self-* applied to cyber security We are looking for contributions that present new fundamental understanding of self-adaptive and self-organizing systems and how they can be engineered and used, including: novel theoretical or experimental results, novel design patterns, mechanisms, system architectures, frameworks, tools, and practical experiences in building or deploying systems and applications. Contributions contrasting different approaches for engineering a given family of systems, or demonstrating the applicability of a certain approach for different systems, are equally encouraged. Likewise, papers describing substantial innovation or insights in the use and communication of self-* systems in the classroom are welcome. Where relevant and appropriate, accepted papers will also be encouraged to participate in the Demo or Poster Sessions. -------------------- Important Dates -------------------- Abstract submission: May 8, 2017 Paper submission: May 24, 2017 Notification: June 30, 2017 Camera ready copy due: July 12, 2017 Conference: September 18-22, 2017 ---------------------------- Submission Instructions ---------------------------- Submissions can be up to 10 pages, formatted according to the standard IEEE Computer Society Press proceedings style guide, and submitted electronically in PDF format. Please submit your papers using the SASO 2017 conference management system https://easychair.org/conferences/?conf=saso2017. The proceedings will be published by the IEEE Computer Society Press, and made available as a part of the IEEE Digital Library. Note that a separate Call for Poster and Demo Submissions will also be issued. As per the standard IEEE policies, all submissions should be original, i.e., they must not have been previously published in any conference proceedings, book, or journal and must not currently be under review for another archival conference. We also highlight the IEEE policies regarding plagiarism and self-plagiarism (http://www.ieee.org/publications_standards/publications/rights/ID_Plagiaris…) --------------------- Review Criteria --------------------- Papers should present novel ideas in the cross-disciplinary research context described in this call, motivated by problems from current practice or applied research. Both theoretical and empirical contributions should be highlighted, substantiated by formal analysis, simulation, experimental evaluations, or comparative studies, etc. Appropriate references must be made to related work. Because SASO is a cross-disciplinary conference, we encourage papers to be intelligible and relevant to researchers who are not members of the same specialized sub-field. Authors are also encouraged to submit papers describing applications. Application papers should provide an indication of the real-world relevance of the problem that is solved, including a description of the domain, and an evaluation of performance, usability, or comparison to alternative approaches. Experience papers are also welcome, especially if they highlight insights into any aspect of design, implementation or management of self-* systems that would be of benefit to practitioners and the SASO community. All submissions will be rigorously peer reviewed and evaluated based on the quality of their technical contribution, originality, soundness, significance, presentation, understanding of the state of the art, and overall quality. ------------------------------- Conference General Chair ------------------------------- Ada Diaconescu Telecom Paris-Tech, Paris, FR -------------------- Program Chairs -------------------- Peter Lewis, Aston University, Birmingham, UK Sam Malek, University of California, Irvine, USA Hella Seebach, Augsburg University, Augsburg, DE

1 0

CFP: The 3rd IEEE International Conference on Data Science and Systems (DSS 2017)
by UK Conference CFP 08 May '17

08 May '17

[Please accept our apologies if you receive multiple copies of this CFP] <> ******************************** IEEE DSS-2017 CFP ******************************* The 3rd IEEE International Conference on Data Science and Systems (DSS 2017) Bangkok, Thailand December 18 - 20, 2017 http://hpcl.seas.gwu.edu/dss2017/ <http://hpcl.seas.gwu.edu/dss2017/> INTRODUCTION ============= In parallel with Petrol as a driving resource in this world, Data is becoming an increasingly decisive resource in modern societies, economies, and governmental organizations. Gradually and steadily, it is being world-wide recognized that data and talents are playing key roles in modern businesses. As an interdisciplinary area, Data Science draws scientific inquiry from a broad range of subject areas such as statistics, mathematics, computer science, machine learning, optimization, signal processing, information retrieval, databases, cloud computing, computer vision, natural language processing and etc. Data Science is on the essence of deriving valuable insights from data. It is emerging to meet the challenges of processing very large datasets, i.e. Big Data, with the explosion of new data continuously generated from various channels such as smart devices, web, mobile and social media. Data Systems are posing many challenges in exploiting parallelism of current and upcoming computer architectures. Data volumes of applications in the fields of sciences and engineering, finance, media, online information resources, etc. are expected to double every two years over the next decade and further. With this continuing data explosion, it is necessary to store and process data efficiently by utilizing enormous computing power. The importance of data intensive systems has been raising and will continue to be the foremost fields of research. This raise brings up many research issues, in forms of capturing and accessing data effectively and fast, processing it while still achieving high performance and high throughput, and storing it efficiently for future use. Innovative programming models, high performance scalable computing platforms, efficient storage systems and expression of data requirements are at immediate need. DSS (Data Science and Systems) was created to provide a prime international forum for researchers, industry practitioners and domain experts to exchange the latest advances in Data Science and Data Systems as well as their synergy. 2017 is the 3rd event following the success in 2015 (DSDIS 2015) and 2016 (DSS 2016). SCOPE AND TOPICS ================ A. Data Science • Foundational theories and models of data science • Foundational algorithms and methods for big data • Data classification and taxonomy • Data metrics and metrology • Machine learning and deep learning • Data analytics • Data provenance • Fault tolerance, reliability, and availability • Security, privacy and trust in Data B. Data Processing Technology • Data sensing, fusion and mining • Data representation, dimensionality reduction, processing and proactive service layers • Data capturing, management, and scheduling techniques • Stream data processing and integration • Knowledge discovery from multiple information sources • Statistical, mathematical and probabilistic modeling and theories • Information visualization and visual data analytics • Information retrieval and personalized recommendation • Parallel and distributed data storage and processing infrastructure • MapReduce, Hadoop, Spark, scalable computing and storage platforms • Security, privacy and data integrity in data sharing, publishing and analysis • Replication, archiving, preservation strategies • Stream data computing • Meta-data management • Remote data access C. Data Systems • Storage and file systems • High performance data access toolkits • Programming models, abstractions for data intensive computing • Compiler and runtime support • Future research challenges of data intensive systems • Real-time data intensive systems • Network support for data intensive systems • Challenges and solutions in the era of multi/many-core platforms • Green (power efficient) data intensive systems • Data intensive computing on accelerators and GPUs • Productivity tools, performance measuring and benchmark for data intensive systems • Big Data, cloud computing and data intensive systems D. Data Applications • HPC system architecture, programming models and run-time systems for data intensive applications • Innovative applications in business, finance, industry and government cases • Data-intensive applications and their challenges • Innovative data intensive applications such as health, energy, cybersecurity, transport, food, soil and water, resources, advanced manufacturing, environmental Change, and etc. IMPORTANT DATES ================ · Paper Submission Deadline: June 15, 2017 · Authors Notification: August 15, 2017 · Camera-Ready Paper Due: September 15, 2017 · Early Registration Due: September 15, 2017 · Conference Date: December 18 - 20, 2017 PAPER SUBMISSION GUIDELINE ========================== 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. 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 after the conference. Distinguished papers presented at the conference, after further revision, will be published in special issues of Journal of Network and Computer Applications, Future Generation Computer Systems, Journal of Computer and System Sciences and IEEE Transactions on Emerging Topics in Computing.

1 0

CFP: RePara 2017 Workshop. Reengineering for Parallelism.
by JOSE DANIEL GARCIA SANCHEZ 08 May '17

08 May '17

[Apologies if you got multiple copies of this email] ________________________________________________________________________ *The 3rd International Workshop on Reengineering for Parallelism in Heterogeneous Parallel Platforms (REPARA 2017)* https://www.arcos.inf.uc3m.es/repara2017/ Held in conjunction with the International Conference of Parallel Computing (ParCo 2017) http://www.hpc.cineca.it/content/parco-2017 Bologna, Italy September, 12-15, 2017 ATTENTION: New Dates =================================== Submission deadline: June, 30, 2017 Notifications: July, 28, 2017 Abstract =================================== In recent years, traditional processors have not been able to directly translate chip fabrication technology advances intro performance gains. To keep satisfying the demand for computing power, there is a shift from homogeneous machines to heterogeneous architectures combining different kinds of processors (CPUs, GPUs, DSPs, FPGAs, and other accelerators). While this approach has allowed significant performance and energy efficiency benefits, heterogeneous systems are often highly difficult to program with existing tools. To reduce the cost of system development, reengineering techniques emerge as a solution which may help to balance ease-of-development with better performance, better reliability, and lower maintenance costs. The RePara2017 workshop it aims to join experts from related disciplines to share recent advances in different areas contributing to better transformation of new and legacy applications to different programming models for diverse computing devices in the context of parallel heterogeneous architectures. Scope and Interest =================================== Topics of interest include, but are not limited to: + High-level parallel programming models, libraries and languages for Heterogeneous Parallel Platforms. + Compiler support for Heterogeneous Parallel Systems. + Description languages for Heterogeneous Parallel Platforms. + Parallel patterns for Heterogeneous Platforms. + Autonomic management of Power/Performance trade-offs. + Automated kernel identification and assessment. + Software refactoring approaches for parallel programming models. + Transformations from source code to reconfigurable hardware. + Integration of FPGA accelerators into refactored software. + Runtimes for software coordination and task mapping in Heterogeneous Parallel Platforms. + Scheduling for Heterogeneous Parallel Platforms. + Performance modeling and prediction in Heterogeneous Parallel Platforms. + Energy efficiency monitoring and prediction in Heterogeneous Parallel Platforms. + Software quality assessment in parallel programming models with special attention to maintainability. + Applying partitioning and mapping for parallel Heterogeneous computing architectures. + Application experiences of refactoring to software in industrial domains. Workshop publication =================================== Accepted paper will be published in the proceedings of the ParCo 2017 Conference. Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference. Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference, otherwise their papers will be removed from the proceedings book prior to its publication. Journal Publication =================================== Extended version of selected papers from the workshop will be invited by the RePara2017 program committee for publication, after further revision, in an special issue of an International Journal (to be announced). Submission Instructions =================================== Papers submitted to the workshop should be written in English conforming to the IOS Press Book format (see templates at IOS Press site at http://www.iospress.nl/service/authors/latex-and-word- tools-for-book-authors/). The paper should be submitted through the workshop submission system at EasyChair (https://easychair.org/confere nces/?conf=repara2017). The length of the papers should not exceed 10 pages. Contact =================================== Please email inquiries concerning the workshop to J. Daniel Garcia ( josedaniel.garcia(a)uc3m.es) -- Prof. J. Daniel Garcia Associate Professor - Profesor Titular de Universidad Computer Architecture Group University Carlos III of Madrid Avenida de la Universidad, 30 28911 Leganés, Madrid. Spain Tel: +34 91 624 6044 Fax: +34 91 624 9129 e-mail: josedaniel.garcia(a)uc3m.es Web: http://www.arcos.inf.uc3m.es/~jdaniel Linked-In: http://es.linkedin.com/in/jdanielgarcia Twitter: http://www.twitter.com/jdgarciauc3m -- Prof. J. Daniel Garcia Associate Professor - Profesor Titular de Universidad Computer Architecture Group University Carlos III of Madrid Avenida de la Universidad, 30 28911 Leganés, Madrid. Spain Tel: +34 91 624 6044 Fax: +34 91 624 9129 e-mail: josedaniel.garcia(a)uc3m.es Web: http://www.arcos.inf.uc3m.es/~jdaniel Linked-In: http://es.linkedin.com/in/jdanielgarcia Twitter: http://www.twitter.com/jdgarciauc3m -- Prof. J. Daniel Garcia Associate Professor - Profesor Titular de Universidad Computer Architecture Group University Carlos III of Madrid Avenida de la Universidad, 30 28911 Leganés, Madrid. Spain Tel: +34 91 624 6044 Fax: +34 91 624 9129 e-mail: josedaniel.garcia(a)uc3m.es Web: http://www.arcos.inf.uc3m.es/~jdaniel Linked-In: http://es.linkedin.com/in/jdanielgarcia Twitter: http://www.twitter.com/jdgarciauc3m

1 0

IEEE BIBM 2017 Call for Workshop Proposals
by CFP Conference 07 May '17

07 May '17

*Call for Workshop Proposals* 2017 IEEE International Conference on Bioinformatics and Biomedicine http://muii.missouri.edu/bibm2017/ Nov 13-16, 2017, Kansas City, MO, USA ================================================================= The Program Committees of the 2017 IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM 2017) invite proposals for Workshops. Selected workshops will hold a central position within the larger Conference, which will bring together top academic and industrial researchers from all over the world to exchange cutting edge research ideas in bioinformatics and biomedicine. Within these fields, workshops at BIBM form crucial focal points for emerging communities and forums for the examination of new ideas. Workshop organizers will be responsible for advertising the workshop, forming the program committees, reviewing and selecting the papers, and guaranteeing a high quality worthy of the prestige and breadth of the Conference. All papers accepted for workshops will be included in the Workshop Proceedings published by the IEEE Computer Society Press, made available at the Conference. The workshop organizers will also have the discretion of editing selected papers (after their expansion and revision) into books or special journal issues. Workshops should cover at least a single session (6 regular papers). The workshop organizers should ensure registration and presence of authors of accepted papers. *Workshop Topics* Each workshop subject will focus on new research challenges and initiatives in Bioinformatics, Biomedicine and Healthcare Informatics. The workshops should provide an informal and vibrant forum for researchers and industry practitioners to share their research results and practical development experiences in these three fields. Workshop topics may be narrow, e.g., “reverse-engineering” of gene regulatory networks from experimental data, computational approaches to drug discovery, mathematical modeling of signaling pathways, analysis of the next-generation sequencing data, oscillations and synchronization of biological rhythms, wireless sensor networks, patient health records, medical signal processing; or broad, e.g., computational proteomics, *in-silico* diagnosis and prognosis, data mining and machine learning algorithms for biomedical applications, application of network research to biology, emerging technology in healthcare, aging research etc. Prospective workshop organizers are encouraged to contact workshop chairs for feedback. *Important Dates* *May *10, 2017: Workshop proposal submission due: a proposed workshop announcement is sent by e-mail to any of the Workshop Chairs May 20, 2017: Notification to workshop proposers June 25, 2017: Each workshop organizer sends out Call for Workshops Papers *Guidelines for Workshop Proposals* Proposals for 2017 IEEE BIBM Workshops should contain the following components. 1. Workshop Title (e.g., mathematical modeling of signaling pathways) 2. Introduction to workshop (a few sentences about the background, importance, purpose, interests, etc. of workshop) 3. Research topics included in the workshop (list a number of interesting topics or areas covered by workshop) 4. Important dates (Please do not change the final camera-ready submission date, feel free to adjust other dates) *Sept 20, 2017:* Due date for full workshop papers submission *Oct 10, 2017:* Notification of paper acceptance to authors * Oct 25, 2017:* Camera-ready of accepted papers * Nov 13-16, 2017:* Workshops 5. Program Chairs or co-chairs: (1-3 experts in the research areas of workshop) 6. Program Committee Members: (at least 5 experts in the research areas) 7. Invited keynote speakers (optional) *Workshop Proposal Submission:* Pls submit your workshop proposal at: *https://wi-lab.com/cyberchair/2017/bibm17/scripts/submit.php?subarea=ProW <https://wi-lab.com/cyberchair/2017/bibm17/scripts/submit.php?subarea=ProW> * *Workshop Chairs:* Prof. Illhoi Yoo, University of Missouri, USA Email: yooil(a)health.missouri.edu Prof. Jane Huiru Zheng, Ulster University, UK Email: h.zheng(a)ulster.ac.uk ######################################################################## To unsubscribe from the DMB-LIST list, click the following link: http://lists.drexel.edu/cgi-bin/wa?TICKET=NzM2NDg2IGNvbXB1dGF0aW9uYWwuc2NpZ…

1 0

AlCoB 2017: call for participation
by GRLMC 07 May '17

07 May '17

AlCoB 2017: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 4th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2017 Aveiro, Portugal June 5-6, 2017 Organized by: Center for Research & Development in Mathematics and Applications (CIDMA) Institute of Electronics and Informatics Engineering of Aveiro (IEETA) University of Aveiro Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/AlCoB2017/ ********************************************************************************** PROGRAM Monday, June 5 09:00 - 09:30 Registration 09:30 - 09:40 Opening 09:40 - 10:30 Michael Biehl: Biomedical Applications of Prototype Based Classifiers and Relevance Learning - Invited lecture 10:30 - 11:00 Coffee break 11:00 - 11:50 Stefano Beretta, Paola Bonizzoni, Luca Denti, Marco Previtali and Raffaella Rizzi: Mapping RNA-seq Data to a Transcript Graph via Approximate Pattern Matching to a Hypertext Alessio Conte, Roberto Grossi, Andrea Marino, Lorenzo Tattini and Luca Versari: A Fast Algorithm for Large Common Connected Induced Subgraphs 11:50 - 12:05 Break 12:05 - 12:55 Javlon E. Isomurodov, Alexander A. Loboda and Alexey A. Sergushichev: Ranking Vertices for Active Module Recovery Problem John L. Pfaltz: Computational Processes that Appear to Model Human Memory 12:55 - 14:25 Lunch 14:25 - 15:15 Philip J. Gerrish and Nick Hengartner: Inferring the Distribution of Fitness Effects (DFE) of Newly-arising Mutations Using Samples Taken from Evolving Populations in Real Time Jesper Jansson, Ramesh Rajaby and Wing-Kin Sung: An Efficient Algorithm for the Rooted Triplet Distance between Galled Trees 15:15 - 15:30 Break and Group photo 15:30 - 16:20 Benedict Paten: Describing the Local Structure of Sequence Graphs - Invited lecture 16:20 - 16:35 Break 16:35 - 18:05 Poster presentations Martin Ayling and Richard Leggett. MetaCortex: Assembling Variation in Metagenomics Gregory Farrant, Hoebeke Mark, Frédéric Partensky, Gwendoline Andrès, Erwan Corre and Laurence Garczarek. WiseScaffolder: An Algorithm for the Semi-automatic Scaffolding of Next Generation Sequencing Data Daniel Figueiredo and Eugénio Rocha. sDL: A Prover for Hybrid Systems César González, Mariano Pérez-Martínez, Juan M. Orduña, Javier Chaves-Martinez and Ana Barbara Garcia-Garcia. On the Use of Bit Arrays in the Detection of DNA Regions with Methylated Cytosines Morteza Hosseini, Diogo Pratas and Armando J. Pinho. Quantifying Inverted Repeats in DNA Sequences Haneen Najjar, Nagam Khoury and Alexander Bolshoy. Quasi-omnipresent N-grams in M Prokaryotic Genomes John Santerre, James Davis, Fangfang Xia and Rick Stevens. Machine Learning for the Phenotype to Genotype Problem Antonio J. Tallón-Ballesteros and María Rodríguez-Romero. Multilayer Perceptron Based on Hyperbolic Tangent Hidden Nodes. An Experimental Study Antonio J. Tallón-Ballesteros, Luis Rus-Pegalajar, María Rodríguez-Romero and Jonathan E. Benavides-Vallejo. Ranking-based Feature Selection in Microarray Problems 18:15 - 19:15 Touristic visit --- Tuesday, June 6 09:00 - 09:50 Marie-France Sagot: Algorithmically Exploring and Exploiting Interspecific Interactions - Invited lecture 09:50 - 10:20 Coffee break 10:20 - 11:10 Alex Ozdemir, Michael Sheely, Daniel Bork, Ricson Cheng, Reyna Hulett, Jean Sung, Jincheng Wang and Ran Libeskind-Hadas: Clustering the Space of Maximum Parsimony Reconciliations in the Duplication-Transfer-Loss Model T.M. Rezwanul Islam and Ian McQuillan: CSA-X: Modularized Constrained Multiple Sequence Alignment 11:10 - 11:25 Break 11:25 - 12:15 Ozan Kahramanogullari: Quantifying Information Flow in Chemical Reaction Networks Gabriel H.G. Silva, Edans F.O. Sandes, George Teodoro and Alba C.M A. Melo: Parallel Biological Sequence Comparison in Linear Space with Multiple Adjustable Bands 12:15 - 12:25 Closing 12:25 - Lunch

1 0

Call for Papers: 8th International Green and Sustainable Computing Conference (IGSC’17)
by Ishan Thakkar 06 May '17

06 May '17

CALL FOR PAPERS: THE Eighth International Green and Sustainable Computing Conference (IGSC’17) ================================================================================================ www.green-conf.org October 23-25 2017, Orlando, Florida IGSC’17 will provide a forum for presenting and discussing innovative research on a broad range of topics in the fields of sustainable and energy-efficient computing and computing for a more sustainable planet. The conference will consist of technical papers, panels, workshops, PhD Forum, and tutorials on these topics. IGSC’17 will be technically co-sponsored by the IEEE. Topics of interest include, but are not limited to: Green Computing ----------------- - Power- and thermal-aware algorithms, software and hardware - Low-power electronics and systems - Power-efficient multi/many-core chip design - Application-specific ASICs and FPGAs - Sensing and monitoring - Power and thermal behavior and control - Data centers optimization - Smart grid and microgrids - Power-efficient delivery and cooling - Reliability, life-cycle analysis of IT equipment Computing for Sustainability ----------------------------- - Renewable energy models and prediction - Matching energy supply and demand - Smart transportation and electric vehicles - Smart buildings and urban computing - Energy harvesting, storage, and recycling - Climate and ecosystem monitoring - IT solutions for water quality, air pollution, and sustainable agriculture - Computational models for epidemics, infectious diseases, and human well-being - Computational methods for sustainable economy and society Paper submission guidelines ---------------------------------- IGSC’17 welcomes submissions that have not been published and that are not under review by other conferences or journals. All submissions will be evaluated on their originality, technical soundness, significance, presentation, and interest to the conference attendees. Please refer to the IGSC website (www.green-conf.org) for specific instructions related to paper submission. Best paper award and journal publication ------------------------------------------ The Technical Committee will select the best contributions to be extended and considered by the Elsevier Journal on Sustainable Computing. Workshops and special sessions --------------------------------- Proposals are solicited for workshops and special sessions to be held in conjunction with the conference. Proposals should be submitted to the Workshops and Special Sessions Chair (iahmad(a)cse.uta.edu) Ph.D. forum ------------ Submissions are solicited for a Ph.D. forum, from doctoral students engaged in research on sustainable and energy-efficient computing. Please refer to the IGSC website for specific instructions for extended abstract submission. Important dates ----------------- Deadline for submitting Workshop and Special Session proposals: May 15, 2017 Deadline for submitting Ph.D. forum extended abstracts: June 16, 2017 Paper submission: June 16, 2017 Notifications sent to authors: July 17, 2017 Camera-ready papers due: Aug 5, 2017 Organization -------------- Steering Committee Chairs: Ishfaq Ahmad (University of Texas, Arlington, USA), iahmad(a)cse.uta.edu Behrooz Shirazi (Washington State University, USA), shirazi(a)wsu.edu General Chair: Weisong Shi (Wayne State University, USA), weisong(a)wayne.edu Tech. Program Chair: Sudeep Pasricha (Colorado State University, USA), sudeep(a)colostate.edu Workshop Chair: Ishfaq Ahmad (University of Texas, Arlington, USA), iahmad(a)cse.uta.edu PhD Forum Chair: Mahdi Nikdast (Polytechnique Montréal, Canada), mahdi.nikdast(a)polymtl.ca Publicity Chair: Ishan Thakkar (Colorado State University, USA), ishan9it(a)rams.colostate.edu

1 0

MOD2017: Paper submission deadline: May 15, 2017
by Giuseppe Nicosia 06 May '17

06 May '17

*Our apologies if you receive multiple copies of this announcement.* MOD 2017: The 3rd International Conference on Machine learning, Optimization & big Data An Interdisciplinary Conference: Machine Learning, Optimization and Data Science without Borders ======================================================= September 14 - 17, 2017, Volterra (Pisa) Tuscany, Italy http://www.taosciences.it/mod/ Important dates =============== * Full Paper Submissions: May 15, 2017 * Full Paper Notifications: June 30, 2017 * Conference: September 14 - 17, 2017 Best Paper Awards =============== Springer sponsors the MOD 2017 Best Paper Award with a cash prize of EUR 1,000. The Award will be conferred at the conference on the authors of the best paper award. Keynote Speakers =============== + Yi-Ke Guo, Department of Computing, Faculty of Engineering, Imperial College London, UK Founding Director of Data Science Institute. + Ruslan Salakhutdinov, Machine Learning Department, School of Computer Science at Carnegie Mellon University, USA. Director of AI Research at Apple. + Jun Pei, Hefei University of Technology, China + Georgios Giannakis, Department of Electrical and Computer Engineering, University of Minnesota, Director of Digital Technology Center, USA (TBC) Special Sessions =============== + "Metaheuristics and Multi-Objective optimization for Big Data" Clarisse Dhaenens, University of Lille, France Laetitia Jourdan, University of Lille, France https://sites.google.com/view/mmo-bd2017/ + “Industrial Session on Machine Learning, Optimization and Data Science for Real-World Applications” Ilaria Bordino, Marco Firrincieli, Fabio Fumarola, and Francesco Gullo, UniCredit R&D, Italy Tutorial =============== + “Tutorial on Scalable Data Mining on Cloud Computing Systems” Domenico Talia, University of Calabria, Italy The International Conference on Machine learning, Optimization, and big Data (MOD) has established itself as a premier interdisciplinary conference in machine learning, computational optimization, knowledge discovery and data science. It provides an international forum for presentation of original multidisciplinary research results, as well as exchange and dissemination of innovative and practical development experiences. The conference will consist of four days of conference sessions. We invite submissions of papers on all topics related to Machine learning, Optimization, Knowledge Discovery and Data Science including real-world applications for the Conference Proceedings (Springer - Lecture Notes in Computer Science - LNCS). Topics of Interest The last five-year period has seen a impressive revolution in the theory and application of machine learning, optimization and big data. Topics of interest include, but are not limited to: * Foundations, algorithms, models and theory of data science, including big data mining. * Machine learning and statistical methods for big data. * Machine Learning algorithms and models. Neural Networks and Learning Systems. Convolutional neural networks. * Unsupervised, semi-supervised, and supervised Learning. * Knowledge Discovery. Learning Representations. Representation learning for planning and reinforcement learning. * Metric learning and kernel learning. Sparse coding and dimensionality expansion. Hierarchical models. Learning representations of outputs or states. * Multi-objective optimization. Optimization and Game Theory. Surrogate-assisted Optimization. Derivative-free Optimization. * Big data Mining from heterogeneous data sources, including text, semi-structured, spatio-temporal, streaming, graph, web, and multimedia data. * Big Data mining systems and platforms, and their efficiency, scalability, security and privacy. * Computational optimization. Optimization for representation learning. Optimization under Uncertainty * Optimization algorithms for Real World Applications. Optimization for Big Data. Optimization and Machine Learning. * Implementation issues, parallelization, software platforms, hardware * Big Data mining for modeling, visualization, personalization, and recommendation. * Big Data mining for cyber-physical systems and complex, time-evolving networks. * Applications in social sciences, physical sciences, engineering, life sciences, web, marketing, finance, precision medicine, health informatics, medicine and other domains. We particularly encourage submissions in emerging topics of high importance such as data quality, advanced deep learning, time-evolving networks, large multi-objective optimization, quantum discrete optimization, learning representations, big data mining and analytics, cyber-physical systems, heterogeneous data integration and mining, autonomous decision and adaptive control. Submission Guidelines =============== Paper submissions should be limited to a maximum of 12 pages, in the Springer LNCS format: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 including the bibliography and any possible appendices. All submissions will be 6-blind reviewed by the Program Committee on the basis of technical quality, significance, multidisciplinary, relevance to scope of the conference, originality and clarity. https://easychair.org/conferences/?conf=mod2017 Types of Submissions =============== When submitting a paper to MOD 2017, authors are required to select one of the following four types of papers: + Long paper: original novel and unpublished work (max. 12 pages in Springer LNCS format); + Short paper: an extended abstract of novel work (max. 4 pages); + Work for oral presentation only (no page restriction; any format). For example, work already published elsewhere, which is relevant and which may solicit fruitful discussion at the conference; + Abstract for poster presentation only (max. 2 pages). The poster format for the presentation is A0 (118.9 cm high and 84.1 cm wide, respectively 46.8 x 33.1 inch). For research work which is relevant and which may solicit fruitful discussion at the conference. Post-Proceedings =============== All accepted long papers will be published in a volume of the series 'Lecture Notes in Computer Science' from Springer *after* the conference. Instructions for preparing and submitting the final versions (camera-ready papers) of all accepted papers will be available later on. All the other papers (short papers, abstracts of the oral presentations, abstracts for the poster presentations) will be published on the MOD 2017 web site. Presentation =============== MOD uses the single session formula of 30 minutes presentations for fruitful exchanges between authors and participants. Attendance =============== MOD is a premier forum for presenting and discussing current research in machine learning, optimization and big data. Therefore, at least one author of each accepted paper must complete the conference registration and present the paper at the conference, in order for the paper to be included in the proceedings and conference program. Organization =============== General Chair: Renato Umeton, Harvard University, USA Program Co-Chairs: Giovanni Giuffrida, University of Catania, Italy & Neodata Group Giuseppe Nicosia, University of Catania, Italy Panos Pardalos, University of Florida, USA Special Session Co-Chairs: Giuseppe Narzisi, New York University Tandon School of Engineering & New York Genome Center, New York, USA Workshop Co-Chair: Piero Conca, CNR, Italy Industrial Panel Chairs: Ilaria Bordino, Marco Firrincieli, Fabio Fumarola, and Francesco Gullo, UniCredit R&D W: http://www.taosciences.it/mod/ E: modworkshop2017(a)gmail.com -- Giuseppe Nicosia, Ph.D. Associate Professor of Computer Science Dept. of Mathematics & Computer Science University of Catania Viale A. Doria, 6 - 95125 Catania, Italy P +39 095 7383048 nicosia(a)dmi.unict.it http://www.dmi.unict.it/nicosia ================================================================== 4th International Synthetic & Systems Biology Summer School - SSBSS 2017 * Biology meets Computer Science & Engineering * July 17-21, 2017 - University of Cambridge, Robinson College, UK http://www.taosciences.it/ssbss/ Contact Email: ssbss.school(a)gmail.com FB: https://www.facebook.com/ssbss.school/ SSBSS - Synthetic & Systems Biology Summer School Group: https://www.facebook.com/groups/238417586492061/ Computational Synthetic Biology Group: https://www.facebook.com/groups/1014624245288596/ ================================================================== 3rd International Conference on Machine learning, Optimization & big Data - MOD 2017 An Interdisciplinary Conference: Machine Learning, Optimization and Data Science without Borders September 14-17, 2017 - Volterra (Pisa), Tuscany, Italy modworkshop2017(a)gmail.com http://www.taosciences.it/mod/ ==================================================================

1 0

PGAS Applications Workshop at PPAM 2017
by Piotr Bała 05 May '17

05 May '17

CALL FOR PAPERS PGAS Applications Workshop at PPAM 2017 (http://pcj.icm.edu.pl/pgasapp2017) PGAS APP is a full-day workshop to be held at the PPAM 2017 focusing on PGAS (Partitioned Global Address Space) programming model and its application for large-scale parallel systems and multicore processors. Its goal is to bring together researchers working in the area of PGAS programming paradigm to parallelize large scale applications. The workshop focuses on PGAS programming languages, tools and libraries with the special focus on applications developed within this programming model. The workshop is open to any PGAS languages, with the special focus of new solutions. This workshop will feature papers that explore experiences from application developers in the use of the PGAS programming model for the development of scalable codes. The papers presented practical implementations, scalability and parallelization efficiency are foreseen. Possible topics include, but are not limited to: PGAS Languages and library implementations and their evaluation, Applications development experience with PGAS programming model, PGAS programming model for heterogenous systems, Comparisons between PGAS and other programming models, Benchmark suites and performance studies for PGAS programming model, Optimization techniques. Please submit full papers via the PPAM Conference submission system (formatted according to the PPAM specification), not previously published or submitted for publication elsewhere. Please acknowledge the workshop chair (address below) by sending an email including a cover page with the title, abstract, names and e-mail of the authors. Please submit pdf files. IMPORTANT DATES: Paper due May 31, 2017 Notification of acceptance June 20, 2017 Final version of the paper due Nov. 15, 2017 Workshop Chair: Piotr Bała, ICM, University of Warsaw Email: pgas2017(a)icm.edu.pl Program Committee Piotr Bała ICM University of Warsaw, Poland Costas Bekas IBM Research, Zurich, Switzerland Buğra Gedik Bilkent University, Turkey Dimitrios S. Nikolopoulos Queens University Belfast, UK Marek Nowicki Nicloaus Copernicus University in Toruń, Poland Hans Vandierendonck Queens University Belfast, UK

1 0

Don't Miss Early Registration Rates for SSBSS 2017 + New Keynote Speakers!
by Giuseppe Nicosia 05 May '17

05 May '17

*SSBSS - SYNTHETIC & SYSTEMS BIOLOGY SUMMER SCHOOL* *Bioengineering, Algorithmics & BioDesign Automation* *University of Cambridge, UK* *, July 17-21, 2017 * Early Registration Now Open! The Best Rates Expire on May 10, 2017 <https://www.robinson.cam.ac.uk/conferences/dms/index.php?eid=54> http://www.taosciences.it/ssbss/#application-form https://www.robinson.cam.ac.uk/conferences/dms/index.php?eid=54 For more info contact Alexis Moreau am2500(a)cam.ac.uk *Keynote Speakers:* Antonino Cattaneo, *Scuola Normale Superiore Pisa, Italy* Jasmin Fisher, *Microsoft Research & Cambridge Systems Biology Centre, UK* 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. *Call for Talks and Posters:* *Call for Abstracts Deadline: June 17, 2017* Notification: Late Registration will be accepted until June 17, 2017, admission notification will start on May 11, 2017, according to the application time. Those who plan to present talk or a poster must submit the abstract via the EasyChair system *https://easychair.org/conferences/?conf=ssbss2017 <https://easychair.org/conferences/?conf=ssbss2017>* no lather than June 17, 2017. LATE Registration: May 11 - July 21, 2017 For more information about SSBSS 2017 visit us here <http://www.taosciences.it/ssbss/>: http://www.taosciences.it/ssbss/ Organizer: University of Cambridge, UK FB: https://www.facebook.com/ssbss.school/ SSBSS - Synthetic & Systems Biology Summer School Group: https://www.facebook.com/groups/238417586492061/ Computational Synthetic Biology Group: https://www.facebook.com/groups/1014624245288596/

1 0

Euro-EDUPAR 2017 - submission deadline extended
by Rizos Sakellariou 04 May '17

04 May '17

[Apologies for crossposting - please kindly disseminate] ***** CALL FOR PAPERS ***** 3rd European Workshop on Parallel and Distributed Computing Education for Undergraduate Students (Euro-EDUPAR), in conjunction with Euro-Par 2017, Santiago de Compostela, Spain, August 28/29, 2017. http://www.cs.man.ac.uk/~rizos/euroedupar/index.html Submission deadline: May 12, 2017 (extended) Submission web site: https://easychair.org/conferences/?conf=europar2017workshops 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 this context, the 3rd 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/or 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 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 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. Paper submission is handled electronically (EasyChair). 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. 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 2017 Workshops volume after the conference. Only full papers between 10 and 12 pages presented at the workshop will be included. IMPORTANT DATES May 5, 2017: Paper submission deadline June 16, 2017: Author notification July 21, 2017: Paper due, for informal workshop proceedings October 3, 2017: Camera-ready paper (including LaTeX sources) deadline ORGANIZATION General Co-Chairs: Sushil K. Prasad, Georgia State University, USA Yves Robert, Ecole Normale Superieure de Lyon, France Arnold L. Rosenberg, Northeastern University, USA Program Chair: Rizos Sakellariou, University of Manchester, UK 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 (Chair), Ecole Normale Superieure de Lyon, France Arnold L. Rosenberg, Northeastern University, 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 Committee: Marco Aldinucci, University of Torino, Italy Jorge G. Barbosa, University of Porto, Portugal Pascal Bouvry, University of Luxembourg, Luxembourg Marian Bubak, AGH Krakow, Poland and University of Amsterdam, the Netherlands Alex Delis, University of Athens, Greece Efstratios Gallopoulos, University of Patras, Greece Chryssis Georgiou, University of Cyprus, Cyprus Domingo Gimenez, University of Murcia, Spain Sergei Gorlatch, University of Muenster, Germany Thilo Kielmann, VU Amsterdam, the Netherlands Alexey Lastovetsky, UCD, Ireland Tomas Margalef, UAB, Spain Svetozar Margenov, Bulgarian Academy of Sciences, Bulgaria Milan Mihajlovic, University of Manchester, UK Marcin Paprzycki, Polish Academy of Sciences, Poland Dana Petcu, West University of Timisoara, Romania Gudula Ruenger, TU Chemnitz, Germany Jesper Larsson Traff, TU Wien, Austria Philippas Tsigas, Chalmers University, Sweden Juan Tourino, University of A Coruna, Spain Vladimir Voevodin, Moscow State University, Russia David Walker, Cardiff University, UK

1 0

CIBB 2017 - Special Session on Modeling and Simulation Methods for Systems Biology and Systems Medicine: Call for papers
by Chiara Damiani 04 May '17

04 May '17

[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 2017 <http://co2.unica.it/cibb2017/>, 14th International Conference on Computational Intelligence methods for Bioinformatics and Biostatistics 7-9 September 2017, Cagliari, Italy ---------------------------------------------------------------------------------------------------- Paper Submission Deadline: 4 June 2017 ---------------------------------------------------------------------------------------------------- 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 Papers due: 4 June 2017 Acceptance: 22 June 2017 Registration due: 17 July 2017 Camera-ready: 22 July 2017 PROCEEDINGS Authors of accepted short papers (4-6 pages) will be invited to submit an extended version of their work to a post-conference monograph, which is planned to be published in the Springer series of Lecture Notes in Bioinformatics (LNBI). Best papers will be invited 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://co2.unica.it/cibb2017/call.php> SESSION CHAIRS Chiara Damiani, University of Milano-Bicocca, Italy Paolo Cazzaniga, University of Bergamo, Italy Marco S. Nobile, University of Milano-Bicocca, Italy Riccardo Colombo, University of Milano-Bicocca, Italy Giancarlo Mauri, University of Milano-Bicocca, Italy Alex Graudenzi, 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> _______________________________________________ bimib-group(a)mailing.disco.unimib.it <mailto:bimib-group@mailing.disco.unimib.it> http://strumenti.didattica.unimib.it/mailman//listinfo/bimib-group <http://strumenti.didattica.unimib.it/mailman//listinfo/bimib-group> 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

Graphical Models for Security (GraMSec 2017) co-located with CSF 2017
by Barbara Kordy 04 May '17

04 May '17

GraMSec 2017 - call for papers The Fourth International Workshop on Graphical Models for Security Santa Barbara, CA, USA - August 21, 2017 http://gramsec.uni.lu Co-located with CSF 2017 LNCS proceedings confirmed SCOPE Graphical security models provide an intuitive but systematic approach to analyze security weaknesses of systems and to evaluate potential protection measures. Cyber security researchers, as well as security professionals from industry and government, have proposed various graphical security modeling schemes. Such models are used to capture different security facets (digital, physical, and social) and address a range of challenges including vulnerability assessment, risk analysis, defense analysis, automated defensing, secure services composition, policy validation and verification. The objective of the GraMSec workshop is to contribute to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage. TOPICS The workshop seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of graphical models for security. The topics of the workshop include, but are not limited to: • Graphical models for threat modeling and analysis • Graphical models for risk analysis and management • Graphical models for requirements analysis and management • Textual and graphical representation for system, organizational, and business security • Visual security modeling and analysis of socio-technical and cyber-physical systems • Graphical security modeling for cyber situational awareness • Graphical models supporting the security by design paradigm • Methods for quantitative and qualitative analysis of graphical security models • Formal semantics and verification of graphical security models • Methods for (semi-)automatic generation of graphical security models • Enhancement and/or optimization of existing graphical security models • Scalable evaluation of graphical security models • Evaluation algorithms for graphical security models • Dynamic update of graphical security models • Game theoretical approaches to graphical security modeling • Attack trees, attack graphs and their variants • Stochastic Petri nets, Markov chains, and Bayesian networks for security • UML-based models and other graphical modeling approaches for security • Software tools for graphical security modeling and analysis • Case studies and experience reports on the use of graphical security modeling paradigm INVITED SPEAKER To be decided. PAPER SUBMISSION We solicit two types of submissions: • Regular papers (up to 15 pages, excluding the bibliography and well-marked appendices) describing original and unpublished work within the scope of the workshop. • Short papers (up to 7 pages, excluding the bibliography and well-marked appendices) describing original and unpublished work in progress. The reviewers are not required to read the appendices, so the papers should be intelligible without them. All submissions must be prepared using the LNCS style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Each paper will undergo a thorough review process. All accepted (regular and short) papers will be included in the workshop's post-proceedings. The GraMSec 2017 post-proceedings will be published in the Lecture Notes in Computer Science (LNCS) series of Springer. Submissions should be made using the GraMSec 2017 EasyChair web site: https://www.easychair.org/conferences/?conf=gramsec17 IMPORTANT DATES • Submission deadline: Sunday, May 21, 2017 • Acceptance notification: Friday, July 7, 2017 • Workshop: Monday, August 21, 2017 GENERAL CHAIR • Sjouke Mauw, University of Luxembourg, Luxembourg PROGRAM CHAIRS • Peng Liu, Pennsylvania State University, USA • Ketil Stølen, SINTEF Digital and University of Oslo, Norway PC MEMBERS Mathieu Acher, University Rennes 1, Inria, France Massimiliano Albanese, George Mason University, USA Ludovic Apvrille, Télécom ParisTech, France Thomas Bauereiss, DFKI, Germany Kristian Beckers, Technical University of Munich, Germany Giampaolo Bella, University of Catania, Italy Stefano Bistarelli, Università di Perugia, Italy Marc Bouissou, EDF RD, France Frédéric Cuppens, Télécom Bretagne, France Nora Cuppens-Boulahia, Télécom Bretagne, France Binbin Chen, Advanced Digital Sciences Center, Singapore Hervé Debar, Télécom SudParis, France Harley Eades, Augusta University, USA Mathias Ekstedt, KTH - Royal Institute of Technology, Sweden Ulrik Franke, Swedish Institute of Computer Science - SICS, Sweden Frank Fransen, TNO, The Netherlands Olga Gadyatskaya, University of Luxembourg, Luxembourg Paolo Giorgini, University of Trento, Italy Dieter Gollmann, Hamburg University of Technology, Germany Joshua Guttman, WPI and MITRE, USA René Rydhof Hansen, Aalborg University, Denmark Maritta Heisel, Universität Duisburg-Essen, Germany Hannes Holm, Swedish Defence Research Agency, Sweden Siv Hilde Houmb, Secure-NOK AS, Norway Sushil Jajodia, George Mason University, USA Ravi Jhawar, University of Luxembourg, Luxembourg Henk Jonkers, BiZZdesign, The Netherlands Cristian Johansen, University of Oslo, Norway Florian Kammueller, Middlesex University London, UK Nima Khakzad, TU Delft, The Netherlands Dong Seong Kim, University of Canterbury, New Zealand Barbara Kordy, INSA Rennes, IRISA, France Pascal Lafourcade, Université Clermont Auvergne, LIMOS, France Jean-Louis Lanet, Inria, France Per Håkon Meland, SINTEF Digital, Norway Jogesh Muppala, HKUST, Hong Kong, SAR China Simin Nadjm-Tehrani, Linköping University, Sweden Andreas L. Opdahl, University of Bergen, Norway Xinming Ou, University of South Florida, USA Stéphane Paul, Thales Research and Technology, France Wolter Pieters, TU Delft, The Netherlands Ludovic Piètre-Cambacédès, EDF, FR Sophie Pinchinat, University Rennes 1, IRISA, France Vincenzo Piuri, University of Milan, Italy Marc Pouly, Lucerne University of Applied Sciences and Arts, Switzerland Nicolas Prigent, Supélec, France Christian W. Probst, Technical University of Denmark, Denmark David Pym, UCL, UK Saša Radomirovic, University of Dundee, UK Indrajit Ray, Colorado State University, USA Arend Rensink, University of Twente, The Netherlands Yves Roudier, Université Côte d'Azur, CNRS, I3S, UNS, France Guttorm Sindre, NUST, Norway Mariëlle Stoelinga, University of Twente, The Netherlands Xiaoyan Sun, California State University, USA Axel Tanner, IBM Research - Zurich, Switzerland Alexandre Vernotte, KTH - Royal Institute of Technology, Sweden Luca Viganò, King's College London, UK Lingyu Wang, Concordia University, Canada Jan Willemson, Cybernetica, Estonia CONTACT For inquiries please send an e-mail to gramsec17(a)easychair.org

1 0

Recruitment - Postdocs on Cyber-Physical Security at SUTD, Singapore
by Jianying Zhou 03 May '17

03 May '17

Singapore University of Technology and Design (SUTD) is a young university established in collaboration with MIT. Cyber security is one of its most important areas and grows very fast with rich research funding. It has the world's best facilities in cyber-physical systems (CPS) including testbeds for Secure Water Treatment (SWaT), Water Distribution (WADI), Electric Power and Intelligent Control (EPIC), and IoT. (See more info at https://itrust.sutd.edu.sg/research/testbeds/) I am looking for postdocs with expertise on cyber-physical system security, especially in the areas of autonomous vehicle and IoT. The candidates should have track record of strong R&D capability, be able to perform deep system-level investigations of security mechanisms, be a good team player, and also have good written/oral communication skills. The position will provide an excellent opportunity to perform both basic and translational research in close collaboration with industry. Successful candidates will be offered internationally competitive remuneration, and enjoy high-quality living and low tax rates in Singapore. Interested candidates please send your CV with a research statement to Prof. Jianying Zhou. Contact: Prof. Jianying Zhou Email: jianying_zhou(a)sutd.edu.sg Home: http://jianying.space/

1 0

Recruitment - PhD Interns on Cyber-Physical Security at SUTD, Singapore
by Jianying Zhou 03 May '17

03 May '17

Singapore University of Technology and Design (SUTD) is a young university established in collaboration with MIT. Cyber security is one of its most important areas and grows very fast with rich research funding. It has the world's best facilities in cyber-physical systems (CPS) including testbeds for Secure Water Treatment (SWaT), Water Distribution (WADI), Electric Power and Intelligent Control (EPIC), and IoT. (See more info at https://itrust.sutd.edu.sg/research/testbeds/) I am looking for PhD interns with interest in cyber-physical system security (IoT, autonomous vehicle, and power grid etc.), especially on the topics such as 1) Lightweight and low-latency crypto algorithms for CPS devices, 2) Resilient authentication of devices and data in CPS, 3) Advanced SCADA firewall to filter more sophisticated attacking packets in CPS, 4) Big data based threat analytics for detection of both known and unknown threats, 5) Attack mitigation to increase the resilience of CPS. The attachment will be at least 3 months. Allowance will be provided for local expenses. Interested candidates please send your CV with a research statement to Prof. Jianying Zhou. Contact: Prof. Jianying Zhou Email: jianying_zhou(a)sutd.edu.sg Home: http://jianying.space/

1 0

AI in Security Workshop at IJCAI - second CFP
by Madden, Michael 03 May '17

03 May '17

1st International Workshop on A.I. in Security. An IJCAI Workshop, Melbourne, Australia, 20th August 2017 . Details and submissions: http://iwaise.it.nuigalway.ie/ Deadline for submissions: 15 May 2017. Artiﬁcial intelligence has an important role to play in improving the resilience of society to both digital and physical threats, and in safeguarding the privacy of individuals, as the world becomes increasingly interconnected. Relevant AI techniques include: knowledge representation; probabilistic reasoning; machine learning; anomaly detection; image recognition; speech recognition; social network analysis; and many others. For example, anomaly detection and temporal data mining can enable the automated detection of physical and/or digital threats; while advances in AI for autonomous vehicles can allow robotic vehicles to be used to secure remote locations that are hazardous to humans, and for search and rescue. AI for physical security is also being successfully used in homeland security applications. To date the physical and digital security communities have limited opportunities to share their research ﬁndings and to engage with the wider AI community. This workshop will to bring together academic researchers and industry practitioners in a single location, to present and discuss their new research. It will also provide an opportunity for attendees to highlight current challenges in AI for digital and physical security, propose multi-disciplinary solutions, and showcase the application of AI in this domain. This workshop seeks novel research, case studies and survey papers in topics that include, but are not limited to, the following: Security Analytics: Machine Learning; Security Threat Detection and Visualization; Future Threat Inference; Situational Awareness Monitoring; Automated Message Monitoring; Security Decision Support; Network Event Detection Finance: Applications of AI to: Digital Currencies; Secure Payments; Detection of Tax Evasion or Money Laundering; etc Forensics: Automated Physical Evidence Gathering; Data and Network Analysis; Digital Forensic Tools; Decision Support for Rare Events Images, Text & Networks: Automated Crowd Scanning; Video Analytics; Damage Assessment; Automatic Detection of Hate Speech and Radicalisation on Social Media; Security Sentiment Analysis Physical Security: Automated Monitoring of Secure Locations; Automated Threat Detection; Crisis Management; Sensor Data Analytics; Spatio-Temporal Reasoning; Reasoning from Distributed, Dissimilar and Noisy Data Stream Digital Security: AI for Detection and Mitigation of Threats Such as: Spear Phishing; Social Engineering; Botnets; Intrusion, as well as AI methods for improving Penetration Testing Software Engineering: AI Applied to: Design for Security; Program Analysis; Fault Detection; Compiler and Language Design; Veriﬁcation of Privacy and Security Compliance; Adaptive Security/Privacy Robotics: Securing Remote or Restricted Locations; Operations in Remote or Dangerous locations; Roboguards; Search and Rescue Privacy and Identity Biometrics: Face Recognition; Innovative Cryptography; Anonymization and De-anonymization; Ethics of AI for Security Organizing Committee: • Michael Madden (National University of Ireland Galway, Ireland) • Barry O’Sullivan (University College Cork, Ireland) • Jo Ueyama (University of Sao Paulo, Brazil) • Brett Drury (National University of Ireland Galway, Ireland) -- Dr Michael Madden Head of Data Mining & Machine Learning Group National University of Ireland, Galway +353-91-493797 / +353-86-7952802 http://datamining.it.nuigalway.ie/

1 0

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

01 May '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 Eric Rome, Fraunhofer, erich.rome(a)iais.fraunhofer.de

1 0