http://permalink.gmane.org/gmane.comp.lang.haskell.general hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://permalink.gmane.org/gmane.comp.lang.haskell.general/19322 <pre>We have a vacancy in functional programming at St Andrews, supporting the existing research team and engaging with other groups in the School. The deadline is June 22nd. Please forward to any of your colleagues who may be good candidates and/or point me at anyone who you think may be a good candidate! https://www.vacancies.st-andrews.ac.uk//ViewVacancy.aspx?enc=mEgrBL4XQK0+ld8aNkwYmP7j9uKB0Q3XDyDQqVA9vP1JLwBKRtw4rNHXJis9NOK7tfyZGpjmqWuqi2gq2EDJAA== Best Wishes, Kevin -------- Kevin Hammond, Professor of Computer Science, University of St Andrews T: +44-1334 463241 F: +44-1334-463278 W: http://www.cs.st-andrews.ac.uk/~kh In accordance with University policy on electronic mail, this email reflects the opinions of the individual concerned, may contain confidential or copyright information that should not be copied or distributed without permission, may be of a private or personal nature unless explicitly indicated otherwise, and should not under any circumstances be taken as an official statement o</pre> Kevin Hammond 2012-05-25T19:45:59 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19321 <pre>Welcome to issue 228 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of May 13 to 19, 2012. Announcements Stefan Wehr issued a call for presentations for the Commercial Users of Functional Programmers (CUFP 2012) conference to be held in Copenhagen, Denmark during September 13 to 15, 2012. [1] http://goo.gl/Rl1T9 Quotes of the Week * hpc measures understanding in angstroms per (second * liter) ^ (1/15) Top Reddit Stories * ANNOUNCE: forthcoming O'Reilly book on Parallel and Concurrent Haskell Domain: haskell.org, Score: 101, Comments: 13 On Reddit: [2] http://goo.gl/UY9L6 Original: [3] http://goo.gl/oqLo6 * GHC 7.6 will have support for deferred type errors Domain: hackage.haskell.org, Score: 55, Comments: 4 On Reddit: [4] http://goo.gl/sPknX Original: [5] http://goo.gl/ieM9s * What happens when you mix three research programming languages together Domain: blog.ezyang.</pre> Daniel Santa Cruz 2012-05-24T01:29:14 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19320 <pre>CALL FOR PARTICIPATION 11th International Conference on Mathematics of Program Construction (MPC 2012) Madrid, Spain, 25-27 June 2012 http://babel.ls.fi.upm.es/mpc2012 Hotel rooms reserved until: *** 30th May 2012 *** Early registration deadline: *** 6th June 2012 *** BACKGROUND The biennial MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted. The 2012 MPC conference will be held in Madrid, Spain, from 25th to 27th June 2012. VENUE The conference will take place in Madrid, the capital of Spain, in the Sala de Grados of the Facultad de Informática of Universidad Complutense de Madrid, right in Madrid's Ciudad Universitaria (city campus), not far from the city centre and other major tourist attractions. Accommodation has been reserved in a nearby 4-star hotel, the VP Jardin Metropolitano. REGISTRATION Conference registration is now open; see h</pre> Jeremy.Gibbons< at >cs.ox.ac.uk 2012-05-23T21:35:01 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19319 <pre> ============================================================ LOPSTR'12 DEADLINE EXTENSION 22nd International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2012 http://costa.ls.fi.upm.es/lopstr12 Leuven, Belgium, September 18-20, 2012 NEW DEADLINES Abstract submission: June 4, 2012 Paper submission: June 10, 2012 ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 22nd International Symposium on Logic-based Prog</pre> Jon Sneyers 2012-05-23T12:44:12 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19318 <pre>------------------------------------------------------------------------------- CALL FOR PAPERS 24th Symposium on Implementation and Application of Functional Languages (IFL 2012) University of Oxford, UK, August 30-September 1, 2012 http://www.cs.ox.ac.uk/conferences/IFL2012/ This year IFL will be hosted by the University of Oxford, within the idyllic setting of the dreaming spires and picturesque colleges, which have been the home to academic endeavour and research for over nine centuries. The symposium will be held between 30 August and 1 September, 2012. 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 2012 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 a</pre> Tom Harper 2012-05-23T11:15:35 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19316 <pre>Dear all [apologies for multiple copies] as part of the summer school on FUNCTIONAL PROGRAMMING FOR PARALLEL AND CONCURRENT APPLICATIONS 11-22 June 2012, Castle of Cadarache, Saint Paul Lez Durance, France http://www-hpc.cea.fr/SummerSchools2012-CS.htm we organise an informal meeting between programmers living in the region on the evening of Monday, June 18. If you want to join, please send Olivier Boudeville (olivier . boudeville (at) edf . fr) a note so that we can properly dimension the appetisers. Also, there are a few places still available to attend the school (deadline: may 30 ) Best -francesco </pre> Francesco Zappa Nardelli 2012-05-23T09:42:08 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19311 <pre>Hi everyone, just a quick reminder: the talk submission proposal for this year's CUPF is 29 June 2012. If you have something interesting to say about commercial applications of functional programming languages (especially Haskell, of course!), please submit a proposal. Thanks, Stefan COMMERCIAL USERS OF FUNCTIONAL PROGRAMMING 2012 CUFP 2012 http://cufp.org/conference CALL FOR PRESENTATIONS Copenhagen, Denmark Sep 13-15 Co-located with ICFP 2012 Sponsored by SIGPLAN Talk Proposal Submission Deadline 29 June 2012 The annual CUFP workshop is a place where people can see how others are using functional programming to solve real world problems; where practitioners meet and collaborate; where language designers and users can share ideas about the future of their favorite language; and where one can learn practical techniques and approaches for putting functional programming to work. Giving a CUFP Talk ================== If you have ex</pre> Stefan Wehr 2012-05-21T18:34:59 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19310 <pre>[Apologies for multiple copies...] ----------------------------------------------------------- WLPE 2012 - CALL FOR PAPERS Workshop on Logic-based Methods in Programming Environments (satellite workshop of ICLP 2012) September 8, 2012 Budapest, Hungary http://users.dsic.upv.es/workshops/wlpe2012/ ----------------------------------------------------------- The workshop aims at providing an informal meeting for researchers working on logic-based tools for development and analysis of programs. In addition to papers describing more conceptual work on environmental tools, we solicit papers describing the implementation of and experimentation with such tools. We hope to attain the same friendly atmosphere as in past workshops, which enabled fruitful exchanges leading to joint research and subsequent publications. Areas particularly relevant to the workshop include: * static and dynamic analysis </pre> Wim Vanhoof 2012-05-21T06:57:36 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19309 <pre>====== CALL FOR PARTICIPATION ================================================== 24th International Conference on Computer Aided Verification (CAV 2012) July 7-13, 2012 Berkeley, California, USA Program Chairs: Madhusudan Parathasarathy and Sanjit A. Seshia Website: http://cav12.cs.illinois.edu/ Aims and Scope -------------------------------------------------------------------------------- The conference on Computer Aided Verification (CAV), 2012, is the 24th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the confe</pre> CAV 2012 CFP 2012-05-17T19:43:45 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19308 <pre>Hi Takayuki, I don't think your suggestion is rude at all. In fact, several of us at Indiana University have been hard at work extending the Par Monad [1] to support heterogeneous parallelism across SMP, GPU, and distributed execution resources. Our system is called Meta-Par; it's available on hackage [2], and a submitted draft paper is available [3]. Ryan Newton also wrote up a tutorial in a blog post [4]. Right now the distributed implementation is quite experimental, but the underlying infrastructure is improving quickly [5]. Hopefully it'll be in shape to feature in Simon's exciting new project! Cheers, Adam [1]: http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/monad-par.pdf [2]: http://hackage.haskell.org/package/meta-par [3]: http://www.cs.indiana.edu/~rrnewton/papers/meta-par_submission.pdf [4]: http://parfunk.blogspot.com/2012/05/how-to-write-hybrid-cpugpu-programs.html [5]: https://github.com/haskell-distributed/distributed-process/commits/master On Thu, May 17, 2012 at 11</pre> Adam Foltzer 2012-05-17T17:49:54 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19307 <pre>Hi Simon, I'm Takayuki Muranushi, a researcher in Kyoto university writing a domain-specific parallel programming language http://paraiso-lang.org/wiki/ in Haskell. I've always been attracted to parallel aspects of Haskell and I definitely would like to read the book!! As you encouragingly ask for suggestions let me say something rude --- at least ambitious. One thing I'm interested in is distributed computation in Haskell. Haskell's pureness and other aspects have made multicore programming as easy as single-thread programming in many ways. How does this apply to multiple computer system, that is widely used in business and scientific computations. The other thing I'm interested in is parallel computation in exotic hardwares, such as GPUs and FPGAs. These may exceed the scope of the book --- then I'm looking forward to future conferences and development of diverse parallelism in Haskell. It have helped me so much. Best, Takayuki 2012/5/17 Simon Marlow &lt;marlowsd&lt; at &gt;gmail.com&gt;: </pre> Takayuki Muranushi 2012-05-17T15:20:52 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19306 <pre>Congratulations! I'm really looking forward to reading this. Tom On May 17, 2012 5:22 AM, "Simon Marlow" &lt;marlowsd&lt; at &gt;gmail.com&gt; wrote: _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> Tom Murphy 2012-05-17T13:21:29 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19305 <pre>I'm delighted to announce that O'Reilly have agreed to publish a book on Parallel and Concurrent Haskell authored by me. The plan is to make a significantly revised and extended version of the Parallel and Concurrent Haskell tutorial from CEFP'11: http://community.haskell.org/~simonmar/bib/par-tutorial-cefp-2012_abstract.html The book will be published in both hardcopy and electronic formats, and will also be available online under a Creative Commons license (Attribution-NonCommercial-NoDerivs 3.0). There will be some mechanism for people to see and comment on early drafts, but I don't know the details yet. When will it be done? I can't say for sure, but the tentative date for completion is March 2013. I'm really keen for this to be a book that will be useful to people both learning about parallelism and concurrency in Haskell, and coding stuff for real-world use. If there are topics or application areas that you'd like to see covered, or any other suggestions, please let me know. All co</pre> Simon Marlow 2012-05-17T09:21:58 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19304 <pre>Welcome to issue 227 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of May 6 to 12, 2012. Announcements Doaitse Swierstra reminded us about the Summer School on Applied Functional Programming, at Utrech University. Hurry to check it out, as the deadline for registration is May 20th! [1] http://goo.gl/TZYdd Janis Voigtlander announced the release of the 22nd edition of the Haskell Communities and Activities Report. [2] http://goo.gl/pXIZn Quotes of the Week * dcoutts: (on #darcs): "[on github:] it's like the facebook of source repos" * dmwit: "Functional programming" is a technical term that means more than just what the two words mean separately. * Axman6: "GHC Warning: Did you see that in an OOP textbook? You probably don't want to be doing that" * StevenKaas: Haskell's Wager: what if infinite lists can suffer infinitely even when lazily evaluated? * quicksilv</pre> Daniel Santa Cruz 2012-05-17T01:11:07 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19302 <pre> CALL FOR TALK PROPOSALS HOPE 2012 The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 9, 2012 Copenhagen, Denmark (the day before ICFP 2012) http://hope2012.mpi-sws.org HOPE is a *new workshop* that is intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. This 1st edition of HOPE is dedicated to John Reynolds, whose work is an inspiration to us all. --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, cont</pre> Amal Ahmed 2012-05-16T19:05:13 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19301 <pre>For any Australian Haskellers (or indeed anyone that feels willing to come from wherever you may hail) who have _not_ yet received an email, seen it on Reddit or Google+ but is interested in attending AusHac 2012, we are currently trying to determine which weekend in July best suits everyone. So if you're interested in coming, please fill out the form at http://tinyurl.com/AusHac2012PreferredDates This year we're going to hold AusHac in central Sydney (thanks to Atlassian putting their offices at our disposal!) rather than UNSW, which should make transport and accommodation easier for people. AusHac is open to anyone interested in Haskell, from a complete newbie to one of the Simons. We don't have any specific themes or projects to work on; instead just come along and hack on whatever takes your fancy. </pre> Ivan Lazar Miljenovic 2012-05-16T01:33:44 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19300 <pre>===================================================================== Call for papers 14th International Symposium on Principles and Practice of Declarative Programming PPDP 2012 Special Issue of Science of Computer Programming (SCP) Leuven, Belgium, September 18-20, 2012 (co-located with LOPSTR 2012) ====================================================================== PPDP 2012 is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analysing computations, including mechanisms for mobili</pre> Jon Sneyers 2012-05-14T11:21:47 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19299 <pre> ============================================================ Call for papers 22nd International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2012 http://costa.ls.fi.upm.es/lopstr12 Leuven, Belgium, September 18-20, 2012 (co-located with PPDP 2012) ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 22nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 20</pre> Jon Sneyers 2012-05-14T11:21:27 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19297 <pre>Hi, The release timetable http://trac.haskell.org/haskell-platform/wiki/ReleaseTimetable says there will be a new release of the Haskell Platform in May. Can someone give an update on this? Many thanks, Dominic. </pre> Dominic Steinitz 2012-05-13T18:02:11 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19296 <pre>[apologies for any cross-posting] ........................................................................ 4th OPEN Answer Set Programming Competition 2013 Call for Benchmark Problems University of Calabria - Vienna University of Technology Fall/Winter 2012/2013 http://aspcomp2013.mat.unical.it/ ........................................................................ The 4th Open Answer Set Programming Competition is open to ASP systems and *any other system* based on a declarative specification paradigm. The event is currently open and in the Call for Benchmarks stage. == Call for Benchmark Problems == Participants will compete on a selected collection of declarative specifications of benchmark problems, taken from a variety of domains as well as real world applications, and instances thereof. These include, but are not limited to: - Deductive database tasks on large data-sets - Sequential and Temporal Planning - Classic and Applicative graph problems - Puzzles and Combinatorics</pre> Francesco Calimeri 2012-05-12T13:33:10 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19294 <pre>On behalf of all the contributors, I am pleased to announce that the Haskell Communities and Activities Report (22nd edition, May 2012) is now available in PDF and HTML formats: http://haskell.org/communities/05-2012/report.pdf http://haskell.org/communities/05-2012/html/report.html Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. I hope you will find it as interesting a read as I did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summari</pre> Janis Voigtländer 2012-05-11T22:45:35 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.haskell.general