From erwig at eecs.oregonstate.edu Sat Aug 1 20:06:40 2015 From: erwig at eecs.oregonstate.edu (Martin Erwig) Date: Sat, 1 Aug 2015 13:06:40 -0700 Subject: [Haskell] PEPM 2016: Call for Papers Message-ID: <5A6ABD83-AF63-47EE-A09C-70D257A99830@eecs.oregonstate.edu> CALL FOR PAPERS Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2016) St. Petersburg, Florida, January 18 - 19, 2016 http://conf.researchr.org/track/POPL-2016/pepm-2016-main The 2016 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continues efforts to expand the scope of PEPM beyond the traditionally covered areas of partial evaluation and specialization. Specifically, PEPM will include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. Topics of interest for PEPM?16 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. To maintain the dynamic and interactive nature of PEPM, we will continue the category of `short papers? for tool demonstrations and for presentations of exciting if not fully polished research, and of interesting academic, industrial and open-source applications that are new or unfamiliar. Student participants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses and other support. 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. All accepted papers, short papers included, will appear in formal proceedings published by ACM Press. Accepted papers will be included in the ACM Digital Library. Selected papers from PEPM?16 will be published in a special issue of the journal Science of Computer Programming. PEPM has also established a Best Paper Award. The winner will be announced at the workshop. Submission Categories and Guidelines Regular Research Papers must not exceed 12 pages in ACM Proceedings style (including appendix). Tool demonstration papers and short papers must not exceed 6 pages in ACM Proceedings style (including appendix). At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM?16 web site. Papers should be submitted electronically via EasyChair. easychair.org/conferences/?conf=pepm2016 Authors using LaTeX to prepare their submissions should use the new improved SIGPLAN proceedings style. Specifically, use the sigplanconf.cls 9pt template. Important Dates * Abstract submission: Tue, September 8, 2015 * Paper submission: Sun, September 13, 2015 (FIRM) * Author notification: Tue, October 20, 2015 * Camera ready copies: Fri, November 20, 2015 * Workshop: Monday, January 18 - Tuesday, January 19, 2016 Note: The paper submission deadline is firm. The above schedule is tight: We have absolutely no time to wait for late submissions, and we will have no deadline extension. From Y.Lin at hw.ac.uk Mon Aug 3 10:13:35 2015 From: Y.Lin at hw.ac.uk (Lin, Yuhui) Date: Mon, 3 Aug 2015 10:13:35 +0000 Subject: [Haskell] AVoCS 2015: Final Call for Research Idea Papers & Participation Message-ID: ====================================================================== The 15th International Workshop on Automated Verification of Critical Systems 1-4 September 2015, Edinburgh, UK https://sites.google.com/site/avocs15/ avocs2015 at easychair.org -----------------------|*** HIGHLIGHTS ***|---------------------------- + Registration is now open ! + Special research ideas session: short papers due 10th August + Several student grants available: application due 10th August + Invited talks by Colin O'Halloran (D-RisQ/Oxford) Don Sannella (Contemplate/Edinburgh) + AI4FM workshop including invited talk by J Strother Moore (Univerity of Texas at Austin) + Proceedings to be published by EASST + Special issues of Science of Computer Programming ======================================================================= REGISTRATION Registration for AVoCS is available from https://sites.google.com/site/avocs15/registration Early registration ends 18 August. SPONSORS Altran D-RisQ Software Systems Formal Methods Europe (FME) The Scottish Informatics & Computer Science Alliance (SICSA) BACKGROUND The aim of Automated Verification of Critical Systems (AVoCS) 2015 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. SCOPE We encourage the submissions of research ideas in order to stimulate discussions at the workshop. Reports on ongoing work or surveys on work published elsewhere are welcome. The Programme Committee will select research ideas on the basis of submitted abstracts according to significance and general interest. The subject of the ideas is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.). Contributions that describe different techniques, or industrial case studies are encouraged. Topics include (but are not limited to): - Model Checking - Automatic and Interactive Theorem Proving - SAT, SMT or Constraint Solving for Verification - Abstract Interpretation - Specification and Refinement - Requirements Capture and Analysis - Verification of Software and Hardware - Specification and Verification of Fault Tolerance and Resilience - Probabilistic and Real-Time Systems - Dependable Systems - Verified System Development - Industrial Applications IMPORTANT DATES Submission of research idea papers: 10th August 2015 Submission of student grant application: 10th August 2015 Notification (research idea): 14th August 2015 Early registration: 18th August 2015 Submissions of final versions: 21st August 2015 INVITED SPEAKERS Colin O'Halloran (D-RisQ & the University of Oxford) Don Sannella (Contemplate & the University of Edinburgh) WORKSHOPS AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/ including invited talk by J Strother Moore (Univerity of Texas at Austin) VENUE The event will be held in the International Centre for Mathematical Sciences (ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world heritage site. SUBMISSION DETAILS Research ideas must be written in English and not exceed 2 pages using the dedicated AVoCS 2015 EASST template available from the the following link (for LaTeX and Word): http://journal.ub.tu-berlin.de/public/template/ The presentation of these ideas will be organised around discussions, where the presenter should also prepare a set of question in which the audience will discuss. Submissions are handled via Easychair: https://easychair.org/conferences/?conf=avocs2015 The research ideas will be included in the pre-proceedings, which will be available in the form of a Heriot-Watt University Technical Report and will be available at the workhsop. STUDENT GRANTS Thanks to sponsorships from Altran, FME and SICSA we can offer financial support for a limited number of students registering for AVoCS in the form of a registration fee waiver (full or partial). As this is limited, we ask the students that would like to take the advantage of this support to submit a short application. The details on how to apply is available from AVoCS webpage. SPECIAL SCP JOURNAL ISSUE Authors of a selection of the best papers presented at the workshop will be invited to submit extended versions of their work for publication in a special issue of Elsevier's journal Science of Computer Programming. PROGRAM COMMITTEE Ernie Cohen, University of Pennsylvania, USA Ewen Denney, NASA Ames, USA Jean-Christophe Filliatre, CNRS, France Michael Goldsmith, University of Oxford, UK Gudmund Grov, Heriot-Watt University, UK (co-chair) Keijo Heljanko, Aalto University, Finland Mike Hinchey, University of Limerick, Ireland Marieke Huisman, University of Twente, Netherlands Andrew Ireland, Heriot-Watt University, UK (co-chair) Gerwin Klein, NICTA/UNSW, Australia Thierry Lecomte, ClearSy, France Yuhui Lin, Heriot-Watt University, UK Peter Gorm Larsen, Aarhus University, Denmark Panagiotis (Pete) Manolios, Northeastern University, USA Stephan Merz, INRIA Nancy & LORIA, France Jaco van de Pol, University of Twente, Netherlands Markus Roggenbach, Swansea University, UK Marco Roveri, FBK, Italy Thomas Santen, Microsoft Research, Germany Bernard Steffen, Technical University Dortmund, Germany Jan Strej?ek, Masaryk University, Czech Republic Jun Sun, Singapore University of Technology and Design, Singapore Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France Helen Treharne, University of Surrey, UK Laurent Voisin, Systerel, France Angela Wallenburg, Altran, UK John Wickerson, Imperial College London, UK Peter ?lveczky, University of Oslo, Norway ORGANISERS Gudmund Grov, Heriot-Watt University, UK Andrew Ireland, Heriot-Watt University, UK Yuhui Lin, Heriot-Watt University, UK (local arrangements and publicity chair) STEERING COMMITTEE Michael Goldsmith, University of Oxford, UK Stephan Merz, INRIA Nancy & LORIA, France Markus Roggenbach, Swansea University, UK ----- We invite research leaders and ambitious early career researchers to join us in leading and driving research in key inter-disciplinary themes. Please see www.hw.ac.uk/researchleaders for further information and how to apply. Heriot-Watt University is a Scottish charity registered under charity number SC000278. From mark.lentczner at gmail.com Tue Aug 4 20:51:36 2015 From: mark.lentczner at gmail.com (Mark Lentczner) Date: Tue, 4 Aug 2015 13:51:36 -0700 Subject: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a In-Reply-To: References: Message-ID: As promised in the Haskell Platform 7.10.2 announcement, we have now release Haskell Platform 7.10.2-a. The only changes from 7.10.2 are: text-1.2.1.3 - to work around the issue with text literals in GHC 7.10.2 fgl-5.5.2.1 - this release changes no APIs, but fixes builds with older GHCs Available, as always, from: https://www.haskell.org/platform/ - Mark -------------- next part -------------- An HTML attachment was scrubbed... URL: From lvwenlong_lambda at qq.com Thu Aug 6 01:15:55 2015 From: lvwenlong_lambda at qq.com (=?gb18030?B?wsDOxMH6?=) Date: Thu, 6 Aug 2015 09:15:55 +0800 Subject: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a (Mark Lentczner) In-Reply-To: References: Message-ID: just want to know why do I have to be a root user to install haskell platform? ------------------ ??? MP?18801735051 ????2010??????????????School of Microelectronics,Fudan University? ???????????????1433?3??803?Room 803 Building 3 Lane 1433 Cailun Road, Pudong District, Shanghai, China? ------------------ Original ------------------ From: "haskell-request";; Date: Wed, Aug 5, 2015 08:00 PM To: "haskell"; Subject: Haskell Digest, Vol 144, Issue 4 Send Haskell mailing list submissions to haskell at haskell.org To subscribe or unsubscribe via the World Wide Web, visit http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell or, via email, send a message with subject or body 'help' to haskell-request at haskell.org You can reach the person managing the list at haskell-owner at haskell.org When replying, please edit your Subject line so it is more specific than "Re: Contents of Haskell digest..." Today's Topics: 1. Re: ANNOUNCE: Haskell Platform 7.10.2-a (Mark Lentczner) ---------------------------------------------------------------------- Message: 1 Date: Tue, 4 Aug 2015 13:51:36 -0700 From: Mark Lentczner To: haskell , haskell-platform at projects.haskell.org, haskell at haskell.org Subject: Re: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a Message-ID: Content-Type: text/plain; charset="utf-8" As promised in the Haskell Platform 7.10.2 announcement, we have now release Haskell Platform 7.10.2-a. The only changes from 7.10.2 are: text-1.2.1.3 - to work around the issue with text literals in GHC 7.10.2 fgl-5.5.2.1 - this release changes no APIs, but fixes builds with older GHCs Available, as always, from: https://www.haskell.org/platform/ - Mark -------------- next part -------------- An HTML attachment was scrubbed... URL: ------------------------------ Subject: Digest Footer _______________________________________________ Haskell mailing list Haskell at haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell ------------------------------ End of Haskell Digest, Vol 144, Issue 4 *************************************** -------------- next part -------------- An HTML attachment was scrubbed... URL: From freizl at gmail.com Thu Aug 6 02:02:32 2015 From: freizl at gmail.com (Haisheng Wu) Date: Wed, 5 Aug 2015 19:02:32 -0700 Subject: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a (Mark Lentczner) In-Reply-To: References: Message-ID: I think it depends on how u install it. By default it need to write some files to system path. E.g. /usr/local/bin I wonder there is option allow you to specify installation path this you won't necessarily be root. -Haisheng On Wednesday, August 5, 2015, ??? wrote: > just want to know why do I have to be a root user to install haskell > platform? > > ------------------ > ??? MP?18801735051 > ????2010??????????????School of Microelectronics,Fudan University? > > ???????????????1433?3??803?Room 803 Building 3 Lane 1433 Cailun Road, Pudong District, Shanghai, China? > > > > ------------------ Original ------------------ > *From: * "haskell-request"; >; > *Date: * Wed, Aug 5, 2015 08:00 PM > *To: * "haskell" >; > *Subject: * Haskell Digest, Vol 144, Issue 4 > > Send Haskell mailing list submissions to > haskell at haskell.org > > To subscribe or unsubscribe via the World Wide Web, visit > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > or, via email, send a message with subject or body 'help' to > haskell-request at haskell.org > > > You can reach the person managing the list at > haskell-owner at haskell.org > > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Haskell digest..." > > > Today's Topics: > > 1. Re: ANNOUNCE: Haskell Platform 7.10.2-a (Mark Lentczner) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Tue, 4 Aug 2015 13:51:36 -0700 > From: Mark Lentczner > > To: haskell >, > haskell-platform at projects.haskell.org > , > haskell at haskell.org > Subject: Re: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a > Message-ID: > > > > Content-Type: text/plain; charset="utf-8" > > As promised in the Haskell Platform 7.10.2 announcement, we have now > release Haskell Platform 7.10.2-a. The only changes from 7.10.2 are: > > text-1.2.1.3 - to work around the issue with text literals in GHC 7.10.2 > fgl-5.5.2.1 - this release changes no APIs, but fixes builds with older > GHCs > > > Available, as always, from: https://www.haskell.org/platform/ > > - Mark > -------------- next part -------------- > An HTML attachment was scrubbed... > URL: < > http://mail.haskell.org/pipermail/haskell/attachments/20150804/cce27f0f/attachment-0001.html > > > > ------------------------------ > > Subject: Digest Footer > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > > > ------------------------------ > > End of Haskell Digest, Vol 144, Issue 4 > *************************************** > -- Sent from Gmail Mobile -------------- next part -------------- An HTML attachment was scrubbed... URL: From allbery.b at gmail.com Thu Aug 6 02:04:33 2015 From: allbery.b at gmail.com (Brandon Allbery) Date: Wed, 5 Aug 2015 22:04:33 -0400 Subject: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a (Mark Lentczner) In-Reply-To: References: Message-ID: There's also the path taken by Homebrew on OS X... make /usr/local owned by you, since you probably only have one user on the machine anyway. (I suggest avoiding any suid-root executables in /usr/local in this case.) On Wed, Aug 5, 2015 at 10:02 PM, Haisheng Wu wrote: > I think it depends on how u install it. > By default it need to write some files to system path. > E.g. /usr/local/bin > I wonder there is option allow you to specify installation path this you > won't necessarily be root. > > -Haisheng > > On Wednesday, August 5, 2015, ??? wrote: > >> just want to know why do I have to be a root user to install haskell >> platform? >> >> ------------------ >> ??? MP?18801735051 >> ????2010??????????????School of Microelectronics,Fudan University? >> >> ???????????????1433?3??803?Room 803 Building 3 Lane 1433 Cailun Road, Pudong District, Shanghai, China? >> >> >> >> ------------------ Original ------------------ >> *From: * "haskell-request";; >> *Date: * Wed, Aug 5, 2015 08:00 PM >> *To: * "haskell"; >> *Subject: * Haskell Digest, Vol 144, Issue 4 >> >> Send Haskell mailing list submissions to >> haskell at haskell.org >> >> To subscribe or unsubscribe via the World Wide Web, visit >> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell >> or, via email, send a message with subject or body 'help' to >> haskell-request at haskell.org >> >> You can reach the person managing the list at >> haskell-owner at haskell.org >> >> When replying, please edit your Subject line so it is more specific >> than "Re: Contents of Haskell digest..." >> >> >> Today's Topics: >> >> 1. Re: ANNOUNCE: Haskell Platform 7.10.2-a (Mark Lentczner) >> >> >> ---------------------------------------------------------------------- >> >> Message: 1 >> Date: Tue, 4 Aug 2015 13:51:36 -0700 >> From: Mark Lentczner >> To: haskell , >> haskell-platform at projects.haskell.org, haskell at haskell.org >> Subject: Re: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a >> Message-ID: >> >> Content-Type: text/plain; charset="utf-8" >> >> As promised in the Haskell Platform 7.10.2 announcement, we have now >> release Haskell Platform 7.10.2-a. The only changes from 7.10.2 are: >> >> text-1.2.1.3 - to work around the issue with text literals in GHC 7.10.2 >> fgl-5.5.2.1 - this release changes no APIs, but fixes builds with older >> GHCs >> >> >> Available, as always, from: https://www.haskell.org/platform/ >> >> - Mark >> -------------- next part -------------- >> An HTML attachment was scrubbed... >> URL: < >> http://mail.haskell.org/pipermail/haskell/attachments/20150804/cce27f0f/attachment-0001.html >> > >> >> ------------------------------ >> >> Subject: Digest Footer >> >> _______________________________________________ >> Haskell mailing list >> Haskell at haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell >> >> >> ------------------------------ >> >> End of Haskell Digest, Vol 144, Issue 4 >> *************************************** >> > > > -- > Sent from Gmail Mobile > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > > -- brandon s allbery kf8nh sine nomine associates allbery.b at gmail.com ballbery at sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net -------------- next part -------------- An HTML attachment was scrubbed... URL: From ky3 at atamo.com Fri Aug 7 18:55:47 2015 From: ky3 at atamo.com (Kim-Ee Yeoh) Date: Sat, 8 Aug 2015 01:55:47 +0700 Subject: [Haskell] Fwd: Haskell Weekly News In-Reply-To: References: Message-ID: *Editorial:*Over a month has elapsed since the last issue. Is the Weekly News turning into the Monthly News? No. I've been working on getting full-length articles into the News. Imagine articles that investigate, analyze, and give the low-down on hoary issues like cabal hell that cannot be telegrammed in a two-sentence paragraph. But my time isn't quantum mechanical. When I do A, I can't at the same time do B. I know that there are fine haskellers who'd gladly write for pay. However, HWN has never had a foundation in place for paid articles. Building that foundation takes time. Now that much of it is in place, let me duly announce that HWN hereby solicits reviews, reports, criticism pieces, and personal essays. - Flexible word count: anywhere between 250 and 750 is fine. - Send me an outline first. - Published articles pay at 68 bitcents, under 200 euros / dollars right now. - You can count on extensive editing for the requisite polish and also to conform to 'house' style. Interested? Email me with a subject line that starts with "[HWN pitch]" followed by the title of your piece. In the body, outline the main points you'll hit and explain how they engage the HWN readership. So on with the News : *Top picks:* - Galois organizes this year's ICFP contest. The 72-hour countdown has just started! After tantalizing us with whisperings of more computational archaelogy (see 2006 ICFP contest ) centering on honey bees, national food security, and the Hebrew alphabet; Portland, Oregon reveals a classic offline AI game programming challenge . According to redditor skatenerd , "it's a lot like Tetris, except you know what pieces are coming." - Rick Dzekman offers constructive criticism based on his "poor UX (User Experience) of a great language (Haskell)". Among the low-lying fruit he identifies: a web search doesn't always link to the latest version on the Hackage website, something easily fixed. Not so low-lying are Cabal, a modern IDE, and Haskell wiki documentation. In sympathy with the sentiments are HN readers and /r/haskell . - Christoffer Stjernl?f brings attention to how only in imperative land does one encounter the awfulness of the same boolean expression getting tested twice in a nested if-inside-if. He uses it to make "the case for controlled side effects", the title of his blog post. Discussions on /r/haskell and Hacker News . - Alexey Shmalko introduces Haskell IO as "the command pattern" to object-oriented programmers. His article resists mentioning monads or do-notation. Appreciated on /r/haskell . - The latest issue of the Functional Works monthly newsletter reminds us about Chakravarty and Keller's "An Introduction to Computing (with Haskell)", a textbook written from multiple years teaching first-year CS. At 150 pages, the book dodges monads -- nary a single mention -- and zooms into I/O actions. It's out-of-print but readily downloadable . - The program for this year's Haskell Symposium is out. PC chaired by Ben Lippmeier, it's truly a smorgasbord. If you can't find a preprint, indefatigable redditors might just have got you covered. - Zhenjiang Hu, John Hughes, and Meng Wang publish "How Functional Programming Mattered" , a survey of FP's impact outside its academic domain in recent years. It is written in the mold of and complements A History of Haskell: Being Lazy with Class (2007) . Comprising 17.5 pages of 2-column ACM-proceedings-style 9-point text, it houses the bibliographical treasure of 122 references, itself a contribution to any debate over priority. /r/haskell - Victor Maia writes a lambda calculus evaluator in javascript that computes 200^200 mod 31 without breaking a sweat. No mean feat, since all numbers are church numerals. How did he pull it off? His javascript implements a fragment of Lamping's optimal algorithm, which is based on interaction nets. (Optimality here is in the sense of Levy-optimality: keeping the number of beta reductions down to an absolute minimum. By itself, this count is generally an inaccurate measure of efficiency.) He wonders on stackoverflow why optimal evaluation has such magical superpowers. The convo at /r/haskell has yet to crack the mystery. - Philippe Desjardins Proulx codes and compares a basic arithmetic expression evaluator in all 5 languages of F#, Scala, Haskell, C++, and Julia. The evaluator acts on a given tree: Philippe doesn't touch parsing. Go, Erlang, and Elixir versions are in HN comments . - Redditor gilmi starts a discussion on /r/haskell about the various FRP systems out there and whether they're ready for real-world use. Ollie Charles glosses classic vs arrowized systems, Doug Beardsley at Soostone testifies that "reflex is the first thing I've used that makes building web UIs enjoyable for me, which is very exciting", and Joseph Abrahamson channels Conal Elliott in staking out the acronym to mean exclusively those systems that admit continuous time. *Quotes of the Week:* - Andrew Cowie : The highlight of my day is "cd ~/src/haskell/stack ; git pull ; stack install". What goodies have they landed this time? - Cale Gibbard : I basically never turn on IncoherentInstances because it basically means "I don't want anything to work, and I'd like to be confused about why." - Redditor fegu : Haskell is like a mental drug, after a few initial hits you absolutely crave it. You will forego lucrative .Net career moves just to keep it, hence your long-term career will take a hit. But the days will be brighter, more enjoyable and there is just that glimmer of hope that in the end you will be able to practice Haskell full time in a well-paid position. I wish I was joking. - On ageism in the software industry : Maybe I've been lucky, but this doesn't mesh with my experience at all. The oldest guys at my company are the ones teaching the classes about Haskell or Scalaz. They're the ones trying out Elixir. They're the ones building frameworks for everyone else to build on top of. The youngest people are banging out feature #4,501 for the website. *Real World Haskell of the Week:* - Fed up with the laggy Netflix UI? Check out the snappy Haskell-powered instantwatcher.com. H/T erichmond on HN . -- Kim-Ee -------------- next part -------------- An HTML attachment was scrubbed... URL: From jhr at cs.uchicago.edu Mon Aug 10 09:45:39 2015 From: jhr at cs.uchicago.edu (John Reppy) Date: Mon, 10 Aug 2015 11:45:39 +0200 Subject: [Haskell] [PADL 2016] First call for papers Message-ID: <22DEBB8E-D117-46A5-81A9-5F7FC04A65C8@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 10, 2015 Paper Submission: September 18, 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. 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 J.Hage at uu.nl Tue Aug 11 20:47:00 2015 From: J.Hage at uu.nl (Jurriaan Hage) Date: Tue, 11 Aug 2015 22:47:00 +0200 Subject: [Haskell] Final call for papers for IFL 2015 Message-ID: Hello, Please, find below the final call for papers for IFL 2015. Note that the draft submission date has been extended until August 15. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL ?? IFL 2015 - Call for papers 27th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2015 University of Koblenz-Landau, Koblenz, Germany In cooperation with ACM SIGPLAN September 14-16, 2015 http://ifl2015.wikidot.com/ Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2015 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Peer-review Following the IFL tradition, IFL 2015 will use a post-symposium review process to produce the formal proceedings. All participants of IFL2015 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity. Important dates August 15: Submission deadline draft papers August 17: Notification of acceptance for presentation August 19: Early registration deadline August 26: Late registration deadline September 7: Submission deadline for pre-symposium proceedings September 14-16: IFL Symposium December 1: Submission deadline for post-symposium proceedings January 15, 2016: Notification of acceptance for post-symposium proceedings March 1, 2016: Camera-ready version for post-symposium proceedings Submission details Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX can be found at: http://www.acm.org/sigs/sigplan/authorInformation.htm Authors submit through EasyChair: https://easychair.org/conferences/?conf=ifl2015 Topics IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2015, please contact the PC chair at rlaemmel at acm.org. Topics of interest include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialization - run-time code generation - partial evaluation - (abstract) interpretation - metaprogramming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques - (industrial) applications Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. Programme committee Chair: Ralf L?mmel, University of Koblenz-Landau, Germany - Malgorzata Biernacka, University of Wroclaw, Poland - Laura M. Castro, University of A Coru?a, Spain - Martin Erwig, Oregon State University, USA - Dan Ghica, University of Birmingham, UK - Andrew Gill, University of Kansas, USA - Stephan Herhut, Google, USA - Zhenjiang Hu, National Institute of Informatics (NII), Japan - Mauro Jaskelioff, CIFASIS/Universidad Nacional de Rosario, Argentina - Fr?d?ric Jouault, ESEO, France - Oleg Kiselyov, Tohoku University, Japan - Lindsey Kuper, Indiana University, USA - Rita Loogen, Philipps-Universit?t Marburg, Germany - Akimasa Morihata, University of Tokyo, Japan - Atsushi Ohori, Tohoku University, Japan - Bruno C. D. S. Oliveira, The University of Hong Kong, Hong Kong - Frank Piessens, Katholieke Universiteit Leuven, Belgium - Norman Ramsey, Tufts University, USA - Matthew Roberts, Macquarie University, Australia - Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany - Simon Thompson, University of Kent, UK - Stephanie Weirich, University of Pennsylvania, USA - Steve Zdancewic, University of Pennsylvania , USA Venue The 27th IFL will be held in association with the Faculty of Computer Science, University of Koblenz-Landau, Campus Koblenz. Koblenz is well connected by train to several international airports. For instance, Koblenz can be reached from Frankfurt by high-speed train ICE within an hour. The modern Koblenz campus is close to the city center and can be reached by foot, bus, or cab. See the website for more information on the venue. Social events The conference attendees are welcome at ?Kaffeewirtschaft? in the historical center of Koblenz on the evening of arrival (Sunday, 13 September). A special reception takes places on Monday in the form of a wine tasting and guided tour at ?Weingut Lunnebach?. The conference banquet on Tuesday is held at the historical site ?Festung Ehrenbreitstein? at Restaurant Casino with a wonderful view over the city and the two rivers Rhine and Moselle. - http://www.kaffeewirtschaft.de/ - http://www.weingut-lunnebach.de/ - https://www.cafehahn.de/impressionen_189.html From cygnus at foobox.com Wed Aug 12 01:33:40 2015 From: cygnus at foobox.com (Jonathan Daugherty) Date: Tue, 11 Aug 2015 18:33:40 -0700 Subject: [Haskell] ANNOUNCE: brick 0.1 released (deprecates vty-ui) Message-ID: <20150812013340.GA39821@galois.com> Hi, I'm very excited to announce the first public release of brick, a new high-level library for making terminal user interfaces based on vty. This library deprecates vty-ui. Folks depending heavily on vty-ui should contact me! brick exposes a declarative interface for specifying terminal user interfaces. If you have used gloss, you know what to expect: you can specify your UI in a purely-functional style by defining a drawing function and an event handler and you're off and running! A feature overview can be found at https://github.com/jtdaugherty/brick#feature-overview Check out the (many) demonstration programs and user guide at https://github.com/jtdaugherty/brick or see the Haddock at http://hackage.haskell.org/package/brick Enjoy! -- Jonathan Daugherty From jpaugh at gmx.us Wed Aug 12 05:10:15 2015 From: jpaugh at gmx.us (Jonathan Paugh) Date: Wed, 12 Aug 2015 00:10:15 -0500 Subject: [Haskell] ANNOUNCE: brick 0.1 released (deprecates vty-ui) In-Reply-To: <20150812013340.GA39821@galois.com> References: <20150812013340.GA39821@galois.com> Message-ID: <55CAD537.7050206@gmx.us> This is awesome! I love the high-level view of ncurses-style (intense, custom) terminal manipulation. Thank you! On 08/11/2015 08:33 PM, Jonathan Daugherty wrote: > Hi, > > I'm very excited to announce the first public release of brick, a new > high-level library for making terminal user interfaces based on vty. > This library deprecates vty-ui. Folks depending heavily on vty-ui > should contact me! > > brick exposes a declarative interface for specifying terminal user > interfaces. If you have used gloss, you know what to expect: you can > specify your UI in a purely-functional style by defining a drawing > function and an event handler and you're off and running! > > A feature overview can be found at > > https://github.com/jtdaugherty/brick#feature-overview > > Check out the (many) demonstration programs and user guide at > > https://github.com/jtdaugherty/brick > > or see the Haddock at > > http://hackage.haskell.org/package/brick > > Enjoy! > From capn.freako at gmail.com Sat Aug 15 15:03:14 2015 From: capn.freako at gmail.com (David Banas) Date: Sat, 15 Aug 2015 08:03:14 -0700 Subject: [Haskell] Redundant entries in .cabal file? Message-ID: Hi all, Does anyone know why I?m getting redundant entries in my ?cabal init? generated .cabal file: library exposed-modules: Language.Broker, Language.Broker ? Is it because I?m using a *.hsc file, as my source, and cabal is finding both files: Broker.hsc, and Broker.hs in the Language directory? Thanks, -db -------------- next part -------------- An HTML attachment was scrubbed... URL: From lists at andy-morris.xyz Sat Aug 15 16:46:06 2015 From: lists at andy-morris.xyz (Andrew Morris) Date: Sat, 15 Aug 2015 17:46:06 +0100 Subject: [Haskell] Redundant entries in .cabal file? In-Reply-To: References: Message-ID: <1F4FE6E2-DB80-44E0-AD12-1A91D4A8B8A9@andy-morris.xyz> On 15 Aug 2015, at 16:03, David Banas wrote: > > Hi all, > > Does anyone know why I?m getting redundant entries in my ?cabal init? generated .cabal file: > > library > exposed-modules: Language.Broker, Language.Broker > > ? > > Is it because I?m using a *.hsc file, as my source, and cabal is finding both files: > ? Broker.hsc, and > ? Broker.hs > in the Language directory? Yes. You can (and probably should) remove the `Broker.hs`; if you put: build-tools: hsc2hs (plus version constraint) in your cabal file, then Cabal knows how to generate the Haskell file itself. Which programs are allowed in `build-tools` doesn't seem to be documented as far as I can tell, but it is some or all of the things listed here: https://github.com/haskell/cabal/blob/master/Cabal/Distribution/Simple/Program/Builtin.hs In any case, it certainly includes hsc2hs, and also alex, happy, cpphs, c2hs, and greencard (but not uuagc :( ). And, btw, you can put support for custom preprocessors in your `Setup.hs`, should you need that in future. > Thanks, > -db From capn.freako at gmail.com Sat Aug 15 20:26:50 2015 From: capn.freako at gmail.com (David Banas) Date: Sat, 15 Aug 2015 13:26:50 -0700 Subject: [Haskell] libiconv trouble? Message-ID: <346A5DD0-72DA-4F57-9746-1B0BB44C2609@gmail.com> Anyone else hit this, after updating to the new Haskell Platform? Davids-MacBook-Air-2:tmp dbanas$ ghci GHCi, version 7.10.2: http://www.haskell.org/ghc/ :? for help : can't load .so/.DLL for: libiconv.dylib (dlopen(libiconv.dylib, 5): image not found) Thanks, -db -------------- next part -------------- An HTML attachment was scrubbed... URL: From allbery.b at gmail.com Sat Aug 15 20:34:16 2015 From: allbery.b at gmail.com (Brandon Allbery) Date: Sat, 15 Aug 2015 16:34:16 -0400 Subject: [Haskell] libiconv trouble? In-Reply-To: <346A5DD0-72DA-4F57-9746-1B0BB44C2609@gmail.com> References: <346A5DD0-72DA-4F57-9746-1B0BB44C2609@gmail.com> Message-ID: On Sat, Aug 15, 2015 at 4:26 PM, David Banas wrote: > Davids-MacBook-Air-2:tmp dbanas$ ghci > GHCi, version 7.10.2: http://www.haskell.org/ghc/ > > :? for help > : can't load .so/.DLL for: libiconv.dylib > (dlopen(libiconv.dylib, 5): image not found) > This seems odd. Did you set DYLD_LIBRARY_PATH in the environment? /usr/lib/libiconv.dylib should be present on all versions of OS X, except possibly (I can't check) the El Capitan public beta. -- brandon s allbery kf8nh sine nomine associates allbery.b at gmail.com ballbery at sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net -------------- next part -------------- An HTML attachment was scrubbed... URL: From capn.freako at gmail.com Sat Aug 15 20:42:27 2015 From: capn.freako at gmail.com (David Banas) Date: Sat, 15 Aug 2015 13:42:27 -0700 Subject: [Haskell] libiconv trouble? In-Reply-To: References: <346A5DD0-72DA-4F57-9746-1B0BB44C2609@gmail.com> Message-ID: No, but I did set two other, related environment variables, very recently: export LIBRARY_PATH="$HOME/anaconda/lib:$LIBRARY_PATH" export DYLD_FALLBACK_LIBRARY_PATH="/usr/local/lib:$HOME/anaconda/lib:/usr/local/bro/lib:$DYLD_FALLBACK_LIBRARY_PATH" and one of them must have been the problem, because when I comment out the two lines, above, in my .bash_profile file, ghci works fine. Thanks! On Aug 15, 2015, at 1:34 PM, Brandon Allbery wrote: > On Sat, Aug 15, 2015 at 4:26 PM, David Banas wrote: > Davids-MacBook-Air-2:tmp dbanas$ ghci > GHCi, version 7.10.2: http://www.haskell.org/ghc/ :? for help > : can't load .so/.DLL for: libiconv.dylib (dlopen(libiconv.dylib, 5): image not found) > > This seems odd. Did you set DYLD_LIBRARY_PATH in the environment? > > /usr/lib/libiconv.dylib should be present on all versions of OS X, except possibly (I can't check) the El Capitan public beta. > > -- > brandon s allbery kf8nh sine nomine associates > allbery.b at gmail.com ballbery at sinenomine.net > unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net -------------- next part -------------- An HTML attachment was scrubbed... URL: From capn.freako at gmail.com Sun Aug 16 14:22:38 2015 From: capn.freako at gmail.com (David Banas) Date: Sun, 16 Aug 2015 07:22:38 -0700 Subject: [Haskell] ANNOUNCE: broker-haskell v0.1 Message-ID: <3EA253A1-55FB-49B6-8617-D788930D96AD@gmail.com> The initial release of broker-haskell, a Haskell binding to Broker (libbroker), the messaging library for Bro, a network security tool. Provides: - Language.Broker After downloading/extracting compressed tarball: davids-air-2:broker-haskell-0.1.0.0 dbanas$ cabal configure --prefix=$HOME --user --enable-tests Resolving dependencies... Configuring broker-haskell-0.1.0.0... davids-air-2:broker-haskell-0.1.0.0 dbanas$ cabal build Building broker-haskell-0.1.0.0... Preprocessing library broker-haskell-0.1.0.0... [1 of 1] Compiling Language.Broker ( dist/build/Language/Broker.hs, dist/build/Language/Broker.o ) {Some warnings omitted.} In-place registering broker-haskell-0.1.0.0... Preprocessing test suite 'tests' for broker-haskell-0.1.0.0... [1 of 1] Compiling Main ( test.hs, dist/build/tests/tests-tmp/Main.o ) {Some warnings omitted.} Linking dist/build/tests/tests ... davids-air-2:broker-haskell-0.1.0.0 dbanas$ cabal test Preprocessing library broker-haskell-0.1.0.0... In-place registering broker-haskell-0.1.0.0... Preprocessing test suite 'tests' for broker-haskell-0.1.0.0... Running 1 test suites... Test suite tests: RUNNING... Test suite tests: PASS Test suite logged to: dist/test/broker-haskell-0.1.0.0-tests.log 1 of 1 test suites (1 of 1 test cases) passed. -------------- next part -------------- An HTML attachment was scrubbed... URL: From tarmo at cs.ioc.ee Mon Aug 17 13:39:24 2015 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Mon, 17 Aug 2015 16:39:24 +0300 Subject: [Haskell] ETAPS 2016 call for papers Message-ID: <20150817163924.634cf1de@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 nineteenth 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 calimeri at mat.unical.it Mon Aug 17 15:41:25 2015 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Mon, 17 Aug 2015 17:41:25 +0200 Subject: [Haskell] LPNMR 2015 - Call for participation Message-ID: [apologies for possible multiple copies] Call for Participation --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- REGISTRATION Registration procedure is available via http://www.cs.uky.edu/lpnmr2015/. Early registration closes before the end of July. AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. LPNMR 2015 The program will include three invited talks: - Stable Models for Temporal Theories - By Pedro Cabalar, University of Corunna, Spain - Algorithmic decision theory meets logic - By J?r?me Lang, Universit? Paris-Dauphine, France (Plenary session with ADT 2015). - Relational and Semantic Data Mining - By Nada Lavra?, Jo?ef Stefan Institute and University of Nova Gorica, Slovenia This edition of LPNMR will also feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Some details follow; full info are available via the official conference website http://lpnmr2015.mat.unical.it/. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen Website: https://sites.google.com/site/gttv2015/ - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee, Gail-Joon Ahn Website: https://sites.google.com/site/alpp2015/ - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller Website: https://sites.google.com/site/nlpar2015/ - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo Website: http://lnmr2015.insight-centre.org/ ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia More info: http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-consortium STUDENT SUPPORT GRANTS The organizing committee has limited funds to partially support students attending LPNMR, with priority to authors of accepted papers that are not funded by the doctoral consortium and have no other funding available. The funding will cover registration and partially cover stay in the conference hotel or some other hotel located nearby (the exact number of free nights to be determined). Applicants should submit their requests to lpnmr2015 at mat.unical.it. A proof of student status is requested. NOTE: Students planning to request financial aid should directly contact Miroslaw Truszczynski before they register. COMPLIMENTARY MEMBERSHIP OFFER FOR CONFERENCE REGISTRANTS NEW TO AAAI LPNMR 2015 is pleased to acknowledge its cooperation with the Association for the Advancement of Artificial Intelligence (AAAI) [http://www.aaai.org], which will be publicizing the conference to its membership. Of special interest to conference attendees is an introductory membership offer from AAAI, which provides a complimentary 1-year online membership to conference participants who are new to AAAI. Please send a message to membership15 at aaai.org for further details. VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. COMMITTEES GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Universit? di Udine, Italy Agust?n Valverde, Universidad de M?laga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Universit? di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Polit?cnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, Schlumberger Ltd Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Universit? della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, Aalto University, Finland Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Tran Cao Son, New Mexico State University, USA Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Nebraska at Omaha, USA CONTACT lpnmr2015 at mat.unical.it From ky3 at atamo.com Fri Aug 21 17:40:24 2015 From: ky3 at atamo.com (Kim-Ee Yeoh) Date: Sat, 22 Aug 2015 00:40:24 +0700 Subject: [Haskell] Haskell Weekly News Message-ID: *Top picks:* - Gabriel Gonzalez evaluates Haskell in the style of a State-of-the-Union address. He rates Haskell from Immature to Mature to Best-in-class under 28 headings, the first four being *Compilers,* *Server-side web programming,* *Scripting / Command-line applications,* and *Numerical programming.* He also recommends libraries and tutorials under each heading. Reverberations on Hacker News and /r/haskell . - Challenged over claims of FP productivity improvement, Douglas M. Auclair rattles off success stories from his previous work at various subsidiaries of the US Federal Gov fending for the taxpayer to the tune of billions of dollars. Nibbles of interest on Hacker News . - Aaron Wolf goes from zero programming directly to Haskell and writes of his experience. His favorite learning resource is the Haskell Wikibook , which he can improve as he reads. He is co-founder of Snowdrift.coop, a crowdfunding platform for freely-licensed works . The Haskell Reddit finds Aaron's testimony a change from the "Haskell is too hard for me" meme. - The season of introspection continues. On the heels of Hu, Hughes, and Wang on "How Functional Programming Mattered" (see previous HWN ); Michael Green, Kathleen Fisher, and David Walker track the ebb and flow of research topics in the conference proceedings of the Big Four: Principles of PL (POPL), PL Design and Implementation (PLDI), International Conference on FP (ICFP); and OOP, Systems, Languages, Apps (OOPSLA). No mention of Haskell but if you're looking for a brief history of PL research -- the slides are even more succinct -- this is the only data-driven survey you'll find. - Doug Beardsley reminds us that date-based version inference cannot replace the role of explicit version upper bounds. The reason? The package developer might not be using the latest version of its dependencies on the day they publish the work. Also, among the 72 comments of the /r/haskell convo , Doug observes that Stackage over-conservatively locks to a single version, whereas community-wide adherence to the Package Versioning Policy (PVP) of original hackage yields seamless delivery of bugfixes and improvements. - In less than a week, Xmonad will lose its issue tracking system. On Aug 24, Google Code goes read-only . Community heroes Brandon Allbery and Daniel Wagner work at grabbing a backup of the issues. Still no consensus over what and where to migrate to. - Mark Dominus delves into the bits and bytes of the 1999 Cosmic Call attempt by astrophysicists to contact aliens. He shows the visual bitmaps transmitted into space. Brent Yorgey writes to say he enjoys the 23-part series interspersed with little puzzles. *Quotes of the Week:* - Doug McIlroy : Conditional compilation is admitting defeat. - /u/kamatsu : I feel like the reason people find Haskell an eye-opening experience is because their CS education was deficient. - @wfaler : Is there a club to join when you silently sob at having to give your Monad Transformers Monad Transformers? Sounds a lot like #EnterpriseFP -- Kim-Ee -------------- next part -------------- An HTML attachment was scrubbed... URL: From manuel.hermenegildo at imdea.org Mon Aug 24 13:49:19 2015 From: manuel.hermenegildo at imdea.org (Manuel Hermenegildo) Date: Mon, 24 Aug 2015 15:49:19 +0200 Subject: [Haskell] CFP: 25th International Conference on Compiler Construction (CC) Message-ID: <21979.8415.243855.213582@gazelle.local> [ Please forward. Apologies for any duplicates. ] ******************************************************************************** CALL FOR PAPERS 25th International Conference on Compiler Construction (CC 2016) March 17-18 2016, Barcelona, Spain Co-located with CGO, HPCA, PPoPP, and EuroLLVM ******************************************************************************** Important dates --------------- Abstracts due: 13 November 2015 Papers due: 20 November 2015 Author notification: 27 January 2016 Camera ready versions: 10 February 2016 Conference: 17-18 March 2016 Information ----------- The International Conference on Compiler Construction (CC) is interested in work on processing programs in the most general sense: analyzing, transforming or executing input that describes how a system operates, including traditional compiler construction as a special case. Original contributions are solicited on the topics of interest which include, but are not limited to: - Compilation and interpretation techniques, including program representation, analysis, and transformation; code generation and optimization; - Run-time techniques, including memory management, virtual machines, and dynamic and just-in-time compilation; - Programming tools, including refactoring editors, checkers, verifiers, compilers, debuggers, and profilers; - Techniques for specific domains, such as secure, parallel, distributed, embedded or mobile environments; - Design and implementation of novel language constructs and programming models. CC 2016 is the 25th edition of the conference. It will be co-located with CGO, HPCA, PPoPP, and EuroLLVM on March 17-18 2016, in Barcelona, Spain. Submission ---------- Papers should be submitted electronically via EasyChair at https://easychair.org/conferences/?conf=cc2016. Papers must be written in English and be submitted in pdf in ACM SIGPLAN proceedings format (http://www.sigplan.org/Resources/Author/). The proceedings will be published in the ACM Digital Library and will be made available freely for the period around the conference. Both regular papers (up to 11 pages) and tool papers (up to 2 + 3 pages), are invited. In tool papers the first part (2 pages) should describe the tool and the second (3 pages) explain the contents of the demo that will be presented with examples and screenshots. Submissions must adhere strictly to the page limits, including bibliography, figures, or appendices. Submissions that are clearly too long may be rejected immediately. Additional material intended for reviewers but not for publication in the final version ( listings, data, proofs) may be included in a clearly marked appendix. Submitted papers must be unpublished and not be submitted for publication elsewhere. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Organizers ---------- General Chair Ayal Zaks Intel and Technion, Israel Program Committee Chair Manuel Hermenegildo IMDEA SW Institute and Technical U. of Madrid, Spain Program Committee Raj Barik, Intel Labs, Santa Clara, CA Uday Bondhugula, IIS Bangalore Maria Garzaran, U. of Illinois UC and Intel Laurie Hendren, McGill U. Manuel Hermenegildo, IMDEA and T.U. Madrid Xavier Leroy, INRIA Ondrej Lhotak, U of Waterloo Francesco Logozzo, Facebook Antoine Min?, Ecole Normale Sup?rieure, Paris Jose Morales, IMDEA SW Diego Novillo, Google Dorit Nuzman, Intel Haifa Jens Palsberg, UCLA Xipeng Shen, North Carolina State University Walid Taha, Rice U. Zheng Wang, Lancaster U. Steering Committee Koen De Bosschere, Ghent U. Bj?rn Franke, U. of Edinburgh Michael O'Boyle, U. of Edinburgh Albert Cohen, INRIA Web site http://cc2016.eew.technion.ac.il/ -- From calimeri at mat.unical.it Mon Aug 24 17:25:39 2015 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Mon, 24 Aug 2015 19:25:39 +0200 Subject: [Haskell] LPNMR 2015: Call for participation - Hotel Special rate DEADLINE Sep. 2nd, 2015 Message-ID: [apologies for possible multiple copies] Call for Participation ***Hotel Special rate DEADLINE Sep. 2nd*** --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- REGISTRATION Registration procedure is available via http://www.cs.uky.edu/lpnmr2015/. Hotel Special rate DEADLINE has been postponed to Sep. 2nd, 2015, and is available via http://lpnmr2015.mat.unical.it/hotel-reservations. AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. LPNMR 2015 The program will include three invited talks: - Stable Models for Temporal Theories - By Pedro Cabalar, University of Corunna, Spain - Algorithmic decision theory meets logic - By J?r?me Lang, Universit? Paris-Dauphine, France (Plenary session with ADT 2015). - Relational and Semantic Data Mining - By Nada Lavra?, Jo?ef Stefan Institute and University of Nova Gorica, Slovenia This edition of LPNMR will also feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Some details follow; full info are available via the official conference website http://lpnmr2015.mat.unical.it/. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen Website: https://sites.google.com/site/gttv2015/ - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee, Gail-Joon Ahn Website: https://sites.google.com/site/alpp2015/ - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller Website: https://sites.google.com/site/nlpar2015/ - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo Website: http://lnmr2015.insight-centre.org/ ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia More info: http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-consortium STUDENT SUPPORT GRANTS The organizing committee has limited funds to partially support students attending LPNMR, with priority to authors of accepted papers that are not funded by the doctoral consortium and have no other funding available. The funding will cover registration and partially cover stay in the conference hotel or some other hotel located nearby (the exact number of free nights to be determined). Applicants should submit their requests to lpnmr2015 at mat.unical.it. A proof of student status is requested. NOTE: Students planning to request financial aid should directly contact Miroslaw Truszczynski before they register. COMPLIMENTARY MEMBERSHIP OFFER FOR CONFERENCE REGISTRANTS NEW TO AAAI LPNMR 2015 is pleased to acknowledge its cooperation with the Association for the Advancement of Artificial Intelligence (AAAI) [http://www.aaai.org], which will be publicizing the conference to its membership. Of special interest to conference attendees is an introductory membership offer from AAAI, which provides a complimentary 1-year online membership to conference participants who are new to AAAI. Please send a message to membership15 at aaai.org for further details. VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. COMMITTEES GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Universit? di Udine, Italy Agust?n Valverde, Universidad de M?laga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Universit? di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Polit?cnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, Schlumberger Ltd Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Universit? della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, Aalto University, Finland Matthias Knorr, NOVA-LINCS, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Tran Cao Son, New Mexico State University, USA Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Nebraska at Omaha, USA CONTACT lpnmr2015 at mat.unical.it From cygnus at foobox.com Mon Aug 24 18:07:59 2015 From: cygnus at foobox.com (Jonathan Daugherty) Date: Mon, 24 Aug 2015 11:07:59 -0700 Subject: [Haskell] ANNOUNCE: brick 0.2 released Message-ID: <20150824180757.GA60116@galois.com> Hi, I'm happy to announce brick version 0.2, a declarative terminal UI library. This version includes many API changes, some bugfixes, and some performance improvements. I would really like to thank Simon Michael for considerable tire-kicking that resulted in a lot of improvements, and Sebastian Reu?e for fixing some nasty space leaks! You can read the full change log at https://github.com/jtdaugherty/brick/blob/master/CHANGELOG.md#02 and get it from Hackage at http://hackage.haskell.org/package/brick-0.2 Enjoy! -- Jonathan Daugherty From cma at bitemyapp.com Mon Aug 24 18:10:38 2015 From: cma at bitemyapp.com (Christopher Allen) Date: Mon, 24 Aug 2015 13:10:38 -0500 Subject: [Haskell] ANNOUNCE: brick 0.2 released In-Reply-To: <20150824180757.GA60116@galois.com> References: <20150824180757.GA60116@galois.com> Message-ID: I don't remember it being addressed in the initial release and this seems as good a time as any. Not having used vty-ui much (found it a bit forbidding to use for what I wanted at the time -- resorted to something very spare), what does brick improve upon in your eyes? As much detail as you have time for would be very much appreciated. :) Cheers, Chris Allen On Mon, Aug 24, 2015 at 1:07 PM, Jonathan Daugherty wrote: > Hi, > > I'm happy to announce brick version 0.2, a declarative terminal UI > library. This version includes many API changes, some bugfixes, and > some performance improvements. I would really like to thank Simon > Michael for considerable tire-kicking that resulted in a lot of > improvements, and Sebastian Reu?e for fixing some nasty space leaks! > > You can read the full change log at > > https://github.com/jtdaugherty/brick/blob/master/CHANGELOG.md#02 > > and get it from Hackage at > > http://hackage.haskell.org/package/brick-0.2 > > Enjoy! > > -- > Jonathan Daugherty > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -- Chris Allen Currently working on http://haskellbook.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From cygnus at foobox.com Mon Aug 24 18:18:25 2015 From: cygnus at foobox.com (Jonathan Daugherty) Date: Mon, 24 Aug 2015 11:18:25 -0700 Subject: [Haskell] ANNOUNCE: brick 0.2 released In-Reply-To: References: <20150824180757.GA60116@galois.com> Message-ID: <20150824181824.GB60116@galois.com> > I don't remember it being addressed in the initial release and this > seems as good a time as any. Not having used vty-ui much (found it a > bit forbidding to use for what I wanted at the time -- resorted to > something very spare), what does brick improve upon in your eyes? I took a totally different approach with brick. vty-ui is just a rehashing of ideas from existing graphical toolkits; everything was in IO and used IORefs, and it felt very much like programming GTK or QT: create a widget register event handlers, press Go. brick takes a pure-functional approach where it can, making the process of drawing the UI a pure function of your application state. (I like to say it was inspired by gloss in this respect, because gloss is a joy to use.) This makes it more lightweight and therefore less of a distraction. Apps written using brick are easier to refactor, more amenable to decomposition, etc. than those written using vty-ui. brick also gets in the way less if you want to use the underlying vty library more often. But if you haven't used vty-ui, then the comparison is somewhat moot; evaluate brick on its own merit. :) -- Jonathan Daugherty From storm at cwi.nl Mon Aug 24 19:51:38 2015 From: storm at cwi.nl (Tijs van der Storm) Date: Mon, 24 Aug 2015 21:51:38 +0200 Subject: [Haskell] SPLASH 2015 - 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 /************************************************************** 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 ** 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. http://2015.splashcon.org/track/plop2015 /************************************************************** 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 chak at justtesting.org Tue Aug 25 09:22:33 2015 From: chak at justtesting.org (Manuel M T Chakravarty) Date: Tue, 25 Aug 2015 19:22:33 +1000 Subject: [Haskell] ANNOUNCE: Haskell for Mac, 1.0 Message-ID: <2CBF8D01-C90A-465B-AB41-9BC11EBECDC6@justtesting.org> It is my great pleasure to announce Haskell for Mac http://haskellformac.com Haskell for Mac is an interactive Haskell development environment for OS X Yosemite that is trivial to install, easy to use, and that features Haskell playgrounds. Haskell playgrounds are very much like a persistent, constantly re-evaluated GHCi session. All Haskell commands are evaluated as you edit them, constantly displaying up-to-date results and type information. Moreover, Haskell playgrounds support rich interactive graphics and animations (based on the Rasterific, Diagram, and Chart packages as well as Apple?s 2D animation and games framework SpriteKit). Haskell for Mac is an advanced programming environment for an advanced language. Enjoy! Manuel PS: The focus of the first release is on learning and prototyping with minimal project management support (essentially equivalent to Cabal files with one executable section). From kei at lanl.gov Thu Aug 27 20:31:59 2015 From: kei at lanl.gov (Kei Davis) Date: Thu, 27 Aug 2015 14:31:59 -0600 Subject: [Haskell] Haskell hacking internships at Los Alamos National Laboratory (Spring 2016, undergraduate) Message-ID: <55DF73BF.7090401@lanl.gov> Hello, We have an ongoing project developing an auto-parallelizing pure functional language implementation loosely based on Haskell/STG. If you are a United States citizen or permanent resident alien studying computer science or mathematics at the undergraduate level with strong interests in Haskell programming, compiler/runtime development, and pursuing a spring semester (2016) internship at a national laboratory, this could be for you. We don't expect applicants to necessarily already be highly accomplished Haskell programmers--such an internship is expected to be a combination of further developing your programming/Haskell skills and putting them to good use. If you're already a strong C hacker we could use that too. The application process for spring semester internships is open here http://science.energy.gov/wdts/suli/. Note the deadline of Oct. 9. Email me if interested, and feel free to pass this along. -- Kei Davis Applied Computer Science Group CCS-7, Mail Stop B287 Los Alamos National Laboratory Los Alamos, NM 87545, U.S.A. From hjgtuyl at chello.nl Fri Aug 28 08:16:09 2015 From: hjgtuyl at chello.nl (Henk-Jan van Tuyl) Date: Fri, 28 Aug 2015 10:16:09 +0200 Subject: [Haskell] ANN: wxHaskell 0.92 Message-ID: L.S., I am happy to announce a new version of wxHaskell (0.92). What is it? ----------- wxHaskell[1] is a portable and native GUI library for Haskell. The goal of the project is to provide an industrial strength GUI library for Haskell, but without the burden of developing (and maintaining) one ourselves. wxHaskell is therefore built on top of wxWidgets ? a comprehensive C++ library that is portable across all major GUI platforms; including GTK, Windows, X11, and MacOS X. Furthermore, it is a mature library (in development since 1992) that supports a wide range of widgets with the native look-and-feel. What's new? ----------- - wxc/setup.hs now stops searching for wxWidgets when a compatible version is found (this solves bug ticket 96) - Support for simple Wizards added - Calendar support added - GCC > 4.5 can now be used on Windows, which is a big improvement, as wxWidgets and wxHaskell must use the exact same GCC, to prevent compatibility problems - wxAui is added to wxc, wxAuiNotebook events are added to wxcore and wx - Missing GLAttributes added - Packet version limits adapted to the newest Haskell Platform - Bitness check on Windows no longer uses an external executable - wxHaskell can now be installed with MSYS2 - wxc/Setup.hs is modified to also link to the wx OpenGL libraries for wxGLCanvas - The "warning: Adding duplicate image handler for '... file'" messages are removed - Created a new class Updating with corresponding event "update". Provided instances for TextCtrl and ComboBox: update gets called when the text changes. - Support for wxSplashScreen in wxc and wxcore is added - Many warnings are solved Links ----- See the homepage of wxHaskell for more information: https://wiki.haskell.org/WxHaskell The packages are: - wxc https://hackage.haskell.org/package/wxc - wxdirect https://hackage.haskell.org/package/wxdirect - wxcore https://hackage.haskell.org/package/wxcore - wx https://hackage.haskell.org/package/wx Regards, Henk-Jan van Tuyl [0] https://www.wxwidgets.org [1] https://wiki.haskell.org/WxHaskell -- Folding at home What if you could share your unused computer power to help find a cure? In just 5 minutes you can join the world's biggest networked computer and get us closer sooner. Watch the video. http://folding.stanford.edu/ http://Van.Tuyl.eu/ http://members.chello.nl/hjgtuyl/tourdemonad.html Haskell programming -- From oleg at okmij.org Sun Aug 30 08:08:00 2015 From: oleg at okmij.org (Oleg) Date: Sun, 30 Aug 2015 17:08:00 +0900 Subject: [Haskell] Final CFP: FLOPS 2016, International Symposium on Functional and Logic Programming Message-ID: <20150830080800.GA701@Magus.wifi-cloud.jp> NEW: revised submission deadlines (Sep 21 for abstracts, Sep 25 for papers) FLOPS 2016: March 3-6, 2016, Kochi, Japan Final Call For Papers http://www.info.kochi-tech.ac.jp/FLOPS2016/ Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. Scope FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, submissions must be written to be understandable by the wide audience of declarative programmers and researchers. Submission of system descriptions and declarative pearls are especially encouraged. Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy. The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series, as a printed volume as well as online in the digital library SpringerLink. Post-proceedings: The authors of 4-7 best papers will be invited to submit the extended version of their FLOPS paper to a special issue of the journal Science of Computer Programming (SCP). Important dates Monday, September 21, 2015 (any time zone): Abstract Submission Friday, September 25, 2015 (any time zone): Submission deadline (FIRM) Monday, November 16, 2015: Author notification March 3-6, 2016: FLOPS Symposium March 7-9, 2016: PPL Workshop Invited Talks - Kazunori UEDA (Waseda University) The exciting time and hard-won lessons of the Fifth Generation Computer Project - Atze Dijkstra (Utrecht University) UHC: Coping with Compiler Complexity Submission Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a Web page, or an appendix). Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2016 Program Committee Andreas Abel Gothenburg University, Sweden Lindsay Errington USA Makoto Hamana Gunma University, Japan Michael Hanus CAU Kiel, Germany Jacob Howe City University London, UK Makoto Kanazawa National Institute of Informatics, Japan Andy King University of Kent, UK (PC Co-Chair) Oleg Kiselyov Tohoku University, Japan (PC Co-Chair) Hsiang-Shang Ko National Institute of Informatics, Japan Julia Lawall Inria-Whisper, France Andres Loeh Well-Typed LLP, UK Anil Madhavapeddy Cambridge University, UK Jeff Polakow USA Marc Pouzet Ecole normale superieure, France Vitor Santos Costa Universidade do Porto, Portugal Tom Schrijvers KU Leuven, Belgium Zoltan Somogyi Australia Alwen Tiu Nanyang Technological University, Singapore Sam Tobin-Hochstadt Indiana University, USA Hongwei Xi Boston University, USA Neng-Fa Zhou CUNY Brooklyn College and Graduate Center, USA Organizers Andy King University of Kent, UK (PC Co-Chair) Oleg Kiselyov Tohoku University, Japan (PC Co-Chair) Yukiyoshi Kameyama University of Tsukuba, Japan (General Chair) Kiminori Matsuzaki Kochi University of Technology, Japan (Local Chair) flops2016 at logic.cs.tsukuba.ac dot jp From erwig at eecs.oregonstate.edu Sun Aug 30 18:31:15 2015 From: erwig at eecs.oregonstate.edu (Martin Erwig) Date: Sun, 30 Aug 2015 11:31:15 -0700 Subject: [Haskell] PEPM 2016: Final Call for Papers Message-ID: <05CE5F68-9B8A-4052-92ED-CDF1CE0D36A7@eecs.oregonstate.edu> FINAL CALL FOR PAPERS Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2016) St. Petersburg, Florida, January 18 - 19, 2016 http://conf.researchr.org/track/POPL-2016/pepm-2016-main The 2016 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continues efforts to expand the scope of PEPM beyond the traditionally covered areas of partial evaluation and specialization. Specifically, PEPM will include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. Topics of interest for PEPM?16 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. To maintain the dynamic and interactive nature of PEPM, we will continue the category of `short papers? for tool demonstrations and for presentations of exciting if not fully polished research, and of interesting academic, industrial and open-source applications that are new or unfamiliar. Student participants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses and other support. 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. All accepted papers, short papers included, will appear in formal proceedings published by ACM Press. Accepted papers will be included in the ACM Digital Library. Selected papers from PEPM?16 will be published in a special issue of the journal Science of Computer Programming. PEPM has also established a Best Paper Award. The winner will be announced at the workshop. Submission Categories and Guidelines Regular Research Papers must not exceed 12 pages in ACM Proceedings style (including appendix). Tool demonstration papers and short papers must not exceed 6 pages in ACM Proceedings style (including appendix). At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM?16 web site. Papers should be submitted electronically via EasyChair. easychair.org/conferences/?conf=pepm2016 Authors using LaTeX to prepare their submissions should use the new improved SIGPLAN proceedings style. Specifically, use the sigplanconf.cls 9pt template. Important Dates * Abstract submission: Tue, September 8, 2015 * Paper submission: Sun, September 13, 2015 (FIRM) * Author notification: Tue, October 20, 2015 * Camera ready copies: Fri, November 20, 2015 * Workshop: Monday, January 18 - Tuesday, January 19, 2016 Note: The paper submission deadline is firm. The above schedule is tight: We have absolutely no time to wait for late submissions, and we will have no deadline extension. From ezio.bartocci at tuwien.ac.at Mon Aug 31 16:09:13 2015 From: ezio.bartocci at tuwien.ac.at (Ezio Bartocci) Date: Mon, 31 Aug 2015 18:09:13 +0200 Subject: [Haskell] CPS Week 2016: CALL FOR WORKSHOP AND TUTORIAL PROPOSALS Message-ID: CALL FOR WORKSHOP AND TUTORIAL PROPOSALS Cyber-Physical Systems Week (CPS Week) April 11-14, 2016, Vienna, Austria http://www.cpsweek.org/2016/ ?????????????????????????????????? CPS Week is the premier event on Cyber-Physical Systems. It brings together four top conferences, HSCC, ICCPS, IPSN, and RTAS, 10-15 workshops, a localization competition, tutorials and various exhibitions from both industry and academia. Altogether the CPS Week program covers a multitude of complementary aspects of CPS, and reunites the leading researchers in this dynamic field. CPS Week 2016 in Vienna, Austria will host 10-15 workshops (subject to room availability) and 2-3 tutorials on Monday April 11 and is soliciting proposals for new and recurring workshops as well as for tutorials. CPS Week workshops are excellent opportunities to bring together researchers and practitioners from different communities to share their experiences in an interactive atmosphere and to foster collaboration for new and innovative projects. We invite you to submit workshop proposals on any topic related to the broad set of research, education, and application areas in cyber-physical systems. Guidelines for workshop proposals: ??????????????????????????????????? Proposals should be submitted at the latest by *** October 1, 2015 *** A workshop proposal consists of a 2-page maximum PDF file, including the following information: - A concise title of the workshop - Description of the topics and specific issues that the workshop will address, how the workshop complements CPSWeek conferences and why the workshop theme is relevant - Expected format of the workshop (regular paper presentations, poster presentations, invited talks, panel discussions, demo sessions, or other ideas to promote active exchange of ideas) - Organizers with short bio, affiliation, and their expertise in the proposed topic(s) - In case the workshop has been previously held, provide information to show that the previous edition(s) were successful in terms of paper submissions and/or attendance. Links to past workshop editions would be very helpful too. - Length of the workshop (half-day/one-day) and the expected number of participants - Follow-up plans (if any) to disseminate the ideas from the workshop, for example through proceedings or journal special issue Please submit your workshop proposal by email to the workshop and tutorial chairs Christoph Kirsch (ck at cs.uni-salzburg.at ) and Ana Sokolova (anas at cs.uni-salzburg.at ). Please write ?[CPSWeek 2016] Workshop Proposal" in the e-mail subject line. Guidelines for tutorial proposals: ??????????????????????????????????? Proposals should be submitted at the latest by *** October 1, 2015 *** A proposal consists of a 2-page maximum PDF file, including the following information on the tutorial program: - The title and abstract of the tutorial - An outline of tutorial content and objectives - Prerequisite knowledge - Organizers/Speakers with short bio, affiliation, and their expertise in the proposed topic(s) - In case the tutorial has been previously held, include information on the last tutorial of the same topic held within CPS Week or other conferences such as the year it was held and the number of attendees. A link to past tutorial would be very helpful too. - We envision tutorials to last for 3 hours. Please submit your tutorial proposal by email to the workshop and tutorial chairs Christoph Kirsch (ck at cs.uni-salzburg.at ) and Ana Sokolova (anas at cs.uni-salzburg.at ). Please write ?[CPSWeek 2016] Tutorial Proposal" in the e-mail subject line. ???????????????????????????????????? Notification of acceptance *** October 15, 2015 *** ???????????????????????????????????? -------------- next part -------------- An HTML attachment was scrubbed... URL: From ezio.bartocci at tuwien.ac.at Mon Aug 31 17:41:06 2015 From: ezio.bartocci at tuwien.ac.at (Ezio Bartocci) Date: Mon, 31 Aug 2015 19:41:06 +0200 Subject: [Haskell] Open Postdoc Position in formal methods applied to timed systems Message-ID: The Institute of Computer Engineering at Vienna (http://ti.tuwien.ac.at/) University of Technology is seeking a candidate for a postdoctoral research position (one year with the posibility to renew for up to other two years), starting as soon as possible. The successful applicant will carry out his/her postdoc in the research area of formal methods applied to the verification and synthesis of timed systems with faults and delays, including distributed systems. This task is part of the recently granted Austrian FWF National Research Network ?RiSE? (2nd funding period, http://arise.or.at/nfn/shine-organization-and-subprojects/), to be led by Ass.-Prof. Ezio Bartocci in collaboration with Prof. Ulrich Schmid and Prof. Radu Grosu and with the other PIs of RiSE: http://arise.or.at/principal-investigators/. Task Description (Task leader Ezio Bartocci): Modeling and Analysis of Parametric, Probabilistic and Parameterized Timed Systems (Applications). To master the overwhelming complexity of manual correctness proofs of continuous-time distributed systems, computer-aided methods that can deal with symbolic timing parameters (?parametric?) and symbolic system sizes (?parameterized?) are required. Besides the question of how to deal with the overwhelming complexity, answering the question of how to incorporate (probabilistic) faults will be addressed in collaboration with PP12 (Grosu), PP07 (Chatterjee) and PP11 (Kirsch). In order to extend our framework to also cover message-passing distributed systems with parameterized system size, novel abstraction techniques and/or cutoff results will be developed in a collaboration with PP03 (Veith). The specific requirements for this postdoc position are the following: A completed PhD in Computer Science Experience in developing tools Solid experience in timed automata and/or probabilistic timed automata (possibly parametric and/or parametrized) Very good English skills (writing, speaking) A promising publication record The Technische Universit?t Wien (TU Wien) has about 20,000 students and a heavy emphasis on research in the sciences and engineering. TU Wien comprises eight faculties - mathematics and geo-information, physics, technical chemistry, informatics, civil engineering, architecture and regional planning, mechanical engineering and business science, electrical engineering and information technology. The Faculty of Informatics of the TU Wien comprises about 3,000 students. The Institute of Computer Engineering (ICE) is one of its seven computer science institutes. The ICE?s research and teaching activities focus on the area of cyber-physical systems and dependable embedded systems. Our activities are at the heart of the primary research area Technische Informatik (Computer Engineering) of the Faculty of Informatics, and integrate computer science, discrete and continuous systems theory, and microelectronics in a holistic approach. Major research areas are hybrid systems, real-time systems, fault-tolerant distributed algorithms, and dependable digital circuit architectures. Particular research activities range from formal/mathematical modeling and analysis over SW/HW architectures to microcontroller programming and FPGA/VLSI design. Salary The salary of the postdoctoral researcher will be of around 49000 Euro gross per year. Applications, including any attachments, should be submitted by the 15th of September to the following emails: ezio.bartocci at tuwien.ac.at, s at ecs.tuwien.ac.at, radu.grosu at tuwien.ac.at. The following documents must be attached to the application: - Cover letter stating the candidate's motivation to apply, and the reason(s) why they should be selected for the position - A CV - Three publications that are deemed relevant to the postdoctoral project - Two reference letters Contact details For further information and enquiries about this post please contact Ezio Bartocci, e-mail: ezio.bartocci at tuwien.ac.at. -------------- next part -------------- An HTML attachment was scrubbed... URL: