July 2012 - Haskell - Haskell.org

ANNOUNCE: ioctl 0.0.1
by Maciej Piechotka 13 Sep '15

13 Sep '15

A package for type-safe I/O control. Currently only ioctl is supported. Currently simply a extract from my tuntap fork TODO: - Return the integer as well as structure (will break the API) - Port for Windows Network.Socket.IOCtl (as soon as I manage to setup some sane environment on this platform) - Wrapping around DeviceIoControl Example (in hsc): data NotRead = NotRead instance NotRead Int where ioctlReq _ = #const FIONREAD notRead s = ioctlsocket' s NotRead Regards

2 1

CFP: Term and Graph rewriting, special issue of MSCS
by Rachid Echahed 13 Feb '14

13 Feb '14

-------------------------------------------------------------------------- First Call for Papers Special Issue of Mathematical Structures in Computer Science (MSCS) on "TERM and GRAPH Rewriting" -------------------------------------------------------------------------- Scope -------------------------------------------------------------------------- Rewriting techniques constitute a foundational theory of computing science. They are being investigated for several structures such as lambda-terms, first-order terms or graphs and have been successfully used in many areas such as programming languages, automated reasoning, program verification, security, etc. This is witnessed by the leading international events ICGT, RTA or TLCA among others. During the last decade, a particular interest has been devoted to the study of the impact of shared structures in term and graph rewriting through the international editions of TERMGRAPH series of workshops. Sharing is indeed ubiquitous in several research areas, for instance: the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the modelling of biological or chemical abstract machines, the implementation techniques of programming languages. Term and graph rewriting are also used in automated theorem proving and symbolic computation systems working on shared structures... This special issue is devoted to recent developments in all aspects of TERM and GRAPH rewriting. This includes (but is not limited to): term rewriting, graph transformation, proof methods, programming languages, infinitary rewriting, rewrite strategies, semantics, properties of rewriting ... -------------------------------------------------------------------------- Submissions -------------------------------------------------------------------------- Submitted papers must be original and not submitted for publication elsewhere, and will be subject to the standard journal refereeing process of the Mathematical Structures in Computer Science (MSCS) journal. Submissions should be in pdf format following the MSCS instruction for contributors (http://assets.cambridge.org/MSC/MSC_ifc.pdf) and should be submitted electronically via the following easy-chair web site: https://www.easychair.org/conferences/?conf=mscsrewriting2012 -------------------------------------------------------------------------- Important Dates -------------------------------------------------------------------------- January 20, 2012 : Abstract submission February 20, 2012: Paper submission June 15, 2012 : Notification of acceptance -------------------------------------------------------------------------- Guest Editor: -------------------------------------------------------------------------- Rachid Echahed, CNRS LIG Lab., Grenoble, France echahed(a)imag.fr --------------------------------------------------------------------------

1 8

ICFP 2012: Second call for participation
by Wouter Swierstra 31 Jul '12

31 Jul '12

===================================================================== Second Call for Participation The 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012) and affiliated events http://www.icfpconference.org/icfp2012/ Copenhagen, Denmark, Sep 9-15, 2012 ===================================================================== There are less than ten days left until the early registration expires! ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. A full week dedicated to functional programming: 1 conference, 1 symposium, 9 workshops, 8 tutorials, programming contest results, student research contest * Program: http://icfpconference.org/icfp2012/program.html * Local arrangements (including travel and accommodation): http://icfpconference.org/icfp2012/local.html * Registration is available via: http://icfpconference.org/icfp2012/registration.html * Follow @icfp_conference on twitter for the latest news: http://twitter.com/#!/icfp_conference There are several events affiliated with ICFP: September 9 Workshop on Cross-paradigm Language Design and Implementation Workshop on Generic Programming Workshop on Higher-Order Programming with Effects Workshop on Logical Frameworks and Meta-languages: Theory and Practice September 10-12 ICFP - main conference September 13 Commercial Users of Functional Programming – Day 1 (CUFP Tutorials) Haskell Symposium Workshop on ML September 14 Commercial Users of Functional Programming – Day 2 (CUFP Tutorials) Erlang Workshop Haskell Implementors' Workshop OCaml Users and Developers Workshop September 15 Commercial Users of Functional Programming – Day 3 (CUFP Talks) Workshop on Functional High-Performance Computing Tutorial on Compiler Construction in Haskell Tutorial on the Grammatical Framework Conference organizers: * General Chair: Peter Thiemann, University of Freiburg * Program Chair: Robby Findler, Northwestern University * Local Arrangements Chair: Fritz Henglein, University of Copenhagen * Industrial Relations Chair: Andy Adams-Moran, Galois * Workshop Co-Chairs: Patrik Jansson, Chalmers University of Technology Gabriele Keller, University of New South Wales * Programming Contest Chair: Edwin Brady, University of St. Andrews Kevin Hammond, University of St. Andrews * Publicity Chair: Wouter Swierstra, Utrecht University * Video Chair: Malcolm Wallace, Standard Chartered Bank * Student Research Competition Chair: Doaitse Swierstra, Utrecht University =====================================================================

1 0

Spam on the Haskell wiki
by Gwern Branwen 31 Jul '12

31 Jul '12

I recently moved, and when I returned to the Internet a few days later, I was greeted with several hundred spam pages in Recent Changes. The torrent of spam has not let up, and I estimate that I have blocked 3-500 accounts and deleted as many pages. (I blocked another 5 or so while composing this email.) Certainly the deletion and block logs are long enough: - http://www.haskell.org/haskellwiki/index.php?title=Special%3ALog&type=delet… - http://www.haskell.org/haskellwiki/index.php?title=Special:Ipblocklist&limi… I have asked Ashley Yakeley to turn on additional anti-spam measures, but he has not been active on the wiki since January (http://www.haskell.org/haskellwiki/Special:Contributions/Ashley_Y http://www.haskell.org/haskellwiki/index.php?title=Special:Log&user=Ashley_Y) and has not replied to my talk messages or accompanying emails. I had to do this single-handedly as there are no other administrators. This took up a good chunk of today and yesterday, and the spam is continuing. I cannot handle it much longer: it's incredibly tedious and using up far more time than I have to give it. Measures need to be taken: 1. Email confirmation needs to be checked that Ashley did in fact enable it. I suspect he did not, since I also administrate the LessWrong wiki - which I know for certain has email confirmation is enabled - is being attacked by the same spammers (similar or identical templates & spam) but at a much reduced scale. 2. Additional administrators must be created. I suggest: - dons - Magnus Therning - Neil Mitchell - byorgey - Henk-Jan van Tuyl I am sure there are others who can be trusted. 3. Additional bureaucrats should be created. I suggest myself. 4. ReCAPTCHA enabled for 'edits adding new, unrecognized external links' - which is all of the spam. Further reading: http://www.mediawiki.org/wiki/Manual:Combating_spam & http://www.mediawiki.org/wiki/Anti-spam_features 5. if Ashley is inactive, his account may be a security risk. The English Wikipedia now removes administrator bits after a year of inactivity; we should consider a similar policy. None of these can be taken by myself, as I am neither a sysadmin on Haskell.org nor a bureaucrat on the wiki. If none of these steps are taken and spam continues to remain a problem in 2 months (15 September 2012), I will cease patrolling Recent Changes. I no longer have the time or patience. -- gwern http://www.gwern.net

4 4

ICFP 2012: Second call for participation
by Wouter Swierstra 31 Jul '12

31 Jul '12

===================================================================== Second Call for Participation The 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012) and affiliated events http://www.icfpconference.org/icfp2012/ Copenhagen, Denmark, Sep 9-15, 2012 ===================================================================== There are less than ten days left until the early registration expires! ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. A full week dedicated to functional programming: 1 conference, 1 symposium, 9 workshops, 8 tutorials, programming contest results, student research contest * Program: http://icfpconference.org/icfp2012/program.html * Local arrangements (including travel and accommodation): http://icfpconference.org/icfp2012/local.html * Registration is available via: http://icfpconference.org/icfp2012/registration.html * Follow @icfp_conference on twitter for the latest news: http://twitter.com/#!/icfp_conference There are several events affiliated with ICFP: September 9 Workshop on Cross-paradigm Language Design and Implementation Workshop on Generic Programming Workshop on Higher-Order Programming with Effects Workshop on Logical Frameworks and Meta-languages: Theory and Practice September 10-12 ICFP - main conference September 13 Commercial Users of Functional Programming – Day 1 (CUFP Tutorials) Haskell Symposium Workshop on ML September 14 Commercial Users of Functional Programming – Day 2 (CUFP Tutorials) Erlang Workshop Haskell Implementors' Workshop OCaml Users and Developers Workshop September 15 Commercial Users of Functional Programming – Day 3 (CUFP Talks) Workshop on Functional High-Performance Computing Tutorial on Compiler Construction in Haskell Tutorial on the Grammatical Framework Conference organizers: * General Chair: Peter Thiemann, University of Freiburg * Program Chair: Robby Findler, Northwestern University * Local Arrangements Chair: Fritz Henglein, University of Copenhagen * Industrial Relations Chair: Andy Adams-Moran, Galois * Workshop Co-Chairs: Patrik Jansson, Chalmers University of Technology Gabriele Keller, University of New South Wales * Programming Contest Chair: Edwin Brady, University of St. Andrews Kevin Hammond, University of St. Andrews * Publicity Chair: Wouter Swierstra, Utrecht University * Video Chair: Malcolm Wallace, Standard Chartered Bank * Student Research Competition Chair: Doaitse Swierstra, Utrecht University =====================================================================

1 0

Open PhD and Postdoc positions at the University of Marburg
by Klaus Ostermann 30 Jul '12

30 Jul '12

[Haskell developers are particularly encouraged to apply] Dear all, we are happy to announce that we have new openings at the PhD and PostDoc level. The Programming Language and Software Technology Group, headed by Klaus Ostermann, conducts research dedicated to developing new technologies that help to construct high-quality software in a productive way. We use and develop an exciting set of technologies involving functional, object-oriented, domain-specific and aspect-oriented programming languages, software product lines, parser technology, language-integrated queries, static and dynamic software analysis, type systems, and many other topics. For more information consult http://www.uni-marburg.de/fb12/ps/ We offer positions with a lot of freedom to choose and develop research topics, few obligations, collaboration with a very strong group of researchers, competitive salary, and opportunities to develop a strong academic career path. We expect PhD applicants to have demonstrated the potential for scientific excellence in areas related to our own research, and applicants for Postdoc positions to have published in high-quality venues related to our research domains. Knowledge of German is a plus but not required; the default communication language in our group is English. Marburg is an attractive small "student town" right in the center of Germany. We are only an hour ride away from Frankfurt Airport, which will bring you to many destinations worldwide in a single hop. To apply for a position, please send informal inquiries to Klaus Ostermann (contact data can be found on our website, or reply to this email). We are flexible with regard to the starting date, but generally the sooner the better. We are looking forward to hearing from you. Klaus Ostermann

1 0

Call for Participation: WLPE 2012
by Wim Vanhoof 30 Jul '12

30 Jul '12

[Apologies for multiple copies...] ----------------------------------------------------------- WLPE 2012 - CALL FOR PARTICIPATION *** EARLY REGISTRATION DEADLINE: July 31, 2012 *** ----------------------------------------------------------- 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/ ----------------------------------------------------------- IMPORTANT DATES * Deadline for early registration: July 31, 2012 * Deadline for regular registration: August 17, 2012 * WLPE 2012: September 8, 2012 Registration site is open: http://www.cs.bme.hu/iclp2012/Registration.html INVITED TALK WLPE 2012 will feature an invited talk by * Manuel Carro (Univ. Politécnica de Madrid) The proceedings of WLPE 2012 will be available in pdf format during the workshop. BACKGROUND AND SCOPE Software plays a crucial role in modern society. While the continuous advent of faster, smaller and more powerful computing devices makes the development of new and interesting applications feasible, it puts even more demands on the software developer. Having logic as the underlying formalism means that logic-based analysis techniques are often successfully used for program verification and optimization. Emerging programming paradigms and growing complexity of the properties to be verified pose new challenges for the community, while emerging reasoning techniques can be exploited. Moreover, extending the practical applicability of the existing approaches is an important task. The workshop aims at providing an informal meeting for researchers working on logic-based tools for development and analysis of programs. As in recent years the workshop topics include not only environmental tools for logic programming but increasingly also logic-based environmental tools for programming in general and frameworks and resources for sharing in the logic programming community. We hope to attain the same friendly atmosphere as in past workshops, which enabled fruitful exchanges leading to joint research and subsequent publications. Previous workshops on logic programming environments held in Ohio, USA (1989), Eilat, Israel (1990), Paris, France (1991), Washington, USA (1992), Vancouver, Canada (1993), Santa Margherita Ligure, Italy (1994), Portland, USA (1995), Leuven, Belgium and Port Jefferson, USA (1997), Las Cruces, USA (1999), Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai, India (2003), Saint Malo, France (2004), Sitges, Spain (2005), Seattle, Washington USA (2006), Porto, Portugal (2007), Udine, Italy (2008), Pasadena, USA (2009), Edinburgh, UK (2010), and Odense, Denmark (2011). Program committee ----------------- Salvador Abreu Universidade de Évora, Portugal Petra Hofstedt University of Technology Berlin, Germany Jacob Howe City University London, UK Yoshitaka Kameya Tokyo Institute of Technology, Japan Roland Kaminski Universität Postdam, Germany Lunjin Lu Oakland University, USA Alexander Serebrenik Eindhoven University of Technology, The Netherlands Peter Schneider-Kamp University of Southern Denmark, Denmark Zoltan Somogyi University of Melbourne, Australia Win Vanhoof University of Namur, Belgium Alicia Villanueva Universitat Politècnica de València, Spain Damiano Zanardini Universidad Politécnica de Madrid, Spain Workshop organizers ------------------- Win Vanhoof Faculty of Computer Science University of Namur Namur, Belgium Email: wlpe2012(a)dsic.upv.es Alicia Villanueva Department of Computer Science (DSIC) Universitat Politècnica de València Valencia, Spain Email: wlpe2012(a)dsic.upv.es

1 0

Haskell Weekly News: Issue 237
by Daniel Santa Cruz 26 Jul '12

26 Jul '12

Welcome to issue 237 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of July 15 to 21, 2012. Quotes of the Week * Eduard_Munteanu: Sufficiently advanced category theory is indistinguishable from trolling * Ralith just wait till I publish foldl'' / it is enterprise-ready Top Reddit Stories * Fay programming language — A strict subset of Haskell that compiles to JavaScript Domain: chrisdone.com, Score: 146, Comments: 83 On Reddit: [1] http://goo.gl/hQdvT Original: [2] http://goo.gl/0DDKv * Lambda-case and multi-way if added to GHC head (for 7.6.1) Domain: hackage.haskell.org, Score: 68, Comments: 71 On Reddit: [3] http://goo.gl/YGZeV Original: [4] http://goo.gl/hulnj * Purify code using free monads Domain: haskellforall.com, Score: 60, Comments: 47 On Reddit: [5] http://goo.gl/v8UPp Original: [6] http://goo.gl/fVtQY * Cloud Haskell Appetiser: an introductory glimpse at the new distributed-process package Domain: well-typed.com, Score: 38, Comments: 14 On Reddit: [7] http://goo.gl/zGI6e Original: [8] http://goo.gl/BlDQJ * Code Us Some Roguelike in Haskell (Part 2)! Domain: jamiltron.com, Score: 37, Comments: 6 On Reddit: [9] http://goo.gl/xPekY Original: [10] http://goo.gl/ZraR4 * The Power of Types Compels You Domain: paczesiowa.blogspot.com.au, Score: 33, Comments: 14 On Reddit: [11] http://goo.gl/NuZkM Original: [12] http://goo.gl/8djHL * RecordWildCards for localised module imports — what do you think? Domain: hpaste.org, Score: 30, Comments: 48 On Reddit: [13] http://goo.gl/L0WLp Original: [14] http://goo.gl/O8y1M * FRP - Translated slides from tutorial session Domain: apfelmus.nfshost.com, Score: 28, Comments: On Reddit: [15] http://goo.gl/9sNHU Original: [16] http://goo.gl/kqCWu * [PDF] First-Class Modules -- What happened? Domain: research.microsoft.com, Score: 27, Comments: 9 On Reddit: [17] http://goo.gl/V53sj Original: [18] http://goo.gl/JSFjJ * First class modules without defaults Domain: haskellforall.com, Score: 23, Comments: 27 On Reddit: [19] http://goo.gl/1Q7B8 Original: [20] http://goo.gl/rbS9u * gotchas with -threaded GHC runtime: accessing a MVar after forkprocess Domain: joeyh.name, Score: 22, Comments: 4 On Reddit: [21] http://goo.gl/gpu1j Original: [22] http://goo.gl/ievD1 * A Tutorial on the Curry-Howard Correspondence Domain: wellnowwhat.net, Score: 20, Comments: 11 On Reddit: [23] http://goo.gl/5jHMT Original: [24] http://goo.gl/2lDg8 * The Haskell Implementors Workshop 2012 Programme is out! Domain: haskell.org, Score: 20, Comments: 6 On Reddit: [25] http://goo.gl/3q0Y3 Original: [26] http://goo.gl/pEvww * Minimize your cloud costs with GLPK: linear programming Domain: chrisstucchio.com, Score: 18, Comments: 2 On Reddit: [27] http://goo.gl/a1Awm Original: [28] http://goo.gl/pJUrt Top StackOverflow Questions * Profiling the cost of polymorphism? votes: 16, answers: 1 Read on SO: [29] http://goo.gl/en8Ab * hackage.haskell.org documentation convention meaning votes: 13, answers: 1 Read on SO: [30] http://goo.gl/knlpX * What is the 'Const' applicative functor useful for? votes: 13, answers: 2 Read on SO: [31] http://goo.gl/iGFgu * Why does State need a value? votes: 11, answers: 6 Read on SO: [32] http://goo.gl/BBvLN * Haskell module naming conventions votes: 9, answers: 2 Read on SO: [33] http://goo.gl/bTPSr * Haskell RSS, mail and XML library choices votes: 8, answers: 0 Read on SO: [34] http://goo.gl/4Jj0u * Haskell: Equality constraint in instance votes: 8, answers: 1 Read on SO: [35] http://goo.gl/GnS3X * Profiling a Haskell program votes: 8, answers: 4 Read on SO: [36] http://goo.gl/Z3DXo * How can I turn either a Unix POSIX file descriptor or standard input Handle into a Socket? votes: 7, answers: 2 Read on SO: [37] http://goo.gl/sIyf2 * Reify a module into a record votes: 7, answers: 1 Read on SO: [38] http://goo.gl/Q9QDQ * ByteStrings in Haskell: should I use Put or Builder? votes: 6, answers: 2 Read on SO: [39] http://goo.gl/lhtGW Until next time, Daniel Santa Cruz References 1. http://chrisdone.com/fay/ 2. http://www.reddit.com/r/haskell/comments/wxi3l/fay_programming_language_a_s… 3. http://hackage.haskell.org/trac/ghc/ticket/4359#comment:87 4. http://www.reddit.com/r/haskell/comments/wp70x/lambdacase_and_multiway_if_a… 5. http://www.haskellforall.com/2012/07/purify-code-using-free-monads.html 6. http://www.reddit.com/r/haskell/comments/wtix3/purify_code_using_free_monad… 7. http://www.well-typed.com/blog/68 8. http://www.reddit.com/r/haskell/comments/wx0im/cloud_haskell_appetiser_an_i… 9. http://jamiltron.com/2012/07/Code_Us_Some_Roguelike2.html 10. http://www.reddit.com/r/haskell/comments/wwiar/code_us_some_roguelike_in_ha… 11. http://paczesiowa.blogspot.com.au/2010/03/generalized-zipwithn.html 12. http://www.reddit.com/r/haskell/comments/wr52t/the_power_of_types_compels_y… 13. http://hpaste.org/71626 14. http://www.reddit.com/r/haskell/comments/wp229/recordwildcards_for_localise… 15. http://apfelmus.nfshost.com/blog/2012/07/15-frp-tutorial-slides.html 16. http://www.reddit.com/r/haskell/comments/wmt58/frp_translated_slides_from_t… 17. http://research.microsoft.com/en-us/um/people/simonpj/Papers/first-class-mo… 18. http://www.reddit.com/r/haskell/comments/wpeam/pdf_firstclass_modules_what_… 19. http://www.haskellforall.com/2012/07/first-class-modules-without-defaults.h… 20. http://www.reddit.com/r/haskell/comments/wtx32/first_class_modules_without_… 21. http://joeyh.name/blog/entry/ghc_threaded_runtime_gotchas/ 22. http://www.reddit.com/r/haskell/comments/wxfp9/gotchas_with_threaded_ghc_ru… 23. http://wellnowwhat.net/Programming/Curry-Howard.pdf 24. http://www.reddit.com/r/haskell/comments/wpu3e/a_tutorial_on_the_curryhowar… 25. http://www.haskell.org/haskellwiki/HaskellImplementorsWorkshop/2012#Program… 26. http://www.reddit.com/r/haskell/comments/wr2h6/the_haskell_implementors_wor… 27. http://www.chrisstucchio.com/blog/2012/linear_programming.html 28. http://www.reddit.com/r/haskell/comments/wnegn/minimize_your_cloud_costs_wi… 29. http://stackoverflow.com/questions/11538977/profiling-the-cost-of-polymorph… 30. http://stackoverflow.com/questions/11526701/hackage-haskell-org-documentati… 31. http://stackoverflow.com/questions/11532050/what-is-the-const-applicative-f… 32. http://stackoverflow.com/questions/11583489/why-does-state-need-a-value 33. http://stackoverflow.com/questions/11594983/haskell-module-naming-conventio… 34. http://stackoverflow.com/questions/11495877/haskell-rss-mail-and-xml-librar… 35. http://stackoverflow.com/questions/11553705/haskell-equality-constraint-in-… 36. http://stackoverflow.com/questions/11594481/profiling-a-haskell-program 37. http://stackoverflow.com/questions/11558584/how-can-i-turn-either-a-unix-po… 38. http://stackoverflow.com/questions/11571520/reify-a-module-into-a-record 39. http://stackoverflow.com/questions/11512313/bytestrings-in-haskell-should-i…

1 0

PLPV 2013 First Call for Papers
by Andreas Abel 25 Jul '12

25 Jul '12

The Seventh ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV 2013) http://plpv.tcs.ifi.lmu.de/ 22nd January, 2013 Rome, Italy (Affiliated with POPL 2013) Call for Papers Overview The goal of PLPV is to foster and stimulate research at the intersection of programming languages and program verification, by bringing together experts from diverse areas like types, contracts, interactive theorem proving, model checking and program analysis. Work in this area typically attempts to reduce the burden of program verification by taking advantage of particular semantic or structural properties of the programming language. One example are dependently typed programming languages, which leverage a language's type system to specify and check rich specifications. Another example are extended static checking systems which incorporate contracts with either static or dynamic contract checking. We invite submissions on all aspects, both theoretical and practical, of the integration of programming language and program verification technology. To encourage interaction between different communities, we seek a broad scope for PLPV. In particular, submissions may have diverse foundations for verification (based on types, Hoare-logic, abstract interpretation, etc), target different kinds of programming languages (functional, imperative, object-oriented, etc), and apply to diverse kinds of program properties (data structure invariants, security properties, temporal protocols, resource constraints, etc). Important Dates Submission 8th October, 2012 (Monday) Notification 1st November, 2012 (Thursday) Final Version 8th November, 2012 (Thursday) Workshop 22nd January, 2013 (Tuesday) Submissions We seek submissions of up to 12 pages related to the above topics; shorter submissions are also welcome. Submissions may describe new work, propose new challenge problems for language-based verification techniques, or present a known idea in an elegant way (i.e., a pearl). Submissions should be prepared with SIGPLAN two-column conference format. Submitted papers must adhere to the SIGPLAN republication policy. Concurrent submissions to other workshops, conferences, journals, or similar forums of publication are not allowed. To submit a paper, access the online submission site at http://www.easychair.org/conferences/?conf=plpv2013. Publication Accepted papers will be published by the ACM and will appear in the ACM Digital library. Program Committee Andreas Abel Ludwig-Maximilians-University Munich (co-chair) Robert Atkey University of Strathclyde Harley Eades The University of Iowa Chung-Kil Hur Max Planck Institute for Software Systems Brigitte Pientka McGill University Andrew Pitts University of Cambridge François Pottier INRIA Tim Sheard Portland State University (co-chair) Makoto Takeyama Advanced Industrial Science and Technology -- Andreas Abel <>< Du bist der geliebte Mensch. Theoretical Computer Science, University of Munich Oettingenstr. 67, D-80538 Munich, GERMANY andreas.abel(a)ifi.lmu.de http://www2.tcs.ifi.lmu.de/~abel/

1 0

FHPC 2012: ACM SIGPLAN Workshop on Functional High Performance Computing
by Clemens Grelck 23 Jul '12

23 Jul '12

====================================================================== CALL FOR PARTICIPATION FHPC 2012 ACM SIGPLAN Workshop on Functional High Performance Computing Copenhagen, Denmark September 15th, 2012 http://www.hiperfit.dk/fhpc12/ Co-located with the International Conference on Functional Programming (ICFP 2012) ====================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative, high-level) programming technology in application domains where large-scale computations arise naturally and high performance is essential. It is becoming apparent that radically new and well founded methodologies for programming such systems are required to address their inherent complexity and to reconcile execution performance with programming productivity. The aim of the workshop is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as highly transparent, maintainable, and portable code that approaches (or even exceeds) the performance of machine-oriented imperative implementations. The 2012 FHPC workshop comes with a particular theme motivated by geographic co-location with the newly established HIPERFIT Research Centre for Functional High-Performance Computing for Financial Information Technology (www.hiperfit.dk) at the University of Copenhagen. Hence, we particularly encouragedsubmissions with a background in computational finance. Notwithstanding, the workshop welcomed submissions from other application domains as much as general-purpose work on the theory and practice of declarative approaches to high-performance computing. ====================================================================== ACCEPTED PAPERS AND PROGRAMME: * http://www.hiperfit.dk/fhpc12/ ====================================================================== REGISTRATION IS NOW OPEN: * http://www.icfpconference.org/icfp2012/registration.html * Early registration deadline: August 9th, 2012 ====================================================================== LOCAL ARRANGEMENTS: * http://www.icfpconference.org/icfp2012/local.html ====================================================================== Looking forward to seeing you in Copenhagen, Andrzej Filinksi and Clemens Grelck FHPC 2012 Chairs ====================================================================== -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 www.science.uva.nl/~grelck ----------------------------------------------------------------------

1 0