- Haskell - Haskell.org

PhD Studentships at St Andrews
by Kevin Hammond 06 Feb '15

06 Feb '15

[Please forward to suitable candidates. Thanks! Kevin.] The School of Computer Science at the University of St Andrews has several fully funded research scholarships available. These are available to UK residents (possibly also to EU nationals), and pay fees as well as maintenance. There is no formal deadline, but applications should be made as soon as possible. We have an active group of about ten academics, postdoctoral research fellows and postgraduate students working on a variety of topics in functional programming. We'd welcome applicants who are interested in any aspect of functional programming and related areas, including: Parallel Functional programming; Heterogeneous multicores (including CPU/GPU combinations); Refactoring; Program Generation; Domain Specific Languages; Static Analysis; Patterns of computation; Machine-Learning; Compilation; Real-time functional programming (e.g. in Hume); Semantics of Programming Languages; Functional cloud computing; Functional Programming and Security; Dependent Types; Effects and other extra-functional properties; Relaxed memory consistency; Multicore programming; Formal concurrency models; Concurrency verification; Application of functional ideas to other paradigms, including C and C++; Data Analytics. We work with various functional languages including Haskell, Erlang, idris, OCAML, Hume and F#. We have excellent links with both academic and industry, and are coordinating the EU Framework 7 ParaPhrase project, which involves 13 partners from 8 European countries: http://www.paraphrase-ict.eu, and the EU Horizon 2020 RePhrase project, which involves 8 partners from 8 European countries: http://rephrase.weebly.com Please contact me to discuss possible project ideas. Applications should be made through: http://www.cs.st-andrews.ac.uk/prospective-pg/research-degrees Best Wishes, Kevin -------- Kevin Hammond, Professor of Computer Science, University of St Andrews T: +44-1334 463241 F: +44-1334-463278 W: http://www.cs.st-andrews.ac.uk/~kh In accordance with University policy on electronic mail, this email reflects the opinions of the individual concerned, may contain confidential or copyright information that should not be copied or distributed without permission, may be of a private or personal nature unless explicitly indicated otherwise, and should not under any circumstances be taken as an official statement of University policy or procedure (see http://www.st-and.ac.uk) The University of St Andrews is a charity registered in Scotland : No SC013532

1 0

Haskell Weekly News: Issue 316
by Daniel Santa Cruz 06 Feb '15

06 Feb '15

Welcome to issue 316 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from January 18 to 31, 2015 After doing more than 150 of these, I have come to the conclusion that it is time for me to take a permanent break from HWN. I realize that "we could do better", and have something a bit more edited than a collection of links, and some quotes. I wish I had more time to devote to such endeavor, but my time is currently being taken up by trying to help my 1 year old explore her little world. If you'd like to be the one to continue the long tradition of HWN, drop me a line. Thanks for following along for the last 3 years! Quotes of the Week * johnw: "Sir, what weapon did the assailant use against you?" "All I know is that it was done in IO, officer." * monochrom: $ can't buy you love, but it can buy you function application * hiptobecubic: benzrf, well sure. I'm not suggesting that lens has actually left any operators available for anything Top Reddit Stories * I think I've nailed it! I've solved the records problem! Domain: nikita-volkov.github.io, Score: 348, Comments: 193 Original: [1] http://goo.gl/PhJo6K On Reddit: [2] http://goo.gl/vWPeOj * Use Haskell for shell scripting Domain: haskellforall.com, Score: 121, Comments: 62 Original: [3] http://goo.gl/Fx4HeT On Reddit: [4] http://goo.gl/2g83KR * Major Prelude changes proposed Domain: haskell.org, Score: 119, Comments: 252 Original: [5] http://goo.gl/wtFWt3 On Reddit: [6] http://goo.gl/kaegj2 * Slides from Don Stewart's Google tech talk Domain: code.haskell.org, Score: 104, Comments: 75 Original: [7] http://goo.gl/ejfoFp On Reddit: [8] http://goo.gl/9cK9dB * Haskell Design Patterns: .Extended Modules Domain: jaspervdj.be, Score: 86, Comments: 29 Original: [9] http://goo.gl/TvwGCF On Reddit: [10] http://goo.gl/wkNx38 * IO Monad Considered Harmful Domain: blog.jle.im, Score: 86, Comments: 157 Original: [11] http://goo.gl/z9Elq7 On Reddit: [12] http://goo.gl/uehgF9 * We are making great efforts to spread Haskell around our local programming groups. Today, I finally saw a Haskell post, so I'm glad it is kinda working. Kinda. Domain: i.imgur.com, Score: 86, Comments: 41 Original: [13] http://goo.gl/0SsbT7 On Reddit: [14] http://goo.gl/gyBJ1o * My Haskell tooling wishlist by Chris Done Domain: chrisdone.com, Score: 77, Comments: 27 Original: [15] http://goo.gl/VIRJgM On Reddit: [16] http://goo.gl/ChmItY * Categories for Programmers: Functors Domain: bartoszmilewski.com, Score: 70, Comments: 14 Original: [17] http://goo.gl/6M64jC On Reddit: [18] http://goo.gl/tW6ubH * I wrote another monad tutorial. Sorry. Domain: kevinmahoney.co.uk, Score: 63, Comments: 22 Original: [19] http://goo.gl/zEQIgS On Reddit: [20] http://goo.gl/XXeZN3 * Introducing SJS, a type inferer and checker for JavaScript (written in Haskell) Domain: noamlewis.wordpress.com, Score: 61, Comments: 33 Original: [21] http://goo.gl/oQRSNo On Reddit: [22] http://goo.gl/1LfY1u * Solving the expression problem with Object Algebras and Tagless Interpreters Domain: oleksandrmanzyuk.wordpress.com, Score: 59, Comments: 30 Original: [23] http://goo.gl/daJWGy On Reddit: [24] http://goo.gl/fKy9zV Top StackOverflow Questions * Why do we need monads? votes: 142, answers: 5 Read on SO: [25] http://goo.gl/Ioviv9 * Why compiling this Haskell program with -fllvm produces a different result? votes: 19, answers: 0 Read on SO: [26] http://goo.gl/twid2N * What is the difference between traits in Rust and typeclasses in Haskell? votes: 18, answers: 0 Read on SO: [27] http://goo.gl/KJdBqh * Motivation behind Phantom Types? votes: 17, answers: 3 Read on SO: [28] http://goo.gl/q7IQQC * What is the precedence of ~, and why? votes: 17, answers: 1 Read on SO: [29] http://goo.gl/iZHxLy * Using GHC API to compile Haskell sources to CORE and CORE to binary votes: 13, answers: 2 Read on SO: [30] http://goo.gl/Qto29m * How to ship an executable with Language.Haskell.Interpreter? votes: 13, answers: 0 Read on SO: [31] http://goo.gl/JptPyG Until next time, [32]+Daniel Santa Cruz References 1. http://nikita-volkov.github.io/record/ 2. http://www.reddit.com/r/haskell/comments/2svayz/i_think_ive_nailed_it_ive_s… 3. http://www.haskellforall.com/2015/01/use-haskell-for-shell-scripting.html 4. http://www.reddit.com/r/haskell/comments/2u6b8m/use_haskell_for_shell_scrip… 5. https://www.haskell.org/pipermail/libraries/2015-January/024777.html 6. http://www.reddit.com/r/haskell/comments/2ttvsj/major_prelude_changes_propo… 7. http://code.haskell.org/~dons/talks/dons-google-2015-01-27.pdf 8. http://www.reddit.com/r/haskell/comments/2u0380/slides_from_don_stewarts_go… 9. http://jaspervdj.be/posts/2015-01-20-haskell-design-patterns-extended-modul… 10. http://www.reddit.com/r/haskell/comments/2t4lba/haskell_design_patterns_ext… 11. http://blog.jle.im/entry/io-monad-considered-harmful 12. http://www.reddit.com/r/haskell/comments/2tbbxh/io_monad_considered_harmful/ 13. http://i.imgur.com/Rw8mmad.jpg 14. http://www.reddit.com/r/haskell/comments/2tg9gs/we_are_making_great_efforts… 15. http://chrisdone.com/posts/haskell-wishlist 16. http://www.reddit.com/r/haskell/comments/2tpwim/my_haskell_tooling_wishlist… 17. http://bartoszmilewski.com/2015/01/20/functors/ 18. http://www.reddit.com/r/haskell/comments/2t2g5a/categories_for_programmers_… 19. http://kevinmahoney.co.uk/articles/haskell-io/ 20. http://www.reddit.com/r/haskell/comments/2trmyx/i_wrote_another_monad_tutor… 21. https://noamlewis.wordpress.com/2015/01/20/introducing-sjs-a-type-inferer-a… 22. http://www.reddit.com/r/haskell/comments/2szt1u/introducing_sjs_a_type_infe… 23. https://oleksandrmanzyuk.wordpress.com/2014/06/18/from-object-algebras-to-f… 24. http://www.reddit.com/r/haskell/comments/2stmt6/solving_the_expression_prob… 25. http://stackoverflow.com/questions/28139259/why-do-we-need-monads 26. http://stackoverflow.com/questions/28053448/why-compiling-this-haskell-prog… 27. http://stackoverflow.com/questions/28123453/what-is-the-difference-between-… 28. http://stackoverflow.com/questions/28247543/motivation-behind-phantom-types 29. http://stackoverflow.com/questions/28257511/what-is-the-precedence-of-and-w… 30. http://stackoverflow.com/questions/28059669/using-ghc-api-to-compile-haskel… 31. http://stackoverflow.com/questions/28204973/how-to-ship-an-executable-with-… 32. https://plus.google.com/105107667630152149014/about

4 4

LCTES 2015: 2nd Call for Papers
by Klaus Havelund 03 Feb '15

03 Feb '15

############################################################ LCTES 2015 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems ############################################################ LCTES provides a link between the programming languages and embedded systems engineering communities. Researchers and developers in these areas are addressing many similar problems, but with different backgrounds and approaches. LCTES is intended to expose researchers and developers from either area to relevant work and interesting problems in the other area and provide a forum where they can interact. ## Important Dates Submission deadline: Feb. 15 Notifications by: Apr. 1 Camera-ready deadline: Apr. 11 LCTES 2015 will be held on June 18 and 19 as part of the FCRC 2015 (Federated Computing Research Conference 2015) in Portland, Oregon, USA. This will be the sixteenth conference in the LCTES series. Embedded system design faces many challenges both with respect to functional requirements and nonfunctional requirements, many of which are conflicting. They are found in areas such as design and developer productivity, verification, validation, maintainability, and meeting performance goals and resource constraints. Novel design-time and run-time approaches are needed to meet the demand of emerging applications and to exploit new hardware paradigms, and in particular to scale up to multicores (including GPUs and FPGAs) and distributed systems built from multicores. LCTES 2015 solicits papers presenting original work on programming languages, compilers, tools, theory, and architectures that help in overcoming these challenges. Research papers on innovative techniques are welcome, as well as experience papers on insights obtained by experimenting with real-world systems and applications. Papers are solicited on, but not limited to, the following topics in embedded systems: - Programming language challenges, including: - Domain-specific languages - Features to exploit multicore, reconfigurable, and other emerging architectures - Features for distributed, adaptive, and real-time control embedded systems - Language capabilities for specification, composition, and construction of embedded systems - Language features and techniques to enhance reliability, verifiability, and security - Virtual machines, concurrency, inter-processor synchronization, and memory management - Compiler challenges, including: - Interaction between embedded architectures, operating systems, and compiler - Interpreters, binary translation, just-in-time compilation, and split compilation - Support for enhanced programmer productivity - Support for enhanced debugging, profiling, and exception/interrupt handling - Optimization for low power/energy, code and data size, and best-effort and real-time performance - Parameterized and structural compiler design space exploration and auto-tuning - Tools for analysis, specification, design, and implementation, including: - Hardware, system software, application software, and their interfaces - Distributed real-time control, media players, and reconfigurable architectures - System integration and testing - Performance estimation, monitoring, and tuning - Run-time system support for embedded systems - Design space exploration tools - Support for system security and system-level reliability - Approaches for cross-layer system optimization - Theory and foundations of embedded systems, including: - Predictability of resource behaviour: energy, space, time - Validation and verification, in particular of concurrent and distributed systems - Formal foundations of model-based design as basis for code generation, analysis, and verification - Mathematical foundations for embedded systems - Models of computations for embedded applications - Novel embedded architectures, including: - Design and implementation of novel architectures - Workload analysis and performance evaluation - Architecture support for new language features, virtualization, compiler techniques, debugging tools - Empirical studies and their reproduction, and confirmation ## Note to Authors A few of the best submissions to LCTES 2015 are planned to be invited for submission, with some revisions, to a special issue of the ACM Transactions on Embedded Computing Systems (TECS). The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. ## Organization General Chair Sam H. Noh, Hongik University, Republic of Korea Program Chairs Sebastian Fischmesiter, University of Waterloo, Canada Jason Xue, City University of Hong Kong, China LCTES Steering Committee Bruce Childers, University of Pittsburgh, USA Jan Vitek, Northeastern University, USA Bjorn De Sutter, University of Edinbugh, Great Britain Jaejin Lee, Seoul National University, Republic of Korea Heiko Falk, Ulm University, Germany Wang Yi, Uppsala University, Sweden Jingling Xue, University of New South Wales, Australia Youtao Zhang, University of Pittsbugh, USA Prasad Kulkarni, University of Kansas, USA Program Committee Luis Almeida, University of Porto, Portugal Ian Bate, University of York, Great Britain Philip Brisk, University of California, Los Angeles, USA Marco Caccamo, University of Illinois, Urbana-Champaign, USA Peter Desnoyers, Northeastern University, USA Petru Eles, Linköpings Universitet, Sweden Georgios Fainekos, Arizona State University, USA Guto Froehlich, Universidade Federal de Santa Catarina Forianopolis, Brazil Giovani Gracioli, Universidade Federal de Santa Catarina Joinville, Brazil Radu Grosu, Technical University Vienna, Austria Nan Guan, Northeastern University, China Apala Guha, IIT Dehli, India Gernot Heiser, University of New South Wales, Australia Michael Jantz, University of Tennessee, Knoxville, USA Zhiping Jia, ShangDong University, China Jinsoo Kim, Sungkyunkwan University, Republic of Korea Raimund Kirner, University of Hertfordshire, Great Britain Kai Lampka, Uppsala University, Sweden Terrence Mak, Chinese University of Hong Kong, China Rahul Mangharam, University of Pennsylvania, USA Florence Maraninchi, VERIMAG, France Sang Lyul MIN, Seoul National University, Republic of Korea Sayan Mitra, University of Illinois, Urbana-Champaign, USA Tulika Mitra, Singapore National University, Singapore Thomas Nolte, Mälardalen University, Sweden Lin Phan, University of Pennsylvania, USA Dumitru Potop-Butucaru, INRIA Rocquencourt, France Zili Shao, Hong Kong Polytechnic University, China Liang Shi, Chong Qing Uniersity, China Aviral Shrivastava, Arizona State University, USA Wilfried Steiner, TTTech, Austria Michael Swift, University of Wisconsin, Madison, USA Gera Weiss, Ben Gurion University, Israel Jingling Xue, University of New South Wales, Australia Chengmo Yang, University of Delaware, USA Wang Yi, Uppsala University, Sweden Yuan-Hao Zhang, Academia Sinica, Taiwan

1 0

CFP: VSTTE 2015
by Daniel Bundala 02 Feb '15

02 Feb '15

CALL FOR PAPERS VSTTE 2015 ********************************************************************** 7th Working Conference on Verified Software: Theories, Tools, and Experiments July 18 - 19, 2015 San Francisco, California, USA http://www.eecs.berkeley.edu/vstte15 Co-located with 25th Conference on Computer Aided Verification (http://i-cav.org/2015) ********************************************************************** Full Paper Submission Deadline: April 27, 2015 SCOPE: The Seventh Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh (2010), Philadelphia (2012), Atherton (2013), and Vienna (2014). The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. Topics of interest include education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments. PAPER SUBMISSION Papers will be evaluated by at least three members of the Program Committee. We are accepting both long (limited to 16 pages) and short (limited to 10 pages) paper submissions, written in English. Short submissions also cover Verification Pearls describing an elegant proof or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research paper submissions must be in LNCS format and must include a cogent and self-contained description of the ideas, methods, results, and comparison to existing work. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. Papers should be submitted through: https://www.easychair.org/conferences/?conf=vstte2015. Submissions that arrive late, are not in the proper format, or are too long will not be considered. The post-conference proceedings of VSTTE 2015 will be published by Springer-Verlag in the LNCS series. Authors of accepted papers will be requested to sign a form transferring copyright of their contribution to Springer-Verlag. The use of LaTeX and the Springer LNCS class files, obtainable fromhttp://www.springer.de/comp/lncs/authors.html, is strongly encouraged. PUBLICATION Accepted papers will be published as post-Proceedings, to appear in Springer's Lectures Notes in Computer Science. IMPORTANT DATES: Abstract submission: April 20, 2015 Full paper submission: April 27, 2015 Notification: June 8, 2015 ORGANIZATION: General Chair: Martin Schaef (SRI International) Program Chairs: Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) Sanjit A. Seshia (University of California, Berkeley) Publicity Chair: Daniel Bundala (UC Berkeley) PROGRAM COMMITTEE: Elvira Albert (Complutense University of Madrid) Nikolaj Bjorner (Microsoft Research) Evan Chang (University of Colorado, Boulder) Ernie Cohen (University of Pennsylvania) Jyotirmoy Deshmukh (Toyota) Jin Song Dong (National University of Singapore) Vijay D'Silva (Google) Vijay Ganesh (University of Waterloo) Alex Groce (Oregon State) Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) (co-chair) Bill Harris (Georgia Institute of Technology) Chris Hawblitzel (Microsoft Research) Bart Jacobs (Katholieke Universiteit Leuven, Belgium) Susmit Jha (United Technologies) Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory) Vladimir Klebanov, Karlsruhe Institute of Technology, DE Akash Lal (Microsoft Research India) Ruzica Piskac (Yale) Zvonimir Rakamaric (University of Utah) Kristin Yvonne Rozier (University of Cincinnati) Sanjit A. Seshia (UC Berkeley) (co-chair) Natarajan Shankar (SRI) Carsten Sinz (KIT) Nishant Sinha (IBM Research Labs) Alexander Summers (ETH Zurich) Zachary Tatlock (University of Washington) Sergey Tverdyshev (Sysgo AG) Arnaud Venet (CMU / NASA Ames Research Center) Karen Yorav (IBM Haifa Research Lab) ********************************************************************** Please contact vstte2015(a)easychair.org for further information **********************************************************************

1 0

Remove from mailing list
by Ronald Modesitt 02 Feb '15

02 Feb '15

Please remove me from your mailing list. ronald.modesitt.835(a)gmail.com Thanks Ronald F. Modesitt 1215 Ptarmigan Dr. Longmont, CO 80504 303-485-3887

2 1

CFP: Haskell Symposium 2015
by Ben Lippmeier 02 Feb '15

02 Feb '15

===================================================================== ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2015 Vancouver, Canada, 3-4 September 2015, directly after ICFP http://www.haskell.org/haskell-symposium/2015 ===================================================================== ** The Haskell Symposium has an early track this year ** ** See the Submission Timetable for details. ** The ACM SIGPLAN Haskell Symposium 2015 will be co-located with the International Conference on Functional Programming (ICFP 2015) in Vancouver, Canada. The Haskell Symposium aims to present original research on Haskell, discuss practical experience and future development of the language, and to promote other forms of denotative programming. Topics of interest include: * Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Libraries, that demonstrate new ideas or techniques for functional programming in Haskell; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts. Papers in the latter three categories need not necessarily report original academic research results. For example, they may instead report reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementors, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a standard solution to a standard programming problem, or report on experience where you used Haskell in the standard way and achieved the result you were expecting. More advice is available via the Haskell wiki: (http://wiki.haskell.org/HaskellSymposium/ExperienceReports) Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate. In addition, we solicit proposals for: * System Demonstrations, based on running software rather than novel research results. These proposals should summarize the system capabilities that would be demonstrated. The proposals will be judged on whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical, social or artistic. Please contact the program chair with any questions about the relevance of a proposal. 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 program, see its web page (http://pac.sigplan.org) Proceedings: ============ Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance (http://authors.acm.org/main.html) Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material. Accepted proposals for system demonstrations will be posted on the symposium website, but not formally published in the proceedings. All accepted papers and proposals will be posted on the conference website one week before the meeting. Publication date: The official publication date of accepted papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. Submission Details: =================== Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (http://www.acm.org/sigs/sigplan/authorInformation.htm) The text should be in a 9-point font in two columns. The length is restricted to 12 pages, except for "Experience Report" papers, which are restricted to 6 pages. Papers need not fill the page limit -- for example, a Functional Pearl may be much shorter than 12 pages. Each paper submission must adhere to SIGPLAN's republication policy, as explained on the web. Demo proposals are limited to 2-page abstracts, in the same ACM format as papers. "Functional Pearls", "Experience Reports", and "Demo Proposals" should be marked as such with those words in the title at time of submission. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. A link to the paper submission system will appear on the Haskell Symposium web site closer to the submission deadline. Submission Timetable: ===================== Early Track Regular Track System Demos ---------------- ------------------- --------------- 13th March Paper Submission 1st May Notification 19th May Abstract Submission 22nd May Paper Submission 5th June Resubmission Demo Submission 26th June Notification Notification Notification 19th July Final papers due Final papers due Deadlines stated are valid anywhere on earth. In this iteration of the Haskell Symposium we are trialling a two-track submission process, so that some papers can gain early feedback. Papers can be submitted to the early track on 13th March. On 1st May, strong papers are accepted outright, and the others will be given their reviews and invited to resubmit. On 5th June early track papers may be resubmitted, and are sent back to the same reviewers. The Haskell Symposium regular track operates as in previous years. Papers accepted via the early and regular tracks are considered of equal value and will not be distinguished in the proceedings. Although all papers may be submitted to the early track, authors of functional pearls and experience reports are particularly encouraged to use this mechanism. The success of these papers depends heavily on the way they are presented, and submitting early will give the program committee a chance to provide feedback and help draw out the key ideas. Program Committee: =================== Mathieu Boespflug - Tweag I/O Edwin Brady - University of St Andrews Atze Dijkstra - Utrecht University Tom DuBuisson - Galois Torsten Grust - University of Tuebingen Patrik Jansson - Chalmers University of Technology Patricia Johann - Appalachian State University Oleg Kiselyov - Tohoku University Edward Kmett - McGraw Hill Financial Neelakantan Krishnaswami - University of Birmingham Ben Lippmeier (chair) - Vertigo Technology Hai (Paul) Liu - Intel Labs Garrett Morris - University of Edinburgh Dominic Orchard - Imperial College London Matt Roberts - Macquarie University Tim Sheard - Portland State University Joel Svensson - Indiana University Edsko de Vries - Well Typed =====================================================================

1 0

ANNOUNCE: monad-levels
by Ivan Lazar Miljenovic 02 Feb '15

02 Feb '15

I'm pleased to announce the first release of my new monad-levels library (aka Yet Another Monad Transformer Library ;-) http://hackage.haskell.org/package/monad-levels I've written more about the motivations of the library here: https://ivanmiljenovic.wordpress.com/2015/02/02/monadic-yak-shaving/ -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com http://IvanMiljenovic.wordpress.com

1 0

Contracting Haskell dev role at Standard Chartered
by Don Stewart 28 Jan '15

28 Jan '15

The Strats team at Standard Chartered is hiring a developer for a 1 year contracting role in London. The role is to develop and extend our parsing and validation library for FpML, using the FpML Haskell library to parse and build financial product data into our internal Haskell data types. You will extend our library to support more products, as well as building testing and validation tools (e.g. in QuickCheck) to confirm the soundness and completeness of the implementation. This is a rare entry level Haskell role, and you'll join a very experienced team. More details at: https://donsbot.wordpress.com/2015/01/28/contracting-haskell-development-ro…

1 0

CFP: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation
by David Sabel 27 Jan '15

27 Jan '15

FIRST CALL FOR PAPERS Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation WPTE 2015 affiliated with RDP 2015 2 July, 2015, Warsaw, Poland http://www.trs.cm.is.nagoya-u.ac.jp/event/wpte2015/ Aims and Scope ============== The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. The previous WPTE was held in Vienna 2014. Topics of interest in the scope of this workshop include: * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for reasoning about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and Rewriting. The programming languages of interest include pure, deterministic, impure, nondeterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order. 'Program transformation and evaluation for Haskell and Rewriting' is a new topic of this workshop: equational reasoning and other rewriting techniques for program verification and analysis; lambda calculi and type systems for functional programs and higher-order rewrite systems; rewriting of type expressions in the type checker; rewriting of programs by refactoring tools, optimizers, code generators; execution of programs as a form of graph rewriting (terms with sharing); Template Haskell, generally introducing a rewriting-like macro language into the compilation process; rewriting modulo commonly occurring axioms such as associativity, commutativity, and identity element. Proceedings =========== The WPTE-proceedings will be published in the 'OpenAccess Series in Informatics (OASIcs)' of 'Schloss Dagstuhl Leibniz-Zentrum fuer Informatik' by the workshop day. Extended abstracts on work in progress are not included in the OASIcs proceedings but they will be included in the USB memory which is distributed to the RDP participants. Paper Submissions ================= WPTE accepts two different kinds of contributions: * Full-papers: ------------ Full-papers must represent original work and should be submitted using the OASIcs LaTeX templates. Full-papers should not exceed 12 pages. Accepted papers will be included in the OASIcs proceedings. * Work in progress: ----------------- There will also be a slot for presenting work in progress. An extended abstract of at most 4 pages is required to be submitted using the OASIcs LaTeX templates. These contributions will not be included in the OASIcs proceedings for full-papers but they will be distributed to the workshop participants. One author of each accepted paper or abstract is expected to present it at the workshop. Important Dates =============== * Submission deadline: 17 April 2015 * Notification of acceptance: 15 May 2015 * Deadline for camera-ready proceedings: 29 May 2015 * Workshop: 2 July 2015, Warsaw, Poland Weblinks ======== * EasyChair Submission Website https://www.easychair.org/conferences/?conf=wpte2015 * Homepage of WPTE 2015 http://www.trs.cm.is.nagoya-u.ac.jp/event/wpte2015/ * OASIcs Website (including LaTeX templates): http://www.dagstuhl.de/en/publications/oasics * RDP 2015 http://rdp15.mimuw.edu.pl Program Committee ================= Takahito Aoto (RIEC, Tohoku University) Yuki Chiba (JAIST) Fer-Jan de Vries (University of Leicester) Santiago Escobar (Universitat Politecnica de Valencia) - chair Johan Jeuring (Open Universiteit Nederland and Universiteit Utrecht) Delia Kesner (Universite Paris-Diderot) Serguei Lenglet (Universite de Lorraine) Elena Machkasova (University of Minnesota, Morris) William Mansky (University of Pennsylvania) Joachim Niehren (INRIA Lille) Naoki Nishida (Nagoya University) - chair Kristoffer H Rose (Two Sigma Investments, LLC) Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main) David Sabel (Goethe-University Frankfurt am Main) Masahiko Sakai (Nagoya University) Janis Voigtlaender (University of Bonn) Johannes Waldmann (HTWK Leipzig) Harald Zankl (University of Innsbruck) Organizers ========== Yuki Chiba (JAIST) Santiago Escobar (Universitat Politecnica de Valencia) Naoki Nishida (Nagoya University) - chair Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main) - chair David Sabel (Goethe-University Frankfurt am Main)

1 0

Drastic Prelude changes imminent
by Augustsson, Lennart 27 Jan '15

27 Jan '15

If you didn't know that, e.g., the type of foldr is changing, check out the thread https://www.haskell.org/pipermail/libraries/2015-January/024777.html. This email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please delete all copies and notify the sender immediately. You may wish to refer to the incorporation details of Standard Chartered PLC, Standard Chartered Bank and their subsidiaries at http://www.standardchartered.com/en/incorporation-details.html Insofar as this communication contains any market commentary, the market commentary has been prepared by a sales and/or trading desk of Standard Chartered Bank or its affiliate. It is not and does not constitute research material, independent research, recommendation or financial advice. Any market commentary is for information purpose only and shall not be relied for any other purpose, and is subject to the relevant disclaimers available at http://wholesalebanking.standardchartered.com/en/utility/Pages/d-mkt.aspx. Please visit http://wholesalebanking.standardchartered.com/en/capabilities/financialmark… for important information with respect to derivative products.

2 2