April 2018 - computational.science

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

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

29 Apr '18

[Apologies for multiple copies] FROM 2018 - Third Call for Papers WORKING FORMAL METHODS SYMPOSIUM (FROM) http://fmse.info.uaic.ro/event/from-2018/ Special Issue in Fundamenta Informaticae 18 - 20 June 2018 Faculty of Computer Science Alexandru Ioan Cuza University Iasi, Romania New! Extended deadline for abstract submissions: 11 May 2018 (firm) Old deadline: 29 April 2018 Notification: 21 May 2018 Invited speakers: Călin Belta, Boston University, US Radu Călinescu, University of York, UK Cătălin Dima, Universite Paris-Est Creteil, France Dragos Gavrilut, Bitdefender and Alexandru Ioan Cuza University, Romania Radu Grigore, School of Computing University of Kent, UK Radu Grosu, Vienna University of Technology, Austria Cătălin Hriţcu, INRIA Paris, France Mircea Marin, West University of Timișoara, Romania Grigore Roşu, University of Illinois at Urbana-Champaign, US Viorica Sofronie-Stokkermans, University Of Koblenz, Landau, Germany Gheorghe Ștefănescu, University of Bucharest, Romania Aims and Scope Formal methods emphasize the use of mathematical techniques and rigour for developing software and hardware. They can be used to specify, verify, and analyse systems at any stage in their life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assumes on one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user effectively apply these methods/frameworks. FROM 2018 is organized by the Faculty of Computer Science at the Alexandru Ioan Cuza University in Iasi, The Research Institute of the University of Bucharest (ICUB), and the Faculty of Mathematics and Computer Science at the University of Bucharest. FROM 2018 is the second event in a a yearly workshop series. The first edition was held in 2017 in Bucharest (see http://unibuc.ro/~conference/from2017) and it included sixteen invited talks, delivered by top researchers in field, and seven contributed talks. Starting with the current edition, the goal is to increase the weight of the contributed talks. The Working Formal Methods Symposium (FROM) aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. PhD Students are highly encouraged to participate and support for accommodation might be available upon request. The program of the symposium will include invited lectures and regular contributions. Submissions on the general topic of theoretical computer science, formal methods and applications are solicited. Areas and formalisms of interest include: - Category theory in computer science - Distributed systems and concurrency - Formal languages and automata theory - Formal modelling, verification and testing - Logic in computer science - Logical frameworks - Mathematical structures in computer science - Models of computation - Semantics of programming languages - Type systems Methods of interest include: - Automated reasoning and model generation - Automated induction - Certified programs - Data-flow and control-flow analysis - Deductive verification - Mechanized proofs - Model checking - Proof mining - Symbolic computation - Term rewriting Applications of interest include: - Computational logic - Computer mathematics - Knowledge representation, ontology reasoning, deductive databases - Program analysis - Verification and synthesis of software and hardware - Uncertainty reasoning and soft computing Submissions Regular contributions will be based on an extended abstract of maximum 4 pages, except references, formatted according to the Springer LNCS guidelines: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The extended abstracts should be submitted before 29 April 2018, via EasyChair: https://easychair.org/conferences/?conf=from2018 The notification of acceptance will be received by 21 May 2018. The authors of the best contributions will be invited to submit extended versions to a special issue of Fundamenta Informaticae. Laurențiu Leuștean, co-chair FROM 2018 Dorel Lucanu, co-chair FROM 2018

1 0

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

25 Apr '18

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

1 0

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

23 Apr '18

[Apologies for multiple copies] FROM 2018 - Second Call for Papers WORKING FORMAL METHODS SYMPOSIUM (FROM) http://fmse.info.uaic.ro/event/from-2018/ New! Special Issue: Fundamenta Informaticae 18 - 20 June 2018 Faculty of Computer Science Alexandru Ioan Cuza University Iasi, Romania Deadline for extended abstract submissions: 29 April 2018 Invited speakers: Călin Belta, Boston University, US Radu Călinescu, University of York, UK Cătălin Dima, Universite Paris-Est Creteil, France Dragos Gavrilut, Bitdefender and Alexandru Ioan Cuza University, Romania Radu Grigore, School of Computing University of Kent, UK Radu Grosu, Vienna University of Technology, Austria Cătălin Hriţcu, INRIA Paris, France Mircea Marin, West University of Timișoara, Romania Grigore Roşu, University of Illinois at Urbana-Champaign, US Viorica Sofronie-Stokkermans, University Of Koblenz, Landau, Germany Gheorghe Ștefănescu, University of Bucharest, Romania Aims and Scope Formal methods emphasize the use of mathematical techniques and rigour for developing software and hardware. They can be used to specify, verify, and analyse systems at any stage in their life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assumes on one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user effectively apply these methods/frameworks. FROM 2018 is organized by the Faculty of Computer Science at the Alexandru Ioan Cuza University in Iasi, The Research Institute of the University of Bucharest (ICUB), and the Faculty of Mathematics and Computer Science at the University of Bucharest. FROM 2018 is the second event in a a yearly workshop series. The first edition was held in 2017 in Bucharest (see http://unibuc.ro/~conference/from2017) and it included sixteen invited talks, delivered by top researchers in field, and seven contributed talks. Starting with the current edition, the goal is to increase the weight of the contributed talks. The Working Formal Methods Symposium (FROM) aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. PhD Students are highly encouraged to participate and support for accommodation might be available upon request. The program of the symposium will include invited lectures and regular contributions. Submissions on the general topic of theoretical computer science, formal methods and applications are solicited. Areas and formalisms of interest include: - Category theory in computer science - Distributed systems and concurrency - Formal languages and automata theory - Formal modelling, verification and testing - Logic in computer science - Logical frameworks - Mathematical structures in computer science - Models of computation - Semantics of programming languages - Type systems Methods of interest include: - Automated reasoning and model generation - Automated induction - Certified programs - Data-flow and control-flow analysis - Deductive verification - Mechanized proofs - Model checking - Proof mining - Symbolic computation - Term rewriting Applications of interest include: - Computational logic - Computer mathematics - Knowledge representation, ontology reasoning, deductive databases - Program analysis - Verification and synthesis of software and hardware - Uncertainty reasoning and soft computing Submissions Regular contributions will be based on an extended abstract of maximum 4 pages, except references, formatted according to the Springer LNCS guidelines: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The extended abstracts should be submitted before 29 April 2018, via EasyChair: https://easychair.org/conferences/?conf=from2018 The notification of acceptance will be received by 21 May 2018. The authors of the best contributions will be invited to submit extended versions to a special issue of Fundamenta Informaticae. Laurențiu Leuștean, co-chair FROM 2018 Dorel Lucanu, co-chair FROM 2018

1 0

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

23 Apr '18

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

1 0

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

22 Apr '18

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

1 0

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

20 Apr '18

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

1 0

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

19 Apr '18

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

1 0