- Haskell - Haskell.org

Haskell dev role in Strats at Standard Chartered (Singapore)
by Don Stewart 03 Jun '15

03 Jun '15

I have an open position for a Haskell developer to join Standard Chartered's Strats team in Singapore. More details at: https://donsbot.wordpress.com/2015/06/03/haskell-dev-role-in-strats-at-stan… -- Don

1 0

A Dockerfile to provision a build environment for an Android game written in Haskell
by Sean Seefried 01 Jun '15

01 Jun '15

Fellow Haskell users! For the last few months I've been working on a small game targeting Android devices. It's still in development and will probably change radically from what I've already done. However, in the process of developing this game I've managed to develop a Dockerfile that will provision a build environment to build the game, which I think is worth releasing to the Haskell community right away. I'd appreciate some assistance in validating that it, in fact, works. The repo containing the Dockerfile is hosted at: https://github.com/sseefried/docker-epidemic-build-env The repo containing the game is: https://github.com/sseefried/open-epidemic-game Please use the latest version of Docker when you attempt to build this, at least version 1.6. Be aware that this will take a long time to build. You will need to download an image from THe Docker Hub Registry that is about 1.1G and then pull down even more files when building all the C and Haskell libraries. Be patient and if you have any issues please let me know via GitHub. Oh, and if you want to see a demo of what you are building click here: https://goo.gl/FZFPsm (It's a very simple game at present. Don't expect too much.) Enjoy! Sean

1 0

ANNOUNCE: Haskell Communities and Activities Report (28th ed., May 2015)
by Mihai Maruseac 29 May '15

29 May '15

On behalf of all the contributors, we are pleased to announce that the Haskell Communities and Activities Report (28th edition, May 2014) is now available, in PDF and HTML formats: http://haskell.org/communities/05-2015/report.pdf http://haskell.org/communities/05-2015/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. We hope you will find it as interesting a read as we 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 summaries of your own area of work. Many of you respond (eagerly, unprompted, and sometimes in time for the actual deadline) to the call. The editors collect all the contributions into a single report and feed that back to the community. When we try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ======================================== End of September 2015: target deadline for contributions to the November 2015 edition of the HC&A Report ======================================== Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to "register" with the editors for a simple e-mail reminder in October (you could point us to them as well, and we can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Mihai Maruseac and Alejandro Serrano Mena <hcar at haskell.org> -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya

1 0

Haskell Weekly News
by Kim-Ee Yeoh 29 May '15

29 May '15

*Top Picks:* - Tony Day, Brisbane-based investment strategist and high-frequency-trading hacker, rides 100% idiomatic Haskell <http://tonyday567.github.io/blog/mvc-todo/> into the Single Page (web)-App <http://en.wikipedia.org/wiki/Single-page_application> space. How? He spins the GHCJS transpiler on Gabriel Gonzalez's Model-View-Controller library to obtain his own TodoMVC benchmark demo <http://tonyday567.github.io/static/index-auto.html>. Per GHCJS, the production spans multi-megabytes of javascript. Not to be missed: auto-run, i.e. click the QuickCheck-powered checkbox labeled "Let haskell do the work." Github repo <https://github.com/tonyday567/mvc-todo>. Along the way, he discovers how crippled Javascript is without sum types. As noted on HN <https://news.ycombinator.com/item?id=9591868#up_9601842>, "Typos and missing cases represent a very large set of trivial bugs." He believes superior FP features such as sum types makes it "much harder for haskell to avoid success." Woe is us. /r/haskell <http://www.reddit.com/r/haskell/comments/36y9jc/haskell_as_an_mvc_framework/> - Michael Walker, a Ph.D. student at York, reveals <http://www.reddit.com/r/haskell/comments/37dv8y/what_side_projects_have_you…> his personal book-collection management web-app <http://www.barrucadu.co.uk/bookdb/> that runs on top of persistent <https://hackage.haskell.org/package/persistent>, WAI <https://hackage.haskell.org/package/wai>, and web-routes <https://hackage.haskell.org/package/web-routes>. Public domain. <https://github.com/barrucadu/bookdb> - David Christiansen announces on /r/haskell <http://www.reddit.com/r/haskell/comments/36az3n/idris_0918_released_with_fa…> Idris 0.9.18 <http://www.idris-lang.org/idris-0-9-18-released/> with fancier records. Top comment says Idris is more type-friendly than Haskell despite the "esoteric academics behind dependent type theory." Why? Because Idris, helpfully offers suggestions that turn ill- into well-typed code. Haskell doesn't. - Remember JP Moresmau dropping EclipseFP <http://haskell.1045720.n5.nabble.com/Haskell-Weekly-News-tp5809360.html>? Can Leksah take its place? Hamish Mackenzie announces a 7.10-ready Leksah 0.15.0 <https://github.com/leksah/leksah/wiki/Leksah-0.15.0> on /r/haskell <http://www.reddit.com/r/haskell/comments/37emp2/leksah_0150/>. Top new feature? Support for GHCJS, which excites Phil Freeman of PureScript fame. Here's a 2min video clip on How to make a ghcjs-dom application in Leksah <https://www.youtube.com/watch?v=zQnExdDL63c>. - Roman Cheplyaka writes a short 'n sweet tutorial <https://ro-che.info/articles/2015-05-28-force-list> on how a list may be variously forced. He summarizes the similarities and differences in a table that goes from the shallowestly evaluated seq () to forceSpine to forceElements to the deepest rnf. /r/haskell <http://www.reddit.com/r/haskell/comments/37ky62/how_to_force_a_list/> - Justin Leitgeb, Rails developer and Co-Founder / CTO of Stack Builders, a Haskell-enabled software consultancy, deprioritizes learning Clojure, Go, Erlang, and Scala in favor of Agda, Coq, Idris, Elm, and Liquid Haskell <http://www.stackbuilders.com/news/another-personal-programming-language-roa…>. He will invest a couple of weeks at the Oregon PL Summer School starting June 15 <https://www.cs.uoregon.edu/research/summerschool/summer15/>. - Tony Morris announces a three-day Haskell-based Intro to FP course in Melbourne, July 21-23 this year. Pitched at beginners, it features learning by coding. Free; application deadline: July 10 <https://groups.google.com/forum/#!topic/nicta-fp/Dnq-oh4nJbg>. - By popular request <http://haskell.1045720.n5.nabble.com/Workshop-on-Type-Inference-and-Automat…>, František Farka and his team recorded all of a workshop on type inference in Dundee, Scotland <http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/> held a couple of weeks ago. Highly-viewed talks <https://www.youtube.com/user/qmbevents/videos> include Edwin Brady <http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/#edwin> on implementing dependent types in Idris and Conor McBride <http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/#conor> on "Type Inference Needs Revolution." /r/haskell <http://www.reddit.com/r/haskell/comments/36dfcx/workshop_on_type_inference_…> - Michael Hicks at UMD, PC chair of POPL 2012, writes a PL research apologia <http://www.pl-enthusiast.net/2015/05/27/what-is-pl-research-and-how-is-it-u…> cum pitch for new grad students. An informal poll he did shows PL Ph.D.s get good jobs. He explains that "The ethos of PL research is to not just find solutions to important problems, but to find the *best expression of those solutions.*" As ethos specimens, he gives three: probabilistic programming, incremental computation a.k.a. self-adaptive computation, and authenticated data structures (see LambdaAuth <http://amiller.github.io/lambda-auth/>). HN-worthy <https://news.ycombinator.com/item?id=9614178>. - Jan Stolarek gives a glimpse <http://lambda.jstolarek.com/2015/05/injective-type-families-for-haskell/> of GHC's new injective type families feature, which is joint research with SPJ and Richard Eisenberg. It brings Haskell one step closer to having a notion of type functions as opposed to mere 'constructors.' The feature is useful in type-level hacking. It allows the arguments of a type family to be inferred solely by result type. But Lennart Augustsson on /r/haskell <http://www.reddit.com/r/haskell/comments/37bvh0/injective_type_families_for…> gives a trivial example where even when a type family isn't injective, its argument can still be inferred knowing a particular result type. He regrets that GHC doesn't do this. - Joe Nelson uploads the video and a summary <http://begriffs.com/posts/2015-05-24-safe-haskell.html> of Kristen Kozak introducing the Safe Haskell extension to the SF Bay Area Haskell Users Group <http://www.meetup.com/Bay-Area-Haskell-Users-Group/events/220312001/> on May 12. Slides here <http://wordroute.com/grayjay/safe-haskell.pdf>. Redditor beerdude26 <http://www.reddit.com/r/haskell/comments/37a1cq/using_the_safe_haskell_lang…> adds the link to and tidies up the Safe Haskell wiki <https://wiki.haskell.org/Safe_Haskell> entry. - Out of frustration with existing Windows GUI FFIs, Luka Horvat <http://lukahorvat.github.io/programming/2015/05/24/haskellforms/> creates bindings for WinForms <https://github.com/LukaHorvat/HaskellForms>, Microsoft's .NET menus-and-widgets library. He binds to F# instead of lower-level C++/C# because it's easier. /r/haskell <http://www.reddit.com/r/haskell/comments/37464x/haskellforms_winforms_bindi…> - Gabriel Gonzalez <http://www.haskellforall.com/2015/05/the-internet-of-code.html> demoes another piece of Morte, what he describes as his "pandoc for programming languages." He prototypes "distributing typed code over the internet where the unit of compilation is individual expressions." /r/haskell <http://www.reddit.com/r/haskell/comments/36d12v/haskell_for_all_the_interne…> - Taylor Fausak forsakes TagSoup <https://hackage.haskell.org/package/tagsoup> and scrapes websites <http://taylor.fausak.me/2015/05/21/scraping-websites-with-haskell/> the hard way using xml-conduit. He concludes that it's "tougher than doing the same thing in scripting languages, but hopefully easier than [his blog readers] expected." - Stuart Popejoy writes a monad tutorial <http://slpopejoy.github.io/posts/Effectful01.html>. A redditor finds it an "entertaining explanation of monads." Another asks the OOP-ish question: are monads "basically wrappers that contain 'impure' data and actions with some common functions?" See /r/haskell <http://www.reddit.com/r/haskell/comments/374c3o/effectful_haskell_io_monads…> *Announcement:* Semen Trygubenko has stepped down from publishing his edition of HWN. Losing him means there will be no issue next week. *Quotes of the Week:* - UnoOuzo <https://twitter.com/UnoOuzo/status/601658244201848832>: "The type of my love is parametrically polymorphic. It is unbounded." Looking into ways to cite this in my thesis. - Conor McBride <http://www.reddit.com/r/haskell/comments/36y9jc/haskell_as_an_mvc_framework…>: Algebra is a posh way of saying "construction kit". - Michael Hicks <http://www.pl-enthusiast.net/2015/05/27/what-is-pl-research-and-how-is-it-u…>: The ethos of PL research is to not just find solutions to important problems, but to find the *best expression of those solutions. * - There is a fountain of youth: it is your mind, your talents, the creativity you bring to your life and the lives of people you love. When you learn to tap this source, you will truly have defeated age. -- Sophia Loren -- Kim-Ee

1 0

LPMR 2015 - Associated events - DEADLINES
by Francesco Calimeri 29 May '15

29 May '15

[apologies for multiple or cross- posting] The LPNMR 2015 Program Committee is evaluating the submitted papers, and notifications of acceptance are expected soon. However, we would like to remember that this year's edition comes along with a very rich set of associated events: 4 Workshops, the ADT 2015 conference, the joint ADT/LPNMR Doctoral Consortium, not to mention the 6th Answer Set Programming Competition. Quite a rich menu, right? Deadlines are approaching for such events, and this is intended as a gentle reminder: * GTTV'15: June 22, 2015 * ALPP 2015: July 15, 2015 * NLPAR 2015: June 22, 2015 * LNMR'15: June 22, 2015 * ADT 2015: time over * Joint LPNMR-ADT Doctoral Consortium: June 1, 2015 * Answer Set Programming Competition ASPCOMP: June 1, 2015 More details can be found here: http://lpnmr2015.mat.unical.it/associated-events

1 0

Two years R&D engineer position available in Computer Science & Arts, Bordeaux, France
by David Janin 29 May '15

29 May '15

Inria Bordeaux opens a R&D engineer position in the PoSET research project, located at LaBRI, Bordeaux, France Object: research and development on new modeling and programing methods for realtime computerized artistic systems. Duration: two years from Autumn 2015. Where : Inria Bordeaux/CNRS LaBRI, within the research project PoSET. Salary: from 2000 to 2500 Euros monthly netto (including health insurance) depending on candidate qualification. Keywords: functional programing (Haskell or Ocaml), reactive programming, real-time system, graphical modeling, computational music, science and arts. More details below. To apply, send CV and motivation letter to David Janin, david.janin(a)labri.fr ********************* ** Research Context The Inria research project PoSET is a new research team in Bordeaux with four permanent researchers and at least as many PhD students. It aims at developing a new approach to the design, implementation and execution of complex interactive media systems such as augmented musical pieces or interactive museographic installations. It aims in particular at developing the notion of tiled temporal media, a mathematically well-defined and rich model of temporal media, with a clean and efficient implementation of this model in the functional programming language Haskell. The resulting software platform should offer uniform, robust and easy-to-use tools for the homogeneous capture, transformation and production of heterogeneous temporal media: music, video, animation, etc. ** Mission Within the PoSET research and development team, the engineer will be the main developer of the project. His task will consists in developing consolidated versions of the existing programming modules and the current on-the-fly rendering kernel. Further developments, to be designed in collaboration with researchers and artists, will include interactive extensions of the rendering kernel, graphic modeling extensions based on higher dimensional tiles, and various domain-specific libraries (audio, music, video, control). His task will also include technical assistance to artists in residence creating artistic systems. ** Profile Master degree / engineering diploma in Computer Science - Creative and highly motivated - Solid programming skills in functional programming (Haskell, Ocaml) - Prior exposure to Human-Machine Interface and Computational Music would be a bonus - Language requirements: fluent spoken English or French and fluent written English ** Environment Hired by Inria Bordeaux Sud-Ouest, the engineer will be located within CNRS LaBRI in the lively city of Bordeaux which hosts many foreign students and researchers. Located in the heart of one of the most famous wine region of France, the direct surrounding of Bordeaux offers great outdoor recreation including surfing, sailing and cycling. The Pyrenees mountains (hiking, climbing and skiing) can be reached from Bordeaux in 3h by car. Paris can be reached from Bordeaux in 3h by train. ** About Inria: « Established in 1967, Inria is the only public research body fully dedicated to computational sciences. Combining computer sciences with mathematics, Inria’s 3,500 researchers strive to invent the digital technologies of the future. Educated at leading international universities, they creatively integrate basic research with applied research and dedicate themselves to solving real problems, collaborating with the main players in public and private research in France and abroad and transferring the fruits of their work to innovative companies. The researchers at Inria published over 4,500 articles in 2013. They are behind over 300 active patents and 120 start-ups. The 172 project teams are distributed in eight research centers located throughout France. » ** Some related links: * Inria Bordeaux Sud-Ouest: http://www.inria.fr/en/centre/bordeaux * UMR CNRS LaBRI laboratory http://www.labri.fr/index.php?n=Main.HomePage?userlang=en * PoSET research project http://www.labri.fr/perso/janin/poset.html * SCRIME (Studio de Création et de Recherche en Informatique et Musique Electroaccoustique) https://scrime.labri.fr/le-scrime/ * PoSET team leader http://www.labri.fr/perso/janin/ * Some publications in link with the project http://www.labri.fr/perso/janin/music.html

1 0

CoPro 2015 - Mini-Symposium on Coordination Programming
by Clemens Grelck 27 May '15

27 May '15

*************************************************************************** CALL FOR PAPERS CoPro 2015 Mini-Symposium on Coordination Programming http://www.parco2015.org/coordination-programming Edinburgh, UK September 1, 2015 Submission deadline: July 3, 2015 *************************************************************************** PART OF ParCo 2015 17th International Conference on Parallel Computing http://www.parco2015.org/ Edinburgh, UK September 1-4, 2015 *************************************************************************** Coordination programming is a term that everybody seems to have a vague idea about, but only a few have a definite view on. And among those there is a great deal of divergence in understanding what coordination is all about. In this mini-symposium we intend to look at various interpretations of, and approaches to, coordination: from the conventional tuple-space, Linda-inspired constructions, such as CnC, to behavioural models such as Reo, to more recent attempts to see a coordination program as a projection of the full semantics of a distributed application that can be more or less accurately inferred at compile time and which affects resource- and performance-critical parameters. The mini-symposium will serve as a forum for building bridges between the various directions of research and will help us to share experiences and build a community geared towards practical applications of coordination programming. *************************************************************************** SCOPE: The mini-symposium will address, but is not limited to, the following issues through contributed papers and a panel-style discussion session included in the programme: * Why does coordination require a coordination language? Is there a kind of analysis that is impeded by the lack of specific coordination-language constructs? * Inference vs adaptation. What can be inferred and how should the coordination program adapt to the resource situation in parallel and distributed systems? * What kind of tuning or self-tuning facilities should/can coordination programming approaches require/possess? * What is the relationship between control-coordination and data-coordination? * How can coordination programming address the challenges of cloud computing, big data processing/analysis and mixed-criticality cyberphysical systems? * What are recent success stories in applying coordination programming to real-life applications? *************************************************************************** PROCEEDINGS: CoPro 2015 solicits original research papers written in English. Being a mini-symposium our focus is on bringing together researchers interested in all aspects of coordination programming. We explicitly encourage all sorts of contributions from mature research to position papers, work in progress and crazy ideas. For the initial submission extended abstracts of at least 2 pages are equally fine. Titles, authors and abstracts of all papers accepted by the mini-symposium will appear in the ParCo book of abstracts, which will distributed at the conference. All papers presented during the mini-symposium will be included in the proceedings of the 17th International Conference on Parallel Computing (ParCo 2015) and published as a volume of the series Advances of Parallel Computing after the ParCo conference. *************************************************************************** PAPER PREPARATION GUIDELINES: For CoPro 2015 the same formatting guidelines apply as for the main ParCo conference. Thus, papers must be formatted in ParCo style and not exceed 10 pages. For style files and all further details see http://www.parco2015.org/information-authors *************************************************************************** SUBMISSION GUIDELINES: CoPro 2015 makes use of the EasyChair conference management system to process all submissions and to organise the reviewing process. Please, use the following link: https://easychair.org/conferences/?conf=copro2015 to submit your paper. *************************************************************************** IMPORTANT DATES: July 3, 2015: submission deadline July 20, 2015: notification of acceptance July 31, 2015: early registration deadline ParCo conference September 1, 2015: mini-symposium September 4, 2015: end of ParCo conference October 31, 2015: submission of camera-ready papers for ParCo proceedings *************************************************************************** PROGRAMME COMMITTEE: tba *************************************************************************** MINI-SYMPOSIUM CHAIRS Clemens Grelck University of Amsterdam Informatics Institute Science Park 904 1098XH Amsterdam Netherlands c.grelck(a)uva.nl http://staff.fnwi.uva.nl/c.u.grelck Alex Shafarenko University of Hertfordshire School of Computer Science College Lane Hatfield, AL10 9AB United Kingdom a.shafarenko(a)herts.ac.uk http://homepages.herts.ac.uk/~comqas/ *************************************************************************** -- ---------------------------------------------------------------------- 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 staff.fnwi.uva.nl/c.u.grelck ----------------------------------------------------------------------

1 0

APLAS 2015: Final Call for Papers
by Xinyu Feng 27 May '15

27 May '15

********************************************************************* APLAS 2015, Call for Papers 13th Asian Symposium on Programming Languages and Systems Pohang, Korea, November 30 - December 2, 2015 < http://pl.postech.ac.kr/aplas2015/> ********************************************************************* *IMPORTANT DATES* Submission deadline: June 5, 2015 Author notification: August 17, 2015 Final version: September 7, 2015 Conference: November 30 - December 2, 2015 *INVITED SPEAKERS* Peter O'Hearn, Facebook Sukyoung Ryu, KAIST Eran Yahav, Technion Hongseok Yang, University of Oxford *ABOUT* APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS), founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Singapore ('14), Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. *TOPICS* The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory * design of languages, type systems and foundational calculi * domain-specific languages * compilers, interpreters, abstract machines * program derivation, synthesis and transformation * program analysis, verification, model-checking * logic, constraint, probabilistic and quantum programming * software security * concurrency and parallelism * tools and environments for programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. *SUBMISSION* We solicit submissions in two categories: a) Regular research papers - describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. b) System and tool presentations - describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page <https://easychair.org/conferences/?conf=aplas2015> using EasyChair. Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. *ORGANIZERS* General Chair: Sungwoo Park (Pohang Univ. of Science and Technology (POSTECH), Korea) Program Chair: Xinyu Feng (Univ. of Science and Technology of China, China) Program Committee: James Brotherston (Univ. College London, UK) James Cheney (Univ. of Edinburgh, UK) Huimin Cui (Institute of Computing Technology, CAS, China) Mike Dodds (Univ. of York, UK) Xinyu Feng (Univ. of Science and Technology of China, China) Nate Foster (Cornell Univ., USA) Alexey Gotsman (IMDEA Software Institute, Spain) Aquinas Hobor (School of Computing, National Univ. of Singapore / Yale-NUS College) Chung-Kil Hur (Seoul National Univ., Korea) Radha Jagadeesan (DePaul Univ., USA) Annie Liu (Stony Brook Univ., USA) Andreas Lochbihler (ETH Zurich, Switzerland) Santosh Nagarakatte (Rutgers Univ., USA) David A. Naumann (Stevens Inst. of Tech., USA) Michael Norrish (NICTA, Australia) Hakjoo Oh (Korea Univ., Korea) Murali Krishna Ramanathan (Indian Institute of Science, India) Xavier Rival (CNRS / ENS / INRIA, France) Kohei Suenaga (Kyoto Univ., Japan) Gang Tan (Lehigh Univ., USA) Alwen Tiu (Nanyang Technological University, Singapore) Martin Vechev (ETH Zurich, Switzerland) Bow-Yaw Wang (Academia Sinica, Taiwan) Nobuko Yoshida (Imperial College London, UK) Lijun Zhang (Institute of Software, CAS, China)

1 0

ICFP 2015 Student Research Competition: Call for Submissions
by Andrew Kennedy 27 May '15

27 May '15

====================================================================== CALL FOR SUBMISSIONS SRC@ICFP 2015 Vancouver, Canada 31 August - 2 September 2015 http://www.icfpconference.org/icfp2015/src.html Co-located with the International Conference on Functional Programming (ICFP 2015) ====================================================================== Student Research Competition ---------------------------- This year ICFP will host a Student Research Competition where undergraduate and postgraduate students can present posters. The SRC at ICFP 2015 consists of three rounds: * Extended abstract round. All students are encouraged to submit an extended abstract of up to 800 words outlining their research. * Poster session. Based on the abstracts, a panel of judges will select the most promising entrants to participate in the poster session which will take place at ICFP. Students who make it to this round will be eligible for some travel support to attend the conference. In the poster session, students will have the opportunity to present their work to the judges, who will select three finalists in each category (graduate/undergraduate) to advance to the next round. * ICFP presentation. The last round will consist of an oral presentation at ICFP to compete for the final award. Prizes ------ * The top three graduate and the top three undergraduate winners will receive prizes of $500, $300, and $200, respectively. * All six winners will receive award medals and a two-year complimentary ACM student membership, including a subscription to ACM's Digital Library. * The names of the winners will be posted on the ACM SRC web site. * The first-place winners will be invited to participate in the ACM SRC Grand Finals, an on-line round of competition among the winners of conference-hosted SRCs. * Grand Finalists and their advisors will be invited to the Annual ACM Awards Banquet for an all-expenses-paid trip, where they will be recognized for their accomplishments along with other prestigious ACM award winners, including the winner of the Turing Award (also known as the Nobel Prize of Computing). * The top three graduate Grand Finalists will receive an additional $500, $300, and $200. Likewise, the top three undergraduate Grand Finalists will receive an additional $500, $300, and $200. All six Grand Finalists will receive Grand Finalist certificates. * The ACM, Microsoft Research, and our industrial partners provide financial support for students attending the SRC. You can find more information about this on the ACM website. Eligibility ----------- The SRC is open to both undergraduate (not in a PhD programme) and graduate students (in a PhD programme). Upon submission, entrants must be enrolled as a student at their universities, and are ACM student members. Furthermore, there are some constraints on what kind of work may be submitted. Previously published work: Submissions should consist of original work (not yet accepted for publication). If the work is a continuation of previously published work, the submission should focus on the contribution over what has already been published. We encourage students to see this as an opportunity to get early feedback and exposure for the work they plan to submit to the next ICFP or POPL. Collaborative work: Students are encouraged to submit work they have been conducting in collaboration with others, including advisors, internship mentors, or other students. However, submissions are individual, so they must focus on the contributions of the student. Submission Details ------------------ Each submission should include the student author's name, institutional affiliation, e-mail address, and postal address; research advisor's name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in attacking the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to computer science and explain the significance of those results. The abstract must describe the student's individual research and must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student's role was and should focus on that portion of the work. The extended abstract must not exceed 800 words and must not be longer than 2 pages. The reference list does not count towards these limits. To submit an abstract, please register through the submission page and follow the instructions. Abstracts submitted after the deadline may be considered at the committee's discretion, but only after decisions have been made on all abstracts submitted before the deadline. If you have any problems, don't hesitate to contact the competition chair. Please submit your abstract at the EasyChair submission page: https://easychair.org/conferences/?conf=icfp2015src Important Dates --------------- * Deadline for submission: 29 June * Notification of acceptance: 14 July Selection Committee ------------------- To include: Andrew Kennedy, Microsoft Research Cambridge (chair) Derek Dreyer, MPI-SWS, Saarbrucken Kathy Gray, University of Cambridge David Van Horn, University of Maryland

1 0

Call for Talks - Code Mesh London 3-5 Nov
by Andra Dinu 27 May '15

27 May '15

Code Mesh is back! http://www.codemesh.io/ Like every year, our aim is to bring together a wide range of alternative technologies and programming languages and the wonderful crazy people who use them to solve real-world problems in software industry. With the aim of bringing together as many new users and inventors of non-mainstream tech as possible, we are opening our first *Call for Talks (which ends on 26 June)*. http://www.codemesh.io/#call-for-talks *Andra Dinu* Community & Social Check out the Erlang User Conference <http://www.erlang-factory.com/euc2015> in Stockholm on 11-12 June!

1 0