May 2013 - Haskell - Haskell.org

Haskell 2014
by Ian Lynagh 01 May '13

01 May '13

Dear Haskellers, We are pleased to announce that the Haskell 2014 committee has now formed, and we would be delighted to receive your proposals for changes to the language. Please see http://hackage.haskell.org/trac/haskell-prime/wiki/Process for details on the proposal process. The committee will meet 4 times a year, to consider proposals completed before: * 1st August * 1st November * 1st February * 1st May so if you have been meaning to put the finishing touches to a proposal, then we would encourage you to do so by the end of July! The source for the Haskell report will be updated as proposals are accepted, but new versions of the standard will only be released once a year, during January. The Haskell 2014 committee is comprised of: * Carlos Camarão * Iavor Diatchki * Ian Lynagh (chair) * John Meacham * Neil Mitchell * Ganesh Sittampalam * David Terei * Bas van Dijk * Henk-Jan van Tuyl Thanks Ian (Haskell 2014 committee chair) -- Ian Lynagh, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

1 0

2 PhD student and 2 Post-doc positions at Gothenburg University, in Language Technology / Formal Methods
by Koen Claessen 01 May '13

01 May '13

(Please spread this to interested candidates, application deadline is May 13th.) We warmly welcome applicants with a strong background in functional programming! ---- The Department of Computer Science and Engineering (CSE) at the University of Gothenburg and Chalmers University of Technology announces 2 PhD positions and 2 post-doc positions within the research project "Reliable Multilingual Digital Communication: Methods and Applications (REMU)" funded by the Swedish Research Council (Vetenskapsrådet). The CSE Department provides a strong, international, and dynamic research environment with about 70 faculty and 70 PhD students from about 30 countries. The PhD positions are located jointly in two research groups: Language Technology and Formal Methods. The PhD supervisors will be professors from these groups: Aarne Ranta (REMU principal scientist), Koen Claessen, and Gerardo Schneider. ---- Link to the PhD student positions: http://www.gu.se/english/about_the_university/announcements-in-the-job-appl… Link to the post-doc positions: http://www.gu.se/english/about_the_university/announcements-in-the-job-appl…

1 0

Haskell Symposium Experience Report Advice Page
by Ben Lippmeier 01 May '13

01 May '13

Dear Haskell Hackers, I have started an advice page for people that plan to submit experience reports to the upcoming Haskell Symposium, based on my experience as a PC member last year: http://www.haskell.org/haskellwiki/HaskellSymposium/ExperienceReports Haskell Symposium experience report acceptance rates are typically lower than for full papers, and it would be good to improve this. Please add any comments, links or insights you may have to the above page. If you are planning to submit an experience report... then also read the page! :-) Ben.

1 0

Call for Participation: TFPIE2013 tentative program
by p.k.f.holzenspies＠utwente.nl 01 May '13

01 May '13

L.S., Apologies for multiple copies, please forward to whomever you deem appropriate. Please find enclosed the Call for Participation for the Second International Workshop on Trends in Functional Programming In Education (TFPIE). Since the closing of submissions, we have come up with a tentative program for the workshop. Some details, including the title and abstract for the invited talk are to follow. Keep an eye on the website [1]. The program is as follows: 09:00-09:30 From Principles to Practice with Class in the First Year, Sam Tobin-Hochstadt and David Van Horn 09:30-10:00 Structural Induction Principles for Functional Programmers, James Caldwell 10:00-10:30 Hardware design in education using CλaSH, Rinse Wester, Jan Kuper and Christiaan Baaij 10:30-10:45 Break 10:45-12:15 Invited talk: Matthew Flatt 12:15-13:45 Lunch 13:45-14:15 Racket Fun-ctional Programming to Elementary Mathematic Teachers, Dalit Levy 14:15-14:45 Functional Reactive Programming in K12 Education, John Peterson and Alan Cleary 14:45-15:15 Steps towards teaching the Clojure programming language in an introductory CS class, Elena Machkasova, Stephen J. Adams and Joseph Einertson 15:15-15:30 Break 15:30-16:30 Panel discussion If you are in any way involved or interested in the education of/with functional programming, please come and attend the workshop. Any input, both formal and informal, will surely be greatly appreciated, both by the authors and the organizers. Please forward this CfP to whatever forum you consider appropriate. Regards, Philip K.F. Hölzenspies Programme Committee Chair TFPIE 2013 [1] http://wwwhome.ewi.utwente.nl/~holzenspiespkf/TFPIE2013.html

1 0