From tobias_bexelius at hotmail.com Tue Sep 1 20:10:39 2015 From: tobias_bexelius at hotmail.com (Tobias Bexelius) Date: Tue, 1 Sep 2015 22:10:39 +0200 Subject: [Haskell] ANNOUNCE: GPipe 2.0 released Message-ID: I am proud to announce the release of the next major version of GPipe on hackage:https://hackage.haskell.org/package/GPipe-2.0 GPipe is a functional type safe API for programming GPUs without having to deal with imperative and unsafe OpenGl bindings. GPipe 2.0 is a complete overhaul of previous GPipe design, providing a safer, more performant interface to OpenGl core profile 3.3. Read about the new features and see some demo of the new API athttp://tobbebex.blogspot.se/2015/09/gpipe-is-dead-long-live-gpipe.html Happy pixel pushing! /Tobias Bexelius -------------- next part -------------- An HTML attachment was scrubbed... URL: From capn.freako at gmail.com Tue Sep 1 22:09:50 2015 From: capn.freako at gmail.com (David Banas) Date: Tue, 1 Sep 2015 15:09:50 -0700 Subject: [Haskell] ETA on 7.10.3? Message-ID: Hi, Does anyone have an ETA for ghc v7.10.3? (I'm trying to decide between waiting and backing up to 7.8.2, for a particular project.) Thanks, -db -------------- next part -------------- An HTML attachment was scrubbed... URL: From mle+hs at mega-nerd.com Wed Sep 2 06:41:37 2015 From: mle+hs at mega-nerd.com (Erik de Castro Lopo) Date: Wed, 2 Sep 2015 16:41:37 +1000 Subject: [Haskell] ETA on 7.10.3? In-Reply-To: References: Message-ID: <20150902164137.8c9b69498e6369ac3a264f81@mega-nerd.com> David Banas wrote: > Does anyone have an ETA for ghc v7.10.3? > (I'm trying to decide between waiting and backing up to 7.8.2, for a > particular project.) I am not aware of any concrete plans for a 7.10.3 release. You should upgrade to 7.10.2. Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/ From ben at smart-cactus.org Wed Sep 2 07:05:56 2015 From: ben at smart-cactus.org (Ben Gamari) Date: Wed, 02 Sep 2015 09:05:56 +0200 Subject: [Haskell] ETA on 7.10.3? In-Reply-To: References: Message-ID: <87vbbtl2qz.fsf@smart-cactus.org> David Banas writes: > Hi, > > Does anyone have an ETA for ghc v7.10.3? > (I'm trying to decide between waiting and backing up to 7.8.2, for a > particular project.) > Currently there are no plans to do a 7.10.3 release. 7.10.2 does has a few issues, but none of them are critical regressions but none of them appear critical enough to burn maintenance time on. Of course, we are willing to reevaluate in the event that new issues arise. What problems with 7.10.2 are you struggling with? Cheers, - Ben -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 472 bytes Desc: not available URL: From capn.freako at gmail.com Wed Sep 2 12:19:14 2015 From: capn.freako at gmail.com (David Banas) Date: Wed, 2 Sep 2015 05:19:14 -0700 Subject: [Haskell] ETA on 7.10.3? In-Reply-To: <87vbbtl2qz.fsf@smart-cactus.org> References: <87vbbtl2qz.fsf@smart-cactus.org> Message-ID: <6AEDE614-430C-4A68-9B2E-22B8FC0275FB@gmail.com> Hi Ben, Thanks for your reply. My problem is the project I?m currently working on is dependent upon HERMIT, which doesn?t play well with 7.10.2, as per: https://github.com/ku-fpg/hermit/issues/144#issuecomment-128762767 (The nature of that comment caused me to think that 7.10.3 was in play.) Thanks, -db On Sep 2, 2015, at 12:05 AM, Ben Gamari wrote: > David Banas writes: > >> Hi, >> >> Does anyone have an ETA for ghc v7.10.3? >> (I'm trying to decide between waiting and backing up to 7.8.2, for a >> particular project.) >> > Currently there are no plans to do a 7.10.3 release. 7.10.2 does has a > few issues, but none of them are critical regressions but none of them > appear critical enough to burn maintenance time on. > > Of course, we are willing to reevaluate in the event that new issues > arise. What problems with 7.10.2 are you struggling with? > > Cheers, > > - Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben at smart-cactus.org Wed Sep 2 13:00:58 2015 From: ben at smart-cactus.org (Ben Gamari) Date: Wed, 02 Sep 2015 15:00:58 +0200 Subject: [Haskell] ETA on 7.10.3? In-Reply-To: <6AEDE614-430C-4A68-9B2E-22B8FC0275FB@gmail.com> References: <87vbbtl2qz.fsf@smart-cactus.org> <6AEDE614-430C-4A68-9B2E-22B8FC0275FB@gmail.com> Message-ID: <8737yxkmb9.fsf@smart-cactus.org> David Banas writes: > Hi Ben, > > Thanks for your reply. > No worries. Please excuse the grammar in the reply; reading over it now it's quite embarrassing. Clearly needed a read-through before sending. > My problem is the project I?m currently working on is dependent upon > HERMIT, which doesn?t play well with 7.10.2, as per: > > https://github.com/ku-fpg/hermit/issues/144#issuecomment-128762767 > > (The nature of that comment caused me to think that 7.10.3 was in play.) > Ahhh, the simplifier issue. I suppose that hermit is probably being adversely affected by the fact that 7.10.2 attempts to simplify rules' left-hand sides. This is definitely one of the more significant problems with the 7.10.2 release. I was hoping that `text` would be the only major package affected by this bug, but it seems this isn't the case. I'll mention this in the next GHC call and see what the others think. Cheers, - Ben -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 472 bytes Desc: not available URL: From tarmo at cs.ioc.ee Thu Sep 3 06:34:04 2015 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Thu, 3 Sep 2015 09:34:04 +0300 Subject: [Haskell] ETAPS 2016 2nd call for papers Message-ID: <20150903093404.76cbedf1@duality> ****************************************************************** CALL FOR PAPERS: ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software Eindhoven, The Netherlands, 2-8 April 2016 http://www.etaps.org/2016 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2016 is the ninteenth event in the series. -- MAIN CONFERENCES (4-7 April) -- * ESOP: European Symposium on Programming (PC chair Peter Thiemann, Universit?t Freiburg, Germany) * FASE: Fundamental Approaches to Software Engineering (PC chairs Perdita Stevens, University of Edinburgh, UK, and Andrzej Wasowski, IT University of Copenhagen, Denmark) * FOSSACS: Foundations of Software Science and Computation Structures (PC chairs Bart Jacobs, Radboud Universiteit Nijmegen, The Netherlands, and Christof L?ding, RWTH Aachen, Germany) * POST: Principles of Security and Trust (PC chairs Frank Piessens, Katholieke Universiteit Leuven, Belgium, and Luca Vigan?, King's College London, UK) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Marsha Chechik, University of Toronto, Canada, and Jean-Fran?ois Raskin (Universit? Libre de Bruxelles, Belgium) TACAS '16 hosts the 5th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Andrew D. Gordon (MSR Cambridge and University of Edinburgh, UK) Rupak Majumdar (MPI Kaiserslautern, Germany) * ESOP invited speaker: Cristina Lopes (University of California at Irvine, USA) * FASE invited speaker: Oscar Nierstrasz (Universit?t Bern, Switzerland) * POST invited speaker: Vitaly Shmatikov (University of Texas at Austin, USA) -- IMPORTANT DATES -- * 9 October 2015: Submission deadline for abstracts * 16 October 2015: Submission deadline for full papers * 2-4 December 2015: Author response period (ESOP and FoSSaCS only) * 18 December 2015: Notification of acceptance * 8 January 2016: Camera-ready versions due -- SUBMISSION INSTRUCTIONS -- ETAPS conferences accept two types of contributions: research papers and tool demonstration papers. Both types will appear in the proceedings and have presentations during the conference. ESOP and FoSSaCS accept only research papers. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science series. Papers must follow the formatting guidelines specified by Springer at the URL http://www.springer.de/comp/lncs/authors.html and be submitted electronically in pdf through the EasyChair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will try a light-weight double-blind review process (see http://www.etaps.org/2016/fase). - Research papers FASE, FOSSACS and TACAS have a page limit of 15 pp (excluding bibliography of max 2 pp) for research papers, whereas POST allows at most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp (excluding bibliography of max 2 pp). Additional material intended for the referees but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. ETAPS referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also case study papers (at most 15 pp, excluding bibliography of max 2 pp). Both TACAS and FASE solicit also regular tool papers (at most 15 pp, excluding bibliography of max 2 pp). - Tool demonstration papers Submissions should consist of two parts: * The first part, at most 4 pages, should describe the tool presented. Please include the URL of the tool (if available) and provide information that illustrates the maturity and robustness of the tool. (This part will be included in the proceedings.) * The second part, at most 6 pages, should explain how the demonstration will be carried out and what it will show, including screen dumps and examples. (This part will be not be included in the proceedings, but will be evaluated. ESOP and FOSSACS do not accept tool demonstration papers. TACAS has a page limit of 6 pages for tool demonstrations. -- SATELLITE EVENTS (2-3 April, 8 April) -- Around 20 satellite workshops will take place before and after the main conferences. -- HOST CITY -- Eindhoven is located in the province of North Brabant in the south of the Netherlands. It is the fifth-largest city of the Netherlands. The city is well known for modern art, design and technology. The main airport of the Netherlands is the Amsterdam Airport, Schiphol. All major airlines fly to Schiphol, and Schiphol has a direct and very frequent train connection to Eindhoven. Eindhoven also has a small international airport, Eindhoven Airport, with direct connections to more than thirty destinations in Europe. -- HOST INSTITUTION -- ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische Universiteit Eindhoven. -- ORGANIZERS * General chair: Jan Friso Groote * Workshops chair: Erik de Vink and Julien Schmaltz * Publicity chair: Anton Wijs -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at j.f.groote at tue.nl, a.j.wijs at tue.nl. From ivan.miljenovic at gmail.com Sun Sep 6 11:42:14 2015 From: ivan.miljenovic at gmail.com (Ivan Lazar Miljenovic) Date: Sun, 6 Sep 2015 21:42:14 +1000 Subject: [Haskell] ANNOUNCE: graphviz-2999.18.0.0 Message-ID: This is my "sorry it took so long" release: I'd like to apologise to all the people that have been nagging^W gently asking me when a GHC 7.10.*-compatible release would be available that it's taken me until now to do this, but I'm finally pleased to be able to say that you can now use my graphviz library to generate/parse Dot code and visualise graphs using the Graphviz suite of tools. As part of this version release, graphviz is now developed using git and can be found on GitHub: https://github.com/ivan-m/graphviz The major version bump is due to an extra attribute being made available, so in most (all?) cases you can safely version bump your existing dependencies. -- Ivan Lazar Miljenovic Ivan.Miljenovic at gmail.com http://IvanMiljenovic.wordpress.com From gershomb at gmail.com Tue Sep 8 21:58:57 2015 From: gershomb at gmail.com (Gershom B) Date: Tue, 8 Sep 2015 17:58:57 -0400 Subject: [Haskell] ANN: Creation of Haskell-Community list for Haskell.org Community Infrastructure Discussions Message-ID: Dear all, The haskell.org committee [1] had a productive week during ICFP, and at some point we'll try to write up some of the small things underway and future plans -- many things are quite tentative at the moment. However, one thing that became clear to us (well, thanks to the useful prodding of SPJ) is that we have historically participated in discussions in other venues (-cafe, reddit, etc) and then had our own internal discussions (few, seldom, and largely organizational to be honest) on the low-traffic committee [at] haskell.org mail alias. But this leaves open people wondering what those discussions are. And it also leaves open where the *designated place* to discuss haskell.org community infrastructure is. The haskell-infrastructure [2] list is very quiet and really about technical considerations. Meanwhile, -cafe, reddit and soforth are about anything and everything. So we created another list, which will be a place where we seek to have our discussions related to plans for haskell.org committee work, and where we invite everyone to join us. This new list is the haskell-community list: https://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-community The committee alias will still work, and is still the way to just write directly to the members of the committee -- no list to join. But if you wish to have a discussion about how we have things set up on haskell community infrastructure, services provided, and that we might wish to add, and how you can help (or even just what your thoughts are on how things might be done), now there is a good place for that. Hope to continue conversations with many of you there, Gershom (for the haskell.org committee) [1] https://wiki.haskell.org/Haskell.org_committee [2] http://community.galois.com/mailman/listinfo/haskell-infrastructure From simonpj at microsoft.com Wed Sep 9 11:42:03 2015 From: simonpj at microsoft.com (Simon Peyton Jones) Date: Wed, 9 Sep 2015 11:42:03 +0000 Subject: [Haskell] [Haskell-cafe] ANN: Creation of Haskell-Community list for Haskell.org Community Infrastructure Discussions In-Reply-To: References: Message-ID: <81dbf924153f45f7a68461c5135c19dc@DB4PR30MB030.064d.mgd.msft.net> | But this leaves open people wondering what those discussions are. And | it also leaves open where the *designated place* to discuss | haskell.org community infrastructure is. The haskell-infrastructure | [2] list is very quiet and really about technical considerations. | Meanwhile, -cafe, reddit and so forth are about anything and | everything. So we created another list, which will be a place where we | seek to have our discussions related to plans for haskell.org | committee work, and where we invite everyone to join us. I think this is terrific, thanks Gershom. Just to be clear, as I understand it, the intent is to broaden participation in the work of the haskell.org committee (which is our only single point of confluence covering the entire Haskell community) by making its discussions by-default open to everyone to join in. Specifically: * Anyone can write to the haskell-community list. * Haskell.org committee members commit to reading the haskell-community list and writing to it. That is, it's not a side-show. The way to bring something to the attention of the committee (and the wider community) is to write to the list. * Discussion among haskell.org committee members takes place, by default, on the new, public, haskell-community mailing list. (There is still a private list for members, but it is used only when there is a particular reason for not conducting a conversation in public; for example when debating nominations for new members of the committee.) Perhaps it'd be worth adding a sub-section on https://wiki.haskell.org/Haskell.org_committee just to make these points? Simon | -----Original Message----- | From: Haskell-Cafe [mailto:haskell-cafe-bounces at haskell.org] On Behalf | Of Gershom B | Sent: 08 September 2015 22:59 | To: haskell-cafe; haskell at haskell.org; haskell- | infrastructure at community.galois.com; haskell-community at haskell.org | Subject: [Haskell-cafe] ANN: Creation of Haskell-Community list for | Haskell.org Community Infrastructure Discussions | | Dear all, | | The haskell.org committee [1] had a productive week during ICFP, and | at some point we'll try to write up some of the small things underway | and future plans -- many things are quite tentative at the moment. | | However, one thing that became clear to us (well, thanks to the useful | prodding of SPJ) is that we have historically participated in | discussions in other venues (-cafe, reddit, etc) and then had our own | internal discussions (few, seldom, and largely organizational to be | honest) on the low-traffic committee [at] haskell.org mail alias. | | But this leaves open people wondering what those discussions are. And | it also leaves open where the *designated place* to discuss | haskell.org community infrastructure is. The haskell-infrastructure | [2] list is very quiet and really about technical considerations. | Meanwhile, -cafe, reddit and soforth are about anything and | everything. So we created another list, which will be a place where we | seek to have our discussions related to plans for haskell.org | committee work, and where we invite everyone to join us. | | This new list is the haskell-community list: | https://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-community | | The committee alias will still work, and is still the way to just | write directly to the members of the committee -- no list to join. But | if you wish to have a discussion about how we have things set up on | haskell community infrastructure, services provided, and that we might | wish to add, and how you can help (or even just what your thoughts are | on how things might be done), now there is a good place for that. | | Hope to continue conversations with many of you there, Gershom (for | the haskell.org committee) | | [1] https://wiki.haskell.org/Haskell.org_committee | [2] http://community.galois.com/mailman/listinfo/haskell- | infrastructure | _______________________________________________ | Haskell-Cafe mailing list | Haskell-Cafe at haskell.org | http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe From gershomb at gmail.com Wed Sep 9 13:55:23 2015 From: gershomb at gmail.com (Gershom B) Date: Wed, 9 Sep 2015 09:55:23 -0400 Subject: [Haskell] [Haskell-cafe] ANN: Creation of Haskell-Community list for Haskell.org Community Infrastructure Discussions In-Reply-To: <81dbf924153f45f7a68461c5135c19dc@DB4PR30MB030.064d.mgd.msft.net> References: <81dbf924153f45f7a68461c5135c19dc@DB4PR30MB030.064d.mgd.msft.net> Message-ID: On Wed, Sep 9, 2015 at 7:42 AM, Simon Peyton Jones wrote: > > * Anyone can write to the haskell-community list. > > * Haskell.org committee members commit to reading the haskell-community > list and writing to it. That is, it's not a side-show. The way to > bring something to the attention of the committee (and the wider > community) is to write to the list. > > * Discussion among haskell.org committee members takes place, by default, > on the new, public, haskell-community mailing list. (There is still a > private list for members, but it is used only when there is a particular > reason for not conducting a conversation in public; for example when > debating nominations for new members of the committee.) > > Perhaps it'd be worth adding a sub-section on https://wiki.haskell.org/Haskell.org_committee just to make these points? All correct bullet points, and the wiki has been updated to talk about the list more specifically. --gershom From dons00 at gmail.com Thu Sep 10 09:51:03 2015 From: dons00 at gmail.com (Don Stewart) Date: Thu, 10 Sep 2015 09:51:03 +0000 Subject: [Haskell] Senior Haskell developer roles at Standard Chartered, Singapore Message-ID: The Strats team at SCB has two more open roles for Haskell developers in Singapore. These are exciting "director level" development roles in a large team. Location is Singapore. Details here: https://donsbot.wordpress.com/2015/09/10/senior-haskell-developer-roles-at-standard-chartered-singapore/ Please contact me for more details. -------------- next part -------------- An HTML attachment was scrubbed... URL: From agocorona at gmail.com Sun Sep 13 15:48:57 2015 From: agocorona at gmail.com (Alberto G. Corona ) Date: Sun, 13 Sep 2015 17:48:57 +0200 Subject: [Haskell] [Haskell-cafe] ANNOUNCE: ioctl 0.0.1 In-Reply-To: <1266709126.29755.44.camel@picard> References: <1266709126.29755.44.camel@picard> Message-ID: Did you managed to make it available for Windows? 2010-02-21 0:38 GMT+01:00 Maciej Piechotka : > A package for type-safe I/O control. Currently only ioctl is supported. > > Currently simply a extract from my tuntap fork > > TODO: > - Return the integer as well as structure (will break the API) > - Port for Windows Network.Socket.IOCtl (as soon as I manage to setup > some sane environment on this platform) > - Wrapping around DeviceIoControl > > Example (in hsc): > data NotRead = NotRead > instance NotRead Int where > ioctlReq _ = #const FIONREAD > > notRead s = ioctlsocket' s NotRead > > Regards > > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe at haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > > -- Alberto. -------------- next part -------------- An HTML attachment was scrubbed... URL: From jhr at cs.uchicago.edu Mon Sep 14 11:54:57 2015 From: jhr at cs.uchicago.edu (John Reppy) Date: Mon, 14 Sep 2015 06:54:57 -0500 Subject: [Haskell] [PADL 2016] Final call for papers (Deadline extended) Message-ID: <96F5ABF4-DC7E-44CF-91C8-2DF038F0901C@cs.uchicago.edu> Call for Papers =============== 18th International Symposium on Practical Aspects of Declarative Languages (PADL 2016) http://conf.researchr.org/home/PADL-2016 St. Petersburg, Florida, United States Mon 18 - Tue 19 January 2016 Co-located with ACM POPL 2016 Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2016 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 2016 will be co-located with the Symposium on Principles of Programming Languages (POPL 2016), in St. Petersburg, Florida (USA). Important Dates and Submission Guidelines ========================================= Abstract submission: September 18, 2015 Paper submission: September 27, 2015 Notification: October 21, 2015 Camera-ready: November 10, 2015 Symposium: January 18-19, 2016 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2016 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2016 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL 2016 will appear in the LNCS series of Springer Verlag. Up to two best papers accepted for publication at PADL'16 will be invited to submit an extended version to the journal "Theory and Practice of Logic Programming" for rapid publication. The extended version should contain at least 30% new content compared to the published conference paper. In the case of rapid publications the extra material should consist of extensions of the existing material, such as proofs, further experimental results, implementation details and such like. Papers containing substantial revision and new results compared to the conference paper should be submitted as regular articles as normal. Authors invited to submit a rapid publication should confirm that such extra material is available. Program Committee ================= - Mario Alviano, University of Calabria (Italy) - Lars Bergstrom, Mozilla Research (USA) - Edwin Brady, University of St Andrews (UK) - Mats Carlsson, SICS (Sweden) - Manuel Carro, Technical University of Madrid (UPM) and IMDEA Software Institute (Spain) - Thomas Eiter, Vienna University of Technology (Austria) - Thom Fruehwirth, University of Ulm (Germany) - Marco Gavanelli, University of Ferrara (Italy) - Geoffrey Mainland, Drexel University (USA) - Enrico Pontelli, New Mexico State University (USA) - John Reppy, University of Chicago (USA) - Ricardo Rocha, University of Porto (Portugal) - Torsten Schaub, University of Potsdam (Germany) - Tom Schrijvers, KU Leuven (Belgium) - Paul Tarau, University of North Texas (USA) - Niki Vazou, Univesrity of California, San Diego (USA) - Dimitrios Vytiniotis, Microsoft Research - Daniel Winograd-Cort, Yale University (USA) - Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center (USA) - Lukasz Ziarek, SUNY Buffalo (USA) Contacts ======== For additional information about papers and submissions, please contact the Program Chairs: Marco Gavanelli and John Reppy University of Ferrara University of Chicago Italy USA http://docente.unife.it/marco.gavanelli http://people.cs.uchicago.edu/~jhr email: padl2016 at easychair.org From mail at stefanwehr.de Fri Sep 18 10:53:32 2015 From: mail at stefanwehr.de (Stefan Wehr) Date: Fri, 18 Sep 2015 10:53:32 +0000 Subject: [Haskell] Call for Contributions: BOB 2016 - Berlin, Feb 19, 2016 Message-ID: BOB Conference 2016 "What happens when we use what's best for a change?" http://bobkonf.de/2016/en/cfp.html Berlin, February 19 Call for Contributions Deadline: October 30, 2015 You drive advanced software engineering methods, implement ambitious architectures and are open to cutting-edge innovation? Attend this conference, meet people that share your goals, and get to know the best software tools and technologies available today. We strive to offer a day full of new experiences and impressions that you can use to immediately improve your daily life as a software developer. If you share our vision and want to contribute, submit a proposal for a talk or tutorial! Topics ------ We are looking for talks about best-of-breed software technology, e.g.: - functional programming - reactive programming - persistent data structures and databases - types - formal methods for correctness and robustness - ... everything really that isn?t mainstream, but you think should be. Presenters should provide the audience with information that is practically useful for software developers. This could take the form of e.g.: - experience reports - introductory talks on technical background - demos and how-tos Requirements ------------ We accept proposals for presentations of 45 minutes (40 minutes talk + 5 minutes questions), as well as 90 minute tutorials for beginners. The language of presentation should be either English or German. Your proposal should include (in your presentation language of choice): - an abstract of max. 1500 characters. - a short bio/cv - contact information (including at least email address) - a list of 3-5 concrete ideas of how your work can be applied in a developer's daily life - additional material (websites, blogs, slides, videos of past presentations, ?) Submit here: https://docs.google.com/forms/d/1IrCa3ilxMrO2h1G1WC4ywoxdz8wohxaPW3dfiB0cq-8/viewform?usp=send_form Organisation ------------ - submit your proposal here: https://docs.google.com/forms/d/1IrCa3ilxMrO2h1G1WC4ywoxdz8wohxaPW3dfiB0cq-8/viewform?usp=send_form - direct questions to `bobkonf at active minus group dot de` - proposal deadline: **October 30, 2015** - notification: November 15, 2015 - program: December 1, 2015 NOTE: The conference fee will be waived for presenters, but travel expenses will not be covered. Program Committee ----------------- (more information here: http://bobkonf.de/2016/programmkomitee.html) - Matthias Fischmann, zerobuzz UG - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, factis research Scientific Advisory Board ------------------------- - Annette Bieniusa, TU Kaiserslautern - Peter Thiemann, Uni Freiburg -------------- next part -------------- An HTML attachment was scrubbed... URL: From storm at cwi.nl Mon Sep 21 09:07:00 2015 From: storm at cwi.nl (Tijs van der Storm) Date: Mon, 21 Sep 2015 11:07:00 +0200 Subject: [Haskell] SPLASH 2015 - 2nd Call For Participation Message-ID: /*************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'15) Pittsburgh, Pennsylvania, USA 25th-30th October, 2015 http://www.splashcon.org https://twitter.com/splashcon https://www.facebook.com/SPLASHCon Sponsored by ACM SIGPLAN /************************************************************** 2nd CALL FOR PARTICIPATION **************************************************************/ The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH is now inviting calls for participation. ** REGISTRATION ** 28 September 2015 (Early Deadline) Contact: info at splashcon.org http://2015.splashcon.org/attending/registration ** CONFERENCE PROGRAM ** http://2015.splashcon.org/program/program-splash2015 ** KEYNOTE Speakers ** We are delighted to announce the following keynote speakers at SPLASH 2015: - Nick Feamster (Princeton University): Tomorrow?s Network Operators Will Be Programmers - Lars Bak (Google): How Dart Learned From Past Object-Oriented Systems - Rob DeLine (Microsoft Research): Modern software is all about data. Development environments should be, too. http://2015.splashcon.org/track/splash2015-keynotes **SPLASH-I Speakers ** SPLASH-I is a series of industrial research talks that address topics relevant to the SPLASH community. Speakers are world-class experts in their field, selected and invited by the organizers. The SPLASH-I talks series is held in parallel with the OOPSLA main track. Talks are open to all attendees. - Avik Chaudhuri (Facebook): Flow: a static type checker for JavaScript - Hassan Chafi (Oracle Labs): Domain Specific Languages @ Oracle Labs: Current Experiences, Future Hopes - Chris Granger: Eve - Shan Shan Huang (LogicBlox): Model, Execute, Deploy: Answering the Hard Questions about End-user Programming - Lindsey Kuper (Intel Labs): Prospect: Finding and Exploiting Parallelism in a Productivity Language for Scientific Computing - Simon Marlow (Facebook): Fighting Spam with Haskell - Mark S. Miller (Google): Security as Extreme Modularity: A Standards Shaping Approach - Eliot Miranda (Cadence): Spur: Efficient Support for Live Programming in Dynamic Languages - Markus Voelter (independent): Language-Oriented Business Applications: Helping End Users become Programmers - Josh Watzman (Facebook): Changing Engines in Flight: Facebook's Conversion to Hack - Peng Wu (Huawei America Lab): When CT meets IT: Programming Challenges in the age of ICT Convergence http://2015.splashcon.org/track/splash2015-splash-i ** OOPSLA Research Papers** Papers that address any aspect of software development are welcome, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, reuse, replacement, and retirement of software systems. Papers may address these topics in a variety of ways, including new tools (such as languages, program analyses, and runtime systems), new techniques (such as methodologies, design processes, code organization approaches, and management techniques), and new evaluations (such as formalisms and proofs, corpora analyses, user studies, and surveys). http://2015.splashcon.org/track/oopsla2015 ** Onward! Research Papers ** Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, and applications. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. http://2015.splashcon.org/track/onward2015-papers ** Onward! Essays ** Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be an exploration of a topic, its impact, or the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps that by which the author reached an understanding of such a topic. The subject area should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings. http://2015.splashcon.org/track/onward2015-essays ** DLS - Dynamic Languages Symposium ** DLS is the premier forum for researchers and practitioners to share knowledge and research on dynamic languages, their implementation, and applications. The influence of dynamic languages ? from Lisp to Smalltalk to Python to Javascript ? on real-world practice, and research, continues to grow. We invite high quality papers reporting original research, innovative contributions, or experience related to dynamic languages, their implementation, and applications. Keynote: Declare Your Language Speaker: Eelco Visser (Delft University of Technology) http://2015.splashcon.org/track/dls2015 ** Panels ** The Panels track offers exciting discussion about topics related to SPLASH. Panel: Software Professionalism ? Is it ?Good Enough?? With: Dennis Mancl, Nancy Mead, Mary Shaw, Werner Wild http://2015.splashcon.org/event/splash2015-panels-software-professionalism-is-it-good-enough- Panel: The Future of Programming Languages and Programmers With: Lars Bak, Rob DeLine, Nick Feamster, Lindsey Kuper, Crista Lopes, Peng Wu http://2015.splashcon.org/event/splash2015-panels-the-future-of-programming-languages-and-programmers ** SPLASH-E ** The SPLASH-E track brings together researchers and educators to share educational results, ideas, and challenges centered in Software and Programming Languages. Submission formats vary, including papers, tool demos, lightning talks, challenge-topics for discussion, and suggested themes for "unconference" sessions. Help us create an engaging forum for educational issues related to SPLASH! http://2015.splashcon.org/track/splash-e ** Artifacts ** The Artifact Evaluation process is a service provided by the community to help authors of accepted papers provide more substantial supplements to their papers so future researchers can more effectively build on and compare with previous work. The Artifact Evaluation Committee has been formed to assess how well paper authors prepare artifacts in support of such future researchers. Roughly, authors of papers who wish to participate are invited to submit an artifact that supports the conclusions of the paper. http://2015.splashcon.org/track/splash2015-artifacts ** Workshops ** The SPLASH Workshops track will host a variety of high-quality workshops (13 in total), allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. http://2015.splashcon.org/track/splash2015-workshops Selected Workshop keynotes: - AGERE! Daniel Wendel, Concurrent, Distributed Thinking for First-time Programmers in StarLogo Nova - MobileDeLi: Robert Seacord Mobile Security - PLATEAU: Mary Beth Rosson Computational Thinking for All: Expanding the Boundaries of Computing for Nonprogrammers - Parsing at SLE: Christian K?stner Parsing Unpreprocessed C Code - The TypeChef Experience - WODA: Koushik Sen Concolic Testing: A Decade Later ** Tutorials ** The SPLASH Tutorials track will consist of prestigious tutorials on current topics in software, systems, and languages research. The scope of the tutorials is the same as the conference itself: all aspects of software construction and delivery at the intersection of programming, languages, and software engineering. The tutorials in particular focus on the nexus between research and practice, including work that takes inspiration from or builds connections to areas not commonly considered at SPLASH. Tutorials should introduce researchers to current research in an area, or show important new tools that can be used in research. http://2015.splashcon.org/track/splash2015-tutorials ** Demos ** The SPLASH Demonstrations track is an excellent vehicle for sharing your latest work with an experienced and technically savvy audience. Live demonstrations show the impact of software innovation. Demonstrations are not product sales pitches, but rather an opportunity to highlight, explain, and present interesting technical aspects of running applications in a dynamic and highly interactive setting. Presenters are encouraged to actively solicit feedback from the audience, which should lead to very interesting and entertaining demonstration sessions. http://2015.splashcon.org/track/splash2015-demos ** Posters ** The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. It is held early in the conference, to promote continued discussion among interested parties. Posters can be independent presentations or associated with one of the other parts of SPLASH. http://2015.splashcon.org/track/splash2015-posters ** Doctoral Symposium ** The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The Symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. http://2015.splashcon.org/track/splash2015-ds ** Student Research Competition ** The ACM SIGPLAN Student Research Competition (ACM SRC) is an internationally-recognized venue that enables undergraduate and graduate students to experience the research world, share their research results with other students and SPLASH attendees. The competition has separate categories for undergraduate and graduate students and awards prizes to the top three students in each category. The ACM SIGPLAN Student Research Competition shares the Poster session?s goal to facilitate interaction with researchers and industry practitioners; providing both sides with the opportunity to learn of ongoing, current research. http://2015.splashcon.org/track/splash2015-src ** PLMW - Programming Languages Mentoring Workshop ** The purpose of Programming Languages Mentoring Workshop (PLMW) is to give promising undergraduate students from around Pittsburgh who consider pursuing a graduate degree in this field an overview of what research in this field looks like and how to get into and succeed in graduate school. In other words, a combination whirlwind tour of this research area, networking opportunity, and how-to-succeed guide. The program of PLMW will include talks by prominent researchers of the field of programming languages and software engineering providing an insight in their research. http://2015.splashcon.org/track/splash2015-plmw ** RPG Richard's Pretty Good Talks ** RPG is my micro-conference. RPG is sporadically held, suddenly announced, and leaves little but mental limps and frustration / aka instability?take it as step #1 toward getting you decanalized. I choose the speakers and I don?t care what you think; I choose the topics and I always choose first loves. I want people telling me about things they cherish / not about how they make their living. Here?s what I?ve got going this year for the third edition. - Crista Lopes & Annette Vee, Programming as Writing (and vice versa?) - Billy Price & William Pollak, Singing the Blues / What is a Song? http://2015.splashcon.org/track/splash2015-rpg /************************************************************** Workshops **************************************************************/ AGERE! - Programming based on Actors, Agents, and Decentralized Control http://2015.splashcon.org/track/agere2015 DSM - Domain-Specific Modeling http://2015.splashcon.org/track/dsm2015 ETX - Eclipse Technology eXchange http://2015.splashcon.org/track/etx2015 FPW - Future Programming Workshop http://2015.splashcon.org/track/fpw2015 MobileDeLi - Mobile Development Lifecycle http://2015.splashcon.org/track/mobiledeli2015 NOOL - New Object-Oriented Languages http://2015.splashcon.org/track/nool2015 PLATEAU - Evaluation and Usability of Programming Languages and Tools Keynote: Mary Beth Rosson (Pennsylvania State University) http://2015.splashcon.org/track/plateau2015 Parsing - Parsing @ SLE 2015 http://2015.splashcon.org/track/ParsingAtSLE2015 PROMOTO - Programming for Mobile and Touch http://2015.splashcon.org/track/promoto2015 REBLS - Reactive and Event-based Languages & Systems http://2015.splashcon.org/track/rebls2015 SMART - Smart Software Strategies http://2015.splashcon.org/track/SmartSoftwareStrategies2015 SEPS - Software Engineering for Parallel Systems http://2015.splashcon.org/track/seps2015 WODA - Workshop on Dynamic Analysis http://2015.splashcon.org/track/woda2015 /************************************************************** Co-Located Events **************************************************************/ ** SLE - 8th International ACM SIGPLAN Conference on Software Language Engineering ** Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term ?software language? is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies). Keynote Speaker: Stephane Ducasse (Inria) http://2015.splashcon.org/track/sle2015 ** GPCE - 14th International Conference on Generative Programming: Concepts & Experiences ** The International Conference on Generative Programming: Concepts & Experiences (GPCE) is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities. Keynote Speaker: Priya Narasimhan (Carnegie Mellon University) http://2015.splashcon.org/track/gpce2015 ** DBPL - 15th Symposium on Database Programming Languages ** For over 25 years, DBPL has established itself as the principal venue for publishing and discussing new ideas at the intersection of databases and programming languages. Many key contributions in query languages for object-oriented data, persistent databases, nested relational data, and semistructured data, as well as fundamental ideas in types for query languages, were first announced at DBPL. This creative research area is broadening into a subfield of data-centric computation, currently scattered among a range of venues. DBPL is an established destination for such new ideas and solicits submissions from researchers in databases, programming languages or any other community interested in the design, implementation or foundations of data-centric computation. Keynote: Gremlin: A Stream-Based Functional Language for OLTP and OLAP Graph Computing Speaker: Marko A. Rodriguez (DataStax) http://2015.splashcon.org/track/dbpl2015 ** PLoP - 22nd International Conference on Pattern Languages of Programming ** The Pattern Languages of Programs (PLoP) conference is a premier event for pattern authors and pattern enthusiasts to gather, discuss and learn more about patterns and software development. The conference promotes development of pattern languages on all aspects of software, including design and programming, software architecture, user interface design, domain modeling, software processes, project management, and more. The program offers pattern authors an unique opportunity to have their pattern languages reviewed by fellow authors, which occurs mainly in the form of Writers? Workshops. Keynote: Progress Toward an Engineering Discipline of Software Speaker: Mary Shaw (Carnegie Mellon University) http://2015.splashcon.org/track/plop2015 /************************************************************** Supporters **************************************************************/ We gratefully acknowledge the generosity of our corporate supporters: Silver: - Microsoft http://www.microsoft.com/ - Oracle: http://www.oracle.com/ - NSF: http://www.nsf.gov/ Bronze: - IBM Research: http://www.research.ibm.com/ - Samsung: http://www.samsung.com/ - Intel: http://www.intel.com/ - Google: http://www.google.com/ - HP: http://www.hp.com/ - Huawei: http://www.huawei.com/ Other: - DePaul University: http://www.depaul.edu/ - The Royal Society Publishing: http://rsos.royalsocietypublishing.org/content/computer-science /************************************************************** Information and Organization **************************************************************/ Information: SPLASH Early Registration Deadline: 28 September, 2015 Contact: info at splashcon.org Website: http://2015.splashcon.org Location: Sheraton Station Square Hotel Pittsburgh, Pennsylvania, United States Organization: SPLASH General Chair: Jonathan Aldrich (Carnegie Mellon University) OOPSLA Papers Chair: Patrick Eugster (Purdue University) Onward! Papers Chair: Gail Murphy (University of British Columbia) Onward! Essays Chair: Guy Steele Jr. (Oracle Labs) DLS Papers Chair: Manuel Serrano (INRIA) Artifacts Co-Chairs: Robby Findler (Northwestern University) and Michael Hind (IBM Research) Demos Co-Chair: Igor Peshansky (Google) and Pietro Ferrara (IBM Research) Doctoral Symposium Chair: Yu David Liu, State University of New York (SUNY) Binghamton Local Arrangements Chair: Claire Le Goues (Carnegie Mellon University) Panels Chair: Steven D. Fraser (Independent Consultatnt) PLMW Workshop Co-Chairs: Darya Kurilova (Carnegie Mellon University), Zachary Tatlock (University of Washington), and Crista Lopes (UC Irvine) Posters Co-Chairs: Nick Sumner (Simon Fraser University) and Jeff Huang (Texas A&M University) Publications Chair: Alex Potanin (Victoria University of Wellington) Publicity and Web Co-Chairs: Craig Anslow (Middlesex University) and Tijs van der Storm (CWI) SPLASH-E Chair: Eli Tilevich (Virginia Tech) SPLASH-I Co-Chairs: Tijs van der Storm (CWI) and Jan Vitek (Northeastern University) Student Research Competition Co-Chairs: Sam Guyer (Tufts University) and Patrick Lam (University of Waterloo) Student Volunteer Co-Chairs: Jonathan Bell (Columbia University) and Daco Harkes (TU Delft) Sponsorship Chair: Tony Hosking (Purdue University) Tutorials Co-Chair: Romain Robbes (University of Chile) and Ronald Garcia (University of British Columbia) Video Chair: Michael Hilton (Oregon State University) Video Previews Czar: Thomas LaToza (George Mason University) Wavefront Co-Chairs: Dennis Mancl (Alcatel-Lucent) and Joe Kiniry (Galois) Web Technology Chair: Eelco Visser (TU Delft) Workshop Co-Chairs: Du Li (Carnegie Mellon University) and Jan Rellermeyer (IBM Research) SLE General Chair: Richard Paige (University of York) GPCE General Chair: Christian K?stner (Carnegie Mellon University) PLoP General Chair: Filipe Correia (University of Porto) DBPL General Chair: James Cheney (University of Edinburgh) and Thomas Neumann (TU Munich) -- Researcher Centrum Wiskunde & Informatica (CWI) Master of Software Engineering Universiteit van Amsterdam (UvA) Dr. Tijs van der Storm @ Centrum Wiskunde & Informatica (CWI) Office: L225 | Phone: +31 (0)20 5924164 | Address: Science Park 123 P.O. Box 94079 | Postal code: 1090 GB | Amsterdam, The Netherlands -------------- next part -------------- An HTML attachment was scrubbed... URL: From mir at ruc.dk Mon Sep 21 15:15:36 2015 From: mir at ruc.dk (Morten Rhiger) Date: Mon, 21 Sep 2015 17:15:36 +0200 Subject: [Haskell] Ph.D. Position on Analysis of Energy Consumption of High-Level Programs Message-ID: The following position may be of interest to students with a background in functional programming: A Ph.D. position is available at Roskilde University, Denmark, on "Analysis of energy consumption of high-level programs running on parallel architectures" starting December 1, 2015 or as soon as possible thereafter. The goal of the Ph.D. project is to reduce the energy usage of programs implemented in high-level and declarative programming languages (such as side-effect free, statically typed, data-flow, functional, or domain-specific languages) by (1) studying and developing static analyses of such programs and (2) utilizing the results of these analyses to implement the programs on modern parallel architectures. Applicants are expected to be familiar with high-level programming paradigms, program analysis, type systems, and programming language implementation techniques. The Ph.D. position is funded by the Sino-Danish Center (http://www.sinodanishcenter.com/) and the Ph.D. position will involve extended stays at the Chinese Academy of Sciences in Beijing. The deadline for applications is Friday October 16, 2015. For more information and to apply for the position, see http://www.ruc.dk/job/phd/ From dajfarrell at gmail.com Thu Sep 24 18:53:55 2015 From: dajfarrell at gmail.com (David Farrell) Date: Thu, 24 Sep 2015 19:53:55 +0100 Subject: [Haskell] ANNOUNCE: polymap 0.1.0.1 Message-ID: <560446C3.1040404@gmail.com> I'm excited to announce the first release of a package I've been working on over the last week called polymap, a library providing type-safe polygonal maps whose sides are defined by a kindlist of types zipped with a storage type for each side. I've tried to match the interface exposed by the containers package as closely as possible. For example: import Data.Set (Set) import Data.PolyMap.Nat (first, second, third) import qualified Data.PolyMap as PM mEmpty :: PM.PolyMap '[ '(String, Set), '(Int, Set) ] mEmpty = PM.empty mOne :: PM.SimplePolyMap '[String, Int] Set mOne = PM.singleton ("one", length "one") main = do print mEmpty -- empty PolyMap print mOne -- PolyMap with one Relation print mTwo -- PolyMapwith two Relations print (PM.member first "one" mTwo) -- True print (PM.notMember first "asdf" mTwo) -- True --print (PM.notMember second "asdf" mTwo) -- will not typecheck --print (PM.notMember third "asdf" mTwo) -- will not typecheck print (PM.lookup first "two" mTwo) -- second Relation of PolyMap where mTwo = PM.insert ("two", length "two") mOne This is a short usage example of most of the functions currently written for polymap. There's still a long way to go both in terms of exposed functions and in terms of efficiency and such, but I felt it prudent to make a public release of my work so far as I feel it's reached a stage where it could be beneficial to others. Note that GHC 7.10 (base >=4.8, GHC extensions) is required. Git Repository: https://github.com/shockkolate/hs-polymap Issue Tracker: https://github.com/shockkolate/hs-polymap Hackage: https://hackage.haskell.org/package/polymap The code is licensed under the Unlicense license--that is to say, the code is released into the public domain for the benefit of others. I'd love to hear any feedback/suggestions/improvements/anything you want to say about polymap over the mailing list (which may be more suited to the haskell-cafe mailing list; I don't know) or in #haskell on Freenode (I'm usually in there as Shockk). N.B. Version 0.1.0.0 of the package will not build due to the use of a function in containers that has been submitted as a pull request but does not exist yet/at all. From hvr at gnu.org Thu Sep 24 21:56:22 2015 From: hvr at gnu.org (Herbert Valerio Riedel) Date: Thu, 24 Sep 2015 23:56:22 +0200 Subject: [Haskell] ANN: CfN for new Haskell Prime language committee Message-ID: <87eghnmqgp.fsf@gnu.org> Dear Haskell Community, In short, it's time to assemble a new Haskell Prime language committee. Please refer to the CfN at https://mail.haskell.org/pipermail/haskell-prime/2015-September/003936.html for more details. Cheers, hvr -- PGP fingerprint: 427C B69A AC9D 00F2 A43C AF1C BA3C BA3F FE22 B574 -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 818 bytes Desc: not available URL: From kutsia at risc.jku.at Fri Sep 25 17:45:25 2015 From: kutsia at risc.jku.at (Temur Kutsia) Date: Fri, 25 Sep 2015 19:45:25 +0200 Subject: [Haskell] 2nd CfP: SCSS 2016 Message-ID: <56058835.4020200@risc.jku.at> ===================== Second Call for Papers ===================== SCSS 2016 The 7th International Symposium on Symbolic Computation in Software Science Ochanomizu University, Tokyo, Japan March 28 - 31, 2016 http://www.i-eos.org/conferences/SCSS2016 Submissions to https://easychair.org/conferences/?conf=scss2016 Important Dates --------------- November 13, 2015: Abstract submission November 20, 2015: Paper submission January 5, 2016: Notification March 28-31, 2016: SCSS 2016 in Ochanomizu University, Tokyo Invited Speakers ---------------- - Peter Paule (Johannes Kepler University Linz, Austria) - Jacques Fleuriot (University of Edinburgh, UK) Tutorial -------- There will be tutorial lectures on symbolic computation. - Tetsu Yamaguchi and colleagues (Maple Soft) - Xavier Dahan (Ochanomizu University, Japan) Scope -------- The purpose of SCSS 2016 is to promote research on theoretical and practical aspects of symbolic computation in software science. The symposium provides a forum for active dialog between researchers from several fields of computer algebra, algebraic geometry, algorithmic combinatorics, computational logic, and software analysis and verification. SCSS 2016 solicits regular papers on all aspects of symbolic computation and their applications in software science. The topics of the symposium include, but are not limited to the following: - automated reasoning - algorithm (program) synthesis and/or verification - formal methods for the analysis of network and system security - termination analysis and complexity analysis of algorithms (programs) - extraction of specifications from algorithms (programs) - related theorem proving methods and techniques - proof carrying code - generation of inductive assertion for algorithm (programs) - algorithm (program) transformations - formalization and computerization of knowledge (maths, medicine, economy, etc.) - component-based programming - computational origami - query languages (in particular for XML documents) - semantic web and cloud computing Program Chair ------------- James Davenport (University of Bath, UK) Honorary Chair --------------- Bruno Buchberger (Johannes Kepler University, Austria) General Chair ------------- Tetsuo Ida (University of Tsukuba, Japan) Program Committee ----------------- Kenichi Asai (Ochanomizu University, Japan) Adel Bouhoula (Carthage University, Tunisia) Changbo Chen (Chinese Academy of Sciences, China) Matthew England (Coventry University, UK) Jacques Garrigue (Nagoya University, Japan) Cezary Kaliszyk (University of Innsbruck, Austria) Yukiyoshi Kameyama (University of Tsukuba, Japan) Michael Kohlhase (Jacobs University, Germany) Temur Kutsia (Johannes Kepler University, Austria) Assia Mahboubi (Inria, France) Yasuhiko Minamide (Tokyo Institute of Technology, Japan) Yoshihiro Mizoguchi (Kyushu University, Japan) Julien Narboux (Strasbourg University, France) Renaud Rioboo (ENSIIE, France) Tateaki Sasaki (University of Tsukuba, Japan) Dongming Wang (Beihang University and CNRS, China and France) Stephen Watt (University of Waterloo, Canada) Kazuhiro Yokoyama (Rikkyo University, Japan) Local Arrangement Committee --------------------------- Kenichi Asai (Ochanomizu University, Japan) Houssem Chatbri (University of Tsukuba, Japan) Fadoua Ghourabi (Ochanomizu University, Japan) (Chair) Sosuke Moriguchi (Kwansei Gakuin University, Japan) Akira Terui (University of Tsukuba, Japan) Submission ---------- Submission is via EasyChair: https://easychair.org/conferences/?conf=scss2016 Submissions of regular research papers are invited. Regular research papers must not exceed 12 pages in the EasyChair LaTeX Class format (www.easychair.org/publications/easychair.zip), with up to 3 additional pages for technical appendices. Publication ---------- The proceedings of SCSS 2016 will be published in the EasyChair Proceedings in Computing (EPiC). After the symposium, we will have a combined special issue of the Journal of Symbolic Computation on SCSS 2014 & 2016. The full version of selected papers at SCSS 2014 & 2016 will be considered for the publication of the special issue subjected to the normal peer review process of the journal. The submission deadline of the special issue will be 2 months after the symposium. From gershomb at gmail.com Fri Sep 25 18:16:31 2015 From: gershomb at gmail.com (Gershom B) Date: Fri, 25 Sep 2015 14:16:31 -0400 Subject: [Haskell] ANN: CfN for new Haskell Prime language committee In-Reply-To: <87eghnmqgp.fsf@gnu.org> References: <87eghnmqgp.fsf@gnu.org> Message-ID: On September 24, 2015 at 5:56:36 PM, Herbert Valerio Riedel (hvr at gnu.org) wrote: > Dear Haskell Community, > > In short, it's time to assemble a new Haskell Prime language > committee. Please refer to the CfN at > > https://mail.haskell.org/pipermail/haskell-prime/2015-September/003936.html > > for more details. Thanks Herbert, for taking the lead in getting this process rolling again. I just wanted to take a moment to note that, while I am not in academia myself, it seems to me that serving on the committee ?should be a very good opportunity for graduate students and younger PhDs to engage in what is considered ?service to the profession,? as much so as reviewing papers or such. While nailing down extensions to a language spec is not necessarily a glamorous task, it is certainly one that is important. Furthermore, given the growth in the use of Haskell as a general purpose programming language adopted across many application domains, involvement with the language standardization process seems like it is potentially more of a ?feather in one?s professional cap? than in years prior. Cheers, Gershom From Hugo.Herbelin at inria.fr Fri Sep 25 18:27:06 2015 From: Hugo.Herbelin at inria.fr (Hugo Herbelin) Date: Fri, 25 Sep 2015 20:27:06 +0200 Subject: [Haskell] FSCD'16 Preliminary Call for Papers Message-ID: <20150925182706.GA18354@yquem.inria.fr> [On behalf of Masahito Hasegawa] PRELIMINARY CALL FOR PAPERS First International Conference on Formal Structures for Computation and Deduction (FSCD'16) 22 June -- 26 June 2016, Porto, Portugal http://fscd2016.dcc.fc.up.pt/ ========================================================================== IMPORTANT DATES Abstract Submission: 29 January 2016 Paper Submission : 5 February 2016 Rebuttal : 21 - 23 March 2016 Notification : 6 April 2016 ========================================================================== FSCD (http://fscdconference.org/) covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing and homotopy type theory. The name of the new conference comes from an unpublished but important book by Gerard Huet that strongly influenced many researchers in the area. Suggested, but not exclusive, list of topics for submission are: 1 Calculi * Lambda calculus * Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.) * Rewriting systems (string, term, higher-order, graph, conditional, modulo, infinitary, etc.) * Proof theory (natural deduction, sequent calculus, proof nets, etc.) * Type theory and logical frameworks * Homotopy type theory 2. Methods in Computation and Deduction * Type systems (polymorphism, dependent, recursive, intersection, session, etc.) * Induction, coinduction * Matching, unification, completion, orderings * Strategies (normalization, completeness, etc.) * Tree automata * Model building and model checking * Proof search (resolution, paramodulation, narrowing, focusing, etc.) * Constraint solving and decision procedures 3. Semantics * Operational semantics and abstract machines * Game Semantics and applications * Domain theory and categorical models * Quantitative models (timing, probabilities, resources, etc.) * Quantum computation and emerging models in computation 4. Algorithmic Analysis and Transformations of Formal Systems * Type Inference and type checking * Abstract Interpretation * Complexity analysis and implicit computational complexity * Checking termination, confluence, derivational complexity and related properties * Symbolic computation 5. Tools and Applications * Programming and proof environments (proof assistants, automated theorem prover, proof checkers, specialized provers, dependently typed languages, etc.) * Verification tools (abstract interpretation, termination, confluence, specialized provers, etc.) * Libraries for proof assistants and interactive theorem provers (support for variable bindings, nominal, polynomial, equality, etc.) * Case studies in proof assistants and interactive theorem provers (formalizations, mechanizations, certifications) * Certifications (theorems, rewriting techniques, etc.) * Applications of formal systems inside and outside of CS (biology, linguistics, physics, education, etc.) INVITED SPEAKERS To be announced PROGRAM CHAIRS Delia Kesner (Univ. Paris-Diderot) Brigitte Pientka (McGill University) fscd16 at easychair.org PROGRAM COMMITTEE Andreas Abel (Gothenburg Univ.) Zena Ariola (Univ. Oregon) Patrick Baillot (CNRS & ENS Lyon) Andrej Bauer (Univ. Ljubljana) Eduardo Bonelli (Univ. Quilmes) Patricia Bouyer (ENS Cachan) Ugo Dal Lago (Univ. Bologna) Nachum Dershowitz (Univ. Tel Aviv) Mariangiola Dezani-Ciancaglini (Univ. Torino) Derek Dreyer (MPI-SWS) Santiago Figueira (Univ. Buenos Aires) Marcelo Fiore (Univ. Cambridge) Juergen Giesl (Univ. Aachen) Nao Hirokawa (JAIST) Martin Hofmann (LMU Munchen) Delia Kesner (Univ. Paris-Diderot) Naoki Kobayashi (Univ. Tokyo) Dan Licata (Wesleyan Univ.) Chris Lynch (Clarkson Univ.) Narciso Marti-Oliet (Univ. Complutense) Aart Middeldorp (Univ. Innsbruck) Dale Miller (INRIA Saclay) Cesar Munoz (NASA) Vivek Nigam (Univ. Paraiba) Brigitte Pientka (McGill Univ.) Jakob Rehof (Univ. Dortmund) Xavier Rival (ENS Paris) Peter Selinger (Dalhousie Univ.) Paula Severi (Univ. Leicester) Jakob Grue Simonsen (Univ. Copenhagen) Matthieu Sozeau (INRIA Rocquencourt) Sophie Tison (Univ. Lille) Femke van Raamsdonk (VU Univ. Amsterdam) Nobuko Yoshida (Imperial College) CONFERENCE CHAIR Sandra Alves (University of Porto) FSCD STEERING COMMITTEE: Thorsten Altenkirch (Univ. Nottingham) Gilles Dowek (INRIA) Santiago Escobar (Univ. Politecnica de Valencia) Maribel Fernandez (King's College London) Masahito Hasegawa (Univ. Kyoto) Hugo Herbelin (INRIA) Nao Hirokawa (JAIST) Luke Ong (Chair, Univ. Oxford) Jens Palsberg (UCLA) Kristoffer Rose (Two Sigma Investments) Rene Thiemann (Univ. Innsbruck) Pawel Urzyczyn (Univ. Warsaw) Femke van Raamsdonk (VU Univ. Amsterdam) PUBLICATION The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs). All LIPIcs proceedings are open access. SUBMISSION GUIDELINES Submissions can be made in two categories: regular research papers and system descriptions. Submissions of research papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 15 pages (including figures and bibliography). Submissions of research papers will be judged on originality, significance, correctness, and readability. Submission of system descriptions must describe a working system which has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System descriptions will be judged on originality, significance, usefulness, and readability. Proofs of theoretical results that do not fit within the page limit, executables of systems, code of case studies, benchmarks used to evaluate a given system, should be made available, via a reference to a website or in an appendix of the paper. Reviewers will be encouraged to consider this additional material, but are not obliged to. Submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission. Submissions must be formatted using the LIPIcs style files using the instructions at http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ A condition of submission is that, if accepted, one of the authors must attend the conference to give the presentation. Papers should be submitted via easychair. The submission site is at https://easychair.org/conferences/?conf=fscd16 ORGANISING COMMITTEE Sandra Alves (Univ. Porto) Sabine Broda (Univ. Porto) Jose Espirito-Santo (Univ. do Minho) Mario Florido (Univ. Porto) Nelma Moreira (Univ. Porto) Luis Pinto (Univ. do Minho) Rogerio Reis (Univ. Porto) Ana Paula Tomas (Univ. Porto) Pedro Vasconcelos (Univ. Porto) ----- End forwarded message ----- From tarmo at cs.ioc.ee Mon Sep 28 10:01:21 2015 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Mon, 28 Sep 2015 13:01:21 +0300 Subject: [Haskell] ETAPS 2016 final call for papers Message-ID: <20150928130121.4f39b62f@duality> ****************************************************************** CALL FOR PAPERS: ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software Eindhoven, The Netherlands, 2-8 April 2016 http://www.etaps.org/2016 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2016 is the ninteenth event in the series. -- MAIN CONFERENCES (4-7 April) -- * ESOP: European Symposium on Programming (PC chair Peter Thiemann, Universit?t Freiburg, Germany) * FASE: Fundamental Approaches to Software Engineering (PC chairs Perdita Stevens, University of Edinburgh, UK, and Andrzej Wasowski, IT University of Copenhagen, Denmark) * FOSSACS: Foundations of Software Science and Computation Structures (PC chairs Bart Jacobs, Radboud Universiteit Nijmegen, The Netherlands, and Christof L?ding, RWTH Aachen, Germany) * POST: Principles of Security and Trust (PC chairs Frank Piessens, Katholieke Universiteit Leuven, Belgium, and Luca Vigan?, King's College London, UK) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Marsha Chechik, University of Toronto, Canada, and Jean-Fran?ois Raskin (Universit? Libre de Bruxelles, Belgium) TACAS '16 hosts the 5th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Andrew D. Gordon (MSR Cambridge and University of Edinburgh, UK) Rupak Majumdar (MPI Kaiserslautern, Germany) * ESOP invited speaker: Cristina Lopes (University of California at Irvine, USA) * FASE invited speaker: Oscar Nierstrasz (Universit?t Bern, Switzerland) * POST invited speaker: Vitaly Shmatikov (University of Texas at Austin, USA) -- IMPORTANT DATES -- * 9 October 2015: Submission deadline for abstracts * 16 October 2015: Submission deadline for full papers * 2-4 December 2015: Author response period (ESOP and FoSSaCS only) * 18 December 2015: Notification of acceptance * 8 January 2016: Camera-ready versions due -- SUBMISSION INSTRUCTIONS -- ETAPS conferences accept two types of contributions: research papers and tool demonstration papers. Both types will appear in the proceedings and have presentations during the conference. ESOP and FoSSaCS accept only research papers. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science series. Papers must follow the formatting guidelines specified by Springer at the URL http://www.springer.de/comp/lncs/authors.html and be submitted electronically in pdf through the EasyChair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will try a light-weight double-blind review process (see http://www.etaps.org/2016/fase). - Research papers FASE, FOSSACS and TACAS have a page limit of 15 pp (excluding bibliography of max 2 pp) for research papers, whereas POST allows at most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp (excluding bibliography of max 2 pp). Additional material intended for the referees but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. ETAPS referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also case study papers (at most 15 pp, excluding bibliography of max 2 pp). Both TACAS and FASE solicit also regular tool papers (at most 15 pp, excluding bibliography of max 2 pp). - Tool demonstration papers Submissions should consist of two parts: * The first part, at most 4 pages, should describe the tool presented. Please include the URL of the tool (if available) and provide information that illustrates the maturity and robustness of the tool. (This part will be included in the proceedings.) * The second part, at most 6 pages, should explain how the demonstration will be carried out and what it will show, including screen dumps and examples. (This part will be not be included in the proceedings, but will be evaluated. ESOP and FOSSACS do not accept tool demonstration papers. TACAS has a page limit of 6 pages for tool demonstrations. -- SATELLITE EVENTS (2-3 April, 8 April) -- Around 20 satellite workshops will take place before and after the main conferences. -- HOST CITY -- Eindhoven is located in the province of North Brabant in the south of the Netherlands. It is the fifth-largest city of the Netherlands. The city is well known for modern art, design and technology. The main airport of the Netherlands is the Amsterdam Airport, Schiphol. All major airlines fly to Schiphol, and Schiphol has a direct and very frequent train connection to Eindhoven. Eindhoven also has a small international airport, Eindhoven Airport, with direct connections to more than thirty destinations in Europe. -- HOST INSTITUTION -- ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische Universiteit Eindhoven. -- ORGANIZERS * General chair: Jan Friso Groote * Workshops chairs: Erik de Vink and Julien Schmaltz * Publicity chair: Anton Wijs -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at j.f.groote at tue.nl, a.j.wijs at tue.nl. From Gerwin.Klein at nicta.com.au Wed Sep 30 05:26:17 2015 From: Gerwin.Klein at nicta.com.au (Gerwin Klein) Date: Wed, 30 Sep 2015 05:26:17 +0000 Subject: [Haskell] Proof Engineers Wanted Message-ID: Data61 Seeking Proof Engineers ============================== (applications close 15 October 2015) http://ssrg.nicta.com.au/jobs/proof-engineers2015 If only there was a place where I could prove theorems for money, change the world, and have fun while doing it... Sounds too good to exist? In the Trustworthy Systems team at Data61, formerly known as NICTA, that's what we do for a living. We are the creators of seL4, the world's first fully formally verified operating system kernel with extreme performance and strong security & correctness proofs. Our highly international team is located on the UNSW campus, close to the beautiful beaches of sunny Sydney, Australia, one of the world's most liveable cities. We are looking for multiple motivated entry-level proof engineers who want to join our team, move things forward, and have global impact. We are expanding our team, because seL4 is going places. There are active projects around the world in - Automotive - because cars have been hacked enough - Aviation - for more security and safety for autonomous vehicles - Connected consumer devices - with security built in from the start - SCADA - for more secure intelligent industrial control automation - Spaceflight, autonomous and crewed - because awesome To make these projects successful, we need to scale formal verification. You would - work on industrial-scale formal proofs in Isabelle/HOL - help to extend and improve existing proofs or verify new features in seL4 - contribute to improved proof automation and better reasoning techniques - apply formal proof to real-world systems and tools To apply for this position, you should possess a significant subset of the following skills. - functional programming in a language like Haskell, ML, or OCaml - first-order or higher-order formal logic - basic experience in C - ability and desire to quickly learn new techniques - undergraduate degree in Computer Science, Mathematics, or similar - ability and desire to work in a larger team If you additionally have experience - in software verification with an interactive theorem prover such as Isabelle/HOL or Coq, and/or - with operating systems and microkernels you should definitely apply! If you have the right skills and background, we can provide training on the job. Continual learning is a central component of everything we do. You will work with a unique world-leading combination of OS and formal methods experts, students at undergraduate and PhD level, engineers, and researchers from 5 continents, speaking over 15 languages. Trustworthy Systems is a fun, creative, and welcoming workplace with full health insurance and flexible hours & work arrangements. We value diversity in all forms and welcome applications from people of all ages, including people with a disability, and those who identify as LGBTIQ. See http://ssrg.nicta.com.au/diversity/ for more information. The salary range for this position is AUD 65,000 to 90,000 for recent graduates, depending on experience and qualification. Apply by sending your CV, undergraduate transcript (if applicable), two references, and cover letter to and . This round of applications closes 15 October 2015. The seL4 code and proof are open source. Check them out at https://github.com/seL4 More information about NICTA's Trustworthy Systems team at http://ssrg.nicta.com.au Still studying? We also have internship opportunities! http://ssrg.nicta.com.au/students/ ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. From ky3 at atamo.com Wed Sep 30 06:44:27 2015 From: ky3 at atamo.com (Kim-Ee Yeoh) Date: Wed, 30 Sep 2015 13:44:27 +0700 Subject: [Haskell] Haskell Weekly News Message-ID: *Top picks:* - Neil Mitchell reports a stack overflow with 7.10.2 maximumBy that regresses from 7.8.3. His sixth sense points to the Foldable-Traversable coup (aka BBP: Burning Bridges Proposal) as culprit. Joachim Breitner investigates and verifies that the bug's indeed caused by BBP's redefinition of maximumBy that changed out foldl1 for foldr1. Neil guesses that with foldl1, "the strictness analysis managed to kick in and optimise things." Joachim opines that "this is more a BBP design issue than a compiler bug." For now, roll your own maximumBy if you're affected. - A reddit question asks whether there's a way for "haskell learners to learn haskell from haskell gurus, one-on-one for a fee?" An answer points to CodeMentor where haskellers charge from $15 to $60 per quarter-hour of consultation. Heinrich Apfelmus chimes in to say he's at HackHands . - Yair Chuchem, who worked at Google for a year, reveals how a software engineer's performance metric is gamed to the detriment of the Organizer of the World's Information. Not quite Wally's "I'm gonna write me a new minivan this afternoon" but close. To the indignation of his managers, Yair left Google to work with Eyal Lotem on his passion: an Abstract-Syntax-Tree-driven IDE called Lamdu , which redditors have already unpacked here . - Ph.D. student Rob Zinkov demoes a rudimentary Probabilistic Programming Interpreter based on importance sampling. *Quotes of the Week:* - User kyllo on HN: It's an exciting time for Haskell developers right now, we just got an a awesome new build tool (stack), an incredible new server-side framework (servant) and our compile to JS tool (GHCJS) is improving by leaps and bounds. - @gfixler: Was OOP created as a business model to sell complex tooling? @jonruttenberg: @gfixler Was #haskell created as a business model to sell complex blog posts? - User breadbox on HN observes: "People think that confidence follows skills, but it?s usually the other way around where skills follow confidence." This is a fact that really needs to be more widely acknowledged. (It also casts the microagressions that have the effect of chipping away at the confidence of women and minorities in a rather uncomfortable light.) - User mgrennan on HN: I understand it is our nature to push away from parents to strike out on our own. I also understand why older people resist change. Magic happens when the young seek to understand the wisdom of their elders and elders hold on to explorer spirit of their youth. -- Kim-Ee -------------- next part -------------- An HTML attachment was scrubbed... URL: From dimitris at microsoft.com Wed Sep 30 09:58:29 2015 From: dimitris at microsoft.com (Dimitrios Vytiniotis) Date: Wed, 30 Sep 2015 09:58:29 +0000 Subject: [Haskell] Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!) Message-ID: <5fff746c2fbf4f5fa92e9d631abad626@AM3PR30MB033.064d.mgd.msft.net> CALL FOR SCHOLARSHIP APPLICATIONS (Deadline: October 23!) ACM SIGPLAN Programming Languages Mentoring Workshop, St. Petersburg, Florida, USA Tuesday, January 19, 2016 Co-located with POPL 2016 PLMW web page: http://conf.researchr.org/home/PLMW-2016 After the resounding success of the first four Programming Languages Mentoring Workshops at POPL 2012, 2013, 2014, and 2015, we proudly announce the 5th SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2016 and organised by Isil Dillig, Derek Dreyer, Ross Tate, and Dimitrios Vytiniotis. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they might contribute to our research community. We especially encourage women and underrepresented minority students to attend PLMW. This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay through the entire conference. A number of sponsors (listed below) have generously donated scholarship funds for qualified students to attend PLMW. These scholarships should cover reasonable expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the POPL conference. Students attending this year will get one year free student membership of SIGPLAN, unless they prefer to opt out during their application. The workshop registration is open to all. Students with alternative sources of funding are welcome as well. APPLICATION for PLMW scholarship. The scholarship application can be accessed from the workshop web site: http://conf.researchr.org/home/PLMW-2016 The deadline for full consideration of funding is FRIDAY, OCTOBER 23. Selected participants will be notified by NOVEMBER 15 or earlier. SPONSORS: NSF ACM SIGPLAN Facebook Jane Street Capital Google Microsoft