computational.science December 2017

computational.science@lists.iccsa.org

30 participants
44 discussions

Call for Papers: ScalA@SC 2017 - Papers due August 28
by Engelmann, Christian 04 Nov '20

04 Nov '20

We apologize if you receive multiple copies of this notice. ----------------------------------------------------------------------------- ScalA’17: 8th Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems held in conjunction with the SC17: The International Conference on High Performance Computing, Networking, Storage and Analysis in cooperation with ACM SIGHPC November 13, 2017, Denver, CO, USA <http://www.csm.ornl.gov/srt/conferences/Scala/2017> Novel scalable scientific algorithms are needed in order to enable key science applications to exploit the computational power of large-scale systems. This is especially true for the current tier of leading petascale machines and the road to exascale computing as HPC systems continue to scale up in compute node and processor core count. These extreme-scale systems require novel scientific algorithms to hide network and memory latency, have very high computation/communication overlap, have minimal communication, and have no synchronization points. Scientific algorithms for multi-petaflop and exa-flop systems also need to be fault tolerant and fault resilient, since the probability of faults increases with scale. Resilience at the system software and at the algorithmic level is needed as a crosscutting effort. Finally, with the advent of heterogeneous compute nodes that employ standard processors as well as GPGPUs, scientific algorithms need to match these architectures to extract the most performance. This includes different system-specific levels of parallelism as well as co-scheduling of computation. Key science applications require novel mathematical models and system software that address the scalability and resilience challenges of current- and future-generation extreme-scale HPC systems. Submission Guidelines Authors are invited to submit manuscripts in English structured as technical papers not exceeding 8 letter size (8.5in x 11in) pages including figures, tables, and references using the ACM format for conference proceedings. Submissions not conforming to these guidelines may be returned without review. Reference style files are available at <http://www.acm.org/sigs/publications/proceedings-templates>. All manuscripts will be reviewed and judged on correctness, originality, technical strength, and significance, quality of presentation, and interest and relevance to the workshop attendees. Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. At least one author of an accepted paper must register for and attend the workshop. Authors may contact the workshop program chair for more information. Papers should be submitted electronically at: <https://easychair.org/conferences/?conf=scala17>. Full papers will be published with the SC'17 workshop proceedings in the ACM Digital Library and IEEE Xplore. Selected papers will be invited for an extended version in a special issue of the Journal of Computational Science (JoCS). Important Dates - Full paper submission: August 28, 2017 - Notification of acceptance: September 11, 2017 - Final paper submission (firm): October 9, 2017 - Workshop/conference early registration: TBD - Workshop: November 13, 2017 Topics of interest include, but are not limited to: - Novel scientific algorithms that improve performance, scalability, resilience, and power efficiency - Porting scientific algorithms and applications to many-core and heterogeneous architectures - Performance and resilience limitations of scientific algorithms and applications at scale - Crosscutting approaches (system software and applications) in addressing scalability challenges - Scientific algorithms that can exploit extreme concurrency (e.g. 1 billion for exascale by 2020) - Naturally fault tolerant, self-healing, or fault oblivious scientific algorithms - Programming model and system software support for algorithm scalability and resilience Workshop Chairs - Vassil Alexandrov, Barcelona Supercomputing Center, Spain - Al Geist, Oak Ridge National Laboratory, USA - Jack Dongarra, University of Tennessee, Knoxville, USA Workshop Program Chair - Christian Engelmann, Oak Ridge National Laboratory, USA Program Committee - Vassil Alexandrov, Barcelona Supercomputing Center, Spain - Hartwig Anzt, University of Tennessee, Knoxville, USA - Rick Archibald, Oak Ridge National Laboratory, USA - Franck Cappello, Argonne National Laboratory and University of Illinois at Urbana Champaign, USA - Zizhong Chen, University of California, Riverside, USA - James Elliott, Sandia National Laboratories, USA - Nahid Emad, University of Versailles SQ, France - Christian Engelmann, Oak Ridge National Laboratory, USA - Wilfried Gansterer, University of Vienna, Austria - Michael Heroux, Sandia National Laboratories, USA - Kirk E. Jordan, IBM T.J. Watson Research, USA - Dieter Kranzlmueller, Ludwig-Maximilians-University Munich, Germany - Ignacio Laguna, Lawrence Livermore National Laboratory, USA - Piotr Luszczek, University of Tennessee, Knoxville, USA - Michael Mascagni, Florida State University, USA - Ron Perrot, University of Oxford, UK - Yves Robert, ENS Lyon, France - Stuart Slattery, Oak Ridge National Laboratory, USA - Keita Teranishi, Sandia National Laboratories, USA -- Christian Engelmann, Ph.D. R&D Staff Scientist Computer Science Research Group Computer Science and Mathematics Division Oak Ridge National Laboratory Mail: P.O. Box 2008, Oak Ridge, TN 37831-6173, USA Phone: +1 (865) 574-3132 / Fax: +1 (865) 576-5491 e-Mail: engelmannc(a)ornl.gov / Home: www.christian-engelmann.info

3 28

CFP: Resilience@Euro-Par 2017 - Papers due May 5
by Christian Engelmann 08 May '19

08 May '19

We apologize if you receive multiple copies of this call for papers. -------------------------------------------------------------------------------- 10th Workshop on Resiliency in High Performance Computing (Resilience) in Clusters, Clouds, and Grids <http://www.csm.ornl.gov/srt/conferences/Resilience/2017> in conjunction with the 23rd International European Conference on Parallel and Distributed Computing (Euro-Par), Santiago de Compostela, Spain, August 28 - September 1, 2017 <http://europar2017.usc.es> Overview: Resilience is a critical challenge as high performance computing (HPC) systems continue to increase component counts, individual component reliability decreases (such as due to shrinking process technology and near-threshold voltage (NTV) operation), and software complexity increases. Application correctness and execution efficiency, in spite of frequent faults, errors, and failures, is essential to ensure the success of the extreme-scale HPC systems, cluster computing environments, Grid computing infrastructures, and Cloud computing services. While a fault (e.g., a bug or stuck bit) is the cause of an error, its manifestation as a state change is considered an error (e.g., a bad value or incorrect execution), and the transition to an incorrect service is observed as a failure (e.g., an application abort or system crash). A failure in a computing system is typically observed through an application abort or a full/partial service or system outage. A detectable correctable error is often transparently handled by hardware, such as a single bit flip in memory that is protected with single-error correction double-error detection (SECDED) error correcting code (ECC). A detectable uncorrectable error (DUE) typically results in a failure, such as multiple bit flips in the same addressable word that escape SECDED ECC correction, but not detection, and ultimately cause an application abort. An undetectable error (UE) may result in silent data corruption (SDC), e.g., an incorrect application output. There are many other types of hardware and software faults, errors, and failures in computing systems. Resilience for HPC systems encompasses a wide spectrum of fundamental and applied research and development, including theoretical foundations, fault detection and prediction, monitoring and control, end-to-end data integrity, enabling infrastructure, and resilient solvers and algorithm-based fault tolerance. This workshop brings together experts in the community to further research and development in HPC resilience and to facilitate exchanges across the computational paradigms of extreme-scale HPC, cluster computing, Grid computing, and Cloud computing. Submission Guidelines: Authors are invited to submit papers electronically in English in PDF format. Submitted manuscripts should be structured as technical papers and BETWEEN 10 AND 12 PAGES, including figures, tables and references, using Springer's Lecture Notes in Computer Science (LNCS) format at <http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>. Papers with less than 10 or more than 12 pages will not be accepted due to publisher guidelines. Submissions should include abstract, key words and the e-mail address of the corresponding author. Papers not conforming to these guidelines may be returned without review. All manuscripts will be reviewed and will be judged on correctness, originality, technical strength, significance, quality of presentation, and interest and relevance to the conference attendees. Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines will be rejected without review and further action may be taken, including (but not limited to) notifications sent to the heads of the institutions of the authors and sponsors of the conference. Submissions received after the due date or not appropriately structured may also not be considered. The proceedings will be published in Springer's LNCS as post-conference proceedings. At least one author of an accepted paper must register for and attend the workshop for inclusion in the proceedings. Authors may contact the workshop program chairs for more information. Important websites: - Resilience 2017 Website: <http://www.csm.ornl.gov/srt/conferences/Resilience/2017> - Resilience 2017 Submissions: <https://easychair.org/conferences/?conf=europar2017workshops> - Euro-Par 2017 website: <http://europar2017.usc.es> Topics of interest include, but are not limited to: - Theoretical foundations for resilience: - Metrics and measurement - Statistics and optimization - Simulation and emulation - Formal methods - Efficiency modeling and uncertainty quantification - Fault detection and prediction: - Statistical analyses - Machine learning - Anomaly detection - Data and information collection - Visualization - Monitoring and control for resilience: - Platform and application monitoring - Response and recovery - RAS theory and performability - Application and platform knobs - Tunable fidelity and quality of service - End-to-end data integrity: - Fault tolerant design - Degraded modes - Forward migration and verification - Fault injection - Soft errors - Silent data corruption - Enabling infrastructure for resilience: - RAS systems - System software and middleware - Programming models - Tools - Next-generation architectures - Resilient solvers and algorithm-based fault tolerance: - Algorithmic detection and correction of hard and soft faults - Resilient algorithms - Fault tolerant numerical methods - Robust iterative algorithms - Scalability of resilient solvers and algorithm-based fault tolerance Important Dates: - Workshop papers due: May 5, 2017 - Workshop author notification: June 16, 2017 - Workshop early registration: TBD - Workshop paper (for informal workshop proceedings): July 21, 2017 - Workshop camera-ready papers: October 3, 2017 General Co-Chairs: - Stephen L. Scott Senior Research Scientist - Systems Research Team Tennessee Tech University and Oak Ridge National Laboratory, USA scottsl(a)ornl.gov - Chokchai (Box) Leangsuksun, SWEPCO Endowed Associate Professor of Computer Science Louisiana Tech University, USA box(a)latech.edu Program Co-Chairs: - Patrick G. Bridges University of New Mexico, USA bridges(a)cs.unm.edu - Christian Engelmann Oak Ridge National Laboratory , USA engelmannc(a)ornl.gov Program Committee: - Ferrol Aderholdt, Oak Ridge National Laboratory, USA - Dorian Arnold, University of New Mexico, USA - Rizwan Ashraf, Oak Ridge National Laboratory, USA - Wesley Bland, Intel Corporation, USA - Hans-Joachim Bungartz, Technical University of Munich, Germany - Franck Cappello, Argonne National Laboratory and University of Illinois at Urbana-Champaign, USA - Marc Casas, Barcelona Supercomputer Center, Spain - Zizhong Chen, University of California at Riverside, USA - Robert Clay, Sandia National Laboratories, USA - Miguel Correia, Universidade de Lisboa, Portugal - Nathan DeBardeleben, Los Alamos National Laboratory, USA - James Elliott, Sandia National Laboratories, USA - Kurt Ferreira, Sandia National Laboratories, USA - Michael Heroux, Sandia National Laboratories, USA - Saurabh Hukerikar, Oak Ridge National Laboratory, USA - Dieter Kranzlmueller, Ludwig-Maximilians University of Munich, Germany - Sriram Krishnamoorthy, Pacific Northwest National Laboratory, USA - Ignacio Laguna, Lawrence Livermore National Laboratory, USA - Scott Levy, University of New Mexico, USA - Kathryn Mohror, Lawrence Livermore National Laboratory, USA - Christine Morin, INRIA Rennes, France - Dirk Pflueger, University of Stuttgart, Germany - Nageswara Rao, Oak Ridge National Laboratory, USA - Alexander Reinefeld, Zuse Institute Berlin, Germany - Rolf Riesen, Intel Corporation, USA - Yves Robert, ENS Lyon, France - Thomas Ropars, Universite Grenoble Alpes, France - Martin Schulz, Lawrence Livermore National Laboratory, USA - Keita Teranishi, Sandia National Laboratories, USA -- Christian Engelmann, Ph.D. R&D Staff Scientist Computer Science Research Group Computer Science and Mathematics Division Oak Ridge National Laboratory Mail: P.O. Box 2008, Oak Ridge, TN 37831-6173, USA Phone: +1 (865) 574-3132 / Fax: +1 (865) 576-5491 e-Mail: engelmannc(a)ornl.gov / Home: www.christian-engelmann.info

2 10

IEEE HPCS Workshop on High Performance Computing Systems for Bioinformatics and Life Sciences (BILIS 2017) - Ext Deadline
by Mario Cannataro 03 Oct '18

03 Oct '18

I apologize for any cross-posting of this announcement. ======================================================================================== Int. Workshop on High Performance Computing Systems for Bioinformatics and Life Sciences (BILIS 2017) http://hpcs2017.cisedu.info/conference/workshops---hpcs2017/workshop17-bilis July 17 – July 21, 2017 Genoa, Italy held in conjunction with International Conference on High Performance Computing & Simulation (HPCS 2017) http://hpcs17.cisedu.info/ ======================================================================================== * * * CALL FOR PAPERS * * * EXTENDED Submission Deadline: April 15, 2017 Submissions could be for full papers, short papers, poster papers, or posters ======================================================================================== IMPORTANT DATES Paper Submissions: --------------------------------- April 15, 2017 - Extended Acceptance Notification: --------------------------- April 28, 2017 Camera Ready Papers and Registration Due by: ------- May 11, 2017 Conference Dates: --------------------------------- July 17 – 21, 2017 ======================================================================================== SCOPE AND OBJECTIVES Incorporating new advancements of Information Technology (IT) in general and High Performance Computing (HPC) in particular in the domain of Life Sciences and Biomedical Research continues to receive tremendous attention of researchers, biomedical institutions and the rest of the biomedical community. Although medical instruments have benefited a great deal from the technological advances of the couple of decades, the impact of integrating IT advancements in addressing critical problems in biomedical research remains limited and the process of penetrating IT tools in the medical profession continues to be a very challenging problem. For example, the use of electronic medical records and Hospital Information Systems in improving health care remains fragmented. Similarly, the use of advanced computational tools seamlessly in the biomedical research cycle continues to be minimal. Due to the computational intensive problems in life sciences, the marriage between the Bioinformatics domain and high performance computing is critical to the advancement of Biosciences. In addition, the problems in this domain tend to be highly parallelizable and deal with large datasets, hence using HPC is a natural fit. The Bioinformatics domain is rich in applications that require extracting useful information from very large and continuously growing sequence of databases. Most methods used for analyzing DNA/Protein sequences are known to be computationally intensive, providing motivation for the use of powerful computational systems with high throughput characteristics. Moreover, high-throughput wet lab platforms such as next generation sequencing, microarray and mass spectrometry, are producing a huge amount of experimental "omics" data. The increasing availability of omics data poses new challenges to bioinformatics applications that need to face in a semi-automatic way an overwhelming availability of raw data. Main challenges regard: 1) the efficient storage, retrieval and integration of experimental data; 2) their efficient and high-throughput preprocessing and analysis; 3) the building of reproducible "in silico" experiments; 4) the integration of analysis results with pre-existing knowledge usually stored into ontologies. As the storage, preprocessing and analysis of raw experimental data is becoming the main bottleneck of the analysis pipeline, parallel computing is playing an important role in all steps of the life sciences research pipeline, from raw data management and processing, to data integration and analysis, and to data exploration and visualization. Moreover, Cloud Computing is becoming the key technology to hide the complexity of computing infrastructures, to reduce the cost of the data analysis task, and especially to change the overall business model of biomedical research and health provision. Considering the complex analysis pipeline of the biomedical research, the bottleneck is more and more moving toward the storage, integration, and analysis of experimental data, as well as their correlation and integration with publicly available data banks In such a scenario, large-scale distributed databases and parallel bioinformatics tools are key tools for organizing and exploring biological and biomedical data with the aim to discover new knowledge in biology and medicine. In the current Information age, further progress of Medical Sciences requires successful integration with Computational and Information Sciences. The workshop attempts to attract innovative ways of how such integration can be achieved via Bioinformatics and Biomedical Informatics research, particularly in taking advantage of the new advancements in HPC systems. The focus of data analysis and data mining tools in biomedical research highlights the current state of research in the key biomedical research areas such as bioinformatics, medical informatics and biomedical imaging. Addressing performance concerns in managing and accessing medical data, while facilitating the ability to integrate and correlate different biomedical databases remains an outstanding problem in biomedical research. The amount of available biomedical data continues to grow in an exponential rate; however, the impact of utilizing such resources remains minimal. The development of innovative tools in HPC environments to integrate, analyze and mine such data sources is a key step towards achieving large impact levels. The workshop focuses on topics related to the utilization of HPC systems and new models of parallel computing and cloud computing in problems related to Biomedical Informatics and Life Sciences, along with the use of data integration and data mining tools to support biomedical research and Health Care. The BILIS Workshop topics include (but are not limited to) the following: HPC for the Analysis of Biological Data Bioinformatics Tools for Health Care Parallel Algorithms for Bioinformatics Applications Ontologies in Biology and Medicine Integration and Analysis of Molecular and Clinical Data Parallel Bioinformatics Algorithms Algorithms and Tools for Biomedical Imaging and Medical Signal Processing Energy Aware Scheduling Techniques for Large Scale Biomedical Applications HPC for analyzing Biological Networks Next Generation Sequencing and Advanced Tools for DNA Assembly HPC for Gene, Protein/RNA Analysis and Structure Prediction Identification of Biomarkers Biomedical Visualization Tools Efficient Clustering and Classification Algorithms Correlation Networks in Biomedical Research Data Mining Techniques in Biomedical Applications Heterogeneous Data Integration HPC systems for Ontology and Database Integration Pattern Recognition and Search Tools in Biological and Clinical Databases Ubiquitous Medical Knowledge Discovery and Exchange HPC for Monitoring and Treatment Facilities Drug Design and Modeling Computer Assisted Surgery and Medical Procedures Remote Patient Monitoring, Homecare Applications Mobile and Wireless Healthcare and Biomedical Applications Cloud Computing for Bioinformatics, Medicine, and Health Systems INSTRUCTIONS FOR PAPER SUBMISSIONS You are invited to submit original and unpublished research works on above and other topics related to HPC for Bioinformatics, Healthcare and Life Sciences. Submitted papers must not have been published or simultaneously submitted elsewhere. For Regular papers, please submit a PDF copy of your full manuscript, not to exceed 8 double-column formatted pages per template, and include up to 6 keywords and an abstract of no more than 400 words. Additional pages will be charged additional fee. Submission should include a cover page with authors' names, affiliation addresses, fax numbers, phone numbers, and all authors email addresses. Please, indicate clearly the corresponding author(s) although all authors are equally responsible for the manuscript. Short papers (up to 4 pages), poster papers and posters (please refer to http://hpcs2017.cisedu.info/1-call-for-papers-and-participation/call-for-po… for posters submission details) will also be considered. Please specify the type of submission you have. Please include page numbers on all preliminary submissions to make it easier for reviewers to provide helpful comments. Submit a PDF copy of your full manuscript to the workshop organizers via email as attachments to Hesham Ali: hali(a)unomaha.edu, Mario Cannataro: cannataro(a)unicz.it. Acknowledgement will be sent within 48 hours of submission. Only PDF files will be accepted, uploaded to the submission link above. Each paper will receive a minimum of three reviews. Papers will be selected based on their originality, relevance, significance, technical clarity and presentation, language, and references. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. At least one of the authors of each accepted paper will have to register and attend the HPCS 2017 conference to present the paper at the workshop. PROCEEDINGS Accepted papers will be published in the Conference proceedings. Instructions for final manuscript format and requirements will be posted on the HPCS 2017 Conference web site. It is our intent to have the proceedings formally published in hard and soft copies and be available at the time of the conference. The proceedings is projected to be included in the IEEE or ACM Digital Library and indexed in all major indexing services accordingly. SPECIAL ISSUE Plans are underway to have the best papers, in extended version, selected for possible publication in a journal as special issue. Detailed information will soon be announced and will be made available on the conference website. If you have any questions about paper submission or the workshop, please contact the workshop organizers. IMPORTANT DATES Paper Submissions: ------------------------------------ April 15, 2017 - Extended Acceptance Notification: ------------------------------ April 28, 2017 Camera Ready Papers and Registration Due by: ---------- May 11, 2017 Conference Dates: ------------------------------------ July 17 – 21, 2017 WORKSHOP ORGANIZERS Prof. Hesham H. Ali Department of Computer Science College of Information Science and Technology University of Nebraska at Omaha Omaha, NE 68182 USA Email: hesham(a)unomaha.edu Prof. Mario Cannataro Department of Medical and Surgical Sciences University "Magna Græcia" of Catanzaro Viale Europa (Località Germaneto) 88100 Catanzaro, Italy Email: cannataro(a)unicz.it

1 7

CFP, Special session - Hybrid Life: Approaches to integrate biological, artificial and cognitive systems, ALife 2018
by Manuel Baltieri 21 Mar '18

21 Mar '18

[Apologies for cross-posting] ********** Call for Papers ********** Special session - Hybrid Life: Approaches to integrate biological, artificial and cognitive systems https://sites.google.com/view/hybrid-life/ <https://sites.google.com/view/hybrid-life/> 2018 Artificial Life conference (ALife) Tokyo, JAPAN, 23-27 July 2018 - http://2018.alife.org/ <http://2018.alife.org/> --------------------------------------------------------------------------------------------- DESCRIPTION: The main focus of ALife research is the study of natural systems with the goal of understanding what life is. More concretely, ALife defines ways to investigate processes that contribute to the formation and proliferation of living organisms. In this session we focus on three common approaches to tackle this investigation, proposing ways to integrate, extend and possibly improve them. More specifically we refer to: 1) the formalisation of the necessary properties for the definition of life, 2) the implementation of artificial agents, and 3) the study of the relation between life and cognition. For this special session we propose to start from these well-established Alife methodologies, and extend them through: a unified formal language for the description and modelling of living, as well as artificial and cognitive systems, e.g. control theory, Bayesian inference, dynamical systems theory, etc., the exploration of biological creatures enhanced by artificial systems (or artificial systems augmented with organic parts) in order to investigate the boundaries between living and nonliving organisms, and the evaluation of coupled biological-artificial systems that could shed light on the importance of interactions among systems for the study of living and cognitive organisms. This special sessions aims to invite contributions from the fields of psychology, computational neuroscience, HCI, theoretical biology, artificial intelligence, robotics and cognitive science to discuss current research on the formalisation, combination and interaction of artificial/living/cognitive systems from theoretical, modelling and implementational perspectives. Potential topics include, but are not limited to: Formalisation of life and cognition (e.g. dynamical systems theory, stochastic optimal control, Bayesian inference, etc.) Cognitive robotics Autopoiesis Life-mind continuity thesis Systems biology Origins-of-life theories with relationships to artificial and cognitive systems Animal-robot interaction Bio-inspired robotics Bio-integrated robotics Human-machine interaction Augmented cognition Sensory substitution Interactive evolutionary computation Artificial perception Important Dates 19th March 2018 – Paper submission deadline 23rd April 2018 – Paper acceptance notification 21st May 2018 – Camera-ready version 23-27th July 2018 – Artificial Life conference (ALife), Tokyo, Japan Paper Submission Papers and abstracts submitted to this special sessions will be reviewed by a selected group of experts from the a-life community as well as from other areas key to our proposal, specifically chosen for this review process. If you are submitting to a special session you will be given the opportunity to select it during the submission process. Submissions to special sessions follow the same format, instructions and deadlines of regular ALife papers. Organizers Manuel Baltieri, University of Sussex, Brighton, UK. m.baltieri(a)sussex.ac.uk <mailto:m.baltieri@sussex.ac.uk> Keisuke Suzuki, University of Sussex, Brighton, UK. k.suzuki(a)sussex.ac.uk <mailto:filippo.m.bianchi@uit.no> Hiryuki IIzuka, Hokkaido University, Sapporo, Japan hiroyukiiizuka(a)gmail.com <mailto:hiroyukiiizuka@gmail.com> Contacts For questions, enquiries and more information please check our website https://sites.google.com/view/hybrid-life/ <https://sites.google.com/view/hybrid-life/> or get in touch with m.baltieri(a)sussex.ac.uk <mailto:m.baltieri@sussex.ac.uk>. All the best, -- Manuel Baltieri, EASy group Department of Informatics, University of Sussex, UK Twitter: @manuelbaltieri

2 3

To distribute the SecureComm 2018 CFP
by Sankardas Roy 15 Feb '18

15 Feb '18

Hi, I am a publicity co-chair of the SecureComm 2018 conference (web: http://securecomm.org). We would like to distribute the CFP to your members. Could you please let me know how I may proceed? Best regards, Sankar Assistant Professor, Computer Sc. Department Bowling Green State University 238 Hayes Hall, Phone: 419-372-2342

1 3

Fwd: CFP: J.UCS New trends in Semantic Web-based applications
by Miguel Angel Rodriguez Garcia 27 Dec '17

27 Dec '17

Apologise for duplicated emails Journal of Universal Computer Science (J.UCS) Special Issue *New trends in Semantic Web-based applications* *Description and Scope:* Semantic Web technologies are becoming more relevant to the research community. Such interest has inspired many people to create innovative technologies and applications such as Semantic Searches, Information Integration, Information Interoperability, Bioinformatics, eHealth, eLearning, Software Engineering, eCommerce, eGovernment, Social Networks. In this sense, the application of semantic web has carried out an extensive use of ontologies in such diverse fields. The application of ontologies has supposed an incredible advance in developing techniques to manipulate, share, reuse and integrate information across heterogeneous data sources. In particular, in Big Data to preserve such homogeneous format has become one of the principal problems that these tremendous datasets are facing. To face this difficulty, research areas like Natural Language Processing, Ontology Matching, Ontology Alignment or Ontology population are providing efficient methodologies based on RDF and OWL language technologies to provide standard ways to convert such datasets into Linked Data uniform format. Nowadays, the usage of Linked Data format has been established as a de facto standard; everyone wants to publish their data in such format, Social Networks, Smart cities and Context-aware mobile applications. Thus, according to this demand, the development of certain techniques to enable users to publish, visualize and manipulate their data in an easy way is high-demanded. Also, the standardization of this linked format has completely revolutionized the way of representing and analyzing data demanding new graph-based machine learning and data mining techniques to explore such representation. On the other hand, with the arrival of ontologies, fundamental questions have emerged about which kind of elements should be defined in an ontology model to specify knowledge and how this knowledge should be represented. In response to these questions, Ontological Engineering, Knowledge Representation and Reasoning research areas are working intensively to develop generic models which enable systems to employ reasoning techniques to produce knowledge. Therefore, the main objective of this special issue is to collect and consolidate innovative and high-quality research contributions regarding to semantic Web-based applications applied to different disciplines such as Artificial Intelligence, Database Management, Knowledge Representation and Engineering, Natural Language and Processing, Cloud Computing, Social Web, Web Science, among others. This special issue aims to provide insights on the recent advances in these topics by soliciting original scientific contributions in the form of theoretical foundations, models, experimental research and case studies for developing semantic Web-based applications. *Topics of interest include, but are not restricted to:* • Knowledge Representation and Reasoning • Knowledge Acquisition • Ontological Engineering • Ontology Sharing and Reuse • Ontology Matching and Alignment • Ontology Learning and Population • Semantic Web Semantic Integration of heterogeneous data sources • Natural Language Processing and Information Retrieval using Semantic technologies • Social Semantic Web and Web science • Knowledge-based Decision Support Systems • Linked Data Applications Industrial Applications and Case-studies • Context-aware visualization and interaction technique • Visualizations and user interfaces for ontologies and Linked Data • Consumption and publication of Linked Data • Extraction, linking and integration of Linked Data • Social Networks and Graph Analysis • Web mining and Web search systems • Semantic Data Management technologies for Big Data • Mobile Web, Sensors and Semantic Streams • Services, APIs, Processes and Cloud Computing • Smart Cities, Urban and Geospatial Data • Machine Learning and Data Mining for Web of Data • Solutions for bridging the gap between Web of Data and the Web of Services *Instructions for authors* Authors should submit their paper via email: miguel.rodriguez(a)urjc.es, valencia(a)um.es and galor(a)itorizaba.edu.mx and the subject of the email should be: “J.UCS SI Submission: Semantic Web”. All manuscripts for this special issue should be submitted electronically by December 29th, 2017. Submissions will be reviewed by at least 2 reviewers following a double-blind review process. Invited authors for extended versions of conference papers must include at least 30-50% additional materials relative to conference papers and the title of the extended version must clearly and unmistakably differ from the title of the paper presented at the conference. The length of the manuscript may not exceed 20 pages. Authors’ papers should accord to the J.UCS Style Guide for Authors which can be found at the following URL: http://www.jucs.org/ujs/jucs/ info/submissions/style_guide.html *Important Dates* Working schedule • Submission deadline: February 28th, 2018 • Completion of first‐round reviews: April 1st, 2018 • Revised papers: May 30th, 2018 • Target of the second (last) round of reviews: August, 15th, 2018 • Publication (tentative): 2018 *Guest Editors* • Miguel Ángel Rodríguez-García, Universidad Rey Juan Carlos, Spain ( miguel.rodriguez(a)urjc.es) • Rafael Valencia-García, Universidad de Murcia, Spain (valencia(a)um.es) • Giner Alor-Hernández, Instituto Tecnológico de Orizaba, México ( galor(a)itorizaba.edu.mx)

1 0

2nd Call for papers SS on ICPS Conference extended to January 31, 2018
by Gerardo Beruvides Lopez 26 Dec '17

26 Dec '17

Dear Colleague, We are glad to announce the second Call for Papers for the Special Session on Innovative Computational Intelligence Knowledge-based Solutions for Zero Defect Scenarios on Industrial Cyber-Physical Systems. The Special Session has been included in the 1st IEEE International Conference on Industrial Cyber-Physical Systems (IEEE ICPS 2018) programme, May 15-18, 2018, Saint Petersburg, Russia. All accepted paper will appear in IEEE Xplore Digital Library and the good quality paper may be considered for publication in IEEE Transactions on Industrial Informatics subjects to further rounds of review. Topics of interest include: - Predictive and prescriptive artificial intelligence architectures for ICPS - Real-time machine condition monitoring & diagnostic for global environments - Advance knowledge representation methodologies and ontologies - Pattern recognition and identification based on big data analytics in ICPS - Crowdsourcing and crowd cloud computing methodologies - Self-adaptive & self-reconfiguration system development methods - Virtual modelling and simulators for zero defect ICPS scenarios - Connected ICPS network sensors for smart manufacturing environments - Innovative deep learning topologies for ICPS applications Important Dates Paper submission deadline extended to: January 31, 2018 Paper acceptance: February 28, 2018 Final paper submission: March 31, 2018 Information on the IEEE ICPS 2018 will be regularly updated in the Conference website: http://icps2018.net/ I should be very grateful if you could publicize this event among your colleagues. For more information, please do not hesitate to contact me. Merry Christmas and Happy New Year, Best regards, Gerardo Beruvides SS-Chairman -- Gerardo Beruvides López, PhD Centro de Automática y Robótica, CSIC - UPM Ctra. de Campo Real Km. 0.200 La Poveda, Arganda del Rey C.P. 28500 Madrid - Spain gerardo.beruvides(a)car.upm-csic.es - http://www.gamhe.eu personal email: beruvides85(a)gmail.com Phone: (+34) 91 871 19 00 Ext. 244 Fax: (+34) 91 871 70 50

1 0

IEEE ISORC 2018 CALL FOR PAPERS
by sidharta andalam 26 Dec '17

26 Dec '17

The 21st IEEE INTERNATIONAL SYMPOSIUM ON REAL-TIME COMPUTING (ISORC) Nanyang Technological University, Singapore Dates: 29th - 31st May 2018. https://cps-research-group.github.io/ISORC2018/index.html Important dates: -------------------------- Submission deadline: February 2, 2018 Acceptance notification: March 16, 2018 Camera-ready papers: March 22, 2018 Main theme and topics: -------------------------- ISORC has become established as the leading event devoted to state-of-the-art research in the field of object/component/service-oriented real-time distributed computing (ORC) technology. The conference theme for 2018 will be decentralized time-sensitive computing and enabling software infrastructures. This theme will focus on both: (1) Cloud infrastructures and platforms for time-sensitive computation and real-time computing (2) Algorithms and Computational Infrastructure to support complex social cyber-physical systems combining edge, fog, and cloud. We solicit high-quality papers pertaining to all aspects of ORC technology and especially those that are well aligned with the 2018 theme. Authors are encouraged to consider submissions with a practical orientation and validation related to case studies & applications in this area. The specific ORC focus areas include, but are not limited to: * Programming and system engineering: real-time programming challenges, ORC paradigms, object/component models, languages and synchronous languages. * Embedded distribution middleware middleware such as .NET, RT RMI, RT Java, UML, model-maintenance, system of systems, time-predictable systems and hardware. * Distributed computing and communication infrastructures: real-time communication, networked platforms, protocols, Internet QoS, peer-to-peer computing, sensor networks, VANETS and V2V and V2I communication, trusted and dependable systems. * Algorithms for Real Time Analytics: clustering and classification approaches, stream processing algorithms, real time decision tree generation and update, real time machine learning, statistical approaches. Approaches related to stream correlation and sampling. * System software: real-time kernels and OS, middleware support for ORC, QoS management, extensibility, synchronization, resource allocation, scheduling, fault tolerance, security. * Real-time algorithms and infrastructure support for decentralized architectures including distributed ledgers with a focus on scalability and resilience. * Applications: Medical devices, intelligent transportation systems, Industrial automation systems and Industry 4.0, Internet of Things and Smart Grids, Embedded systems (automotive, avionics, consumer electronics, building systems, sensors, etc.), multimedia processing, RT Web-based applications. * System evaluation: performance analysis, monitoring & timing, dependability, end-to-end QoS, overhead, fault detection and recovery time. * Cyber-physical and Cyber-social systems (e.g. social media analytics) Submission guidelines: -------------------------- IEEE ISORC 2018 invites papers in three categories. 1) Regular Research Papers: Papers should describe original work and be maximum 8 pages in length using the IEEE paper format. A maximum of two extra pages may be purchased. 2) Industrial Papers and Practitioner Reports: Papers describing experiences of using ORC technology in application or tool development projects, are an integral part of the technical program of ISORC. A majority of these papers are expected to be shorter and less formal than research papers. They should clearly identify and discuss in detail the issues that represent notable industrial advances. Reports with project metrics supporting their claims are particularly sought, as well as those that show both benefits and drawbacks of the approaches used in the given project. 3) Short Papers: Short research papers, 4 pages or less using the IEEE format, on real-time analytics are also invited, and should contain enough information for the program committee to understand the scope of the project and evaluate the novelty of the problem or approach. Best papers from ISORC 2018 will be invited for submission to a Special Issue of Journal of Systems Architecture. The special issue will be open to general submissions as well. The call for paper is available at https://www.journals.elsevier.com/journal-of-systems-architecture/call-for-… . All accepted submissions will appear in the proceedings published by IEEE. Each accepted paper shall be accompanied by at least one non student conference registration. Organizing Committee --------------------- Arvind Easwaran, Nanyang Technological University, Singapore Paul Townend, University of Leeds, UK Joel Sherill, OAR Corporation, USA Marisol Garcia-Valls, Universidad Carlos III de Madrid, Spain Abhishek Dubey, Vanderbilt University, USA Qixin Wang, The Hong Kong Polytechnic University, Hong Kong SAR, China Rui Tan, Nanyang Technological University, Singapore Sidharta Andalam, Nanyang Technological University, Singapore Uwe Brinkschulte, Goethe University Frankfurt am Main, Germany Rob Pettit, The Aerospace Corporation, USA

1 0

Research Fellow Position in IoT Networks
by Tan Rui (Asst Prof) 26 Dec '17

26 Dec '17

A Research Fellow position is immediately available at Nanyang Technological University (NTU), Singapore. This position is part of a corporate lab initiative involving NTU and Delta Electronics, a leading electronics manufacturing company. The successful candidate will conduct research to improve the resilience of industrial IoT networks against dynamic environment conditions and cyber-attacks. The candidate should have obtained a Ph.D. degree in computer science or computer engineering (or relevant disciplines) and demonstrated strong research ability by publications on prestigious venues in networking. Knowledge and experiences on software-defined networking (SDN) are strong pluses. The candidate will work with a research team including multiple NTU faculty members and Delta engineers. The position will provide an excellent opportunity to perform both basic and translational research in close collaboration with industry. Other advantages of the position include (1) stable multi-year fund subject to satisfactory performance, (2) various opportunities in Singapore's strategic cyber resilience research cluster, e.g., Temasek Fellowship (http://www3.ntu.edu.sg/trf/index_trf.html), and (3) high-quality living and low tax rates in Singapore. Interested candidates can send CV with full publication list to Dr. Rui Tan at tanrui(a)ntu.edu.sg ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Rui Tan Assistant Professor School of Computer Science and Engineering Nanyang Technological University ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ________________________________ CONFIDENTIALITY: This email is intended solely for the person(s) named and may be confidential and/or privileged. If you are not the intended recipient, please delete it, notify us and do not copy, use, or disclose its contents. Towards a sustainable earth: Print only when necessary. Thank you.

1 0

Reminder: Special Issue on Dynamic Geometry and Automated Reasoning Journal Symbolic Computation
by Prof. Tomas Recio 25 Dec '17

25 Dec '17

Please help us disseminating this announcement. Sorry for duplicates. Please notice the submission deadline of February 2018! Further details follow: *** CALL FOR PAPERS *** Call for contributions to the JSC Special Issue on Dynamic Geometry and Automated Reasoning https://sites.google.com/site/kovzol/jsc-si-dg-ar <https://sites.google.com/site/kovzol/jsc-si-dg-ar> JSC=Journal of Symbolic Computation* https://www.journals <https://www.journals/>. elsevier.com/journal-of-symbolic-computation <http://elsevier.com/journal-of-symbolic-computation> GUEST EDITORS: Francisco Botana, University of Vigo, Spain Zoltán Kovács, The Private University College of Education of the Diocese of Linz, Austria Tomas Recio, University of Cantabria, Spain IMPORTANT DATES submission deadline: February 1, 2018 notification of acceptance / rejection: July 1, 2018 final versions: September 15, 2018 SCOPE: Since the last half century, automated deduction in elementary geometry has become one of the most successful achievements in the field of automated reasoning. Along these decades various methods and techniques have been studied and developed for automated proving and discovering of elementary geometry statements. On the other hand, dynamic geometry software systems have emerged, such as Cabri Geometry, C.a.R., Cinderella, DrGeo, GeoGebra, The Geometer's Sketchpad, Geometry Expert, Geometry Expressions or Kig with an ever-increasing presence in mathematics education. Some of them possess a large number of users (over thirty million) all around the world. The merging of these two tools (automatic proving and dynamic geometry) is, thus, a very natural, challenging and promising issue, currently involving logic, symbolic computation, software development, algebraic geometry and mathematics education experts all from over the world. The Special Issue intends to be an opportunity for - presenting the current state of the art concerning the development of automatic proving features on dynamic geometry systems, - discussing the current and potential applications of such features in different contexts, such as CAGD or mathematics education. TOPICS (not restricted to): - Algorithmic aspects: formal, logic and algebraic geometry approaches, constraint solving, invariant and coordinate-free methods, real and complex geometry issues, probabilistic, synthetic approaches, techniques from discrete mathematics, combinatorics, and numerics. - Software aspects: Implementation of automated proving methods in dynamic geometry programs, design of packages and systems, data representation. Parallel and distributed computing, considerations for modern hardware and new devices. User-interface issues, use with systems for digital libraries, courseware, ... - Application aspects: applications to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics and education. Papers must not duplicate work already published or submitted for publication elsewhere. All the papers will be refereed according to the JSC standards. Papers should follow the guidelines for JSC submissions (see https://www.elsevier.com/journals/journal-of-symbolic-computation/0747-7171… <https://www.elsevier.com/journals/journal-of-symbolic-computation/0747-7171…>), and should be submitted through Easychair (https://easychair.org/conferences/?conf=jscdgarsi2018 <https://easychair.org/conferences/?conf=jscdgarsi2018>). The introduction of the paper must explicitly address the following questions in succinct and informal manner: - What is the problem? - Why is the problem important? - What has been done so far on the problem? - What is the main contribution of the paper on the problem? - Why is the contribution original? (see below for clarification) - Why is the contribution non-trivial? Make the paper complete (since there is no page limit): - All the related works and issues must be completely and carefully discussed. - All the previous relevant JSC papers must be properly cited and discussed. - All the theorems must be rigorously proved (no sketch allowed). - All the important definitions/theorems/algorithms must be illustrated by well-chosen examples. * An international journal, the Journal of Symbolic Computation, founded by Bruno Buchberger in 1985, is directed to mathematicians and computer scientists who have a particular interest in symbolic computation. Automated theorem proving is one of the research areas of interest highlighted in the Journal’s description. The Journal of Symbolic Computation has a 1.274 Impact Factor, according to the last Thompson Reuters Journal Citation Reports (Clarivate Analytics, 2017).

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science December 2017