From amf at dcc.fc.up.pt Tue Apr 1 09:46:33 2014 From: amf at dcc.fc.up.pt (=?iso-8859-1?Q?M=E1rio_Florido?=) Date: Tue, 1 Apr 2014 10:46:33 +0100 Subject: [Haskell] Second call-for-papers - Linearity 2014 Message-ID: [We apologize if you have received multiple copies of this message] ============================================================================== Call for Papers Third International Workshop on Linearity http://vsl2014.at/linearity/ July 13, 2014 Vienna, Austria Submission deadline: April 13, 2014 An associated event of the Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS), as part of the Vienna Summer of Logic. ============================================================================== Aim and Scope ------------- Ever since the birth of Girard's linear logic, there has been a stream of research where linearity is a key issue, covering both theoretical topics and applications to several areas of Computer Science, such as work on proof technology, complexity classes and more recently quantum computation, program analysis, expressive operational semantics, linear programming languages, and techniques for program transformation, update analysis and efficient implementation. The aim of this workshop is to bring together researchers who are currently developing theory and applications of linear calculi, to foster their interaction and provide a forum for presenting new ideas and work in progress, and enable newcomers to learn about current activities in this area. Linearity is a key feature in both theoretical and practical approaches to computer science, and the goal of this workshop is to present work exploring linearity both in theory and practice. Topics of interest include new results that make central use of linearity, ranging from foundational work to applications in any field, are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Specifically, topics of interest include, but are not limited to: * sub-linear logics * linear term calculi * linear type systems * linear proof-theory * linear programming languages * applications to concurrency * interaction-based systems * verification of linear systems * quantum models of computation * biological and chemical models of computation Important Dates --------------- * April 13, 2014: Submission deadline * May 10, 2014: Author notification * May 28, 2014: Deadline for final versions of accepted papers * July 13, 2014: Workshop Submission and Publication -------------------------- Authors are invited to submit an extended abstract (8 pages max) describing original ideas and recent results not published nor submitted elsewhere, or a 5-page abstract presenting relevant work that has been or will be published elsewhere, or work in progress. Preliminary proceedings will be available at the workshop. Papers should be written in English, and submitted in PostScript or PDF format, using the EPTCS style files. Submission is through the Easychair website: https://www.easychair.org/conferences/?conf=linearity2014 After the workshop, authors of the extended abstracts will be invited to submit a longe version of their work (typically a 15-pages paper) for publication in EPTCS. These submission will undergo a second round of referring. Furthermore, we envision publication of a special issue of a journal after the event. Programme Committee ------------------- * Sandra Alves (chair) * Iliano Cervesato (chair) * Kaustuv Chaudhuri * Maribel Fern?ndez * M?rio Florido * Simon Gay * Simone Martini * Luca Paolini * Simona Ronchi Della Rocca * Carsten Schuermann * Robert Simmons * Vasco Vasconcelos Contact ------- Sandra Alves: sandra at dcc.fc.up.pt Iliano Cervesato: iliano at cmu.edu -------------- next part -------------- An HTML attachment was scrubbed... URL: From P.Achten at cs.ru.nl Tue Apr 1 11:07:35 2014 From: P.Achten at cs.ru.nl (Peter Achten) Date: Tue, 01 Apr 2014 13:07:35 +0200 Subject: [Haskell] [TFP2014] First Call for Participation Message-ID: <533A9DF7.8010906@cs.ru.nl> --------------------------------- 1ST CALL FOR PARTICIPATION --------------------------------- ======== TFP 2014 =========== 15th Symposium on Trends in Functional Programming May 26-28, 2014 Utrecht University Soesterberg, The Netherlands http://www.cs.uu.nl/wiki/TFP2014/WebHome Registration is now open for the symposium on Trends in Functional Programming (TFP). It is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results. Submission for TFP is now closed, and the complete programme (29 presentations and two invited talks) for TFP can be perused here: http://www.cs.uu.nl/wiki/TFP2014/PresentationSchedule TFP 2014 will be the main event of a pair of functional programming events. The other is the International Workshop on Trends in Functional Programming in Education (TFPIE). TFPIE will take place on May 25th. Its website is located at http://www.cs.uwyo.edu/~jlc/tfpie14/ . The submission deadline for TFPIE is April 21, 2014. INVITED SPEAKERS TFP is pleased to announce talks by the following two invited speakers: John Hughes of Chalmers, Goteborg, Sweden, is well-known as author of Why Functional Programming Matters, and as one of the designers of QuickCheck (together with Koen Claessen); the paper on QuickCheck won the ICFP Most Influential Paper Award in 2010. Currently he divides his time between his professorship and Quviq, a company that performs property-based testing of software with a tool implemented in Erlang. Geoffrey Mainland received his PhD from Harvard University where he was advised by Greg Morrisett and Matt Welsh. After a two year postdoc with the Programming Principles and Tools group at Microsoft Research Cambridge, he is now an assistant professor at Drexel University. His research focuses on high-level programming language and runtime support for non-general purpose computation. IMPORTANT DATES Early registration: April 14, 2014 Late registration: May 15, 2014 TFPIE Workshop: May 25, 2014 TFP Symposium: May 26-28, 2014 Registrations can be made at the following URL: http://www.cs.uu.nl/wiki/TFP2014/Register This page will also point you to the web page of the venue where you can arrange for your stay. hoping to see you there. Jurriaan Hage (General Chair) From P.Achten at cs.ru.nl Tue Apr 1 14:35:59 2014 From: P.Achten at cs.ru.nl (Peter Achten) Date: Tue, 01 Apr 2014 16:35:59 +0200 Subject: [Haskell] [TFPIE2014] final call for papers Message-ID: <533ACECF.9080102@cs.ru.nl> 3rd International Workshop on Trends in Functional Programming in Education (TFPIE 2014) May 25, 2014 Utrecht University Soesterberg, The Netherlands (http://www.cs.uwyo.edu/~jlc/tfpie14/) The 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, will be co-located with the Symposium on Trends in Functional Programming (TFP 2014) at Soesterberg, at the ?Kontakt der Kontinenten? hotel in the Netherlands on Sunday, May 25th. TFP will follow from May 26-28. The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2014 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Visitors to the TFPIE 2014 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles not selected for presentation and extended abstracts will not be formally reviewed by the PC. TFPIE workshops have previously been held in St Andrews, Scotland (2012) and in Provo Utah, USA (2013). ** Invited Speaker ** TFPIE is pleased to announce that professor Johan Jeuring of Utrecht University and Open University, both in The Netherlands is giving an invited talk entitled: "Automatic tutoring and assessing functional programs". ** Program Committee ** James Caldwell, (Program Chair) University of Wyoming Peter Achten, Radboud University, Nijmgen Edwin Brady, University of St Andrews, St Andrews Jurriaan Hage, Universiteit Utrecht Philip Holzenspies, University of Twente Daniel R. Licata, Wesleyan University Marco T Morazan, Seton Hall University Christian Skalka, University of Vermont David Van Horn, Northeastern University ** Submission Guidelines ** There will be two types of presentations at TFPIE 2014. Regular papers and ?best lecture? presentations. The best lecture talks are intended to allow for presentations or short lectures of purely pedagogical material. Papers and abstracts can be submitted via easychair at the following link: https://www.easychair.org/conferences/?conf=tfpie2014 ** Papers ** TFPIE 2014 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to: * FP and beginning CS students * FP and Computational Thinking * FP and Artificial Intelligence * FP in Robotics * FP and Music * Advanced FP for undergraduates * FP in graduate education * Engaging students in research using FP * FP in Programming Languages * FP in the high school curriculum * FP as a stepping stone to other CS topics * FP and Philosophy ** Best Lectures ** In addition to papers, this year we are requesting ?best lecture? presentations. What?s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. ** Important Dates ** * 1 February 2014: TFPIE submissions open on easychair. * 14 April 2014: Early registration for TFP closes * 21 April 2014: Submission deadline for draft TFPIE papers and abstracts * 27 April 2014: Notification of acceptance for presentation * 15 May 2014: Registration for TFPIE closes - as does late registration for TFP * 25 May 2014: Presentations in Soesterberg, Netherlands * 29 June 2014: Full papers for EPTCS proceedings due * 16 August 2014: Notification of acceptance for proceedings * 8 September 2014: Camera ready copy due for EPTCS Submission of an abstract implies no obligation to submit a full paper; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn. At least one author from each accepted presentation must attend the workshop. From dreixel at gmail.com Wed Apr 2 11:53:39 2014 From: dreixel at gmail.com (=?ISO-8859-1?Q?Jos=E9_Pedro_Magalh=E3es?=) Date: Wed, 2 Apr 2014 12:53:39 +0100 Subject: [Haskell] Second CFP: Workshop on Generic Programming (WGP) 2014 Message-ID: Apologies for multiple postings. ====================================================================== CALL FOR PAPERS WGP 2014 10th ACM SIGPLAN Workshop on Generic Programming Gothenburg, Sweden Sunday, August 31, 2014 http://www.wgp-sigplan.org/2014 Co-located with the International Conference on Functional Programming (ICFP 2014) ====================================================================== Goals of the workshop --------------------- Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. Generic programming techniques have always been of interest, both to practitioners and to theoreticians, and, for at least 20 years, generic programming techniques have been a specific focus of research in the functional and object-oriented programming communities. Generic programming has gradually spread to more and more mainstream languages, and today is widely used in industry. This workshop brings together leading researchers and practitioners in generic programming from around the world, and features papers capturing the state of the art in this important area. We welcome contributions on all aspects, theoretical as well as practical, of * generic programming, * programming with (C++) concepts, * meta-programming, * programming with type classes, * programming with modules, * programming with dependent types, * type systems for generic programming, * polytypic programming, * adaptive object-oriented programming, * component-based programming, * strategic programming, * aspect-oriented programming, * family polymorphism, * object-oriented generic programming, * implementation of generic programming languages, * static and dynamic analyses of generic programs, * and so on. Program Committee ----------------- Jos? Pedro Magalh?es (co-chair), University of Oxford Tiark Rompf (co-chair), Oracle Labs & EPFL Peter Achten, Radboud University Nijmegen Nada Amin, Ecole Polytechnique F?d?rale de Lausanne (EPFL) Pierre-?variste Dagand, INRIA Paris-Rocquencourt Fritz Henglein, University of Copenhagen Andrew Lumsdaine, Indiana University Miles Sabin, Underscore Consulting LLP, Chuusai Ltd. Alexander Slesarenko, Huawei Labs & Keldysh Institute of Applied Mathematics (KIAM) Anthony M. Sloane, Macquarie University Wouter Swierstra, Utrecht University Meng Wang, Chalmers University of Technology Proceedings and Copyright ------------------------- We plan to have formal proceedings, published by the ACM. Authors must transfer copyright to ACM upon acceptance (for government work, to the extent transferable), but retain various rights (http://www.acm.org/publications/policies/copyright_policy). Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material. Submission details ------------------ Deadline for submission: Sunday 2014-05-11 Notification of acceptance: Friday 2014-06-06 Final submission due: Wednesday 2014-06-18 Workshop: Sunday 2014-08-31 Submitted papers should fall into one of two categories: * Regular research papers (12 pages) * Short papers: case studies, tool demos, generic pearls (6 pages) Regular research papers are expected to present novel and interesting research results. Short papers need not present novel or fully polished results. Good candidates for short papers are those that report on interesting case studies of generic programming in open source or industry, present demos of generic programming tools or libraries, or discuss elegant and illustrative uses of generic programming ('pearls'). All submissions should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (two-column, 9pt). Regular research papers must not exceed 12 pages. Short papers must not exceed 6 pages. If applicable, papers should be marked with one of the labels 'case study, 'tool demo' or 'generic pearl' in the title at the time of submission. Papers should be submitted via EasyChair at https://www.easychair.org/conferences/?conf=wgp2014 Travel Support -------------- Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page (http://www.sigplan.org/PAC.htm). History of the Workshop on Generic Programming ---------------------------------------------- Earlier Workshops on Generic Programming have been held in * Boston, Massachusetts, US 2013 (affiliated with ICFP13), * Copenhagen, Denmark 2012 (affiliated with ICFP12), * Tokyo, Japan 2011 (affiliated with ICFP11), * Baltimore, Maryland, US 2010 (affiliated with ICFP10), * Edinburgh, UK 2009 (affiliated with ICFP09), * Victoria, BC, Canada 2008 (affiliated with ICFP), * Portland 2006 (affiliated with ICFP), * Ponte de Lima 2000 (affiliated with MPC), * Marstrand 1998 (affiliated with MPC). Furthermore, there were a few informal workshops * Utrecht 2005 (informal workshop), * Dagstuhl 2002 (IFIP WG2.1 Working Conference), * Nottingham 2001 (informal workshop). There were also (closely related) DGP workshops in Oxford (June 3-4 2004), and a Spring School on DGP in Nottingham (April 24-27 2006, which had a half-day workshop attached). WGP Steering Committee ---------------------- Shin-Cheng Mu (chair) Jaako J?rvi Andres L?h Ronald Garcia Jacques Carette Jeremiah Willcock Tim Sheard Stephanie Weirich Tarmo Uustalu -------------- next part -------------- An HTML attachment was scrubbed... URL: From c.grelck at uva.nl Wed Apr 2 14:51:26 2014 From: c.grelck at uva.nl (Clemens Grelck) Date: Wed, 02 Apr 2014 16:51:26 +0200 Subject: [Haskell] Deadline Extension / Last Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications Message-ID: <533C23EE.3000209@uva.nl> =========================================================================== CALL FOR PAPERS HLPP 2014 7th International Symposium on High-level Parallel Programming and Applications Amsterdam, Netherlands July 3-4, 2014 https://sites.google.com/site/hlpp2014amsterdam/ =========================================================================== New extended deadline: April 14 (anywhere on earth) =========================================================================== Aims and scope: As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism it becomes crucial to provide the software industry with high-level, clean and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. Since 2001 the HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity and high-level performance models. The 7th Symposium on High-Level Parallel Programming and Applications will be held July 3-4 in the historic center of Amsterdam. =========================================================================== Proceedings: Accepted papers will be distributed as informal draft proceedings during the symposium. All accepted papers will be published by Springer in a special issue of the International Journal of Parallel Programming (IJPP). =========================================================================== Important dates: Submission deadline: April 4 (now extended to April 14) Author notification: May 1 (or slightly thereafter) Camera-ready paper due: June 16 =========================================================================== Topics: HLPP 2014 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects: + High-level programming and performance models (BSP, CGM, LogP, MPM, etc.) and their tools + Declarative parallel programming methodologies + Algorithmic skeletons and constructive methods + Declarative parallel programming languages and libraries: semantics and implementation + Verification of declarative parallel and distributed programs + Software synthesis, automatic code generation for parallel programming + Model-driven software engineering with parallel programs + High-level programming models for heterogeneous/hierarchical platforms + High-level parallel methods for large datasets + Applications of parallel systems using high-level languages and tools + Teaching experience with high-level tools and methods =========================================================================== Paper preparation and submission: Papers submitted to HLPP2014 must describe original research results and must not have been published or simultaneously submitted anywhere else. Manuscripts must be prepared with the Springer IJSS latex macro package and submitted via the EasyChair Conference Management System. The strict page limit for initial submission and camera-ready version is 20 pages in the aforementioned format. Each paper will receive a minimum of three reviews by members of the international technical programme committee (see below). Papers will be selected based on their originality, relevance, technical clarity and quality of presentation. At least one author of each accepted paper must register for the HLPP 2014 symposium and present the paper. =========================================================================== Programme committee: Marco Aldinucci, University of Torino, Italy Jost Berthold, University of Copenhagen, Denmark Rob Bisseling, Utrecht University, Netherlands Murray Cole, University of Edinburgh, United Kingdom Joel Falcou, MetaScale / Universit? Paris-Sud, France Clemens Grelck, University of Amsterdam, Netherlands (Chair) Ga?tan Hains, Universit? Paris-Est, France Zhenjiang Hu, National Institute of Informatics, Japan Youry Khmelevsky, University of British Columbia / Okanagan College, Canada Herbert Kuchen, University of M?nster, Germany Kiminori Matsuzaki, Kochi University of Technology, Japan Frank Penczek, Intel Ulm, Germany Susanna Pelagatti, University of Pisa, Italy Tiark Rompf, Oracle Labs / Ecole Polytechnique F?d?rale de Lausanne, Switzerland Francisco de Sande, University of La Laguna, Spain Kostis Sagonas, Uppsala University, Sweden Vijay Saraswat, IBM Thomas J. Watson Research Center, USA Sven-Bodo Scholz, Heriot-Watt University, United Kingdom =========================================================================== HLPP Organizer and programme chair: Clemens Grelck Informatics Institute University of Amsterdam Science Park 904 1098XH Amsterdam Netherlands c.grelck at uva.nl =========================================================================== HLPP steering committee: Clemens Grelck (Universiteit van Amsterdam, Netherlands) Ga?tan Hains (Universit? Paris-Est, France) Kiminori Matsuzaki (Kochi University of Technology, Japan) Fr?d?ric Loulergue (Universit? d'Orl?ans, France) Quentin Miller (Somerville College Oxford, United Kingdom) Alexander Tiskin (University of Warwick, United Kingdom) =========================================================================== Previous HLPP symposia and workshops: HLPP 2013, Paris, France HLPP 2011, Tokyo, Japan HLPP 2010, Baltimore, USA HLPP 2005, Coventry, United Kingdom HLPP 2003, Paris, France HLPP 2001, Orl?ans, France =========================================================================== -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 www.science.uva.nl/~grelck ---------------------------------------------------------------------- From dstcruz at gmail.com Thu Apr 3 04:28:37 2014 From: dstcruz at gmail.com (Daniel Santa Cruz) Date: Thu, 3 Apr 2014 00:28:37 -0400 Subject: [Haskell] Haskell Weekly News: Issue 289 Message-ID: Welcome to issue 289 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from March 1 to 31, 2014 So... where have I been? My wife and I recently welcomed into the world our new baby, and as some of you have already experienced, I was doing good getting *some* sleep at night. Life has slowly started to get back to a more predictable rhythm, and I am sure glad to be back doing this. For a while there I thought that any project of mine before bambina was going to have to be put into permament hold, but things are getting very manageble now. Sorry for the abscense! I was somewhat pleased to see that some in -cafe wondered if this was coming back... this one is for you! Some have mentioned that they wish to see more of the "reviews" that HWN used to have of blog entries, and/or email chains in the different mailing lists. I understand that dessire. I'm probably going to need some extra hands to write those, if there are to be back. Maybe we can start with something "lighter", a la tl;dr. I'm stil trying to work out how we'd do that exacly. I'll keep you all posted. Anyway, enough rambling. Quotes of the Week * acowley: I will push machines-concurrent to hackage one fine day edwardk: not concurrent-machines ? acowley: Man, I walked right into that bike shed * malc: I have a coworker who constantly reads haskell stuff at work, nudged him towards the lens talk, that should push him towards actually doing work at work. * Fuuzetsu: I know someone who pulls in Lens just for & and ?? * Eduard_Munteanu: Don't put your money in monads, you can never get it back. :P Top Reddit Stories * Haskell for all: Introductions to advanced Haskell topics Domain: haskellforall.com, Score: 121, Comments: 23 On Reddit: [1] http://goo.gl/M6ZL9f Original: [2] http://goo.gl/YEKyCc * GHC 7.8.1 RC2 released Domain: well-typed.com, Score: 99, Comments: 36 On Reddit: [3] http://goo.gl/jxlLQl Original: [4] http://goo.gl/05xnqX * Book review: Parallel and Concurrent Programming in Haskell Domain: serpentine.com, Score: 87, Comments: 17 On Reddit: [5] http://goo.gl/BfWSWC Original: [6] http://goo.gl/nDe2UG * The Haskell Cast #6 - Gabriel Gonzalez and Michael Snoyman on Pipes and Conduit Domain: haskellcast.com, Score: 83, Comments: 13 On Reddit: [7] http://goo.gl/PwL2aV Original: [8] http://goo.gl/hwemr6 * Performance in Haskell from a noob's perspective Domain: self.haskell, Score: 74, Comments: 111 On Reddit: [9] http://goo.gl/IuT0uJ Original: [10] http://goo.gl/IuT0uJ * New Haddock -- a visual guide to changes Domain: fuuzetsu.co.uk, Score: 72, Comments: 13 On Reddit: [11] http://goo.gl/KWJSEh Original: [12] http://goo.gl/IXzESN * Full-time position available: computer scientist to create data types for scientific computing, in Haskell. Location: anywhere (telecommute). Domain: self.haskell, Score: 67, Comments: 17 On Reddit: [13] http://goo.gl/Z8y9py Original: [14] http://goo.gl/Z8y9py * Haskell Type Classes Cheatsheet Domain: fundeps.com, Score: 62, Comments: 21 On Reddit: [15] http://goo.gl/oAWk4C Original: [16] http://goo.gl/SqHbro * Malicious link in haskell.org docs for 6 years, 6 months, 6 days Domain: self.haskell, Score: 61, Comments: 6 On Reddit: [17] http://goo.gl/V5y3hk Original: [18] http://goo.gl/V5y3hk * What's your "killer app" for your scientific/statistical programming environment? Domain: self.haskell, Score: 57, Comments: 92 On Reddit: [19] http://goo.gl/jfbwdj Original: [20] http://goo.gl/jfbwdj * Find out the type of an expression/function with typed holes Domain: ro-che.info, Score: 56, Comments: 5 On Reddit: [21] http://goo.gl/hcjX1v Original: [22] http://goo.gl/TWLT5R * Elm 0.12 - making interactive UI elements easy and pure Domain: elm-lang.org, Score: 56, Comments: 5 On Reddit: [23] http://goo.gl/SRoog7 Original: [24] http://goo.gl/7FoFAz * QuickCheck 2.7 released Domain: hackage.haskell.org, Score: 55, Comments: 7 On Reddit: [25] http://goo.gl/RN66bR Original: [26] http://goo.gl/3S38Uz Top StackOverflow Questions * Why is Haskell unable to read "7e7" but able to read "7a7"? votes: 42, answers: 3 Read on SO: [27] http://goo.gl/ZI8qm8 * Strange GHCi lazy evaluation votes: 17, answers: 1 Read on SO: [28] http://goo.gl/aoHvVp * Fast, branchless unsigned int absolute difference votes: 16, answers: 3 Read on SO: [29] http://goo.gl/TT3Oxi * How can I write human-language units as postfixes in Haskell, like `3 seconds`? votes: 15, answers: 2 Read on SO: [30] http://goo.gl/6MJk5C * Running Haskell on Xeon-Phi votes: 14, answers: 1 Read on SO: [31] http://goo.gl/QEIayp Until next time, [32]+Daniel Santa Cruz References 1. http://www.haskellforall.com/2014/03/introductions-to-advanced-haskell-topics.html 2. http://www.reddit.com/r/haskell/comments/21bcb5/haskell_for_all_introductions_to_advanced_haskell/ 3. http://www.well-typed.com/blog/87 4. http://www.reddit.com/r/haskell/comments/1zgaln/ghc_781_rc2_released/ 5. http://www.serpentine.com/blog/2014/03/18/book-review-parallel-and-concurrent-programming-in-haskell/ 6. http://www.reddit.com/r/haskell/comments/20sdt4/book_review_parallel_and_concurrent_programming/ 7. http://www.haskellcast.com/episode/006-gabriel-gonzalez-and-michael-snoyman-on-pipes-and-conduit 8. http://www.reddit.com/r/haskell/comments/1zfo9g/the_haskell_cast_6_gabriel_gonzalez_and_michael/ 9. http://www.reddit.com/r/haskell/comments/21g6uo/performance_in_haskell_from_a_noobs_perspective/ 10. http://www.reddit.com/r/haskell/comments/21g6uo/performance_in_haskell_from_a_noobs_perspective/ 11. http://fuuzetsu.co.uk/blog/posts/2014-03-24-New-Haddock-released%21-A-visual-guide-to-changes.html 12. http://www.reddit.com/r/haskell/comments/218rov/new_haddock_a_visual_guide_to_changes/ 13. http://www.reddit.com/r/haskell/comments/202pvl/fulltime_position_available_computer_scientist_to/ 14. http://www.reddit.com/r/haskell/comments/202pvl/fulltime_position_available_computer_scientist_to/ 15. http://fundeps.com/posts/cheatsheets/2014-03-04-cheat-sheets/ 16. http://www.reddit.com/r/haskell/comments/1zn3h9/haskell_type_classes_cheatsheet/ 17. http://www.reddit.com/r/haskell/comments/21959m/malicious_link_in_haskellorg_docs_for_6_years_6/ 18. http://www.reddit.com/r/haskell/comments/21959m/malicious_link_in_haskellorg_docs_for_6_years_6/ 19. http://www.reddit.com/r/haskell/comments/1zowv1/whats_your_killer_app_for_your/ 20. http://www.reddit.com/r/haskell/comments/1zowv1/whats_your_killer_app_for_your/ 21. http://ro-che.info/articles/2014-03-13-type-of-local-function.html 22. http://www.reddit.com/r/haskell/comments/20bixd/find_out_the_type_of_an_expressionfunction_with/ 23. http://elm-lang.org/blog/announce/0.12.elm 24. http://www.reddit.com/r/haskell/comments/218isr/elm_012_making_interactive_ui_elements_easy_and/ 25. http://hackage.haskell.org/package/QuickCheck-2.7.1/changelog 26. http://www.reddit.com/r/haskell/comments/213da9/quickcheck_27_released/ 27. http://stackoverflow.com/questions/22689122/why-is-haskell-unable-to-read-7e7-but-able-to-read-7a7 28. http://stackoverflow.com/questions/22491700/strange-ghci-lazy-evaluation 29. http://stackoverflow.com/questions/22445019/fast-branchless-unsigned-int-absolute-difference 30. http://stackoverflow.com/questions/22109333/how-can-i-write-human-language-units-as-postfixes-in-haskell-like-3-seconds 31. http://stackoverflow.com/questions/22253311/running-haskell-on-xeon-phi 32. https://plus.google.com/105107667630152149014/about -------------- next part -------------- An HTML attachment was scrubbed... URL: From evohunz at gmail.com Thu Apr 3 11:22:33 2014 From: evohunz at gmail.com (Thiago Negri) Date: Thu, 3 Apr 2014 08:22:33 -0300 Subject: [Haskell] Haskell Weekly News: Issue 289 In-Reply-To: References: Message-ID: Congratulations on your baby! :-) 2014-04-03 1:28 GMT-03:00 Daniel Santa Cruz : > Welcome to issue 289 of the HWN, an issue covering crowd-sourced bits > of information about Haskell from around the web. This issue covers > from March 1 to 31, 2014 > > So... where have I been? > > My wife and I recently welcomed into the world our new baby, and as > some of you have already experienced, I was doing good getting *some* > sleep at night. Life has slowly started to get back to a more > predictable rhythm, and I am sure glad to be back doing this. For a > while there I thought that any project of mine before bambina was going > to have to be put into permament hold, but things are getting very > manageble now. > > Sorry for the abscense! I was somewhat pleased to see that some in > -cafe wondered if this was coming back... this one is for you! > > Some have mentioned that they wish to see more of the "reviews" that > HWN used to have of blog entries, and/or email chains in the different > mailing lists. I understand that dessire. I'm probably going to need > some extra hands to write those, if there are to be back. Maybe we can > start with something "lighter", a la tl;dr. I'm stil trying to work out > how we'd do that exacly. I'll keep you all posted. > > Anyway, enough rambling. > > Quotes of the Week > > * acowley: I will push machines-concurrent to hackage one fine day > edwardk: not concurrent-machines ? > acowley: Man, I walked right into that bike shed > > * malc: I have a coworker who constantly reads haskell stuff at work, > nudged him towards the lens talk, that should push him towards > actually doing work at work. > > * Fuuzetsu: I know someone who pulls in Lens just for & and ?? > > * Eduard_Munteanu: Don't put your money in monads, you can never get > it back. :P > > Top Reddit Stories > > * Haskell for all: Introductions to advanced Haskell topics > Domain: haskellforall.com, Score: 121, Comments: 23 > On Reddit: [1] http://goo.gl/M6ZL9f > Original: [2] http://goo.gl/YEKyCc > > * GHC 7.8.1 RC2 released > Domain: well-typed.com, Score: 99, Comments: 36 > On Reddit: [3] http://goo.gl/jxlLQl > Original: [4] http://goo.gl/05xnqX > > * Book review: Parallel and Concurrent Programming in Haskell > Domain: serpentine.com, Score: 87, Comments: 17 > On Reddit: [5] http://goo.gl/BfWSWC > Original: [6] http://goo.gl/nDe2UG > > * The Haskell Cast #6 - Gabriel Gonzalez and Michael Snoyman on Pipes > and Conduit > Domain: haskellcast.com, Score: 83, Comments: 13 > On Reddit: [7] http://goo.gl/PwL2aV > Original: [8] http://goo.gl/hwemr6 > > * Performance in Haskell from a noob's perspective > Domain: self.haskell, Score: 74, Comments: 111 > On Reddit: [9] http://goo.gl/IuT0uJ > Original: [10] http://goo.gl/IuT0uJ > > * New Haddock ? a visual guide to changes > Domain: fuuzetsu.co.uk, Score: 72, Comments: 13 > On Reddit: [11] http://goo.gl/KWJSEh > Original: [12] http://goo.gl/IXzESN > > * Full-time position available: computer scientist to create data types > for scientific computing, in Haskell. Location: anywhere (telecommute). > Domain: self.haskell, Score: 67, Comments: 17 > On Reddit: [13] http://goo.gl/Z8y9py > Original: [14] http://goo.gl/Z8y9py > > * Haskell Type Classes Cheatsheet > Domain: fundeps.com, Score: 62, Comments: 21 > On Reddit: [15] http://goo.gl/oAWk4C > Original: [16] http://goo.gl/SqHbro > > * Malicious link in haskell.org docs for 6 years, 6 months, 6 days > Domain: self.haskell, Score: 61, Comments: 6 > On Reddit: [17] http://goo.gl/V5y3hk > Original: [18] http://goo.gl/V5y3hk > > * What's your "killer app" for your scientific/statistical programming > environment? > Domain: self.haskell, Score: 57, Comments: 92 > On Reddit: [19] http://goo.gl/jfbwdj > Original: [20] http://goo.gl/jfbwdj > > * Find out the type of an expression/function with typed holes > Domain: ro-che.info, Score: 56, Comments: 5 > On Reddit: [21] http://goo.gl/hcjX1v > Original: [22] http://goo.gl/TWLT5R > > * Elm 0.12 - making interactive UI elements easy and pure > Domain: elm-lang.org, Score: 56, Comments: 5 > On Reddit: [23] http://goo.gl/SRoog7 > Original: [24] http://goo.gl/7FoFAz > > * QuickCheck 2.7 released > Domain: hackage.haskell.org, Score: 55, Comments: 7 > On Reddit: [25] http://goo.gl/RN66bR > Original: [26] http://goo.gl/3S38Uz > > Top StackOverflow Questions > > * Why is Haskell unable to read ?7e7? but able to read ?7a7?? > votes: 42, answers: 3 > Read on SO: [27] http://goo.gl/ZI8qm8 > > * Strange GHCi lazy evaluation > votes: 17, answers: 1 > Read on SO: [28] http://goo.gl/aoHvVp > > * Fast, branchless unsigned int absolute difference > votes: 16, answers: 3 > Read on SO: [29] http://goo.gl/TT3Oxi > > * How can I write human-language units as postfixes in Haskell, like `3 > seconds`? > votes: 15, answers: 2 > Read on SO: [30] http://goo.gl/6MJk5C > > * Running Haskell on Xeon-Phi > votes: 14, answers: 1 > Read on SO: [31] http://goo.gl/QEIayp > > Until next time, > [32]+Daniel Santa Cruz > > References > > 1. > http://www.haskellforall.com/2014/03/introductions-to-advanced-haskell-topics.html > 2. > http://www.reddit.com/r/haskell/comments/21bcb5/haskell_for_all_introductions_to_advanced_haskell/ > 3. http://www.well-typed.com/blog/87 > 4. > http://www.reddit.com/r/haskell/comments/1zgaln/ghc_781_rc2_released/ > 5. > http://www.serpentine.com/blog/2014/03/18/book-review-parallel-and-concurrent-programming-in-haskell/ > 6. > http://www.reddit.com/r/haskell/comments/20sdt4/book_review_parallel_and_concurrent_programming/ > 7. > http://www.haskellcast.com/episode/006-gabriel-gonzalez-and-michael-snoyman-on-pipes-and-conduit > 8. > http://www.reddit.com/r/haskell/comments/1zfo9g/the_haskell_cast_6_gabriel_gonzalez_and_michael/ > 9. > http://www.reddit.com/r/haskell/comments/21g6uo/performance_in_haskell_from_a_noobs_perspective/ > 10. > http://www.reddit.com/r/haskell/comments/21g6uo/performance_in_haskell_from_a_noobs_perspective/ > 11. > http://fuuzetsu.co.uk/blog/posts/2014-03-24-New-Haddock-released%21-A-visual-guide-to-changes.html > 12. > http://www.reddit.com/r/haskell/comments/218rov/new_haddock_a_visual_guide_to_changes/ > 13. > http://www.reddit.com/r/haskell/comments/202pvl/fulltime_position_available_computer_scientist_to/ > 14. > http://www.reddit.com/r/haskell/comments/202pvl/fulltime_position_available_computer_scientist_to/ > 15. http://fundeps.com/posts/cheatsheets/2014-03-04-cheat-sheets/ > 16. > http://www.reddit.com/r/haskell/comments/1zn3h9/haskell_type_classes_cheatsheet/ > 17. > http://www.reddit.com/r/haskell/comments/21959m/malicious_link_in_haskellorg_docs_for_6_years_6/ > 18. > http://www.reddit.com/r/haskell/comments/21959m/malicious_link_in_haskellorg_docs_for_6_years_6/ > 19. > http://www.reddit.com/r/haskell/comments/1zowv1/whats_your_killer_app_for_your/ > 20. > http://www.reddit.com/r/haskell/comments/1zowv1/whats_your_killer_app_for_your/ > 21. http://ro-che.info/articles/2014-03-13-type-of-local-function.html > 22. > http://www.reddit.com/r/haskell/comments/20bixd/find_out_the_type_of_an_expressionfunction_with/ > 23. http://elm-lang.org/blog/announce/0.12.elm > 24. > http://www.reddit.com/r/haskell/comments/218isr/elm_012_making_interactive_ui_elements_easy_and/ > 25. http://hackage.haskell.org/package/QuickCheck-2.7.1/changelog > 26. > http://www.reddit.com/r/haskell/comments/213da9/quickcheck_27_released/ > 27. > http://stackoverflow.com/questions/22689122/why-is-haskell-unable-to-read-7e7-but-able-to-read-7a7 > 28. > http://stackoverflow.com/questions/22491700/strange-ghci-lazy-evaluation > 29. > http://stackoverflow.com/questions/22445019/fast-branchless-unsigned-int-absolute-difference > 30. > http://stackoverflow.com/questions/22109333/how-can-i-write-human-language-units-as-postfixes-in-haskell-like-3-seconds > 31. > http://stackoverflow.com/questions/22253311/running-haskell-on-xeon-phi > 32. https://plus.google.com/105107667630152149014/about > > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://www.haskell.org/mailman/listinfo/haskell > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From yangliu at ntu.edu.sg Sat Apr 5 09:48:57 2014 From: yangliu at ntu.edu.sg (Liu Yang (Asst Prof)) Date: Sat, 5 Apr 2014 09:48:57 +0000 Subject: [Haskell] ICFEM 2014 Last Call-for-papers Message-ID: <5A4257BA3B1EEA45B17620B30FD656E12CAAEC12@EXCHMBOX31.staff.main.ntu.edu.sg> (We apologize in case you receive this email more than once) ---------------------------------------- 16th International Conference on Formal Engineering Methods ICFEM 2014, Luxembourg, 3-7 November 2014 http://icfem2014.uni.lu ---------------------------------------- The 16th International Conference on Formal Engineering Methods (ICFEM 2014) will be held at the Melia Hotel in Luxembourg, Luxembourg from 3rd November to 7 November 2014. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, present their research, and help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM 2014 is organised and sponsored by The University of Luxembourg. The city of Luxembourg itself is on the UNESCO World Heritage List, on account of the historical importance of its fortifications. Luxembourg was the first city to be named European Capital of Culture twice. SCOPE AND TOPICS ---------------------------------------- Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their practical applications will also be considered. + Abstraction and refinement + Formal specification and modelling + Program analysis + Software verification + Software model checking + Formal approaches to software testing + Formal methods for self-adaptive systems Formal methods for object and + component systems Formal methods for concurrent and real-time systems + Formal methods for cloud computing and cyber-physical systems Formal + methods for software safety, security, reliability and dependability + Tool development, integration and experiments involving verified + systems Formal methods used in certifying products under international + standards Formal model-based development and code generation This year, ICFEM will have special tracks on application of formal methods in three areas: + Computer Security + Biology + Healthcare Submissions in these topics are especially encouraged. Papers in these areas will be subject to the same rigorous review process as other papers. Accepted special track papers will be organised into special sessions. KEYNOTE SPEAKERS ---------------------------------------- + Nikolaj Bjorner, Microsoft Research + Vincent Danos, University of Edinburgh SUBMISSION AND PUBLICATION ---------------------------------------- Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and not exceed 16 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Submission should be made through the ICFEM 2014 submission page (https://www.easychair.org/conferences/?conf=icfem2014), handled by the EasyChair conference management system. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Formal Aspect Computing journal. WORKSHOP AND TUTORIAL ---------------------------------------- The last two days of the conference (6th and 7th November 2014) will be dedicated to workshops, tutorials and other satellite events. The organising committee of ICFEM 2014 therefore cordially invites proposals for one-day workshops and one-day or half-day tutorials in any area related to formal methods or software engineering, but particularly in new or emerging fields of application of formal methods. Proposals for workshops/tutorial should contain: + a title and brief description of the topic and the history of the workshop/tutorial, if applicable; + the names and contact details of the potential organisers; a brief + justification of the topic and estimated size of audience; a + description of any special technical requirements. Proposals should be sent to ICFEM2014 Workshops Chair, Jun Sun, at > no later than 22nd March 2014. SUMMER SCHOOL VTSA 2014 ---------------------------------------- The summer school on verification technology, systems & applications takes place at University of Luxembourg from October 27-31, 2014. It is a co-located event with ICFEM 2014 and is organized by the Montefiore Institute, University of Luxembourg, INRIA Nancy, and the Max Planck Insitute for Informatics Saarbr?cken. More detailed information will be provided at the summer school's website. IMPORTANT DATES ---------------------------------------- Abstract Submissions due: 11 April 2014 Full Paper Submissions due: 18 April 2014 Workshop/Tutorial Proposals: 22 March 2014 Acceptance Notification: 20 June 2014 Camera-ready Papers Due: 13 July 2014 ORGANISING COMMITTEE ---------------------------------------- General Co-Chairs Michael Butler, University of Southampton, United Kingdom Sjouke Mauw, University of Luxembourg, Luxembourg Program Committee Co-Chairs Stephan Merz, INRIA, France Jun Pang, University of Luxembourg, Luxembourg Workshop and Tutorial Co-Chairs Jun Sun, Singapore University of Technology and Design, Singapore Local Organisation Chair Andrzej Mizera, University of Luxembourg, Luxembourg Publicity Chair Yang Liu, Nanyang Technological University, Singapore Web Chair: Piotr Kordy, University of Luxembourg, Luxembourg PROGRAM COMMITTEE ---------------------------------------- Frank de Boer, CWI, The Netherlands Jonathan Bowen, Birmingham City University, United Kingdom Michael Butler, University of Southampton, United Kingdom Kostas Chatzikokolakis, CNRS and ?cole Polytechnique, France Zhenhua Duan, Xidian University, China Colin Fidge, Queensland University of Technology, Australia Stefania Gnesi, ISTI-CNR, Italy Radu Grosu, Vienna University of Technology, Austria Ian Hayes, University of Queensland, Australia Michaela Huhn, Technische Universit?t Clausthal, Germany Pierre Kelsen, University of Luxembourg, Luxembourg Steve Kremer, INRIA Nancy, France Jean Krivine, CNRS and Universit? Paris Diderot, France Peter Gorm Larsen, Engineering College of Aarhus, Denmark Xuandong Li, Nanjing University, China Shang-Wei Lin, National University of Singapore, Singapore Shaoying Liu, Hosei University, Japan Yang Liu, Nanyang Technological University, Singapore Sjouke Mauw, University of Luxembourg, Luxembourg Dominique Mery, Universit? de Lorraine, France Stephan Merz, INRIA Nancy, France Mohammad Reza Mousavi, Halmstad University, Sweden Peter Mueller, ETH Zurich, Switzerland Shin Nakajima, National Institute of Informatics, Japan Jun Pang, University of Luxembourg, Luxembourg Ion Petre, ?bo Akademi University, Finland Jaco van de Pol, University of Twente, The Netherlands Shengchao Qin, Teesside University, United Kingdom Zongyan Qiu, Peking University, China Jing Sun, University of Auckland, New Zealand Jun Sun, Singapore University of Technology and Design, Singapore Kenji Taguchi, AIST, Japan Viktor Vafeiadis, MPI-SWS, Germany Hai H. Wang, Aston University, United Kingdom Wang Yi, Uppsala University, Sweden Huibiao Zhu, East China Normal University, China STEERING COMMITTEE ---------------------------------------- Keijiro Araki, Kyushu University, Japan Michael Butler, University of Southampton, United Kingdom Jin Song Dong, National University of Singapore, Singapore Jifeng He, East China Normal University, China Shaoying Liu (Chair), Hosei University, Japan Jeff Offutt, George Mason University, United States Shengchao Qin, University of Teesside, United Kingdom ________________________________ CONFIDENTIALITY:This email is intended solely for the person(s) named and may be confidential and/or privileged.If you are not the intended recipient,please delete it,notify us and do not copy,use,or disclose its contents. Towards a sustainable earth:Print only when necessary.Thank you. -------------- next part -------------- An HTML attachment was scrubbed... URL: From mihai.maruseac at gmail.com Sat Apr 5 14:28:08 2014 From: mihai.maruseac at gmail.com (Mihai Maruseac) Date: Sat, 5 Apr 2014 10:28:08 -0400 Subject: [Haskell] Call for Contributions - Haskell Communities and Activities Report, May 2014 edition Message-ID: Dear all, I would like to collect contributions for the 24th edition of the ================================================================ Haskell Communities & Activities Report http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Submission deadline: 1 May 2014 (please send your contributions to hcar at haskell.org, in plain text or LaTeX format) ================================================================ This is the short story: * If you are working on any project that is in some way related to Haskell, please write a short entry and submit it. Even if the project is very small or unfinished or you think it is not important enough --- please reconsider and submit an entry anyway! * If you are interested in an existing project related to Haskell that has not previously been mentioned in the HCAR, please tell me, so that I can contact the project leaders and ask them to submit an entry. * Feel free to pass on this call for contributions to others that might be interested. More detailed information: The Haskell Communities & Activities Report is a bi-annual overview of the state of Haskell as well as Haskell-related projects over the last, and possibly the upcoming six months. If you have only recently been exposed to Haskell, it might be a good idea to browse the previous edition --- you will find interesting projects described as well as several starting points and links that may provide answers to many questions. Contributions will be collected until the submission deadline. They will then be compiled into a coherent report that is published online as soon as it is ready. As always, this is a great opportunity to update your webpages, make new releases, announce or even start new projects, or to talk about developments you want every Haskeller to know about! Looking forward to your contributions, Mihai Maruseac and Alejandro Serrano Mena (current co-editors) FAQ: Q: What format should I write in? A: The required format is a LaTeX source file, adhering to the template that is available at: http://haskell.org/communities/05-2013/template.tex There is also a LaTeX style file at http://haskell.org/communities/05-2013/hcar.sty that you can use to preview your entry. If you do not know LaTeX, then use plain text. If you modify an old entry that you have written for an earlier edition of the report, you should already have received your old entry as a template (provided I have your valid email address). Please modify that template, rather than using your own version of the old entry as a template. Q: Can I include Haskell code? A: Yes. Please use lhs2tex syntax (http://people.cs.uu.nl/andres/lhs2tex/). The report is compiled in mode polycode.fmt. Q: Can I include images? A: Yes, you are even encouraged to do so. Please use .jpg format, then. Q: Should I send files in .zip archives or similar? A: No, plain file attachements are the way. Q: How much should I write? A: Authors are asked to limit entries to about one column of text. A general introduction is helpful. Apart from that, you should focus on recent or upcoming developments. Pointers to online content can be given for more comprehensive or "historic" overviews of a project. Images do not count towards the length limit, so you may want to use this opportunity to pep up entries. There is no minimum length of an entry! The report aims for being as complete as possible, so please consider writing an entry, even if it is only a few lines long. Q: Which topics are relevant? A: All topics which are related to Haskell in some way are relevant. We usually had reports from users of Haskell (private, academic, or commercial), from authors or contributors to projects related to Haskell, from people working on the Haskell language, libraries, on language extensions or variants. We also like reports about distributions of Haskell software, Haskell infrastructure, books and tutorials on Haskell. Reports on past and upcoming events related to Haskell are also relevant. Finally, there might be new topics we do not even think about. As a rule of thumb: if in doubt, then it probably is relevant and has a place in the HCAR. You can also ask the editor. Q: Is unfinished work relevant? Are ideas for projects relevant? A: Yes! You can use the HCAR to talk about projects you are currently working on. You can use it to look for other developers that might help you. Q: If I do not update my entry, but want to keep it in the report, what should I do? A: Tell the editor that there are no changes. The old entry will typically be reused in this case, but it might be dropped if it is older than a year, to give more room and more attention to projects that change a lot. Do not resend complete entries if you have not changed them. Q: Will I get confirmation if I send an entry? How do I know whether my email has even reached the editor, and not ended up in a spam folder? A: Prior to publication of the final report, the editor will send a draft to all contributors, for possible corrections. So if you do not hear from the editor within two weeks after the deadline, it is safer to send another mail and check whether your first one was received. -- Mihai Maruseac (MM) "If you don't know, the thing to do is not to get scared, but to learn." -- Atlas Shrugged. From oleg at okmij.org Mon Apr 7 06:05:00 2014 From: oleg at okmij.org (oleg at okmij.org) Date: 7 Apr 2014 06:05:00 -0000 Subject: [Haskell] Second CFP: Higher-order, Typed, Inferred, Strict: ML Family Workshop Message-ID: <20140407060500.60355.qmail@www1.g3.pair.com> Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop Thursday September 4, 2014, Gothenburg, Sweden (immediately following ICFP and preceding OCaml Users and Developers Workshop) Call For Papers http://okmij.org/ftp/ML/ML14.html News: Post-proceedings will be published in EPTCS ML is a very large family of programming languages that includes Standard ML, OCaml, F#, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, and many others. All ML languages, beside the great deal of syntax, share several fundamental traits. They are all higher-order, strict, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. The development of these languages has inspired a significant amount of computer science research and influenced a number of programming languages, including Haskell, Scala and Clojure, as well as Rust, ATS and many others. ML workshops have been held in affiliation with ICFP continuously since 2005. This workshop specifically aims to recognize the entire extended ML family and to provide the forum to present and discuss common issues, both practical (compilation techniques, implementations of concurrency and parallelism, programming for the Web) and theoretical (fancy types, module systems, metaprogramming). The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of the members of the ML family. We also encourage presentations from related languages (such as Scala, Rust, Nemerle, ATS, etc.), to exchange experience of further developing ML ideas. The ML family workshop will be held in close coordination with the OCaml Users and Developers Workshop. Format Since 2010, the ML workshop has adopted an informal model. Presentations are selected from submitted abstracts. There are no published proceedings, so any contributions may be submitted for publication elsewhere. We hope that this format encourages the presentation of exciting (if unpolished) research and deliver a lively workshop atmosphere. Each presentation should take 20-25 minutes, except demos, which should take 10-15 minutes. The exact time will be decided based on the number of accepted submissions. The presentations will likely be recorded. Post-conference proceedings The post-proceedings of selected papers from the ML Family and the OCaml Users and Developers workshops will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). The Program Committee shall invite interested authors of selected presentations to expand their abstract for inclusion in the proceedings. The submissions are to be reviewed according to the EPTCS standards. Coordination with the OCaml Users and Developers Workshop The OCaml workshop is seen as more practical and is dedicated in significant part to the OCaml community building and the evolution of the OCaml system. In contrast, the ML family workshop is not focused on any language in particular, is more research oriented, and deals with general issues of the ML-style programming and type systems. Yet there is an overlap, which we are keen to explore in various ways. The authors who feel their submission fits both workshops are encouraged to mention it at submission time or contact the Program Chairs. Scope We acknowledge the whole breadth of the ML family and aim to include languages that are closely related (although not by blood), such as Rust, ATS, Scala, Typed Clojure. Those languages have implemented and investigated run-time and type system choices that may be worth considering for OCaml, F# and other ML languages. We also hope that the exposure to the state of the art ML might favorably influence those related languages. Specifically, we seek research presentations on topics including but not limited to * Design: concurrency, distribution and mobility, programming for the web and embedded systems, handling semi-structured data, facilitating interactive programming, higher forms of polymorphism, generic programming, objects * Implementation: compilation techniques, interpreters, type checkers, partial evaluators, runtime systems, garbage collectors, etc. * Type systems: fancy types, inference, effects, overloading, modules, contracts, specifications and assertions, dynamic typing, error reporting, etc. * Applications: case studies, experience reports, pearls, etc. * Environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc. * Education: ML and ML-like languages in college or high-school, in general or computer science curriculum. Four kinds of submissions will be accepted: Informed Positions, Research Presentations, Experience Reports and Demos. * Informed Positions: A justified argument for or against a language feature. The argument must be substantiated, either theoretically (e.g., by a demonstration of (un)soundness, an inference algorithm, a complexity analysis), empirically or by a substantial experience. Personal experience is accepted as justification so long as it is extensive and illustrated with concrete examples. * Research Presentations: Research presentations should describe new ideas, experimental results, or significant advances in ML-related projects. We especially encourage presentations that describe work in progress, that outline a future research agenda, or that encourage lively discussion. These presentations should be structured in a way which can be, at least in part, of interest to (advanced) users. * Experience Reports: Users are invited to submit Experience Reports about their use of ML and related languages. These presentations do not need to contain original research but they should tell an interesting story to researchers or other advanced users, such as an innovative or unexpected use of advanced features or a description of the challenges they are facing or attempting to solve. * Demos: Live demonstrations or short tutorials should show new developments, interesting prototypes, or work in progress, in the form of tools, libraries, or applications built on or related to ML. (You will need to provide all the hardware and software required for your demo; the workshop organizers are only able to provide a projector.) Important dates Monday May 19 (any time zone): Abstract submission Monday June 30: Author notification Thursday September 4, 2014: ML Family Workshop Submission Submissions should be at most two pages, in PDF format, and printable on US Letter or A4 sized paper. A submission should have a synopsis (2-3 lines) and a body between 1 and 2 pages, in one- or two-column layout. The synopsis should be suitable for inclusion in the workshop program. Submissions must be uploaded to the workshop submission website before the submission deadline (Monday May 19, 2014). For any question concerning the scope of the workshop or the submission process, please contact the program chair. Program Committee Kenichi Asai Ochanomizu University, Japan Matthew Fluet Rochester Institute of Technology, USA Jacques Garrigue Nagoya University, Japan Dave Herman Mozilla, USA Stefan Holdermans Vector Fabrics, Netherlands Oleg Kiselyov (Chair) Monterey, CA, USA Keiko Nakata Tallinn University of Technology, Estonia Didier Remy INRIA Paris-Rocquencourt, France Zhong Shao Yale University, USA Hongwei Xi Boston University, USA From csaba.hruska at gmail.com Mon Apr 7 08:55:55 2014 From: csaba.hruska at gmail.com (Csaba Hruska) Date: Mon, 7 Apr 2014 10:55:55 +0200 Subject: [Haskell] ANN: Budapest Hackathon 2014 Message-ID: Dear Haskellers, We're organizing the first ever Haskell Hackathon in Budapest, Hungary. When: Saturday 31 May 2014 - Sunday 1 June 2014 This will be a great opportunity to meet up with fellow Haskellers, and show off your cool hobby projects in one of the most vibrant cities in Europe. There's also room for working on existing tools, for example you can team up with Luite Stegeman at the event to hack on GHC-JS. Details about the when, where and how: http://www.haskell.org/haskellwiki/BudapestHackathon2014 See you all there! -------------- next part -------------- An HTML attachment was scrubbed... URL: From amal.j.ahmed at gmail.com Mon Apr 7 17:31:02 2014 From: amal.j.ahmed at gmail.com (Amal Ahmed) Date: Mon, 7 Apr 2014 13:31:02 -0400 Subject: [Haskell] Oregon PL Summer School: call for participation Message-ID: This year's Oregon Programming Languages Summer School will take place from June 16th to 28th, 2014. The registration deadline is April 14th. Full information on registration and scholarships an be found here: http://www.cs.uoregon.edu/Activities/summerschool The school has a long and successful tradition (sponsored by the NSF, ACM SIGPLAN, and industry). It covers current research in the theory and practice of programming languages. Material is presented at a tutorial level that will help graduate students and researchers from academia or industry understand the critical issues and open problems confronting the field. Prerequisites are an elementary knowledge of logic and mathematics, as covered in undergraduate classes on discrete mathematics, and some knowledge of programming languages at the level of an undergraduate survey course. This year we will again offer a Coq boot camp session, to be held on June 15th -- one day before the summer school officially begins. The boot camp will provide a one-day, intensive, hands-on introduction to the practical mechanics of the Coq proof assistant. The Coq boot camp will be run by Michael Clarkson (George Washington University). More information is available at the above website. This year's program is titled Types, Logic, Semantics, and Verification. The speakers and topics include: Andrew Appel -- Software Verification Princeton University Lars Birkedal -- Category Theory Aarhus University Derek Dreyer -- Modular Reasoning about Stateful Programs Max Planck Institute for Software Systems Robert Harper -- Type Theory Foundations Carnegie Mellon University Greg Morrisett -- Certified Programming and State Harvard University Ulf Norell -- Programming in Agda Chalmers University of Technology Brigitte Pientka -- Proof Theory Foundations McGill University Stephanie Weirich -- Designing Dependently-Typed Programming Languages University of Pennsylvania Steve Zdancewic -- Software Foundations in Coq University of Pennsylvania We hope you can join us for this excellent program! Amal Ahmed Zena Ariola Greg Morrisett OPLSS 2014 organizers -------------- next part -------------- An HTML attachment was scrubbed... URL: From liyuanfang at gmail.com Wed Apr 9 12:10:28 2014 From: liyuanfang at gmail.com (Yuan-Fang Li) Date: Wed, 9 Apr 2014 22:10:28 +1000 Subject: [Haskell] Call for papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014) Message-ID: *** Apologies for cross-posting *** *Call for Papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)* *Singapore Nov 18-21, 2014 * PRDC 2014 is the twentieth in this series of symposia started in 1989 that are devoted to dependable and fault-tolerant computing. PRDC is recognized as the main event in the Pacific area that covers the many dimensions of dependability and fault tolerance, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems. As applications of computing systems have permeated into all aspects of daily life, the dependability of computing systems has become increasingly critical. This symposium provides a forum for countries around the Pacific Rim and other areas of the world to exchange ideas for improving the dependability of computing systems. Topics of interest include (but not limited to): - Software and hardware reliability, testing, verification, and validation - Dependability measurement, modeling, evaluation, and tools - Self-healing, self-protecting, and fault-tolerant systems - Software aging and rejuvenation - Safety-critical systems and software - Architecture and system design for dependability - Fault-tolerant algorithms and protocols - Reliability in cloud computing, Internet, and web systems and applications - Cloud and Internet Information security - Dependability issues in computer networks and communications - Dependability issues in distributed and parallel systems - Dependability issues in real-time systems, database, and transaction processing systems - Dependability issues in autonomic computing - Dependability issues in aerospace and embedded systems Paper Submissions Manuscripts should be submitted in the following categories: Regular Papers and Practical Experience Reports. Regular Papers should describe original research (not submitted or published elsewhere) and be not more than 10 pages using IEEE format guidelines or 20 pages double-spaced. Practical Experience Reports (max 6 pages using IEEE format guidelines or 12 pages double-spaced) should describe an experience or a case study, such as the design and deployment of a system or actual failure and recovery field data. The title page should include a 150-word abstract, five keywords, authors' names and affiliations, and a line specifying whether the submission is a Regular Paper or a Practical Experience Report. The full mailing address, phone, fax, and email address of the corresponding author should be specified. All submissions must be made electronically (in PDF format) on the submission web site . Papers will be reviewed internationally and selected based on their originality, significance, relevance, and clarity of presentation. All accepted papers will be published by IEEE Computer Society Press. One outstanding paper will be selected to receive the Best Paper Award. Important Dates Submission deadline: May 2, 2014 Notification: June 25, 2014 Best regards Yuan-Fang -------------- next part -------------- An HTML attachment was scrubbed... URL: From austin at well-typed.com Wed Apr 9 14:10:34 2014 From: austin at well-typed.com (Austin Seipp) Date: Wed, 9 Apr 2014 09:10:34 -0500 Subject: [Haskell] ANNOUNCE: GHC version 7.8.1 Message-ID: ============================================================== The (Interactive) Glasgow Haskell Compiler -- version 7.8.1 ============================================================== The GHC Team is pleased to announce a new major release of GHC. There have been a number of significant changes since the last major release, including: * New type-system features * Closed type families * Role checking * An improved solver for type naturals * Better support for cross compilation * Full iOS support * Massive scalability improvements to the I/O manager * Dynamic linking for GHCi * Several language improvements * Pattern synonyms * Overloaded list syntax * Kind-polymorphic 'Typeable' class * A new parallel --make mode * Preliminary SIMD intrinsic support * A brand-new low level code generator * Many bugfixes and other performance improvements. The full release notes are here: http://haskell.org/ghc/docs/7.8.1/html/users_guide/release-7-8-1.html 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 good 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 (C, whatever). 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/TeamGHC 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://www.haskell.org/mailman/listinfo/glasgow-haskell-users http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see http://www.haskell.org/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 Hashes & Signatures ~~~~~~~~~~~~~~~~~ Included in this email is a signed copy of the SHA256 hashes for the tarballs, using my GPG key (keyid 0x3B58D86F). -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ -------------- next part -------------- A non-text attachment was scrubbed... Name: SHA256SUMS.sig Type: application/octet-stream Size: 836 bytes Desc: not available URL: From austin at well-typed.com Wed Apr 9 14:23:48 2014 From: austin at well-typed.com (Austin Seipp) Date: Wed, 9 Apr 2014 09:23:48 -0500 Subject: [Haskell] ANNOUNCE: GHC version 7.8.1 In-Reply-To: References: Message-ID: Hello all, A minor amedment: I accidentally named one of the tarballs slightly wrong. ghc-7.8.1-x86_64-apple-darwin-mountainlion.tar.bz2 should have been ghc-7.8.1-x86_64-apple-darwin-mavericks.tar.bz2, similarly with the .tar.xz. I simply forgot to rename it appropriately! The hashes have not changed. Lion builds will come soon too for users of 10.7 and such. An updated SHA256SUMS.sig is attached. Thanks for Edsko de Vries for pointing it out! On Wed, Apr 9, 2014 at 9:10 AM, Austin Seipp wrote: > ============================================================== > The (Interactive) Glasgow Haskell Compiler -- version 7.8.1 > ============================================================== > > The GHC Team is pleased to announce a new major release of GHC. There > have been a number of significant changes since the last major release, > including: > > * New type-system features > * Closed type families > * Role checking > * An improved solver for type naturals > * Better support for cross compilation > * Full iOS support > * Massive scalability improvements to the I/O manager > * Dynamic linking for GHCi > * Several language improvements > * Pattern synonyms > * Overloaded list syntax > * Kind-polymorphic 'Typeable' class > * A new parallel --make mode > * Preliminary SIMD intrinsic support > * A brand-new low level code generator > * Many bugfixes and other performance improvements. > > The full release notes are here: > > http://haskell.org/ghc/docs/7.8.1/html/users_guide/release-7-8-1.html > > 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 good 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 (C, whatever). 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/TeamGHC > > 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://www.haskell.org/mailman/listinfo/glasgow-haskell-users > http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs > > There are several other haskell and ghc-related mailing lists on > www.haskell.org; for the full list, see > > http://www.haskell.org/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 > > Hashes & Signatures > ~~~~~~~~~~~~~~~~~ > > Included in this email is a signed copy of the SHA256 hashes for the > tarballs, using my GPG key (keyid 0x3B58D86F). > > -- > Regards, > > Austin Seipp, Haskell Consultant > Well-Typed LLP, http://www.well-typed.com/ -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ -------------- next part -------------- A non-text attachment was scrubbed... Name: SHA256SUMS.sig Type: application/octet-stream Size: 836 bytes Desc: not available URL: From dstcruz at gmail.com Thu Apr 10 04:46:24 2014 From: dstcruz at gmail.com (Daniel Santa Cruz) Date: Thu, 10 Apr 2014 00:46:24 -0400 Subject: [Haskell] Haskell Weekly News: Issue 290 Message-ID: Welcome to issue 289 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from April 1 to 5, 2014 Quotes of the Week * edwardk: Zombies are expensive. Top Reddit Stories * foldl is broken! Domain: well-typed.com, Score: 148, Comments: 63 On Reddit: [1] http://goo.gl/LXmJTV Original: [2] http://goo.gl/viOG5O * A small Haskell extension Domain: augustss.blogspot.nl, Score: 76, Comments: 23 On Reddit: [3] http://goo.gl/buI46t Original: [4] http://goo.gl/LnAV9y * New GHC Features for 7.10.1 and Beyond Domain: haskell.org, Score: 74, Comments: 26 On Reddit: [5] http://goo.gl/DdXTfO Original: [6] http://goo.gl/g0FPBS * Libc considered harmful Domain: sylvain-henry.info, Score: 58, Comments: 28 On Reddit: [7] http://goo.gl/aq39Mf Original: [8] http://goo.gl/qdQDXm * Category Theory by Tom LaGatta Domain: youtube.com, Score: 58, Comments: 53 On Reddit: [9] http://goo.gl/oIzG1e Original: [10] http://goo.gl/DeLu5G * Idris 0.9.12 released with major laziness, codata, and documentation updates plus metavars in types Domain: idris-lang.org, Score: 55, Comments: 25 On Reddit: [11] http://goo.gl/4MtXJS Original: [12] http://goo.gl/3tXbqC * A cool paper I found on "Functional Programming and 3D Games". It discusses everything from collision detection to physics and texturing. [PDF] Domain: cse.unsw.edu.au, Score: 52, Comments: 3 On Reddit: [13] http://goo.gl/6PYB2e Original: [14] http://goo.gl/Tf6fa2 * Error reporting with locations Domain: augustss.blogspot.fr, Score: 47, Comments: 28 On Reddit: [15] http://goo.gl/ikaENm Original: [16] http://goo.gl/hntlJT * [ANN] Haste now has a website and a mailing list Domain: haste-lang.org, Score: 42, Comments: 7 On Reddit: [17] http://goo.gl/Ife2FA Original: [18] http://goo.gl/lRWmhv * Haskell in the Newsroom Domain: infoq.com, Score: 41, Comments: 5 On Reddit: [19] http://goo.gl/M4tehD Original: [20] http://goo.gl/bpvgLA * Haskell application architecture best practices Domain: self.haskell, Score: 32, Comments: 23 On Reddit: [21] http://goo.gl/XjHfNJ Original: [22] http://goo.gl/XjHfNJ Top StackOverflow Questions * Haskell - Is it possible to make pointfree functions more readable using different combinators than (.)? votes: 11, answers: 1 Read on SO: [23] http://goo.gl/5b036l * How to detect if a program has been compiled using -threaded? votes: 10, answers: 2 Read on SO: [24] http://goo.gl/Cr7pMA * What does the star mean in this haskell code? votes: 9, answers: 2 Read on SO: [25] http://goo.gl/qnolS7 * What about arrows? votes: 9, answers: 2 Read on SO: [26] http://goo.gl/b1wwp4 * Triggering a documentation update for a Hackage package votes: 8, answers: 1 Read on SO: [27] http://goo.gl/ErTVzf * Combining Data.Dynamic and type classes votes: 7, answers: 0 Read on SO: [28] http://goo.gl/n8qMo9 * Systematically applying a function to all fields of a haskell record votes: 6, answers: 3 Read on SO: [29] http://goo.gl/tNkLGu * Transforming a List of 2-Tuples in Haskell votes: 6, answers: 3 Read on SO: [30] http://goo.gl/dDe8QP * Error in ghci which I cannot reproduce in written haskell file votes: 6, answers: 1 Read on SO: [31] http://goo.gl/bg8DCw * Why can I call a monadic function without supplying a monad? votes: 6, answers: 1 Read on SO: [32] http://goo.gl/xZZ5iO * Deriving default instances using GHC.Generics votes: 6, answers: 1 Read on SO: [33] http://goo.gl/Autu6r Until next time, [34]+Daniel Santa Cruz References 1. http://www.well-typed.com/blog/90/ 2. http://www.reddit.com/r/haskell/comments/21wvk7/foldl_is_broken/ 3. http://augustss.blogspot.nl/2014/04/a-small-haskell-extension.html 4. http://www.reddit.com/r/haskell/comments/2239wh/a_small_haskell_extension/ 5. http://www.haskell.org/pipermail/haskell-cafe/2014-April/113373.html 6. http://www.reddit.com/r/haskell/comments/21wbme/new_ghc_features_for_7101_and_beyond/ 7. http://sylvain-henry.info/blog/posts/2014-04-01-libc-considered-harmful.html 8. http://www.reddit.com/r/haskell/comments/220ae4/libc_considered_harmful/ 9. https://www.youtube.com/watch?v=o6L6XeNdd_k 10. http://www.reddit.com/r/haskell/comments/229scs/category_theory_by_tom_lagatta/ 11. http://www.idris-lang.org/idris-0-9-12-released/ 12. http://www.reddit.com/r/haskell/comments/2284s5/idris_0912_released_with_major_laziness_codata/ 13. http://www.cse.unsw.edu.au/~pls/thesis/munc-thesis.pdf 14. http://www.reddit.com/r/haskell/comments/21zush/a_cool_paper_i_found_on_functional_programming/ 15. http://augustss.blogspot.fr/2014/04/haskell-error-reporting-with-locations.html 16. http://www.reddit.com/r/haskell/comments/226otd/error_reporting_with_locations/ 17. http://haste-lang.org/ 18. http://www.reddit.com/r/haskell/comments/21x4wm/ann_haste_now_has_a_website_and_a_mailing_list/ 19. http://www.infoq.com/presentations/haskell-newsroom-nyt 20. http://www.reddit.com/r/haskell/comments/222i82/haskell_in_the_newsroom/ 21. http://www.reddit.com/r/haskell/comments/223i80/haskell_application_architecture_best_practices/ 22. http://www.reddit.com/r/haskell/comments/223i80/haskell_application_architecture_best_practices/ 23. http://stackoverflow.com/questions/22872098/haskell-is-it-possible-to-make-pointfree-functions-more-readable-using-differe 24. http://stackoverflow.com/questions/22839824/how-to-detect-if-a-program-has-been-compiled-using-threaded 25. http://stackoverflow.com/questions/22807728/what-does-the-star-mean-in-this-haskell-code 26. http://stackoverflow.com/questions/22871648/what-about-arrows 27. http://stackoverflow.com/questions/22783637/triggering-a-documentation-update-for-a-hackage-package 28. http://stackoverflow.com/questions/22876370/combining-data-dynamic-and-type-classes 29. http://stackoverflow.com/questions/22807619/systematically-applying-a-function-to-all-fields-of-a-haskell-record 30. http://stackoverflow.com/questions/22828259/transforming-a-list-of-2-tuples-in-haskell 31. http://stackoverflow.com/questions/22839784/error-in-ghci-which-i-cannot-reproduce-in-written-haskell-file 32. http://stackoverflow.com/questions/22841899/why-can-i-call-a-monadic-function-without-supplying-a-monad 33. http://stackoverflow.com/questions/22850983/deriving-default-instances-using-ghc-generics 34. https://plus.google.com/105107667630152149014/about -------------- next part -------------- An HTML attachment was scrubbed... URL: From rvconference at gmail.com Thu Apr 10 05:39:46 2014 From: rvconference at gmail.com (Runtime Verification) Date: Thu, 10 Apr 2014 07:39:46 +0200 Subject: [Haskell] RV 2014, Deadlines extended: abstract April 18, full paper April 25 Message-ID: [DEADLINES EXTENDED] [Apologizes for duplicates] 14th International Conference on Runtime Verification September 22 - 25, 2014 *Toronto, Canada* http://rv2014.imag.fr/ Scope: Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include: - specification languages - specification mining - program instrumentation - monitor construction techniques - logging, recording, and replay - fault detection, localization, containment, recovery and repair - program steering and adaptation - metrics and statistical information gathering - combination of static and dynamic analyses - program execution visualization - monitoring techniques for safety/mission-critical systems - monitoring distributed systems, cloud services, and big data applications - monitoring security and privacy policies Application areas of runtime verification include safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. Technical Research Papers Track: Technical research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee. All accepted technical papers will appear in an LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'14 to present the paper. Papers must be submitted electronically using the EasyChair system. - *Regular papers* (up to 15 pages) should present original unpublished results. Theoretical and experimental papers as well as papers on applications of runtime verification and case studies are all welcome. A non-monetary Best Paper Award will be given. A selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design. - *Short papers* (up to 5 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special short talk (10 minutes) and poster sessions. Program committee Borzoo Bonakdarpour (University of Waterloo, Canada), *co-chair* Scott Smolka (Stony Brook Universtiy, USA), *co-chair* Gul Agha (University of Illinois at Urbana-Champaign, USA) Thomas Ball (Microsoft Research, Redmond, USA) Howard Barringer (The University of Manchester, UK) Ezio Bartocci (TU Wien, Austria) David Basin (ETH Zurich, Switzerland) Saddek Bensalem (Verimag, France) Ivona Brandic (TU Wien, Austria) Marsha Chechik (University of Toronto, Canada) Michael Clarkson (George Washington University, USA) Laura Dillon (Michigan State University, USA) Shlomi Dolev (Ben Gurion University, Israel) Alastair Donaldson (Imperial College London, UK) Dawson Engler (Stanford University, USA) Ylies Falcone (Universit? Joseph Fourier, France) Vijay Garg (University of Texas at Austin, USA) Steve Goddard (University of Nebraska-Lincoln, USA) Ganesh Gopalakrishnan (University of Utah, USA) Wolfgang Grieskamp (Google, USA) Radu Grosu (TU- Wien, Austria) Klaus Havelund (NASA/JPL, USA) Mats Heimdahl (University of Minnesota, USA) Laurie Hendren (McGill University, Canada) Gerard Holzmann (NASA/JPL, USA) Daniel Keren (Haifa University, Israel) Sandeep Kulkarni (Michigan State University, USA) Marta Kwiatkowska (University of Oxford, UK) Insup Lee (University of Pennsylvania, USA) Axel Legay (IRISA/INRIA, France) Martin Leucker (University of L?beck, Germany) Leonardo Mariani (University of Milano Bicocca, Italy) Patrick Meredith (University of Illinois at Urbana-Champaign, USA) David Naumann (Stevens Institute of Technology, USA) Doron Peled (Bar Ilan University, Israel) Mauro Pezze (University of Lugano, Switzerland) Lee Pike (Galois Inc., USA) Zvonimir Rakamaric (University of Utah, USA) Grigore Rosu (University of Illinois at Urbana-Champaign, USA) Andrey Rybalchenko (TU-Munich, Germany) Andre Schiper (EPFL, Switzerland) Oleg Sokolsky (University of Pennsylvania, USA) Scott Stoller (Stony Brook University, USA) Serdar Tasiran (Koc University, Turkey) Michael Whalen (University of Minnesota, USA) Lenore Zuck (University of Illinois at Chicago, USA) Tool Demonstrations Track: The aim of the RV 2014 tool demonstration track is to provide an opportunity for researchers and practitioners to show and to discuss the latest advances, experiences and challenges in devising and developing reliable software tools for runtime verification. Tool demonstration papers will be reviewed by the Tools Track Program Committee. All accepted tool demonstration papers will appear in the conference proceedings LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'14 to present the paper. Papers must be submitted electronically using the EasyChair system. Tool papers should meet the following criteria: - A tool paper should present a new tool, a new tool component or novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form. - Each submission must not exceed 8 pages in the LNCS/Springer proceeding format, including all text, references and figures. The paper must be written in English and provided in PDF format. - Each submission must be accompanied at the time of the submission by a short screencast (between 5-10 minutes), with voice and overlay text commentary illustrating the demonstration of the tool (a link to it should be provided in the paper). - The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. - Each tool paper must include a script in an appendix (not included in the page count) describing how the demo will be conducted during the conference presentation with screenshots presenting step-by-step the tool's capabilities, highlighting the main characteristics and the usage. Evaluation Each submission will be reviewed by at least four members of the tool demonstration track program committee. The evaluation criteria will include: - the presentation quality - the availability (possibly in a open-source format) of the software. - the relevance for the Runtime Verification audience - the technical soundness of the presented tool - the originality of the underlying ideas Tool Demonstration Committee Ezio Bartocci, (TU-Vienna, Austria), *chair* Alastair Donaldson (Imperial College London, UK) Dawson Engler (Stanford University, USA) Yli?s Falcone (Universit? Joseph Fourier, France) Klaus Havelund (NASA/JPL, USA) Michael Whalen (University of Minnesota, USA) Important Dates: Both research papers and tool demonstration tracks will follow the following timeline: - *Abstract deadline:* April 18, 2014 (extended) - *Full paper deadline:* April 25, 2014 (extended) - *Rebuttal phase:* May 18-20, 2014 - *Acceptance notification:* June 10, 2014 - *Camera ready submission:* June 25, 2014 - *Conference dates:* 22-25 September, 2014 -------------- next part -------------- An HTML attachment was scrubbed... URL: From atze at uu.nl Thu Apr 10 09:14:13 2014 From: atze at uu.nl (Atze Dijkstra) Date: Thu, 10 Apr 2014 11:14:13 +0200 Subject: [Haskell] ANNOUNCE (2nd call): Applied Functional Programming (AFP) Summerschool 7-18 July 2014, Utrecht, Netherlands Message-ID: Dear all, we bring the following announcement to your attention a 2nd time as the registration deadline (may 5) approaches. thank you, regards, Atze Dijkstra =========== AFP Summerschool 2014 =========== Applied Functional Programming (AFP) Summerschool July 7-18, 2014 Utrecht University, Department of Information and Computing Sciences Utrecht, The Netherlands Summerschool & registration website: http://www.utrechtsummerschool.nl/courses/science/applied-functional-programming-in-haskell AFP website with edition 2013 info : http://www.cs.uu.nl/wiki/USCS contact : Uscs-afp at lists.science.uu.nl *** The 2014 edition of the Applied Functional Programming (AFP) Summerschool in Utrecht, Netherlands will be held from 7-18 July 2014. The summerschool teaches Haskell on both beginners and advanced levels via lectures and lab exercises. More info can be found via the references above, included here is an excerpt from the summerschool website: ``Typed functional programming in Haskell allows for the development of compact programs in minimal time and with maximal guarantees about robustness and correctness. The course introduces Haskell as well as its theoretical underpinnings such as typed lambda calculus, and Damas-Milner type inference. There is ample opportunity to put this all in practice during lab sessions. Typed functional programming languages allow for the development of robust, concise programs in a short amount of time. The key advantages are higher-order functions as an abstraction mechanism, and an advanced type system for safety and reusability. This course introduces Haskell, a state-of-the-art functional programming language, together with some of its theoretical background, such as typed lambda calculi, referential transparency, Damas-Milner type inference, type level programming, and functional design patterns. We will combine this with applications of functional programming, concentrating on topics such as language processing, building graphical user interfaces, networking, databases, and programming for the web. The goal of the course is not just to teach the programming language and underlying theory, but also to learn about the Haskell community and to get hands-on experience by doing lab exercises or a Haskell project of your own.'' *** regards, - Atze - Atze Dijkstra, Department of Information and Computing Sciences. /|\ Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \ Tel.: +31-30-2534118/1454 | WWW : http://www.cs.uu.nl/~atze . /--| \ Fax : +31-30-2513971 .... | Email: atze at uu.nl ............... / |___\ From cnn at cs.au.dk Fri Apr 11 10:19:34 2014 From: cnn at cs.au.dk (Jacob Johannsen) Date: Fri, 11 Apr 2014 12:19:34 +0200 Subject: [Haskell] PPDP 2014: Call for Papers In-Reply-To: <534682B5.4030007@cs.au.dk> References: <534682B5.4030007@cs.au.dk> Message-ID: <5347C1B6.4020202@cs.au.dk> ====================================================================== Call for papers 16th International Symposium on Principles and Practice of Declarative Programming PPDP 2014 Canterbury, Kent, September 8-10, 2014 (co-located with LOPSTR 2014) http://users-cs.au.dk/danvy/ppdp14/ ====================================================================== SUBMISSION DEADLINE: 15 MAY, 2014 PPDP 2014 is a forum that brings together researchers from the declaratrive programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to * Functional programming * Logic programming * Answer-set programming * Functional-logic programming * Declarative visual languages * Constraint Handling Rules * Parallel implementation and concurrency * Monads, type classes and dependent type systems * Declarative domain-specific languages * Termination, resource analysis and the verification of declarative programs * Transformation and partial evaluation of declarative languages * Language extensions for security and tabulation * Probabilistic modeling in a declarative language and modeling reactivity * Memory management and the implementation of declarative systems * Practical experiences and industrial application This year the conference will be co-located with the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014). The conference will be held in Canterbury, UK. Previous symposia were held at Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). You might have a look at the contents of past PPDP symposia. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). After the symposium, a selection of the best papers will be invited to extend their submissions in the light of the feedback solicited at the symposium. The papers are expected to include at least 30% extra material over and above the PPDP version. Then, after another round of reviewing, these revised papers will be published in a journal. Important Dates Abstract Submission: 12 May, 2014 Paper submission: 15 May, 2014 Notification: 30 June, 2014 Camera-ready: To be announced Symposium: 8-10 September, 2014 Invites for journal publication: To be announced Submission of journal version: To be announced Notification: To be announced Camera-ready version: To be announced Authors should submit an electronic copy of the full paper in PDF. Papers should be submitted to the submission website for PPDP 2014. Each submission must include on its first page the paper title; authors and their affiliations; abstract; and three to four keywords. The keywords will be used to assist the program committee in selecting appropriate reviewers for the paper. Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. Program Committee Michael Adams University of Illinois at Urbana-Champaign, USA Elvira Albert Complutense University of Madrid, Spain Dariusz Biernacki University of Wroclaw, Poland Bernd Brassel Recordbay, Germany Mike Codish Ben-Gurion University of the Negev, Israel Olivier Danvy (chair) Aarhus University, Denmark Marc Denecker KU Leuven, Belgium Joshua Dunfield Max Planck Institute for Software Systems, Germany Zoe Drey ENSTA Bretagne/Lab-STICC, France Thibaut Feydy NICTA, Australia Danko Ilik Inria, France Yukiyoshi Kameyama University of Tsukuba, Japan Chantal Keller Microsoft Research -- Inria Joint Centre Temur Kutsia RISC, Johannes Kepler University Linz, Austria Dan Licata Wesleyan University, USA Akimasa Morihata University of Tokyo, Japan Matthias Puech McGill University, Canada Tiark Rompf Oracle Labs and EPFL, Switzerland Kristoffer H. Rose Two Sigma Labs, New York, USA Ilya Sergey IMDEA Software Institute, Spain Ralf Treinen University Paris-Diderot, France Frank D. Valencia CNRS and LIX, Ecole Polytechnique, France Program Chair Olivier Danvy Department of Computer Science Aarhus University Aabogade 34 DK-8200 Aarhus N, Denmark Email: danvy at cs.au.dk Symposium Chairs: Andy King School of Computing University of Kent Canterbury, Kent, CT2 7NF United Kingdom Email: A.M.King at kent.ac.uk Olaf Chitil School of Computing University of Kent Canterbury, Kent, CT2 7NF United Kingdom Email: O.Chitil at kent.ac.uk Publicity Chair: Jacob Johannsen Department of Computer Science Aarhus University Aabogade 34 DK-8200 Aarhus N, Denmark Email: cnn at cs.au.dk From austin at well-typed.com Sat Apr 12 13:30:56 2014 From: austin at well-typed.com (Austin Seipp) Date: Sat, 12 Apr 2014 08:30:56 -0500 Subject: [Haskell] ANNOUNCE: GHC version 7.8.2 Message-ID: ============================================================== The (Interactive) Glasgow Haskell Compiler -- version 7.8.2 ============================================================== The GHC Team is pleased to announce a new patchlevel release of GHC, 7.8.2. This is an important bugfix release relative to 7.8.1, so we highly recommend upgrading from 7.8.1. The full release notes are here: https://www.haskell.org/ghc/docs/7.8.2/html/users_guide/release-7-8-2.html How to get it ~~~~~~~~~~~~~ The easy way is to go to the web page, which should be self-explanatory: https://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 good 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 (C, whatever). 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/Platforms http://ghc.haskell.org/trac/ghc/wiki/CodeOwners 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://www.haskell.org/mailman/listinfo/glasgow-haskell-users http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see http://www.haskell.org/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 Hashes & Signatures ~~~~~~~~~~~~~~~~~ Included in this email is a signed copy of the SHA256 hashes for the tarballs, using my GPG key (keyid 0x3B58D86F). -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ -------------- next part -------------- A non-text attachment was scrubbed... Name: SHA256SUMS.sig Type: application/octet-stream Size: 836 bytes Desc: not available URL: From garrigue at math.nagoya-u.ac.jp Sun Apr 13 08:22:07 2014 From: garrigue at math.nagoya-u.ac.jp (Jacques Garrigue) Date: Sun, 13 Apr 2014 17:22:07 +0900 Subject: [Haskell] APLAS 2014: 2nd Call for papers Message-ID: <30F3C5A2-C312-445B-8FE2-1F0343BBD7DB@math.nagoya-u.ac.jp> =============================================================== APLAS 2014 12th Asian Symposium on Programming Languages and Systems http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/ 17-19 November 2014, Singapore CALL FOR PAPERS =============================================================== ================ INVITED SPEAKERS ================ Zhenjiang Hu (NII, Japan) Dexter Kozen (Cornell University, USA) Julien Verlaguet (Facebook, USA) ========== BACKGROUND ========== APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS) founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. ====== TOPICS ====== The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory; * design of languages, type systems and foundational calculi; * domain-specific languages; * compilers, interpreters, abstract machines; * program derivation, synthesis and transformation; * program analysis, verification, model-checking; * logic, constraint, probabilistic and quantum programming; * software security; * concurrency and parallelism; * tools and environments for programming and implementation. Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with the program chair prior to submission. ========== SUBMISSION ========== We solicit submissions in two categories: *Regular research papers* describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. *System and Tool presentations* describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page: https://www.easychair.org/conferences/?conf=aplas2014 Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. ===== DATES ===== Abstracts due: May 26, 2014 (Monday) Submission due: June 2, 2014 (Monday) Notification: August 6, 2014 (Wednesday) Final paper due: September 1, 2014 (Monday) Conference: November 17-19, 2014 (Monday-Wednesday) ========== ORGANIZERS ========== General chair: Wei-Ngan Chin (National University of Singapore) Program chair: Jacques Garrigue (Nagoya University) Program committee: Xiaojuan Cai (Shanghai Jiao Tong University, China) James Chapman (Institute of Cybernetics, Estonia) Cristian Gherghina (Singapore University of Technology and Design) Eric Goubault (CEA LIST and Ecole Polytechnique, France) Fei He (Tsinghua University, China) Gerwin Klein (NICTA and UNSW, Australia) Raghavan Komondoor (Indian Institute of Science, Bangalore) Paddy Krishnan (Oracle, Australia) Daan Leijen (Microsoft Research, USA) Yasuhiko Minamide (University of Tsukuba, Japan) Shin-Cheng Mu (Academia Sinica, Taiwan) Sungwoo Park (Pohang University of Science and Technology, Korea) Julian Rathke (University of Southampton, UK) Sukyoung Ryu (KAIST, Korea) Alexandra Silva (Radboud University Nijmegen, Netherlands) Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany) Munehiro Takimoto (Tokyo University of Science, Japan) Jan Vitek (Purdue University, USA) Hongwei Xi (Boston University, USA) ======= CONTACT ======= aplas2014 at easychair.org From J.T.Jeuring at uu.nl Sun Apr 13 19:11:10 2014 From: J.T.Jeuring at uu.nl (Johan Jeuring) Date: Sun, 13 Apr 2014 21:11:10 +0200 Subject: [Haskell] Video chair at ICFP Message-ID: <9DD5E6B8-09E6-4E20-B3B6-665F1C09DEEC@uu.nl> Dear people, We are busy organising ICFP 2014, which will happen together with the Haskell Symposium and many other events in G?teborg in Sweden from August 31 until September 6 2014. I am looking for a Video chair to organise the recording of the events on video. Tasks - prepare the video recording of the events: equipment (camera's, software, microphones?), required post-processing, ... - instruct student-volunteers in assisting the recording process - oversee the post-processing of the recordings, and the uploads Budget - we have some budget available for buying or renting equipment for the video recordings, or we can pay you for you bringing your own equipment - we will defray your costs for travelling to G?teborg, staying in G?teborg, and attending ICFP 2014 and affiliated events Please contact me if you are interested in this position/task, With kind regards, Johan Jeuring General chair for ICFP 2014 From ylies.falcone at ujf-grenoble.fr Mon Apr 14 06:39:28 2014 From: ylies.falcone at ujf-grenoble.fr (Ylies Falcone) Date: Mon, 14 Apr 2014 08:39:28 +0200 Subject: [Haskell] DEADLINE is TODAY: 2nd International Summer School on Cyber-Physical Systems Message-ID: <3544D84B-9880-4152-AB99-C7DD6FAD3783@ujf-grenoble.fr> [~~~~~~ Please disseminate widely within your teams & contacts ~~~~~~] 2nd International Summer School on Cyber-Physical Systems July 7-10, 2014 Grenoble, France https://persyval-lab.org/summer-school/cps14 Universit? Joseph Fourier, PERSYVAL-Lab, and NASA-JPL are organizing the second edition of the CPS Summer School. The broad objective of the CPS Summer School is to explore the manifold relationship between networked embedded systems ("the internet of things") and humans as their creators, users, and subjects. The format of the Summer School is a four days meeting, organized around different aspects of rigorous engineering of Cyber-Physical Systems. This year, the objective of the school is to survey fundamental and applied aspects of modelling, monitoring and learning of systems as well as to identify novel opportunities and research directions in these areas through a series of lectures by international experts. Participants will also experience the relevant technologies during hands-on courses and be given a chance to present their own work. The school will provide a great opportunity to know other people working in the field, to meet distinguished scholars, and to establish contacts that may lead to research collaborations in the future. The school will concentrate on the fields of system modelling, monitoring and learning. Over the last ten years we have seen a lot of growth in these areas, building on strong theoretical foundations to apply and extend techniques to new application domains. Runtime verification is a growing field with more and more efffective applications in safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. The field of specification mining (learning specifications from system behaviour) has also seen a surge in research effort, with the establishment of a number of competitions to drive forward the development of practical tools. This research community is at an ideal stage to benefit from a school such as this, to inspire, motivate and instruct new researchers into the field. Students participating at this summer school will learn the current state of the art in modeling, monitoring, and learning. Students will be able to apply new techniques coming from various communities and backgrounds to their own domain. The CPS Summer School will be held at Grenoble University. Courses will be given in English by experts from industry and academia working in various fields of CPS. Topics System modelling. Monitoring. Learning. Medical devices. Sensor networks. Scientific Organization Universit? Joseph Fourier (UJF) is located at the heart of the Alps, in outstanding scientific and natural surroundings. UJF is a leading University of Science, Technology and Health. Featuring in all of the major international rankings (Top 150 World Universities - Shanghai Ranking), the UJF offers initial and further education for jobs of the future in a wide range of fields: Physics and Chemistry, Mathematics and Computer Science, Biology, Medicine and Pharmacy, Engineering and Technology, Earth Science and Astronomy/Astrophysics, Environmental Studies, Geography and Territorial Sciences, as well as the Science of Physical and Sports Activities. PERSYVAL-Lab focuses on pervasive systems and algorithms at the convergence of physical and digital worlds. PERSYVAL-lab is built over high-level research laboratories present at Grenoble in Mathematics, Computer Science, Automatic Control, Signal Processing, and Hardware Architecture. Jet Propulsion Laboratory (JPL) is a federally funded research and development center located in Pasadena, California, United States. JPL is managed by the nearby California Institute of Technology (Caltech) for the National Aeronautics and Space Administration (NASA). The laboratory's primary function is the construction and operation of robotic planetary spacecraft. Confirmed Speakers Eric Bodden (TU Darmstadt and EC SPRIDE, Germany). Olivier Coutelou (Schneider Electric, France). Radu Grosu (Technical Univesity Wien, Austria). Klaus Havelund (NASA JPL, USA). Kim G. Larsen (Aalborg University, Denmark). Jean Goubault-Larrecq (ENS Cachan, France). Martin Leucker (University of L?beck, Germany). Roberto Passerone (Universita' degli Studi di Trento, Italy). Grigore Rosu (University of Illinois at Urbana Champaign, USA). Mohamad Sawan (Ecole Polytechnique de Montr?al, Canada). Bernhard Steffen (Technical University Dortmund, Germany). Andreas Zeller (Saarland University, Germany). Organization Committee Saddek Bensalem (University of Grenoble, France). Yli?s Falcone - (University of Grenoble, France). Klaus Havelund - (NASA JPL, USA). Fees The registration fee to the CPS Summer-School is: 250 euros for students, 400 euros for academics and people from industry. The registration comprises lunches, coffee breaks, and a reception party. Application Procedure and Important Dates Attendance is limited to 80, so we will be selecting amongst the candidates. The application procedure is as follows: Applicants declare their intention to apply by registering at https://persyval-calls.imag.fr/en/project/10 before April 14, 2014. The application should comprise a resume and contact information. The organization committee provides a response to applicants before April 21, 2014. Applicants proceed with online Registration and Fee payment before May 10, 2014. Online Registration Online Registration will be available only for selected applicants mid April 2014. -------------- next part -------------- An HTML attachment was scrubbed... URL: From wouter.swierstra at gmail.com Mon Apr 14 08:34:08 2014 From: wouter.swierstra at gmail.com (Wouter Swierstra) Date: Mon, 14 Apr 2014 10:34:08 +0200 Subject: [Haskell] PhD Position in dependent types, testing & hardware design Message-ID: ============================================================== VACANCY : 1x Phd position in dependent types, testing & hardware design ============================================================== The research group of Software Technology is part of the Software Systems division of in the department of Information and Computer Science at the Utrecht University. We focus our research on functional programming, compiler construction, program analysis, validation, and verification. Financed by the Netherlands Organisation for Scientific Research (NWO), we currently have a job opening for: * 1x PhD researcher (PhD student) Software Technology The aim of the project is to develop a domain specific language for testing and verifying hardware, embedded in a general purpose dependently typed programming language. Besides research, the successful candidate will be expected to help supervise MSc students and assist teaching courses. We aim to start September 1, 2014 at the latest, but preferably sooner. --------------------------------- What we are looking for --------------------------------- The candidate should have an MSc in Computer Science, be highly motivated, speak and write English well, and be proficient in producing scientific reports. Knowledge of and experience with at least one of the following four areas is essential: * functional programming, such as Haskell or ML; * dependently typed programming, such as Agda, Coq, or Idris; * software testing, including familiarity with libraries such as QuickCheck and SmallCheck; * hardware description languages, such as Lava or VHDL; --------------------------------- What we offer --------------------------------- The candidate is offered a full-time position for four years. A part-time of at least 0.8 fte may also be possible. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. In addition we offer: a pension scheme, a partially paid parental leave, flexible employment conditions. Conditions are based on the Collective Labour Agreement Dutch Universities. The research group will provide the candidate with necessary support on all aspects of the project. More information is available on the website: Terms and employment: http://bit.ly/1elqpM7 A part-time of at least 0.8 fte may also be possible. Salary starts at EURO 2,083 and increases to EURO 2,664 gross per month in the fourth year of the appointment. Utrecht is a great place to live, having been ranked as one of the happiest places in the world, according to BBC travel. Living in Utrecht: http://bitly.com/HdbL0X --------------------------------- In order to apply --------------------------------- To apply please attach a letter of motivation, a curriculum vitae, and (email) addresses of two referees. Make sure to also include a transcript of the courses you have followed (at bachelor and master level), with the grades you obtained, and to include a sample of your scientific writing, such as your master thesis. It is possible to apply for this position if you are close to obtaining your Master's. In that case include a letter of your supervisor with an estimate of your progress, and do not forget to include at least a sample of your technical writing skills. Application closes on the May 30th, 2014. You can apply through the University's website: http://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/Vacancy.cfm?PortalID=4124&VacatureID=654004 --------------- Contact --------------- For further information you can direct your inquiries to: Wouter Swierstra phone: +31 (0)30 253 9207 e-mail: w.s.swierstra at uu.nl. website: http://www.staff.science.uu.nl/~swier004 From Henrik.Nilsson at nottingham.ac.uk Mon Apr 14 16:38:03 2014 From: Henrik.Nilsson at nottingham.ac.uk (Henrik Nilsson) Date: Mon, 14 Apr 2014 17:38:03 +0100 Subject: [Haskell] CFP: FARM 2014: Functional Art, Music, Modelling and Design Message-ID: <534C0EEB.4060401@nottingham.ac.uk> Dear all, This is the second FARM 2014 call for papres. Sorry for any duplicate postings! If you are using Haskell or any mostly functional language in any kind of musical, artistic, or design endeavour, please consider contributing to FARM 2014, the 2nd ACM SIGPLAN International Workshop of Functional Art, Music, Modelling and Design, co-located with ICFP 2014. Call-for-papers enclosed. Best regards, /Henrik ------------------------------------------------------------------------------------------ FARM 2014 2nd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Gothenburg, Sweden; 6 September, 2014 The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. Functional Programming has emerged as a mainstream software development paradigm, and its artistic and creative use is booming. A growing number of software toolkits, frameworks and environments for art, music and design now employ functional programming languages and techniques. FARM is a forum for exploration and critical evaluation of these developments, for example to consider potential benefits of greater consistency, tersity, and closer mapping to a problem domain. FARM encourages submissions from across art, craft and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. The language used need not be purely functional (?mostly functional? is fine), and may be manifested as a domain specific language or tool. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. Submissions are invited in two categories: * Full papers 5 to 12 pages using the ACM SIGPLAN template. FARM 2014 is an interdisciplinary conference, so a wide range of approaches are encouraged and we recognize that the appropriate length of a paper may vary considerably depending on the approach. However, all submissions must propose an original contribution to the FARM theme, cite relevant previous work, and apply appropriate research methods. * Demo abstracts Demo abstracts should describe the demonstration and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10-20 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Abstracts should be no longer than 2 pages, using the ACM SIGPLAN template and will be subject to a light-touch peer review. If you have any questions about what type of contributions that might be suitable, or anything else regarding submission or the workshop itself, please contact the organisers at: workshop2014 at functional-art.org KEY DATES: Abstract (for Full Papers) submission deadline: 7 May Full Paper and Demo Abstract submission Deadline: 11 May Author Notification: 30 May Camera Ready: 18 June Workshop: 6 September SUBMISSION All papers and demo abstracts must be in portable document format (PDF), using the ACM SIGPLAN style guidelines. The text should be in a 9-point font in two columns. The submission itself will be via EasyChair. See the FARM website for further details: http://functional-art.org PUBLICATION Accepted papers will be included in the formal proceedings published by ACM Press and will also be made available through the the ACM Digital Library; see http://authors.acm.org/main.cfm for information on the options available to authors. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. WORKSHOP ORGANISATION Workshop Chair: Alex McLean, University of Leeds Program Chair: Henrik Nilsson, University of Nottingham Publicity Chair: Michael Sperber, Active Group GmbH Program Committee: Sam Aaron, Cambridge University David Duke, University of Leeds Kathleen Fisher, Tufts University Julie Greensmith, University of Nottingham Bas de Haas, Universiteit Utrecht Paul Hudak, Yale University David Janin, Universit? de Bordeaux Richard Lewis, Goldsmiths, University of London Louis Mandel, Coll?ge de France Alex McLean, University of Leeds Carin Meier, Neo Innovation Inc Rob Myers, Furtherfield Henrik Nilsson, University of Nottingham (chair) Dan Piponi, Google Inc Andrew Sorensen, Queensland University of Technology Michael Sperber, Active Group GmbH For further details, see the FARM website: http://functional-art.org -- Henrik Nilsson School of Computer Science The University of Nottingham nhn at cs.nott.ac.uk This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From amal.j.ahmed at gmail.com Tue Apr 15 08:56:51 2014 From: amal.j.ahmed at gmail.com (Amal Ahmed) Date: Tue, 15 Apr 2014 04:56:51 -0400 Subject: [Haskell] Oregon PL Summer School: register by May 2nd Message-ID: <614AD31C-5D7F-465C-BA17-DEDEA74BB79D@gmail.com> *** The registration deadline for this year's Oregon PL Summer School has been extended to May 2nd. This year's Oregon Programming Languages Summer School will take place from June 16th to 28th, 2014. Full information on registration and scholarships an be found here: http://www.cs.uoregon.edu/Activities/summerschool The school has a long and successful tradition (sponsored by the NSF, ACM SIGPLAN, and industry). It covers current research in the theory and practice of programming languages. Material is presented at a tutorial level that will help graduate students and researchers from academia or industry understand the critical issues and open problems confronting the field. Prerequisites are an elementary knowledge of logic and mathematics, as covered in undergraduate classes on discrete mathematics, and some knowledge of programming languages at the level of an undergraduate survey course. This year we will again offer a Coq boot camp session, to be held on June 15th -- one day before the summer school officially begins. The boot camp will provide a one-day, intensive, hands-on introduction to the practical mechanics of the Coq proof assistant. The Coq boot camp will be run by Michael Clarkson (George Washington University). More information is available at the above website. This year's program is titled Types, Logic, Semantics, and Verification. The speakers and topics include: Andrew Appel -- Software Verification Princeton University Lars Birkedal -- Category Theory Aarhus University Michael Clarkson -- Coq Bootcamp George Washington University Derek Dreyer -- Modular Reasoning about Stateful Programs Max Planck Institute for Software Systems Robert Harper -- Type Theory Foundations Carnegie Mellon University Greg Morrisett -- Certified Programming and State Harvard University Ulf Norell -- Programming in Agda Chalmers University of Technology Brigitte Pientka -- Proof Theory Foundations McGill University Stephanie Weirich -- Designing Dependently-Typed Programming Languages University of Pennsylvania Steve Zdancewic -- Software Foundations in Coq University of Pennsylvania We hope you can join us for this excellent program! Amal Ahmed Zena Ariola Greg Morrisett OPLSS 2014 organizers -------------- next part -------------- An HTML attachment was scrubbed... URL: From w.s.swierstra at uu.nl Tue Apr 15 14:01:52 2014 From: w.s.swierstra at uu.nl (Wouter Swierstra) Date: Tue, 15 Apr 2014 16:01:52 +0200 Subject: [Haskell] Haskell Symposium: Second call for papers Message-ID: =================================================================== ACM SIGPLAN HASKELL SYMPOSIUM 2014 SECOND CALL FOR SUBMISSIONS Gothenburg, Sweden, 4-5 September 2014, directly after ICFP http://www.haskell.org/haskell-symposium/2014 haskell2014 at easychair.org =================================================================== The ACM SIGPLAN Haskell Symposium 2014 will be colocated with the 2014 International Conference on Functional Programming (ICFP) in Gothenburg, Sweden. Like last year, the symposium will last 2 days. Thanks to broader participation from a growing community, we will be able to include more regular papers as well as system demonstrations, while upholding the scientific quality of the symposium. The Haskell Symposium seeks to present original research on Haskell, to discuss practical experience and future development of the language, as well as to promote other forms of denotative programming. Topics of interest include * Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts. Such reports are shorter than regular papers; they are limited to six pages. Papers in the latter two categories need not necessarily report original research results. They may report instead, for example, reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementors, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a program! Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work (also for other languages where appropriate). In addition, we solicit proposals for * System Demonstrations (no longer than a regular paper talk), based on running (perhaps prototype) software rather than necessarily on novel research results. These proposals should summarize the system capabilities that would be demonstrated. The proposals should explain (and will be judged on) whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical or social. Please contact the program chair with any questions about the relevance of a proposal. Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm). Proceedings: ============ ACM Press will publish formal proceedings. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance (http://authors.acm.org/main.html), but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. Accepted proposals for system demonstrations will be posted on the symposium web page, but not formally published in the proceedings. Submission Details: =================== Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (http://www.acm.org/sigs/sigplan/authorInformation.htm). The text should be in a 9-point font in two columns. The length is restricted to 12 pages, except for "Experience Report" papers, which are restricted to 6 pages. Papers need not fill the page limit. Each paper submission must adhere to SIGPLAN's republication policy, as explained on the web. Proposals for system demonstrations are limited to 2-page abstracts, in the same ACM format as papers. "Functional Pearls", "Experience Reports", and "Demo Proposals" should be marked as such with those words in the title at time of submission. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Submission is via EasyChair: https://www.easychair.org/conferences/?conf=haskell14 * Abstract submission: Fri 09 May 2014 * Paper submission : Mon 12 May 2014 * Demo submission : Fri 30 May 2014 (prior abstract submission unnecessary) * Author notification: Wed 11 June 2014 * Final papers due : Sun 22 June 2014 All deadlines, except the final papers deadline, are in Standard Samoan Time. Programme Committee: ==================== George Giorgidze - Standard Chartered Bank Mauro Jaskelioff - Universidad Nacional de Rosario Mark Jones - Portland State University Lindsey Kuper - Indiana University Jos? Pedro Magalh?es - University of Oxford Geoffrey Mainland - Drexel University Simon Marlow - Facebook Shin Cheng Mu - Academia Sinica Keiko Nakata - Institute of Cybernetics, Tallinn University of Technology Bruno Oliveira - University of Hong Kong Lee Pike - Galois Josef Svenningsson - Chalmers University of Technology Wouter Swierstra - University of Utrecht (chair) Simon Thompson - University of Kent From jdreaver at adlerhorst.com Tue Apr 15 19:29:02 2014 From: jdreaver at adlerhorst.com (John David Reaver) Date: Tue, 15 Apr 2014 12:29:02 -0700 Subject: [Haskell] [ANN] quantities 0.3.0 Message-ID: Hello! I am happy to publicly announce the quantities package: Hackage: http://hackage.haskell.org/package/quantities Github: https://github.com/jdreaver/quantities I feel this package is complete enough as of version 0.3.0 (released today) to announce it to the public. >From the description on Hackage: A library for creating and manipulating physical quantities, which are a numerical value associated with a unit of measurement. Included is an expression parser and a huge list of predefined quantities with which to parse strings into a Quantity datatype. Once created, a quantity can be converted to different units or queried for its dimensionality. A user can also operate on quantities arithmetically, and doing so uses automatic unit conversion and simplification. Just to get a taste of how this package works, here are some examples: >>> fromString "25 m/s" Right 25.0 meter / second >>> fromString "fakeunit" Left (UndefinedUnitError "fakeunit") >>> fromString "ft + 12in" Right 2.0 foot >>> fromString "min => s" Right 60.0 second >>> fromString "2 ft + 6 in => ft" Right 2.5 foot >>> fromString "5 m => s" Left (DimensionalityError [length] [time]) >>> convertBase <$> fromString "N * m" Right 1000.0 gram meter ** 2 / second ** 2 >>> dimensionality <$> fromString "N * m" Right [length] ** 2 [mass] / [time] ** 2 Finally, this is my first Haskell library. I am open to *any* suggestions/criticism, especially in regards to code style, the API, the cabal file structure, etc. Thanks, John David Reaver -------------- next part -------------- An HTML attachment was scrubbed... URL: From eden at Mathematik.Uni-Marburg.de Wed Apr 16 08:14:25 2014 From: eden at Mathematik.Uni-Marburg.de (Eden group Marburg - Functional parallel Programming) Date: Wed, 16 Apr 2014 10:14:25 +0200 Subject: [Haskell] ANN: GHC-7.8.2-Eden - Parallel Haskell on multicore and cluster systems Message-ID: <534E3BE1.5080409@mathematik.uni-marburg.de> We are happy to announce a new release of Eden, a parallel extension of Haskell. The release comprises: * The GHC-7.8.2-Eden compiler: GHC-7.8.2 extended with the Eden parallel runtime system. * The Eden modules (1.2.0.0): a library defining the Eden language constructs. * The Eden skeleton library (2.0.0.1): a comprehensive library with common task and data parallel patterns. * The Eden trace viewer EdenTV (4.4.0): a visualisation and analysis tool for eventlogs of parallel program runs. All resources are available via: http://www.mathematik.uni-marburg.de/~eden, libraries are also available from Hackage. New in this release: * all new features included in ghc-7.8 (release notes at http://www.haskell.org/ghc/docs/7.8.2/html/users_guide/release-7-8-1.html and http://www.haskell.org/ghc/docs/7.8.2/html/users_guide/release-7-8-2.html); * extended Haskell serialisation support (see http://www.haskell.org/wikiupload/2/28/HIW2013PackingAPI.pdf); * script-less program execution and eventlog handling when using shared memory ways; * major module structure overhaul in edenskel; * bugfixes and Trans instances for more common data types in Eden modules. Background: Eden extends Haskell with a small set of syntactic constructs for explicit process specification and creation. While providing enough control to implement parallel algorithms efficiently, it frees the programmer from the tedious task of managing low-level details by introducing automatic process handling, synchronisation and communication (via head-strict lazy lists). Eden is tailored for distributed systems but works equally well on multicore architectures. Processes work within disjoint address spaces and do not share any data. This simplifies Eden's implementation as there is no need for global garbage collection. The implementation for multicores uses communicating OS processes (via Posix SharedMem or mail slots), cluster implementations use either MPI or PVM. A tutorial is available from http://www.mathematik.uni-marburg.de/~eden/paper/edenCEFP.pdf The compiler release includes binary packages for Linux, Windows and Mac OS, and a source distribution, available from http://www.mathematik.uni-marburg.de/~eden/?content=down_eden&navi=down (binary packages only support the multicore implementations). Eden libraries and tools are available separately from hackage: - Eden modules: http://hackage.haskell.org/package/edenmodules (already included in the Eden compiler) - Eden skeleton library: http://hackage.haskell.org/package/edenskel - EdenTV: http://hackage.haskell.org/package/edentv (uses gtk2hs) When built using a standard GHC, the packages will produce a threaded simulation of Eden. From jeremy.gibbons at cs.ox.ac.uk Wed Apr 16 11:13:31 2014 From: jeremy.gibbons at cs.ox.ac.uk (Jeremy Gibbons) Date: Wed, 16 Apr 2014 12:13:31 +0100 Subject: [Haskell] UTP-2014 call for participation Message-ID: <849BA62A-0BBB-4D32-8550-017955831DF3@cs.ox.ac.uk> ********************************************************************* --- Call For Participation --- 5th International Symposium on Unifying Theories of Programming Singapore, 13th May, 2014 In association with FM 2014 http://www.comp.nus.edu.sg/~pat/UTP2014/index.html ********************************************************************** Invited talk: Ian Hayes, University of Queensland Separating concerns of rely and guarantee in concurrent program derivation Contributed papers: http://www.comp.nus.edu.sg/~pat/UTP2014/accepted_papers.html Registration: http://www.comp.nus.edu.sg/~pat/FM2014/registration.html About the Symposium: Interest in the fundamental problem of the combination of formal notations and theories of programming has grown consistently in recent years. The theories define, in various different ways, many common notions, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication. Despite these differences, such theories may be unified in a way which greatly facilitates their study and comparison. Moreover, such a unification offers a means of combining different languages describing various facets and artifacts of software development in a seamless, logically consistent way. Hoare and He's Unifying Theories of Programming (UTP) is widely acknowledged as one of the most significant such unification approaches. Based on their pioneering work, the aims of the UTP Symposium series are to reaffirm the significance of the ongoing UTP project and to stimulate efforts to advance. The Symposium provides a focus for the sharing of results by those already actively contributing, and raises awareness of the benefits of such unifying theoretical frameworks among the wider computer science and software engineering communities. Tutorial on UTP, May 12: http://www.comp.nus.edu.sg/~pat/FM2014/tutorial.html Jeremy.Gibbons at cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From liyuanfang at gmail.com Wed Apr 16 23:37:38 2014 From: liyuanfang at gmail.com (Yuan-Fang Li) Date: Thu, 17 Apr 2014 09:37:38 +1000 Subject: [Haskell] Call for papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014) Message-ID: *** Apologies for cross-posting *** *** Please not the URL of the conference Web site: http://prdc.dependability.org/PRDC2014/ *** *Call for Papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)* *Singapore Nov 18-21, 2014 * PRDC 2014 (http://prdc.dependability.org/PRDC2014/) is the twentieth in this series of symposia started in 1989 that are devoted to dependable and fault-tolerant computing. PRDC is recognized as the main event in the Pacific area that covers the many dimensions of dependability and fault tolerance, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems. As applications of computing systems have permeated into all aspects of daily life, the dependability of computing systems has become increasingly critical. This symposium provides a forum for countries around the Pacific Rim and other areas of the world to exchange ideas for improving the dependability of computing systems. Topics of interest include (but not limited to): - Software and hardware reliability, testing, verification, and validation - Dependability measurement, modeling, evaluation, and tools - Self-healing, self-protecting, and fault-tolerant systems - Software aging and rejuvenation - Safety-critical systems and software - Architecture and system design for dependability - Fault-tolerant algorithms and protocols - Reliability in cloud computing, Internet, and web systems and applications - Cloud and Internet Information security - Dependability issues in computer networks and communications - Dependability issues in distributed and parallel systems - Dependability issues in real-time systems, database, and transaction processing systems - Dependability issues in autonomic computing - Dependability issues in aerospace and embedded systems Paper Submissions Manuscripts should be submitted in the following categories: Regular Papers and Practical Experience Reports. Regular Papers should describe original research (not submitted or published elsewhere) and be not more than 10 pages using IEEE format guidelines or 20 pages double-spaced. Practical Experience Reports (max 6 pages using IEEE format guidelines or 12 pages double-spaced) should describe an experience or a case study, such as the design and deployment of a system or actual failure and recovery field data. The title page should include a 150-word abstract, five keywords, authors' names and affiliations, and a line specifying whether the submission is a Regular Paper or a Practical Experience Report. The full mailing address, phone, fax, and email address of the corresponding author should be specified. All submissions must be made electronically (in PDF format) on the submission web site . Papers will be reviewed internationally and selected based on their originality, significance, relevance, and clarity of presentation. All accepted papers will be published by IEEE Computer Society Press. One outstanding paper will be selected to receive the Best Paper Award. Important Dates Submission deadline: May 2, 2014 Notification: June 25, 2014 Best regards Yuan-Fang -------------- next part -------------- An HTML attachment was scrubbed... URL: From dstcruz at gmail.com Thu Apr 17 03:08:01 2014 From: dstcruz at gmail.com (Daniel Santa Cruz) Date: Wed, 16 Apr 2014 23:08:01 -0400 Subject: [Haskell] Haskell Weekly News: Issue 291 Message-ID: Welcome to issue 291 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from April 6 to 12, 2014 Quotes of the Week * geekosaur: IO, IO, it's off to (>>=) I go * edwardk: waiting for sclv to start going around door to door passing out little copies of the homotopy type theory book, and asking people if they have yet had the geometric realization that the simplicial sets are homotopically equivalent to their Lord and Savior. * carter: i'll leave you in the gentle hands of the rest of the channel Top Reddit Stories * GHC 7.8.1 Released Domain: haskell.org, Score: 226, Comments: 106 On Reddit: [1] http://goo.gl/pz4nE Original: [2] http://goo.gl/SjQ3Qv * What To Expect When You're a Platform Library Maintainer Domain: permalink.gmane.org, Score: 56, Comments: 4 On Reddit: [3] http://goo.gl/bD6VVf Original: [4] http://goo.gl/WDvy53 * Why are we relying on numeric identifiers for dependencies when we have so much richer information available? Domain: self.haskell, Score: 44, Comments: 18 On Reddit: [5] http://goo.gl/Z3gBEq Original: [6] http://goo.gl/Z3gBEq * How To Read "Pearls of Functional Algorithm Design" Domain: atamo.com, Score: 41, Comments: 8 On Reddit: [7] http://goo.gl/j4mXVz Original: [8] http://goo.gl/q41KEF * BayHac '14 Sign-Up and List of Classes Domain: self.haskell, Score: 40, Comments: 11 On Reddit: [9] http://goo.gl/xterjO Original: [10] http://goo.gl/xterjO * Is GHC the defacto standard? Domain: self.haskell, Score: 40, Comments: 39 On Reddit: [11] http://goo.gl/eiVjGM Original: [12] http://goo.gl/eiVjGM * Battleships web game written in Haskell/Yesod Domain: www-pg.iai.uni-bonn.de, Score: 34, Comments: 15 On Reddit: [13] http://goo.gl/hl2NC2 Original: [14] http://goo.gl/Wt5jqi * Heartbleed aftermath: should Haskell web frameworks allow using a pure Haskell SSL library instead of OpenSSL? Domain: self.haskell, Score: 32, Comments: 54 On Reddit: [15] http://goo.gl/ycHKNZ Original: [16] http://goo.gl/ycHKNZ * BudHac 2014 Domain: haskell.org, Score: 28, Comments: 3 On Reddit: [17] http://goo.gl/iObjrD Original: [18] http://goo.gl/KRJL2x * Hacking Haskell in nightclubs - video feature on Algorave Domain: motherboard.vice.com, Score: 27, Comments: 2 On Reddit: [19] http://goo.gl/LLG6qR Original: [20] http://goo.gl/PlzTTa * A brief introduction to ConstraintKinds extension (Wolfgang Jeltsch) Domain: jeltsch.wordpress.com, Score: 27, Comments: 4 On Reddit: [21] http://goo.gl/RadGh7 Original: [22] http://goo.gl/CZIfU8 * Generating Mazes with Inductive Graphs Domain: jelv.is, Score: 26, Comments: 11 On Reddit: [23] http://goo.gl/fufmgp Original: [24] http://goo.gl/FxAeGV Top StackOverflow Questions * Why MonadPlus and not Monad + Monoid? votes: 18, answers: 2 Read on SO: [25] http://goo.gl/J02Msv * Can a pure function have free variables? votes: 11, answers: 3 Read on SO: [26] http://goo.gl/iyJsn9 * FRP - Event streams and Signals - what is lost in using just signals? votes: 10, answers: 4 Read on SO: [27] http://goo.gl/cXwKKf * Is there a way to make GHC provide the type class constraints of typed holes? votes: 9, answers: 0 Read on SO: [28] http://goo.gl/LYxEvm * Where are the magic rules for GHC assert? votes: 8, answers: 1 Read on SO: [29] http://goo.gl/JL8OLZ * Using Haskell ranges: Why would mapping a floating point function across a range cause it to return an extra element? votes: 7, answers: 1 Read on SO: [30] http://goo.gl/mtBCBa * Why Haskell's Data.List.deleteBy takes in input a comparison function (a -> a -> Bool) and a value instead of a predicate (a -> Bool)? votes: 6, answers: 1 Read on SO: [31] http://goo.gl/Wd9evy Until next time, [32]+Daniel Santa Cruz References 1. http://www.haskell.org/pipermail/haskell/2014-April/024137.html 2. http://www.reddit.com/r/haskell/comments/22lw1b/ghc_781_released/ 3. http://permalink.gmane.org/gmane.comp.lang.haskell.libraries/21681 4. http://www.reddit.com/r/haskell/comments/22oott/what_to_expect_when_youre_a_platform_library/ 5. http://www.reddit.com/r/haskell/comments/22o4i1/why_are_we_relying_on_numeric_identifiers_for/ 6. http://www.reddit.com/r/haskell/comments/22o4i1/why_are_we_relying_on_numeric_identifiers_for/ 7. http://www.atamo.com/blog/how-to-read-pearls-by-richard-bird-1/ 8. http://www.reddit.com/r/haskell/comments/22kavg/how_to_read_pearls_of_functional_algorithm_design/ 9. http://www.reddit.com/r/haskell/comments/22d1wu/bayhac_14_signup_and_list_of_classes/ 10. http://www.reddit.com/r/haskell/comments/22d1wu/bayhac_14_signup_and_list_of_classes/ 11. http://www.reddit.com/r/haskell/comments/22r569/is_ghc_the_defacto_standard/ 12. http://www.reddit.com/r/haskell/comments/22r569/is_ghc_the_defacto_standard/ 13. http://www-pg.iai.uni-bonn.de/battleships 14. http://www.reddit.com/r/haskell/comments/22f683/battleships_web_game_written_in_haskellyesod/ 15. http://www.reddit.com/r/haskell/comments/22udou/heartbleed_aftermath_should_haskell_web/ 16. http://www.reddit.com/r/haskell/comments/22udou/heartbleed_aftermath_should_haskell_web/ 17. http://www.haskell.org/haskellwiki/BudapestHackathon2014 18. http://www.reddit.com/r/haskell/comments/22euqt/budhac_2014/ 19. http://motherboard.vice.com/nl/read/algorave-coden-in-de-club 20. http://www.reddit.com/r/haskell/comments/22ou9y/hacking_haskell_in_nightclubs_video_feature_on/ 21. http://jeltsch.wordpress.com/2013/02/14/the-constraint-kind/ 22. http://www.reddit.com/r/haskell/comments/22tfgl/a_brief_introduction_to_constraintkinds_extension/ 23. http://jelv.is/blog/Generating-Mazes-with-Inductive-Graphs 24. http://www.reddit.com/r/haskell/comments/22ngz0/generating_mazes_with_inductive_graphs/ 25. http://stackoverflow.com/questions/23023961/why-monadplus-and-not-monad-monoid 26. http://stackoverflow.com/questions/22914878/can-a-pure-function-have-free-variables 27. http://stackoverflow.com/questions/22989253/frp-event-streams-and-signals-what-is-lost-in-using-just-signals 28. http://stackoverflow.com/questions/23028124/is-there-a-way-to-make-ghc-provide-the-type-class-constraints-of-typed-holes 29. http://stackoverflow.com/questions/22996814/where-are-the-magic-rules-for-ghc-assert 30. http://stackoverflow.com/questions/22901633/using-haskell-ranges-why-would-mapping-a-floating-point-function-across-a-range 31. http://stackoverflow.com/questions/23000665/why-haskells-data-list-deleteby-takes-in-input-a-comparison-function-a-a 32. https://plus.google.com/105107667630152149014/about -------------- next part -------------- An HTML attachment was scrubbed... URL: From gvidal at dsic.upv.es Thu Apr 17 09:02:04 2014 From: gvidal at dsic.upv.es (German Vidal) Date: Thu, 17 Apr 2014 11:02:04 +0200 Subject: [Haskell] LOPSTR 2014: Second Call for Papers References: Message-ID: [Apologies for multiple copies] ================== SECOND CALL FOR PAPERS ================== 24th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2014 http://www.iasi.cnr.it/events/lopstr14/ University of Kent, Canterbury, UK, September 10-11, 2014 DEADLINES Abstract submission: May 30, 2014 Paper/Extended abstract submission: June 6, 2014 ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 24th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2014) will be held at the University of Kent, Canterbury, United Kingdom; previous symposia were held in Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2014 will be co-located with PPDP 2014 (International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC co-chairs in case of questions). Important Dates Abstract submission: May 30, 2014 Paper/Extended abstract submission: June 6, 2014 Notification: July 18, 2014 Camera-ready (for electronic pre-proceedings): August 25, 2014 Symposium: September 10-11, 2014 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. 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. Paper should be submitted via the Easychair submission website for LOPSTR 2014. If electronic submission is impossible, please contact the program co-chairs for information on how to submit hard copies. Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher German University of Cairo, Egypt ?tienne Andr? Universit? Paris 13, France Martin Brain University of Oxford, UK Wei-Ngan Chin National University of Singapore, Singapore Marco Comini University of Udine, Italy Wlodzimierz Drabent IPIPAN, Poland and Link?ping University, Sweden Fabio Fioravanti University of Chieti-Pescara, Italy J?rgen Giesl RWTH Aachen University, Germany Miguel G?mez-Zamalloa Complutense University of Madrid, Spain Arnaud Gotlieb SIMULA Research Laboratory, Norway Gopal Gupta University of Texas at Dallas, USA Jacob Howe City University London, UK Zhenjiang Hu National Institute of Informatics, Japan Alexei Lisitsa University of Liverpool, UK Yanhong Annie Liu Stony Brook University, USA Jorge Navas NASA, USA Naoki Nishida Nagoya University, Japan Corneliu Popeea Technische Universit?t M?nchen, Germany Maurizio Proietti IASI-CNR, Italy (Program Co-Chair) Tom Schrijvers Ghent University, Belgium Hirohisa Seki Nagoya Institute of Technology, Japan (Program Co-Chair) Jon Sneyers K.U. Leuven, Belgium Fausto Spoto University of Verona, Italy Wim Vanhoof University of Namur, Belgium German Vidal Universitat Politecnica de Valencia, Spain Program Co-Chairs: Maurizio Proietti, IASI-CNR, Italy (maurizio.proietti at iasi.cnr.it) Hirohisa Seki, Nagoya Institute of Technology, Japan (seki at nitech.ac.jp) Symposium Co-Chairs Olaf Chitil and Andy King School of Computing University of Kent CT2 7NF Kent, UK Organizing Committee Emanuele De Angelis, University of Chieti-Pescara and IASI-CNR, Italy Fabrizio Smith, IASI-CNR, Italy ============================================================ From v.dijk.bas at gmail.com Thu Apr 17 12:23:39 2014 From: v.dijk.bas at gmail.com (Bas van Dijk) Date: Thu, 17 Apr 2014 14:23:39 +0200 Subject: [Haskell] ZuriHac 2014 - Updates Message-ID: Dear (potential) ZuriHac 2014 attendees, I would like to make a few announcements regarding ZuriHac 2014, a Haskell hackathon taking place in Zurich from Friday 6 June 2014 to Sunday 8 June 2014. Besides hacking on Haskell projects with core members of the community you will hear talks by Simon Marlow and Edward Kmett. Note that this event is open to any experience level, from beginners to gurus. In fact, one of the goals is to bring beginners in contact with experts so that the former can get a quick start in the Haskell community and the latter more help with their projects. For more information see: http://www.haskell.org/haskellwiki/ZuriHac2014 Registration ------------ I'm happy and sad to inform you that we've almost reached capacity for ZuriHac 2014. Happy because it looks like this might be the biggest Haskell Hackathon ever. Sad because I soon have to start adding new registrations to a waiting list. So if you want to join us, and haven't registered already, then please do so soon at: http://bit.ly/ZuriHac2014. Also if you've already registered but know you won't be able to make it, please cancel by emailing me to make room for others. T-Shirt ------- Like last year, each attendee will get a free ZuriHac T-shirt. If you've already registered, please tell me which sizes and model you would like to have: Male: S, M, L, XL, XXL Female: S, M, L, XL, XXL Host ---- Erudify, the company which is hosting ZuriHac, recently changed its name to Better. Do note that we haven't changed location. See our new website on why we have rebranded: http://better.com/en/rebranding Regards, The ZuriHac 2014 organizers From ekmett at gmail.com Sun Apr 20 18:37:59 2014 From: ekmett at gmail.com (Edward Kmett) Date: Sun, 20 Apr 2014 14:37:59 -0400 Subject: [Haskell] CUFP 2014: Call for Presentations Message-ID: Commercial Users of Functional Programming 2014: Call for Presentations COMMERCIAL USERS OF FUNCTIONAL PROGRAMMING 2014 CUFP 2014 http://cufp.org/conference CALL FOR PRESENTATIONS Gothenburg, Sweden Sep 4-6 Co-located with ICFP 2014 Sponsored by SIGPLAN Talk Proposal Submission Deadline 27 June 2014 Submission Form: http://goo.gl/5BJLul The annual CUFP workshop is a place where people can see how others are using functional programming to solve real world problems; where practitioners meet and collaborate; where language designers and users can share ideas about the future of their favorite language; and where one can learn practical techniques and approaches for putting functional programming to work. Giving a CUFP Talk ================== If you have experience using functional languages in a practical setting, we invite you to submit a proposal to give a talk at the workshop. We're looking for two kinds of talks: Experience reports are typically 25 minutes long, and aim to inform participants about how functional programming plays out in real-world applications, focusing especially on lessons learned and insights gained. Experience reports don't need to be highly technical; reflections on the commercial, management, or software engineering aspects are, if anything, more important. Technical talks are also 25 minutes long, and should focus on teaching the audience something about a particular technique or methodology, from the point of view of someone who has seen it play out in practice. These talks could cover anything from techniques for building functional concurrent applications, to managing dynamic reconfigurations, to design recipes for using types effectively in large-scale applications. While these talks will often be based on a particular language, they should be accessible to a broad range of programmers. We strongly encourage submissions 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 presented at a conference before. We recognize that inclusion is an important part of our mission to promote functional programming. So that CUFP can be a safe environment in which participants openly exchange ideas, we abide by the SIGPLAN Conference Anti-Harassment Policy ( http://www.sigplan.org/Resources/Policies/Anti-harassment ). If you are interested in offering a talk, or nominating someone to do so, please submit your presentation before 27 June 2014 via the form at http://goo.gl/5BJLul You do not need to submit a paper, just a short proposal for your talk! There will be a short scribe's report of the presentations and discussions but not of the details of individual talks, as the meeting is intended to be more a discussion forum than a technical interchange. Nevertheless, presentations will be video taped and presenters will be expected to sign an ACM copyright release form. Note that we will need all presenters to register for the CUFP workshop and travel to Gothenburg at their own expense. Program Committee ================= Edward Kmett (McGraw Hill Financial), co-chair Marius Eriksen (Twitter, Inc.), co-chair Ozgun Ataman (Soostone, Inc.) Tim Chevalier (AlephCloud) Derek Elkins (Now Business Intelligence) Matthew Might (University of Utah) Richard Minerich (Bayard Rock) Audrey Tang (Apple, Inc.) Jason Zaugg (Typesafe) More information ================ For more information on CUFP, including videos of presentations from previous years, take a look at the CUFP website at http://cufp.org. Note that presenters, like other attendees, will need to register for the event. Acceptance and rejection letters will be sent out by July 16th. Guidance on giving a great CUFP talk ==================================== Focus on the interesting bits: Think about what will distinguish your talk, and what will engage the audience, and focus there. There are a number of places to look for those interesting bits. Setting: FP is pretty well established in some areas, including formal verification, financial processing and server-side web-services. An unusual setting can be a source of interest. If you're deploying FP-based mobile UIs or building servers on oil rigs, then the challenges of that scenario are worth focusing on. Did FP help or hinder in adapting to the setting? Technology: The CUFP audience is hungry to learn about how FP techniques work in practice. What design patterns have you applied, and to what areas? Did you use functional reactive programming for user interfaces, or DSLs for playing chess, or fault-tolerant actors for large scale geological data processing? Teach us something about the techniques you used, and why we should consider using them ourselves. Getting things done: How did you deal with large software development in the absence of a myriad of pre-existing support that are often expected in larger commercial environments (IDEs, coverage tools, debuggers, profilers) and without larger, proven bodies of libraries? Did you hit any brick walls that required support from the community? Don't just be a cheerleader: It's easy to write a rah-rah talk about how well FP worked for you, but CUFP is more interesting when the talks also spend time on what doesn't work. Even when the results were all great, you should spend more time on the challenges along the way than on the parts that went smoothly. -------------- next part -------------- An HTML attachment was scrubbed... URL: From ekmett at gmail.com Mon Apr 21 20:56:58 2014 From: ekmett at gmail.com (Edward Kmett) Date: Mon, 21 Apr 2014 16:56:58 -0400 Subject: [Haskell] [Haskell.org GSoC] Accepted Proposals Message-ID: I'm pleased to announce the list of accepted student proposals for haskell.org for the Google Summer of Code 2014. Title Student Mentor Adding profiling support to GHCJS -- JavaScript backend for GHC ?mer Sinan A?acan Luite Stegeman Concurrent Lock-Free Hash Map for Haskell Mathias Bartl Ryan Newton Darcs: Hashed Files and Cache Marcio D?az Eric Kow HDBC Improvements Edisach Nicolas Wu Darcs: History reordering: performance and features Ale Gadea Guillaume Hoffmann Implement Constraint-Based Layout in Diagrams Allan Gardner Daniel Bergey Lensify Diagrams Niklas Haas Brent Yorgey An Efficient Computational Algebra and Symbolic Linear Algebra Library in Haskell Hiromi ISHII Edward Kmett Complete plugins-ng "low-level", "filewatch", and "cabal" packages K?ra Greg Weber Build Interactive Websites with GHCJS and Sodium Kyle Raftogianis Luite Stegeman Pandoc improvements: Embedded base64 images and EPUB 3.0 reader Matthew Pickering John MacFarlane Agda-like Interaction Mode for Emacs Alejandro Serrano David Raymond Christiansen Debugging tool for GHCJS Nathan van Doorn Luite Stegeman Flesh out features of Hackage 2 Chris Wong Duncan Coutts You can explore the abstracts of the accepted proposals at http://www.google-melange.com/gsoc/org2/google/gsoc2014/haskell I would like to take a moment to offer congratulations to all of the students we were able to accept into the program this year. That said, I would also like to offer my condolences to those students whom we were not able to bring into the program. We received 14 slots in total this year - more than we ever received in past years - yet still not nearly enough to accept all of the excellent proposals we received this time around. Please consider applying again next year. I am looking forward to working with you on another Summer of Code, and I hope we can all make an effort as a community to be welcoming and to help you in your projects. If you have any questions or concerns about the process, please feel free to email me or chase me down on #haskell-gsoc on irc.freenode.net. -Edward Kmett -------------- next part -------------- An HTML attachment was scrubbed... URL: From conrad at metadecks.org Tue Apr 22 01:56:31 2014 From: conrad at metadecks.org (Conrad Parker) Date: Tue, 22 Apr 2014 11:56:31 +1000 Subject: [Haskell] [Haskell.org GSoC] Accepted Proposals In-Reply-To: References: Message-ID: Hi, are there long descriptions somewhere? the trac page linked from melange seems to have not been updated since 2012: https://ghc.haskell.org/trac/summer-of-code/report/1 I'd be interested to see the milestones and expected outcomes for some of the projects :) Conrad. On 22 April 2014 06:56, Edward Kmett wrote: > I'm pleased to announce the list of accepted student proposals for > haskell.org for the Google Summer of Code 2014. > > Title Student Mentor Adding profiling support to GHCJS -- JavaScript > backend for GHC ?mer Sinan A?acan Luite Stegeman Concurrent Lock-Free > Hash Map for Haskell Mathias Bartl Ryan Newton Darcs: Hashed Files and > Cache Marcio D?az Eric Kow HDBC Improvements Edisach Nicolas Wu Darcs: > History reordering: performance and features Ale Gadea Guillaume Hoffmann Implement > Constraint-Based Layout in Diagrams Allan Gardner Daniel Bergey Lensify > Diagrams Niklas Haas Brent Yorgey An Efficient Computational Algebra and > Symbolic Linear Algebra Library in Haskell Hiromi ISHII Edward Kmett Complete > plugins-ng "low-level", "filewatch", and "cabal" packages K?ra Greg Weber Build > Interactive Websites with GHCJS and Sodium Kyle Raftogianis Luite Stegeman Pandoc > improvements: Embedded base64 images and EPUB 3.0 reader Matthew Pickering John > MacFarlane Agda-like Interaction Mode for Emacs Alejandro Serrano David > Raymond Christiansen Debugging tool for GHCJS Nathan van Doorn Luite > Stegeman Flesh out features of Hackage 2 Chris Wong Duncan Coutts > You can explore the abstracts of the accepted proposals at > > http://www.google-melange.com/gsoc/org2/google/gsoc2014/haskell > > I would like to take a moment to offer congratulations to all of the > students we were able to accept into the program this year. > > That said, I would also like to offer my condolences to those students > whom we were not able to bring into the program. We received 14 slots in > total this year - more than we ever received in past years - yet still not > nearly enough to accept all of the excellent proposals we received this > time around. Please consider applying again next year. > > I am looking forward to working with you on another Summer of Code, and I > hope we can all make an effort as a community to be welcoming and to help > you in your projects. > > If you have any questions or concerns about the process, please feel free > to email me or chase me down on #haskell-gsoc on irc.freenode.net. > > -Edward Kmett > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://www.haskell.org/mailman/listinfo/haskell > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From ekmett at gmail.com Tue Apr 22 02:03:18 2014 From: ekmett at gmail.com (Edward Kmett) Date: Mon, 21 Apr 2014 22:03:18 -0400 Subject: [Haskell] [Haskell.org GSoC] Accepted Proposals In-Reply-To: References: Message-ID: The abstracts get published publicly. The details of the proposal milestones are only displayed to the pool of mentors though. This is what Melange does by default. However, I'm not sure what Google's official policy is on revealing more information. Often by the end of the proposal process the project the student has ultimately agreed to bears little resemblance to their original proposal, so I'm not sure it'd be a good idea to show the original submissions in their full glory, even if we had the option. -Edward On Mon, Apr 21, 2014 at 9:56 PM, Conrad Parker wrote: > Hi, > > are there long descriptions somewhere? the trac page linked from melange > seems to have not been updated since 2012: > > https://ghc.haskell.org/trac/summer-of-code/report/1 > > I'd be interested to see the milestones and expected outcomes for some of > the projects :) > > Conrad. > > On 22 April 2014 06:56, Edward Kmett wrote: > >> I'm pleased to announce the list of accepted student proposals for >> haskell.org for the Google Summer of Code 2014. >> >> Title Student Mentor Adding profiling support to GHCJS -- JavaScript >> backend for GHC ?mer Sinan A?acan Luite Stegeman Concurrent Lock-Free >> Hash Map for Haskell Mathias Bartl Ryan Newton Darcs: Hashed Files and >> Cache Marcio D?az Eric Kow HDBC Improvements Edisach Nicolas Wu Darcs: >> History reordering: performance and features Ale Gadea Guillaume Hoffmann Implement >> Constraint-Based Layout in Diagrams Allan Gardner Daniel Bergey Lensify >> Diagrams Niklas Haas Brent Yorgey An Efficient Computational Algebra >> and Symbolic Linear Algebra Library in Haskell Hiromi ISHII Edward Kmett Complete >> plugins-ng "low-level", "filewatch", and "cabal" packages K?ra Greg Weber Build >> Interactive Websites with GHCJS and Sodium Kyle Raftogianis Luite >> Stegeman Pandoc improvements: Embedded base64 images and EPUB 3.0 reader Matthew >> Pickering John MacFarlane Agda-like Interaction Mode for Emacs Alejandro >> Serrano David Raymond Christiansen Debugging tool for GHCJS Nathan van >> Doorn Luite Stegeman Flesh out features of Hackage 2 Chris Wong Duncan >> Coutts >> You can explore the abstracts of the accepted proposals at >> >> http://www.google-melange.com/gsoc/org2/google/gsoc2014/haskell >> >> I would like to take a moment to offer congratulations to all of the >> students we were able to accept into the program this year. >> >> That said, I would also like to offer my condolences to those students >> whom we were not able to bring into the program. We received 14 slots in >> total this year - more than we ever received in past years - yet still not >> nearly enough to accept all of the excellent proposals we received this >> time around. Please consider applying again next year. >> >> I am looking forward to working with you on another Summer of Code, and I >> hope we can all make an effort as a community to be welcoming and to help >> you in your projects. >> >> If you have any questions or concerns about the process, please feel free >> to email me or chase me down on #haskell-gsoc on irc.freenode.net. >> >> -Edward Kmett >> >> _______________________________________________ >> Haskell mailing list >> Haskell at haskell.org >> http://www.haskell.org/mailman/listinfo/haskell >> >> > -------------- next part -------------- An HTML attachment was scrubbed... URL: From dstcruz at gmail.com Thu Apr 24 02:18:00 2014 From: dstcruz at gmail.com (Daniel Santa Cruz) Date: Wed, 23 Apr 2014 22:18:00 -0400 Subject: [Haskell] Haskell Weekly News: Issue 292 Message-ID: Welcome to issue 292 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from April 13 to 19, 2014 Edward Kemett wrote in to remind us of the Call For Proposals for CUFP 2014, which is going to be held in Gothenburg, Sweden between September 4-6. See more details here [1] http://goo.gl/X62cBO Quotes of the Week * pdxleif: see s.p. jones & h.p. lovecraft's paper on the subject: "generic programming with lenses, barbed wire, and the fibres of sanity" Top Reddit Stories * A time traveling debugger for Elm - pause, rewind, replay, and change history Domain: debug.elm-lang.org, Score: 87, Comments: 6 On Reddit: [2] http://goo.gl/GJahIU Original: [3] http://goo.gl/V2kcCP * OC: Haskell programming font with ligatures Domain: github.com, Score: 78, Comments: 59 On Reddit: [4] http://goo.gl/ZaFRJ4 Original: [5] http://goo.gl/m17EUj * Porting GHC: A Tale of Two Architectures Domain: chiark.greenend.org.uk, Score: 77, Comments: 12 On Reddit: [6] http://goo.gl/MJ196R Original: [7] http://goo.gl/PVVHZo * Try Idris Domain: tryidris.org, Score: 70, Comments: 22 On Reddit: [8] http://goo.gl/7hn84J Original: [9] http://goo.gl/6iPW8S * Why are examples completely absent from hackage? Am I missing something? Domain: self.haskell, Score: 67, Comments: 68 On Reddit: [10] http://goo.gl/QmZjZs Original: [11] http://goo.gl/QmZjZs * Implementing Python in Haskell - Melbourne Haskell Users Group, April 24 Domain: meetup.com, Score: 53, Comments: 6 On Reddit: [12] http://goo.gl/tYRtG9 Original: [13] http://goo.gl/oClHGb * Blog post - Haskell Gets Static Typing Right - Andres L?h Domain: skillsmatterblog.wordpress.com, Score: 51, Comments: 25 On Reddit: [14] http://goo.gl/5AQO4h Original: [15] http://goo.gl/WddMUA * Haskell for all: Scalable program architectures Domain: haskellforall.com, Score: 45, Comments: 19 On Reddit: [16] http://goo.gl/JDYSQl Original: [17] http://goo.gl/MUrRRg * GHC 7.8?s -staticlib flag makes compiling Mac libs easy Domain: maxs.io, Score: 42, Comments: 5 On Reddit: [18] http://goo.gl/SVICOm Original: [19] http://goo.gl/FwVdOv * Autocomplete command line options with GHC 7.8 Domain: self.haskell, Score: 39, Comments: 10 On Reddit: [20] http://goo.gl/bXNI20 Original: [21] http://goo.gl/bXNI20 * How to learn Haskell Domain: acm3.wustl.edu, Score: 39, Comments: 16 On Reddit: [22] http://goo.gl/oaQsAL Original: [23] http://goo.gl/TLbCEL * Calling Python from Haskell Domain: lunaryorn.com, Score: 36, Comments: 14 On Reddit: [24] http://goo.gl/9n8O4m Original: [25] http://goo.gl/j8YqgK * "latest API" link in Hackage Domain: self.haskell, Score: 30, Comments: 15 On Reddit: [26] http://goo.gl/RJnphF Original: [27] http://goo.gl/RJnphF * Functional Pearl: F for Functor Domain: cs.ox.ac.uk, Score: 27, Comments: 14 On Reddit: [28] http://goo.gl/i7TPuf Original: [29] http://goo.gl/7c33Xn Top StackOverflow Questions * Idris eager evaluation votes: 14, answers: 1 Read on SO: [30] http://goo.gl/LDpNtI * Why use such a peculiar function type in monads? votes: 11, answers: 4 Read on SO: [31] http://goo.gl/XX8KSX * How does mapA work with a Stream Function Arrow in Haskell? votes: 8, answers: 1 Read on SO: [32] http://goo.gl/vECKBa * Lenses and Monomorphism Restriction votes: 8, answers: 2 Read on SO: [33] http://goo.gl/hG44KA * Is this a GHC bug? votes: 7, answers: 1 Read on SO: [34] http://goo.gl/sqByI2 * Why do some of threepenny-gui FRP combinators operate on a MonadIO monad instead of being pure? votes: 6, answers: 2 Read on SO: [35] http://goo.gl/ySVqya * S combinator in Haskell votes: 6, answers: 2 Read on SO: [36] http://goo.gl/vnb64N * Graphing criterion benchmarks taking different orders of magnitude of time votes: 6, answers: 1 Read on SO: [37] http://goo.gl/J3jgWf * Fun with fixity votes: 6, answers: 1 Read on SO: [38] http://goo.gl/molyi9 Until next time, [39]+Daniel Santa Cruz References 1. http://cufp.org/2014cfp 2. http://debug.elm-lang.org/ 3. http://www.reddit.com/r/haskell/comments/233ff9/a_time_traveling_debugger_for_elm_pause_rewind/ 4. https://github.com/i-tu/source-code-pro-L/ 5. http://www.reddit.com/r/haskell/comments/23g9dv/oc_haskell_programming_font_with_ligatures/ 6. http://www.chiark.greenend.org.uk/ucgi/~cjwatson/blosxom/2014-04-15-porting-ghc-a-tale-of-two-architectures.html 7. http://www.reddit.com/r/haskell/comments/232erb/porting_ghc_a_tale_of_two_architectures/ 8. http://www.tryidris.org/console 9. http://www.reddit.com/r/haskell/comments/22yww7/try_idris/ 10. http://www.reddit.com/r/haskell/comments/23dxli/why_are_examples_completely_absent_from_hackage/ 11. http://www.reddit.com/r/haskell/comments/23dxli/why_are_examples_completely_absent_from_hackage/ 12. http://www.meetup.com/Melbourne-Haskell-Users-Group/events/174401572/ 13. http://www.reddit.com/r/haskell/comments/238akv/implementing_python_in_haskell_melbourne_haskell/ 14. http://skillsmatterblog.wordpress.com/2014/04/15/guest-post-haskell-gets-static-typing-right-andres-loh/ 15. http://www.reddit.com/r/haskell/comments/233njg/blog_post_haskell_gets_static_typing_right_andres/ 16. http://www.haskellforall.com/2014/04/scalable-program-architectures.html 17. http://www.reddit.com/r/haskell/comments/2300zb/haskell_for_all_scalable_program_architectures/ 18. http://maxs.io/ghc-78-static-lib-flag/ 19. http://www.reddit.com/r/haskell/comments/23fyok/ghc_78s_staticlib_flag_makes_compiling_mac_libs/ 20. http://www.reddit.com/r/haskell/comments/236qkb/autocomplete_command_line_options_with_ghc_78/ 21. http://www.reddit.com/r/haskell/comments/236qkb/autocomplete_command_line_options_with_ghc_78/ 22. http://acm3.wustl.edu/functional/haskell.php 23. http://www.reddit.com/r/haskell/comments/239f2m/how_to_learn_haskell/ 24. http://www.lunaryorn.com/2014/04/15/calling-python-from-haskell.html 25. http://www.reddit.com/r/haskell/comments/2330aj/calling_python_from_haskell/ 26. http://www.reddit.com/r/haskell/comments/22xz96/latest_api_link_in_hackage/ 27. http://www.reddit.com/r/haskell/comments/22xz96/latest_api_link_in_hackage/ 28. http://www.cs.ox.ac.uk/people/daniel.james/functor/functor.pdf 29. http://www.reddit.com/r/haskell/comments/2327e7/functional_pearl_f_for_functor/ 30. http://stackoverflow.com/questions/23149532/idris-eager-evaluation 31. http://stackoverflow.com/questions/23051800/why-use-such-a-peculiar-function-type-in-monads 32. http://stackoverflow.com/questions/23048100/how-does-mapa-work-with-a-stream-function-arrow-in-haskell 33. http://stackoverflow.com/questions/23066099/lenses-and-monomorphism-restriction 34. http://stackoverflow.com/questions/23091080/is-this-a-ghc-bug 35. http://stackoverflow.com/questions/23044464/why-do-some-of-threepenny-gui-frp-combinators-operate-on-a-monadio-monad-instead 36. http://stackoverflow.com/questions/23095224/s-combinator-in-haskell 37. http://stackoverflow.com/questions/23129649/graphing-criterion-benchmarks-taking-different-orders-of-magnitude-of-time 38. http://stackoverflow.com/questions/23142075/fun-with-fixity 39. https://plus.google.com/105107667630152149014/about -------------- next part -------------- An HTML attachment was scrubbed... URL: From ezyang at mit.edu Thu Apr 24 06:35:58 2014 From: ezyang at mit.edu (Edward Z. Yang) Date: Wed, 23 Apr 2014 23:35:58 -0700 Subject: [Haskell] [Haskell-cafe] ANN: Monad.Reader Issue 23 Message-ID: <1398320767-sup-3466@sabre> I am pleased to announce that Issue 23 of the Monad Reader is now available. http://themonadreader.files.wordpress.com/2014/04/issue23.pdf http://themonadreader.wordpress.com/2014/04/23/issue-23/ Issue 23 consists of the following five articles: * FizzBuzz in Haskell by Embedding a Domain-Specific Language by Maciej P?rog http://themonadreader.files.wordpress.com/2014/04/fizzbuzz.pdf * Supercompilation: Ideas and Methods (+appendix) by Ilya Klyuchnikov and Dimitur Krustev http://themonadreader.files.wordpress.com/2014/04/super-final.pdf * A Haskell sound specification DSL: Ludic support and deep immersion in Nordic technology-supported LARP by Henrik B??rnhielm, Daniel Sundstr?m and Mikael Vejdemo-Johansson http://themonadreader.files.wordpress.com/2014/04/celestria_main.pdf * MFlow, a continuation-based web framework without continuations by Alberto Gomez Corona http://themonadreader.files.wordpress.com/2014/04/mflow.pdf * Practical Type System Benefits by Neil Brown http://themonadreader.files.wordpress.com/2014/04/nccb.pdf This time around, I have individual article files for each (and the supercompilation article has an extra appendix not included in the full issue PDF). Feel free to browse the source files. You can check out the entire repository using Git: git clone https://github.com/ezyang/tmr-issue23.git If you?d like to write something for Issue 24, please get in touch! Cheers, Edward From ezyang at mit.edu Thu Apr 24 20:09:25 2014 From: ezyang at mit.edu (Edward Z. Yang) Date: Thu, 24 Apr 2014 13:09:25 -0700 Subject: [Haskell] Monad.Reader #24 call for copy Message-ID: <1398369857-sup-413@sabre> Call for Copy: The Monad.Reader - Issue 24 -------------------------------------------- Whether you're an established academic or have only just started learning Haskell, if you have something to say, please consider writing an article for The Monad.Reader! The submission deadline for Issue 24 will be: **Saturday, July 5, 2014** The Monad.Reader ~~~~~~~~~~~~~~~~ The Monad.Reader is a electronic magazine about all things Haskell. It is less formal than journal, but somehow more enduring than a wiki- page. There have been a wide variety of articles: exciting code fragments, intriguing puzzles, book reviews, tutorials, and even half-baked research ideas. Submission Details ~~~~~~~~~~~~~~~~~~ NEW this issue: for my reviewing sanity, I am setting a soft page limit of fifteen pages. If you would like to write something longer, get in touch, but remember: brevity is the soul of wit. In any case, contact me if you intend to submit something -- the sooner you let me know what you're up to, the better. Please submit articles for the next issue to me by e-mail. Articles should be written according to the guidelines available from http://themonadreader.wordpress.com/contributing/ Please submit your article in PDF, together with any source files you used. The sources will be released together with the magazine under a BSD license. If you would like to submit an article, but have trouble with LaTeX please let me know and we'll work something out. From sabel at ki.informatik.uni-frankfurt.de Sat Apr 26 07:34:40 2014 From: sabel at ki.informatik.uni-frankfurt.de (David Sabel) Date: Sat, 26 Apr 2014 09:34:40 +0200 Subject: [Haskell] Extended Deadline and Final CFP: WPTE'14, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation Message-ID: <535B6190.309@ki.informatik.uni-frankfurt.de> !!! EXTENDED DEADLINE !!! FINAL CALL FOR PAPERS First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE'14) affiliated with RTA/TLCA 2014 (a FLoC 2014 workshop, FLoC is part of the Vienna Summer of Logic 2014) 13th July 2014, Vienna, Austria http://www.ki.informatik.uni-frankfurt.de/WPTE14 Aims and Scope ============== The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. Topics of interest and in the scope of WPTE are: * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for arguing about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program inversions and program synthesis. The programming languages of interest include pure, deterministic, impure, non-deterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order. Invited Speaker =============== Andy Gill (University of Kansas) Paper Submissions and Proceedings ================================= WPTE accepts two different kinds of contributions: * Full-papers: ------------ Full-papers must represent original work and should be submitted using the EasyChair interface. We plan to publish full-papers as formal proceedings in the 'OpenAccess Series in Informatics (OASIcs)' of 'Schloss Dagstuhl Leibniz-Zentrum fuer Informatik'. Full-papers should not exceed 12 pages using the OASIcs LaTeX-templates. * Work in progress: ----------------- There will also be a slot for presenting work in progress. An extended abstract of at most 4 pages is required to be submitted using the EasyChair interface. These contributions will not be included in the OASIcs proceedings but they will be distributed to the workshop partipicants. One author of each accepted paper or abstract is expected to present it at the workshop. Important Dates =============== * Submission deadline: 30 April 2014 (new!) * Notification of acceptance: 23 May 2014 * Deadline for camera-ready proceedings: 28 May 2014 * Workshop: 13 July 2014, Austria, Vienna Weblinks ======== * EasyChair Submission Website https://www.easychair.org/conferences/?conf=wpte14 * Homepage of WPTE'14 http://www.ki.informatik.uni-frankfurt.de/WPTE14 * OASIcs Website (including LaTeX templates): http://www.dagstuhl.de/en/publications/oasics * Vienna Summer of Logic 2014 http://vsl2014.at Program Committee ================= Takahito Aoto (RIEC, Tohoku University) Yuki Chiba (Japan Advanced Institute of Science and Technology) Fer-Jan de Vries (University of Leicester) Santiago Escobar (Universitat Polit?cnica de Val?ncia) Maribel Fern?ndez (King's College London) Johan Jeuring (Open Universiteit Nederland and Universiteit Utrecht) Delia Kesner (Universit? Paris-Diderot) Sergue? Lenglet (Universit? de Lorraine) Elena Machkasova (University of Minnesota, Morris) Joachim Niehren (INRIA Lille) David Sabel (Goethe-University Frankfurt am Main) Masahiko Sakai (Nagoya University) Manfred Schmidt-Schau? (Goethe-University Frankfurt am Main) - chair Eijiro Sumii (Tohoku University) Janis Voigtl?nder (University of Bonn) Harald Zankl (University of Innsbruck) Organizers ========== Manfred Schmidt-Schau? (Goethe-University Frankfurt am Main) - chair Masahiko Sakai (Nagoya University) David Sabel (Goethe-University Frankfurt am Main) Yuki Chiba (Japan Advanced Institute of Science and Technology) Sponsors ======== Vereinigung von Freunden und F?rderern der Johann Wolfgang Goethe Universit?t Frankfurt am Main e.V. -- ____________________________________________________________ David Sabel Akademischer Rat Professur f?r K?nstliche Intelligenz und Softwaretechnologie Goethe-Universit?t Frankfurt am Main http://www.ki.informatik.uni-frankfurt.de/persons/sabel ____________________________________________________________ From nr at cs.tufts.edu Sat Apr 26 19:06:14 2014 From: nr at cs.tufts.edu (Norman Ramsey) Date: Sat, 26 Apr 2014 15:06:14 -0400 Subject: [Haskell] Postdoctoral position in probabilistic programming languages Message-ID: <20140426190614.3A619785CEB@labrador.cs.tufts.edu> There is a postdoc opening in my group for work on probabilistic programming languages. Connections with Haskell are strong, and several members of our team are building prototypes in Haskell. I'd welcome applications from scientists with skills or interests in Haskell. Norman Ramsey Postdoctoral position in probabilistic programming languages ============================================================ There is a postdoc open at Tufts University, supported by the project > Probabilistic Programming for Advanced Machine Learning (PPAML) The PPAML project will empower practitioners and researchers in machine learning by creating vastly improved language technology for probabilistic programming. This postdoc provides an opportunity to think deeply about probabilistic modeling and inference and to realize those thoughts in new language designs and (prototype) implementations. Our team is focused on these aspects: - The design of novel languages, especially intermediate languages, for expressing and analyzing probabilistic computations - The development of type systems and other program analyses that will support *efficient* inference over probabilistic models - Languages and language extensions that can formalize and express *intensional* properties that may enable a probabilistic programming system to affect the performance or accuracy of inference and learning The goal is to develop new designs, type systems, and analyses that will not only inform and contribute to the team's research software, but that will of sufficient scope, power, and quality to be publishable in such venues as POPL, PLDI, OOPSLA, and ICFP. Who we are ---------- The research will be supervised at Tufts by Professor Norman Ramsey. The larger team includes senior faculty Mitch Wand and Olin Shivers from Northeastern University, as well as senior colleagues in both programming languages and machine learning at nearby BAE Systems in Burlington. The research will be carried out on the Tufts campus, located near Davis Square in Somerville, Massachusetts, USA, a short distance from Boston. What we're looking for ---------------------- We're looking for a recent PhD (or someone about to graduate) who is committed to the idea of programming languages as a way to express knowledge and solve problems. In addition, - We're looking for someone with a track record of creating interesting and effective software. - We're looking for someone with strong background in at least *one* domain area relating to the project: probability, probabilistic programming, language design, language implementation, type systems, static analysis, measure theory, domain theory, topology, real analysis, or probabilistic inference. - We believe that ideas and software are best developed in tandem. We're therefore looking for someone who will contribute both to the development of the team's software and to the development and publication of new ideas. When and for how long the position can be held ---------------------------------------------- The initial appointment will be for one year, but given mutual agreement, it is expected to be renewed annually for a total of three years. (Support is available through July 2017.) Other mutually agreed arrangements are possible. Salary is competitive. The starting date is negotiable, but if other things are equal, we may extend an offer to the candidate who is available sooner rather than later. What support and benefits are available --------------------------------------- Tufts University is committed to helping postdoctoral scholars gain the skills necessary to become independent researchers. This commitment includes access to resources for personal and professional development. Tufts postdocs are full-time employees of Tufts University and are eligible for benefits, including health and retirement benefits. How and when to apply --------------------- Interested candidates should apply at https://academicjobsonline.org/ajo/jobs/3983 An application should include - A cover letter explaining your interest in the position - Your curriculum vitae - A paper representative of your published work - The names of three people who can, if asked, write letters of reference There is no deadline for applications; we will look at applications as soon as they come in, and we will keep looking until we fill the position. Whom to ask questions --------------------- If you have questions about the project or whether it is a good fit for your interests, please write to Norman Ramsey . From ivan.miljenovic at gmail.com Sun Apr 27 14:20:29 2014 From: ivan.miljenovic at gmail.com (Ivan Lazar Miljenovic) Date: Mon, 28 Apr 2014 00:20:29 +1000 Subject: [Haskell] ANNOUNCE: fgl-5.5.0.0 Message-ID: I'm pleased to announce a new version of the functional graph library: http://hackage.haskell.org/package/fgl-5.5.0.0 The main change in this version: proper Show, Read and Eq instances for both graph implementations. Previously, Data.Graph.Inductive.Tree had a pretty-printed Show output; now both it and PatriciaTree have Show and Read instances via the mkGraph function, and Eq via deriving (I'm not sure how well this will work because as I write this I realise it may not deal with multiple edges that well... I guess I'll be doing an updated version tomorrow after getting some sleep ;p). The previous Show behaviour of Tree is now available as a pretty-printing function for all DynGraph instances. The PatriciaTree implementation is now exported and used by default, because as far as I'm aware it will always perform better. Finally, the Data.Graph.Inductive.Graphviz module has been removed; if you want to visualise your fgl graph, please see my graphviz package on Hackage (cheap plug? moi?). -- Ivan Lazar Miljenovic Ivan.Miljenovic at gmail.com http://IvanMiljenovic.wordpress.com From J.T.Jeuring at uu.nl Mon Apr 28 19:03:56 2014 From: J.T.Jeuring at uu.nl (Johan Jeuring) Date: Mon, 28 Apr 2014 21:03:56 +0200 Subject: [Haskell] FINAL CALL: Applied Functional Programming (AFP) Summerschool 7-18 July 2014, Utrecht, Netherlands In-Reply-To: References: Message-ID: One week to go until the registration deadline... -- Johan Jeuring > =========== AFP Summerschool 2014 =========== > > Applied Functional Programming (AFP) Summerschool > July 7-18, 2014 > Utrecht University, Department of Information and Computing Sciences > Utrecht, The Netherlands > > Summerschool & registration website: http://www.utrechtsummerschool.nl/courses/science/applied-functional-programming-in-haskell > AFP website with edition 2013 info : http://www.cs.uu.nl/wiki/USCS > contact : Uscs-afp at lists.science.uu.nl > > *** > > The 2014 edition of the Applied Functional Programming (AFP) > Summerschool in Utrecht, Netherlands will be held from 7-18 July 2014. > The summerschool teaches Haskell on both beginners and advanced levels > via lectures and lab exercises. More info can be found via the > references above, included here is an excerpt from the summerschool > website: > > ``Typed functional programming in Haskell allows for the development of > compact programs in minimal time and with maximal guarantees about > robustness and correctness. The course introduces Haskell as well as its > theoretical underpinnings such as typed lambda calculus, and > Damas-Milner type inference. There is ample opportunity to put this all > in practice during lab sessions. > > Typed functional programming languages allow for the development of > robust, concise programs in a short amount of time. The key advantages > are higher-order functions as an abstraction mechanism, and an advanced > type system for safety and reusability. This course introduces Haskell, > a state-of-the-art functional programming language, together with some > of its theoretical background, such as typed lambda calculi, referential > transparency, Damas-Milner type inference, type level programming, and > functional design patterns. > > We will combine this with applications of functional programming, > concentrating on topics such as language processing, building graphical > user interfaces, networking, databases, and programming for the web. The > goal of the course is not just to teach the programming language and > underlying theory, but also to learn about the Haskell community and to > get hands-on experience by doing lab exercises or a Haskell project of > your own.'' > > *** From n.krishnaswami at cs.bham.ac.uk Wed Apr 30 10:47:17 2014 From: n.krishnaswami at cs.bham.ac.uk (Neelakantan Krishnaswami) Date: Wed, 30 Apr 2014 11:47:17 +0100 Subject: [Haskell] Call for talk proposals: HOPE'14 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'14) Message-ID: <5360D4B5.8090302@cs.bham.ac.uk> ---------------------------------------------------------------------- CALL FOR TALK PROPOSALS HOPE 2014 The 3rd ACM SIGPLAN Workshop on Higher-Order Programming with Effects August 31, 2014 Gothenburg, Sweden (the day before ICFP 2014) https://www.mpi-sws.org/~neelk/hope2014/ ---------------------------------------------------------------------- HOPE 2014 aims at bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make it hard to build, maintain, and reason about one's code. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help "tame" or "encapsulate" effects (e.g. monads, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc. to be posted on this website. ----------------------- Call for Talk Proposals ----------------------- We solicit proposals for contributed talks. Proposals should be at most 2 pages, in either plain text or PDF format, and should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs at the address hope2014 AT mpi-sws.org. Deadline for talk proposals: June 13, 2014 (Friday) Notification of acceptance: July 4, 2014 (Friday) Workshop: August 31, 2014 (Sunday) The submission website is now open: https://www.easychair.org/conferences/?conf=hope2014 --------------------- Workshop Organization --------------------- Program Co-Chairs: Neel Krishnaswami (University of Birmingham) Hongseok Yang (University of Oxford) Program Committee: Zena Ariola (University of Oregon) Ohad Kammar (University of Cambridge) Ioannis Kassios (ETH Zurich) Naoki Kobayashi (University of Tokyo) Paul Blain Levy (University of Birmingham) Aleks Nanevski (IMDEA) Scott Owens (University of Kent) Sam Staton (Radboud University Nijmegen) Steve Zdancewic (University of Pennsylvania)