- Haskell - Haskell.org

Numerical Programming in Functional Languages (CfP)
by dominic＠steinitz.org 26 Apr '18

26 Apr '18

I’m the chair this year for the first(!) ACM SIGPLAN International Workshop on Numerical Programming in Functional Languages (NPFL), which will be co-located with ICFP this September in St. Louis, Missouri, USA. Please consider submitting something! All you have to do is submit between half a page and a page describing your talk. There will be no proceedings so all you need do is prepare your slides or demo. We do plan to video the talks for the benefit of the wider world. We have Eva Darulova <https://people.mpi-sws.org/%7Eeva/> giving the keynote. The submission deadline is Friday 13th July but I and the Committee would love to see your proposals earlier. See here <https://icfp18.sigplan.org/track/npfl-2018-papers> for more information. Please contact me if you have any questions! Dominic Steinitz dominic(a)steinitz.org http://idontgetoutmuch.wordpress.com Twitter: @idontgetoutmuch

1 0

[GSoC] 17 students have been accepted for Haskell.org
by Jasper Van der Jeugt 25 Apr '18

25 Apr '18

Hey all, We are happy to announce the 17 projects that have been accepted to participate in Google Summer of Code 2018 for the Haskell.org project. We would like to thank Google for organizing the program, all students who applied for the quality proposals of course the mentors for volunteering to guide the projects! Without further ado, here are the accepted projects: - Visual Tools and Bindings for Debugging in Code World - Help Hadrian - Add support for deprecating exports - Hi Haddock - Improving the GHC code generator - Crucible: A Library for In-Memory Data Analysis in Haskell - Dependently Typed Core Replacement in GHC - Benchmarking graph libraries and optimising algebraic graphs - Improvements to GHC's compilation for conditional constructs. - Support for Multiple Public Libraries in a .cabal package - Functional test framework for the Haskell IDE Engine and Language Server Protocol Library - Native-Metaprogramming Reloaded - Format-Preserving YAML - Enhancing the Haskell Image Processing Library with State of the Art Algorithms - Making GHC Tooling friendly - Helping cabal new-build become just cabal build - Parallel Automatic Differentiation # Visual Tools and Bindings for Debugging in Code World Student: Krystal Maughan Mentors: Chris Smith, Gabriel Gonzalez Visual Debugging tools that will allow various ages to interact with and learn visually while tracing their bugs in Haskell. # Help Hadrian Student: Chitrak Raj Gupta Mentors: Andrey Mokhov, Moritz Angermann Current build systems such as `make` have a very complex structure and are difficult to understand or modify. Hadrian uses functional programming to implement abstractions to make codebase much more comprehensible. Build Rules are defined using Shake Library, and the results produced are much faster and scalable than current make based system. But the in-use implementation of Hadrian is still in development phase and not completely ready to be deployed. I believe that Hadrian will serve a huge assistance in increasing the productivity of Haskell developers. Therefore, the aim of my project will be to push Hadrian a few steps closer to deployment, so that the Haskell community can code with a bit more efficiency. A recent Pull Request by Alp Mestanogullary has implemented a basic rule for binary distribution. Also, I have been able to figure out multiple sources of errors causing validation failures, and my Pull Request has brought the number of failures down significantly. Hence, the major goals of my project will be to: 1. Achieve ghc-quake milestone that is listed in Hadrian. 2. Implement missing features in Hadrian. 3. Build a more comprehensive documentation of Hadrian. # Add support for deprecating exports Student: alanas Mentors: Matthew Pickering, Erik de Castro Lopo Add support of deprecation pragmas within module exports. This would ease the transition between different versions of the software by warning the developers that the functions/types/classes/constructors/modules that they are using are deprecated. # Hi Haddock Student: Simon Jakobi Mentors: Herbert Valerio Riedel, Alex Biehl A long-standing issue with Haskell's documentation tool Haddock is that it needs to effectively re-perform a large part of the parse/template-haskell/typecheck compilation pipeline in order to extract the necessary information from Haskell source for generating rendered Haddock documentation. This makes Haddock generation a costly operation, and makes for a poor developer experience. An equally long-standing suggestion to address this issue is to have GHC include enough information in the generated `.hi` interface files in order to avoid Haddock having to duplicate that work. This would pave the way for following use-cases and/or have the following benefits: 1. Significantly speed up Haddock generation by avoiding redundant work. 2. On-the-fly/lazy after-the-fact Haddock generation in cabal new-haddock and stack haddock for already built/installed Cabal library packages. 3. Add native support for a :doc command in GHCi's REPL and editor tooling (ghc-mod/HIE) similar to the one available in other languages (c.f. the Idris REPL or the Python REPL) 4. Allow downstream tooling like Hoogle or Hayoo! to index documentation right from interface files. 5. Simplify Haddock's code base. # Improving the GHC code generator Student: Abhiroop Sarkar Mentors: Carter Schonwald, Ben Gamari This project attempts to improve the native code generator of GHC by adding support for Intel AVX and SSE SIMD instructions. This support would enable GHC to expose a bunch of vector primitive operations, which can be utilized to by various high performance and scientific computing libraries of the Haskell ecosystem to parallelize their code for free. # Crucible: A Library for In-Memory Data Analysis in Haskell Student: Gagandeep Bhatia Mentors: Marco Zocca, Andika D. Riyandi Note: this project was slightly adjusted from its proposed form after some discussion with the mentors and it will have a stronger focus on improving existing libraries. A typical workflow in interactive data analysis consists of: - Loading data (e.g. a CSV on disk) - Transforming the data - Various data processing stages - Storing the result in some form (e.g. in a database). The goal of this project is to provide a unified and idiomatic Haskell way of carrying out these tasks. Informally, you can think of "dplyr"/"tidyr" from the R ecosystem, but type safe. This project aims to provide a library with the following features: - An efficient data structure for possibly larger-than-memory tabular data. The Frames library is notable prior work, and this project may build on top of it (namely, by extending its functionality for generating types from stored data). - A set of functions to "tidy"/clean the data to bring it to a form fit for further analysis, e.g. splitting one column to multiple columns ("spread") or vice versa ("gather"). - A DSL for performing a representative set of relational operations e.g. filtering/aggregation. # Dependently Typed Core Replacement in GHC Student: Ningning Xie Mentors: Richard Eisenberg In recent years, several works (Weirich et al., 2017; Eisenberg, 2016; Gundry, 2013) have proposed to integrate dependent types into Haskell. However, compatibility with existing GHC features makes adding full-fledged dependent types into GHC very difficult. Fortunately, GHC has many phases underneath so it is possible to change one intermediate language without affecting the user experience, as steps towards dependent Haskell. The goal of this proposal is the replacement of GHC's core language with a dependently-typed variant. # Benchmarking graph libraries and optimising algebraic graphs Student: Alexandre Moine Mentors: Andrey Mokhov, Alois Cochard A graph represents a key structure in computer science and they are known to be difficult to work with in functional programming languages. Several libraries are being implemented to create and process graphs in Haskell, each of them using different graph representation: Data.Graph from containers, fgl, hash-graph and alga. Due to their differences and the lack of a common benchmark, it is not easy for a new user to select the one that will best fit their project. The new approach of alga seems particularly interesting since the way it deals with graphs is based on tangible mathematical results. Still, it is not very user friendly and it lacks some important features like widely-used algorithms or edge labels. Therefore, I propose to develop a benchmarking suite that will establish a reference benchmark for these libraries, as well as to enhance alga's capabilities. # Improvements to GHC's compilation for conditional constructs. Student: Andreas Klebinger Mentors: José Calderón, Joachim Breitner, Ben Gamari While GHC is state of the art in many respects compilation of conditional constructs has fallen behind projects like Clang/GCC. I intend to rectify this by working on the following tasks: - Implement cmov support for Cmm - Use cmov to improve simple branching code - Use lookup tables over jump tables for value selection when useful. - Enable expression of three way branching on values in Cmm code. - Improve placement of stack adjustments and checks. # Support for Multiple Public Libraries in a .cabal package Student: Francesco Gazzetta (@fgaz) Mentors: Mikhail Glushenkov, Edward Yang Large scale haskell projects tend to have a problem with lockstep distribution of packages (especially backpack projects, being extremely granular). The unit of distribution (package) coincides with the buildable unit of code (library), and consequently each library of such an ecosystem (ex. amazonka) requires duplicate package metadata (and tests, benchmarks...). This project aims to separate these two units by introducing multiple libraries in a single cabal package. This proposal is based on <https://github.com/haskell/cabal/issues/4206> by ezyang. # Functional test framework for the Haskell IDE Engine and Language # Server Protocol Library Student: Luke Lau Mentors: Alan Zimmerman The Haskell IDE Engine is a Haskell backend for IDEs, which utilises the Language Server Protocol to communicate between clients and servers. This projects aims to create a test framework that can describe a scenario between an LSP client and server from start to finish, so that functional tests may be written for the IDE engine. If time permits, this may be expanded to be language agnostic or provide a set of compliance tests against the LSP specification. # Native-Metaprogramming Reloaded Student: Shayan Najd Mentors: Ben Gamari, Alan Zimmerman The goal is to continue on an ongoing work, utilising the Trees that Grow technique, to introduce native-metaprogramming in GHC. Native-metaprogramming is a form of metaprogramming where a metalanguage's own infrastructure is directly employed to generate and manipulate object programs. It begins by creating a single abstract syntax tree (AST) which can serve a purpose similar to what is currently served by Template Haskell (TH), and the front-end AST inside GHC (HsSyn). Meta-programs could then leverage, much more directly, the machinery implemented in GHC to process Haskell programs. This work can also possibly integrate with Alan Zimmerman's work on compiler annotations in GHC, and enable a better IDE support. # Format-Preserving YAML Student: Wisnu Adi Nurcahyo Mentors: Tom Sydney Kerckhove, Jasper Van der Jeugt Sometime Stack (The Haskell Tool Stack) ask us to add an extra dependency manually. Suppose that we use the latest Hakyll that needs a `pandoc-citeproc-0.13` which is missing in the latest stable Stack LTS. Stack asks us to add the extra dependency to solve this problem. Wouldn't it be nice if Stack could add the extra dependency by itself? # Enhancing the Haskell Image Processing Library with State of the Art # Algorithms Student: khilanravani Mentors: Alp Mestanogullari The project proposed here aims to implement different classes of Image processing algorithms using Haskell and incorporate the same to the existing code base of Haskell Image Processing (HIP) package. The algorithms that I plan to incorporate in the HIP package have vast applications in actual problems in image processing. Including these algorithms to the existing code base would help more and more users to really use Haskell while working on some computer vision problems and this would make Haskell (kind of) ahead in the race of with functional programming languages such as Elm or Clojure (since their image processing libraries are pretty naive). In this way, this project can substantially benefit the Haskell organization as well as the open source community. Some of the algorithms proposed here include the famous Canny edge detection, Floyd - Steinberg (Dithering) along with other popular tools used in computer vision problems. # Making GHC Tooling friendly Student: Zubin Duggal Mentors: Ben Gamari, Gershom Bazerman, Joachim Breitner GHC builds up a wealth of information about Haskell source as it compiles it, but throws all of it away when it's done. Any external tools that need to work with Haskell source need to parse, typecheck and rename files all over again. This means Haskell tooling is slow and has to rely on hacks to extract information from GHC. Allowing GHC to dump this information to disk would simplify and speed up tooling significantly, leading to a much richer and productive Haskell developer experience. # Helping cabal new-build become just cabal build Student: typedrat Mentors: Herbert Valerio Riedel Mikhail Glushenkov While much of the functionality required to use the `new-*` commands has already been implemented, there are not-insignificant parts of the design that was created last year that remain unrealized. By completing more of this design, I plan to help the `new-` prefix go away and to allow this safer, cleaner system to replace old-style cabal usage fully by rounding off the unfinished edges of the current proposal. # Parallel Automatic Differentiation Student: Andrew Knapp Mentors: Trevor L. McDonell, Edward Kmett, Alois Cochard Automatic Differentation (AD) is a technique for computing derivatives of numerical functions that does not use symbolic differentiation or finite-difference approximation. AD is used in a wide variety of fields, such as machine learning, optimization, quantitative finance, and physics, and the productivity boost generated by parallel AD has played a large role in recent advances in deep learning. The goal of this project is to implement parallel AD in Haskell using the `accelerate` library. If successful, the project will provide an asymptotic speedup over current implementations for many functions of practical interest, stress-test a key foundation of the Haskell numerical infrastructure, and provide a greatly improved key piece of infrastructure for three of the remaining areas where Haskell's ecosystem is immature.

1 0

SPLASH 2018: Combined Call for Workshop Submissions
by SPLASH Publicity 25 Apr '18

25 Apr '18

SPLASH 2018 Combined Call for Workshop Submissions =================================================== Following its long-standing tradition, SPLASH 2018 will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. The paper submission deadline for all workshops in Aug 17 2018 AoE. The following workshops are co-located with SPLASH 2018. AGERE! - Programming based on Actors, Agents, and Decentralized Control ----------------------------------------------------------------------- https://2018.splashcon.org/track/agere-2018-papers The AGERE! workshop focuses on programming systems, languages and applications based on actors, active/concurrent objects, agents and–more generally–on high-level programming paradigms promoting a mindset of decentralized control in solving problems and developing software. The workshop is intended to cover both the theory and the practice of design and programming, bringing together researchers working on models, languages and technologies, with practitioners developing real-world systems and applications. AI-SEPS - AI and Empirical Methods for Software Engineering and Parallel Computing Systems ------------------------------------------------------------------------------------------ https://2018.splashcon.org/track/seps-2018-papers The goal of the workshop is to present a stimulating environment where ideas, experiences and topics relevant to parallel software engineering and software analytics can be shared/exchanged among researchers and practitioners in the fields of systems, programming, languages and software. The intention of the workshop is to initiate collaborations focused on solving challenges introduced by ongoing research in these topics. Through Q&A sessions, presenters have the opportunity to receive feedback and opinions of other domain experts as well as to discuss obstacles and promising approaches in current research. Both authors and attendees can discover new ideas and new directions for parallel programming research. BLOCKS+ ------- https://2018.splashcon.org/track/blocks%2B-2018-papers Blocks programming, in which program syntax trees are represented as visual blocks, is popular in programming environments targeted at beginner programmers and casual programmers (artists, scientists, hobbyists, etc.-for word count, get rid of the parenthetical). The goal of this workshop is to bring together language designers, educators, and researchers to (1) discuss the state of the art of these environments, (2) assess the usability and effectiveness of these environments and their associated pedagogies, and (3) brainstorm about future directions. This workshop will not be a mini-conference. The focus will instead be on engaging participants in discussions. There will be three kinds of sessions: DSLDI - Domain-Specific Language Design and Implementation ---------------------------------------------------------- https://2018.splashcon.org/track/dsldi-2018-talks Well-designed and implemented domain-specific languages (DSLs) can achieve both usability and performance benefits over general-purpose programming languages. By raising the level of abstraction and exploiting domain knowledge, DSLs can make programming more accessible, increase programmer productivity, and support domain-specific optimizations. The goal of the DSLDI workshop is to bring together researchers and practitioners interested in sharing ideas on how DSLs should be designed, implemented, supported by tools, and applied in realistic application contexts. We encourage talks on any aspect of this process, from soliciting domain knowledge from experts, through the design and implementation of the language, to evaluating whether and how a DSL is successful. GRACE ----- https://2018.splashcon.org/track/grace-2018-papers The Grace Object-Oriented Educational Programming Language design project was started at ECOOP 2010 in Slovenia, with the goal of designing a new OO language for teaching and research. Since then, the language design has progressed to the point where Grace has been used for teaching at two universities for a total of 10 courses, and has been the foundation for at least two PhD theses. There are also at least 5 implementations in various stages of completion, including an executable semantic definition. This workshop will allow those with experience using or implementing Grace to share these experiences with the community. The workshop will also provide a forum in which the Grace project can receive feedback on the current design and implementation, and to plan for the future. HILT - High Integrity Language Technology for Cybersecurity in Real-Time and Safety-Critical Systems ---------------------------------------------------------------------------------------------------- https://2018.splashcon.org/track/hilt-2018-papers This is the fifth in the HILT series of conferences and workshops focused on the use of High Integrity Language Technology to address challenging issues in the engineering of software-intensive critical systems. HILT 2018 will focus on addressing cybersecurity and cyber-resilience issues that arise in real-time, embedded, and/or safety-critical systems. Submissions are encouraged describing theoretical and practical efforts related to the use of safe languages, formal methods, model-based development, and advanced static analysis to identify and mitigate cybersecurity vulnerabilities in software-intensive systems. The workshop will bring together academic, industrial, and government researchers and practitioners focused on the use of these advanced language technology and tools, with a particular focus on addressing the growing cybersecurity threats. LIVE ---- https://2018.splashcon.org/track/live-2018-papers The LIVE Programming Workshop invites submissions of new ideas for improving the immediacy, usability, and learnability of programming. Live programming gives the programmer immediate feedback on the behavior of a program as it is edited, replacing the edit compile-debug cycle with a fluid programming experience. The best-known example of live programming is the spreadsheet. The LIVE workshop is a forum for research on live programming as well as work on fundamentally improving the usability of programming, whether through language design or assistive environments and tools. This year we are reaching out to the CS Education community to include ideas on making programming more learnable and teachable. META - Meta-Programming Techniques and Reflection ------------------------------------------------- https://2018.splashcon.org/track/meta-2018 The Meta’18 workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions, or software tools using them. The changing hardware and software landscape, and the increased heterogeneity of systems make metaprogramming once more an important research topic to handle the associate complexity. Contributions to the workshop are welcome on a wide range of topics related to the design, implementation, and application of metaprogramming techniques, as well as empirical studies on typing models for such systems and languages NJR - Normalized Java Resource ------------------------------ https://2018.splashcon.org/track/njr-2018-papers We are working on creating a Normalized Java Resource (NJR) that will speed up innovation in the area of software tools. Those tools include security enhancers, bug finders, and code synthesizers, all of which can benefit greatly from access to Big Code. Our vision is a diverse collection of 100,000 normalized Java projects that is executable, scriptable, and searchable. The Java projects stem from the Sourcerer collection and we normalize their representation to enable large-scale processing with reproducible results. Such processing includes execution, static and dynamic analysis, scriptable interaction, and search for projects with specific dynamic characteristics. For each search of the collection, NJR returns both a file with Java projects and a container for a cloud service such as Amazon EC2. Thus, a researcher can run tools on those projects both locally and on a cloud service. Researchers will be both beneficiaries and contributors to NJR. They benefit from searching for Java projects that fit their need, and once their tools run on NJR, they contribute to an ever-increasing collection of measurements. Notice the powerful network effect: the more people run tools on NJR, the more data we get for search, and the more data we get for search, the more people will want to search and run on NJR. NOOL - New Object-Oriented Languages ------------------------------------ https://2018.splashcon.org/track/nool-2018-papers The NOOL workshop series is a platform for discussing new research, novel ideas and experimental designs in object-oriented languages and systems. Previous NOOLs (2017–2015) have included talks on a variety of topics, such as novel languages and language features, type systems, OO fundamentals, tools and environments, as well as discussions on language security. NOOL is discussion-oriented, rather than publication-oriented, and presentations will be selected with an aim of fostering interesting discussions. Work-in-progress submissions, provocative ideas that may not be ready for formal publications, and work adapting old ideas to new purposes are welcome. See the CfP for submission details. OCAP - Object-Capability Languages, Systems, and Applications ------------------------------------------------------------- https://2018.splashcon.org/track/ocap-2018-papers The OCAP workshop seeks to bring together those interested in capability languages, systems, and applications. Object-capabilities offer a distinct approach to building robust, distributed systems that pose many interesting research and practical challenges. The workshop is designed to explore the latest developments in the theory and practice of the object-capability approach, and provide a forum for knowledge exchange and collaboration. Researchers working on object-capability and related methods, models, languages, and tools, as well as practitioners developing real-world systems and applications are welcome. PLATEAU - Evaluation and Usability of Programming Languages and Tools --------------------------------------------------------------------- https://2018.splashcon.org/track/plateau-2018-papers Programming languages exist to enable programmers to develop software effectively. But programmer efficiency depends on the usability of the languages and tools with which they develop software. The aim of this workshop is to discuss methods, metrics and techniques for evaluating the usability of languages and language tools. The supposed benefits of such languages and tools cover a large space, including making programs easier to read, write, and maintain; allowing programmers to write more flexible and powerful programs; and restricting programs to make them more safe and secure. PLATEAU gathers the intersection of researchers in the programming language, programming tool, and human-computer interaction communities to share their research and discuss the future of evaluation and usability of programming languages and tools. REBLS - Reactive and Event-based Languages & Systems ---------------------------------------------------- https://2018.splashcon.org/track/rebls-2018-papers Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design — so-called reactive and event-based languages and systems (REBLS) — have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored. SLEBoK - Software Language Engineering Body of Knowledge -------------------------------------------------------- https://2018.splashcon.org/track/slebok-2018 The field of software language engineering (SLE) has emerged based on a strong motivation to connect and integrate different research disciplines such as compiler construction, reverse engineering, software transformation, model-driven engineering, and ontologies. SLE is defined as the application of systematic, disciplined, and measurable approaches to the development, deployment, use, and maintenance of software languages. The Software Language Engineering Body of Knowledge (SLEBoK) is a community-wide effort to provide a unique and comprehensive description of the concepts, tools and methods developed by the SLE community. It features artifacts, definitions, methods, techniques, best practices, open challenges, case studies, teaching material, and other components that would help students, researchers, teachers, and practitioners to learn from, to better leverage, to better contribute to, and to better disseminate the intellectual contributions and practical tools and techniques coming from the SLE field. TURBO - Tutorial on Language Runtimes Built With Eclipse OMR ------------------------------------------------------------ https://2018.splashcon.org/track/turbo-2018-tutorial As software demands evolve and grow, new programming languages emerge and rise to popularity. However, supporting more advanced language runtime features such as just-in-time (JIT) compilation and garbage collection (GC) for a new language is no easy feat. Writing your own full-featured JIT and GC usually requires reading profusely on the subjects and implementing everything from scratch over a long period of time, or poring over hundreds of thousands of lines of code. The open-source Eclipse OMR runtime toolkit is striving to make this process much simpler for language runtime developers and researchers. This workshop will introduce the Eclipse OMR framework, present ongoing research projects leveraging OMR technologies, deliver a hands-on tutorial using an educational virtual machine (VM) called base9 to demonstrate how OMR components can easily be integrated into an existing runtime, and conclude with a discussion on the needs and challenges facing language runtimes development and research communities. VMIL - Virtual Machines and Language Implementations ---------------------------------------------------- https://2018.splashcon.org/track/vmil-2018 The concept of virtual machines is pervasive in the design and implementation of programming systems. Virtual machines and the languages they implement are crucial in the specification, implementation and/or user-facing deployment of most programming technologies. The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues.

1 0

ML4PL '18, 1st Call for Submissions
by Artem Pelenitsyn 25 Apr '18

25 Apr '18

******************************************************************************** | | | The 2nd International Workshop on Machine Learning Techniques | | for Programming Languages (ML4PL '18) | | | | July 18th 2018, Amsterdam, Netherlands | | Collocated with ECOOP & ISSTA | | | ******************************************************************************** A workshop on machine learning techniques applied to programming language-related research and development. This workshop puts an emphasis on identifying open problem rather than presenting solution, and encourages discussion amongst the participants. Attendance will be limited to ensure that meeting retains an interactive character. Workshop web-site: https://conf.researchr.org/track/ecoop-issta-2018/ML4PL-2018-papers Submission web-site: https://ml4pl18.hotcrp.com/ ********************************** SCOPE *********************************** Over the last years, we have seen a rapid growth in the use of machine-learning technologies in programming languages and systems. This growth is driven by the need to design programming languages to analyze, detect patterns, and make sense of Big Data, along with the increasing complexity of programming language tools, including analyzers and compilers, and computer architectures. The scale of complexity in available unstructured data and system tools has reached a stage where simple heuristics and solutions are no longer feasible or do not deliver adequate performance. At the same time, statistical and machine learning techniques have become mainstream. This workshop is a broad forum to bring together researchers with interests in the intersection of programming languages and system tools with machine learning. Topics of interest include (but are not limited to): * Program analysis + machine learning * Programming languages + machine learning * Compiler optimizations + machine learning * Computer architecture + machine learning * Probabilistic programming languages * Design space exploration Submissions should take the form of talk abstract or 2-page problem statements. Materials of accepted talks will be published in ACM DL. --------------- IMPORTANT DATES --------------- Submission deadline: Wednesday, May 18th, 2018, AOE Notification (tentative): Monday, June 1st, 2018 ML4PL Workshop: Wednesday, July 18th, 2018 ----------------- PROGRAM COMMITTEE ----------------- * Miltiadis Allamanis (Microsoft Research, Cambridge, United Kingdom) * Lasse Blaauwbroek (Czech Institute for Informatics Robotics and Cybernetics, Czech Republic) * Yoav Goldberg (Bar Ilan University, Israel) * Georgy Lukyanov (Newcastle University, United Kingdom) * Alex Polozov (Microsoft Research, United States) * Mark Santolucito (Yale University, United States) * Meital Zilberstein (Technion, Israel) ------------------------------ ORGANIZING COMMITTEE & CONTACT ------------------------------ * Hila Peleg (Technion, Israel) * Artem Pelenitsyn (Czech Technical University in Prague, Czech Republic) Please, address any questions to Artem (a.pelenitsyn(a)gmail.com)

1 0

CFP: IEEE DS-RT 2018 (October 15-17, 2018 - Madrid, Spain)
by Robson De Grande 24 Apr '18

24 Apr '18

------------------------------------------------------------ ------------------------ Please accept our apologies if you have received multiple copies. ------------------------------------------------------------ ------------------------ Call for Papers - DS-RT 2018 22nd IEEE/ACM* International Symposium on Distributed Simulation and Real Time Applications http://ds-rt.com/ October 15-17, 2018 - Madrid, Spain *IEEE/ACM Pending Upon Approval ----------------------------------------------------------------------- IMPORTANT: Submission deadline: May 20th, 2018 *** The Symposium *** The 2018 IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2018) promises to be a grand affair and will take place in Madrid, Spain. DS-RT 2018 serves as a platform for simulationists from academia, industry and research labs for presenting recent research results in Distributed Simulation and Real Time Applications. DS-RT 2018 targets the growing overlap between large distributed simulations and real-time applications, such as collaborative virtual environments, pervasive and ubiquitous application scenarios, motor-, controller-, sensor- and actuator systems. The conference features prominent invited speakers as well as papers by top researchers in the field. DS-RT 2018 will include contributed technical papers, invited papers, and panel discussions. The proceedings will be published by IEEE-CS press. *** Call for Papers *** DS-RT provides an international forum for the discussion and presentation of original ideas, recent results and achievements by researchers, research students, and systems developers on issues and challenges related to distributed simulation and real-time applications. Authors are encouraged to submit both theoretical and practical results of significance. Demonstration of new tools/applications is enlivened. The scope of the symposium includes, but is not limited to: Paradigms, Methodology, Algorithms and Software Architectures for Large Scale Distributed and Real-Time Simulations (e.g. Parallel and Distributed Simulation, Multi-Agent Based Distributed Simulation, HLA/RTI, Web, Grid and cloud-based Simulation, hardware-software co-design for extreme-scale simulations) Paradigms, Modelling, Architecture and Environments for Large Scale Real-time Systems and Concurrent Systems with hard and soft Real-Time Constraints Non-functional Properties of Distributed Simulation and Real-Time Systems (e.g. Dependability, Availability, Reliability, Maintainability, Safety, Security, Trustworthiness, QoS) Theoretical Foundations of Large-Scale Real-Time and Simulation Models (e.g. Event Systems, Causality, Space-Time Models, Notions of Time, Discrete and Continuous Systems, Simulator Coordination) Advances in Modelling and Simulation Studies and Technologies (Reuse of Models, New Modelling Languages, Agent-based M&S, Spatial M&S, Cognitive Modelling, Neural Network Models, Artificial Intelligence in Simulation, Discrete Events, Continuous Simulation, Service-oriented Computing and Simulation, Web-based Modelling and Simulation, Simulation of Multimedia Applications and Systems, etc.) Pervasive and Ubiquitous Computing Architectures and Applications that involve Simulations and/or adhere to Real-Time Constraints Languages and Tools, Development Environments, Data Interfaces, Network Protocols and Model Repositories that address Very Large Simulations Data Management and Distribution Issues, Interest Management, Semantic Modelling, Multi-resolution Modelling, Dead-Reckoning Mechanisms Simulation Studies at Large and Very Large Scale (e.g. Industrial, Commercial, Ecological and Environmental, Societal, Power and Energy) Environmental and Emerging Simulation Challenges (e.g. Growth of Human Population, Climate Change, CO2, Health Care, Ecosystems, Sustainable Development, Water and Energy Supply, Human Mobility, Traffic Modelling, World Stock Markets, Food Supply Chains, Megacities, Smart Cities, Smart Networks, Disaster Planning, etc.) Performance and Validation of Large-Scale and Distributed Simulations (e.g., benchmarking and analytical results, empirical studies DIS, HLA/RTI studies) Visual Interactive Simulation Environments (e.g., Generic Animation, Visual Interactive Modelling, Interactive Computer Based Training and Learning, Scientific Visualization, High-End Computer Graphics) Simulation-based Virtual Environments and Mixed Reality Systems (e.g. Interactive Virtual Reality, Human Communication through Immersive Environments) Collaborative Virtual and Augmented Reality, Shared Interaction Spaces, Telepresence Systems and Shared Workspaces, 3D Video and Acoustic Reconstruction, Shared Object Manipulation Design Issues, Interaction Designs, Human Computer Interaction Issues raised by Large Scale DS-RT Systems Serious Gaming and Massive Multiplayer Online Games (MMOG) applications, architectures and scalability issues Technologies for Living Labs (e.g. Mirror World Simulation, Interoperability, Large Scale Multi-Sensor Networks, Global Wireless Communication, Multi-Stakeholder Understanding and Innovation) Innovative Styles of Interactions with Large Scale DS-RT Systems (e.g. Implicit, Situative and Attentive Interaction, Tangible Interaction, Embedded Interaction, etc.) Media Convergence (e.g. New Technologies, Media Theory, Real-Time considerations of Multi-Modality, etc.) *** Important Dates *** Paper Submission Deadline: May 20th, 2018 Notification of Acceptance: July 1st, 2018 Camera Ready version due: July 31st, 2018 Symposium presentation: October 15-17, 2018 *** Submission *** High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Accepted papers will appear in the conference proceedings to be published by IEEE-CS press. Authors of selected papers will be invited to submit extended versions of their papers to the Journal of Simulation. General information regarding submission can be found at http://ds-rt.com/2018/. Questions from authors may be directed to the Program Co-Chairs. IMPORTANT: CONFERENCE ATTENDANCE BY AT LEAST ONE AUTHOR OF ACCEPTED PAPERS IS MANDATORY *** ORGANIZING COMMITTEE*** General Chair José Luis Risco Martín, Complutense University of Madrid, Spain Program Co-Chairs Eva Besada, Complutense University of Madrid, Spain Floriano De Rango, University of Calabria, Italy Posters Chair Peppino Fazio, University of Calabria, Italy Demo Chair Amilcare F. Santamaria, University of Calabria, Italy Special Sessions Chair Robson De Grande, Brock University, Canada Publicity Chair Lucas Potter, Old Dominion University, VA, USA Finance Chair Guillermo Botella, Complutense University of Madrid, Spain

1 0

PPDP 2018: Deadline Extension!
by David Sabel 24 Apr '18

24 Apr '18

News: The submission deadline is extended until Monday, May 8, 23:59 AoE! ====================================================================== PPDP 2018: Deadline Extension ====================================================================== 20th International Symposium on Principles and Practice of Declarative Programming Frankfurt am Main, Germany, 3-5 September 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html (co-located with LOPSTR 2018 and WFLP 2018) http://ppdp-lopstr-18.cs.uni-frankfurt.de ====================================================================== Invited Talks ============= - Philippa Gardner, Imperial College: Testing and Verification for JavaScript (joint with LOPSTR) - Jorge Navas, SRI International: Constrained Horn Clauses for Verification (joint with LOPSTR) - Chung-Chieh Shan, University of Indiana: Calculating Distributions Scope ===== The PPDP 2018 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to - Language Design: domain-specific languages; interoperability; concurrency, parallelism, and distribution; modules; probabilistic languages; reactive languages; database languages; knowledge representation languages; languages with objects; language extensions for tabulation; metaprogramming. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will be co-located with the 28th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2018). Submission Categories ===================== Submissions can be made in three categories: regular Research Papers, System Descriptions, and Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: insights gained from real-world projects using declarative programming comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum curricular issues encountered when using declarative programming in education real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general novel use of declarative programming in the classroom programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study any material beyond the respective page limit. Format of a submission ====================== For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at <https://www.acm.org/publications/proceedings-template>. The most recent version at the time of writing is 1.48. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact [ACM's TeX support team at Aptara](mailto:acmtexsupport@aptaracorp.com). Authors should note [ACM's statement on author's rights](http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of [ACM's plagiarism policy](http://www.acm.org/publications/policies/plagiarism_policy). Requirements for publication ============================ At least one author of each accepted submission will be expected to attend and present the work at the conference. The pc chair may retract a paper that is not presented. The pc chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Important dates =============== - 08.05.2018 AOE: paper submission - 14.06.2018 rebuttal period (48 hours) - 25.06.2018 notification - 16.07.2018 final papers - 03.09.2018 conference starts

1 0

New Version of hmatrix (more ODE solvers)
by dominic＠steinitz.org 22 Apr '18

22 Apr '18

I am pleased to announce a new version of hmatrix: 0.19.0.0. This is not intended to be a breaking change but a lot of modules have been modified to ensure that continuous integration (which has now been set up) is green. Support for SUNDIALS <https://computation.llnl.gov/projects/sundials> has been added. It should be possible to replace Numeric.GSL.ODE with Numeric.Sundials.ARKode.ODE and have your program work as before bearing in mind that the methods and error control might differ (even for those with the same names!). The packages that comprise hmatrix are: hmatrix hmatrix-gsl hmatrix-special hmatrix-sparse hmatrix-glpk hmatrix-tests hmatrix-sundials I am planning to split these up into separate projects to make it easier for contributors. To this end, I have created an hmatrix <https://github.com/haskell-numerics> organisation in github. Please contact me if you wish to become a member. I strongly recommend anyone solving ODEs to look as hmatrix-sundials as the underlying package provides many more methods, more documentation and more diagnostic information (great when your 200 variable model fails). It is a truism that any sufficiently sophisticated ODE solver package is a domain specific language (I include the ODE solving part of GSL here). The current interface both to GSL and to SUNDIALS is somewhat rudimentary but will hopefully evovle to a nicer DSL (something at which Haskell excels). Dominic Steinitz dominic(a)steinitz.org http://idontgetoutmuch.wordpress.com Twitter: @idontgetoutmuch

1 0

[ANNOUNCE] GHC 8.4.2 released
by Ben Gamari 20 Apr '18

20 Apr '18

Hello everyone, The GHC team is pleased to announce the availability of GHC 8.4.2. The source distribution, binary distributions, and documentation for this release are available at https://downloads.haskell.org/~ghc/8.4.2 This release is a bug-fix release, fixing numerous regressions and bugs present in GHC 8.4.1. These include: * A regression resulting in some uses of `Control.Exception.evaluate` to be inappropriately optimised away (see #13930) * A regression resulting in segmentation faults of programs compiled with profiling (#14705) * A bug causing runtime system panics while running programs with retainer profiling (#14947) * The configure scripts now accepts a `--disable-dtrace` option, again allowing GHC to be bootstrapped on FreeBSD (#15040) * The version number of the `base` package has been bumped to 4.11.1.0 to reflect the addition of the `GHC.IO.FixIOException` type. This interface was added in 8.4.1 but the version bump was missed due to an oversight. * Support for DWARF debug information has been significantly improved (#14894, #14779) A more thorough list of the changes in this release can be found in the release notes, https://downloads.haskell.org/~ghc/8.4.2/docs/html/users_guide/8.4.2-notes.… Thanks to everyone who has contributed to developing, documenting, and testing this release! As always, let us know if you encounter trouble. How to get it ~~~~~~~~~~~~~ The easy way is to go to the web page, which should be self-explanatory: http://www.haskell.org/ghc/ We supply binary builds in the native package format for many platforms, and the source distribution is available from the same place. Packages will appear as they are built - if the package for your system isn't available yet, please try again later. Background ~~~~~~~~~~ Haskell is a standard lazy functional programming language. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating efficient code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces. GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below). On-line GHC-related resources ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Relevant URLs on the World-Wide Web: GHC home page http://www.haskell.org/ghc/ GHC developers' home page http://ghc.haskell.org/trac/ghc/ Haskell home page http://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms we support, and the people responsible for them, is here: http://ghc.haskell.org/trac/ghc/wiki/Contributors Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: http://ghc.haskell.org/trac/ghc/wiki/Building Developers ~~~~~~~~~~ We welcome new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC's developer's site run by Trac: http://ghc.haskell.org/trac/ghc/ Mailing lists ~~~~~~~~~~~~~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see https://mail.haskell.org/cgi-bin/mailman/listinfo Some GHC developers hang out on #haskell on IRC, too: http://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: http://www.haskell.org/ghc/reportabug

1 0

[ICTH-2018] Conference on Current and Future Trends of Information and Communication Technologies in Healthcare. Leuven, Belgium (Nov. 5-8, 2018)
by Wim Ectors 19 Apr '18

19 Apr '18

Conference: The 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare Date: November 5-8, 2018 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/icth-18/ ********************************************************************************** Important Dates ------------------ - Workshop Proposals: May 28, 2018 - Paper Submission Due: Jun 13, 2018 - Author Notification: August 8, 2018 - Final Manuscript Due: September 8, 2018 Publication ------------- All ICTH 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) ICTH 2018 will be held in conjunction with the 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSN: http://cs-conferences.acadiau.ca/euspn-18/) Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/icth-18/call-for-papers.html ICTH 2018 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. The conference venue will be at Park Inn (by Radisson) Hotel (Leuven), which is located right in the heart of the Leuven city. The hotel is less than 2 mins walk from the Leuven train station. All you have to do is to get off the train (or the taxi or the bus) and take the elevator to the bridge connecting the hotel with the rest of the city. Leuven city is directly connected with the Brussels International airport with a 13 min connection via train, 45 mins via bus or a 20 min by taxi (or Uber). Topics of interest include, but are not limited to: ------------------------------------------------------ - Ambient Assisted Living for Elderly Care - Ambient Intelligence and Intelligent Service Systems - Analysis and Evaluation of Healthcare Systems - Clinical Data and Knowledge Management - Cloud Computing for Healthcare - Collaboration Technologies for Healthcare - Context-aware Applications for Patient Monitoring and Care - Data mining Techniques and Data Warehouses in Healthcare - Data Visualization - Decision Support Systems in Healthcare - Design and Development Methodologies for Healthcare Systems - Diagnostic and Therapeutic Technologies in Healthcare - Digital Hospitals - Drug Information Systems - E-health & m-health - Electronic Health Records (EHR) & Personal Health Records (PHR) - Evidence Based Medicine (EBM) - Healthgrids - Health Portals - Information and Knowledge Processing in Healthcare Environments - Middleware Support for Smart Homes and Intelligent Applications - Quantified Self for Pervasive Healthcare - Privacy, Confidentiality and Security Issues in Healthcare Systems - Related Real World Experimentations and Case Studies in Healthcare - RFID Solutions for Healthcare - Smart Homes and Home Care Intelligent Environments - Telemedicine and Health Telematics - Ubiquitous and Pervasive Computing in Healthcare - Usability & Socio Technical studies - User Interface Design for Healthcare Applications - Virtual and Augmented Reality in Healthcare - Virtual Environments for Healthcare Committees ------------- General Chair Heiko Gewald, The Neu-Ulm University of Applied, Germany Joel J. P. C. Rodrigues, National Institute of Telecommunications (Inatel), Brazil Program Chairs Haroon Malik, Marshall University, USA Ansar-Ul-Haque Yasar, IMOB, Hasselt University, Belgium Workshops Chair Wael M. El-Medany, University of Bahrain, Bahrain Publicity Chairs Wim Ectors, IMOB, Hasselt University, Belgium Al-Sakib Khan Pathan,Southeast University, Bangladesh Technical Program Committee http://cs-conferences.acadiau.ca/icth-18/program-committees.html Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Advisory Committee Sergio Camorlinga, Head eHealth Research, TRLabs, Canada Kevin Daimi, University of Detroit Mercy, USA Finn Kensing, University of Copenhagen, Denmark Francesco Princiroli, Politecnico di Milano, Italy Abdul Roudsari, University of Victoria, Canada

1 0

[FNC-2018] FINAL submission deadline: April 20! Conference on Future Networks and Communications. Gran Canaria, Spain (August 13-15, 2018)
by Wim Ectors 18 Apr '18

18 Apr '18

------------------------------------------------------------------------ The 13th International Conference on Future Networks and Communications August 13-15, 2018 Gran Canaria, Spain http://cs-conferences.acadiau.ca/fnc-18/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging technologies such as, ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but not limited to ubiquitous fast broadband access and ultra-high speed end-to-end optical connectivity, supporting open services and innovative ambient applications. Scope also embraces novel and evolutionary approaches to tackle network architectures, taking due consideration of users and societal needs for success. Important Dates ---------------- - Workshop Proposal Due: February 10, 2018 - Paper Submission Due: April 20, 2018 (FINAL) - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 Publication ------------ All FNC 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) FNC 2018 will be held in conjunction with the 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-18/) FNC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. FNC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. COMMITTEES: ----------- General Chair Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Program Chairs Hossam Hassanein, Queens University, Canada Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Soumaya Cherkaoui, Sherbrooke University, Canada Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/fnc-18/#programCommittees

1 0