- Haskell - Haskell.org

CFP - Information and Computation special issue on Implicit Computational Complexity
by Marco Gaboardi (Staff) 17 May '15

17 May '15

====================================================================== Call for Papers INFORMATION & COMPUTATION Special Issue on Implicit Computational Complexity (open post-conference publication of the workshops DICE 2014 and DICE 2015) Deadline: July 1st 2015 Guest Editors: Marco Gaboardi <m.gaboardi(a)dundee.ac.uk> Ulrich Schöpp <schoepp(a)tcs.ifi.lmu.de> ====================================================================== The area of Implicit Computational Complexity has grown from several proposals for using logic and formal methods to provide languages for complexity-bounded computation (such as polynomial time, polynomial space or logarithmic space computation). Its aim is to study computational complexity without reference to external measuring conditions or particular machine models, but only in terms of language restrictions or logical/computational principles implying complexity properties. We welcome contributions on various aspects of Implicit Computational Complexity, including (but not exclusively) the following topics: - types for controlling complexity - logical systems for implicit computational complexity - linear logic - semantics of complexity-bounded computation - complexity analysis - rewriting and termination orderings - interpretation-based methods for implicit complexity - programming languages for complexity bounded computation - application of implicit complexity to other programming paradigms (e.g. imperative or object-oriented languages) - application of implicit complexity to security This special issue of Information & Computation follows the informal workshops on Developments in Implicit Computational Complexity (DICE), DICE 2014 in Grenoble (http://dice14.tcs.ifi.lmu.de) and DICE 2015 in London (http://dice15.computing.dundee.ac.uk) Submission to this special issue is open to everyone, including those who did not participate in DICE 2014 or DICE 2015. DICE workshops have been held annually as satellite events of ETAPS: DICE 2010 in Paphos, DICE 2011 in Saarbrücken, DICE 2012 in Tallinn, DICE 2013 in Rome, DICE 2014 in Grenoble and DICE 2015 in London. Previous post-conference publications have appeared in - Information & Computation for DICE 2011, - Theoretical Computer Science for DICE 2012 (in press), and - Information & Computation for DICE 2013 (to appear). More information on the DICE workshop series is available at: http://perso.ens-lyon.fr/patrick.baillot/DICE Information & Computation solicits high quality papers reporting research results related to the topics mentioned above. All papers must be original, unpublished, and not submitted for publication elsewhere. - Contributions should be submitted electronically to both addresses <m.gaboardi(a)dundee.ac.uk> and <schoepp(a)tcs.ifi.lmu.de>. - Papers must be in PDF format and be formatted using Elsevier's elsarticle.cls LaTeX macro package. Formatting instructions can be found at http://www.elsevier.com/author-schemas/latex-instructions - Submissions must be sent to us no later than JULY 1st 2015. Papers will be processed as soon as they are submitted. We are aiming for a turnaround of no more than six months. We encourage authors to look at the author guide at http://www.elsevier.com/journals/information-and-computation/0890-5401/guid… The University of Dundee is a registered Scottish Charity, No: SC015096

1 0

Call for participation: 8th International School on Rewriting - ISR 2015
by Johannes Waldmann 17 May '15

17 May '15

Call for participation 8th International School on Rewriting - ISR 2015 August 10-14, Leipzig, Germany http://www.imn.htwk-leipzig.de/ISR2015/ * early registration deadline: July 1 * student research posters welcome ===================================================================== The 8th International School on Rewriting (ISR 2015) is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications. The school features lectures by renowned researchers in rewriting, and is organized in two parallel tracks: Basic: aimed at students that enter the field. Aart Middeldorp and Sarah Winkler: Introductory Course Advanced: several shorter courses, showing different areas of rewriting research, with applications. David Sabel and Manfred Schmidt-Schauß: Rewriting Techniques for Correctness of Program Transformations Makoto Hamana: Algebraic Semantics of Higher-Order Abstract Syntax and Second-Order Rewriting Santiago Escobar: Term Rewriting applied to Cryptographic Protocol Analysis Hans Zantema: SAT/SMT encodings for rewrite problems Femke van Raamsdonk: Higher-Order Rewriting Alfons Geser: Proving Abstract Rewriting Properties with PVS Georg Moser: Termination and Complexity Detlef Plump: Rule-based Graph Programming Also, we encourage participants to submit a presentation of their research, in the form of a poster. These posters will be reviewed by experts in rewriting, and will be displayed and discussed during the school. ==================================================================== Rewriting is a branch of computer science whose origins go back to the origins of computer science itself (with Thue, Church, Post, and many other prominent researchers). It has strong links with mathematics, algebra, and logic, and it is the basis of well-known programming paradigms like functional and equational programming. In these programming paradigms and corresponding languages, the notions of reduction, pattern matching, confluence, termination, strategy, etc., are essential. Rewriting provides a solid framework for understanding, using, and teaching all these notions. Rewriting techniques are also used in many other areas of software engineering (scripting, prototyping, automated transformation of legacy systems, refactoring, web services, etc.) Rewriting techniques play a relevant role in computing research, education, and industry. International Schools on Rewriting are promoted by the IFIP Working Group 1.6 Term Rewriting. ISR 2015 organizing committee: Alfons Geser, Christine Klöden, and Johannes Waldmann. ==================================================================== Note: ISR 2015 is right after CADE ( http://www.inf.fu-berlin.de/cade25/ ) You can go from Berlin to Leipzig in 1 hour by train.

1 0

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

15 May '15

*Top Picks:* - Is Servant <http://haskell-servant.github.io/>the most type-safe HTTP server library ever? Are the type signatures hard to read <https://news.ycombinator.com/item?id=9519782#up_9520750>? In addition to its utmost relevance as a web library, Servant is also an awesome case study in the type safety vs type readability trade-off spectrum, brought to you by Alp Mestanogullari and Julian Arni. HN <https://news.ycombinator.com/item?id=9519782> and /r/haskell <http://www.reddit.com/r/haskell/comments/35hiie/servant_04_released/> - Ozan Sener compiles Pandoc into JS via GHCJS and creates a web interface to it using the Reflex FRP library <https://github.com/ryantrinkle/reflex>. Markup.Rocks <https://github.com/osener/markup.rocks> is much loved on /r/haskell <http://www.reddit.com/r/haskell/comments/35ax22/ive_compiled_pandoc_with_gh…>. See also HN <https://news.ycombinator.com/item?id=9512293>. - Is Haskell a "Startup Secret Weapon"? Alexandr Kurilin reveals adoption challenges <https://github.com/commercialhaskell/commercialhaskell/blob/master/usage/fr…> at Front Row Education <https://www.crunchbase.com/organization/front-row>. Among them, slow build times. Also, "senior developers [that] get very frustrated when something wouldn't compile for hours and they couldn't find any help to move forward." Comments on HN <https://news.ycombinator.com/item?id=9519924> and /r/haskell <http://www.reddit.com/r/haskell/comments/35h8vh/how_front_row_education_use…> . - At Facebook, Bryan O'Sullivan debugs aeson's gigabyte space leak <http://www.serpentine.com/blog/2015/05/13/sometimes-the-old-ways-are-the-be…> on decoding a JSON megabyte of non-stop backslashes. Culprit? The streaming interface didn't match the use case. In place of streaming, Bryan now blasts bytes into a single big buffer, gaining 27x speed and 42x memory reduction. Comments on HN <https://news.ycombinator.com/item?id=9540389>, Proggit <http://www.reddit.com/r/programming/comments/35udjh/fixing_a_haskell_perfor…>, /r/haskell <http://www.reddit.com/r/haskell/comments/35udfy/fixing_an_aeson_performance…> . - Paul Chiusano's Unison programming platform <http://unisonweb.org/2015-05-07/about.html> hits the HN <https://news.ycombinator.com/item?id=9512955> and /r/haskell <http://www.reddit.com/r/haskell/comments/35cop9/unison_a_nextgeneration_pro…> headlines. Features include a browser-based UI that constrains edits to those that are well-typed. Also, DRY-ness up the wazoo: every type and term is uniquely identified by a hash a la Git. - Joey Hess reports <http://www.reddit.com/r/haskell/comments/35bw0b/at_last_debian_unstable_has…> that Debian unstable now has a working GHCi for ARM. The Template Haskell challenges have been surmounted. - Garrison Jensen blows the whistle <http://www.garrisonjensen.com/2015/05/13/haskell-programs-are-lies.html> on the impostor sieve on the front page of Haskell.org. In jest. A festive one-upmanship of fondly treasured code ensues on /r/haskell <http://www.reddit.com/r/haskell/comments/35vc31/the_real_way_to_generate_a_…>. And since bad publicity is better than no publicity, we owe kudos to Garrison. HN-worthy <https://news.ycombinator.com/item?id=9541478>. - Michael Snoyman decries use of ExceptT IO <https://www.fpcomplete.com/user/commercial/content/exceptions-best-practices> for exception handling because the user exception data type creates misleading expectations of comprehensiveness. The gotcha is that it doesn't cover IO exceptions! Furthermore, distinct exception types mean that the corresponding code can't compose. Instead? Use MonadThrow. /r/haskell <http://www.reddit.com/r/haskell/comments/35sk6w/best_practices_for_using_ex…> - JP Moresmau steps down as chief of EclipseFP <http://jpmoresmau.blogspot.com/2015/05/eclipsefp-end-of-life-from-me-at-lea…> and the companion Haskell packages BuildWrapper, ghc-pkg-lib, and scion-browser. Without anyone to take his place, the sun sets on EclipseFP. But the sun continues to shine on ide-backend (previously reported <http://haskell.1045720.n5.nabble.com/Haskell-Weekly-News-td5768107.html>), a GHC API wrapper akin to BuildWrapper. JP spitballs <http://haskell.1045720.n5.nabble.com/IDE-backend-Atom-editor-td5809240.html> on how he might move on to the Atom editor, jiggering it to use ide-backend-client. /r/haskell <http://www.reddit.com/r/haskell/comments/35y5v1/jp_moresmaus_blog_eclipsefp…> - Tatsuya Hirose translates Go By Example into Haskell. GBE <https://gobyexample.com/> comprises code samples annotated for an experienced programmer new to Go. For this first cut <http://lotz84.github.io/haskellbyexample/>, Tatsuya stays close to the original and creates Go-ish, imperative Haskell. Already good for Go-to-Haskell crossovers. Potentially excellent when done in idiomatic Haskell. /r/haskell <http://www.reddit.com/r/haskell/comments/3586e3/haskell_by_example/> - Tomas Petricek observes <http://tomasp.net/blog/2015/against-types/> the diversity of type theories and type systems and posits harm in any attempt at a single all-encompassing capture of the meaning of 'types'. What about unsound types? He doesn't offer a way out for those stuck with the appellation. Comments on HN <https://news.ycombinator.com/item?id=9545540> and /r/haskell <http://www.reddit.com/r/haskell/comments/35zzvu/against_the_definition_of_t…> . - John De Goes launches a crowdfund <https://www.indiegogo.com/projects/record-all-lambdaconf-2015-talks> to solicit $15,000 for video-recording 70 talks at LambdaConf 2015, which features many known Haskell programmers. /r/haskell <http://www.reddit.com/r/haskell/comments/35n14p/indiegogo_record_all_lambda…> - A redditor asks ex-Lispers what it's like moving to Haskell <http://www.reddit.com/r/haskell/comments/35bybo/lispers_of_haskell_whats_yo…>. "I miss Lisp parens" is a frequent answer. Also, Lisp has a better REPL experience. A biggie upside? The refactoring afforded by Haskell's type system. *Tip of the Week:* - When programming fractals, use the LLVM backend <https://ghc.haskell.org/trac/ghc/ticket/10400#comment:3> because it's "usually good at optimizing this kind of non-allocating code" as Reid Barton advises. -- Kim-Ee

1 0

CFP : Extended deadline : Functional Art, Music, Modelling and Design (FARM 2015)
by David Janin 14 May '15

14 May '15

************************************************************ Call for Papers and Demos : FARM 2015 The 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Vancouver, Canada, 5 September, 2015 affiliated with ICFP 2015 http://functional-art.org EXTENTED Submission Deadline : 27 May, 2015 (optional abstract submission : 17 May, 2015) ************************************************************ The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. Functional Programming has emerged as a mainstream software development paradigm, and its artistic and creative use is booming. A growing number of software toolkits, frameworks and environments for art, music and design now employ functional programming languages and techniques. FARM is a forum for exploration and critical evaluation of these developments, for example to consider potential benefits of greater consistency, tersity, and closer mapping to a problem domain. FARM encourages submissions from across art, craft and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. The language used need not be purely functional (“mostly functional” is fine), and may be manifested as a domain specific language or tool. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. Submissions are invited in two categories: * Full papers 5 to 12 pages using the ACM SIGPLAN template. FARM 2015 is an interdisciplinary conference, so a wide range of approaches are encouraged and we recognize that the appropriate length of a paper may vary considerably depending on the approach. However, all submissions must propose an original contribution to the FARM theme, cite relevant previous work, and apply appropriate research methods. * Demo abstracts Demo abstracts should describe the demonstration and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10-20 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Abstracts should be no longer than 2 pages, using the ACM SIGPLAN template and will be subject to a light-touch peer review. If you have any questions about what type of contributions that might be suitable, or anything else regarding submission or the workshop itself, please contact the organisers at: farm-2015(a)easychair.org KEY DATES: (Optional) abstract submission deadline : 17 May Full Paper and Demo Abstract submission Deadline: 27 May Author Notification: 26 June Camera Ready: 19 July Workshop: 5 September SUBMISSION All papers and demo abstracts must be in portable document format (PDF), using the ACM SIGPLAN style guidelines. The text should be in a 9-point font in two columns. See: http://www.sigplan.org/Resources/Author/ The submission itself will be via EasyChair: https://easychair.org/conferences/?conf=farm2015 PUBLICATION Accepted papers will be included in the formal proceedings published by ACM Press and will also be made available through the the ACM Digital Library; see http://authors.acm.org/main.cfm for information on the options available to authors. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. WORKSHOP ORGANISATION Workshop Chair: Henrik Nilsson, University of Nottingham Program Chair: David Janin, University of Bordeaux Publicity Chair: Samuel Aaron, University of Cambridge Program Committee: Samuel Aaron, University of Cambridge Jean Bresson, IRCAM Paris David Broman, KTH and UC Berkeley David Janin (chair), University of Bordeaux Anton Kholomiov, Orffeus instrumental ensemble Moscow Alex Mclean, University of Leeds Carin Meier, Outpace Systems Henrik Nilsson, University of Nottingham Yann Orlarey, GRAME Lyon Donya Quick, Yale University Shigeki Sagayama, Meiji University Chung-chieh Shan, Indiana University Michael Sperber, Active Group GmbH Bodil Stokke, FutureAdLabs For further details, see the FARM website: http://functional-art.org

1 0

CFP: Extended Deadline: Functional High-Performance Computing (held with ICFP)
by Geoffrey Mainland 14 May '15

14 May '15

====================================================================== CALL FOR PAPERS FHPC 2015 The 4th ACM SIGPLAN Workshop on Functional High-Performance Computing Vancouver, British Columbia, Canada, Canada September 3, 2015 https://sites.google.com/site/fhpcworkshops/ Co-located with the International Conference on Functional Programming (ICFP 2015) EXTENDED Submission Deadline: Friday, 22 May, 2015 (anywhere on earth) ====================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where high performance is essential. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as maintainable and portable code that approaches (or even exceeds) the performance of machine-oriented imperative implementations. All aspects of performance critical programming and parallel programming are in-scope for the workshop, irrespective of hardware target. This includes both traditional large-scale scientific computing (HPC), as well as work targeting single node systems with SMPs, GPUs, FPGAs, or embedded processors. 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. Proceedings: ============ Accepted papers will be published by the ACM and will appear in the ACM Digital Library. * Submissions due: Friday, 22 May, 2015 (anywhere on earth) * Author notification: Friday, 26 June, 2015 * Final copy due: Sunday, 19 July, 2015 Submitted papers must be in portable document format (PDF), formatted according to the ACM SIGPLAN style guidelines (2 column, 9pt format). See http://www.sigplan.org/authorInformation.htm for more information and style files. Typical papers are expected to be 8 pages (but up to four additional pages are permitted). Contributions to FHPC 2015 should be submitted via Easychair, at the following URL: * https://www.easychair.org/conferences/?conf=fhpc15 The submission site is now open. The FHPC workshops adhere to the ACM SIGPLAN policies regarding programme committee contributions and republication. Any paper submitted must adhere to ACM SIGPLAN's republication policy. PC member submissions are welcome, but will be reviewed to a higher standard. http://www.sigplan.org/Resources/Policies/Review http://www.sigplan.org/Resources/Policies/Republication Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm) Programme Committee: ==================== Tiark Rompf (co-chair), Purdue University, USA Geoffrey Mainland (co-chair), Drexel University, USA Kevin Brown Stanford University, USA James Cheney University of Edinburgh, UK Albert Cohen INRIA, France David Duke University of Leeds, UK Yukiyoshi Kameyama University of Tsukuba, Japan Gabriele Keller University of New South Wales, Australia Paul H J Kelly Imperial College London, UK Trevor L. Mcdonell Indiana University, USA Greg Michaelson Heriot-Watt University, UK Cosmin E. Oancea University of Copenhagen, Denmark Markus Pueschel ETH Zurich, Switzerland Sukyoung Ryu KAIST, Korea Alexander Slesarenko Huawei, Russia Josef Svenningsson Chalmers University of Technology, Sweden

1 0

all for Contributions - Haskell Communities and Activities Report, May 2015 edition (28th edition)
by Mihai Maruseac 13 May '15

13 May '15

Dear all, We would like to collect contributions for the 28th edition of the ============================================================ Haskell Communities & Activities Report http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Submission deadline: 17 May 2015 (please send your contributions to hcar at haskell.org, in plain text or LaTeX format) ============================================================ This is the short story (one extra point to the story added from previous editions): * If you are working on any project that is in some way related to Haskell, please write a short entry and submit it. Even if the project is very small or unfinished or you think it is not important enough --- please reconsider and submit an entry anyway! * If you are interested in an existing project related to Haskell that has not previously been mentioned in the HCAR, please tell us, so that we can contact the project leaders and ask them to submit an entry. * **NEW**: If you are working on a project that is looking for contributors, please write a short entry and submit it, mentioning that your are looking for contributors. The final report might have an index with such projects, provided we get enough such submissions. * Feel free to pass on this call for contributions to others that might be interested. More detailed information: The Haskell Communities & Activities Report is a bi-annual overview of the state of Haskell as well as Haskell-related projects over the last, and possibly the upcoming six months. If you have only recently been exposed to Haskell, it might be a good idea to browse the previous edition --- you will find interesting projects described as well as several starting points and links that may provide answers to many questions. Contributions will be collected until the submission deadline. They will then be compiled into a coherent report that is published online as soon as it is ready. As always, this is a great opportunity to update your webpages, make new releases, announce or even start new projects, or to talk about developments you want every Haskeller to know about! Looking forward to your contributions, Mihai Maruseac and Alejandro Serrano Mena FAQ: Q: What format should I write in? A: The required format is a LaTeX source file, adhering to the template that is available at: http://haskell.org/communities/05-2015/template.tex There is also a LaTeX style file at http://haskell.org/communities/05-2015/hcar.sty that you can use to preview your entry. If you do not know LaTeX, then use plain text. If you modify an old entry that you have written for an earlier edition of the report, you should soon receive your old entry as a template (provided we have your valid email address). Please modify that template, rather than using your own version of the old entry as a template. Q: Can I include Haskell code? A: Yes. Please use lhs2tex syntax (http://www.andres-loeh.de/lhs2tex/) The report is compiled in mode polycode.fmt. Q: Can I include images? A: Yes, you are even encouraged to do so. Please use .jpg or .png format, then, PNG being preferred for simplicity. Q: Should I send files in .zip archives or similar? A: No, plain file attachements are the way. Q: How much should I write? A: Authors are asked to limit entries to about one column of text. A general introduction is helpful. Apart from that, you should focus on recent or upcoming developments. Pointers to online content can be given for more comprehensive or "historic" overviews of a project. Images do not count towards the length limit, so you may want to use this opportunity to pep up entries. There is no minimum length of an entry! The report aims for being as complete as possible, so please consider writing an entry, even if it is only a few lines long. Q: Which topics are relevant? A: All topics which are related to Haskell in some way are relevant. We usually had reports from users of Haskell (private, academic, or commercial), from authors or contributors to projects related to Haskell, from people working on the Haskell language, libraries, on language extensions or variants. We also like reports about distributions of Haskell software, Haskell infrastructure, books and tutorials on Haskell. Reports on past and upcoming events related to Haskell are also relevant. Finally, there might be new topics we do not even think about. As a rule of thumb: if in doubt, then it probably is relevant and has a place in the HCAR. You can also simply ask us. Q: Is unfinished work relevant? Are ideas for projects relevant? A: Yes! You can use the HCAR to talk about projects you are currently working on. You can use it to look for other developers that might help you. You can use HCAR to ask for more contributors to your project, it is a good way to gain visibility and traction. Q: If I do not update my entry, but want to keep it in the report, what should I do? A: Tell us that there are no changes. The old entry will typically be reused in this case, but it might be dropped if it is older than a year, to give more room and more attention to projects that change a lot. Do not resend complete entries if you have not changed them. Q: Will I get confirmation if I send an entry? How do I know whether my email has even reached its destination, and not ended up in a spam folder? A: Prior to publication of the final report, we will send a draft to all contributors, for possible corrections. So if you do not hear from us within two weeks after the deadline, it is safer to send another mail and check whether your first one was received. -- Mihai Maruseac (MM) "If you don't know, the thing to do is not to get scared, but to learn." -- Atlas Shrugged.

1 1

Call for participation: Applied Functional Programming (AFP) Summerschool 6-17 July 2015, Utrecht, Netherlands
by Atze Dijkstra 12 May '15

12 May '15

=========== AFP Summerschool 2015 =========== Applied Functional Programming (AFP) Summerschool July 6-17, 2015 Utrecht University, Department of Information and Computing Sciences Utrecht, The Netherlands Summerschool & registration website: http://www.utrechtsummerschool.nl/courses/science/applied-functional-progra… AFP website : http://www.cs.uu.nl/wiki/USCS contact : Uscs-afp(a)lists.science.uu.nl *** The 2015 edition of the Applied Functional Programming (AFP) Summerschool in Utrecht, Netherlands will be held from 6-17 July 2015. The summerschool teaches Haskell on both beginners and advanced levels via lectures and lab exercises. More info can be found via the references above, included here is a summary from the summerschool info: ``Typed functional programming in Haskell allows for the development of compact programs in minimal time and with maximal guarantees about robustness and correctness. The course introduces Haskell as well as its theoretical underpinnings such as typed lambda calculus, and Damas-Milner type inference. There is ample opportunity to put this all in practice during lab sessions. Typed functional programming languages allow for the development of robust, concise programs in a short amount of time. The key advantages are higher-order functions as an abstraction mechanism, and an advanced type system for safety and reusability. This course introduces Haskell, a state-of-the-art functional programming language, together with some of its theoretical background, such as typed lambda calculi, referential transparency, Damas-Milner type inference, type level programming, and functional design patterns. We will combine this with applications of functional programming, concentrating on topics such as language processing, building graphical user interfaces, networking, databases, and programming for the web. The goal of the course is not just to teach the programming language and underlying theory, but also to learn about the Haskell community and to get hands-on experience by doing lab exercises or a Haskell project of your own.'' *** This year is somewhat special in that the Tour de France starts in Utrecht the weekend before the start of the summerschool. It is an opportunity for enjoying the related festivities. It also implies that housing may be more difficult the weekend before the summerschool, something to keep in mind when you wait with registration until the latest. regards, - Atze - Atze Dijkstra, Department of Information and Computing Sciences. /|\ Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \ Tel.: +31-30-2534118/1454 | WWW : http://www.cs.uu.nl/~atze . /--| \ Fax : +31-30-2513971 .... | Email: atze(a)uu.nl ............... / |___\ _______________________________________________ Haskell mailing list Haskell(a)haskell.org http://www.haskell.org/mailman/listinfo/haskell

1 0

First Call for Papers for IFL 2015
by publicityifl＠gmail.com 10 May '15

10 May '15

Hello, Please, find below the first call for papers for IFL 2015. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL --- IFL 2015 - Call for papers 27th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2015 University of Koblenz-Landau, Koblenz, Germany In cooperation with ACM SIGPLAN September 14-16, 2015 http://ifl2015.wikidot.com/ Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2015 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Peer-review Following the IFL tradition, IFL 2015 will use a post-symposium review process to produce the formal proceedings. All participants of IFL2015 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity. Important dates August 10: Submission deadline draft papers August 12: Notification of acceptance for presentation August 14: Early registration deadline August 21: Late registration deadline September 7: Submission deadline for pre-symposium proceedings September 14-16: IFL Symposium December 1: Submission deadline for post-symposium proceedings January 15, 2016: Notification of acceptance for post-symposium proceedings March 1, 2016: Camera-ready version for post-symposium proceedings Submission details Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX can be found at: http://www.acm.org/sigs/sigplan/authorInformation.htm Authors submit through EasyChair: https://easychair.org/conferences/?conf=ifl2015 Topics IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2015, please contact the PC chair at rlaemmel(a)acm.org. Topics of interest include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialization - run-time code generation - partial evaluation - (abstract) interpretation - metaprogramming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques - (industrial) applications Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. Programme committee Chair: Ralf Lämmel, University of Koblenz-Landau, Germany - Malgorzata Biernacka, University of Wroclaw, Poland - Laura M. Castro, University of A Coruña, Spain - Martin Erwig, Oregon State University, USA - Dan Ghica, University of Birmingham, UK - Andrew Gill, University of Kansas, USA - Stephan Herhut, Google, USA - Zhenjiang Hu, National Institute of Informatics (NII), Japan - Mauro Jaskelioff, CIFASIS/Universidad Nacional de Rosario, Argentina - Frédéric Jouault, ESEO, France - Oleg Kiselyov, Tohoku University, Japan - Lindsey Kuper, Indiana University, USA - Rita Loogen, Philipps-Universität Marburg, Germany - Akimasa Morihata, University of Tokyo, Japan - Atsushi Ohori, Tohoku University, Japan - Bruno C. D. S. Oliveira, The University of Hong Kong, Hong Kong - Frank Piessens, Katholieke Universiteit Leuven, Belgium - Norman Ramsey, Tufts University, USA - Matthew Roberts, Macquarie University, Australia - Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany - Simon Thompson, University of Kent, UK - Stephanie Weirich, University of Pennsylvania, USA - Steve Zdancewic, University of Pennsylvania , USA Venue The 27th IFL will be held in association with the Faculty of Computer Science, University of Koblenz-Landau, Campus Koblenz. Koblenz is well connected by train to several international airports. For instance, Koblenz can be reached from Frankfurt by high-speed train ICE within an hour. The modern Koblenz campus is close to the city center and can be reached by foot, bus, or cab. See the website for more information on the venue.

1 0

Associate Professor (Software Engineering) position at Monash University
by liyuanfang＠gmail.com 07 May '15

07 May '15

The Faculty of Information Technology at Monash University is seeking an experienced academic in the field of Software Engineering, with a demonstrated track record of excellence in teaching and research, to lead its Software Engineering programs. A member of the prestigious Australian Group of Eight Universities, Monash University is the only Australian university with a dedicated Faculty of IT, where both our research and education programs cover the full span of IT, from Computer Science and Software Engineering, through Networks and Security, to Business Information Systems and the Digital Humanities. This Associate Professor (Level D) position will be located at our Clayton campus (located in Melbourne's south-eastern suburbs), where we offer a 4-year Bachelor of Software Engineering degree, accredited by both Engineers Australia and the Australian Computer Society. Monash is seeking to boost its existing expertise in Software Engineering, and the successful applicant will be asked to lead a new hiring round for further Lecturer/Senior Lecturer positions. For full details and to apply, see here: http://jobs.monash.edu.au/jobDetails.asp?sJobIDs=534496&sKeywords=Associate…. Closing date: Sunday 14 June 2015, 11:55pm Aus. Eastern Standard Time Enquiries: Prof. Graham Farr, Head of Campus, Clayton, Faculty of IT +61 3 9905 5201. email: graham.farr(a)monash.edu

1 0

Assistant Professorship in Nottingham
by Graham Hutton 06 May '15

06 May '15

Dear all, The School of Computer Science at the University of Nottingham is seeking to appoint a new Assistant Professor: http://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI41814 Applications in the area of the Functional Programming (FP) lab are encouraged. The FP lab is keen to receive applications from candidates with an excellent publication record, experience in combining theory with practice, and the ability to secure external funding to support their research. Further information about the FP lab is available from: http://fp.cs.nott.ac.uk The deadline for applications is Wednesday 15th July 2015. Best wishes, Graham -- Prof Graham Hutton Functional Programming Lab School of Computer Science University of Nottingham, UK http://www.cs.nott.ac.uk/~gmh This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

1 0