lists.iccsa.org
Sign In Sign Up
Manage this list Sign In Sign Up

Keyboard Shortcuts

Thread View

  • j: Next unread message
  • k: Previous unread message
  • j a: Jump to all threads
  • j l: Jump to MailingList overview

computational.science

Thread Start a new thread
Download
Threads by month
  • ----- 2026 -----
  • March
  • February
  • January
  • ----- 2025 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2024 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2023 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2022 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2021 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2020 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2019 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2018 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2017 -----
  • December
  • November
  • October
  • September
  • August
  • July
  • June
  • May
  • April
  • March
  • February
  • January
  • ----- 2016 -----
  • December
computational.science@lists.iccsa.org

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

07 Jun '17
24th IEEE International Conference on High Performance Computing, Data, and Analytics HiPC 2017 December 18-21, 2017 Jaipur, India http://www.hipc.org Paper Abstract Submission: Friday, June 23, 2017 Paper Submission Deadline (firm): Friday, June 30, 2017 Author Notifications for Rebuttal: Thursday, August 8, 2017 Author Rebuttal Response Due: Tuesday, August 15, 2017 Acceptance/Rejection Notification: Friday, September 8, 2017 Camera Ready paper Submission Due: Tuesday, October 3, 2017 HiPC 2017 CALL FOR PAPERS HiPC 2017 will be the 24th edition of the IEEE International Conference on High Performance Computing, Data, and Analytics. HiPC serves as a forum to present current work by researchers from around the world as well as highlight activities in Asia in the area high performance computing. The meeting focuses on all aspects of high performance computing systems and their scientific, engineering, and commercial applications. In 2016, to keep pace with new computing trends, the conference added two new areas of interest to its name, Data and Analytics, as reflected in the list below. Authors are invited to submit original unpublished research manuscripts that demonstrate current research in all areas of high performance computing, data and analytics. Topics include (but are not limited to): Algorithms: Design and Application of Parallel and Distributed Big Data and Analytics Algorithms Algorithmic Techniques to Improve Energy and Power Efficiency Quantum and Bio-Inspired Algorithms Resilient and Fault Tolerant Algorithms Parallel algorithms for Numerical Linear Algebra Concurrent Algorithms and Data Structures Load Balancing, Scheduling and Resource Management Large Scale Graph Analytics Streaming Algorithms Architectures: Interconnection Networks and Architectures Cache/Memory Architecture for High Performance Computing High Performance/Scalable Storage Systems Power-Efficient and Reconfigurable Architectures Quantum and Bio-Inspired Architectures Software Support and Advanced Micro-architecture Techniques Resilient and Fault Tolerant Architectures Applications: Big Data Computing and Applications Cross-Cutting Methods such as Co-Design of Parallel Algorithms, Software, and Architectures Emerging Applications such as Biotechnology, IoT, and Nanotechnology Hardware Acceleration for Parallel Applications Parallelism in Scientific Data Visualization and Visual Analytics Scientific/Engineering/Industrial Applications and Workloads Scalable Machine Learning and Data Mining Applications Scalable Graph and other Irregular Applications Design of Simulation Applications and Peta- and Exascale Applications Systems Software: Big Data Analytics Systems and Software Architectures Compiler Technologies for High-Performance Computing Exascale Computing, Cloud Platforms, Data Center Architectures and Services Parallel Languages, Programming Environments, and Performance Assessment Operating Systems for Scalable High -Performance Computing Hybrid Parallel Programming with GPUs and Accelerators Dealing with Uncertainties, Resilient/Fault-Tolerant Systems One or more best paper awards will be given for outstanding contributed papers. Authors of selected high quality papers in HiPC 2017 will be invited to submit an extended version of their papers for possible publication in a special issue of Journal of Parallel and Distributed Computing (Elsevier). Program Chair Ümit V. Çatalyürek, Georgia Institute of Technology, USA Program Vice-Chairs Algorithms: Olivier Beaumont, INRIA, France Applications: Ananth Kalyanaraman, Washington State University, USA Architecture: Yuan Xie, University of California at Santa Barbara, USA System Software: Gagan Agrawal, The Ohio State University, USA
1 0
0 0
CFP: Special Issue on "Security and Privacy in Cloud-Assisted Cyber-Physical Systems" in Computer Networks Journal (Elsevier)
by Cristina Alcaraz 07 Jun '17

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

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

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

06 Jun '17
******* WORKS 2017 Workshop ******* Workflows in Support of Large-Scale Science Workshop Monday, 13 November 2017, Denver, Colorado, USA. Held in conjunction with SC1 <http://sc17.supercomputing.org/>7, The International Conference for High Performance Computing, Networking, Storage and Analysis http://works.cs.cardiff.ac.uk/ Paper submission deadline: 30 July 2017 ************************************* Call For Papers Data-intensive workflows (a.k.a. scientific workflows) are routinely used in most scientific disciplines today, especially in the context of high-performance, parallel and distributed computing. They provide a systematic way of describing a complex scientific process and rely on sophisticated workflow management systems to execute on a variety of parallel and distributed resources. With the dramatic increase of raw data volume in every domain, they play an even more critical role to assist scientists in organizing and processing their data and to leverage HPC or HTC resources, being at the interface between end-users and computing infrastructures. This workshop focuses on the many facets of data-intensive workflow management systems, ranging from actual execution to service management and the coordination and optimization of data, service and job dependencies. The workshop covers a broad range of issues in the scientific workflow lifecycle that include: data-intensive workflows representation and enactment; designing workflow composition interfaces; workflow mapping techniques to optimize the execution of the workflow for different infrastructures; workflow enactment engines that need to deal with failures in the application and execution environment; and a number of computer science problems related to scientific workflows such as semantic technologies, compiler methods, scheduling and fault detection and tolerance. The topics of the workshop include but are not limited to: Big Data analytics workflows Data-driven workflow processing (including stream-based workflows) Workflow composition, tools, and languages Workflow execution in distributed environments (including HPC, clouds, and grids) Reproducible computational research using workflows Dynamic data dependent workflow systems solutions Exascale computing with workflows Workflow fault-tolerance and recovery techniques Workflow user environments, including portals Workflow applications and their requirements Adaptive workflows Workflow optimizations (including scheduling and energy efficiency) Performance analysis of workflows Workflow debugging Workflow provenance Interactive workflows (including workflow steering) ************************************* Paper Submission Important Dates Papers Due: 30 July 2017 Notifications of Acceptance: 9 September 2017 E-copyright registration completed by authors: 1 October 2017 Final Papers Due: 1 October, 2017 The paper must be at most 10 pages long. The proceedings should be formatted according to http://www.acm.org/publications/proceedings-template. WORKS papers this year will be published in collaboration with SIGHPC and will be available from both ACM and IEEE digital repositories. ************************************* WORKS 2017 Organizing Committee – PC Chairs Sandra Gesing, University of Notre Dame, USA Rizos Sakellariou, University of Manchester, UK – General Chairs Johan Montagnat, French National Center for Scientific Research (CNRS), Sophia Antipolis, France Ian Taylor, Cardiff University, UK and University of Notre Dame, USA – Steering Committee David Abramson, University of Queensland, Australia Malcolm Atkinson, University of Edinburgh, UK Ewa Deelman, USC, USA Michela Taufer, University of Delaware, USA – Publicity Chairs Rafael Ferreira da Silva, USC, USA Ilia Pietri, University of Athens, Greece ************************************* WORKS 2017 Program Committee Pinar Alper, King's College London, UK Ilkay Altintas, San Diego Supercomputer Center, USA Khalid Belhajjame, Université Paris-Dauphine, France Adam Belloum, University of Amsterdam, the Netherlands Ivona Brandic, TU Wien, Austria Kris Bubendorfer, Victoria University of Wellington, New Zealand Jesus Carretero, Universidad Carlos III de Madrid, Spain Henri Casanova, University of Hawaii at Manoa, USA Ewa Deelman, USC Information Sciences Institute, USA Rafael Ferreira Da Silva, USC Information Sciences Institute, USA Daniel Garijo, USC Information Sciences Institute, USA Sandra Gesing, University of Notre Dame, USA Tristan Glatard, CNRS, France Daniel Katz, University of Illinois Urbana-Champaign, USA Tamas Kiss, University of Westminster, UK Dagmar Krefting, HTW Berlin, Germany Maciej Malawski, AGH University of Science and Technology, Poland Anirban Mandal, Renaissance Computing Institute, USA Marta Mattoso, Federal Univ. Rio de Janeiro, Brazil Andrew Stephen Mcgough, Newcastle University, UK Paolo Missier, Newcastle University, UK Jarek Nabrzyski, University of Notre Dame, USA Daniel de Oliveira, Fluminense Federal University, Brazil Ilia Pietri, University of Athens, Greece Radu Prodan, University of Innsbruck, Austria Omer Rana, Cardiff University, UK Ivan Rodero, Rutgers University, USA Rizos Sakellariou, University of Manchester, UK Domenico Talia, University of Calabria, Italy Rafael Tolosana-Calasanz, Universidad de Zaragoza, Spain Chase Wu, New Jersey Institute of Technology, USA
1 0
0 0
Press Release - Reliable Software Technologies, Ada-Europe 2017
by Dirk Craeynest 06 Jun '17

06 Jun '17
----------------------------------------------------------------------- FINAL Call for Participation *** UPDATED Program Summary *** 22nd International Conference on Reliable Software Technologies - Ada-Europe 2017 12-16 June 2017, Vienna, Austria http://www.ada-europe.org/conference2017 *** Check out tutorials and workshop! *** *** Full Program available on conference web site *** *** Online proceedings available at event *** *** Register now! *** ----------------------------------------------------------------------- Press release: 22nd Ada-Europe Conference on Reliable Software Technologies International experts meet in Vienna Vienna, Austria (6 June 2017) - TU Vienna and Ada-Europe organize from 12 to 16 June 2017 the "22nd International Conference on Reliable Software Technologies - Ada-Europe 2017" in Vienna, Austria. The event is organized in cooperation with the Ada Resource Association (ARA), and with ACM's Special Interest Groups on Ada (SIGAda) and on Programming Languages (SIGPLAN). The Ada-Europe series of conferences has over the years become a leading international forum for providers, practitioners and researchers in reliable software technologies. These events highlight the increased relevance of Ada in general, and in safety- and security-critical systems in particular, and provide a unique opportunity for interaction and collaboration between academics and industrial practitioners. This year's conference offers two days of parallel tutorials, a workshop, three keynotes, a full technical program of refereed papers and industrial presentations, an industrial exhibition and vendor presentations, and a social program. Eight excellent tutorials on Monday and Friday cover a broad range of topics: Introduction to SPARK 2014; Ada on ARM Cortex-M, a Zero-Run-Time Approach; Software Measurement for Dependable Software Systems; Real-Time Parallel Programming with the UpScale SDK; Using Gnoga for Desktop/Mobile GUI and Web development in Ada; Frama-C, a Collaborative Framework for C Code Verification; On beyond ASCII: Characters, Strings, and Ada 2012; Modular Open System Architecture for Critical Systems. In addition, on Friday the conference hosts for the 4th consecutive year the International Workshop on "Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering" (De-CPS 2016), now with a focus on "Transportation of the Future". Three eminent keynote speakers have been invited to open each day of the core conference program. Giovanni Battista Gallus (Array, Italy), in "The laws of robotics and autonomous vehicles may be much more than three, but don't panic... yet", will talk about the future European legal framework, which is relevant for the development of autonomous vehicles, and especially programming issues. Thomas Henzinger (IST, Austria), in "Behavioral Software Metrics", will show how the classical satisfaction relation between programs and requirements can be replaced by quantitative preference metrics that measure the "fit" between programs and requirements. Kay Römer (TU Graz, Austria), in "Dependable Internet of Things", will introduce the Dependable Things research center at TU Graz and present recent results on improving the dependability of wireless communication and localization, embedded computing, and networked control for the Internet of Things. The technical program presents 14 refereed and carefully selected papers on the latest research, new tools, applications and industrial practice and experience, a collection of 9 industrial presentations reflecting current practice and challenges, 4 presentations and a discussion in a special panel session on "The Future of Safety-Minded Languages", and vendor presentations. Springer Verlag publishes all peer-reviewed papers in the proceedings of the conference, as LNCS Vol. 10300. The remainder of the proceedings will be published in the Ada User Journal, the quarterly magazine of Ada-Europe. The industrial exhibition opens Tuesday morning and runs until the end of Thursday afternoon. Exhibitors include AdaCore, PTC Developer Tools, Rapita Systems, VectorCAST, and Ada-Europe. The social program includes a Welcome Reception plus robotics presentations on Tuesday evening at "TU the Sky"; its terraces at the top of TU Vienna's buildings offer a terrific view on the city. On Wednesday evening there will be a Vienna bus tour, followed by the traditional Ada-Europe Conference Banquet, held at a very famous "Heuriger". Each day, coffee breaks in the exhibition area and sit-down lunches offer ample time for interaction and networking. The Best Paper Award will be presented during the Conference Banquet, the Best Presentation Award during the Closing session. The conference is hosted by TU Vienna at Palais Eschenbach, which is located near the center of Vienna and can easily be accessed by metro. The full program is available on the conference web site. Online registration is still possible. ------- Latest updates: The 16-page "Final Program" is available at <http://www.ada-europe.org/conference2017/AE2017_final_program.pdf> Check out the 8 tutorials in the PDF program, or in the schedule at <http://www.ada-europe.org/conference2017/tutorials.html>. Registration fees are very reasonable and the registration process is done on-line. Don't delay! For all details, select "Registration" at <http://www.ada-europe.org/conference2017> or go directly to <https://adaeurope.upv.es/index.html>. For those who can't attend the full conference, note that Wednesday 14 June is "Meet Ada-Europe day!", and single day registration is discounted. The proceedings, published by Springer Verlag as Lecture Notes in Computer Science Vol. 10300, are already available online. See <https://link.springer.com/book/10.1007/978-3-319-60588-3>. A printed copy is included in every full conference registration. Help promote the conference by advertising for it! <http://www.ada-europe.org/conference2017/promotion.html>. Put up the poster at <http://www.ada-europe.org/conference2017/picts/AE2017_poster.png>. Recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2017. For the latest information consult the conference web site <http://www.ada-europe.org/conference2017>. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk.Craeynest(a)cs.kuleuven.be, Ada-Europe'2017 Publicity Chair *** 22nd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2017 *** June 12-16, 2017 *** Vienna, Austria *** http://www.ada-europe.org
1 0
0 0
CFP: ACS 2017 The 1st International Workshop on Autonomics and Cloud Security
by Roger Hallman 05 Jun '17

05 Jun '17
Link: http://www.autonomic-conference.org/iccac-2017/resources/ACS/ WikiCFP: http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=64433&copyownerid=… 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 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 Committee 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 Roger Hallman -- SPAWAR Systems Center Pacific, USA Sokratis K. Katsikas -- Norwegian University of Science & Technology, Norway Ryan Ko -- University of Waikato, New Zealand Thomas Moyer -- MIT Lincoln Laboratory, USA Nuno Neves -- Universidade de Lisboa, Portugal Jason R.C. Nurse -- University of Oxford, United Kingdom Stacy Prowell -- Oak Ridge National Laboratory, USA Muthu Ramachandran -- Leeds Beckett University, United Kingdom Khaled Salah -- Khalifa University of Science, Technology & Research, United Arab Emirates Sachin Shetty -- Old Dominion University, USA Vijay Varadharajan -- University of Newcastle, Australia 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
1 0
0 0
CFP SPIFEC 2017 (ESORICS workshop): 1st European Workshop on Security and Privacy in Fog and Edge Computing
by roman 05 Jun '17

05 Jun '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 - 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
0 0
DEADLINE EXTENSION - CIBB 2017 - Special Session on Modeling and Simulation Methods for Systems Biology and Systems Medicine
by Chiara Damiani 05 Jun '17

05 Jun '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 12 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 multi­scale modelling and simulation of biological systems 
 parameter estimation methods personalized models reverse engineering of reaction networks 
 software tools for systems biology 
 spatio­temporal modelling and simulation of biological systems IMPORTANT DATES Papers due: 4 June 2017 12 june 2017 Acceptance: 22 June 2017 5 july 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
1 0
0 0
New research positions in Data Mining, Machine Learning and Artificial Intelligence
by Madden, Michael 04 Jun '17

04 Jun '17
Hello; I would be grateful if you could bring this to the attention of relevant candidates. Up to three new research positions are available in the Data Mining & Machine Learning Research Group, led by Dr Michael Madden in the National University of Ireland Galway, to contribute to a substantial European Union research project called ROCSAFE, which involves an exciting combination of aerial robotics, ground-based robotics, sensing systems, image analysis, and artificial intelligence. There are positions available for a software engineer and for two research scholars (MSc by research with possibility to transition to PhD). The software engineer will receive a salary commensurate with experience. The MSc students will receive a tax-free scholarship of €16,000 per year, with fees also paid. Additional funding is provided for research-related travel. The research and software development work is likely to involve topics such as: (1) development of communications protocols and simulation of a realistic multi-agent system; (2) routing of autonomous vehicles for optimal collection of multi-resolution image and sensor data; (3) context-aware decision support driven by sensor data analytics. This is an excellent opportunity to combine research with software development, working in a flexible and stimulating research environment, while collaborating with academic and industrial partners across Europe. For information on how to apply, please see our website: http://datamining.it.nuigalway.ie/ Thank you, Michael. -- 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
0 0
  • ← Newer
  • 1
  • ...
  • 160
  • 161
  • 162
  • 163
  • 164
  • 165
  • 166
  • ...
  • 201
  • Older →

HyperKitty Powered by HyperKitty version 1.3.12.