March 2018 - Haskell - Haskell.org

CFP: ICFNDS 2018, Amman, Jordan
by Nabeel Al-Qirim 21 Mar '18

21 Mar '18

ICFNDS 2018 Final Paper Submission due: April 15, 2018 International Conference on Future Networks and Distributed Systems June 26 - 27, 2018 Amman, Jordan http://www.icfnds.org<http://www.icfnds.org/> ACM ICPS is indexed in DBLP, Scopus and Thomson Reuters. --------------------------------------------------------------------------------------------- Dear Colleagues, We are currently welcoming papers for the International Conference on Future Networks and Distributed Systems (ICFNDS) which is being held at the Middle East University, Amman, Jordan from 26th-27th June 2018. -------------------- Special Issues -------------------- 1. "Sensors and Actuators: Security Threats and Countermeasures" in the Journal of Sensor and Actuator Networks 2. "Real-time Behavioral Monitoring in IoT Applications using Big Data Analytics" in the concurrency and computation practice and experience -------------------- Workshops -------------------- 1. International Workshop on Smart Technologies (WOSTech), http://wostech17.asastechno.com<http://wostech17.asastechno.com/> 2. International Workshop on Smart Sensor Networks and Applications (WSSNA'18), http://wssna.uae.ma/ -------------------- Call for Papers -------------------- In the last decade, the growth of Internet and other web technologies driven fast developments of various networking technologies that are becoming primary parts of our daily lives. The wealth of exiting algorithms and architectures for parallel and distributed computing combined with the proliferation of future wireless technologies and electronic devices, resulted is a fast growing adoption of future networks and highly decentralised systems. Future networks and distributed systems research is an interdisciplinary research filed involving academic researchers in computer science, communication engineering, physics and social and behaviour studies, as well as information technology industry consultants and practitioners to support multiservice, multimedia services convergence, service ubiquity and context awareness, mobility, fixed-mobile convergence, variable connectivity, quality of service , spontaneous and autonomic networking and other capabilities. The 2018 International Conference on Future Networks and Distributed Systems (ICFNDS 2018) aims at addressing advances in research on distributed systems and future networks, covering topics ranging from enabling technologies to emerging applications and industrial experiences. ICFNDS aims to encourage both researchers and practitioners to exchange and share their experiences and recent studies in an interactive atmosphere. The 2017 ICFNDS meeting was held at The M?ller Centre, Churchill College, University of Cambridge, Cambridge, UK. Topics of interest include, but are not limited to, the following: 1. Future Networks * Future Internet * Future Generation Communication Networks * Future Warehousing * Multi-Cores, Virtualization * Clusters and Grid Computing * Web-services and SOA * 5G, 4G, LTE, LTE-Advanced, WLAN, WPAN * Small cell Networks * Cognitive Radio Network * QoE, QoS, SLA, and GoS * Heterogeneous Networks * Optical Wireless, VLC and LED Communication * CCN/CDN/ICN/Delay-tolerant networks * Software Defined Networking (SDN) * Network functions virtualization (NFV) * Future Network Platforms, Software and Services * Network Theory and Network Science * Intelligent Internet Communication * Mobile computing * Peer to peer, ATM, Optical, IP/ATM and Interconnection networks * Network routing and communication algorithms * Security, eliability and fault-tolerance * Network security 2. Cloud, Distributed and Parallel systems * Parallel and distributed architectures * Theory of parallel and distributed computing * Parallel algorithms and their implementation * Resource allocation and management * Task mapping and job scheduling * Distributed data and knowledge based systems * Database applications and data mining * Web technologies * Performance evaluation and measurements * Wireless networks and Protocols * Optimization * Language, compliers and operating systems * Reusability and scheduling * Formal methods and programming languages * Modelling and simulation * Crowd Sourcing and Cloud Computing * Big Data Networks and Data Center Architecture 3. Internet of Things * Data collection, deep learning, reality mining, and prediction methods * Real-time decision making and information extraction * Methods for seamless human-to-object and object-to-object interactions * Advanced manufacturing and logistics with IoT * Evaluation of challenges of real world deployments of Industrial Internet and GS1 * Information architecture design on field device, edge device and servers in cloud * Transitioning functional and processing allocation across system entities * Advanced data capturing and networking technology * Object identification and access * Interoperability of IoT systems * Service and device discovery * Synchronization of distributed directory systems * Semantic data description frameworks for IoT * Data sharing and acceptance of IoT Systems * Data security, authentication and authorization * Privacy protection, data sharing technologies, tampering protection and detection * Wireless Sensor Networks * Smart cities and services * Case studies in deployment of IoT applications/services in the area of accessibility * Wearable technology for independent living * Pervasive platforms and applications for assisted living 4. General Conference Track Future networks and distributed systems papers that do not fit to the above tracks can be submitted to the general conference track. Subjects of interest include, but not limited to: * Traffic analysis * Cyber security and darknet * Smart infrastructure ----------------------------- Types of Submissions ----------------------------- Full papers, short papers and posters. Please refer to the website for paper format. ----------------------- Important Dates ----------------------- Final paper submission due: April 15, 2018 Notification of Acceptance: May 15, 2018 Camera ready paper due: June 1, 2018 Authors registration deadline: June 1, 2018 --------------------------- Conference website --------------------------- http://www.icfnds.org<http://www.icfnds.org/> --------------------------- Submit papers here --------------------------- https://easychair.org/conferences/?conf=icfnds2018 ---------------------------- Contact details ---------------------------- For further information please contact the Professional Programmes team ICFNDS(a)meu.edu.jo<mailto:ICFNDS@meu.edu.jo> Disclaimer:"The content of this email together with any attachments, statements and opinions expressed herein contains information that is confidential in nature and intended for the named addressee(s) only. If you are not the addressee of this email or you have received this message in error please notify the sender and delete the message and any associated files from your system, you have no right to copy, print, distribute or use this email or any of its attachments, or permit or disclose its contents to any other party in any way, except with the prior approval of the sender. In case of breach of what has been explained above, you will be held legally accountable." ?????: "?????: ?? ????? ??? ?????? ?????????? ???????? ???????? ?????? ??????? ?? ??? ??????? ????? ??? ??????? ????? ??? ????? ????? ??????? ?????? ???? ???? ???? ?? ??? ?????? ???? ?? ??? ??????? ?? ??? ?? ????? ??????? ??????? ????? ????? ??????? ???? ??????? ???? ????? ?????? ?? ?????? ????? ??? ?? ??? ???? ???? ?? ??? ?? ????? ?? ????? ?? ??????? ??????? ??? ?????? ??????????? ?? ?????? ?? ????? ?? ??? ??? ??? ??? ??? ?? ??? ??? ??????? ????? ?? ?????? ????? ??? ?????? ??? ??? ?????? ???????? ?????????" . www.uaeu.ac.ae<http://www.uaeu.ac.ae>

1 0

CFP: ICFNDS 2018, Amman, Jordan
by Nabeel Al-Qirim 21 Mar '18

21 Mar '18

ICFNDS 2018 Final Paper Submission due: April 15, 2018 International Conference on Future Networks and Distributed Systems June 26 - 27, 2018 Amman, Jordan http://www.icfnds.org<http://www.icfnds.org/> ACM ICPS is indexed in DBLP, Scopus and Thomson Reuters. --------------------------------------------------------------------------------------------- Dear Colleagues, We are currently welcoming papers for the International Conference on Future Networks and Distributed Systems (ICFNDS) which is being held at the Middle East University, Amman, Jordan from 26th-27th June 2018. -------------------- Special Issues -------------------- 1. "Sensors and Actuators: Security Threats and Countermeasures" in the Journal of Sensor and Actuator Networks 2. "Real-time Behavioral Monitoring in IoT Applications using Big Data Analytics" in the concurrency and computation practice and experience -------------------- Workshops -------------------- 1. International Workshop on Smart Technologies (WOSTech), http://wostech17.asastechno.com<http://wostech17.asastechno.com/> 2. International Workshop on Smart Sensor Networks and Applications (WSSNA'18), http://wssna.uae.ma/ -------------------- Call for Papers -------------------- In the last decade, the growth of Internet and other web technologies driven fast developments of various networking technologies that are becoming primary parts of our daily lives. The wealth of exiting algorithms and architectures for parallel and distributed computing combined with the proliferation of future wireless technologies and electronic devices, resulted is a fast growing adoption of future networks and highly decentralised systems. Future networks and distributed systems research is an interdisciplinary research filed involving academic researchers in computer science, communication engineering, physics and social and behaviour studies, as well as information technology industry consultants and practitioners to support multiservice, multimedia services convergence, service ubiquity and context awareness, mobility, fixed-mobile convergence, variable connectivity, quality of service , spontaneous and autonomic networking and other capabilities. The 2018 International Conference on Future Networks and Distributed Systems (ICFNDS 2018) aims at addressing advances in research on distributed systems and future networks, covering topics ranging from enabling technologies to emerging applications and industrial experiences. ICFNDS aims to encourage both researchers and practitioners to exchange and share their experiences and recent studies in an interactive atmosphere. The 2017 ICFNDS meeting was held at The M?ller Centre, Churchill College, University of Cambridge, Cambridge, UK. Topics of interest include, but are not limited to, the following: 1. Future Networks * Future Internet * Future Generation Communication Networks * Future Warehousing * Multi-Cores, Virtualization * Clusters and Grid Computing * Web-services and SOA * 5G, 4G, LTE, LTE-Advanced, WLAN, WPAN * Small cell Networks * Cognitive Radio Network * QoE, QoS, SLA, and GoS * Heterogeneous Networks * Optical Wireless, VLC and LED Communication * CCN/CDN/ICN/Delay-tolerant networks * Software Defined Networking (SDN) * Network functions virtualization (NFV) * Future Network Platforms, Software and Services * Network Theory and Network Science * Intelligent Internet Communication * Mobile computing * Peer to peer, ATM, Optical, IP/ATM and Interconnection networks * Network routing and communication algorithms * Security, eliability and fault-tolerance * Network security 2. Cloud, Distributed and Parallel systems * Parallel and distributed architectures * Theory of parallel and distributed computing * Parallel algorithms and their implementation * Resource allocation and management * Task mapping and job scheduling * Distributed data and knowledge based systems * Database applications and data mining * Web technologies * Performance evaluation and measurements * Wireless networks and Protocols * Optimization * Language, compliers and operating systems * Reusability and scheduling * Formal methods and programming languages * Modelling and simulation * Crowd Sourcing and Cloud Computing * Big Data Networks and Data Center Architecture 3. Internet of Things * Data collection, deep learning, reality mining, and prediction methods * Real-time decision making and information extraction * Methods for seamless human-to-object and object-to-object interactions * Advanced manufacturing and logistics with IoT * Evaluation of challenges of real world deployments of Industrial Internet and GS1 * Information architecture design on field device, edge device and servers in cloud * Transitioning functional and processing allocation across system entities * Advanced data capturing and networking technology * Object identification and access * Interoperability of IoT systems * Service and device discovery * Synchronization of distributed directory systems * Semantic data description frameworks for IoT * Data sharing and acceptance of IoT Systems * Data security, authentication and authorization * Privacy protection, data sharing technologies, tampering protection and detection * Wireless Sensor Networks * Smart cities and services * Case studies in deployment of IoT applications/services in the area of accessibility * Wearable technology for independent living * Pervasive platforms and applications for assisted living 4. General Conference Track Future networks and distributed systems papers that do not fit to the above tracks can be submitted to the general conference track. Subjects of interest include, but not limited to: * Traffic analysis * Cyber security and darknet * Smart infrastructure ----------------------------- Types of Submissions ----------------------------- Full papers, short papers and posters. Please refer to the website for paper format. ----------------------- Important Dates ----------------------- Final paper submission due: April 15, 2018 Notification of Acceptance: May 15, 2018 Camera ready paper due: June 1, 2018 Authors registration deadline: June 1, 2018 --------------------------- Conference website --------------------------- http://www.icfnds.org<http://www.icfnds.org/> --------------------------- Submit papers here --------------------------- https://easychair.org/conferences/?conf=icfnds2018 ---------------------------- Contact details ---------------------------- For further information please contact the Professional Programmes team ICFNDS(a)meu.edu.jo<mailto:ICFNDS@meu.edu.jo> If you no longer wish to receive these emails, please reply to this message with "Unsubscribe" in the subject line. Disclaimer:"The content of this email together with any attachments, statements and opinions expressed herein contains information that is confidential in nature and intended for the named addressee(s) only. If you are not the addressee of this email or you have received this message in error please notify the sender and delete the message and any associated files from your system, you have no right to copy, print, distribute or use this email or any of its attachments, or permit or disclose its contents to any other party in any way, except with the prior approval of the sender. In case of breach of what has been explained above, you will be held legally accountable." ?????: "?????: ?? ????? ??? ?????? ?????????? ???????? ???????? ?????? ??????? ?? ??? ??????? ????? ??? ??????? ????? ??? ????? ????? ??????? ?????? ???? ???? ???? ?? ??? ?????? ???? ?? ??? ??????? ?? ??? ?? ????? ??????? ??????? ????? ????? ??????? ???? ??????? ???? ????? ?????? ?? ?????? ????? ??? ?? ??? ???? ???? ?? ??? ?? ????? ?? ????? ?? ??????? ??????? ??? ?????? ??????????? ?? ?????? ?? ????? ?? ??? ??? ??? ??? ??? ?? ??? ??? ??????? ????? ?? ?????? ????? ??? ?????? ??? ??? ?????? ???????? ?????????" . www.uaeu.ac.ae<http://www.uaeu.ac.ae>

1 0

Call for Papers: WFLP 2018 - International Workshop on Functional and (constraint) Logic Programming
by Voigtländer, Janis, Prof. Dr. 20 Mar '18

20 Mar '18

====================================================================== WFLP 2018: Call for Papers ====================================================================== 26th International Workshop on Functional and (constraint) Logic Programming WFLP 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/wflp18.html Frankfurt, Germany, September 6, 2018 (co-located with PPDP 2018 and LOPSTR 2018) The international Workshop on Functional and (constraint) Logic Programming (WFLP) aims at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. WFLP has a reputation for being a lively and friendly forum, and it is open for presenting and discussing work in progress, technical contributions, experience reports, experiments, reviews, and system descriptions. The 26th International Workshop on Functional and (constraint) Logic Programming (WFLP 2018) will be held at the Goethe-University Frankfurt am Main, Germany. Previous WFLP editions were WFLP 2017 (Würzburg, Germany), WFLP 2016 (Leipzig, Germany), WFLP 2014 (Wittenberg, Germany), WFLP 2013 (Kiel, Germany), WFLP 2012 (Nagoya, Japan), WFLP 2011 (Odense, Denmark), WFLP 2010 (Madrid, Spain), WFLP 2009 (Brasilia, Brazil), WFLP 2008 (Siena, Italy), WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). WFLP 2018 will be co-located with PPDP 2018 (International Symposium on Principles and Practice of Declarative Programming) and LOPSTR 2018 (International Symposium on Logic-Based Program Synthesis and Transformation). The topics of interest cover all aspects of functional and logic programming. They include (but are not limited to): * Functional programming * Logic programming * Constraint programming * Deductive databases, data mining * Extensions of declarative languages, objects * Multi-paradigm declarative programming * Foundations, semantics, non-monotonic reasoning, dynamics * Parallelism, concurrency * Program analysis, abstract interpretation * Program and model manipulation * Program transformation, partial evaluation, meta-programming * Specification, verification * Debugging, testing * Knowledge representation, machine learning * Interaction of declarative programming with other formalisms * Implementation of declarative languages * Advanced programming environments and tools * Software techniques for declarative programming * Applications The primary focus is on new and original research results, but submissions describing innovative products, prototypes under development, application systems, or interesting experiments (e.g., benchmarks) are also encouraged. Survey papers that present some aspects of the above topics from a new perspective, and experience reports are also welcome. Papers must be written and presented in English. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: June 27, 2018 Paper submission: July 2, 2018 Notification: July 27, 2018 Camera-ready (for electronic pre-proceedings): August 24, 2018 Workshop: September 6, 2018 Submission Guidelines Submission is via Easychair submission website for WFLP 2018: https://easychair.org/conferences/?conf=wflp2018 Authors are invited to submit papers in the following categories: + Regular research paper + Work-in-progress report + System description Regular research papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been formally published or that are simultaneously submitted to a journal, conference, or workshop with formal proceedings. They will be judged on the basis of significance, relevance, correctness, originality, and clarity. For work-in-progress reports and system descriptions, less formal rules apply, and presentation-only submissions (talk and discussion, but no paper in the formal proceedings) are possible. Please contact the PC chair with any questions. All submissions must be formatted in the Lecture Notes in Computer Science style. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. However, all submissions (especially work-in-progress reports and system descriptions) may be considerably shorter than 15 pages. Proceedings All papers accepted for presentation at the conference will be published in informal proceedings publicly available at the Computing Research Repository. According to the program committee reviews, submissions can be directly accepted for publication in the formal post-conference proceedings. The formal post-conference proceedings will be published in both electronic and paper formats by Springer in the Lecture Notes in Computer Science series. After the conference, all authors accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the conference. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Therefore, all accepted papers will be published in open-access, and the authors can also decide to publish their work in the Springer LNCS formal proceedings. Program Committee + Slim Abdennadher, German University in Cairo, Egypt + Maria Alpuente, Universitat Politècnica de València, Spain + Sergio Antoy, Portland State University, USA + Olaf Chitil, University of Kent, UK + Maria del Mar Gallardo, Universidad de Málaga, Spain + Michael Hanus, University of Kiel, Germany + Herbert Kuchen, University of Münster, Germany + Kostis Sagonas, Uppsala University, Sweden + Tom Schrijvers, Katholieke Universiteit Leuven, Belgium + Sibylle Schwarz, HTWK Leipzig, Germany + Martina Seidl, Johannes Kepler University Linz, Austria + Dietmar Seipel, University of Würzburg, Germany + Josep Silva, Universitat Politècnica de València, Spain (Program Chair) + Salvador Tamarit, Universidad Politécnica de Madrid, Spain + Janis Voigtländer, University of Duisburg-Essen, Germany + Johannes Waldmann, HTWK Leipzig, Germany Organizing Committee David Sabel (General Chair), Computer Science Institute Goethe-University Frankfurt am Main, Germany

1 0

CfP: Workshop on Functional High-Performance Computing 2018 at ICFP
by Kei Davis 19 Mar '18

19 Mar '18

CALL FOR PAPERS FHPC 2018 7th ACM SIGPLAN Workshop on Functional High-Performance Computing September 29, 2018, St. Louis, Missouri, USA https://icfp18.sigplan.org/track/FHPC-2018-papers The 7th ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC’18) is being held as in previous years in conjunction with the International Conference on Functional Programming (ICFP’18) together with numerous other workshops/symposia, and as a first, colocated with Strange Loop, in St. Louis, Missouri, USA. Workshop Objectives The FHPC’18 workshop seeks to bring together researchers and practitioners exploring uses of functional (or more generally, declarative or high-level) programming systems or concepts in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented (low-level) imperative implementations. All aspects of performance-critical programming and parallel programming are in scope for the workshop, irrespective of hardware target. This includes both traditional large-scale distributed-memory scientific computing (HPC), as well as work targeting single node systems with SMPs, GPUs, FPGAs, or embedded processors. FHPC 2018 seeks to encourage a range of submissions, focusing on work in progress and facilitating early exchange of ideas and open discussion on innovative and/or emerging results. Original research, experience reports, case studies, and evaluations of programming systems are all welcome. Work on incorporation of functional programming concepts into more traditional (imperative) HPC applications is explicitly solicited. This year FHPC provides authors the opportunity to submit for evaluation any relevant artifacts that accompany their papers. The dissemination of artifacts promotes reproducibility, and enables authors to build on top of each others’ work, while it can also help to more unambiguously resolve questions about cases not considered by the original authors. For the purpose of FHPC, we plan to reward selected artifacts with additional presentation time in a dedicated slot during the workshop, for example, for demonstrating (i) reproducibility of results or (ii) practical usage of the framework (visualization, demos, etc). Artifact Details The artifact-evaluation committee (AEC) will accept any artifact that authors wish to submit. Obviously, the better the artifact is packaged, the more likely the AEC can actually work with it. We ask the authors to provide provide the title of the FHPC paper submission, together with three files: * a .pdf file that provides detailed instructions to the reviewers about how to install the artifact and what to look for in the evaluations * an archive .zip or .tar.gz containing the artifact * the submitted FHPC’18 paper (.pdf file) The artifact evaluation process is intended to encourage an open and constructive communication (via HotCRP) between (anonymous) reviewers and authors. Submission of an artifact does not constitute tacit permission to make its content public. AEC members will be instructed that they may not publicise any part of your artifact during or after completing evaluation, nor retain any part of it after evaluation. Thus, you are free to include models, data files, proprietary binaries, and similar items in your artifact. The AEC organisers strongly encourage you to anonymise any data files that you submit. Publication The proceedings of FHPC’18 will be published by the ACM Digital Press. Important Dates * Submission Deadline: June 8, 2018 anywhere on Earth. * Notification: early July (TBD) * Camera ready: late July (TBD) * Final version of proceedings available: Sept. 9 * FHPC 2018: Saturday Sept. 29, 2018. Official website, submissions, registration details https://icfp18.sigplan.org/track/FHPC-2018-papers Previous FHPC websites https://icfp17.sigplan.org/track/FHPC-2017-papers https://sites.google.com/site/fhpcworkshops/ ICFP and related workshops https://conf.researchr.org/home/icfp-2018 https://icfp18.sigplan.org Strange Loop https://www.thestrangeloop.com/ Questions or comments? fhpc18(a)gmail.com Kei Davis and Mike Rainey, co-chairs

1 0

[ANNOUNCE] GHC 8.4.1 released
by Ben Gamari 19 Mar '18

19 Mar '18

(Apologies for the belated announcement on this list) The GHC developers are very happy to announce the 8.4.1 release of Glasgow Haskell Compiler. Binary and source distributions can be found at https://downloads.haskell.org/~ghc/8.4.1/ This is the third major release in the GHC 8 series. As such, the focus of this release is performance, stability, and consolidation. Consequently numerous cleanups can be seen throughout the compiler including, * Further refinement of TypeInType, including significant improvements in error messages. * Improvements in code generation resulting in noticable performance improvements in some types of programs. * Core library improvements, including phase 2 of the Semigroup/Monoid proposal * Many improvements to instance deriving * The resolution of nearly 300 other tickets A more thorough list of the changes in this release can be found in the release notes, https://downloads.haskell.org/~ghc/8.4.1/docs/html/users_guide/8.4.1-notes.… There are a few changes in release-engineering matters that should be noted, * This is GHC's first release on it's new, accelerated release schedule. From now on GHC will produce one release every six months. * While we typically strive to produce OpenBSD builds, the gcc shipped with OpenBSD 6.1 is unfortunately too old to compile this release. * FreeBSD builds are still in progress This release has been the result of approximately six months of work by over one hundred code contributors. Thanks to everyone who has helped in writing patches, testing, reporting bugs, and offering feedback over the last year. 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

CFP Special Sessions: DS-RT 2018 - Madrid, Spain, October 15-17, 2018
by Robson De Grande 19 Mar '18

19 Mar '18

Dear Colleagues and Researchers, Apologies, if you have received multiple copies of this CFP. ********** CALL FOR PAPER ********** DS-RT 2018, the 22nd IEEE/ACM International Symposium on Distributed Simulations and Real Time Applications, is running three special sessions this year: - Distributed Simulations of Distributed Systems - Agent-based Modeling and Simulation - Simulation of Urban Traffic Management and ITS These special sessions cover important areas of the field of distributed simulations and real time applications, and many papers were accepted in previous editions of DS-RT on the same topics. See below for more detailed descriptions of those special sessions. Accepted works will be published in the main track of IEEE DS-RT 2018 proceedings. ***** PAPER SUBMISSION AND REVIEW ***** Submitted manuscripts must be in standard IEEE two-column format that is used for IEEE conference proceedings and must not exceed "8 pages" (2-page extension allowed), including figures, tables and references. Standard IEEE templates for Microsoft Word or LaTeX formats can be found at: - http://www.ieee.org/conferences_events/conferences/publishing/templates.html A submission may present preliminary results, propose new research direction, provide insightful retrospective, or offer a provocative viewpoint on important topics related to the considered special session. Papers will be selected based on their likelihood of generating insightful technical discussions at the special session and influencing future research. 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 and the special session. At least one author of accepted papers must attend the conference and present its contribution. Accepted papers will appear in the conference proceedings to be published by IEEE Press. ***** IMPORTANT DATES ***** Full paper submission deadline: June 10th, 2018 Paper acceptance notification: July 10th, 2018 ***** FOR MORE INFORMATION ***** For questions about the paper submission and review process, please contact the session organisers - find all relevant information on the corresponding web pages below. ***** DESCRIPTION OF THE SPECIAL SESSIONS ***** * Special Session on Distributed Simulations of Distributed Systems * Distributed simulation (DS) is a valuable tool for understanding and evaluating distributed systems. The current computing trend sees businesses and individuals moving toward a more centralized infrastructure, namely the cloud. On the one hand, as the computing infrastructure at data centers is highly complex and distributed, DS becomes essential for diagnosing and gaining insights of the system. On the other hand, the scale and nature of interaction between different components in the cloud present new challenges and push DS's state of the art. Another computing trend that has potential to drive DS is internet-of-things. Such complex systems consist of a large number of autonomous, heterogeneous devices communicating with one another in non-uniform manner. DS is valuable not only for discerning system properties but also for predicting the devices' emergent behavior. Finally, users in online social networks make up large distributed systems. Insights of user interaction and the network's collective behavior --- the study of which fits well into the realm of DS --- bring significant value to both the society and the business of social network providers. This special session seeks to bring together experts and practitioners in the domain of DS to discuss new opportunities and challenges for DS. We welcome research papers on both theoretical and empirical issues. Web page: http://ds-rt.com/2018/dsimdsys_2018.htm * Special Session on Agent-based Modeling and Simulation * This special session focuses on general aspects and special properties for agent-based modeling and simulations that allows them to be applied on several scientific domains, such as sociology, physics, chemistry, biology, ecology, and economy. The session is intended to bring together researchers and practitioners, so they can present the current status of their work and discuss the challenges they face in developing solutions and applications for agent-based simulations. Consequently, the design of these simulations aims not only to social contexts but also to more technical domains, which involves highly complex interactive systems. Web page: http://ds-rt.com/2018/abms_2018.htm * Special Session on Simulation of Urban Traffic Management and ITS * This special session focuses on simulation tools and real-time simulation applications used in and for evaluation, management, and design of Intelligent Transportation Systems (ITS), as well as Smart Cities. Such simulations are expected to offer prediction and on-the-flow feedback for the better decision-making, bringing up means for both the implementation of more complex traffic management systems and end-user applications. Off-line and real-time analyses of data collected from infrastructured systems (e.g. real-time traffic information), mobile, distributed technologies (e.g. communication devices), and socially-build systems (e.g. social networks applications) are of great interest for shaping and influencing how ITS solutions are designed. Thus, we are particularly interested in how these data and technologies can be incorporated in domain-related models and simulations. We aim to bring together experts from both industry and academia to discuss the challenges related to modelling and simulation for ITS. Web page: http://ds-rt.com/2018/soiits_2018.htm Best Regards, DS-RT 2018 Special Session Chairs

1 0

Call for Tutorial Proposals: ICFP 2018
by Lindsey Kuper 18 Mar '18

18 Mar '18

CALL FOR TUTORIAL PROPOSALS ICFP 2018 23rd ACM SIGPLAN International Conference on Functional Programming September 23-29, 2018 St. Louis, Missouri, United States http://conf.researchr.org/home/icfp-2018 The 23rd ACM SIGPLAN International Conference on Functional Programming will be held in St. Louis, Missouri, United States on September 23-29, 2018. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for tutorials to be presented during ICFP and its co-located workshops and other events. These tutorials are the successor to the CUFP tutorials from previous years, but we also welcome tutorials whose primary audience is researchers rather than practitioners. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Ideally, tutorials will have a concrete result, such as "Learn to do X with Y" rather than "Learn language Y". Tutorials may occur in parallel to both ICFP and its co-located workshops, from September 23 through September 29. Additionally, ICFP is co-located with Strange Loop this year, and this will be taken into account when scheduling tutorials. ---------------------------------------------------------------------- Submission details Deadline for submission: April 9, 2018 Notification of acceptance: April 16, 2018 Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2018 workshop co-chairs (Christophe Scholliers and David Christiansen), via email to icfp-workshops-2018(a)googlegroups.com by April 9, 2018. Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by April 16, 2018. The proposal form is available at: http://www.icfpconference.org/icfp2018-files/icfp18-tutorials-form.txt ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2018 organizing committee. Workshop Co-Chair: Christophe Scholliers (University of Ghent) Workshop Co-Chair: David Christiansen (Galois, Inc.) General Chair: Robby Findler (Northwestern University) Program Chair: Matthew Flatt (University of Utah) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Christophe Scholliers and David Christiansen), via email to icfp-workshops-2018(a)googlegroups.com

1 0

Data61 Seeking Proof Engineers
by Gerwin.Klein＠data61.csiro.au 17 Mar '18

17 Mar '18

Data61 Seeking Proof Engineers ============================== We are are hiring again! If only there were a place where I could prove theorems for money, change the world, and have fun while doing it... Sounds too good to exist? In the Trustworthy Systems team at Data61 that's what we do for a living. We are the creators of seL4, the world's first fully formally verified operating system kernel with extreme performance and strong security & correctness proofs. Our highly international team is located on the UNSW campus, close to the beautiful beaches of sunny Sydney, Australia, one of the world's most liveable cities. We are looking for 3 motivated proof engineers who want to join our team in Sydney, move things forward, and have global impact. We are expanding our team, because seL4 is going places. There are active projects around the world in - Automotive - because cars have been hacked enough - Aviation - for more security and safety for autonomous vehicles - Defence - protecting confidential information - Connected consumer devices - with security built in from the start - Spaceflight - because awesome To make these projects successful, we need to scale formal verification. You would - work on industrial-scale formal proofs in Isabelle/HOL - develop formally verified infrastructure for building secure systems on top of seL4 - contribute to improved proof automation and better reasoning techniques - apply formal proof to real-world systems and tools To apply for this position, you should possess a significant subset of the following skills. - functional programming in a language like Haskell, ML, or OCaml - first-order or higher-order formal logic - basic experience in C - ability and desire to quickly learn new techniques - undergraduate degree in Computer Science, Mathematics, or similar - ability and desire to work in a larger team We are hiring at two levels, so if you are more qualified or experienced than the above would suggest, you can come in as a senior proof engineer. If you additionally have experience - in software verification with an interactive theorem prover such as Isabelle/HOL, HOL4, or Coq, and/or - with operating systems and microkernels you should definitely apply! If you have the right skills and background, we can provide training on the job. Continual learning is a central component of everything we do. You will work with a unique world-leading combination of OS and formal methods experts, students at undergraduate and PhD level, engineers, and researchers from 5 continents, speaking over 15 languages. Trustworthy Systems is a fun, creative, and welcoming workplace with flexible hours & work arrangements. We value diversity in all forms and welcome applications from people of all ages, including people with disabilities, and those who identify as LGBTIQ. See https://ts.data61.csiro.au/diversity/ for more information. Salary ranges for this position, in AUD (plus superannuation): - Junior: 80-91K - Senior: 95-103K depending on experience and qualifications. Apply online at the following links: - https://jobs.csiro.au/job/Sydney%2C-NSW-Proof-Engineer/464792900/ - https://jobs.csiro.au/job/Sydney%2C-NSW-Senior-Proof-Engineer/464792300/ Your application should include a cover letter, CV, undergraduate transcript (if applicable), and contact information for two references. This round of applications closes 21 November 2017. The seL4 code and proof are open source. Check them out at https://seL4.systems More information about Data61's Trustworthy Systems team at https://ts.data61.csiro.au Still studying? We also have internship opportunities! https://ts.data61.csiro.au/students/

1 0

[Google Summer of Code 2018] Student Applications are now open
by Jasper Van der Jeugt 17 Mar '18

17 Mar '18

Hey all, As we've previously announced through different channels, Haskell.org was accepted into Google Summer of Code 2018 [1]. Students application have now opened. Students can submit their proposal at the Summer of Code Dashboard [2]. We are also seeking mentors for possible projects. This year, we would like to assign a back-up mentor for each student. If you are interested in mentoring, please contact us [3] so we can add you to the mentor list directly. Having good mentors is an important factor in making the students feel welcome and guiding them to a succesful completion of their projects. If you would like to apply but you don't know how to start your proposal, have a look at our ideas list [4] and this great guide [5]. Lastly, we recognize that inclusion is an important part of our mission to promote Haskell. Therefore, we strongly encourage applications from people in communities that are underrepresented in functional programming, including but not limited to women; people of color; people in gender, sexual and romantic minorities; people with disabilities; people residing in Asia, Africa, or Latin America; and people who have never taken part in similar programs before. Kind regards, Jasper Van der Jeugt & George Wilson on behalf of the Haskell.org Committee [1]: https://summerofcode.withgoogle.com/organizations/5706672807346176/ [2]: https://summerofcode.withgoogle.com/ [3]: https://summer.haskell.org/contact.html [4]: https://summer.haskell.org/ideas.html [5]: http://write.flossmanuals.net/gsocstudentguide/writing-a-proposal/

4 3

Haskell Programmer position
by Ward C Wheeler 16 Mar '18

16 Mar '18

(Apologies if this this list is inappropriate for such an announcement) Seeking a programmer for bioinformatics applications in phylogenetic analysis. Will be working on a grant funded project in a an academic setting (with opportunity for collaboration on academic bioinformatics publications), which centers on creating evolutionary trees from linguistic, genomic and other data. The main development language is Haskell. We have a functioning core Haskell codebase of 22K LOC and a stable legacy C & C++ codebase of 10K. Remote work in not possible and the duration of the project is from July 1, 2018 to June 30, 2020. Qualifications: B.S/M.S. Degree in Computer Science or Engineering. Experienced with sizable applications preferable in a functional language (ML, Lisp, Haskell, Ocaml) ideally Haskell. Experience with C or C++ is not-essential, but desirable. Salary: Commensurate with experience Contact: wheeler(a)amnh.org<mailto:wheeler@amnh.org> Ward Wheeler Division of Invertebrate Zoology American Museum of Natural History Central Park West at 79th Street New York, NY 10024-5192 USA wardwheeler.wordpress.com<http://wardwheeler.wordpress.com> http://www.amnh.org/our-research/computational-sciences/research/projects/s…

1 0